mirror of
https://github.com/tinygrad/tinygrad.git
synced 2026-04-29 03:00:14 -04:00
d16c16ec28
* new upcast works * float4 try * fix unaligned float4 * disallow unaligned access * upcast dim * maybe good now * fix gpu half * vstore_half4 * fix deep image bugs * improve symbolic to fix issues * fix symbolic * cl test * this maybe * gcd of 1 is 1 * real fix for old python * improve fuzzer
62 lines
1.6 KiB
Python
62 lines
1.6 KiB
Python
import random
|
|
from tinygrad.shape.symbolic import Variable
|
|
|
|
def add_v(expr, rng=None):
|
|
if rng is None: rng = random.randint(0,2)
|
|
return expr + v[rng], rng
|
|
|
|
def div(expr, rng=None):
|
|
if rng is None: rng = random.randint(1,9)
|
|
return expr // rng, rng
|
|
|
|
def mul(expr, rng=None):
|
|
if rng is None: rng = random.randint(-4,4)
|
|
return expr * rng, rng
|
|
|
|
def mod(expr, rng=None):
|
|
if rng is None: rng = random.randint(1,9)
|
|
return expr % rng, rng
|
|
|
|
def add_num(expr, rng=None):
|
|
if rng is None: rng = random.randint(-4,4)
|
|
return expr + rng, rng
|
|
|
|
def lt(expr, rng=None):
|
|
if rng is None: rng = random.randint(-4,4)
|
|
return expr < rng, rng
|
|
|
|
def ge(expr, rng=None):
|
|
if rng is None: rng = random.randint(-4,4)
|
|
return expr >= rng, rng
|
|
|
|
if __name__ == "__main__":
|
|
ops = [add_v, div, mul, add_num]
|
|
while 1:
|
|
u1 = Variable("v1", 0, 2)
|
|
u2 = Variable("v2", 0, 3)
|
|
u3 = Variable("v3", 0, 4)
|
|
v = [u1,u2,u3]
|
|
tape = [random.choice(ops) for _ in range(20)]
|
|
# 10% of the time, add a less than or greater than
|
|
if random.random() < 0.05: tape.append(lt)
|
|
elif random.random() < 0.05: tape.append(ge)
|
|
expr = Variable.num(0)
|
|
rngs = []
|
|
for t in tape:
|
|
expr, rng = t(expr)
|
|
print(t.__name__, rng)
|
|
rngs.append(rng)
|
|
print(expr)
|
|
for v1 in range(u1.min, u1.max+1):
|
|
for v2 in range(u2.min, u2.max+1):
|
|
for v3 in range(u3.min, u3.max+1):
|
|
v = [v1,v2,v3]
|
|
rn = 0
|
|
for t,r in zip(tape, rngs):
|
|
rn, _ = t(rn, r)
|
|
num = eval(expr.render())
|
|
assert num == rn, f"mismatch at {v1} {v2} {v3}, {num} != {rn}"
|
|
#print(v1, v2, v3, num, rn)
|
|
|
|
|