Test source: git
Source: <stdin> ---------------------------------------- define i64 @t1(i32 %a) { %0: %1 = icmp slt i32 %a, 5 %2 = select i1 %1, i32 %a, i32 5 %3 = sext i32 %2 to i64 ret i64 %3 } => define i64 @t1(i32 %a) { %0: %1 = icmp slt i32 %a, 5 %2 = select i1 %1, i32 %a, i32 5 %3 = sext i32 %2 to i64 ret i64 %3 } Transformation seems to be correct! ---------------------------------------- define i64 @t2(i32 %a) { %0: %1 = icmp slt i32 %a, 5 %2 = sext i32 %a to i64 %3 = select i1 %1, i64 %2, i64 5 ret i64 %3 } => define i64 @t2(i32 %a) { %0: %1 = icmp slt i32 %a, 5 %narrow = select i1 %1, i32 %a, i32 5 %2 = sext i32 %narrow to i64 ret i64 %2 } Transformation seems to be correct! ---------------------------------------- define i64 @t3(i32 %a) { %0: %1 = icmp ult i32 %a, 5 %2 = zext i32 %a to i64 %3 = select i1 %1, i64 5, i64 %2 ret i64 %3 } => define i64 @t3(i32 %a) { %0: %1 = icmp ugt i32 %a, 5 %narrow = select i1 %1, i32 %a, i32 5 %2 = zext i32 %narrow to i64 ret i64 %2 } Transformation seems to be correct! ---------------------------------------- define i32 @t4(i64 %a) { %0: %1 = icmp slt i64 %a, 5 %2 = trunc i64 %a to i32 %3 = select i1 %1, i32 %2, i32 5 ret i32 %3 } => define i32 @t4(i64 %a) { %0: %1 = icmp slt i64 %a, 5 %2 = select i1 %1, i64 %a, i64 5 %3 = trunc i64 %2 to i32 ret i32 %3 } Transformation doesn't verify! ERROR: Timeout ---------------------------------------- define i64 @t5(i32 %a) { %0: %1 = icmp slt i32 %a, 5 %2 = zext i32 %a to i64 %3 = select i1 %1, i64 5, i64 %2 ret i64 %3 } => define i64 @t5(i32 %a) { %0: %1 = icmp sgt i32 %a, 5 %narrow = select i1 %1, i32 %a, i32 5 %2 = zext i32 %narrow to i64 ret i64 %2 } Transformation seems to be correct! ---------------------------------------- define float @t6(i32 %a) { %0: %1 = icmp slt i32 %a, 0 %2 = select i1 %1, i32 %a, i32 0 %3 = sitofp i32 %2 to float ret float %3 } => define float @t6(i32 %a) { %0: %1 = icmp slt i32 %a, 0 %2 = select i1 %1, i32 %a, i32 0 %3 = sitofp i32 %2 to float ret float %3 } Transformation seems to be correct! ---------------------------------------- define i16 @t7(i32 %a) { %0: %1 = icmp slt i32 %a, 4294934528 %2 = trunc i32 %a to i16 %3 = select i1 %1, i16 %2, i16 32768 ret i16 %3 } => define i16 @t7(i32 %a) { %0: %1 = icmp slt i32 %a, 4294934528 %2 = select i1 %1, i32 %a, i32 4294934528 %3 = trunc i32 %2 to i16 ret i16 %3 } Transformation doesn't verify! ERROR: Timeout ---------------------------------------- define i32 @t8(i64 %a, i32 %b) { %0: %1 = icmp slt i64 %a, -32767 %2 = select i1 %1, i64 %a, i64 -32767 %3 = trunc i64 %2 to i32 %4 = icmp slt i32 %b, 42 %5 = select i1 %4, i32 42, i32 %3 %6 = icmp ne i32 %5, %b %7 = zext i1 %6 to i32 ret i32 %7 } => define i32 @t8(i64 %a, i32 %b) { %0: %1 = icmp slt i64 %a, -32767 %2 = select i1 %1, i64 %a, i64 -32767 %3 = trunc i64 %2 to i32 %4 = icmp slt i32 %b, 42 %5 = select i1 %4, i32 42, i32 %3 %6 = icmp ne i32 %5, %b %7 = zext i1 %6 to i32 ret i32 %7 } Transformation doesn't verify! ERROR: Timeout ---------------------------------------- define i64 @t9(i32 %a) { %0: %1 = icmp sgt i32 %a, 4294967295 %2 = sext i32 %a to i64 %3 = select i1 %1, i64 %2, i64 4294967295 ret i64 %3 } => define i64 @t9(i32 %a) { %0: %1 = icmp sgt i32 %a, 4294967295 %2 = sext i32 %a to i64 %3 = select i1 %1, i64 %2, i64 4294967295 ret i64 %3 } Transformation doesn't verify! ERROR: Timeout ---------------------------------------- define float @t10(i32 %x) { %0: %f_x = sitofp i32 %x to float %cmp = icmp sgt i32 %x, 255 %r = select i1 %cmp, float %f_x, float 255.000000 ret float %r } => define float @t10(i32 %x) { %0: %1 = icmp sgt i32 %x, 255 %r1 = select i1 %1, i32 %x, i32 255 %2 = sitofp i32 %r1 to float ret float %2 } Transformation seems to be correct! ---------------------------------------- define float @t11(i64 %x) { %0: %f_x = sitofp i64 %x to float %cmp = icmp sgt i64 %x, 255 %r = select i1 %cmp, float %f_x, float 255.000000 ret float %r } => define float @t11(i64 %x) { %0: %1 = icmp sgt i64 %x, 255 %r1 = select i1 %1, i64 %x, i64 255 %2 = sitofp i64 %r1 to float ret float %2 } Transformation seems to be correct! ---------------------------------------- define <4 x i32> @bitcasts_fcmp_1(<2 x i64> %a, <2 x i64> %b) { %0: %t0 = bitcast <2 x i64> %a to <4 x float> %t1 = bitcast <2 x i64> %b to <4 x float> %t2 = fcmp olt <4 x float> %t1, %t0 %t3 = bitcast <2 x i64> %a to <4 x i32> %t4 = bitcast <2 x i64> %b to <4 x i32> %t5 = select <4 x i1> %t2, <4 x i32> %t3, <4 x i32> %t4 ret <4 x i32> %t5 } => define <4 x i32> @bitcasts_fcmp_1(<2 x i64> %a, <2 x i64> %b) { %0: %t0 = bitcast <2 x i64> %a to <4 x float> %t1 = bitcast <2 x i64> %b to <4 x float> %t2 = fcmp olt <4 x float> %t1, %t0 %1 = select <4 x i1> %t2, <4 x float> %t0, <4 x float> %t1 %t5 = bitcast <4 x float> %1 to <4 x i32> ret <4 x i32> %t5 } Transformation doesn't verify! ERROR: Value mismatch Example: <2 x i64> %a = < poison, #x0000000100000000 (4294967296) > <2 x i64> %b = < poison, #x80a000007f800040 (9268408035267575872, -9178336038441975744) > Source: <4 x float> %t0 = < poison, poison, #x00000000 (+0.0), #x00000001 (0.000000000000?) > <4 x float> %t1 = < poison, poison, NaN, #x80a00000 (-0.000000000000?) > <4 x i1> %t2 = < poison, poison, #x0 (0), #x1 (1) > <4 x i32> %t3 = < poison, poison, #x00000000 (0), #x00000001 (1) > <4 x i32> %t4 = < poison, poison, #x7f800040 (2139095104), #x80a00000 (2157969408, -2136997888) > <4 x i32> %t5 = < poison, poison, #x7f800040 (2139095104), #x00000001 (1) > Target: <4 x float> %t0 = < poison, poison, #x00000000 (+0.0), #x00000001 (0.000000000000?) > <4 x float> %t1 = < poison, poison, NaN, #x80a00000 (-0.000000000000?) > <4 x i1> %t2 = < poison, poison, #x0 (0), #x1 (1) > <4 x float> %1 = < poison, poison, NaN, #x00000001 (0.000000000000?) > <4 x i32> %t5 = < poison, poison, #x7f800800 (2139097088), #x00000001 (1) > Source value: < poison, poison, #x7f800040 (2139095104), #x00000001 (1) > Target value: < poison, poison, #x7f800800 (2139097088), #x00000001 (1) > ------------------- SMT STATS ------------------- Num queries: 36 Num invalid: 0 Num skips: 0 Num trivial: 31 (46.3%) Num timeout: 4 (11.1%) Num errors: 0 (0.0%) Num SAT: 13 (36.1%) Num UNSAT: 19 (52.8%)
+ : 'RUN: at line 2' + /home/nlopes/alive2/scripts/opt-alive.sh -S -instcombine + /home/nlopes/llvm/build/bin/FileCheck /home/nlopes/llvm/llvm/test/Transforms/InstCombine/minmax-fold.ll Alive2: Transform doesn't verify; aborting! FileCheck error: '<stdin>' is empty. FileCheck command line: /home/nlopes/llvm/build/bin/FileCheck /home/nlopes/llvm/llvm/test/Transforms/InstCombine/minmax-fold.ll