// { OPNAME(128to64), Ity_I64, 1, Ity_I128, }, // 128 bit
// { OPNAME(128HIto64), Ity_I64, 1, Ity_I128, }, // 128 bit
+ { OPNAME(CmpNEZ8), Ity_I1, 1, Ity_I8 },
+// { OPNAME(CmpNEZ16), Ity_I1, 1, Ity_I16 }, // no folding yet
+ { OPNAME(CmpNEZ32), Ity_I1, 1, Ity_I32 },
+ { OPNAME(CmpNEZ64), Ity_I1, 1, Ity_I64 },
+
+ { OPNAME(CmpwNEZ32), Ity_I32, 1, Ity_I32 },
+ { OPNAME(CmpwNEZ64), Ity_I64, 1, Ity_I64 },
+
+// { OPNAME(Left8), Ity_I8, 1, Ity_I8 }, // no folding yet
+// { OPNAME(Left16), Ity_I16, 1, Ity_I16 }, // no folding yet
+ { OPNAME(Left32), Ity_I32, 1, Ity_I32 },
+ { OPNAME(Left64), Ity_I64, 1, Ity_I64 },
+
+// { OPNAME(Clz32), Ity_I32, 1, Ity_I32 }, // deprecated, undefined behaviour
+// { OPNAME(Clz64), Ity_I64, 1, Ity_I64 }, // deprecated, undefined behaviour
+
+// { OPNAME(Ctz32), Ity_I32, 1, Ity_I32 }, // deprecated, undefined behaviour
+// { OPNAME(Ctz64), Ity_I64, 1, Ity_I64 }, // deprecated, undefined behaviour
+
+// { OPNAME(ClzNat32), Ity_I32, 1, Ity_I32 }, // no folding yet
+// { OPNAME(ClzNat64), Ity_I64, 1, Ity_I64 }, // no folding yet
+
+// { OPNAME(CtzNat32), Ity_I32, 1, Ity_I32 }, // no folding yet
+// { OPNAME(CtzNat64), Ity_I64, 1, Ity_I64 }, // no folding yet
+
+// { OPNAME(PopCount32), Ity_I32, 1, Ity_I32 }, // no folding yet
+// { OPNAME(PopCount64), Ity_I64, 1, Ity_I64 }, // no folding yet
+
+
+
// BINARY
{ OPNAME(Add8), Ity_I8, 2, Ity_I8, Ity_I8 },
// { OPNAME(Add16), Ity_I16, 2, Ity_I16, Ity_I16 }, // no folding yet
{ OPNAME(CmpORD32S), Ity_I32, 2, Ity_I32, Ity_I32 },
// { OPNAME(CmpORD64S), Ity_I64, 2, Ity_I64, Ity_I64 }, // no folding yet
- { OPNAME(CmpNEZ8), Ity_I1, 1, Ity_I8 },
-// { OPNAME(CmpNEZ16), Ity_I1, 1, Ity_I16 }, // no folding yet
- { OPNAME(CmpNEZ32), Ity_I1, 1, Ity_I32 },
- { OPNAME(CmpNEZ64), Ity_I1, 1, Ity_I64 },
-
- { OPNAME(CmpwNEZ32), Ity_I32, 1, Ity_I32 },
- { OPNAME(CmpwNEZ64), Ity_I64, 1, Ity_I64 },
-
-// { OPNAME(Left8), Ity_I8, 1, Ity_I8 }, // no folding yet
-// { OPNAME(Left16), Ity_I16, 1, Ity_I16 }, // no folding yet
- { OPNAME(Left32), Ity_I32, 1, Ity_I32 },
- { OPNAME(Left64), Ity_I64, 1, Ity_I64 },
-
{ OPNAME(Max32U), Ity_I32, 2, Ity_I32, Ity_I32 },
-// { OPNAME(Clz32), Ity_I32, 1, Ity_I32 }, // deprecated, undefined behaviour
-// { OPNAME(Clz64), Ity_I64, 1, Ity_I64 }, // deprecated, undefined behaviour
-
-// { OPNAME(Ctz32), Ity_I32, 1, Ity_I32 }, // deprecated, undefined behaviour
-// { OPNAME(Ctz64), Ity_I64, 1, Ity_I64 }, // deprecated, undefined behaviour
-
-// { OPNAME(ClzNat32), Ity_I32, 1, Ity_I32 }, // no folding yet
-// { OPNAME(ClzNat64), Ity_I64, 1, Ity_I64 }, // no folding yet
-
-// { OPNAME(CtzNat32), Ity_I32, 1, Ity_I32 }, // no folding yet
-// { OPNAME(CtzNat64), Ity_I64, 1, Ity_I64 }, // no folding yet
-
-// { OPNAME(PopCount32), Ity_I32, 1, Ity_I32 }, // no folding yet
-// { OPNAME(PopCount64), Ity_I64, 1, Ity_I64 }, // no folding yet
-
// { OPNAME(8HLto16), Ity_I16, 2, Ity_I8, Ity_I8 }, // no folding yet
// { OPNAME(16HLto32), Ity_I32, 2, Ity_I16, Ity_I16 }, // no folding yet
{ OPNAME(32HLto64), Ity_I64, 2, Ity_I32, Ity_I32 },