From c0c1c1c8c880b53a4a25f72dcf6b3c02543bf0bf Mon Sep 17 00:00:00 2001 From: chenyu Date: Wed, 31 Dec 2025 15:02:49 -0500 Subject: [PATCH] remove unused validate rule (#13936) --- tinygrad/uop/validate.py | 1 - 1 file changed, 1 deletion(-) diff --git a/tinygrad/uop/validate.py b/tinygrad/uop/validate.py index c73647cbf6..fb227996f3 100644 --- a/tinygrad/uop/validate.py +++ b/tinygrad/uop/validate.py @@ -33,7 +33,6 @@ try: (UPat(Ops.CONST, dtypes.ints+(dtypes.index,), name="x"), lambda x,ctx: (z3.IntVal(x.arg, ctx=ctx[0].ctx), None)), (UPat(Ops.CONST, dtypes.bool, name="x"), lambda x,ctx: (z3.BoolVal(x.arg, ctx=ctx[0].ctx), None)), # casts from floats create new variables - (UPat(Ops.CAST, dtypes.bool, src=(UPat(dtype=dtypes.floats),), name="x"), lambda x,ctx: (z3.Bool(f"cast{len(ctx[1])}",ctx=ctx[0].ctx), None)), (UPat(Ops.CAST, dtypes.ints+(dtypes.index,), src=(UPat(dtype=dtypes.floats),), name="x"), lambda x,ctx: create_bounded(f"cast{len(ctx[1])}", x.dtype.min, x.dtype.max, ctx[0])), # A comparison between floats introduces a new bool variable