Test Failure: Transforms/InstCombine/broadcast.ll

Test source: git

Log:

Source: <stdin>
-- 1. ModuleToFunctionPassAdaptor
-- 1. PassManager<Function> : Skipping NOP
-- 2. InstCombinePass

----------------------------------------
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
}
Transformation seems to be correct! (syntactically equal)

-- 3. InstCombinePass

----------------------------------------
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!

-- 4. PassManager<Function> : Skipping NOP
-- 5. PassManager<Function> : Skipping NOP
-- 6. InstCombinePass

----------------------------------------
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
}
Transformation seems to be correct! (syntactically equal)

-- 7. InstCombinePass

----------------------------------------
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!

-- 8. PassManager<Function> : Skipping NOP
-- 9. PassManager<Function> : Skipping NOP
-- 10. InstCombinePass

----------------------------------------
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
}
Transformation seems to be correct! (syntactically equal)

-- 11. InstCombinePass

----------------------------------------
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!

-- 12. PassManager<Function> : Skipping NOP
-- 13. PassManager<Function> : Skipping NOP
-- 14. InstCombinePass

----------------------------------------
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
}
Transformation seems to be correct! (syntactically equal)

-- 15. InstCombinePass

----------------------------------------
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! (not unsound)
ERROR: Timeout
-- 16. PassManager<Function> : Skipping NOP
-- 17. PassManager<Function> : Skipping NOP
-- 18. InstCombinePass

----------------------------------------
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
}
Transformation seems to be correct! (syntactically equal)

-- 19. InstCombinePass

----------------------------------------
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! (not unsound)
ERROR: Timeout
-- 20. PassManager<Function> : Skipping NOP
-- 21. PassManager<Function> : Skipping NOP
-- 22. InstCombinePass

----------------------------------------
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
}
Transformation seems to be correct! (syntactically equal)

-- 23. InstCombinePass

----------------------------------------
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! (unsound)
ERROR: Target is more poisonous than source

Example:
float %arg = poison

Source:
<4 x float> %t = < #x00000000 (+0.0)	[based on undef value], poison, #x00000000 (+0.0), #x00000000 (+0.0) >
<4 x float> %t4 = < #x00000000 (+0.0), poison, #x00000000 (+0.0), #x00000000 (+0.0) >
<4 x float> %t5 = < #x00000000 (+0.0), poison, poison, #x00000000 (+0.0) >
<4 x float> %t6 = < #x00000000 (+0.0), poison, poison, poison >

Target:
<4 x float> %1 = < poison, poison, poison, poison >
<4 x float> %t6 = < poison, poison, poison, poison >
Source value: < #x00000000 (+0.0), poison, poison, poison >
Target value: < poison, poison, poison, poison >

Pass: InstCombinePass
Command line: '/home/nlopes/llvm/build/bin/opt' '-load=/home/nlopes/alive2/build/tv/tv.so' '-load-pass-plugin=/home/nlopes/alive2/build/tv/tv.so' '-tv-exit-on-error' '-passes=instcombine' '-S' '-tv-smt-to=20000' '-tv-report-dir=/home/nlopes/alive2/build/logs' '-tv-smt-stats'


------------------- 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!

stderr:

+ : 'RUN: at line 2'
+ /home/nlopes/alive2/build/opt-alive.sh -passes=instcombine -S
+ /bitbucket/nlopes/llvm/build/bin/FileCheck /bitbucket/nlopes/llvm/llvm/test/Transforms/InstCombine/broadcast.ll

FileCheck error: '<stdin>' is empty.
FileCheck command line:  /bitbucket/nlopes/llvm/build/bin/FileCheck /bitbucket/nlopes/llvm/llvm/test/Transforms/InstCombine/broadcast.ll

<-- Back