Zhengyang Liu

When I was porting your alltables.sql to my spark-sql testbench, these tabs made some mistakes.

missed fold, sext(fptosi x to i32) => fptosi x to i64

7

https://alive2.llvm.org/ce/z/bFW9vZ online Alive timed out for this one, you'll need local alive2 with larger smt-to. ```llvm define i64 @src(float %0) { if.end27: %1 = fptosi float %0 to i32 %2...

missed optimization, fptrunc (x) >= C1 => x >= C2

4

https://alive2.llvm.org/ce/z/n53up6 https://godbolt.org/z/q6vrbxTo3 ```llvm define i1 @src(double %0) { if.end155: %1 = fptrunc double %0 to float %2 = fcmp oge float %1, 1.000000e+02 ret i1 %2 } define i1 @tgt(double...

missed fold, x fmul C1 > C2 => x > C2

6

https://alive2.llvm.org/ce/z/UmK7vQ https://godbolt.org/z/a6Gqfvxv8 ```llvm define i1 @src(float %0) { %t1 = fmul float %0, 0x3FF0CCCCC0000000 %t2 = fcmp olt float %t1, 0x3FE20418A0000000 ret i1 %t2 } define i1 @tgt(float %0) {...