Test source: git
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_cS2XRJNm_ahKk.bc" ------------------- SMT STATS ------------------- Num queries: 81 Num invalid: 0 Num skips: 0 Num trivial: 40 (33.1%) Num timeout: 37 (45.7%) Num errors: 0 (0.0%) Num SAT: 35 (43.2%) Num UNSAT: 9 (11.1%) Alive2: Transform doesn't verify; aborting!
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 + /home/nlopes/alive2/build/opt-alive.sh -passes=instcombine -S + /bitbucket/nlopes/llvm/build/bin/FileCheck /bitbucket/nlopes/llvm/llvm/test/Transforms/InstCombine/select-binop-foldable-floating-point.ll 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