Test Failure: Transforms/InstCombine/X86/x86-vector-shifts.ll

Test source: git

Log:

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

----------------------------------------
define <8 x i16> @sse2_psrai_w_0(<8 x i16> %v) {
#0:
  %#1 = x86_sse2_psrai_w <8 x i16> %v, i32 0
  ret <8 x i16> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 3. InstCombinePass

----------------------------------------
define <8 x i16> @sse2_psrai_w_0(<8 x i16> %v) {
#0:
  %#1 = x86_sse2_psrai_w <8 x i16> %v, i32 0
  ret <8 x i16> %#1
}
=>
define <8 x i16> @sse2_psrai_w_0(<8 x i16> %v) {
#0:
  ret <8 x i16> %v
}
Transformation seems to be correct!

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

----------------------------------------
define <8 x i16> @sse2_psrai_w_15(<8 x i16> %v) {
#0:
  %#1 = x86_sse2_psrai_w <8 x i16> %v, i32 15
  ret <8 x i16> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 7. InstCombinePass

----------------------------------------
define <8 x i16> @sse2_psrai_w_15(<8 x i16> %v) {
#0:
  %#1 = x86_sse2_psrai_w <8 x i16> %v, i32 15
  ret <8 x i16> %#1
}
=>
define <8 x i16> @sse2_psrai_w_15(<8 x i16> %v) {
#0:
  %#1 = ashr <8 x i16> %v, { 15, 15, 15, 15, 15, 15, 15, 15 }
  ret <8 x i16> %#1
}
Transformation seems to be correct!

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

----------------------------------------
define <8 x i16> @sse2_psrai_w_64(<8 x i16> %v) {
#0:
  %#1 = x86_sse2_psrai_w <8 x i16> %v, i32 64
  ret <8 x i16> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 11. InstCombinePass

----------------------------------------
define <8 x i16> @sse2_psrai_w_64(<8 x i16> %v) {
#0:
  %#1 = x86_sse2_psrai_w <8 x i16> %v, i32 64
  ret <8 x i16> %#1
}
=>
define <8 x i16> @sse2_psrai_w_64(<8 x i16> %v) {
#0:
  %#1 = ashr <8 x i16> %v, { 15, 15, 15, 15, 15, 15, 15, 15 }
  ret <8 x i16> %#1
}
Transformation seems to be correct!

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

----------------------------------------
define <4 x i32> @sse2_psrai_d_0(<4 x i32> %v) {
#0:
  %#1 = x86_sse2_psrai_d <4 x i32> %v, i32 0
  ret <4 x i32> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 15. InstCombinePass

----------------------------------------
define <4 x i32> @sse2_psrai_d_0(<4 x i32> %v) {
#0:
  %#1 = x86_sse2_psrai_d <4 x i32> %v, i32 0
  ret <4 x i32> %#1
}
=>
define <4 x i32> @sse2_psrai_d_0(<4 x i32> %v) {
#0:
  ret <4 x i32> %v
}
Transformation seems to be correct!

-- 16. PassManager<Function> : Skipping NOP
-- 17. PassManager<Function> : Skipping NOP
-- 18. InstCombinePass

----------------------------------------
define <4 x i32> @sse2_psrai_d_15(<4 x i32> %v) {
#0:
  %#1 = x86_sse2_psrai_d <4 x i32> %v, i32 15
  ret <4 x i32> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 19. InstCombinePass

----------------------------------------
define <4 x i32> @sse2_psrai_d_15(<4 x i32> %v) {
#0:
  %#1 = x86_sse2_psrai_d <4 x i32> %v, i32 15
  ret <4 x i32> %#1
}
=>
define <4 x i32> @sse2_psrai_d_15(<4 x i32> %v) {
#0:
  %#1 = ashr <4 x i32> %v, { 15, 15, 15, 15 }
  ret <4 x i32> %#1
}
Transformation seems to be correct!

-- 20. PassManager<Function> : Skipping NOP
-- 21. PassManager<Function> : Skipping NOP
-- 22. InstCombinePass

----------------------------------------
define <4 x i32> @sse2_psrai_d_64(<4 x i32> %v) {
#0:
  %#1 = x86_sse2_psrai_d <4 x i32> %v, i32 64
  ret <4 x i32> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 23. InstCombinePass

----------------------------------------
define <4 x i32> @sse2_psrai_d_64(<4 x i32> %v) {
#0:
  %#1 = x86_sse2_psrai_d <4 x i32> %v, i32 64
  ret <4 x i32> %#1
}
=>
define <4 x i32> @sse2_psrai_d_64(<4 x i32> %v) {
#0:
  %#1 = ashr <4 x i32> %v, { 31, 31, 31, 31 }
  ret <4 x i32> %#1
}
Transformation seems to be correct!

-- 24. PassManager<Function> : Skipping NOP
-- 25. PassManager<Function> : Skipping NOP
-- 26. InstCombinePass

----------------------------------------
define <16 x i16> @avx2_psrai_w_0(<16 x i16> %v) {
#0:
  %#1 = x86_avx2_psrai_w <16 x i16> %v, i32 0
  ret <16 x i16> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 27. InstCombinePass

----------------------------------------
define <16 x i16> @avx2_psrai_w_0(<16 x i16> %v) {
#0:
  %#1 = x86_avx2_psrai_w <16 x i16> %v, i32 0
  ret <16 x i16> %#1
}
=>
define <16 x i16> @avx2_psrai_w_0(<16 x i16> %v) {
#0:
  ret <16 x i16> %v
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout

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' '-mtriple=x86_64-unknown-unknown' '-S' '-tv-smt-to=20000' '-tv-report-dir=/home/nlopes/alive2/build/logs' '-tv-smt-stats'

-- 28. PassManager<Function> : Skipping NOP
-- 29. PassManager<Function> : Skipping NOP
-- 30. InstCombinePass

----------------------------------------
define <16 x i16> @avx2_psrai_w_15(<16 x i16> %v) {
#0:
  %#1 = x86_avx2_psrai_w <16 x i16> %v, i32 15
  ret <16 x i16> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 31. InstCombinePass

----------------------------------------
define <16 x i16> @avx2_psrai_w_15(<16 x i16> %v) {
#0:
  %#1 = x86_avx2_psrai_w <16 x i16> %v, i32 15
  ret <16 x i16> %#1
}
=>
define <16 x i16> @avx2_psrai_w_15(<16 x i16> %v) {
#0:
  %#1 = ashr <16 x i16> %v, { 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15 }
  ret <16 x i16> %#1
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout

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' '-mtriple=x86_64-unknown-unknown' '-S' '-tv-smt-to=20000' '-tv-report-dir=/home/nlopes/alive2/build/logs' '-tv-smt-stats'

-- 32. PassManager<Function> : Skipping NOP
-- 33. PassManager<Function> : Skipping NOP
-- 34. InstCombinePass

----------------------------------------
define <16 x i16> @avx2_psrai_w_64(<16 x i16> %v) {
#0:
  %#1 = x86_avx2_psrai_w <16 x i16> %v, i32 64
  ret <16 x i16> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 35. InstCombinePass

----------------------------------------
define <16 x i16> @avx2_psrai_w_64(<16 x i16> %v) {
#0:
  %#1 = x86_avx2_psrai_w <16 x i16> %v, i32 64
  ret <16 x i16> %#1
}
=>
define <16 x i16> @avx2_psrai_w_64(<16 x i16> %v) {
#0:
  %#1 = ashr <16 x i16> %v, { 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15 }
  ret <16 x i16> %#1
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout

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' '-mtriple=x86_64-unknown-unknown' '-S' '-tv-smt-to=20000' '-tv-report-dir=/home/nlopes/alive2/build/logs' '-tv-smt-stats'

-- 36. PassManager<Function> : Skipping NOP
-- 37. PassManager<Function> : Skipping NOP
-- 38. InstCombinePass

----------------------------------------
define <8 x i32> @avx2_psrai_d_0(<8 x i32> %v) {
#0:
  %#1 = x86_avx2_psrai_d <8 x i32> %v, i32 0
  ret <8 x i32> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 39. InstCombinePass

----------------------------------------
define <8 x i32> @avx2_psrai_d_0(<8 x i32> %v) {
#0:
  %#1 = x86_avx2_psrai_d <8 x i32> %v, i32 0
  ret <8 x i32> %#1
}
=>
define <8 x i32> @avx2_psrai_d_0(<8 x i32> %v) {
#0:
  ret <8 x i32> %v
}
Transformation seems to be correct!

-- 40. PassManager<Function> : Skipping NOP
-- 41. PassManager<Function> : Skipping NOP
-- 42. InstCombinePass

----------------------------------------
define <8 x i32> @avx2_psrai_d_15(<8 x i32> %v) {
#0:
  %#1 = x86_avx2_psrai_d <8 x i32> %v, i32 15
  ret <8 x i32> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 43. InstCombinePass

----------------------------------------
define <8 x i32> @avx2_psrai_d_15(<8 x i32> %v) {
#0:
  %#1 = x86_avx2_psrai_d <8 x i32> %v, i32 15
  ret <8 x i32> %#1
}
=>
define <8 x i32> @avx2_psrai_d_15(<8 x i32> %v) {
#0:
  %#1 = ashr <8 x i32> %v, { 15, 15, 15, 15, 15, 15, 15, 15 }
  ret <8 x i32> %#1
}
Transformation seems to be correct!

-- 44. PassManager<Function> : Skipping NOP
-- 45. PassManager<Function> : Skipping NOP
-- 46. InstCombinePass

----------------------------------------
define <8 x i32> @avx2_psrai_d_64(<8 x i32> %v) {
#0:
  %#1 = x86_avx2_psrai_d <8 x i32> %v, i32 64
  ret <8 x i32> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 47. InstCombinePass

----------------------------------------
define <8 x i32> @avx2_psrai_d_64(<8 x i32> %v) {
#0:
  %#1 = x86_avx2_psrai_d <8 x i32> %v, i32 64
  ret <8 x i32> %#1
}
=>
define <8 x i32> @avx2_psrai_d_64(<8 x i32> %v) {
#0:
  %#1 = ashr <8 x i32> %v, { 31, 31, 31, 31, 31, 31, 31, 31 }
  ret <8 x i32> %#1
}
Transformation seems to be correct!

-- 48. PassManager<Function> : Skipping NOP
-- 49. PassManager<Function> : Skipping NOP
-- 50. InstCombinePass

----------------------------------------
define <2 x i64> @avx512_psrai_q_128_0(<2 x i64> %v) {
#0:
  %#1 = x86_avx512_psrai_q_128 <2 x i64> %v, i32 0
  ret <2 x i64> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 51. InstCombinePass

----------------------------------------
define <2 x i64> @avx512_psrai_q_128_0(<2 x i64> %v) {
#0:
  %#1 = x86_avx512_psrai_q_128 <2 x i64> %v, i32 0
  ret <2 x i64> %#1
}
=>
define <2 x i64> @avx512_psrai_q_128_0(<2 x i64> %v) {
#0:
  ret <2 x i64> %v
}
Transformation seems to be correct!

-- 52. PassManager<Function> : Skipping NOP
-- 53. PassManager<Function> : Skipping NOP
-- 54. InstCombinePass

----------------------------------------
define <2 x i64> @avx512_psrai_q_128_15(<2 x i64> %v) {
#0:
  %#1 = x86_avx512_psrai_q_128 <2 x i64> %v, i32 15
  ret <2 x i64> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 55. InstCombinePass

----------------------------------------
define <2 x i64> @avx512_psrai_q_128_15(<2 x i64> %v) {
#0:
  %#1 = x86_avx512_psrai_q_128 <2 x i64> %v, i32 15
  ret <2 x i64> %#1
}
=>
define <2 x i64> @avx512_psrai_q_128_15(<2 x i64> %v) {
#0:
  %#1 = ashr <2 x i64> %v, { 15, 15 }
  ret <2 x i64> %#1
}
Transformation seems to be correct!

-- 56. PassManager<Function> : Skipping NOP
-- 57. PassManager<Function> : Skipping NOP
-- 58. InstCombinePass

----------------------------------------
define <2 x i64> @avx512_psrai_q_128_64(<2 x i64> %v) {
#0:
  %#1 = x86_avx512_psrai_q_128 <2 x i64> %v, i32 64
  ret <2 x i64> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 59. InstCombinePass

----------------------------------------
define <2 x i64> @avx512_psrai_q_128_64(<2 x i64> %v) {
#0:
  %#1 = x86_avx512_psrai_q_128 <2 x i64> %v, i32 64
  ret <2 x i64> %#1
}
=>
define <2 x i64> @avx512_psrai_q_128_64(<2 x i64> %v) {
#0:
  %#1 = ashr <2 x i64> %v, { 63, 63 }
  ret <2 x i64> %#1
}
Transformation seems to be correct!

-- 60. PassManager<Function> : Skipping NOP
-- 61. PassManager<Function> : Skipping NOP
-- 62. InstCombinePass

----------------------------------------
define <4 x i64> @avx512_psrai_q_256_0(<4 x i64> %v) {
#0:
  %#1 = x86_avx512_psrai_q_256 <4 x i64> %v, i32 0
  ret <4 x i64> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 63. InstCombinePass

----------------------------------------
define <4 x i64> @avx512_psrai_q_256_0(<4 x i64> %v) {
#0:
  %#1 = x86_avx512_psrai_q_256 <4 x i64> %v, i32 0
  ret <4 x i64> %#1
}
=>
define <4 x i64> @avx512_psrai_q_256_0(<4 x i64> %v) {
#0:
  ret <4 x i64> %v
}
Transformation seems to be correct!

-- 64. PassManager<Function> : Skipping NOP
-- 65. PassManager<Function> : Skipping NOP
-- 66. InstCombinePass

----------------------------------------
define <4 x i64> @avx512_psrai_q_256_15(<4 x i64> %v) {
#0:
  %#1 = x86_avx512_psrai_q_256 <4 x i64> %v, i32 15
  ret <4 x i64> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 67. InstCombinePass

----------------------------------------
define <4 x i64> @avx512_psrai_q_256_15(<4 x i64> %v) {
#0:
  %#1 = x86_avx512_psrai_q_256 <4 x i64> %v, i32 15
  ret <4 x i64> %#1
}
=>
define <4 x i64> @avx512_psrai_q_256_15(<4 x i64> %v) {
#0:
  %#1 = ashr <4 x i64> %v, { 15, 15, 15, 15 }
  ret <4 x i64> %#1
}
Transformation seems to be correct!

-- 68. PassManager<Function> : Skipping NOP
-- 69. PassManager<Function> : Skipping NOP
-- 70. InstCombinePass

----------------------------------------
define <4 x i64> @avx512_psrai_q_256_64(<4 x i64> %v) {
#0:
  %#1 = x86_avx512_psrai_q_256 <4 x i64> %v, i32 64
  ret <4 x i64> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 71. InstCombinePass

----------------------------------------
define <4 x i64> @avx512_psrai_q_256_64(<4 x i64> %v) {
#0:
  %#1 = x86_avx512_psrai_q_256 <4 x i64> %v, i32 64
  ret <4 x i64> %#1
}
=>
define <4 x i64> @avx512_psrai_q_256_64(<4 x i64> %v) {
#0:
  %#1 = ashr <4 x i64> %v, { 63, 63, 63, 63 }
  ret <4 x i64> %#1
}
Transformation seems to be correct!

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

----------------------------------------
define <32 x i16> @avx512_psrai_w_512_0(<32 x i16> %v) {
#0:
  %#1 = x86_avx512_psrai_w_512 <32 x i16> %v, i32 0
  ret <32 x i16> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 75. InstCombinePass

----------------------------------------
define <32 x i16> @avx512_psrai_w_512_0(<32 x i16> %v) {
#0:
  %#1 = x86_avx512_psrai_w_512 <32 x i16> %v, i32 0
  ret <32 x i16> %#1
}
=>
define <32 x i16> @avx512_psrai_w_512_0(<32 x i16> %v) {
#0:
  ret <32 x i16> %v
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout

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' '-mtriple=x86_64-unknown-unknown' '-S' '-tv-smt-to=20000' '-tv-report-dir=/home/nlopes/alive2/build/logs' '-tv-smt-stats'

-- 76. PassManager<Function> : Skipping NOP
-- 77. PassManager<Function> : Skipping NOP
-- 78. InstCombinePass

----------------------------------------
define <32 x i16> @avx512_psrai_w_512_15(<32 x i16> %v) {
#0:
  %#1 = x86_avx512_psrai_w_512 <32 x i16> %v, i32 15
  ret <32 x i16> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 79. InstCombinePass

----------------------------------------
define <32 x i16> @avx512_psrai_w_512_15(<32 x i16> %v) {
#0:
  %#1 = x86_avx512_psrai_w_512 <32 x i16> %v, i32 15
  ret <32 x i16> %#1
}
=>
define <32 x i16> @avx512_psrai_w_512_15(<32 x i16> %v) {
#0:
  %#1 = ashr <32 x i16> %v, { 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15 }
  ret <32 x i16> %#1
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout

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' '-mtriple=x86_64-unknown-unknown' '-S' '-tv-smt-to=20000' '-tv-report-dir=/home/nlopes/alive2/build/logs' '-tv-smt-stats'

-- 80. PassManager<Function> : Skipping NOP
-- 81. PassManager<Function> : Skipping NOP
-- 82. InstCombinePass

----------------------------------------
define <32 x i16> @avx512_psrai_w_512_64(<32 x i16> %v) {
#0:
  %#1 = x86_avx512_psrai_w_512 <32 x i16> %v, i32 64
  ret <32 x i16> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 83. InstCombinePass

----------------------------------------
define <32 x i16> @avx512_psrai_w_512_64(<32 x i16> %v) {
#0:
  %#1 = x86_avx512_psrai_w_512 <32 x i16> %v, i32 64
  ret <32 x i16> %#1
}
=>
define <32 x i16> @avx512_psrai_w_512_64(<32 x i16> %v) {
#0:
  %#1 = ashr <32 x i16> %v, { 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15 }
  ret <32 x i16> %#1
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout

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' '-mtriple=x86_64-unknown-unknown' '-S' '-tv-smt-to=20000' '-tv-report-dir=/home/nlopes/alive2/build/logs' '-tv-smt-stats'

-- 84. PassManager<Function> : Skipping NOP
-- 85. PassManager<Function> : Skipping NOP
-- 86. InstCombinePass

----------------------------------------
define <16 x i32> @avx512_psrai_d_512_0(<16 x i32> %v) {
#0:
  %#1 = x86_avx512_psrai_d_512 <16 x i32> %v, i32 0
  ret <16 x i32> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 87. InstCombinePass

----------------------------------------
define <16 x i32> @avx512_psrai_d_512_0(<16 x i32> %v) {
#0:
  %#1 = x86_avx512_psrai_d_512 <16 x i32> %v, i32 0
  ret <16 x i32> %#1
}
=>
define <16 x i32> @avx512_psrai_d_512_0(<16 x i32> %v) {
#0:
  ret <16 x i32> %v
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout

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' '-mtriple=x86_64-unknown-unknown' '-S' '-tv-smt-to=20000' '-tv-report-dir=/home/nlopes/alive2/build/logs' '-tv-smt-stats'

-- 88. PassManager<Function> : Skipping NOP
-- 89. PassManager<Function> : Skipping NOP
-- 90. InstCombinePass

----------------------------------------
define <16 x i32> @avx512_psrai_d_512_15(<16 x i32> %v) {
#0:
  %#1 = x86_avx512_psrai_d_512 <16 x i32> %v, i32 15
  ret <16 x i32> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 91. InstCombinePass

----------------------------------------
define <16 x i32> @avx512_psrai_d_512_15(<16 x i32> %v) {
#0:
  %#1 = x86_avx512_psrai_d_512 <16 x i32> %v, i32 15
  ret <16 x i32> %#1
}
=>
define <16 x i32> @avx512_psrai_d_512_15(<16 x i32> %v) {
#0:
  %#1 = ashr <16 x i32> %v, { 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15 }
  ret <16 x i32> %#1
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout

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' '-mtriple=x86_64-unknown-unknown' '-S' '-tv-smt-to=20000' '-tv-report-dir=/home/nlopes/alive2/build/logs' '-tv-smt-stats'

-- 92. PassManager<Function> : Skipping NOP
-- 93. PassManager<Function> : Skipping NOP
-- 94. InstCombinePass

----------------------------------------
define <16 x i32> @avx512_psrai_d_512_64(<16 x i32> %v) {
#0:
  %#1 = x86_avx512_psrai_d_512 <16 x i32> %v, i32 64
  ret <16 x i32> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 95. InstCombinePass

----------------------------------------
define <16 x i32> @avx512_psrai_d_512_64(<16 x i32> %v) {
#0:
  %#1 = x86_avx512_psrai_d_512 <16 x i32> %v, i32 64
  ret <16 x i32> %#1
}
=>
define <16 x i32> @avx512_psrai_d_512_64(<16 x i32> %v) {
#0:
  %#1 = ashr <16 x i32> %v, { 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31 }
  ret <16 x i32> %#1
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout

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' '-mtriple=x86_64-unknown-unknown' '-S' '-tv-smt-to=20000' '-tv-report-dir=/home/nlopes/alive2/build/logs' '-tv-smt-stats'

-- 96. PassManager<Function> : Skipping NOP
-- 97. PassManager<Function> : Skipping NOP
-- 98. InstCombinePass

----------------------------------------
define <8 x i64> @avx512_psrai_q_512_0(<8 x i64> %v) {
#0:
  %#1 = x86_avx512_psrai_q_512 <8 x i64> %v, i32 0
  ret <8 x i64> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 99. InstCombinePass

----------------------------------------
define <8 x i64> @avx512_psrai_q_512_0(<8 x i64> %v) {
#0:
  %#1 = x86_avx512_psrai_q_512 <8 x i64> %v, i32 0
  ret <8 x i64> %#1
}
=>
define <8 x i64> @avx512_psrai_q_512_0(<8 x i64> %v) {
#0:
  ret <8 x i64> %v
}
Transformation seems to be correct!

-- 100. PassManager<Function> : Skipping NOP
-- 101. PassManager<Function> : Skipping NOP
-- 102. InstCombinePass

----------------------------------------
define <8 x i64> @avx512_psrai_q_512_15(<8 x i64> %v) {
#0:
  %#1 = x86_avx512_psrai_q_512 <8 x i64> %v, i32 15
  ret <8 x i64> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 103. InstCombinePass

----------------------------------------
define <8 x i64> @avx512_psrai_q_512_15(<8 x i64> %v) {
#0:
  %#1 = x86_avx512_psrai_q_512 <8 x i64> %v, i32 15
  ret <8 x i64> %#1
}
=>
define <8 x i64> @avx512_psrai_q_512_15(<8 x i64> %v) {
#0:
  %#1 = ashr <8 x i64> %v, { 15, 15, 15, 15, 15, 15, 15, 15 }
  ret <8 x i64> %#1
}
Transformation seems to be correct!

-- 104. PassManager<Function> : Skipping NOP
-- 105. PassManager<Function> : Skipping NOP
-- 106. InstCombinePass

----------------------------------------
define <8 x i64> @avx512_psrai_q_512_64(<8 x i64> %v) {
#0:
  %#1 = x86_avx512_psrai_q_512 <8 x i64> %v, i32 64
  ret <8 x i64> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 107. InstCombinePass

----------------------------------------
define <8 x i64> @avx512_psrai_q_512_64(<8 x i64> %v) {
#0:
  %#1 = x86_avx512_psrai_q_512 <8 x i64> %v, i32 64
  ret <8 x i64> %#1
}
=>
define <8 x i64> @avx512_psrai_q_512_64(<8 x i64> %v) {
#0:
  %#1 = ashr <8 x i64> %v, { 63, 63, 63, 63, 63, 63, 63, 63 }
  ret <8 x i64> %#1
}
Transformation seems to be correct!

-- 108. PassManager<Function> : Skipping NOP
-- 109. PassManager<Function> : Skipping NOP
-- 110. InstCombinePass

----------------------------------------
define <8 x i16> @sse2_psrli_w_0(<8 x i16> %v) {
#0:
  %#1 = x86_sse2_psrli_w <8 x i16> %v, i32 0
  ret <8 x i16> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 111. InstCombinePass

----------------------------------------
define <8 x i16> @sse2_psrli_w_0(<8 x i16> %v) {
#0:
  %#1 = x86_sse2_psrli_w <8 x i16> %v, i32 0
  ret <8 x i16> %#1
}
=>
define <8 x i16> @sse2_psrli_w_0(<8 x i16> %v) {
#0:
  ret <8 x i16> %v
}
Transformation seems to be correct!

-- 112. PassManager<Function> : Skipping NOP
-- 113. PassManager<Function> : Skipping NOP
-- 114. InstCombinePass

----------------------------------------
define <8 x i16> @sse2_psrli_w_15(<8 x i16> %v) {
#0:
  %#1 = x86_sse2_psrli_w <8 x i16> %v, i32 15
  ret <8 x i16> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 115. InstCombinePass

----------------------------------------
define <8 x i16> @sse2_psrli_w_15(<8 x i16> %v) {
#0:
  %#1 = x86_sse2_psrli_w <8 x i16> %v, i32 15
  ret <8 x i16> %#1
}
=>
define <8 x i16> @sse2_psrli_w_15(<8 x i16> %v) {
#0:
  %#1 = lshr <8 x i16> %v, { 15, 15, 15, 15, 15, 15, 15, 15 }
  ret <8 x i16> %#1
}
Transformation seems to be correct!

-- 116. PassManager<Function> : Skipping NOP
-- 117. PassManager<Function> : Skipping NOP
-- 118. InstCombinePass

----------------------------------------
define <8 x i16> @sse2_psrli_w_64(<8 x i16> %v) {
#0:
  %#1 = x86_sse2_psrli_w <8 x i16> %v, i32 64
  ret <8 x i16> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 119. InstCombinePass

----------------------------------------
define <8 x i16> @sse2_psrli_w_64(<8 x i16> %v) {
#0:
  %#1 = x86_sse2_psrli_w <8 x i16> %v, i32 64
  ret <8 x i16> %#1
}
=>
define <8 x i16> @sse2_psrli_w_64(<8 x i16> %v) {
#0:
  ret <8 x i16> { 0, 0, 0, 0, 0, 0, 0, 0 }
}
Transformation seems to be correct!

-- 120. PassManager<Function> : Skipping NOP
-- 121. PassManager<Function> : Skipping NOP
-- 122. InstCombinePass

----------------------------------------
define <4 x i32> @sse2_psrli_d_0(<4 x i32> %v) {
#0:
  %#1 = x86_sse2_psrli_d <4 x i32> %v, i32 0
  ret <4 x i32> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 123. InstCombinePass

----------------------------------------
define <4 x i32> @sse2_psrli_d_0(<4 x i32> %v) {
#0:
  %#1 = x86_sse2_psrli_d <4 x i32> %v, i32 0
  ret <4 x i32> %#1
}
=>
define <4 x i32> @sse2_psrli_d_0(<4 x i32> %v) {
#0:
  ret <4 x i32> %v
}
Transformation seems to be correct!

-- 124. PassManager<Function> : Skipping NOP
-- 125. PassManager<Function> : Skipping NOP
-- 126. InstCombinePass

----------------------------------------
define <4 x i32> @sse2_psrli_d_15(<4 x i32> %v) {
#0:
  %#1 = x86_sse2_psrli_d <4 x i32> %v, i32 15
  ret <4 x i32> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 127. InstCombinePass

----------------------------------------
define <4 x i32> @sse2_psrli_d_15(<4 x i32> %v) {
#0:
  %#1 = x86_sse2_psrli_d <4 x i32> %v, i32 15
  ret <4 x i32> %#1
}
=>
define <4 x i32> @sse2_psrli_d_15(<4 x i32> %v) {
#0:
  %#1 = lshr <4 x i32> %v, { 15, 15, 15, 15 }
  ret <4 x i32> %#1
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout

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' '-mtriple=x86_64-unknown-unknown' '-S' '-tv-smt-to=20000' '-tv-report-dir=/home/nlopes/alive2/build/logs' '-tv-smt-stats'

-- 128. PassManager<Function> : Skipping NOP
-- 129. PassManager<Function> : Skipping NOP
-- 130. InstCombinePass

----------------------------------------
define <4 x i32> @sse2_psrli_d_64(<4 x i32> %v) {
#0:
  %#1 = x86_sse2_psrli_d <4 x i32> %v, i32 64
  ret <4 x i32> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 131. InstCombinePass

----------------------------------------
define <4 x i32> @sse2_psrli_d_64(<4 x i32> %v) {
#0:
  %#1 = x86_sse2_psrli_d <4 x i32> %v, i32 64
  ret <4 x i32> %#1
}
=>
define <4 x i32> @sse2_psrli_d_64(<4 x i32> %v) {
#0:
  ret <4 x i32> { 0, 0, 0, 0 }
}
Transformation seems to be correct!

-- 132. PassManager<Function> : Skipping NOP
-- 133. PassManager<Function> : Skipping NOP
-- 134. InstCombinePass

----------------------------------------
define <2 x i64> @sse2_psrli_q_0(<2 x i64> %v) {
#0:
  %#1 = x86_sse2_psrli_q <2 x i64> %v, i32 0
  ret <2 x i64> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 135. InstCombinePass

----------------------------------------
define <2 x i64> @sse2_psrli_q_0(<2 x i64> %v) {
#0:
  %#1 = x86_sse2_psrli_q <2 x i64> %v, i32 0
  ret <2 x i64> %#1
}
=>
define <2 x i64> @sse2_psrli_q_0(<2 x i64> %v) {
#0:
  ret <2 x i64> %v
}
Transformation seems to be correct!

-- 136. PassManager<Function> : Skipping NOP
-- 137. PassManager<Function> : Skipping NOP
-- 138. InstCombinePass

----------------------------------------
define <2 x i64> @sse2_psrli_q_15(<2 x i64> %v) {
#0:
  %#1 = x86_sse2_psrli_q <2 x i64> %v, i32 15
  ret <2 x i64> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 139. InstCombinePass

----------------------------------------
define <2 x i64> @sse2_psrli_q_15(<2 x i64> %v) {
#0:
  %#1 = x86_sse2_psrli_q <2 x i64> %v, i32 15
  ret <2 x i64> %#1
}
=>
define <2 x i64> @sse2_psrli_q_15(<2 x i64> %v) {
#0:
  %#1 = lshr <2 x i64> %v, { 15, 15 }
  ret <2 x i64> %#1
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout

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' '-mtriple=x86_64-unknown-unknown' '-S' '-tv-smt-to=20000' '-tv-report-dir=/home/nlopes/alive2/build/logs' '-tv-smt-stats'

-- 140. PassManager<Function> : Skipping NOP
-- 141. PassManager<Function> : Skipping NOP
-- 142. InstCombinePass

----------------------------------------
define <2 x i64> @sse2_psrli_q_64(<2 x i64> %v) {
#0:
  %#1 = x86_sse2_psrli_q <2 x i64> %v, i32 64
  ret <2 x i64> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 143. InstCombinePass

----------------------------------------
define <2 x i64> @sse2_psrli_q_64(<2 x i64> %v) {
#0:
  %#1 = x86_sse2_psrli_q <2 x i64> %v, i32 64
  ret <2 x i64> %#1
}
=>
define <2 x i64> @sse2_psrli_q_64(<2 x i64> %v) {
#0:
  ret <2 x i64> { 0, 0 }
}
Transformation seems to be correct!

-- 144. PassManager<Function> : Skipping NOP
-- 145. PassManager<Function> : Skipping NOP
-- 146. InstCombinePass

----------------------------------------
define <16 x i16> @avx2_psrli_w_0(<16 x i16> %v) {
#0:
  %#1 = x86_avx2_psrli_w <16 x i16> %v, i32 0
  ret <16 x i16> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 147. InstCombinePass

----------------------------------------
define <16 x i16> @avx2_psrli_w_0(<16 x i16> %v) {
#0:
  %#1 = x86_avx2_psrli_w <16 x i16> %v, i32 0
  ret <16 x i16> %#1
}
=>
define <16 x i16> @avx2_psrli_w_0(<16 x i16> %v) {
#0:
  ret <16 x i16> %v
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout

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' '-mtriple=x86_64-unknown-unknown' '-S' '-tv-smt-to=20000' '-tv-report-dir=/home/nlopes/alive2/build/logs' '-tv-smt-stats'

-- 148. PassManager<Function> : Skipping NOP
-- 149. PassManager<Function> : Skipping NOP
-- 150. InstCombinePass

----------------------------------------
define <16 x i16> @avx2_psrli_w_15(<16 x i16> %v) {
#0:
  %#1 = x86_avx2_psrli_w <16 x i16> %v, i32 15
  ret <16 x i16> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 151. InstCombinePass

----------------------------------------
define <16 x i16> @avx2_psrli_w_15(<16 x i16> %v) {
#0:
  %#1 = x86_avx2_psrli_w <16 x i16> %v, i32 15
  ret <16 x i16> %#1
}
=>
define <16 x i16> @avx2_psrli_w_15(<16 x i16> %v) {
#0:
  %#1 = lshr <16 x i16> %v, { 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15 }
  ret <16 x i16> %#1
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout

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' '-mtriple=x86_64-unknown-unknown' '-S' '-tv-smt-to=20000' '-tv-report-dir=/home/nlopes/alive2/build/logs' '-tv-smt-stats'

-- 152. PassManager<Function> : Skipping NOP
-- 153. PassManager<Function> : Skipping NOP
-- 154. InstCombinePass

----------------------------------------
define <16 x i16> @avx2_psrli_w_64(<16 x i16> %v) {
#0:
  %#1 = x86_avx2_psrli_w <16 x i16> %v, i32 64
  ret <16 x i16> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 155. InstCombinePass

----------------------------------------
define <16 x i16> @avx2_psrli_w_64(<16 x i16> %v) {
#0:
  %#1 = x86_avx2_psrli_w <16 x i16> %v, i32 64
  ret <16 x i16> %#1
}
=>
define <16 x i16> @avx2_psrli_w_64(<16 x i16> %v) {
#0:
  ret <16 x i16> { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 }
}
Transformation seems to be correct!

-- 156. PassManager<Function> : Skipping NOP
-- 157. PassManager<Function> : Skipping NOP
-- 158. InstCombinePass

----------------------------------------
define <8 x i32> @avx2_psrli_d_0(<8 x i32> %v) {
#0:
  %#1 = x86_avx2_psrli_d <8 x i32> %v, i32 0
  ret <8 x i32> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 159. InstCombinePass

----------------------------------------
define <8 x i32> @avx2_psrli_d_0(<8 x i32> %v) {
#0:
  %#1 = x86_avx2_psrli_d <8 x i32> %v, i32 0
  ret <8 x i32> %#1
}
=>
define <8 x i32> @avx2_psrli_d_0(<8 x i32> %v) {
#0:
  ret <8 x i32> %v
}
Transformation seems to be correct!

-- 160. PassManager<Function> : Skipping NOP
-- 161. PassManager<Function> : Skipping NOP
-- 162. InstCombinePass

----------------------------------------
define <8 x i32> @avx2_psrli_d_15(<8 x i32> %v) {
#0:
  %#1 = x86_avx2_psrli_d <8 x i32> %v, i32 15
  ret <8 x i32> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 163. InstCombinePass

----------------------------------------
define <8 x i32> @avx2_psrli_d_15(<8 x i32> %v) {
#0:
  %#1 = x86_avx2_psrli_d <8 x i32> %v, i32 15
  ret <8 x i32> %#1
}
=>
define <8 x i32> @avx2_psrli_d_15(<8 x i32> %v) {
#0:
  %#1 = lshr <8 x i32> %v, { 15, 15, 15, 15, 15, 15, 15, 15 }
  ret <8 x i32> %#1
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout

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' '-mtriple=x86_64-unknown-unknown' '-S' '-tv-smt-to=20000' '-tv-report-dir=/home/nlopes/alive2/build/logs' '-tv-smt-stats'

-- 164. PassManager<Function> : Skipping NOP
-- 165. PassManager<Function> : Skipping NOP
-- 166. InstCombinePass

----------------------------------------
define <8 x i32> @avx2_psrli_d_64(<8 x i32> %v) {
#0:
  %#1 = x86_avx2_psrli_d <8 x i32> %v, i32 64
  ret <8 x i32> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 167. InstCombinePass

----------------------------------------
define <8 x i32> @avx2_psrli_d_64(<8 x i32> %v) {
#0:
  %#1 = x86_avx2_psrli_d <8 x i32> %v, i32 64
  ret <8 x i32> %#1
}
=>
define <8 x i32> @avx2_psrli_d_64(<8 x i32> %v) {
#0:
  ret <8 x i32> { 0, 0, 0, 0, 0, 0, 0, 0 }
}
Transformation seems to be correct!

-- 168. PassManager<Function> : Skipping NOP
-- 169. PassManager<Function> : Skipping NOP
-- 170. InstCombinePass

----------------------------------------
define <4 x i64> @avx2_psrli_q_0(<4 x i64> %v) {
#0:
  %#1 = x86_avx2_psrli_q <4 x i64> %v, i32 0
  ret <4 x i64> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 171. InstCombinePass

----------------------------------------
define <4 x i64> @avx2_psrli_q_0(<4 x i64> %v) {
#0:
  %#1 = x86_avx2_psrli_q <4 x i64> %v, i32 0
  ret <4 x i64> %#1
}
=>
define <4 x i64> @avx2_psrli_q_0(<4 x i64> %v) {
#0:
  ret <4 x i64> %v
}
Transformation seems to be correct!

-- 172. PassManager<Function> : Skipping NOP
-- 173. PassManager<Function> : Skipping NOP
-- 174. InstCombinePass

----------------------------------------
define <4 x i64> @avx2_psrli_q_15(<4 x i64> %v) {
#0:
  %#1 = x86_avx2_psrli_q <4 x i64> %v, i32 15
  ret <4 x i64> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 175. InstCombinePass

----------------------------------------
define <4 x i64> @avx2_psrli_q_15(<4 x i64> %v) {
#0:
  %#1 = x86_avx2_psrli_q <4 x i64> %v, i32 15
  ret <4 x i64> %#1
}
=>
define <4 x i64> @avx2_psrli_q_15(<4 x i64> %v) {
#0:
  %#1 = lshr <4 x i64> %v, { 15, 15, 15, 15 }
  ret <4 x i64> %#1
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout

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' '-mtriple=x86_64-unknown-unknown' '-S' '-tv-smt-to=20000' '-tv-report-dir=/home/nlopes/alive2/build/logs' '-tv-smt-stats'

-- 176. PassManager<Function> : Skipping NOP
-- 177. PassManager<Function> : Skipping NOP
-- 178. InstCombinePass

----------------------------------------
define <4 x i64> @avx2_psrli_q_64(<4 x i64> %v) {
#0:
  %#1 = x86_avx2_psrli_q <4 x i64> %v, i32 64
  ret <4 x i64> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 179. InstCombinePass

----------------------------------------
define <4 x i64> @avx2_psrli_q_64(<4 x i64> %v) {
#0:
  %#1 = x86_avx2_psrli_q <4 x i64> %v, i32 64
  ret <4 x i64> %#1
}
=>
define <4 x i64> @avx2_psrli_q_64(<4 x i64> %v) {
#0:
  ret <4 x i64> { 0, 0, 0, 0 }
}
Transformation seems to be correct!

-- 180. PassManager<Function> : Skipping NOP
-- 181. PassManager<Function> : Skipping NOP
-- 182. InstCombinePass

----------------------------------------
define <32 x i16> @avx512_psrli_w_512_0(<32 x i16> %v) {
#0:
  %#1 = x86_avx512_psrli_w_512 <32 x i16> %v, i32 0
  ret <32 x i16> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 183. InstCombinePass

----------------------------------------
define <32 x i16> @avx512_psrli_w_512_0(<32 x i16> %v) {
#0:
  %#1 = x86_avx512_psrli_w_512 <32 x i16> %v, i32 0
  ret <32 x i16> %#1
}
=>
define <32 x i16> @avx512_psrli_w_512_0(<32 x i16> %v) {
#0:
  ret <32 x i16> %v
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout

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' '-mtriple=x86_64-unknown-unknown' '-S' '-tv-smt-to=20000' '-tv-report-dir=/home/nlopes/alive2/build/logs' '-tv-smt-stats'

-- 184. PassManager<Function> : Skipping NOP
-- 185. PassManager<Function> : Skipping NOP
-- 186. InstCombinePass

----------------------------------------
define <32 x i16> @avx512_psrli_w_512_15(<32 x i16> %v) {
#0:
  %#1 = x86_avx512_psrli_w_512 <32 x i16> %v, i32 15
  ret <32 x i16> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 187. InstCombinePass

----------------------------------------
define <32 x i16> @avx512_psrli_w_512_15(<32 x i16> %v) {
#0:
  %#1 = x86_avx512_psrli_w_512 <32 x i16> %v, i32 15
  ret <32 x i16> %#1
}
=>
define <32 x i16> @avx512_psrli_w_512_15(<32 x i16> %v) {
#0:
  %#1 = lshr <32 x i16> %v, { 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15 }
  ret <32 x i16> %#1
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout

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' '-mtriple=x86_64-unknown-unknown' '-S' '-tv-smt-to=20000' '-tv-report-dir=/home/nlopes/alive2/build/logs' '-tv-smt-stats'

-- 188. PassManager<Function> : Skipping NOP
-- 189. PassManager<Function> : Skipping NOP
-- 190. InstCombinePass

----------------------------------------
define <32 x i16> @avx512_psrli_w_512_64(<32 x i16> %v) {
#0:
  %#1 = x86_avx512_psrli_w_512 <32 x i16> %v, i32 64
  ret <32 x i16> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 191. InstCombinePass

----------------------------------------
define <32 x i16> @avx512_psrli_w_512_64(<32 x i16> %v) {
#0:
  %#1 = x86_avx512_psrli_w_512 <32 x i16> %v, i32 64
  ret <32 x i16> %#1
}
=>
define <32 x i16> @avx512_psrli_w_512_64(<32 x i16> %v) {
#0:
  ret <32 x i16> { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 }
}
Transformation seems to be correct!

-- 192. PassManager<Function> : Skipping NOP
-- 193. PassManager<Function> : Skipping NOP
-- 194. InstCombinePass

----------------------------------------
define <16 x i32> @avx512_psrli_d_512_0(<16 x i32> %v) {
#0:
  %#1 = x86_avx512_psrli_d_512 <16 x i32> %v, i32 0
  ret <16 x i32> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 195. InstCombinePass

----------------------------------------
define <16 x i32> @avx512_psrli_d_512_0(<16 x i32> %v) {
#0:
  %#1 = x86_avx512_psrli_d_512 <16 x i32> %v, i32 0
  ret <16 x i32> %#1
}
=>
define <16 x i32> @avx512_psrli_d_512_0(<16 x i32> %v) {
#0:
  ret <16 x i32> %v
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout

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' '-mtriple=x86_64-unknown-unknown' '-S' '-tv-smt-to=20000' '-tv-report-dir=/home/nlopes/alive2/build/logs' '-tv-smt-stats'

-- 196. PassManager<Function> : Skipping NOP
-- 197. PassManager<Function> : Skipping NOP
-- 198. InstCombinePass

----------------------------------------
define <16 x i32> @avx512_psrli_d_512_15(<16 x i32> %v) {
#0:
  %#1 = x86_avx512_psrli_d_512 <16 x i32> %v, i32 15
  ret <16 x i32> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 199. InstCombinePass

----------------------------------------
define <16 x i32> @avx512_psrli_d_512_15(<16 x i32> %v) {
#0:
  %#1 = x86_avx512_psrli_d_512 <16 x i32> %v, i32 15
  ret <16 x i32> %#1
}
=>
define <16 x i32> @avx512_psrli_d_512_15(<16 x i32> %v) {
#0:
  %#1 = lshr <16 x i32> %v, { 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15 }
  ret <16 x i32> %#1
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout

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' '-mtriple=x86_64-unknown-unknown' '-S' '-tv-smt-to=20000' '-tv-report-dir=/home/nlopes/alive2/build/logs' '-tv-smt-stats'

-- 200. PassManager<Function> : Skipping NOP
-- 201. PassManager<Function> : Skipping NOP
-- 202. InstCombinePass

----------------------------------------
define <16 x i32> @avx512_psrli_d_512_64(<16 x i32> %v) {
#0:
  %#1 = x86_avx512_psrli_d_512 <16 x i32> %v, i32 64
  ret <16 x i32> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 203. InstCombinePass

----------------------------------------
define <16 x i32> @avx512_psrli_d_512_64(<16 x i32> %v) {
#0:
  %#1 = x86_avx512_psrli_d_512 <16 x i32> %v, i32 64
  ret <16 x i32> %#1
}
=>
define <16 x i32> @avx512_psrli_d_512_64(<16 x i32> %v) {
#0:
  ret <16 x i32> { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 }
}
Transformation seems to be correct!

-- 204. PassManager<Function> : Skipping NOP
-- 205. PassManager<Function> : Skipping NOP
-- 206. InstCombinePass

----------------------------------------
define <8 x i64> @avx512_psrli_q_512_0(<8 x i64> %v) {
#0:
  %#1 = x86_avx512_psrli_q_512 <8 x i64> %v, i32 0
  ret <8 x i64> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 207. InstCombinePass

----------------------------------------
define <8 x i64> @avx512_psrli_q_512_0(<8 x i64> %v) {
#0:
  %#1 = x86_avx512_psrli_q_512 <8 x i64> %v, i32 0
  ret <8 x i64> %#1
}
=>
define <8 x i64> @avx512_psrli_q_512_0(<8 x i64> %v) {
#0:
  ret <8 x i64> %v
}
Transformation seems to be correct!

-- 208. PassManager<Function> : Skipping NOP
-- 209. PassManager<Function> : Skipping NOP
-- 210. InstCombinePass

----------------------------------------
define <8 x i64> @avx512_psrli_q_512_15(<8 x i64> %v) {
#0:
  %#1 = x86_avx512_psrli_q_512 <8 x i64> %v, i32 15
  ret <8 x i64> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 211. InstCombinePass

----------------------------------------
define <8 x i64> @avx512_psrli_q_512_15(<8 x i64> %v) {
#0:
  %#1 = x86_avx512_psrli_q_512 <8 x i64> %v, i32 15
  ret <8 x i64> %#1
}
=>
define <8 x i64> @avx512_psrli_q_512_15(<8 x i64> %v) {
#0:
  %#1 = lshr <8 x i64> %v, { 15, 15, 15, 15, 15, 15, 15, 15 }
  ret <8 x i64> %#1
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout

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' '-mtriple=x86_64-unknown-unknown' '-S' '-tv-smt-to=20000' '-tv-report-dir=/home/nlopes/alive2/build/logs' '-tv-smt-stats'

-- 212. PassManager<Function> : Skipping NOP
-- 213. PassManager<Function> : Skipping NOP
-- 214. InstCombinePass

----------------------------------------
define <8 x i64> @avx512_psrli_q_512_64(<8 x i64> %v) {
#0:
  %#1 = x86_avx512_psrli_q_512 <8 x i64> %v, i32 64
  ret <8 x i64> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 215. InstCombinePass

----------------------------------------
define <8 x i64> @avx512_psrli_q_512_64(<8 x i64> %v) {
#0:
  %#1 = x86_avx512_psrli_q_512 <8 x i64> %v, i32 64
  ret <8 x i64> %#1
}
=>
define <8 x i64> @avx512_psrli_q_512_64(<8 x i64> %v) {
#0:
  ret <8 x i64> { 0, 0, 0, 0, 0, 0, 0, 0 }
}
Transformation seems to be correct!

-- 216. PassManager<Function> : Skipping NOP
-- 217. PassManager<Function> : Skipping NOP
-- 218. InstCombinePass

----------------------------------------
define <8 x i16> @sse2_pslli_w_0(<8 x i16> %v) {
#0:
  %#1 = x86_sse2_pslli_w <8 x i16> %v, i32 0
  ret <8 x i16> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 219. InstCombinePass

----------------------------------------
define <8 x i16> @sse2_pslli_w_0(<8 x i16> %v) {
#0:
  %#1 = x86_sse2_pslli_w <8 x i16> %v, i32 0
  ret <8 x i16> %#1
}
=>
define <8 x i16> @sse2_pslli_w_0(<8 x i16> %v) {
#0:
  ret <8 x i16> %v
}
Transformation seems to be correct!

-- 220. PassManager<Function> : Skipping NOP
-- 221. PassManager<Function> : Skipping NOP
-- 222. InstCombinePass

----------------------------------------
define <8 x i16> @sse2_pslli_w_15(<8 x i16> %v) {
#0:
  %#1 = x86_sse2_pslli_w <8 x i16> %v, i32 15
  ret <8 x i16> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 223. InstCombinePass

----------------------------------------
define <8 x i16> @sse2_pslli_w_15(<8 x i16> %v) {
#0:
  %#1 = x86_sse2_pslli_w <8 x i16> %v, i32 15
  ret <8 x i16> %#1
}
=>
define <8 x i16> @sse2_pslli_w_15(<8 x i16> %v) {
#0:
  %#1 = shl <8 x i16> %v, { 15, 15, 15, 15, 15, 15, 15, 15 }
  ret <8 x i16> %#1
}
Transformation seems to be correct!

-- 224. PassManager<Function> : Skipping NOP
-- 225. PassManager<Function> : Skipping NOP
-- 226. InstCombinePass

----------------------------------------
define <8 x i16> @sse2_pslli_w_64(<8 x i16> %v) {
#0:
  %#1 = x86_sse2_pslli_w <8 x i16> %v, i32 64
  ret <8 x i16> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 227. InstCombinePass

----------------------------------------
define <8 x i16> @sse2_pslli_w_64(<8 x i16> %v) {
#0:
  %#1 = x86_sse2_pslli_w <8 x i16> %v, i32 64
  ret <8 x i16> %#1
}
=>
define <8 x i16> @sse2_pslli_w_64(<8 x i16> %v) {
#0:
  ret <8 x i16> { 0, 0, 0, 0, 0, 0, 0, 0 }
}
Transformation seems to be correct!

-- 228. PassManager<Function> : Skipping NOP
-- 229. PassManager<Function> : Skipping NOP
-- 230. InstCombinePass

----------------------------------------
define <4 x i32> @sse2_pslli_d_0(<4 x i32> %v) {
#0:
  %#1 = x86_sse2_pslli_d <4 x i32> %v, i32 0
  ret <4 x i32> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 231. InstCombinePass

----------------------------------------
define <4 x i32> @sse2_pslli_d_0(<4 x i32> %v) {
#0:
  %#1 = x86_sse2_pslli_d <4 x i32> %v, i32 0
  ret <4 x i32> %#1
}
=>
define <4 x i32> @sse2_pslli_d_0(<4 x i32> %v) {
#0:
  ret <4 x i32> %v
}
Transformation seems to be correct!

-- 232. PassManager<Function> : Skipping NOP
-- 233. PassManager<Function> : Skipping NOP
-- 234. InstCombinePass

----------------------------------------
define <4 x i32> @sse2_pslli_d_15(<4 x i32> %v) {
#0:
  %#1 = x86_sse2_pslli_d <4 x i32> %v, i32 15
  ret <4 x i32> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 235. InstCombinePass

----------------------------------------
define <4 x i32> @sse2_pslli_d_15(<4 x i32> %v) {
#0:
  %#1 = x86_sse2_pslli_d <4 x i32> %v, i32 15
  ret <4 x i32> %#1
}
=>
define <4 x i32> @sse2_pslli_d_15(<4 x i32> %v) {
#0:
  %#1 = shl <4 x i32> %v, { 15, 15, 15, 15 }
  ret <4 x i32> %#1
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout

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' '-mtriple=x86_64-unknown-unknown' '-S' '-tv-smt-to=20000' '-tv-report-dir=/home/nlopes/alive2/build/logs' '-tv-smt-stats'

-- 236. PassManager<Function> : Skipping NOP
-- 237. PassManager<Function> : Skipping NOP
-- 238. InstCombinePass

----------------------------------------
define <4 x i32> @sse2_pslli_d_64(<4 x i32> %v) {
#0:
  %#1 = x86_sse2_pslli_d <4 x i32> %v, i32 64
  ret <4 x i32> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 239. InstCombinePass

----------------------------------------
define <4 x i32> @sse2_pslli_d_64(<4 x i32> %v) {
#0:
  %#1 = x86_sse2_pslli_d <4 x i32> %v, i32 64
  ret <4 x i32> %#1
}
=>
define <4 x i32> @sse2_pslli_d_64(<4 x i32> %v) {
#0:
  ret <4 x i32> { 0, 0, 0, 0 }
}
Transformation seems to be correct!

-- 240. PassManager<Function> : Skipping NOP
-- 241. PassManager<Function> : Skipping NOP
-- 242. InstCombinePass

----------------------------------------
define <2 x i64> @sse2_pslli_q_0(<2 x i64> %v) {
#0:
  %#1 = x86_sse2_pslli_q <2 x i64> %v, i32 0
  ret <2 x i64> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 243. InstCombinePass

----------------------------------------
define <2 x i64> @sse2_pslli_q_0(<2 x i64> %v) {
#0:
  %#1 = x86_sse2_pslli_q <2 x i64> %v, i32 0
  ret <2 x i64> %#1
}
=>
define <2 x i64> @sse2_pslli_q_0(<2 x i64> %v) {
#0:
  ret <2 x i64> %v
}
Transformation seems to be correct!

-- 244. PassManager<Function> : Skipping NOP
-- 245. PassManager<Function> : Skipping NOP
-- 246. InstCombinePass

----------------------------------------
define <2 x i64> @sse2_pslli_q_15(<2 x i64> %v) {
#0:
  %#1 = x86_sse2_pslli_q <2 x i64> %v, i32 15
  ret <2 x i64> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 247. InstCombinePass

----------------------------------------
define <2 x i64> @sse2_pslli_q_15(<2 x i64> %v) {
#0:
  %#1 = x86_sse2_pslli_q <2 x i64> %v, i32 15
  ret <2 x i64> %#1
}
=>
define <2 x i64> @sse2_pslli_q_15(<2 x i64> %v) {
#0:
  %#1 = shl <2 x i64> %v, { 15, 15 }
  ret <2 x i64> %#1
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout

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' '-mtriple=x86_64-unknown-unknown' '-S' '-tv-smt-to=20000' '-tv-report-dir=/home/nlopes/alive2/build/logs' '-tv-smt-stats'

-- 248. PassManager<Function> : Skipping NOP
-- 249. PassManager<Function> : Skipping NOP
-- 250. InstCombinePass

----------------------------------------
define <2 x i64> @sse2_pslli_q_64(<2 x i64> %v) {
#0:
  %#1 = x86_sse2_pslli_q <2 x i64> %v, i32 64
  ret <2 x i64> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 251. InstCombinePass

----------------------------------------
define <2 x i64> @sse2_pslli_q_64(<2 x i64> %v) {
#0:
  %#1 = x86_sse2_pslli_q <2 x i64> %v, i32 64
  ret <2 x i64> %#1
}
=>
define <2 x i64> @sse2_pslli_q_64(<2 x i64> %v) {
#0:
  ret <2 x i64> { 0, 0 }
}
Transformation seems to be correct!

-- 252. PassManager<Function> : Skipping NOP
-- 253. PassManager<Function> : Skipping NOP
-- 254. InstCombinePass

----------------------------------------
define <16 x i16> @avx2_pslli_w_0(<16 x i16> %v) {
#0:
  %#1 = x86_avx2_pslli_w <16 x i16> %v, i32 0
  ret <16 x i16> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 255. InstCombinePass

----------------------------------------
define <16 x i16> @avx2_pslli_w_0(<16 x i16> %v) {
#0:
  %#1 = x86_avx2_pslli_w <16 x i16> %v, i32 0
  ret <16 x i16> %#1
}
=>
define <16 x i16> @avx2_pslli_w_0(<16 x i16> %v) {
#0:
  ret <16 x i16> %v
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout

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' '-mtriple=x86_64-unknown-unknown' '-S' '-tv-smt-to=20000' '-tv-report-dir=/home/nlopes/alive2/build/logs' '-tv-smt-stats'

-- 256. PassManager<Function> : Skipping NOP
-- 257. PassManager<Function> : Skipping NOP
-- 258. InstCombinePass

----------------------------------------
define <16 x i16> @avx2_pslli_w_15(<16 x i16> %v) {
#0:
  %#1 = x86_avx2_pslli_w <16 x i16> %v, i32 15
  ret <16 x i16> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 259. InstCombinePass

----------------------------------------
define <16 x i16> @avx2_pslli_w_15(<16 x i16> %v) {
#0:
  %#1 = x86_avx2_pslli_w <16 x i16> %v, i32 15
  ret <16 x i16> %#1
}
=>
define <16 x i16> @avx2_pslli_w_15(<16 x i16> %v) {
#0:
  %#1 = shl <16 x i16> %v, { 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15 }
  ret <16 x i16> %#1
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout

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' '-mtriple=x86_64-unknown-unknown' '-S' '-tv-smt-to=20000' '-tv-report-dir=/home/nlopes/alive2/build/logs' '-tv-smt-stats'

-- 260. PassManager<Function> : Skipping NOP
-- 261. PassManager<Function> : Skipping NOP
-- 262. InstCombinePass

----------------------------------------
define <16 x i16> @avx2_pslli_w_64(<16 x i16> %v) {
#0:
  %#1 = x86_avx2_pslli_w <16 x i16> %v, i32 64
  ret <16 x i16> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 263. InstCombinePass

----------------------------------------
define <16 x i16> @avx2_pslli_w_64(<16 x i16> %v) {
#0:
  %#1 = x86_avx2_pslli_w <16 x i16> %v, i32 64
  ret <16 x i16> %#1
}
=>
define <16 x i16> @avx2_pslli_w_64(<16 x i16> %v) {
#0:
  ret <16 x i16> { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 }
}
Transformation seems to be correct!

-- 264. PassManager<Function> : Skipping NOP
-- 265. PassManager<Function> : Skipping NOP
-- 266. InstCombinePass

----------------------------------------
define <8 x i32> @avx2_pslli_d_0(<8 x i32> %v) {
#0:
  %#1 = x86_avx2_pslli_d <8 x i32> %v, i32 0
  ret <8 x i32> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 267. InstCombinePass

----------------------------------------
define <8 x i32> @avx2_pslli_d_0(<8 x i32> %v) {
#0:
  %#1 = x86_avx2_pslli_d <8 x i32> %v, i32 0
  ret <8 x i32> %#1
}
=>
define <8 x i32> @avx2_pslli_d_0(<8 x i32> %v) {
#0:
  ret <8 x i32> %v
}
Transformation seems to be correct!

-- 268. PassManager<Function> : Skipping NOP
-- 269. PassManager<Function> : Skipping NOP
-- 270. InstCombinePass

----------------------------------------
define <8 x i32> @avx2_pslli_d_15(<8 x i32> %v) {
#0:
  %#1 = x86_avx2_pslli_d <8 x i32> %v, i32 15
  ret <8 x i32> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 271. InstCombinePass

----------------------------------------
define <8 x i32> @avx2_pslli_d_15(<8 x i32> %v) {
#0:
  %#1 = x86_avx2_pslli_d <8 x i32> %v, i32 15
  ret <8 x i32> %#1
}
=>
define <8 x i32> @avx2_pslli_d_15(<8 x i32> %v) {
#0:
  %#1 = shl <8 x i32> %v, { 15, 15, 15, 15, 15, 15, 15, 15 }
  ret <8 x i32> %#1
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout

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' '-mtriple=x86_64-unknown-unknown' '-S' '-tv-smt-to=20000' '-tv-report-dir=/home/nlopes/alive2/build/logs' '-tv-smt-stats'

-- 272. PassManager<Function> : Skipping NOP
-- 273. PassManager<Function> : Skipping NOP
-- 274. InstCombinePass

----------------------------------------
define <8 x i32> @avx2_pslli_d_64(<8 x i32> %v) {
#0:
  %#1 = x86_avx2_pslli_d <8 x i32> %v, i32 64
  ret <8 x i32> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 275. InstCombinePass

----------------------------------------
define <8 x i32> @avx2_pslli_d_64(<8 x i32> %v) {
#0:
  %#1 = x86_avx2_pslli_d <8 x i32> %v, i32 64
  ret <8 x i32> %#1
}
=>
define <8 x i32> @avx2_pslli_d_64(<8 x i32> %v) {
#0:
  ret <8 x i32> { 0, 0, 0, 0, 0, 0, 0, 0 }
}
Transformation seems to be correct!

-- 276. PassManager<Function> : Skipping NOP
-- 277. PassManager<Function> : Skipping NOP
-- 278. InstCombinePass

----------------------------------------
define <4 x i64> @avx2_pslli_q_0(<4 x i64> %v) {
#0:
  %#1 = x86_avx2_pslli_q <4 x i64> %v, i32 0
  ret <4 x i64> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 279. InstCombinePass

----------------------------------------
define <4 x i64> @avx2_pslli_q_0(<4 x i64> %v) {
#0:
  %#1 = x86_avx2_pslli_q <4 x i64> %v, i32 0
  ret <4 x i64> %#1
}
=>
define <4 x i64> @avx2_pslli_q_0(<4 x i64> %v) {
#0:
  ret <4 x i64> %v
}
Transformation seems to be correct!

-- 280. PassManager<Function> : Skipping NOP
-- 281. PassManager<Function> : Skipping NOP
-- 282. InstCombinePass

----------------------------------------
define <4 x i64> @avx2_pslli_q_15(<4 x i64> %v) {
#0:
  %#1 = x86_avx2_pslli_q <4 x i64> %v, i32 15
  ret <4 x i64> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 283. InstCombinePass

----------------------------------------
define <4 x i64> @avx2_pslli_q_15(<4 x i64> %v) {
#0:
  %#1 = x86_avx2_pslli_q <4 x i64> %v, i32 15
  ret <4 x i64> %#1
}
=>
define <4 x i64> @avx2_pslli_q_15(<4 x i64> %v) {
#0:
  %#1 = shl <4 x i64> %v, { 15, 15, 15, 15 }
  ret <4 x i64> %#1
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout

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' '-mtriple=x86_64-unknown-unknown' '-S' '-tv-smt-to=20000' '-tv-report-dir=/home/nlopes/alive2/build/logs' '-tv-smt-stats'

-- 284. PassManager<Function> : Skipping NOP
-- 285. PassManager<Function> : Skipping NOP
-- 286. InstCombinePass

----------------------------------------
define <4 x i64> @avx2_pslli_q_64(<4 x i64> %v) {
#0:
  %#1 = x86_avx2_pslli_q <4 x i64> %v, i32 64
  ret <4 x i64> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 287. InstCombinePass

----------------------------------------
define <4 x i64> @avx2_pslli_q_64(<4 x i64> %v) {
#0:
  %#1 = x86_avx2_pslli_q <4 x i64> %v, i32 64
  ret <4 x i64> %#1
}
=>
define <4 x i64> @avx2_pslli_q_64(<4 x i64> %v) {
#0:
  ret <4 x i64> { 0, 0, 0, 0 }
}
Transformation seems to be correct!

-- 288. PassManager<Function> : Skipping NOP
-- 289. PassManager<Function> : Skipping NOP
-- 290. InstCombinePass

----------------------------------------
define <32 x i16> @avx512_pslli_w_512_0(<32 x i16> %v) {
#0:
  %#1 = x86_avx512_pslli_w_512 <32 x i16> %v, i32 0
  ret <32 x i16> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 291. InstCombinePass

----------------------------------------
define <32 x i16> @avx512_pslli_w_512_0(<32 x i16> %v) {
#0:
  %#1 = x86_avx512_pslli_w_512 <32 x i16> %v, i32 0
  ret <32 x i16> %#1
}
=>
define <32 x i16> @avx512_pslli_w_512_0(<32 x i16> %v) {
#0:
  ret <32 x i16> %v
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout

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' '-mtriple=x86_64-unknown-unknown' '-S' '-tv-smt-to=20000' '-tv-report-dir=/home/nlopes/alive2/build/logs' '-tv-smt-stats'

-- 292. PassManager<Function> : Skipping NOP
-- 293. PassManager<Function> : Skipping NOP
-- 294. InstCombinePass

----------------------------------------
define <32 x i16> @avx512_pslli_w_512_15(<32 x i16> %v) {
#0:
  %#1 = x86_avx512_pslli_w_512 <32 x i16> %v, i32 15
  ret <32 x i16> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 295. InstCombinePass

----------------------------------------
define <32 x i16> @avx512_pslli_w_512_15(<32 x i16> %v) {
#0:
  %#1 = x86_avx512_pslli_w_512 <32 x i16> %v, i32 15
  ret <32 x i16> %#1
}
=>
define <32 x i16> @avx512_pslli_w_512_15(<32 x i16> %v) {
#0:
  %#1 = shl <32 x i16> %v, { 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15 }
  ret <32 x i16> %#1
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout

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' '-mtriple=x86_64-unknown-unknown' '-S' '-tv-smt-to=20000' '-tv-report-dir=/home/nlopes/alive2/build/logs' '-tv-smt-stats'

-- 296. PassManager<Function> : Skipping NOP
-- 297. PassManager<Function> : Skipping NOP
-- 298. InstCombinePass

----------------------------------------
define <32 x i16> @avx512_pslli_w_512_64(<32 x i16> %v) {
#0:
  %#1 = x86_avx512_pslli_w_512 <32 x i16> %v, i32 64
  ret <32 x i16> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 299. InstCombinePass

----------------------------------------
define <32 x i16> @avx512_pslli_w_512_64(<32 x i16> %v) {
#0:
  %#1 = x86_avx512_pslli_w_512 <32 x i16> %v, i32 64
  ret <32 x i16> %#1
}
=>
define <32 x i16> @avx512_pslli_w_512_64(<32 x i16> %v) {
#0:
  ret <32 x i16> { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 }
}
Transformation seems to be correct!

-- 300. PassManager<Function> : Skipping NOP
-- 301. PassManager<Function> : Skipping NOP
-- 302. InstCombinePass

----------------------------------------
define <16 x i32> @avx512_pslli_d_512_0(<16 x i32> %v) {
#0:
  %#1 = x86_avx512_pslli_d_512 <16 x i32> %v, i32 0
  ret <16 x i32> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 303. InstCombinePass

----------------------------------------
define <16 x i32> @avx512_pslli_d_512_0(<16 x i32> %v) {
#0:
  %#1 = x86_avx512_pslli_d_512 <16 x i32> %v, i32 0
  ret <16 x i32> %#1
}
=>
define <16 x i32> @avx512_pslli_d_512_0(<16 x i32> %v) {
#0:
  ret <16 x i32> %v
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout

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' '-mtriple=x86_64-unknown-unknown' '-S' '-tv-smt-to=20000' '-tv-report-dir=/home/nlopes/alive2/build/logs' '-tv-smt-stats'

-- 304. PassManager<Function> : Skipping NOP
-- 305. PassManager<Function> : Skipping NOP
-- 306. InstCombinePass

----------------------------------------
define <16 x i32> @avx512_pslli_d_512_15(<16 x i32> %v) {
#0:
  %#1 = x86_avx512_pslli_d_512 <16 x i32> %v, i32 15
  ret <16 x i32> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 307. InstCombinePass

----------------------------------------
define <16 x i32> @avx512_pslli_d_512_15(<16 x i32> %v) {
#0:
  %#1 = x86_avx512_pslli_d_512 <16 x i32> %v, i32 15
  ret <16 x i32> %#1
}
=>
define <16 x i32> @avx512_pslli_d_512_15(<16 x i32> %v) {
#0:
  %#1 = shl <16 x i32> %v, { 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15 }
  ret <16 x i32> %#1
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout

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' '-mtriple=x86_64-unknown-unknown' '-S' '-tv-smt-to=20000' '-tv-report-dir=/home/nlopes/alive2/build/logs' '-tv-smt-stats'

-- 308. PassManager<Function> : Skipping NOP
-- 309. PassManager<Function> : Skipping NOP
-- 310. InstCombinePass

----------------------------------------
define <16 x i32> @avx512_pslli_d_512_64(<16 x i32> %v) {
#0:
  %#1 = x86_avx512_pslli_d_512 <16 x i32> %v, i32 64
  ret <16 x i32> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 311. InstCombinePass

----------------------------------------
define <16 x i32> @avx512_pslli_d_512_64(<16 x i32> %v) {
#0:
  %#1 = x86_avx512_pslli_d_512 <16 x i32> %v, i32 64
  ret <16 x i32> %#1
}
=>
define <16 x i32> @avx512_pslli_d_512_64(<16 x i32> %v) {
#0:
  ret <16 x i32> { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 }
}
Transformation seems to be correct!

-- 312. PassManager<Function> : Skipping NOP
-- 313. PassManager<Function> : Skipping NOP
-- 314. InstCombinePass

----------------------------------------
define <8 x i64> @avx512_pslli_q_512_0(<8 x i64> %v) {
#0:
  %#1 = x86_avx512_pslli_q_512 <8 x i64> %v, i32 0
  ret <8 x i64> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 315. InstCombinePass

----------------------------------------
define <8 x i64> @avx512_pslli_q_512_0(<8 x i64> %v) {
#0:
  %#1 = x86_avx512_pslli_q_512 <8 x i64> %v, i32 0
  ret <8 x i64> %#1
}
=>
define <8 x i64> @avx512_pslli_q_512_0(<8 x i64> %v) {
#0:
  ret <8 x i64> %v
}
Transformation seems to be correct!

-- 316. PassManager<Function> : Skipping NOP
-- 317. PassManager<Function> : Skipping NOP
-- 318. InstCombinePass

----------------------------------------
define <8 x i64> @avx512_pslli_q_512_15(<8 x i64> %v) {
#0:
  %#1 = x86_avx512_pslli_q_512 <8 x i64> %v, i32 15
  ret <8 x i64> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 319. InstCombinePass

----------------------------------------
define <8 x i64> @avx512_pslli_q_512_15(<8 x i64> %v) {
#0:
  %#1 = x86_avx512_pslli_q_512 <8 x i64> %v, i32 15
  ret <8 x i64> %#1
}
=>
define <8 x i64> @avx512_pslli_q_512_15(<8 x i64> %v) {
#0:
  %#1 = shl <8 x i64> %v, { 15, 15, 15, 15, 15, 15, 15, 15 }
  ret <8 x i64> %#1
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout

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' '-mtriple=x86_64-unknown-unknown' '-S' '-tv-smt-to=20000' '-tv-report-dir=/home/nlopes/alive2/build/logs' '-tv-smt-stats'

-- 320. PassManager<Function> : Skipping NOP
-- 321. PassManager<Function> : Skipping NOP
-- 322. InstCombinePass

----------------------------------------
define <8 x i64> @avx512_pslli_q_512_64(<8 x i64> %v) {
#0:
  %#1 = x86_avx512_pslli_q_512 <8 x i64> %v, i32 64
  ret <8 x i64> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 323. InstCombinePass

----------------------------------------
define <8 x i64> @avx512_pslli_q_512_64(<8 x i64> %v) {
#0:
  %#1 = x86_avx512_pslli_q_512 <8 x i64> %v, i32 64
  ret <8 x i64> %#1
}
=>
define <8 x i64> @avx512_pslli_q_512_64(<8 x i64> %v) {
#0:
  ret <8 x i64> { 0, 0, 0, 0, 0, 0, 0, 0 }
}
Transformation seems to be correct!

-- 324. PassManager<Function> : Skipping NOP
-- 325. PassManager<Function> : Skipping NOP
-- 326. InstCombinePass

----------------------------------------
define <8 x i16> @sse2_psra_w_0(<8 x i16> %v) {
#0:
  %#1 = x86_sse2_psra_w <8 x i16> %v, <8 x i16> { 0, 0, 0, 0, 0, 0, 0, 0 }
  ret <8 x i16> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 327. InstCombinePass

----------------------------------------
define <8 x i16> @sse2_psra_w_0(<8 x i16> %v) {
#0:
  %#1 = x86_sse2_psra_w <8 x i16> %v, <8 x i16> { 0, 0, 0, 0, 0, 0, 0, 0 }
  ret <8 x i16> %#1
}
=>
define <8 x i16> @sse2_psra_w_0(<8 x i16> %v) {
#0:
  ret <8 x i16> %v
}
Transformation seems to be correct!

-- 328. PassManager<Function> : Skipping NOP
-- 329. PassManager<Function> : Skipping NOP
-- 330. InstCombinePass

----------------------------------------
define <8 x i16> @sse2_psra_w_15(<8 x i16> %v) {
#0:
  %#1 = x86_sse2_psra_w <8 x i16> %v, <8 x i16> { 15, 0, 0, 0, 9999, 9999, 9999, 9999 }
  ret <8 x i16> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 331. InstCombinePass

----------------------------------------
define <8 x i16> @sse2_psra_w_15(<8 x i16> %v) {
#0:
  %#1 = x86_sse2_psra_w <8 x i16> %v, <8 x i16> { 15, 0, 0, 0, 9999, 9999, 9999, 9999 }
  ret <8 x i16> %#1
}
=>
define <8 x i16> @sse2_psra_w_15(<8 x i16> %v) {
#0:
  %#1 = ashr <8 x i16> %v, { 15, 15, 15, 15, 15, 15, 15, 15 }
  ret <8 x i16> %#1
}
Transformation seems to be correct!

-- 332. PassManager<Function> : Skipping NOP
-- 333. PassManager<Function> : Skipping NOP
-- 334. InstCombinePass

----------------------------------------
define <8 x i16> @sse2_psra_w_15_splat(<8 x i16> %v) {
#0:
  %#1 = x86_sse2_psra_w <8 x i16> %v, <8 x i16> { 15, 15, 15, 15, 15, 15, 15, 15 }
  ret <8 x i16> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 335. InstCombinePass

----------------------------------------
define <8 x i16> @sse2_psra_w_15_splat(<8 x i16> %v) {
#0:
  %#1 = x86_sse2_psra_w <8 x i16> %v, <8 x i16> { 15, 15, 15, 15, 15, 15, 15, 15 }
  ret <8 x i16> %#1
}
=>
define <8 x i16> @sse2_psra_w_15_splat(<8 x i16> %v) {
#0:
  %#1 = ashr <8 x i16> %v, { 15, 15, 15, 15, 15, 15, 15, 15 }
  ret <8 x i16> %#1
}
Transformation seems to be correct!

-- 336. PassManager<Function> : Skipping NOP
-- 337. PassManager<Function> : Skipping NOP
-- 338. InstCombinePass

----------------------------------------
define <8 x i16> @sse2_psra_w_64(<8 x i16> %v) {
#0:
  %#1 = x86_sse2_psra_w <8 x i16> %v, <8 x i16> { 64, 0, 0, 0, 9999, 9999, 9999, 9999 }
  ret <8 x i16> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 339. InstCombinePass

----------------------------------------
define <8 x i16> @sse2_psra_w_64(<8 x i16> %v) {
#0:
  %#1 = x86_sse2_psra_w <8 x i16> %v, <8 x i16> { 64, 0, 0, 0, 9999, 9999, 9999, 9999 }
  ret <8 x i16> %#1
}
=>
define <8 x i16> @sse2_psra_w_64(<8 x i16> %v) {
#0:
  %#1 = ashr <8 x i16> %v, { 15, 15, 15, 15, 15, 15, 15, 15 }
  ret <8 x i16> %#1
}
Transformation seems to be correct!

-- 340. PassManager<Function> : Skipping NOP
-- 341. PassManager<Function> : Skipping NOP
-- 342. InstCombinePass

----------------------------------------
define <4 x i32> @sse2_psra_d_0(<4 x i32> %v) {
#0:
  %#1 = x86_sse2_psra_d <4 x i32> %v, <4 x i32> { 0, 0, 0, 0 }
  ret <4 x i32> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 343. InstCombinePass

----------------------------------------
define <4 x i32> @sse2_psra_d_0(<4 x i32> %v) {
#0:
  %#1 = x86_sse2_psra_d <4 x i32> %v, <4 x i32> { 0, 0, 0, 0 }
  ret <4 x i32> %#1
}
=>
define <4 x i32> @sse2_psra_d_0(<4 x i32> %v) {
#0:
  ret <4 x i32> %v
}
Transformation seems to be correct!

-- 344. PassManager<Function> : Skipping NOP
-- 345. PassManager<Function> : Skipping NOP
-- 346. InstCombinePass

----------------------------------------
define <4 x i32> @sse2_psra_d_15(<4 x i32> %v) {
#0:
  %#1 = x86_sse2_psra_d <4 x i32> %v, <4 x i32> { 15, 0, 9999, 9999 }
  ret <4 x i32> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 347. InstCombinePass

----------------------------------------
define <4 x i32> @sse2_psra_d_15(<4 x i32> %v) {
#0:
  %#1 = x86_sse2_psra_d <4 x i32> %v, <4 x i32> { 15, 0, 9999, 9999 }
  ret <4 x i32> %#1
}
=>
define <4 x i32> @sse2_psra_d_15(<4 x i32> %v) {
#0:
  %#1 = ashr <4 x i32> %v, { 15, 15, 15, 15 }
  ret <4 x i32> %#1
}
Transformation seems to be correct!

-- 348. PassManager<Function> : Skipping NOP
-- 349. PassManager<Function> : Skipping NOP
-- 350. InstCombinePass

----------------------------------------
define <4 x i32> @sse2_psra_d_15_splat(<4 x i32> %v) {
#0:
  %#1 = x86_sse2_psra_d <4 x i32> %v, <4 x i32> { 15, 15, 15, 15 }
  ret <4 x i32> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 351. InstCombinePass

----------------------------------------
define <4 x i32> @sse2_psra_d_15_splat(<4 x i32> %v) {
#0:
  %#1 = x86_sse2_psra_d <4 x i32> %v, <4 x i32> { 15, 15, 15, 15 }
  ret <4 x i32> %#1
}
=>
define <4 x i32> @sse2_psra_d_15_splat(<4 x i32> %v) {
#0:
  %#1 = ashr <4 x i32> %v, { 31, 31, 31, 31 }
  ret <4 x i32> %#1
}
Transformation seems to be correct!

-- 352. PassManager<Function> : Skipping NOP
-- 353. PassManager<Function> : Skipping NOP
-- 354. InstCombinePass

----------------------------------------
define <4 x i32> @sse2_psra_d_64(<4 x i32> %v) {
#0:
  %#1 = x86_sse2_psra_d <4 x i32> %v, <4 x i32> { 64, 0, 9999, 9999 }
  ret <4 x i32> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 355. InstCombinePass

----------------------------------------
define <4 x i32> @sse2_psra_d_64(<4 x i32> %v) {
#0:
  %#1 = x86_sse2_psra_d <4 x i32> %v, <4 x i32> { 64, 0, 9999, 9999 }
  ret <4 x i32> %#1
}
=>
define <4 x i32> @sse2_psra_d_64(<4 x i32> %v) {
#0:
  %#1 = ashr <4 x i32> %v, { 31, 31, 31, 31 }
  ret <4 x i32> %#1
}
Transformation seems to be correct!

-- 356. PassManager<Function> : Skipping NOP
-- 357. PassManager<Function> : Skipping NOP
-- 358. InstCombinePass

----------------------------------------
define <16 x i16> @avx2_psra_w_0(<16 x i16> %v) {
#0:
  %#1 = x86_avx2_psra_w <16 x i16> %v, <8 x i16> { 0, 0, 0, 0, 0, 0, 0, 0 }
  ret <16 x i16> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 359. InstCombinePass

----------------------------------------
define <16 x i16> @avx2_psra_w_0(<16 x i16> %v) {
#0:
  %#1 = x86_avx2_psra_w <16 x i16> %v, <8 x i16> { 0, 0, 0, 0, 0, 0, 0, 0 }
  ret <16 x i16> %#1
}
=>
define <16 x i16> @avx2_psra_w_0(<16 x i16> %v) {
#0:
  ret <16 x i16> %v
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout

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' '-mtriple=x86_64-unknown-unknown' '-S' '-tv-smt-to=20000' '-tv-report-dir=/home/nlopes/alive2/build/logs' '-tv-smt-stats'

-- 360. PassManager<Function> : Skipping NOP
-- 361. PassManager<Function> : Skipping NOP
-- 362. InstCombinePass

----------------------------------------
define <16 x i16> @avx2_psra_w_15(<16 x i16> %v) {
#0:
  %#1 = x86_avx2_psra_w <16 x i16> %v, <8 x i16> { 15, 0, 0, 0, 9999, 9999, 9999, 9999 }
  ret <16 x i16> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 363. InstCombinePass

----------------------------------------
define <16 x i16> @avx2_psra_w_15(<16 x i16> %v) {
#0:
  %#1 = x86_avx2_psra_w <16 x i16> %v, <8 x i16> { 15, 0, 0, 0, 9999, 9999, 9999, 9999 }
  ret <16 x i16> %#1
}
=>
define <16 x i16> @avx2_psra_w_15(<16 x i16> %v) {
#0:
  %#1 = ashr <16 x i16> %v, { 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15 }
  ret <16 x i16> %#1
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout

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' '-mtriple=x86_64-unknown-unknown' '-S' '-tv-smt-to=20000' '-tv-report-dir=/home/nlopes/alive2/build/logs' '-tv-smt-stats'

-- 364. PassManager<Function> : Skipping NOP
-- 365. PassManager<Function> : Skipping NOP
-- 366. InstCombinePass

----------------------------------------
define <16 x i16> @avx2_psra_w_15_splat(<16 x i16> %v) {
#0:
  %#1 = x86_avx2_psra_w <16 x i16> %v, <8 x i16> { 15, 15, 15, 15, 15, 15, 15, 15 }
  ret <16 x i16> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 367. InstCombinePass

----------------------------------------
define <16 x i16> @avx2_psra_w_15_splat(<16 x i16> %v) {
#0:
  %#1 = x86_avx2_psra_w <16 x i16> %v, <8 x i16> { 15, 15, 15, 15, 15, 15, 15, 15 }
  ret <16 x i16> %#1
}
=>
define <16 x i16> @avx2_psra_w_15_splat(<16 x i16> %v) {
#0:
  %#1 = ashr <16 x i16> %v, { 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15 }
  ret <16 x i16> %#1
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout

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' '-mtriple=x86_64-unknown-unknown' '-S' '-tv-smt-to=20000' '-tv-report-dir=/home/nlopes/alive2/build/logs' '-tv-smt-stats'

-- 368. PassManager<Function> : Skipping NOP
-- 369. PassManager<Function> : Skipping NOP
-- 370. InstCombinePass

----------------------------------------
define <16 x i16> @avx2_psra_w_64(<16 x i16> %v) {
#0:
  %#1 = x86_avx2_psra_w <16 x i16> %v, <8 x i16> { 64, 0, 0, 0, 9999, 9999, 9999, 9999 }
  ret <16 x i16> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 371. InstCombinePass

----------------------------------------
define <16 x i16> @avx2_psra_w_64(<16 x i16> %v) {
#0:
  %#1 = x86_avx2_psra_w <16 x i16> %v, <8 x i16> { 64, 0, 0, 0, 9999, 9999, 9999, 9999 }
  ret <16 x i16> %#1
}
=>
define <16 x i16> @avx2_psra_w_64(<16 x i16> %v) {
#0:
  %#1 = ashr <16 x i16> %v, { 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15 }
  ret <16 x i16> %#1
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout

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' '-mtriple=x86_64-unknown-unknown' '-S' '-tv-smt-to=20000' '-tv-report-dir=/home/nlopes/alive2/build/logs' '-tv-smt-stats'

-- 372. PassManager<Function> : Skipping NOP
-- 373. PassManager<Function> : Skipping NOP
-- 374. InstCombinePass

----------------------------------------
define <8 x i32> @avx2_psra_d_0(<8 x i32> %v) {
#0:
  %#1 = x86_avx2_psra_d <8 x i32> %v, <4 x i32> { 0, 0, 0, 0 }
  ret <8 x i32> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 375. InstCombinePass

----------------------------------------
define <8 x i32> @avx2_psra_d_0(<8 x i32> %v) {
#0:
  %#1 = x86_avx2_psra_d <8 x i32> %v, <4 x i32> { 0, 0, 0, 0 }
  ret <8 x i32> %#1
}
=>
define <8 x i32> @avx2_psra_d_0(<8 x i32> %v) {
#0:
  ret <8 x i32> %v
}
Transformation seems to be correct!

-- 376. PassManager<Function> : Skipping NOP
-- 377. PassManager<Function> : Skipping NOP
-- 378. InstCombinePass

----------------------------------------
define <8 x i32> @avx2_psra_d_15(<8 x i32> %v) {
#0:
  %#1 = x86_avx2_psra_d <8 x i32> %v, <4 x i32> { 15, 0, 9999, 9999 }
  ret <8 x i32> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 379. InstCombinePass

----------------------------------------
define <8 x i32> @avx2_psra_d_15(<8 x i32> %v) {
#0:
  %#1 = x86_avx2_psra_d <8 x i32> %v, <4 x i32> { 15, 0, 9999, 9999 }
  ret <8 x i32> %#1
}
=>
define <8 x i32> @avx2_psra_d_15(<8 x i32> %v) {
#0:
  %#1 = ashr <8 x i32> %v, { 15, 15, 15, 15, 15, 15, 15, 15 }
  ret <8 x i32> %#1
}
Transformation seems to be correct!

-- 380. PassManager<Function> : Skipping NOP
-- 381. PassManager<Function> : Skipping NOP
-- 382. InstCombinePass

----------------------------------------
define <8 x i32> @avx2_psra_d_15_splat(<8 x i32> %v) {
#0:
  %#1 = x86_avx2_psra_d <8 x i32> %v, <4 x i32> { 15, 15, 15, 15 }
  ret <8 x i32> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 383. InstCombinePass

----------------------------------------
define <8 x i32> @avx2_psra_d_15_splat(<8 x i32> %v) {
#0:
  %#1 = x86_avx2_psra_d <8 x i32> %v, <4 x i32> { 15, 15, 15, 15 }
  ret <8 x i32> %#1
}
=>
define <8 x i32> @avx2_psra_d_15_splat(<8 x i32> %v) {
#0:
  %#1 = ashr <8 x i32> %v, { 31, 31, 31, 31, 31, 31, 31, 31 }
  ret <8 x i32> %#1
}
Transformation seems to be correct!

-- 384. PassManager<Function> : Skipping NOP
-- 385. PassManager<Function> : Skipping NOP
-- 386. InstCombinePass

----------------------------------------
define <8 x i32> @avx2_psra_d_64(<8 x i32> %v) {
#0:
  %#1 = x86_avx2_psra_d <8 x i32> %v, <4 x i32> { 64, 0, 9999, 9999 }
  ret <8 x i32> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 387. InstCombinePass

----------------------------------------
define <8 x i32> @avx2_psra_d_64(<8 x i32> %v) {
#0:
  %#1 = x86_avx2_psra_d <8 x i32> %v, <4 x i32> { 64, 0, 9999, 9999 }
  ret <8 x i32> %#1
}
=>
define <8 x i32> @avx2_psra_d_64(<8 x i32> %v) {
#0:
  %#1 = ashr <8 x i32> %v, { 31, 31, 31, 31, 31, 31, 31, 31 }
  ret <8 x i32> %#1
}
Transformation seems to be correct!

-- 388. PassManager<Function> : Skipping NOP
-- 389. PassManager<Function> : Skipping NOP
-- 390. InstCombinePass

----------------------------------------
define <2 x i64> @avx512_psra_q_128_0(<2 x i64> %v) {
#0:
  %#1 = x86_avx512_psra_q_128 <2 x i64> %v, <2 x i64> { 0, 0 }
  ret <2 x i64> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 391. InstCombinePass

----------------------------------------
define <2 x i64> @avx512_psra_q_128_0(<2 x i64> %v) {
#0:
  %#1 = x86_avx512_psra_q_128 <2 x i64> %v, <2 x i64> { 0, 0 }
  ret <2 x i64> %#1
}
=>
define <2 x i64> @avx512_psra_q_128_0(<2 x i64> %v) {
#0:
  ret <2 x i64> %v
}
Transformation seems to be correct!

-- 392. PassManager<Function> : Skipping NOP
-- 393. PassManager<Function> : Skipping NOP
-- 394. InstCombinePass

----------------------------------------
define <2 x i64> @avx512_psra_q_128_15(<2 x i64> %v) {
#0:
  %#1 = x86_avx512_psra_q_128 <2 x i64> %v, <2 x i64> { 15, 9999 }
  ret <2 x i64> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 395. InstCombinePass

----------------------------------------
define <2 x i64> @avx512_psra_q_128_15(<2 x i64> %v) {
#0:
  %#1 = x86_avx512_psra_q_128 <2 x i64> %v, <2 x i64> { 15, 9999 }
  ret <2 x i64> %#1
}
=>
define <2 x i64> @avx512_psra_q_128_15(<2 x i64> %v) {
#0:
  %#1 = ashr <2 x i64> %v, { 15, 15 }
  ret <2 x i64> %#1
}
Transformation seems to be correct!

-- 396. PassManager<Function> : Skipping NOP
-- 397. PassManager<Function> : Skipping NOP
-- 398. InstCombinePass

----------------------------------------
define <2 x i64> @avx512_psra_q_128_64(<2 x i64> %v) {
#0:
  %#1 = x86_avx512_psra_q_128 <2 x i64> %v, <2 x i64> { 64, 9999 }
  ret <2 x i64> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 399. InstCombinePass

----------------------------------------
define <2 x i64> @avx512_psra_q_128_64(<2 x i64> %v) {
#0:
  %#1 = x86_avx512_psra_q_128 <2 x i64> %v, <2 x i64> { 64, 9999 }
  ret <2 x i64> %#1
}
=>
define <2 x i64> @avx512_psra_q_128_64(<2 x i64> %v) {
#0:
  %#1 = ashr <2 x i64> %v, { 63, 63 }
  ret <2 x i64> %#1
}
Transformation seems to be correct!

-- 400. PassManager<Function> : Skipping NOP
-- 401. PassManager<Function> : Skipping NOP
-- 402. InstCombinePass

----------------------------------------
define <4 x i64> @avx512_psra_q_256_0(<4 x i64> %v) {
#0:
  %#1 = x86_avx512_psra_q_256 <4 x i64> %v, <2 x i64> { 0, 0 }
  ret <4 x i64> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 403. InstCombinePass

----------------------------------------
define <4 x i64> @avx512_psra_q_256_0(<4 x i64> %v) {
#0:
  %#1 = x86_avx512_psra_q_256 <4 x i64> %v, <2 x i64> { 0, 0 }
  ret <4 x i64> %#1
}
=>
define <4 x i64> @avx512_psra_q_256_0(<4 x i64> %v) {
#0:
  ret <4 x i64> %v
}
Transformation seems to be correct!

-- 404. PassManager<Function> : Skipping NOP
-- 405. PassManager<Function> : Skipping NOP
-- 406. InstCombinePass

----------------------------------------
define <4 x i64> @avx512_psra_q_256_15(<4 x i64> %v) {
#0:
  %#1 = x86_avx512_psra_q_256 <4 x i64> %v, <2 x i64> { 15, 9999 }
  ret <4 x i64> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 407. InstCombinePass

----------------------------------------
define <4 x i64> @avx512_psra_q_256_15(<4 x i64> %v) {
#0:
  %#1 = x86_avx512_psra_q_256 <4 x i64> %v, <2 x i64> { 15, 9999 }
  ret <4 x i64> %#1
}
=>
define <4 x i64> @avx512_psra_q_256_15(<4 x i64> %v) {
#0:
  %#1 = ashr <4 x i64> %v, { 15, 15, 15, 15 }
  ret <4 x i64> %#1
}
Transformation seems to be correct!

-- 408. PassManager<Function> : Skipping NOP
-- 409. PassManager<Function> : Skipping NOP
-- 410. InstCombinePass

----------------------------------------
define <4 x i64> @avx512_psra_q_256_64(<4 x i64> %v) {
#0:
  %#1 = x86_avx512_psra_q_256 <4 x i64> %v, <2 x i64> { 64, 9999 }
  ret <4 x i64> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 411. InstCombinePass

----------------------------------------
define <4 x i64> @avx512_psra_q_256_64(<4 x i64> %v) {
#0:
  %#1 = x86_avx512_psra_q_256 <4 x i64> %v, <2 x i64> { 64, 9999 }
  ret <4 x i64> %#1
}
=>
define <4 x i64> @avx512_psra_q_256_64(<4 x i64> %v) {
#0:
  %#1 = ashr <4 x i64> %v, { 63, 63, 63, 63 }
  ret <4 x i64> %#1
}
Transformation seems to be correct!

-- 412. PassManager<Function> : Skipping NOP
-- 413. PassManager<Function> : Skipping NOP
-- 414. InstCombinePass

----------------------------------------
define <32 x i16> @avx512_psra_w_512_0(<32 x i16> %v) {
#0:
  %#1 = x86_avx512_psra_w_512 <32 x i16> %v, <8 x i16> { 0, 0, 0, 0, 0, 0, 0, 0 }
  ret <32 x i16> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 415. InstCombinePass

----------------------------------------
define <32 x i16> @avx512_psra_w_512_0(<32 x i16> %v) {
#0:
  %#1 = x86_avx512_psra_w_512 <32 x i16> %v, <8 x i16> { 0, 0, 0, 0, 0, 0, 0, 0 }
  ret <32 x i16> %#1
}
=>
define <32 x i16> @avx512_psra_w_512_0(<32 x i16> %v) {
#0:
  ret <32 x i16> %v
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout

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' '-mtriple=x86_64-unknown-unknown' '-S' '-tv-smt-to=20000' '-tv-report-dir=/home/nlopes/alive2/build/logs' '-tv-smt-stats'

-- 416. PassManager<Function> : Skipping NOP
-- 417. PassManager<Function> : Skipping NOP
-- 418. InstCombinePass

----------------------------------------
define <32 x i16> @avx512_psra_w_512_15(<32 x i16> %v) {
#0:
  %#1 = x86_avx512_psra_w_512 <32 x i16> %v, <8 x i16> { 15, 0, 0, 0, 9999, 9999, 9999, 9999 }
  ret <32 x i16> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 419. InstCombinePass

----------------------------------------
define <32 x i16> @avx512_psra_w_512_15(<32 x i16> %v) {
#0:
  %#1 = x86_avx512_psra_w_512 <32 x i16> %v, <8 x i16> { 15, 0, 0, 0, 9999, 9999, 9999, 9999 }
  ret <32 x i16> %#1
}
=>
define <32 x i16> @avx512_psra_w_512_15(<32 x i16> %v) {
#0:
  %#1 = ashr <32 x i16> %v, { 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15 }
  ret <32 x i16> %#1
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout

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' '-mtriple=x86_64-unknown-unknown' '-S' '-tv-smt-to=20000' '-tv-report-dir=/home/nlopes/alive2/build/logs' '-tv-smt-stats'

-- 420. PassManager<Function> : Skipping NOP
-- 421. PassManager<Function> : Skipping NOP
-- 422. InstCombinePass

----------------------------------------
define <32 x i16> @avx512_psra_w_512_15_splat(<32 x i16> %v) {
#0:
  %#1 = x86_avx512_psra_w_512 <32 x i16> %v, <8 x i16> { 15, 15, 15, 15, 15, 15, 15, 15 }
  ret <32 x i16> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 423. InstCombinePass

----------------------------------------
define <32 x i16> @avx512_psra_w_512_15_splat(<32 x i16> %v) {
#0:
  %#1 = x86_avx512_psra_w_512 <32 x i16> %v, <8 x i16> { 15, 15, 15, 15, 15, 15, 15, 15 }
  ret <32 x i16> %#1
}
=>
define <32 x i16> @avx512_psra_w_512_15_splat(<32 x i16> %v) {
#0:
  %#1 = ashr <32 x i16> %v, { 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15 }
  ret <32 x i16> %#1
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout

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' '-mtriple=x86_64-unknown-unknown' '-S' '-tv-smt-to=20000' '-tv-report-dir=/home/nlopes/alive2/build/logs' '-tv-smt-stats'

-- 424. PassManager<Function> : Skipping NOP
-- 425. PassManager<Function> : Skipping NOP
-- 426. InstCombinePass

----------------------------------------
define <32 x i16> @avx512_psra_w_512_64(<32 x i16> %v) {
#0:
  %#1 = x86_avx512_psra_w_512 <32 x i16> %v, <8 x i16> { 64, 0, 0, 0, 9999, 9999, 9999, 9999 }
  ret <32 x i16> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 427. InstCombinePass

----------------------------------------
define <32 x i16> @avx512_psra_w_512_64(<32 x i16> %v) {
#0:
  %#1 = x86_avx512_psra_w_512 <32 x i16> %v, <8 x i16> { 64, 0, 0, 0, 9999, 9999, 9999, 9999 }
  ret <32 x i16> %#1
}
=>
define <32 x i16> @avx512_psra_w_512_64(<32 x i16> %v) {
#0:
  %#1 = ashr <32 x i16> %v, { 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15 }
  ret <32 x i16> %#1
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout

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' '-mtriple=x86_64-unknown-unknown' '-S' '-tv-smt-to=20000' '-tv-report-dir=/home/nlopes/alive2/build/logs' '-tv-smt-stats'

-- 428. PassManager<Function> : Skipping NOP
-- 429. PassManager<Function> : Skipping NOP
-- 430. InstCombinePass

----------------------------------------
define <16 x i32> @avx512_psra_d_512_0(<16 x i32> %v) {
#0:
  %#1 = x86_avx512_psra_d_512 <16 x i32> %v, <4 x i32> { 0, 0, 0, 0 }
  ret <16 x i32> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 431. InstCombinePass

----------------------------------------
define <16 x i32> @avx512_psra_d_512_0(<16 x i32> %v) {
#0:
  %#1 = x86_avx512_psra_d_512 <16 x i32> %v, <4 x i32> { 0, 0, 0, 0 }
  ret <16 x i32> %#1
}
=>
define <16 x i32> @avx512_psra_d_512_0(<16 x i32> %v) {
#0:
  ret <16 x i32> %v
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout

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' '-mtriple=x86_64-unknown-unknown' '-S' '-tv-smt-to=20000' '-tv-report-dir=/home/nlopes/alive2/build/logs' '-tv-smt-stats'

-- 432. PassManager<Function> : Skipping NOP
-- 433. PassManager<Function> : Skipping NOP
-- 434. InstCombinePass

----------------------------------------
define <16 x i32> @avx512_psra_d_512_15(<16 x i32> %v) {
#0:
  %#1 = x86_avx512_psra_d_512 <16 x i32> %v, <4 x i32> { 15, 0, 9999, 9999 }
  ret <16 x i32> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 435. InstCombinePass

----------------------------------------
define <16 x i32> @avx512_psra_d_512_15(<16 x i32> %v) {
#0:
  %#1 = x86_avx512_psra_d_512 <16 x i32> %v, <4 x i32> { 15, 0, 9999, 9999 }
  ret <16 x i32> %#1
}
=>
define <16 x i32> @avx512_psra_d_512_15(<16 x i32> %v) {
#0:
  %#1 = ashr <16 x i32> %v, { 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15 }
  ret <16 x i32> %#1
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout

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' '-mtriple=x86_64-unknown-unknown' '-S' '-tv-smt-to=20000' '-tv-report-dir=/home/nlopes/alive2/build/logs' '-tv-smt-stats'

-- 436. PassManager<Function> : Skipping NOP
-- 437. PassManager<Function> : Skipping NOP
-- 438. InstCombinePass

----------------------------------------
define <16 x i32> @avx512_psra_d_512_15_splat(<16 x i32> %v) {
#0:
  %#1 = x86_avx512_psra_d_512 <16 x i32> %v, <4 x i32> { 15, 15, 15, 15 }
  ret <16 x i32> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 439. InstCombinePass

----------------------------------------
define <16 x i32> @avx512_psra_d_512_15_splat(<16 x i32> %v) {
#0:
  %#1 = x86_avx512_psra_d_512 <16 x i32> %v, <4 x i32> { 15, 15, 15, 15 }
  ret <16 x i32> %#1
}
=>
define <16 x i32> @avx512_psra_d_512_15_splat(<16 x i32> %v) {
#0:
  %#1 = ashr <16 x i32> %v, { 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31 }
  ret <16 x i32> %#1
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout

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' '-mtriple=x86_64-unknown-unknown' '-S' '-tv-smt-to=20000' '-tv-report-dir=/home/nlopes/alive2/build/logs' '-tv-smt-stats'

-- 440. PassManager<Function> : Skipping NOP
-- 441. PassManager<Function> : Skipping NOP
-- 442. InstCombinePass

----------------------------------------
define <16 x i32> @avx512_psra_d_512_64(<16 x i32> %v) {
#0:
  %#1 = x86_avx512_psra_d_512 <16 x i32> %v, <4 x i32> { 64, 0, 9999, 9999 }
  ret <16 x i32> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 443. InstCombinePass

----------------------------------------
define <16 x i32> @avx512_psra_d_512_64(<16 x i32> %v) {
#0:
  %#1 = x86_avx512_psra_d_512 <16 x i32> %v, <4 x i32> { 64, 0, 9999, 9999 }
  ret <16 x i32> %#1
}
=>
define <16 x i32> @avx512_psra_d_512_64(<16 x i32> %v) {
#0:
  %#1 = ashr <16 x i32> %v, { 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31 }
  ret <16 x i32> %#1
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout

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' '-mtriple=x86_64-unknown-unknown' '-S' '-tv-smt-to=20000' '-tv-report-dir=/home/nlopes/alive2/build/logs' '-tv-smt-stats'

-- 444. PassManager<Function> : Skipping NOP
-- 445. PassManager<Function> : Skipping NOP
-- 446. InstCombinePass

----------------------------------------
define <8 x i64> @avx512_psra_q_512_0(<8 x i64> %v) {
#0:
  %#1 = x86_avx512_psra_q_512 <8 x i64> %v, <2 x i64> { 0, 0 }
  ret <8 x i64> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 447. InstCombinePass

----------------------------------------
define <8 x i64> @avx512_psra_q_512_0(<8 x i64> %v) {
#0:
  %#1 = x86_avx512_psra_q_512 <8 x i64> %v, <2 x i64> { 0, 0 }
  ret <8 x i64> %#1
}
=>
define <8 x i64> @avx512_psra_q_512_0(<8 x i64> %v) {
#0:
  ret <8 x i64> %v
}
Transformation seems to be correct!

-- 448. PassManager<Function> : Skipping NOP
-- 449. PassManager<Function> : Skipping NOP
-- 450. InstCombinePass

----------------------------------------
define <8 x i64> @avx512_psra_q_512_15(<8 x i64> %v) {
#0:
  %#1 = x86_avx512_psra_q_512 <8 x i64> %v, <2 x i64> { 15, 9999 }
  ret <8 x i64> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 451. InstCombinePass

----------------------------------------
define <8 x i64> @avx512_psra_q_512_15(<8 x i64> %v) {
#0:
  %#1 = x86_avx512_psra_q_512 <8 x i64> %v, <2 x i64> { 15, 9999 }
  ret <8 x i64> %#1
}
=>
define <8 x i64> @avx512_psra_q_512_15(<8 x i64> %v) {
#0:
  %#1 = ashr <8 x i64> %v, { 15, 15, 15, 15, 15, 15, 15, 15 }
  ret <8 x i64> %#1
}
Transformation seems to be correct!

-- 452. PassManager<Function> : Skipping NOP
-- 453. PassManager<Function> : Skipping NOP
-- 454. InstCombinePass

----------------------------------------
define <8 x i64> @avx512_psra_q_512_64(<8 x i64> %v) {
#0:
  %#1 = x86_avx512_psra_q_512 <8 x i64> %v, <2 x i64> { 64, 9999 }
  ret <8 x i64> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 455. InstCombinePass

----------------------------------------
define <8 x i64> @avx512_psra_q_512_64(<8 x i64> %v) {
#0:
  %#1 = x86_avx512_psra_q_512 <8 x i64> %v, <2 x i64> { 64, 9999 }
  ret <8 x i64> %#1
}
=>
define <8 x i64> @avx512_psra_q_512_64(<8 x i64> %v) {
#0:
  %#1 = ashr <8 x i64> %v, { 63, 63, 63, 63, 63, 63, 63, 63 }
  ret <8 x i64> %#1
}
Transformation seems to be correct!

-- 456. PassManager<Function> : Skipping NOP
-- 457. PassManager<Function> : Skipping NOP
-- 458. InstCombinePass

----------------------------------------
define <8 x i16> @sse2_psrl_w_0(<8 x i16> %v) {
#0:
  %#1 = x86_sse2_psrl_w <8 x i16> %v, <8 x i16> { 0, 0, 0, 0, 0, 0, 0, 0 }
  ret <8 x i16> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 459. InstCombinePass

----------------------------------------
define <8 x i16> @sse2_psrl_w_0(<8 x i16> %v) {
#0:
  %#1 = x86_sse2_psrl_w <8 x i16> %v, <8 x i16> { 0, 0, 0, 0, 0, 0, 0, 0 }
  ret <8 x i16> %#1
}
=>
define <8 x i16> @sse2_psrl_w_0(<8 x i16> %v) {
#0:
  ret <8 x i16> %v
}
Transformation seems to be correct!

-- 460. PassManager<Function> : Skipping NOP
-- 461. PassManager<Function> : Skipping NOP
-- 462. InstCombinePass

----------------------------------------
define <8 x i16> @sse2_psrl_w_15(<8 x i16> %v) {
#0:
  %#1 = x86_sse2_psrl_w <8 x i16> %v, <8 x i16> { 15, 0, 0, 0, 9999, 9999, 9999, 9999 }
  ret <8 x i16> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 463. InstCombinePass

----------------------------------------
define <8 x i16> @sse2_psrl_w_15(<8 x i16> %v) {
#0:
  %#1 = x86_sse2_psrl_w <8 x i16> %v, <8 x i16> { 15, 0, 0, 0, 9999, 9999, 9999, 9999 }
  ret <8 x i16> %#1
}
=>
define <8 x i16> @sse2_psrl_w_15(<8 x i16> %v) {
#0:
  %#1 = lshr <8 x i16> %v, { 15, 15, 15, 15, 15, 15, 15, 15 }
  ret <8 x i16> %#1
}
Transformation seems to be correct!

-- 464. PassManager<Function> : Skipping NOP
-- 465. PassManager<Function> : Skipping NOP
-- 466. InstCombinePass

----------------------------------------
define <8 x i16> @sse2_psrl_w_15_splat(<8 x i16> %v) {
#0:
  %#1 = x86_sse2_psrl_w <8 x i16> %v, <8 x i16> { 15, 15, 15, 15, 15, 15, 15, 15 }
  ret <8 x i16> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 467. InstCombinePass

----------------------------------------
define <8 x i16> @sse2_psrl_w_15_splat(<8 x i16> %v) {
#0:
  %#1 = x86_sse2_psrl_w <8 x i16> %v, <8 x i16> { 15, 15, 15, 15, 15, 15, 15, 15 }
  ret <8 x i16> %#1
}
=>
define <8 x i16> @sse2_psrl_w_15_splat(<8 x i16> %v) {
#0:
  ret <8 x i16> { 0, 0, 0, 0, 0, 0, 0, 0 }
}
Transformation seems to be correct!

-- 468. PassManager<Function> : Skipping NOP
-- 469. PassManager<Function> : Skipping NOP
-- 470. InstCombinePass

----------------------------------------
define <8 x i16> @sse2_psrl_w_64(<8 x i16> %v) {
#0:
  %#1 = x86_sse2_psrl_w <8 x i16> %v, <8 x i16> { 64, 0, 0, 0, 9999, 9999, 9999, 9999 }
  ret <8 x i16> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 471. InstCombinePass

----------------------------------------
define <8 x i16> @sse2_psrl_w_64(<8 x i16> %v) {
#0:
  %#1 = x86_sse2_psrl_w <8 x i16> %v, <8 x i16> { 64, 0, 0, 0, 9999, 9999, 9999, 9999 }
  ret <8 x i16> %#1
}
=>
define <8 x i16> @sse2_psrl_w_64(<8 x i16> %v) {
#0:
  ret <8 x i16> { 0, 0, 0, 0, 0, 0, 0, 0 }
}
Transformation seems to be correct!

-- 472. PassManager<Function> : Skipping NOP
-- 473. PassManager<Function> : Skipping NOP
-- 474. InstCombinePass

----------------------------------------
define <4 x i32> @sse2_psrl_d_0(<4 x i32> %v) {
#0:
  %#1 = x86_sse2_psrl_d <4 x i32> %v, <4 x i32> { 0, 0, 0, 0 }
  ret <4 x i32> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 475. InstCombinePass

----------------------------------------
define <4 x i32> @sse2_psrl_d_0(<4 x i32> %v) {
#0:
  %#1 = x86_sse2_psrl_d <4 x i32> %v, <4 x i32> { 0, 0, 0, 0 }
  ret <4 x i32> %#1
}
=>
define <4 x i32> @sse2_psrl_d_0(<4 x i32> %v) {
#0:
  ret <4 x i32> %v
}
Transformation seems to be correct!

-- 476. PassManager<Function> : Skipping NOP
-- 477. PassManager<Function> : Skipping NOP
-- 478. InstCombinePass

----------------------------------------
define <4 x i32> @sse2_psrl_d_15(<4 x i32> %v) {
#0:
  %#1 = x86_sse2_psrl_d <4 x i32> %v, <4 x i32> { 15, 0, 9999, 9999 }
  ret <4 x i32> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 479. InstCombinePass

----------------------------------------
define <4 x i32> @sse2_psrl_d_15(<4 x i32> %v) {
#0:
  %#1 = x86_sse2_psrl_d <4 x i32> %v, <4 x i32> { 15, 0, 9999, 9999 }
  ret <4 x i32> %#1
}
=>
define <4 x i32> @sse2_psrl_d_15(<4 x i32> %v) {
#0:
  %#1 = lshr <4 x i32> %v, { 15, 15, 15, 15 }
  ret <4 x i32> %#1
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout

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' '-mtriple=x86_64-unknown-unknown' '-S' '-tv-smt-to=20000' '-tv-report-dir=/home/nlopes/alive2/build/logs' '-tv-smt-stats'

-- 480. PassManager<Function> : Skipping NOP
-- 481. PassManager<Function> : Skipping NOP
-- 482. InstCombinePass

----------------------------------------
define <4 x i32> @sse2_psrl_d_15_splat(<4 x i32> %v) {
#0:
  %#1 = x86_sse2_psrl_d <4 x i32> %v, <4 x i32> { 15, 15, 15, 15 }
  ret <4 x i32> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 483. InstCombinePass

----------------------------------------
define <4 x i32> @sse2_psrl_d_15_splat(<4 x i32> %v) {
#0:
  %#1 = x86_sse2_psrl_d <4 x i32> %v, <4 x i32> { 15, 15, 15, 15 }
  ret <4 x i32> %#1
}
=>
define <4 x i32> @sse2_psrl_d_15_splat(<4 x i32> %v) {
#0:
  ret <4 x i32> { 0, 0, 0, 0 }
}
Transformation seems to be correct!

-- 484. PassManager<Function> : Skipping NOP
-- 485. PassManager<Function> : Skipping NOP
-- 486. InstCombinePass

----------------------------------------
define <4 x i32> @sse2_psrl_d_64(<4 x i32> %v) {
#0:
  %#1 = x86_sse2_psrl_d <4 x i32> %v, <4 x i32> { 64, 0, 9999, 9999 }
  ret <4 x i32> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 487. InstCombinePass

----------------------------------------
define <4 x i32> @sse2_psrl_d_64(<4 x i32> %v) {
#0:
  %#1 = x86_sse2_psrl_d <4 x i32> %v, <4 x i32> { 64, 0, 9999, 9999 }
  ret <4 x i32> %#1
}
=>
define <4 x i32> @sse2_psrl_d_64(<4 x i32> %v) {
#0:
  ret <4 x i32> { 0, 0, 0, 0 }
}
Transformation seems to be correct!

-- 488. PassManager<Function> : Skipping NOP
-- 489. PassManager<Function> : Skipping NOP
-- 490. InstCombinePass

----------------------------------------
define <2 x i64> @sse2_psrl_q_0(<2 x i64> %v) {
#0:
  %#1 = x86_sse2_psrl_q <2 x i64> %v, <2 x i64> { 0, 0 }
  ret <2 x i64> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 491. InstCombinePass

----------------------------------------
define <2 x i64> @sse2_psrl_q_0(<2 x i64> %v) {
#0:
  %#1 = x86_sse2_psrl_q <2 x i64> %v, <2 x i64> { 0, 0 }
  ret <2 x i64> %#1
}
=>
define <2 x i64> @sse2_psrl_q_0(<2 x i64> %v) {
#0:
  ret <2 x i64> %v
}
Transformation seems to be correct!

-- 492. PassManager<Function> : Skipping NOP
-- 493. PassManager<Function> : Skipping NOP
-- 494. InstCombinePass

----------------------------------------
define <2 x i64> @sse2_psrl_q_15(<2 x i64> %v) {
#0:
  %#1 = x86_sse2_psrl_q <2 x i64> %v, <2 x i64> { 15, 9999 }
  ret <2 x i64> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 495. InstCombinePass

----------------------------------------
define <2 x i64> @sse2_psrl_q_15(<2 x i64> %v) {
#0:
  %#1 = x86_sse2_psrl_q <2 x i64> %v, <2 x i64> { 15, 9999 }
  ret <2 x i64> %#1
}
=>
define <2 x i64> @sse2_psrl_q_15(<2 x i64> %v) {
#0:
  %#1 = lshr <2 x i64> %v, { 15, 15 }
  ret <2 x i64> %#1
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout

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' '-mtriple=x86_64-unknown-unknown' '-S' '-tv-smt-to=20000' '-tv-report-dir=/home/nlopes/alive2/build/logs' '-tv-smt-stats'

-- 496. PassManager<Function> : Skipping NOP
-- 497. PassManager<Function> : Skipping NOP
-- 498. InstCombinePass

----------------------------------------
define <2 x i64> @sse2_psrl_q_64(<2 x i64> %v) {
#0:
  %#1 = x86_sse2_psrl_q <2 x i64> %v, <2 x i64> { 64, 9999 }
  ret <2 x i64> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 499. InstCombinePass

----------------------------------------
define <2 x i64> @sse2_psrl_q_64(<2 x i64> %v) {
#0:
  %#1 = x86_sse2_psrl_q <2 x i64> %v, <2 x i64> { 64, 9999 }
  ret <2 x i64> %#1
}
=>
define <2 x i64> @sse2_psrl_q_64(<2 x i64> %v) {
#0:
  ret <2 x i64> { 0, 0 }
}
Transformation seems to be correct!

-- 500. PassManager<Function> : Skipping NOP
-- 501. PassManager<Function> : Skipping NOP
-- 502. InstCombinePass

----------------------------------------
define <16 x i16> @avx2_psrl_w_0(<16 x i16> %v) {
#0:
  %#1 = x86_avx2_psrl_w <16 x i16> %v, <8 x i16> { 0, 0, 0, 0, 0, 0, 0, 0 }
  ret <16 x i16> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 503. InstCombinePass

----------------------------------------
define <16 x i16> @avx2_psrl_w_0(<16 x i16> %v) {
#0:
  %#1 = x86_avx2_psrl_w <16 x i16> %v, <8 x i16> { 0, 0, 0, 0, 0, 0, 0, 0 }
  ret <16 x i16> %#1
}
=>
define <16 x i16> @avx2_psrl_w_0(<16 x i16> %v) {
#0:
  ret <16 x i16> %v
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout

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' '-mtriple=x86_64-unknown-unknown' '-S' '-tv-smt-to=20000' '-tv-report-dir=/home/nlopes/alive2/build/logs' '-tv-smt-stats'

-- 504. PassManager<Function> : Skipping NOP
-- 505. PassManager<Function> : Skipping NOP
-- 506. InstCombinePass

----------------------------------------
define <16 x i16> @avx2_psrl_w_15(<16 x i16> %v) {
#0:
  %#1 = x86_avx2_psrl_w <16 x i16> %v, <8 x i16> { 15, 0, 0, 0, 9999, 9999, 9999, 9999 }
  ret <16 x i16> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 507. InstCombinePass

----------------------------------------
define <16 x i16> @avx2_psrl_w_15(<16 x i16> %v) {
#0:
  %#1 = x86_avx2_psrl_w <16 x i16> %v, <8 x i16> { 15, 0, 0, 0, 9999, 9999, 9999, 9999 }
  ret <16 x i16> %#1
}
=>
define <16 x i16> @avx2_psrl_w_15(<16 x i16> %v) {
#0:
  %#1 = lshr <16 x i16> %v, { 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15 }
  ret <16 x i16> %#1
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout

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' '-mtriple=x86_64-unknown-unknown' '-S' '-tv-smt-to=20000' '-tv-report-dir=/home/nlopes/alive2/build/logs' '-tv-smt-stats'

-- 508. PassManager<Function> : Skipping NOP
-- 509. PassManager<Function> : Skipping NOP
-- 510. InstCombinePass

----------------------------------------
define <16 x i16> @avx2_psrl_w_15_splat(<16 x i16> %v) {
#0:
  %#1 = x86_avx2_psrl_w <16 x i16> %v, <8 x i16> { 15, 15, 15, 15, 15, 15, 15, 15 }
  ret <16 x i16> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 511. InstCombinePass

----------------------------------------
define <16 x i16> @avx2_psrl_w_15_splat(<16 x i16> %v) {
#0:
  %#1 = x86_avx2_psrl_w <16 x i16> %v, <8 x i16> { 15, 15, 15, 15, 15, 15, 15, 15 }
  ret <16 x i16> %#1
}
=>
define <16 x i16> @avx2_psrl_w_15_splat(<16 x i16> %v) {
#0:
  ret <16 x i16> { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 }
}
Transformation seems to be correct!

-- 512. PassManager<Function> : Skipping NOP
-- 513. PassManager<Function> : Skipping NOP
-- 514. InstCombinePass

----------------------------------------
define <16 x i16> @avx2_psrl_w_64(<16 x i16> %v) {
#0:
  %#1 = x86_avx2_psrl_w <16 x i16> %v, <8 x i16> { 64, 0, 0, 0, 9999, 9999, 9999, 9999 }
  ret <16 x i16> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 515. InstCombinePass

----------------------------------------
define <16 x i16> @avx2_psrl_w_64(<16 x i16> %v) {
#0:
  %#1 = x86_avx2_psrl_w <16 x i16> %v, <8 x i16> { 64, 0, 0, 0, 9999, 9999, 9999, 9999 }
  ret <16 x i16> %#1
}
=>
define <16 x i16> @avx2_psrl_w_64(<16 x i16> %v) {
#0:
  ret <16 x i16> { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 }
}
Transformation seems to be correct!

-- 516. PassManager<Function> : Skipping NOP
-- 517. PassManager<Function> : Skipping NOP
-- 518. InstCombinePass

----------------------------------------
define <8 x i32> @avx2_psrl_d_0(<8 x i32> %v) {
#0:
  %#1 = x86_avx2_psrl_d <8 x i32> %v, <4 x i32> { 0, 0, 0, 0 }
  ret <8 x i32> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 519. InstCombinePass

----------------------------------------
define <8 x i32> @avx2_psrl_d_0(<8 x i32> %v) {
#0:
  %#1 = x86_avx2_psrl_d <8 x i32> %v, <4 x i32> { 0, 0, 0, 0 }
  ret <8 x i32> %#1
}
=>
define <8 x i32> @avx2_psrl_d_0(<8 x i32> %v) {
#0:
  ret <8 x i32> %v
}
Transformation seems to be correct!

-- 520. PassManager<Function> : Skipping NOP
-- 521. PassManager<Function> : Skipping NOP
-- 522. InstCombinePass

----------------------------------------
define <8 x i32> @avx2_psrl_d_15(<8 x i32> %v) {
#0:
  %#1 = x86_avx2_psrl_d <8 x i32> %v, <4 x i32> { 15, 0, 9999, 9999 }
  ret <8 x i32> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 523. InstCombinePass

----------------------------------------
define <8 x i32> @avx2_psrl_d_15(<8 x i32> %v) {
#0:
  %#1 = x86_avx2_psrl_d <8 x i32> %v, <4 x i32> { 15, 0, 9999, 9999 }
  ret <8 x i32> %#1
}
=>
define <8 x i32> @avx2_psrl_d_15(<8 x i32> %v) {
#0:
  %#1 = lshr <8 x i32> %v, { 15, 15, 15, 15, 15, 15, 15, 15 }
  ret <8 x i32> %#1
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout

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' '-mtriple=x86_64-unknown-unknown' '-S' '-tv-smt-to=20000' '-tv-report-dir=/home/nlopes/alive2/build/logs' '-tv-smt-stats'

-- 524. PassManager<Function> : Skipping NOP
-- 525. PassManager<Function> : Skipping NOP
-- 526. InstCombinePass

----------------------------------------
define <8 x i32> @avx2_psrl_d_15_splat(<8 x i32> %v) {
#0:
  %#1 = x86_avx2_psrl_d <8 x i32> %v, <4 x i32> { 15, 15, 15, 15 }
  ret <8 x i32> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 527. InstCombinePass

----------------------------------------
define <8 x i32> @avx2_psrl_d_15_splat(<8 x i32> %v) {
#0:
  %#1 = x86_avx2_psrl_d <8 x i32> %v, <4 x i32> { 15, 15, 15, 15 }
  ret <8 x i32> %#1
}
=>
define <8 x i32> @avx2_psrl_d_15_splat(<8 x i32> %v) {
#0:
  ret <8 x i32> { 0, 0, 0, 0, 0, 0, 0, 0 }
}
Transformation seems to be correct!

-- 528. PassManager<Function> : Skipping NOP
-- 529. PassManager<Function> : Skipping NOP
-- 530. InstCombinePass

----------------------------------------
define <8 x i32> @avx2_psrl_d_64(<8 x i32> %v) {
#0:
  %#1 = x86_avx2_psrl_d <8 x i32> %v, <4 x i32> { 64, 0, 9999, 9999 }
  ret <8 x i32> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 531. InstCombinePass

----------------------------------------
define <8 x i32> @avx2_psrl_d_64(<8 x i32> %v) {
#0:
  %#1 = x86_avx2_psrl_d <8 x i32> %v, <4 x i32> { 64, 0, 9999, 9999 }
  ret <8 x i32> %#1
}
=>
define <8 x i32> @avx2_psrl_d_64(<8 x i32> %v) {
#0:
  ret <8 x i32> { 0, 0, 0, 0, 0, 0, 0, 0 }
}
Transformation seems to be correct!

-- 532. PassManager<Function> : Skipping NOP
-- 533. PassManager<Function> : Skipping NOP
-- 534. InstCombinePass

----------------------------------------
define <4 x i64> @avx2_psrl_q_0(<4 x i64> %v) {
#0:
  %#1 = x86_avx2_psrl_q <4 x i64> %v, <2 x i64> { 0, 0 }
  ret <4 x i64> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 535. InstCombinePass

----------------------------------------
define <4 x i64> @avx2_psrl_q_0(<4 x i64> %v) {
#0:
  %#1 = x86_avx2_psrl_q <4 x i64> %v, <2 x i64> { 0, 0 }
  ret <4 x i64> %#1
}
=>
define <4 x i64> @avx2_psrl_q_0(<4 x i64> %v) {
#0:
  ret <4 x i64> %v
}
Transformation seems to be correct!

-- 536. PassManager<Function> : Skipping NOP
-- 537. PassManager<Function> : Skipping NOP
-- 538. InstCombinePass

----------------------------------------
define <4 x i64> @avx2_psrl_q_15(<4 x i64> %v) {
#0:
  %#1 = x86_avx2_psrl_q <4 x i64> %v, <2 x i64> { 15, 9999 }
  ret <4 x i64> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 539. InstCombinePass

----------------------------------------
define <4 x i64> @avx2_psrl_q_15(<4 x i64> %v) {
#0:
  %#1 = x86_avx2_psrl_q <4 x i64> %v, <2 x i64> { 15, 9999 }
  ret <4 x i64> %#1
}
=>
define <4 x i64> @avx2_psrl_q_15(<4 x i64> %v) {
#0:
  %#1 = lshr <4 x i64> %v, { 15, 15, 15, 15 }
  ret <4 x i64> %#1
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout

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' '-mtriple=x86_64-unknown-unknown' '-S' '-tv-smt-to=20000' '-tv-report-dir=/home/nlopes/alive2/build/logs' '-tv-smt-stats'

-- 540. PassManager<Function> : Skipping NOP
-- 541. PassManager<Function> : Skipping NOP
-- 542. InstCombinePass

----------------------------------------
define <4 x i64> @avx2_psrl_q_64(<4 x i64> %v) {
#0:
  %#1 = x86_avx2_psrl_q <4 x i64> %v, <2 x i64> { 64, 9999 }
  ret <4 x i64> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 543. InstCombinePass

----------------------------------------
define <4 x i64> @avx2_psrl_q_64(<4 x i64> %v) {
#0:
  %#1 = x86_avx2_psrl_q <4 x i64> %v, <2 x i64> { 64, 9999 }
  ret <4 x i64> %#1
}
=>
define <4 x i64> @avx2_psrl_q_64(<4 x i64> %v) {
#0:
  ret <4 x i64> { 0, 0, 0, 0 }
}
Transformation seems to be correct!

-- 544. PassManager<Function> : Skipping NOP
-- 545. PassManager<Function> : Skipping NOP
-- 546. InstCombinePass

----------------------------------------
define <32 x i16> @avx512_psrl_w_512_0(<32 x i16> %v) {
#0:
  %#1 = x86_avx512_psrl_w_512 <32 x i16> %v, <8 x i16> { 0, 0, 0, 0, 0, 0, 0, 0 }
  ret <32 x i16> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 547. InstCombinePass

----------------------------------------
define <32 x i16> @avx512_psrl_w_512_0(<32 x i16> %v) {
#0:
  %#1 = x86_avx512_psrl_w_512 <32 x i16> %v, <8 x i16> { 0, 0, 0, 0, 0, 0, 0, 0 }
  ret <32 x i16> %#1
}
=>
define <32 x i16> @avx512_psrl_w_512_0(<32 x i16> %v) {
#0:
  ret <32 x i16> %v
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout

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' '-mtriple=x86_64-unknown-unknown' '-S' '-tv-smt-to=20000' '-tv-report-dir=/home/nlopes/alive2/build/logs' '-tv-smt-stats'

-- 548. PassManager<Function> : Skipping NOP
-- 549. PassManager<Function> : Skipping NOP
-- 550. InstCombinePass

----------------------------------------
define <32 x i16> @avx512_psrl_w_512_15(<32 x i16> %v) {
#0:
  %#1 = x86_avx512_psrl_w_512 <32 x i16> %v, <8 x i16> { 15, 0, 0, 0, 9999, 9999, 9999, 9999 }
  ret <32 x i16> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 551. InstCombinePass

----------------------------------------
define <32 x i16> @avx512_psrl_w_512_15(<32 x i16> %v) {
#0:
  %#1 = x86_avx512_psrl_w_512 <32 x i16> %v, <8 x i16> { 15, 0, 0, 0, 9999, 9999, 9999, 9999 }
  ret <32 x i16> %#1
}
=>
define <32 x i16> @avx512_psrl_w_512_15(<32 x i16> %v) {
#0:
  %#1 = lshr <32 x i16> %v, { 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15 }
  ret <32 x i16> %#1
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout

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' '-mtriple=x86_64-unknown-unknown' '-S' '-tv-smt-to=20000' '-tv-report-dir=/home/nlopes/alive2/build/logs' '-tv-smt-stats'

-- 552. PassManager<Function> : Skipping NOP
-- 553. PassManager<Function> : Skipping NOP
-- 554. InstCombinePass

----------------------------------------
define <32 x i16> @avx512_psrl_w_512_15_splat(<32 x i16> %v) {
#0:
  %#1 = x86_avx512_psrl_w_512 <32 x i16> %v, <8 x i16> { 15, 15, 15, 15, 15, 15, 15, 15 }
  ret <32 x i16> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 555. InstCombinePass

----------------------------------------
define <32 x i16> @avx512_psrl_w_512_15_splat(<32 x i16> %v) {
#0:
  %#1 = x86_avx512_psrl_w_512 <32 x i16> %v, <8 x i16> { 15, 15, 15, 15, 15, 15, 15, 15 }
  ret <32 x i16> %#1
}
=>
define <32 x i16> @avx512_psrl_w_512_15_splat(<32 x i16> %v) {
#0:
  ret <32 x i16> { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 }
}
Transformation seems to be correct!

-- 556. PassManager<Function> : Skipping NOP
-- 557. PassManager<Function> : Skipping NOP
-- 558. InstCombinePass

----------------------------------------
define <32 x i16> @avx512_psrl_w_512_64(<32 x i16> %v) {
#0:
  %#1 = x86_avx512_psrl_w_512 <32 x i16> %v, <8 x i16> { 64, 0, 0, 0, 9999, 9999, 9999, 9999 }
  ret <32 x i16> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 559. InstCombinePass

----------------------------------------
define <32 x i16> @avx512_psrl_w_512_64(<32 x i16> %v) {
#0:
  %#1 = x86_avx512_psrl_w_512 <32 x i16> %v, <8 x i16> { 64, 0, 0, 0, 9999, 9999, 9999, 9999 }
  ret <32 x i16> %#1
}
=>
define <32 x i16> @avx512_psrl_w_512_64(<32 x i16> %v) {
#0:
  ret <32 x i16> { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 }
}
Transformation seems to be correct!

-- 560. PassManager<Function> : Skipping NOP
-- 561. PassManager<Function> : Skipping NOP
-- 562. InstCombinePass

----------------------------------------
define <16 x i32> @avx512_psrl_d_512_0(<16 x i32> %v) {
#0:
  %#1 = x86_avx512_psrl_d_512 <16 x i32> %v, <4 x i32> { 0, 0, 0, 0 }
  ret <16 x i32> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 563. InstCombinePass

----------------------------------------
define <16 x i32> @avx512_psrl_d_512_0(<16 x i32> %v) {
#0:
  %#1 = x86_avx512_psrl_d_512 <16 x i32> %v, <4 x i32> { 0, 0, 0, 0 }
  ret <16 x i32> %#1
}
=>
define <16 x i32> @avx512_psrl_d_512_0(<16 x i32> %v) {
#0:
  ret <16 x i32> %v
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout

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' '-mtriple=x86_64-unknown-unknown' '-S' '-tv-smt-to=20000' '-tv-report-dir=/home/nlopes/alive2/build/logs' '-tv-smt-stats'

-- 564. PassManager<Function> : Skipping NOP
-- 565. PassManager<Function> : Skipping NOP
-- 566. InstCombinePass

----------------------------------------
define <16 x i32> @avx512_psrl_d_512_15(<16 x i32> %v) {
#0:
  %#1 = x86_avx512_psrl_d_512 <16 x i32> %v, <4 x i32> { 15, 0, 9999, 9999 }
  ret <16 x i32> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 567. InstCombinePass

----------------------------------------
define <16 x i32> @avx512_psrl_d_512_15(<16 x i32> %v) {
#0:
  %#1 = x86_avx512_psrl_d_512 <16 x i32> %v, <4 x i32> { 15, 0, 9999, 9999 }
  ret <16 x i32> %#1
}
=>
define <16 x i32> @avx512_psrl_d_512_15(<16 x i32> %v) {
#0:
  %#1 = lshr <16 x i32> %v, { 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15 }
  ret <16 x i32> %#1
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout

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' '-mtriple=x86_64-unknown-unknown' '-S' '-tv-smt-to=20000' '-tv-report-dir=/home/nlopes/alive2/build/logs' '-tv-smt-stats'

-- 568. PassManager<Function> : Skipping NOP
-- 569. PassManager<Function> : Skipping NOP
-- 570. InstCombinePass

----------------------------------------
define <16 x i32> @avx512_psrl_d_512_15_splat(<16 x i32> %v) {
#0:
  %#1 = x86_avx512_psrl_d_512 <16 x i32> %v, <4 x i32> { 15, 15, 15, 15 }
  ret <16 x i32> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 571. InstCombinePass

----------------------------------------
define <16 x i32> @avx512_psrl_d_512_15_splat(<16 x i32> %v) {
#0:
  %#1 = x86_avx512_psrl_d_512 <16 x i32> %v, <4 x i32> { 15, 15, 15, 15 }
  ret <16 x i32> %#1
}
=>
define <16 x i32> @avx512_psrl_d_512_15_splat(<16 x i32> %v) {
#0:
  ret <16 x i32> { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 }
}
Transformation seems to be correct!

-- 572. PassManager<Function> : Skipping NOP
-- 573. PassManager<Function> : Skipping NOP
-- 574. InstCombinePass

----------------------------------------
define <16 x i32> @avx512_psrl_d_512_64(<16 x i32> %v) {
#0:
  %#1 = x86_avx512_psrl_d_512 <16 x i32> %v, <4 x i32> { 64, 0, 9999, 9999 }
  ret <16 x i32> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 575. InstCombinePass

----------------------------------------
define <16 x i32> @avx512_psrl_d_512_64(<16 x i32> %v) {
#0:
  %#1 = x86_avx512_psrl_d_512 <16 x i32> %v, <4 x i32> { 64, 0, 9999, 9999 }
  ret <16 x i32> %#1
}
=>
define <16 x i32> @avx512_psrl_d_512_64(<16 x i32> %v) {
#0:
  ret <16 x i32> { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 }
}
Transformation seems to be correct!

-- 576. PassManager<Function> : Skipping NOP
-- 577. PassManager<Function> : Skipping NOP
-- 578. InstCombinePass

----------------------------------------
define <8 x i64> @avx512_psrl_q_512_0(<8 x i64> %v) {
#0:
  %#1 = x86_avx512_psrl_q_512 <8 x i64> %v, <2 x i64> { 0, 0 }
  ret <8 x i64> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 579. InstCombinePass

----------------------------------------
define <8 x i64> @avx512_psrl_q_512_0(<8 x i64> %v) {
#0:
  %#1 = x86_avx512_psrl_q_512 <8 x i64> %v, <2 x i64> { 0, 0 }
  ret <8 x i64> %#1
}
=>
define <8 x i64> @avx512_psrl_q_512_0(<8 x i64> %v) {
#0:
  ret <8 x i64> %v
}
Transformation seems to be correct!

-- 580. PassManager<Function> : Skipping NOP
-- 581. PassManager<Function> : Skipping NOP
-- 582. InstCombinePass

----------------------------------------
define <8 x i64> @avx512_psrl_q_512_15(<8 x i64> %v) {
#0:
  %#1 = x86_avx512_psrl_q_512 <8 x i64> %v, <2 x i64> { 15, 9999 }
  ret <8 x i64> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 583. InstCombinePass

----------------------------------------
define <8 x i64> @avx512_psrl_q_512_15(<8 x i64> %v) {
#0:
  %#1 = x86_avx512_psrl_q_512 <8 x i64> %v, <2 x i64> { 15, 9999 }
  ret <8 x i64> %#1
}
=>
define <8 x i64> @avx512_psrl_q_512_15(<8 x i64> %v) {
#0:
  %#1 = lshr <8 x i64> %v, { 15, 15, 15, 15, 15, 15, 15, 15 }
  ret <8 x i64> %#1
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout

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' '-mtriple=x86_64-unknown-unknown' '-S' '-tv-smt-to=20000' '-tv-report-dir=/home/nlopes/alive2/build/logs' '-tv-smt-stats'

-- 584. PassManager<Function> : Skipping NOP
-- 585. PassManager<Function> : Skipping NOP
-- 586. InstCombinePass

----------------------------------------
define <8 x i64> @avx512_psrl_q_512_64(<8 x i64> %v) {
#0:
  %#1 = x86_avx512_psrl_q_512 <8 x i64> %v, <2 x i64> { 64, 9999 }
  ret <8 x i64> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 587. InstCombinePass

----------------------------------------
define <8 x i64> @avx512_psrl_q_512_64(<8 x i64> %v) {
#0:
  %#1 = x86_avx512_psrl_q_512 <8 x i64> %v, <2 x i64> { 64, 9999 }
  ret <8 x i64> %#1
}
=>
define <8 x i64> @avx512_psrl_q_512_64(<8 x i64> %v) {
#0:
  ret <8 x i64> { 0, 0, 0, 0, 0, 0, 0, 0 }
}
Transformation seems to be correct!

-- 588. PassManager<Function> : Skipping NOP
-- 589. PassManager<Function> : Skipping NOP
-- 590. InstCombinePass

----------------------------------------
define <8 x i16> @sse2_psll_w_0(<8 x i16> %v) {
#0:
  %#1 = x86_sse2_psll_w <8 x i16> %v, <8 x i16> { 0, 0, 0, 0, 0, 0, 0, 0 }
  ret <8 x i16> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 591. InstCombinePass

----------------------------------------
define <8 x i16> @sse2_psll_w_0(<8 x i16> %v) {
#0:
  %#1 = x86_sse2_psll_w <8 x i16> %v, <8 x i16> { 0, 0, 0, 0, 0, 0, 0, 0 }
  ret <8 x i16> %#1
}
=>
define <8 x i16> @sse2_psll_w_0(<8 x i16> %v) {
#0:
  ret <8 x i16> %v
}
Transformation seems to be correct!

-- 592. PassManager<Function> : Skipping NOP
-- 593. PassManager<Function> : Skipping NOP
-- 594. InstCombinePass

----------------------------------------
define <8 x i16> @sse2_psll_w_15(<8 x i16> %v) {
#0:
  %#1 = x86_sse2_psll_w <8 x i16> %v, <8 x i16> { 15, 0, 0, 0, 9999, 9999, 9999, 9999 }
  ret <8 x i16> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 595. InstCombinePass

----------------------------------------
define <8 x i16> @sse2_psll_w_15(<8 x i16> %v) {
#0:
  %#1 = x86_sse2_psll_w <8 x i16> %v, <8 x i16> { 15, 0, 0, 0, 9999, 9999, 9999, 9999 }
  ret <8 x i16> %#1
}
=>
define <8 x i16> @sse2_psll_w_15(<8 x i16> %v) {
#0:
  %#1 = shl <8 x i16> %v, { 15, 15, 15, 15, 15, 15, 15, 15 }
  ret <8 x i16> %#1
}
Transformation seems to be correct!

-- 596. PassManager<Function> : Skipping NOP
-- 597. PassManager<Function> : Skipping NOP
-- 598. InstCombinePass

----------------------------------------
define <8 x i16> @sse2_psll_w_15_splat(<8 x i16> %v) {
#0:
  %#1 = x86_sse2_psll_w <8 x i16> %v, <8 x i16> { 15, 15, 15, 15, 15, 15, 15, 15 }
  ret <8 x i16> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 599. InstCombinePass

----------------------------------------
define <8 x i16> @sse2_psll_w_15_splat(<8 x i16> %v) {
#0:
  %#1 = x86_sse2_psll_w <8 x i16> %v, <8 x i16> { 15, 15, 15, 15, 15, 15, 15, 15 }
  ret <8 x i16> %#1
}
=>
define <8 x i16> @sse2_psll_w_15_splat(<8 x i16> %v) {
#0:
  ret <8 x i16> { 0, 0, 0, 0, 0, 0, 0, 0 }
}
Transformation seems to be correct!

-- 600. PassManager<Function> : Skipping NOP
-- 601. PassManager<Function> : Skipping NOP
-- 602. InstCombinePass

----------------------------------------
define <8 x i16> @sse2_psll_w_64(<8 x i16> %v) {
#0:
  %#1 = x86_sse2_psll_w <8 x i16> %v, <8 x i16> { 64, 0, 0, 0, 9999, 9999, 9999, 9999 }
  ret <8 x i16> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 603. InstCombinePass

----------------------------------------
define <8 x i16> @sse2_psll_w_64(<8 x i16> %v) {
#0:
  %#1 = x86_sse2_psll_w <8 x i16> %v, <8 x i16> { 64, 0, 0, 0, 9999, 9999, 9999, 9999 }
  ret <8 x i16> %#1
}
=>
define <8 x i16> @sse2_psll_w_64(<8 x i16> %v) {
#0:
  ret <8 x i16> { 0, 0, 0, 0, 0, 0, 0, 0 }
}
Transformation seems to be correct!

-- 604. PassManager<Function> : Skipping NOP
-- 605. PassManager<Function> : Skipping NOP
-- 606. InstCombinePass

----------------------------------------
define <4 x i32> @sse2_psll_d_0(<4 x i32> %v) {
#0:
  %#1 = x86_sse2_psll_d <4 x i32> %v, <4 x i32> { 0, 0, 0, 0 }
  ret <4 x i32> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 607. InstCombinePass

----------------------------------------
define <4 x i32> @sse2_psll_d_0(<4 x i32> %v) {
#0:
  %#1 = x86_sse2_psll_d <4 x i32> %v, <4 x i32> { 0, 0, 0, 0 }
  ret <4 x i32> %#1
}
=>
define <4 x i32> @sse2_psll_d_0(<4 x i32> %v) {
#0:
  ret <4 x i32> %v
}
Transformation seems to be correct!

-- 608. PassManager<Function> : Skipping NOP
-- 609. PassManager<Function> : Skipping NOP
-- 610. InstCombinePass

----------------------------------------
define <4 x i32> @sse2_psll_d_15(<4 x i32> %v) {
#0:
  %#1 = x86_sse2_psll_d <4 x i32> %v, <4 x i32> { 15, 0, 9999, 9999 }
  ret <4 x i32> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 611. InstCombinePass

----------------------------------------
define <4 x i32> @sse2_psll_d_15(<4 x i32> %v) {
#0:
  %#1 = x86_sse2_psll_d <4 x i32> %v, <4 x i32> { 15, 0, 9999, 9999 }
  ret <4 x i32> %#1
}
=>
define <4 x i32> @sse2_psll_d_15(<4 x i32> %v) {
#0:
  %#1 = shl <4 x i32> %v, { 15, 15, 15, 15 }
  ret <4 x i32> %#1
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout

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' '-mtriple=x86_64-unknown-unknown' '-S' '-tv-smt-to=20000' '-tv-report-dir=/home/nlopes/alive2/build/logs' '-tv-smt-stats'

-- 612. PassManager<Function> : Skipping NOP
-- 613. PassManager<Function> : Skipping NOP
-- 614. InstCombinePass

----------------------------------------
define <4 x i32> @sse2_psll_d_15_splat(<4 x i32> %v) {
#0:
  %#1 = x86_sse2_psll_d <4 x i32> %v, <4 x i32> { 15, 15, 15, 15 }
  ret <4 x i32> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 615. InstCombinePass

----------------------------------------
define <4 x i32> @sse2_psll_d_15_splat(<4 x i32> %v) {
#0:
  %#1 = x86_sse2_psll_d <4 x i32> %v, <4 x i32> { 15, 15, 15, 15 }
  ret <4 x i32> %#1
}
=>
define <4 x i32> @sse2_psll_d_15_splat(<4 x i32> %v) {
#0:
  ret <4 x i32> { 0, 0, 0, 0 }
}
Transformation seems to be correct!

-- 616. PassManager<Function> : Skipping NOP
-- 617. PassManager<Function> : Skipping NOP
-- 618. InstCombinePass

----------------------------------------
define <4 x i32> @sse2_psll_d_64(<4 x i32> %v) {
#0:
  %#1 = x86_sse2_psll_d <4 x i32> %v, <4 x i32> { 64, 0, 9999, 9999 }
  ret <4 x i32> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 619. InstCombinePass

----------------------------------------
define <4 x i32> @sse2_psll_d_64(<4 x i32> %v) {
#0:
  %#1 = x86_sse2_psll_d <4 x i32> %v, <4 x i32> { 64, 0, 9999, 9999 }
  ret <4 x i32> %#1
}
=>
define <4 x i32> @sse2_psll_d_64(<4 x i32> %v) {
#0:
  ret <4 x i32> { 0, 0, 0, 0 }
}
Transformation seems to be correct!

-- 620. PassManager<Function> : Skipping NOP
-- 621. PassManager<Function> : Skipping NOP
-- 622. InstCombinePass

----------------------------------------
define <2 x i64> @sse2_psll_q_0(<2 x i64> %v) {
#0:
  %#1 = x86_sse2_psll_q <2 x i64> %v, <2 x i64> { 0, 0 }
  ret <2 x i64> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 623. InstCombinePass

----------------------------------------
define <2 x i64> @sse2_psll_q_0(<2 x i64> %v) {
#0:
  %#1 = x86_sse2_psll_q <2 x i64> %v, <2 x i64> { 0, 0 }
  ret <2 x i64> %#1
}
=>
define <2 x i64> @sse2_psll_q_0(<2 x i64> %v) {
#0:
  ret <2 x i64> %v
}
Transformation seems to be correct!

-- 624. PassManager<Function> : Skipping NOP
-- 625. PassManager<Function> : Skipping NOP
-- 626. InstCombinePass

----------------------------------------
define <2 x i64> @sse2_psll_q_15(<2 x i64> %v) {
#0:
  %#1 = x86_sse2_psll_q <2 x i64> %v, <2 x i64> { 15, 9999 }
  ret <2 x i64> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 627. InstCombinePass

----------------------------------------
define <2 x i64> @sse2_psll_q_15(<2 x i64> %v) {
#0:
  %#1 = x86_sse2_psll_q <2 x i64> %v, <2 x i64> { 15, 9999 }
  ret <2 x i64> %#1
}
=>
define <2 x i64> @sse2_psll_q_15(<2 x i64> %v) {
#0:
  %#1 = shl <2 x i64> %v, { 15, 15 }
  ret <2 x i64> %#1
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout

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' '-mtriple=x86_64-unknown-unknown' '-S' '-tv-smt-to=20000' '-tv-report-dir=/home/nlopes/alive2/build/logs' '-tv-smt-stats'

-- 628. PassManager<Function> : Skipping NOP
-- 629. PassManager<Function> : Skipping NOP
-- 630. InstCombinePass

----------------------------------------
define <2 x i64> @sse2_psll_q_64(<2 x i64> %v) {
#0:
  %#1 = x86_sse2_psll_q <2 x i64> %v, <2 x i64> { 64, 9999 }
  ret <2 x i64> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 631. InstCombinePass

----------------------------------------
define <2 x i64> @sse2_psll_q_64(<2 x i64> %v) {
#0:
  %#1 = x86_sse2_psll_q <2 x i64> %v, <2 x i64> { 64, 9999 }
  ret <2 x i64> %#1
}
=>
define <2 x i64> @sse2_psll_q_64(<2 x i64> %v) {
#0:
  ret <2 x i64> { 0, 0 }
}
Transformation seems to be correct!

-- 632. PassManager<Function> : Skipping NOP
-- 633. PassManager<Function> : Skipping NOP
-- 634. InstCombinePass

----------------------------------------
define <16 x i16> @avx2_psll_w_0(<16 x i16> %v) {
#0:
  %#1 = x86_avx2_psll_w <16 x i16> %v, <8 x i16> { 0, 0, 0, 0, 0, 0, 0, 0 }
  ret <16 x i16> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 635. InstCombinePass

----------------------------------------
define <16 x i16> @avx2_psll_w_0(<16 x i16> %v) {
#0:
  %#1 = x86_avx2_psll_w <16 x i16> %v, <8 x i16> { 0, 0, 0, 0, 0, 0, 0, 0 }
  ret <16 x i16> %#1
}
=>
define <16 x i16> @avx2_psll_w_0(<16 x i16> %v) {
#0:
  ret <16 x i16> %v
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout

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' '-mtriple=x86_64-unknown-unknown' '-S' '-tv-smt-to=20000' '-tv-report-dir=/home/nlopes/alive2/build/logs' '-tv-smt-stats'

-- 636. PassManager<Function> : Skipping NOP
-- 637. PassManager<Function> : Skipping NOP
-- 638. InstCombinePass

----------------------------------------
define <16 x i16> @avx2_psll_w_15(<16 x i16> %v) {
#0:
  %#1 = x86_avx2_psll_w <16 x i16> %v, <8 x i16> { 15, 0, 0, 0, 9999, 9999, 9999, 9999 }
  ret <16 x i16> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 639. InstCombinePass

----------------------------------------
define <16 x i16> @avx2_psll_w_15(<16 x i16> %v) {
#0:
  %#1 = x86_avx2_psll_w <16 x i16> %v, <8 x i16> { 15, 0, 0, 0, 9999, 9999, 9999, 9999 }
  ret <16 x i16> %#1
}
=>
define <16 x i16> @avx2_psll_w_15(<16 x i16> %v) {
#0:
  %#1 = shl <16 x i16> %v, { 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15 }
  ret <16 x i16> %#1
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout

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' '-mtriple=x86_64-unknown-unknown' '-S' '-tv-smt-to=20000' '-tv-report-dir=/home/nlopes/alive2/build/logs' '-tv-smt-stats'

-- 640. PassManager<Function> : Skipping NOP
-- 641. PassManager<Function> : Skipping NOP
-- 642. InstCombinePass

----------------------------------------
define <16 x i16> @avx2_psll_w_15_splat(<16 x i16> %v) {
#0:
  %#1 = x86_avx2_psll_w <16 x i16> %v, <8 x i16> { 15, 15, 15, 15, 15, 15, 15, 15 }
  ret <16 x i16> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 643. InstCombinePass

----------------------------------------
define <16 x i16> @avx2_psll_w_15_splat(<16 x i16> %v) {
#0:
  %#1 = x86_avx2_psll_w <16 x i16> %v, <8 x i16> { 15, 15, 15, 15, 15, 15, 15, 15 }
  ret <16 x i16> %#1
}
=>
define <16 x i16> @avx2_psll_w_15_splat(<16 x i16> %v) {
#0:
  ret <16 x i16> { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 }
}
Transformation seems to be correct!

-- 644. PassManager<Function> : Skipping NOP
-- 645. PassManager<Function> : Skipping NOP
-- 646. InstCombinePass

----------------------------------------
define <16 x i16> @avx2_psll_w_64(<16 x i16> %v) {
#0:
  %#1 = x86_avx2_psll_w <16 x i16> %v, <8 x i16> { 64, 0, 0, 0, 9999, 9999, 9999, 9999 }
  ret <16 x i16> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 647. InstCombinePass

----------------------------------------
define <16 x i16> @avx2_psll_w_64(<16 x i16> %v) {
#0:
  %#1 = x86_avx2_psll_w <16 x i16> %v, <8 x i16> { 64, 0, 0, 0, 9999, 9999, 9999, 9999 }
  ret <16 x i16> %#1
}
=>
define <16 x i16> @avx2_psll_w_64(<16 x i16> %v) {
#0:
  ret <16 x i16> { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 }
}
Transformation seems to be correct!

-- 648. PassManager<Function> : Skipping NOP
-- 649. PassManager<Function> : Skipping NOP
-- 650. InstCombinePass

----------------------------------------
define <8 x i32> @avx2_psll_d_0(<8 x i32> %v) {
#0:
  %#1 = x86_avx2_psll_d <8 x i32> %v, <4 x i32> { 0, 0, 0, 0 }
  ret <8 x i32> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 651. InstCombinePass

----------------------------------------
define <8 x i32> @avx2_psll_d_0(<8 x i32> %v) {
#0:
  %#1 = x86_avx2_psll_d <8 x i32> %v, <4 x i32> { 0, 0, 0, 0 }
  ret <8 x i32> %#1
}
=>
define <8 x i32> @avx2_psll_d_0(<8 x i32> %v) {
#0:
  ret <8 x i32> %v
}
Transformation seems to be correct!

-- 652. PassManager<Function> : Skipping NOP
-- 653. PassManager<Function> : Skipping NOP
-- 654. InstCombinePass

----------------------------------------
define <8 x i32> @avx2_psll_d_15(<8 x i32> %v) {
#0:
  %#1 = x86_avx2_psll_d <8 x i32> %v, <4 x i32> { 15, 0, 9999, 9999 }
  ret <8 x i32> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 655. InstCombinePass

----------------------------------------
define <8 x i32> @avx2_psll_d_15(<8 x i32> %v) {
#0:
  %#1 = x86_avx2_psll_d <8 x i32> %v, <4 x i32> { 15, 0, 9999, 9999 }
  ret <8 x i32> %#1
}
=>
define <8 x i32> @avx2_psll_d_15(<8 x i32> %v) {
#0:
  %#1 = shl <8 x i32> %v, { 15, 15, 15, 15, 15, 15, 15, 15 }
  ret <8 x i32> %#1
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout

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' '-mtriple=x86_64-unknown-unknown' '-S' '-tv-smt-to=20000' '-tv-report-dir=/home/nlopes/alive2/build/logs' '-tv-smt-stats'

-- 656. PassManager<Function> : Skipping NOP
-- 657. PassManager<Function> : Skipping NOP
-- 658. InstCombinePass

----------------------------------------
define <8 x i32> @avx2_psll_d_15_splat(<8 x i32> %v) {
#0:
  %#1 = x86_avx2_psll_d <8 x i32> %v, <4 x i32> { 15, 15, 15, 15 }
  ret <8 x i32> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 659. InstCombinePass

----------------------------------------
define <8 x i32> @avx2_psll_d_15_splat(<8 x i32> %v) {
#0:
  %#1 = x86_avx2_psll_d <8 x i32> %v, <4 x i32> { 15, 15, 15, 15 }
  ret <8 x i32> %#1
}
=>
define <8 x i32> @avx2_psll_d_15_splat(<8 x i32> %v) {
#0:
  ret <8 x i32> { 0, 0, 0, 0, 0, 0, 0, 0 }
}
Transformation seems to be correct!

-- 660. PassManager<Function> : Skipping NOP
-- 661. PassManager<Function> : Skipping NOP
-- 662. InstCombinePass

----------------------------------------
define <8 x i32> @avx2_psll_d_64(<8 x i32> %v) {
#0:
  %#1 = x86_avx2_psll_d <8 x i32> %v, <4 x i32> { 64, 0, 9999, 9999 }
  ret <8 x i32> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 663. InstCombinePass

----------------------------------------
define <8 x i32> @avx2_psll_d_64(<8 x i32> %v) {
#0:
  %#1 = x86_avx2_psll_d <8 x i32> %v, <4 x i32> { 64, 0, 9999, 9999 }
  ret <8 x i32> %#1
}
=>
define <8 x i32> @avx2_psll_d_64(<8 x i32> %v) {
#0:
  ret <8 x i32> { 0, 0, 0, 0, 0, 0, 0, 0 }
}
Transformation seems to be correct!

-- 664. PassManager<Function> : Skipping NOP
-- 665. PassManager<Function> : Skipping NOP
-- 666. InstCombinePass

----------------------------------------
define <4 x i64> @avx2_psll_q_0(<4 x i64> %v) {
#0:
  %#1 = x86_avx2_psll_q <4 x i64> %v, <2 x i64> { 0, 0 }
  ret <4 x i64> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 667. InstCombinePass

----------------------------------------
define <4 x i64> @avx2_psll_q_0(<4 x i64> %v) {
#0:
  %#1 = x86_avx2_psll_q <4 x i64> %v, <2 x i64> { 0, 0 }
  ret <4 x i64> %#1
}
=>
define <4 x i64> @avx2_psll_q_0(<4 x i64> %v) {
#0:
  ret <4 x i64> %v
}
Transformation seems to be correct!

-- 668. PassManager<Function> : Skipping NOP
-- 669. PassManager<Function> : Skipping NOP
-- 670. InstCombinePass

----------------------------------------
define <4 x i64> @avx2_psll_q_15(<4 x i64> %v) {
#0:
  %#1 = x86_avx2_psll_q <4 x i64> %v, <2 x i64> { 15, 9999 }
  ret <4 x i64> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 671. InstCombinePass

----------------------------------------
define <4 x i64> @avx2_psll_q_15(<4 x i64> %v) {
#0:
  %#1 = x86_avx2_psll_q <4 x i64> %v, <2 x i64> { 15, 9999 }
  ret <4 x i64> %#1
}
=>
define <4 x i64> @avx2_psll_q_15(<4 x i64> %v) {
#0:
  %#1 = shl <4 x i64> %v, { 15, 15, 15, 15 }
  ret <4 x i64> %#1
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout

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' '-mtriple=x86_64-unknown-unknown' '-S' '-tv-smt-to=20000' '-tv-report-dir=/home/nlopes/alive2/build/logs' '-tv-smt-stats'

-- 672. PassManager<Function> : Skipping NOP
-- 673. PassManager<Function> : Skipping NOP
-- 674. InstCombinePass

----------------------------------------
define <4 x i64> @avx2_psll_q_64(<4 x i64> %v) {
#0:
  %#1 = x86_avx2_psll_q <4 x i64> %v, <2 x i64> { 64, 9999 }
  ret <4 x i64> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 675. InstCombinePass

----------------------------------------
define <4 x i64> @avx2_psll_q_64(<4 x i64> %v) {
#0:
  %#1 = x86_avx2_psll_q <4 x i64> %v, <2 x i64> { 64, 9999 }
  ret <4 x i64> %#1
}
=>
define <4 x i64> @avx2_psll_q_64(<4 x i64> %v) {
#0:
  ret <4 x i64> { 0, 0, 0, 0 }
}
Transformation seems to be correct!

-- 676. PassManager<Function> : Skipping NOP
-- 677. PassManager<Function> : Skipping NOP
-- 678. InstCombinePass

----------------------------------------
define <32 x i16> @avx512_psll_w_512_0(<32 x i16> %v) {
#0:
  %#1 = x86_avx512_psll_w_512 <32 x i16> %v, <8 x i16> { 0, 0, 0, 0, 0, 0, 0, 0 }
  ret <32 x i16> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 679. InstCombinePass

----------------------------------------
define <32 x i16> @avx512_psll_w_512_0(<32 x i16> %v) {
#0:
  %#1 = x86_avx512_psll_w_512 <32 x i16> %v, <8 x i16> { 0, 0, 0, 0, 0, 0, 0, 0 }
  ret <32 x i16> %#1
}
=>
define <32 x i16> @avx512_psll_w_512_0(<32 x i16> %v) {
#0:
  ret <32 x i16> %v
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout

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' '-mtriple=x86_64-unknown-unknown' '-S' '-tv-smt-to=20000' '-tv-report-dir=/home/nlopes/alive2/build/logs' '-tv-smt-stats'

-- 680. PassManager<Function> : Skipping NOP
-- 681. PassManager<Function> : Skipping NOP
-- 682. InstCombinePass

----------------------------------------
define <32 x i16> @avx512_psll_w_512_15(<32 x i16> %v) {
#0:
  %#1 = x86_avx512_psll_w_512 <32 x i16> %v, <8 x i16> { 15, 0, 0, 0, 9999, 9999, 9999, 9999 }
  ret <32 x i16> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 683. InstCombinePass

----------------------------------------
define <32 x i16> @avx512_psll_w_512_15(<32 x i16> %v) {
#0:
  %#1 = x86_avx512_psll_w_512 <32 x i16> %v, <8 x i16> { 15, 0, 0, 0, 9999, 9999, 9999, 9999 }
  ret <32 x i16> %#1
}
=>
define <32 x i16> @avx512_psll_w_512_15(<32 x i16> %v) {
#0:
  %#1 = shl <32 x i16> %v, { 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15 }
  ret <32 x i16> %#1
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout

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' '-mtriple=x86_64-unknown-unknown' '-S' '-tv-smt-to=20000' '-tv-report-dir=/home/nlopes/alive2/build/logs' '-tv-smt-stats'

-- 684. PassManager<Function> : Skipping NOP
-- 685. PassManager<Function> : Skipping NOP
-- 686. InstCombinePass

----------------------------------------
define <32 x i16> @avx512_psll_w_15_512_splat(<32 x i16> %v) {
#0:
  %#1 = x86_avx512_psll_w_512 <32 x i16> %v, <8 x i16> { 15, 15, 15, 15, 15, 15, 15, 15 }
  ret <32 x i16> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 687. InstCombinePass

----------------------------------------
define <32 x i16> @avx512_psll_w_15_512_splat(<32 x i16> %v) {
#0:
  %#1 = x86_avx512_psll_w_512 <32 x i16> %v, <8 x i16> { 15, 15, 15, 15, 15, 15, 15, 15 }
  ret <32 x i16> %#1
}
=>
define <32 x i16> @avx512_psll_w_15_512_splat(<32 x i16> %v) {
#0:
  ret <32 x i16> { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 }
}
Transformation seems to be correct!

-- 688. PassManager<Function> : Skipping NOP
-- 689. PassManager<Function> : Skipping NOP
-- 690. InstCombinePass

----------------------------------------
define <32 x i16> @avx512_psll_w_512_64(<32 x i16> %v) {
#0:
  %#1 = x86_avx512_psll_w_512 <32 x i16> %v, <8 x i16> { 64, 0, 0, 0, 9999, 9999, 9999, 9999 }
  ret <32 x i16> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 691. InstCombinePass

----------------------------------------
define <32 x i16> @avx512_psll_w_512_64(<32 x i16> %v) {
#0:
  %#1 = x86_avx512_psll_w_512 <32 x i16> %v, <8 x i16> { 64, 0, 0, 0, 9999, 9999, 9999, 9999 }
  ret <32 x i16> %#1
}
=>
define <32 x i16> @avx512_psll_w_512_64(<32 x i16> %v) {
#0:
  ret <32 x i16> { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 }
}
Transformation seems to be correct!

-- 692. PassManager<Function> : Skipping NOP
-- 693. PassManager<Function> : Skipping NOP
-- 694. InstCombinePass

----------------------------------------
define <16 x i32> @avx512_psll_d_512_0(<16 x i32> %v) {
#0:
  %#1 = x86_avx512_psll_d_512 <16 x i32> %v, <4 x i32> { 0, 0, 0, 0 }
  ret <16 x i32> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 695. InstCombinePass

----------------------------------------
define <16 x i32> @avx512_psll_d_512_0(<16 x i32> %v) {
#0:
  %#1 = x86_avx512_psll_d_512 <16 x i32> %v, <4 x i32> { 0, 0, 0, 0 }
  ret <16 x i32> %#1
}
=>
define <16 x i32> @avx512_psll_d_512_0(<16 x i32> %v) {
#0:
  ret <16 x i32> %v
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout

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' '-mtriple=x86_64-unknown-unknown' '-S' '-tv-smt-to=20000' '-tv-report-dir=/home/nlopes/alive2/build/logs' '-tv-smt-stats'

-- 696. PassManager<Function> : Skipping NOP
-- 697. PassManager<Function> : Skipping NOP
-- 698. InstCombinePass

----------------------------------------
define <16 x i32> @avx512_psll_d_512_15(<16 x i32> %v) {
#0:
  %#1 = x86_avx512_psll_d_512 <16 x i32> %v, <4 x i32> { 15, 0, 9999, 9999 }
  ret <16 x i32> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 699. InstCombinePass

----------------------------------------
define <16 x i32> @avx512_psll_d_512_15(<16 x i32> %v) {
#0:
  %#1 = x86_avx512_psll_d_512 <16 x i32> %v, <4 x i32> { 15, 0, 9999, 9999 }
  ret <16 x i32> %#1
}
=>
define <16 x i32> @avx512_psll_d_512_15(<16 x i32> %v) {
#0:
  %#1 = shl <16 x i32> %v, { 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15 }
  ret <16 x i32> %#1
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout

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' '-mtriple=x86_64-unknown-unknown' '-S' '-tv-smt-to=20000' '-tv-report-dir=/home/nlopes/alive2/build/logs' '-tv-smt-stats'

-- 700. PassManager<Function> : Skipping NOP
-- 701. PassManager<Function> : Skipping NOP
-- 702. InstCombinePass

----------------------------------------
define <16 x i32> @avx512_psll_d_512_15_splat(<16 x i32> %v) {
#0:
  %#1 = x86_avx512_psll_d_512 <16 x i32> %v, <4 x i32> { 15, 15, 15, 15 }
  ret <16 x i32> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 703. InstCombinePass

----------------------------------------
define <16 x i32> @avx512_psll_d_512_15_splat(<16 x i32> %v) {
#0:
  %#1 = x86_avx512_psll_d_512 <16 x i32> %v, <4 x i32> { 15, 15, 15, 15 }
  ret <16 x i32> %#1
}
=>
define <16 x i32> @avx512_psll_d_512_15_splat(<16 x i32> %v) {
#0:
  ret <16 x i32> { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 }
}
Transformation seems to be correct!

-- 704. PassManager<Function> : Skipping NOP
-- 705. PassManager<Function> : Skipping NOP
-- 706. InstCombinePass

----------------------------------------
define <16 x i32> @avx512_psll_d_512_64(<16 x i32> %v) {
#0:
  %#1 = x86_avx512_psll_d_512 <16 x i32> %v, <4 x i32> { 64, 0, 9999, 9999 }
  ret <16 x i32> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 707. InstCombinePass

----------------------------------------
define <16 x i32> @avx512_psll_d_512_64(<16 x i32> %v) {
#0:
  %#1 = x86_avx512_psll_d_512 <16 x i32> %v, <4 x i32> { 64, 0, 9999, 9999 }
  ret <16 x i32> %#1
}
=>
define <16 x i32> @avx512_psll_d_512_64(<16 x i32> %v) {
#0:
  ret <16 x i32> { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 }
}
Transformation seems to be correct!

-- 708. PassManager<Function> : Skipping NOP
-- 709. PassManager<Function> : Skipping NOP
-- 710. InstCombinePass

----------------------------------------
define <8 x i64> @avx512_psll_q_512_0(<8 x i64> %v) {
#0:
  %#1 = x86_avx512_psll_q_512 <8 x i64> %v, <2 x i64> { 0, 0 }
  ret <8 x i64> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 711. InstCombinePass

----------------------------------------
define <8 x i64> @avx512_psll_q_512_0(<8 x i64> %v) {
#0:
  %#1 = x86_avx512_psll_q_512 <8 x i64> %v, <2 x i64> { 0, 0 }
  ret <8 x i64> %#1
}
=>
define <8 x i64> @avx512_psll_q_512_0(<8 x i64> %v) {
#0:
  ret <8 x i64> %v
}
Transformation seems to be correct!

-- 712. PassManager<Function> : Skipping NOP
-- 713. PassManager<Function> : Skipping NOP
-- 714. InstCombinePass

----------------------------------------
define <8 x i64> @avx512_psll_q_512_15(<8 x i64> %v) {
#0:
  %#1 = x86_avx512_psll_q_512 <8 x i64> %v, <2 x i64> { 15, 9999 }
  ret <8 x i64> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 715. InstCombinePass

----------------------------------------
define <8 x i64> @avx512_psll_q_512_15(<8 x i64> %v) {
#0:
  %#1 = x86_avx512_psll_q_512 <8 x i64> %v, <2 x i64> { 15, 9999 }
  ret <8 x i64> %#1
}
=>
define <8 x i64> @avx512_psll_q_512_15(<8 x i64> %v) {
#0:
  %#1 = shl <8 x i64> %v, { 15, 15, 15, 15, 15, 15, 15, 15 }
  ret <8 x i64> %#1
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout

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' '-mtriple=x86_64-unknown-unknown' '-S' '-tv-smt-to=20000' '-tv-report-dir=/home/nlopes/alive2/build/logs' '-tv-smt-stats'

-- 716. PassManager<Function> : Skipping NOP
-- 717. PassManager<Function> : Skipping NOP
-- 718. InstCombinePass

----------------------------------------
define <8 x i64> @avx512_psll_q_512_64(<8 x i64> %v) {
#0:
  %#1 = x86_avx512_psll_q_512 <8 x i64> %v, <2 x i64> { 64, 9999 }
  ret <8 x i64> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 719. InstCombinePass

----------------------------------------
define <8 x i64> @avx512_psll_q_512_64(<8 x i64> %v) {
#0:
  %#1 = x86_avx512_psll_q_512 <8 x i64> %v, <2 x i64> { 64, 9999 }
  ret <8 x i64> %#1
}
=>
define <8 x i64> @avx512_psll_q_512_64(<8 x i64> %v) {
#0:
  ret <8 x i64> { 0, 0, 0, 0, 0, 0, 0, 0 }
}
Transformation seems to be correct!

-- 720. PassManager<Function> : Skipping NOP
-- 721. PassManager<Function> : Skipping NOP
-- 722. InstCombinePass

----------------------------------------
define <4 x i32> @avx2_psrav_d_128_0(<4 x i32> %v) {
#0:
  %#1 = x86_avx2_psrav_d <4 x i32> %v, <4 x i32> { 0, 0, 0, 0 }
  ret <4 x i32> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 723. InstCombinePass

----------------------------------------
define <4 x i32> @avx2_psrav_d_128_0(<4 x i32> %v) {
#0:
  %#1 = x86_avx2_psrav_d <4 x i32> %v, <4 x i32> { 0, 0, 0, 0 }
  ret <4 x i32> %#1
}
=>
define <4 x i32> @avx2_psrav_d_128_0(<4 x i32> %v) {
#0:
  ret <4 x i32> %v
}
Transformation seems to be correct!

-- 724. PassManager<Function> : Skipping NOP
-- 725. PassManager<Function> : Skipping NOP
-- 726. InstCombinePass

----------------------------------------
define <8 x i32> @avx2_psrav_d_256_0(<8 x i32> %v) {
#0:
  %#1 = x86_avx2_psrav_d_256 <8 x i32> %v, <8 x i32> { 0, 0, 0, 0, 0, 0, 0, 0 }
  ret <8 x i32> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 727. InstCombinePass

----------------------------------------
define <8 x i32> @avx2_psrav_d_256_0(<8 x i32> %v) {
#0:
  %#1 = x86_avx2_psrav_d_256 <8 x i32> %v, <8 x i32> { 0, 0, 0, 0, 0, 0, 0, 0 }
  ret <8 x i32> %#1
}
=>
define <8 x i32> @avx2_psrav_d_256_0(<8 x i32> %v) {
#0:
  ret <8 x i32> %v
}
Transformation seems to be correct!

-- 728. PassManager<Function> : Skipping NOP
-- 729. PassManager<Function> : Skipping NOP
-- 730. InstCombinePass

----------------------------------------
define <16 x i32> @avx512_psrav_d_512_0(<16 x i32> %v) {
#0:
  %#1 = x86_avx512_psrav_d_512 <16 x i32> %v, <16 x i32> { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 }
  ret <16 x i32> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 731. InstCombinePass

----------------------------------------
define <16 x i32> @avx512_psrav_d_512_0(<16 x i32> %v) {
#0:
  %#1 = x86_avx512_psrav_d_512 <16 x i32> %v, <16 x i32> { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 }
  ret <16 x i32> %#1
}
=>
define <16 x i32> @avx512_psrav_d_512_0(<16 x i32> %v) {
#0:
  ret <16 x i32> %v
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout

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' '-mtriple=x86_64-unknown-unknown' '-S' '-tv-smt-to=20000' '-tv-report-dir=/home/nlopes/alive2/build/logs' '-tv-smt-stats'

-- 732. PassManager<Function> : Skipping NOP
-- 733. PassManager<Function> : Skipping NOP
-- 734. InstCombinePass

----------------------------------------
define <4 x i32> @avx2_psrav_d_128_var(<4 x i32> %v) {
#0:
  %#1 = x86_avx2_psrav_d <4 x i32> %v, <4 x i32> { 0, 8, 16, 64 }
  ret <4 x i32> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 735. InstCombinePass

----------------------------------------
define <4 x i32> @avx2_psrav_d_128_var(<4 x i32> %v) {
#0:
  %#1 = x86_avx2_psrav_d <4 x i32> %v, <4 x i32> { 0, 8, 16, 64 }
  ret <4 x i32> %#1
}
=>
define <4 x i32> @avx2_psrav_d_128_var(<4 x i32> %v) {
#0:
  %#1 = ashr <4 x i32> %v, { 0, 8, 16, 31 }
  ret <4 x i32> %#1
}
Transformation seems to be correct!

-- 736. PassManager<Function> : Skipping NOP
-- 737. PassManager<Function> : Skipping NOP
-- 738. InstCombinePass

----------------------------------------
define <8 x i32> @avx2_psrav_d_256_var(<8 x i32> %v) {
#0:
  %#1 = x86_avx2_psrav_d_256 <8 x i32> %v, <8 x i32> { 0, 8, 16, 24, 32, 24, 8, 0 }
  ret <8 x i32> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 739. InstCombinePass

----------------------------------------
define <8 x i32> @avx2_psrav_d_256_var(<8 x i32> %v) {
#0:
  %#1 = x86_avx2_psrav_d_256 <8 x i32> %v, <8 x i32> { 0, 8, 16, 24, 32, 24, 8, 0 }
  ret <8 x i32> %#1
}
=>
define <8 x i32> @avx2_psrav_d_256_var(<8 x i32> %v) {
#0:
  %#1 = ashr <8 x i32> %v, { 0, 8, 16, 24, 31, 24, 8, 0 }
  ret <8 x i32> %#1
}
Transformation seems to be correct!

-- 740. PassManager<Function> : Skipping NOP
-- 741. PassManager<Function> : Skipping NOP
-- 742. InstCombinePass

----------------------------------------
define <16 x i32> @avx512_psrav_d_512_var(<16 x i32> %v) {
#0:
  %#1 = x86_avx512_psrav_d_512 <16 x i32> %v, <16 x i32> { 0, 8, 16, 24, 32, 24, 8, 0, 0, 8, 16, 24, 32, 24, 8, 0 }
  ret <16 x i32> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 743. InstCombinePass

----------------------------------------
define <16 x i32> @avx512_psrav_d_512_var(<16 x i32> %v) {
#0:
  %#1 = x86_avx512_psrav_d_512 <16 x i32> %v, <16 x i32> { 0, 8, 16, 24, 32, 24, 8, 0, 0, 8, 16, 24, 32, 24, 8, 0 }
  ret <16 x i32> %#1
}
=>
define <16 x i32> @avx512_psrav_d_512_var(<16 x i32> %v) {
#0:
  %#1 = ashr <16 x i32> %v, { 0, 8, 16, 24, 31, 24, 8, 0, 0, 8, 16, 24, 31, 24, 8, 0 }
  ret <16 x i32> %#1
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout

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' '-mtriple=x86_64-unknown-unknown' '-S' '-tv-smt-to=20000' '-tv-report-dir=/home/nlopes/alive2/build/logs' '-tv-smt-stats'

-- 744. PassManager<Function> : Skipping NOP
-- 745. PassManager<Function> : Skipping NOP
-- 746. InstCombinePass

----------------------------------------
define <4 x i32> @avx2_psrav_d_128_allbig(<4 x i32> %v) {
#0:
  %#1 = x86_avx2_psrav_d <4 x i32> %v, <4 x i32> { 32, 100, 4294967041, undef }
  ret <4 x i32> %#1
}
Transformation seems to be correct! (syntactically equal)

-- 747. InstCombinePass

----------------------------------------
define <4 x i32> @avx2_psrav_d_128_allbig(<4 x i32> %v) {
#0:
  %#1 = x86_avx2_psrav_d <4 x i32> %v, <4 x i32> { 32, 100, 4294967041, undef }
  ret <4 x i32> %#1
}
=>
define <4 x i32> @avx2_psrav_d_128_allbig(<4 x i32> %v) {
#0:
  %#1 = ashr <4 x i32> %v, { 31, 31, 31, undef }
  ret <4 x i32> %#1
}
Transformation doesn't verify! (unsound)
ERROR: Target is more poisonous than source

Example:
<4 x i32> %v = < poison, poison, poison, #x00000003 (3)	[based on undef] >

Source:
<4 x i32> %#1 = < poison, poison, poison, #x00000000 (0)	[based on undef] >

Target:
<4 x i32> %#1 = < poison, poison, poison, poison >
Source value: < poison, poison, poison, #x00000000 (0)	[based on undef] >
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' '-mtriple=x86_64-unknown-unknown' '-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_qv1YZSBq_yIDE.bc"

------------------- SMT STATS -------------------
Num queries: 660
Num invalid: 0
Num skips:   0
Num trivial: 778 (54.1%)
Num timeout: 67 (10.2%)
Num errors:  0 (0.0%)
Num SAT:     394 (59.7%)
Num UNSAT:   199 (30.2%)
Alive2: Transform doesn't verify; aborting!

stderr:

Transforms/InstCombine/X86/x86-vector-shifts.ll' FAILED ********************
Exit Code: 2

Command Output (stdout):
--
# RUN: at line 2
/home/nlopes/alive2/build/opt-alive.sh < /bitbucket/nlopes/llvm/llvm/test/Transforms/InstCombine/X86/x86-vector-shifts.ll -passes=instcombine -mtriple=x86_64-unknown-unknown -S | /bitbucket/nlopes/llvm/build/bin/FileCheck /bitbucket/nlopes/llvm/llvm/test/Transforms/InstCombine/X86/x86-vector-shifts.ll
# executed command: /home/nlopes/alive2/build/opt-alive.sh -passes=instcombine -mtriple=x86_64-unknown-unknown -S
# .---command stderr------------
# `-----------------------------
# error: command failed with exit status: 1
# executed command: /bitbucket/nlopes/llvm/build/bin/FileCheck /bitbucket/nlopes/llvm/llvm/test/Transforms/InstCombine/X86/x86-vector-shifts.ll
# .---command stderr------------
# | FileCheck error: '<stdin>' is empty.
# | FileCheck command line:  /bitbucket/nlopes/llvm/build/bin/FileCheck /bitbucket/nlopes/llvm/llvm/test/Transforms/InstCombine/X86/x86-vector-shifts.ll
# `-----------------------------
# error: command failed with exit status: 2

--

<-- Back