Test source: git
Source: <stdin> ---------------------------------------- define <4 x float> @good1(float %arg) { %0: %t = insertelement <4 x float> undef, float %arg, i32 0 %t4 = insertelement <4 x float> %t, float %arg, i32 1 %t5 = insertelement <4 x float> %t4, float %arg, i32 2 %t6 = insertelement <4 x float> %t5, float %arg, i32 3 ret <4 x float> %t6 } => define <4 x float> @good1(float %arg) { %0: %t = insertelement <4 x float> undef, float %arg, i64 0 %t6 = shufflevector <4 x float> %t, <4 x float> poison, 0, 0, 0, 0 ret <4 x float> %t6 } Transformation seems to be correct! ---------------------------------------- define <4 x float> @good2(float %arg) { %0: %t = insertelement <4 x float> undef, float %arg, i32 1 %t4 = insertelement <4 x float> %t, float %arg, i32 2 %t5 = insertelement <4 x float> %t4, float %arg, i32 0 %t6 = insertelement <4 x float> %t5, float %arg, i32 3 ret <4 x float> %t6 } => define <4 x float> @good2(float %arg) { %0: %1 = insertelement <4 x float> poison, float %arg, i64 0 %t6 = shufflevector <4 x float> %1, <4 x float> poison, 0, 0, 0, 0 ret <4 x float> %t6 } Transformation seems to be correct! ---------------------------------------- define <4 x float> @good3(float %arg) { %0: %t = insertelement <4 x float> { 0.000000, 0.000000, 0.000000, 0.000000 }, float %arg, i32 0 %t4 = insertelement <4 x float> %t, float %arg, i32 1 %t5 = insertelement <4 x float> %t4, float %arg, i32 2 %t6 = insertelement <4 x float> %t5, float %arg, i32 3 ret <4 x float> %t6 } => define <4 x float> @good3(float %arg) { %0: %t = insertelement <4 x float> poison, float %arg, i64 0 %t6 = shufflevector <4 x float> %t, <4 x float> poison, 0, 0, 0, 0 ret <4 x float> %t6 } Transformation seems to be correct! ---------------------------------------- define <4 x float> @good4(float %arg) { %0: %t = insertelement <4 x float> { 0.000000, 0.000000, 0.000000, 0.000000 }, float %arg, i32 0 %t4 = insertelement <4 x float> %t, float %arg, i32 1 %t5 = insertelement <4 x float> %t4, float %arg, i32 2 %t6 = insertelement <4 x float> %t5, float %arg, i32 3 %t7 = fadd <4 x float> %t6, %t6, exceptions=ignore ret <4 x float> %t7 } => define <4 x float> @good4(float %arg) { %0: %t = insertelement <4 x float> poison, float %arg, i64 0 %1 = fadd <4 x float> %t, %t, exceptions=ignore %t7 = shufflevector <4 x float> %1, <4 x float> poison, 0, 0, 0, 0 ret <4 x float> %t7 } Transformation doesn't verify! ERROR: Timeout ---------------------------------------- define <4 x float> @good5(float %v) { %0: %ins1 = insertelement <4 x float> undef, float %v, i32 0 %a1 = fadd <4 x float> %ins1, %ins1, exceptions=ignore %ins2 = insertelement <4 x float> %ins1, float %v, i32 1 %ins3 = insertelement <4 x float> %ins2, float %v, i32 2 %ins4 = insertelement <4 x float> %ins3, float %v, i32 3 %res = fadd <4 x float> %a1, %ins4, exceptions=ignore ret <4 x float> %res } => define <4 x float> @good5(float %v) { %0: %ins1 = insertelement <4 x float> undef, float %v, i64 0 %a1 = fadd <4 x float> %ins1, %ins1, exceptions=ignore %ins4 = shufflevector <4 x float> %ins1, <4 x float> poison, 0, 0, 0, 0 %res = fadd <4 x float> %a1, %ins4, exceptions=ignore ret <4 x float> %res } Transformation doesn't verify! ERROR: Timeout ---------------------------------------- define <4 x float> @splat_undef1(float %arg) { %0: %t = insertelement <4 x float> undef, float %arg, i32 1 %t4 = insertelement <4 x float> %t, float %arg, i32 1 %t5 = insertelement <4 x float> %t4, float %arg, i32 2 %t6 = insertelement <4 x float> %t5, float %arg, i32 3 ret <4 x float> %t6 } => define <4 x float> @splat_undef1(float %arg) { %0: %1 = insertelement <4 x float> poison, float %arg, i64 0 %t6 = shufflevector <4 x float> %1, <4 x float> poison, 4294967295, 0, 0, 0 ret <4 x float> %t6 } Transformation doesn't verify! ERROR: Target is more poisonous than source Example: float %arg = poison Source: <4 x float> %t = < NaN [based on undef value], poison, NaN, NaN > <4 x float> %t4 = < NaN, poison, NaN, NaN > <4 x float> %t5 = < NaN, poison, poison, NaN > <4 x float> %t6 = < NaN, poison, poison, poison > Target: <4 x float> %1 = < poison, poison, poison, poison > <4 x float> %t6 = < poison, poison, poison, poison > Source value: < NaN, poison, poison, poison > Target value: < poison, poison, poison, poison > ------------------- SMT STATS ------------------- Num queries: 51 Num invalid: 0 Num skips: 0 Num trivial: 25 (32.9%) Num timeout: 2 (3.9%) Num errors: 0 (0.0%) Num SAT: 37 (72.5%) Num UNSAT: 12 (23.5%) Alive2: Transform doesn't verify; aborting!
+ : 'RUN: at line 2' + /home/nlopes/alive2/build/opt-alive.sh -passes=instcombine -S + /tmp/nlopes/llvm/build/bin/FileCheck /tmp/nlopes/llvm/llvm/test/Transforms/InstCombine/broadcast.ll FileCheck error: '<stdin>' is empty. FileCheck command line: /tmp/nlopes/llvm/build/bin/FileCheck /tmp/nlopes/llvm/llvm/test/Transforms/InstCombine/broadcast.ll