Test Failure: Transforms/InstCombine/select-binop-foldable-floating-point.ll

Test source: git

Log:

Source: <stdin>
-- 1. ModuleToFunctionPassAdaptor
ERROR: Unsupported type: <vscale x 4 x float>
ERROR: Unsupported type: <vscale x 4 x float>
ERROR: Unsupported type: <vscale x 4 x float>
-- 1. PassManager<Function> : Skipping NOP
-- 2. InstCombinePass

----------------------------------------
define float @select_fadd(i1 %cond, float %A, float %B) {
#0:
  %C = fadd float %A, %B
  %D = select i1 %cond, float %C, float %A
  ret float %D
}
Transformation seems to be correct! (syntactically equal)

-- 3. InstCombinePass

----------------------------------------
define float @select_fadd(i1 %cond, float %A, float %B) {
#0:
  %C = fadd float %A, %B
  %D = select i1 %cond, float %C, float %A
  ret float %D
}
=>
define float @select_fadd(i1 %cond, float %A, float %B) {
#0:
  %C = select i1 %cond, float %B, float -0.000000
  %D = fadd float %C, %A
  ret float %D
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout
-- 4. PassManager<Function> : Skipping NOP
-- 5. PassManager<Function> : Skipping NOP
-- 6. InstCombinePass

----------------------------------------
define float @select_fadd_swapped(i1 %cond, float %A, float %B) {
#0:
  %C = fadd float %A, %B
  %D = select i1 %cond, float %A, float %C
  ret float %D
}
Transformation seems to be correct! (syntactically equal)

-- 7. InstCombinePass

----------------------------------------
define float @select_fadd_swapped(i1 %cond, float %A, float %B) {
#0:
  %C = fadd float %A, %B
  %D = select i1 %cond, float %A, float %C
  ret float %D
}
=>
define float @select_fadd_swapped(i1 %cond, float %A, float %B) {
#0:
  %C = select i1 %cond, float -0.000000, float %B
  %D = fadd float %C, %A
  ret float %D
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout
-- 8. PassManager<Function> : Skipping NOP
-- 9. PassManager<Function> : Skipping NOP
-- 10. InstCombinePass

----------------------------------------
define float @select_fadd_fast_math(i1 %cond, float %A, float %B) {
#0:
  %C = fadd fast float %A, %B
  %D = select i1 %cond, float %C, float %A
  ret float %D
}
Transformation seems to be correct! (syntactically equal)

-- 11. InstCombinePass

----------------------------------------
define float @select_fadd_fast_math(i1 %cond, float %A, float %B) {
#0:
  %C = fadd fast float %A, %B
  %D = select i1 %cond, float %C, float %A
  ret float %D
}
=>
define float @select_fadd_fast_math(i1 %cond, float %A, float %B) {
#0:
  %C = select i1 %cond, float %B, float -0.000000
  %D = fadd fast float %C, %A
  ret float %D
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout
-- 12. PassManager<Function> : Skipping NOP
-- 13. PassManager<Function> : Skipping NOP
-- 14. InstCombinePass

----------------------------------------
define float @select_fadd_swapped_fast_math(i1 %cond, float %A, float %B) {
#0:
  %C = fadd fast float %A, %B
  %D = select i1 %cond, float %A, float %C
  ret float %D
}
Transformation seems to be correct! (syntactically equal)

-- 15. InstCombinePass

----------------------------------------
define float @select_fadd_swapped_fast_math(i1 %cond, float %A, float %B) {
#0:
  %C = fadd fast float %A, %B
  %D = select i1 %cond, float %A, float %C
  ret float %D
}
=>
define float @select_fadd_swapped_fast_math(i1 %cond, float %A, float %B) {
#0:
  %C = select i1 %cond, float -0.000000, float %B
  %D = fadd fast float %C, %A
  ret float %D
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout
-- 16. PassManager<Function> : Skipping NOP
-- 17. PassManager<Function> : Skipping NOP
-- 18. InstCombinePass

----------------------------------------
define <4 x float> @select_nsz_fadd_v4f32(<4 x i1> %cond, <4 x float> %A, <4 x float> %B) {
#0:
  %C = fadd nnan nsz <4 x float> %A, %B
  %D = select nnan nsz <4 x i1> %cond, <4 x float> %C, <4 x float> %A
  ret <4 x float> %D
}
Transformation seems to be correct! (syntactically equal)

-- 19. InstCombinePass

----------------------------------------
define <4 x float> @select_nsz_fadd_v4f32(<4 x i1> %cond, <4 x float> %A, <4 x float> %B) {
#0:
  %C = fadd nnan nsz <4 x float> %A, %B
  %D = select nnan nsz <4 x i1> %cond, <4 x float> %C, <4 x float> %A
  ret <4 x float> %D
}
=>
define <4 x float> @select_nsz_fadd_v4f32(<4 x i1> %cond, <4 x float> %A, <4 x float> %B) {
#0:
  %C = select nnan nsz <4 x i1> %cond, <4 x float> %B, <4 x float> { 0.000000, 0.000000, 0.000000, 0.000000 }
  %D = fadd nnan nsz <4 x float> %C, %A
  ret <4 x float> %D
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout
-- 20. PassManager<Function> : Skipping NOP
-- 21. PassManager<Function> : Skipping NOP
ERROR: Unsupported type: <vscale x 4 x float>
-- 22. InstCombinePass
ERROR: Unsupported type: <vscale x 4 x float>
-- 23. InstCombinePass
ERROR: Unsupported type: <vscale x 4 x float>
-- 24. PassManager<Function> : Skipping NOP
ERROR: Unsupported type: <vscale x 4 x float>
-- 25. PassManager<Function> : Skipping NOP
ERROR: Unsupported type: <vscale x 4 x float>
-- 26. InstCombinePass
ERROR: Unsupported type: <vscale x 4 x float>
-- 27. InstCombinePass
ERROR: Unsupported type: <vscale x 4 x float>
-- 28. PassManager<Function> : Skipping NOP
ERROR: Unsupported type: <vscale x 4 x float>
-- 29. PassManager<Function> : Skipping NOP
-- 30. InstCombinePass

----------------------------------------
define float @select_fmul(i1 %cond, float %A, float %B) {
#0:
  %C = fmul float %A, %B
  %D = select i1 %cond, float %C, float %A
  ret float %D
}
Transformation seems to be correct! (syntactically equal)

-- 31. InstCombinePass

----------------------------------------
define float @select_fmul(i1 %cond, float %A, float %B) {
#0:
  %C = fmul float %A, %B
  %D = select i1 %cond, float %C, float %A
  ret float %D
}
=>
define float @select_fmul(i1 %cond, float %A, float %B) {
#0:
  %C = select i1 %cond, float %B, float 1.000000
  %D = fmul float %C, %A
  ret float %D
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout
-- 32. PassManager<Function> : Skipping NOP
-- 33. PassManager<Function> : Skipping NOP
-- 34. InstCombinePass

----------------------------------------
define float @select_fmul_swapped(i1 %cond, float %A, float %B) {
#0:
  %C = fmul float %A, %B
  %D = select i1 %cond, float %A, float %C
  ret float %D
}
Transformation seems to be correct! (syntactically equal)

-- 35. InstCombinePass

----------------------------------------
define float @select_fmul_swapped(i1 %cond, float %A, float %B) {
#0:
  %C = fmul float %A, %B
  %D = select i1 %cond, float %A, float %C
  ret float %D
}
=>
define float @select_fmul_swapped(i1 %cond, float %A, float %B) {
#0:
  %C = select i1 %cond, float 1.000000, float %B
  %D = fmul float %C, %A
  ret float %D
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout
-- 36. PassManager<Function> : Skipping NOP
-- 37. PassManager<Function> : Skipping NOP
-- 38. InstCombinePass

----------------------------------------
define float @select_fmul_fast_math(i1 %cond, float %A, float %B) {
#0:
  %C = fmul fast float %A, %B
  %D = select i1 %cond, float %C, float %A
  ret float %D
}
Transformation seems to be correct! (syntactically equal)

-- 39. InstCombinePass

----------------------------------------
define float @select_fmul_fast_math(i1 %cond, float %A, float %B) {
#0:
  %C = fmul fast float %A, %B
  %D = select i1 %cond, float %C, float %A
  ret float %D
}
=>
define float @select_fmul_fast_math(i1 %cond, float %A, float %B) {
#0:
  %C = select i1 %cond, float %B, float 1.000000
  %D = fmul fast float %C, %A
  ret float %D
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout
-- 40. PassManager<Function> : Skipping NOP
-- 41. PassManager<Function> : Skipping NOP
-- 42. InstCombinePass

----------------------------------------
define float @select_fmul_swapped_fast_math(i1 %cond, float %A, float %B) {
#0:
  %C = fmul fast float %A, %B
  %D = select i1 %cond, float %A, float %C
  ret float %D
}
Transformation seems to be correct! (syntactically equal)

-- 43. InstCombinePass

----------------------------------------
define float @select_fmul_swapped_fast_math(i1 %cond, float %A, float %B) {
#0:
  %C = fmul fast float %A, %B
  %D = select i1 %cond, float %A, float %C
  ret float %D
}
=>
define float @select_fmul_swapped_fast_math(i1 %cond, float %A, float %B) {
#0:
  %C = select i1 %cond, float 1.000000, float %B
  %D = fmul fast float %C, %A
  ret float %D
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout
-- 44. PassManager<Function> : Skipping NOP
-- 45. PassManager<Function> : Skipping NOP
-- 46. InstCombinePass

----------------------------------------
define float @select_fsub(i1 %cond, float %A, float %B) {
#0:
  %C = fsub float %A, %B
  %D = select i1 %cond, float %C, float %A
  ret float %D
}
Transformation seems to be correct! (syntactically equal)

-- 47. InstCombinePass

----------------------------------------
define float @select_fsub(i1 %cond, float %A, float %B) {
#0:
  %C = fsub float %A, %B
  %D = select i1 %cond, float %C, float %A
  ret float %D
}
=>
define float @select_fsub(i1 %cond, float %A, float %B) {
#0:
  %C = select i1 %cond, float %B, float 0.000000
  %D = fsub float %A, %C
  ret float %D
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout
-- 48. PassManager<Function> : Skipping NOP
-- 49. PassManager<Function> : Skipping NOP
-- 50. InstCombinePass

----------------------------------------
define float @select_fsub_swapped(i1 %cond, float %A, float %B) {
#0:
  %C = fsub float %A, %B
  %D = select i1 %cond, float %A, float %C
  ret float %D
}
Transformation seems to be correct! (syntactically equal)

-- 51. InstCombinePass

----------------------------------------
define float @select_fsub_swapped(i1 %cond, float %A, float %B) {
#0:
  %C = fsub float %A, %B
  %D = select i1 %cond, float %A, float %C
  ret float %D
}
=>
define float @select_fsub_swapped(i1 %cond, float %A, float %B) {
#0:
  %C = select i1 %cond, float 0.000000, float %B
  %D = fsub float %A, %C
  ret float %D
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout
-- 52. PassManager<Function> : Skipping NOP
-- 53. PassManager<Function> : Skipping NOP
-- 54. InstCombinePass

----------------------------------------
define float @select_fsub_fast_math(i1 %cond, float %A, float %B) {
#0:
  %C = fsub fast float %A, %B
  %D = select i1 %cond, float %C, float %A
  ret float %D
}
Transformation seems to be correct! (syntactically equal)

-- 55. InstCombinePass

----------------------------------------
define float @select_fsub_fast_math(i1 %cond, float %A, float %B) {
#0:
  %C = fsub fast float %A, %B
  %D = select i1 %cond, float %C, float %A
  ret float %D
}
=>
define float @select_fsub_fast_math(i1 %cond, float %A, float %B) {
#0:
  %C = select i1 %cond, float %B, float 0.000000
  %D = fsub fast float %A, %C
  ret float %D
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout
-- 56. PassManager<Function> : Skipping NOP
-- 57. PassManager<Function> : Skipping NOP
-- 58. InstCombinePass

----------------------------------------
define float @select_fsub_swapped_fast_math(i1 %cond, float %A, float %B) {
#0:
  %C = fsub fast float %A, %B
  %D = select i1 %cond, float %A, float %C
  ret float %D
}
Transformation seems to be correct! (syntactically equal)

-- 59. InstCombinePass

----------------------------------------
define float @select_fsub_swapped_fast_math(i1 %cond, float %A, float %B) {
#0:
  %C = fsub fast float %A, %B
  %D = select i1 %cond, float %A, float %C
  ret float %D
}
=>
define float @select_fsub_swapped_fast_math(i1 %cond, float %A, float %B) {
#0:
  %C = select i1 %cond, float 0.000000, float %B
  %D = fsub fast float %A, %C
  ret float %D
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout
-- 60. PassManager<Function> : Skipping NOP
-- 61. PassManager<Function> : Skipping NOP
-- 62. InstCombinePass

----------------------------------------
define <4 x float> @select_nsz_fsub_v4f32(<4 x i1> %cond, <4 x float> %A, <4 x float> %B) {
#0:
  %C = fsub <4 x float> %A, %B
  %D = select nsz <4 x i1> %cond, <4 x float> %C, <4 x float> %A
  ret <4 x float> %D
}
Transformation seems to be correct! (syntactically equal)

-- 63. InstCombinePass

----------------------------------------
define <4 x float> @select_nsz_fsub_v4f32(<4 x i1> %cond, <4 x float> %A, <4 x float> %B) {
#0:
  %C = fsub <4 x float> %A, %B
  %D = select nsz <4 x i1> %cond, <4 x float> %C, <4 x float> %A
  ret <4 x float> %D
}
=>
define <4 x float> @select_nsz_fsub_v4f32(<4 x i1> %cond, <4 x float> %A, <4 x float> %B) {
#0:
  %C = select nsz <4 x i1> %cond, <4 x float> %B, <4 x float> { 0.000000, 0.000000, 0.000000, 0.000000 }
  %D = fsub <4 x float> %A, %C
  ret <4 x float> %D
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout
-- 64. PassManager<Function> : Skipping NOP
-- 65. PassManager<Function> : Skipping NOP
ERROR: Unsupported type: <vscale x 4 x float>
-- 66. InstCombinePass
ERROR: Unsupported type: <vscale x 4 x float>
-- 67. InstCombinePass
ERROR: Unsupported type: <vscale x 4 x float>
-- 68. PassManager<Function> : Skipping NOP
ERROR: Unsupported type: <vscale x 4 x float>
-- 69. PassManager<Function> : Skipping NOP
-- 70. InstCombinePass

----------------------------------------
define float @select_fsub_invalid(i1 %cond, float %A, float %B) {
#0:
  %C = fsub float %B, %A
  %D = select i1 %cond, float %C, float %A
  ret float %D
}
Transformation seems to be correct! (syntactically equal)

-- 71. InstCombinePass

----------------------------------------
define float @select_fsub_invalid(i1 %cond, float %A, float %B) {
#0:
  %C = fsub float %B, %A
  %D = select i1 %cond, float %C, float %A
  ret float %D
}
Transformation seems to be correct! (syntactically equal)

-- 72. PassManager<Function> : Skipping NOP
-- 73. PassManager<Function> : Skipping NOP
-- 74. InstCombinePass

----------------------------------------
define float @select_fdiv(i1 %cond, float %A, float %B) {
#0:
  %C = fdiv float %A, %B
  %D = select i1 %cond, float %C, float %A
  ret float %D
}
Transformation seems to be correct! (syntactically equal)

-- 75. InstCombinePass

----------------------------------------
define float @select_fdiv(i1 %cond, float %A, float %B) {
#0:
  %C = fdiv float %A, %B
  %D = select i1 %cond, float %C, float %A
  ret float %D
}
=>
define float @select_fdiv(i1 %cond, float %A, float %B) {
#0:
  %C = select i1 %cond, float %B, float 1.000000
  %D = fdiv float %A, %C
  ret float %D
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout
-- 76. PassManager<Function> : Skipping NOP
-- 77. PassManager<Function> : Skipping NOP
-- 78. InstCombinePass

----------------------------------------
define float @select_fdiv_swapped(i1 %cond, float %A, float %B) {
#0:
  %C = fdiv float %A, %B
  %D = select i1 %cond, float %A, float %C
  ret float %D
}
Transformation seems to be correct! (syntactically equal)

-- 79. InstCombinePass

----------------------------------------
define float @select_fdiv_swapped(i1 %cond, float %A, float %B) {
#0:
  %C = fdiv float %A, %B
  %D = select i1 %cond, float %A, float %C
  ret float %D
}
=>
define float @select_fdiv_swapped(i1 %cond, float %A, float %B) {
#0:
  %C = select i1 %cond, float 1.000000, float %B
  %D = fdiv float %A, %C
  ret float %D
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout
-- 80. PassManager<Function> : Skipping NOP
-- 81. PassManager<Function> : Skipping NOP
-- 82. InstCombinePass

----------------------------------------
define float @select_fdiv_fast_math(i1 %cond, float %A, float %B) {
#0:
  %C = fdiv fast float %A, %B
  %D = select i1 %cond, float %C, float %A
  ret float %D
}
Transformation seems to be correct! (syntactically equal)

-- 83. InstCombinePass

----------------------------------------
define float @select_fdiv_fast_math(i1 %cond, float %A, float %B) {
#0:
  %C = fdiv fast float %A, %B
  %D = select i1 %cond, float %C, float %A
  ret float %D
}
=>
define float @select_fdiv_fast_math(i1 %cond, float %A, float %B) {
#0:
  %C = select i1 %cond, float %B, float 1.000000
  %D = fdiv fast float %A, %C
  ret float %D
}
Transformation doesn't verify! (unsound)
ERROR: Target is more poisonous than source

Example:
i1 %cond = #x0 (0)
float %A = #x7f800000 (+oo)
float %B = undef

Source:
float %C = poison
float %D = #x7f800000 (+oo)

Target:
float %C = #x3f800000 (1)
float %D = poison
Source value: #x7f800000 (+oo)
Target value: 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'
Wrote bitcode to: "/home/nlopes/alive2/build/logs/in_wWPCvYqD_jwyf.bc"


------------------- SMT STATS -------------------
Num queries: 98
Num invalid: 0
Num skips:   0
Num trivial: 40 (29.0%)
Num timeout: 37 (37.8%)
Num errors:  0 (0.0%)
Num SAT:     52 (53.1%)
Num UNSAT:   9 (9.2%)
Alive2: Transform doesn't verify; aborting!

stderr:

RUN: at line 2: /home/nlopes/alive2/build/opt-alive.sh < /bitbucket/nlopes/llvm/llvm/test/Transforms/InstCombine/select-binop-foldable-floating-point.ll -passes=instcombine -S | /bitbucket/nlopes/llvm/build/bin/FileCheck /bitbucket/nlopes/llvm/llvm/test/Transforms/InstCombine/select-binop-foldable-floating-point.ll
+ /bitbucket/nlopes/llvm/build/bin/FileCheck /bitbucket/nlopes/llvm/llvm/test/Transforms/InstCombine/select-binop-foldable-floating-point.ll
+ /home/nlopes/alive2/build/opt-alive.sh -passes=instcombine -S

FileCheck error: '<stdin>' is empty.
FileCheck command line:  /bitbucket/nlopes/llvm/build/bin/FileCheck /bitbucket/nlopes/llvm/llvm/test/Transforms/InstCombine/select-binop-foldable-floating-point.ll

<-- Back