Test Failure: Transforms/SLPVectorizer/X86/blending-shuffle.ll

Test source: git

Comments: LLVM PR44185

Log:

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

----------------------------------------
define <2 x i8> @g(<2 x i8> %x, <2 x i8> %y) {
%0:
  %x0 = extractelement <2 x i8> %x, i32 0
  %y1 = extractelement <2 x i8> %y, i32 1
  %x0x0 = mul i8 %x0, %x0
  %y1y1 = mul i8 %y1, %y1
  %ins1 = insertelement <2 x i8> undef, i8 %x0x0, i32 0
  %ins2 = insertelement <2 x i8> %ins1, i8 %y1y1, i32 1
  ret <2 x i8> %ins2
}
Transformation seems to be correct! (syntactically equal)

-- 3. SLPVectorizerPass

----------------------------------------
define <2 x i8> @g(<2 x i8> %x, <2 x i8> %y) {
%0:
  %x0 = extractelement <2 x i8> %x, i32 0
  %y1 = extractelement <2 x i8> %y, i32 1
  %x0x0 = mul i8 %x0, %x0
  %y1y1 = mul i8 %y1, %y1
  %ins1 = insertelement <2 x i8> undef, i8 %x0x0, i32 0
  %ins2 = insertelement <2 x i8> %ins1, i8 %y1y1, i32 1
  ret <2 x i8> %ins2
}
=>
define <2 x i8> @g(<2 x i8> %x, <2 x i8> %y) {
%0:
  %x0 = extractelement <2 x i8> %x, i32 0
  %y1 = extractelement <2 x i8> %y, i32 1
  %1 = insertelement <2 x i8> poison, i8 %x0, i32 0
  %2 = insertelement <2 x i8> %1, i8 %y1, i32 1
  %3 = mul <2 x i8> %2, %2
  ret <2 x i8> %3
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout
-- 4. InstCombinePass

----------------------------------------
define <2 x i8> @g(<2 x i8> %x, <2 x i8> %y) {
%0:
  %x0 = extractelement <2 x i8> %x, i32 0
  %y1 = extractelement <2 x i8> %y, i32 1
  %1 = insertelement <2 x i8> poison, i8 %x0, i32 0
  %2 = insertelement <2 x i8> %1, i8 %y1, i32 1
  %3 = mul <2 x i8> %2, %2
  ret <2 x i8> %3
}
Transformation seems to be correct! (syntactically equal)

-- 5. InstCombinePass

----------------------------------------
define <2 x i8> @g(<2 x i8> %x, <2 x i8> %y) {
%0:
  %x0 = extractelement <2 x i8> %x, i32 0
  %y1 = extractelement <2 x i8> %y, i32 1
  %1 = insertelement <2 x i8> poison, i8 %x0, i32 0
  %2 = insertelement <2 x i8> %1, i8 %y1, i32 1
  %3 = mul <2 x i8> %2, %2
  ret <2 x i8> %3
}
=>
define <2 x i8> @g(<2 x i8> %x, <2 x i8> %y) {
%0:
  %1 = shufflevector <2 x i8> %x, <2 x i8> %y, 0, 3
  %2 = mul <2 x i8> %1, %1
  ret <2 x i8> %2
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout
-- 6. PassManager<Function> : Skipping NOP
-- 7. PassManager<Function> : Skipping NOP
-- 8. SLPVectorizerPass

----------------------------------------
define <4 x i8> @h(<4 x i8> %x, <4 x i8> %y) {
%0:
  %x0 = extractelement <4 x i8> %x, i32 0
  %x3 = extractelement <4 x i8> %x, i32 3
  %y1 = extractelement <4 x i8> %y, i32 1
  %y2 = extractelement <4 x i8> %y, i32 2
  %x0x0 = mul i8 %x0, %x0
  %x3x3 = mul i8 %x3, %x3
  %y1y1 = mul i8 %y1, %y1
  %y2y2 = mul i8 %y2, %y2
  %ins1 = insertelement <4 x i8> undef, i8 %x0x0, i32 0
  %ins2 = insertelement <4 x i8> %ins1, i8 %x3x3, i32 1
  %ins3 = insertelement <4 x i8> %ins2, i8 %y1y1, i32 2
  %ins4 = insertelement <4 x i8> %ins3, i8 %y2y2, i32 3
  ret <4 x i8> %ins4
}
Transformation seems to be correct! (syntactically equal)

-- 9. SLPVectorizerPass

----------------------------------------
define <4 x i8> @h(<4 x i8> %x, <4 x i8> %y) {
%0:
  %x0 = extractelement <4 x i8> %x, i32 0
  %x3 = extractelement <4 x i8> %x, i32 3
  %y1 = extractelement <4 x i8> %y, i32 1
  %y2 = extractelement <4 x i8> %y, i32 2
  %x0x0 = mul i8 %x0, %x0
  %x3x3 = mul i8 %x3, %x3
  %y1y1 = mul i8 %y1, %y1
  %y2y2 = mul i8 %y2, %y2
  %ins1 = insertelement <4 x i8> undef, i8 %x0x0, i32 0
  %ins2 = insertelement <4 x i8> %ins1, i8 %x3x3, i32 1
  %ins3 = insertelement <4 x i8> %ins2, i8 %y1y1, i32 2
  %ins4 = insertelement <4 x i8> %ins3, i8 %y2y2, i32 3
  ret <4 x i8> %ins4
}
=>
define <4 x i8> @h(<4 x i8> %x, <4 x i8> %y) {
%0:
  %x0 = extractelement <4 x i8> %x, i32 0
  %x3 = extractelement <4 x i8> %x, i32 3
  %y1 = extractelement <4 x i8> %y, i32 1
  %y2 = extractelement <4 x i8> %y, i32 2
  %1 = insertelement <4 x i8> poison, i8 %x0, i32 0
  %2 = insertelement <4 x i8> %1, i8 %x3, i32 1
  %3 = insertelement <4 x i8> %2, i8 %y1, i32 2
  %4 = insertelement <4 x i8> %3, i8 %y2, i32 3
  %5 = mul <4 x i8> %4, %4
  ret <4 x i8> %5
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout
-- 10. InstCombinePass

----------------------------------------
define <4 x i8> @h(<4 x i8> %x, <4 x i8> %y) {
%0:
  %x0 = extractelement <4 x i8> %x, i32 0
  %x3 = extractelement <4 x i8> %x, i32 3
  %y1 = extractelement <4 x i8> %y, i32 1
  %y2 = extractelement <4 x i8> %y, i32 2
  %1 = insertelement <4 x i8> poison, i8 %x0, i32 0
  %2 = insertelement <4 x i8> %1, i8 %x3, i32 1
  %3 = insertelement <4 x i8> %2, i8 %y1, i32 2
  %4 = insertelement <4 x i8> %3, i8 %y2, i32 3
  %5 = mul <4 x i8> %4, %4
  ret <4 x i8> %5
}
Transformation seems to be correct! (syntactically equal)

-- 11. InstCombinePass

----------------------------------------
define <4 x i8> @h(<4 x i8> %x, <4 x i8> %y) {
%0:
  %x0 = extractelement <4 x i8> %x, i32 0
  %x3 = extractelement <4 x i8> %x, i32 3
  %y1 = extractelement <4 x i8> %y, i32 1
  %y2 = extractelement <4 x i8> %y, i32 2
  %1 = insertelement <4 x i8> poison, i8 %x0, i32 0
  %2 = insertelement <4 x i8> %1, i8 %x3, i32 1
  %3 = insertelement <4 x i8> %2, i8 %y1, i32 2
  %4 = insertelement <4 x i8> %3, i8 %y2, i32 3
  %5 = mul <4 x i8> %4, %4
  ret <4 x i8> %5
}
=>
define <4 x i8> @h(<4 x i8> %x, <4 x i8> %y) {
%0:
  %1 = shufflevector <4 x i8> %x, <4 x i8> %y, 0, 3, 5, 6
  %2 = mul <4 x i8> %1, %1
  ret <4 x i8> %2
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout
-- 12. PassManager<Function> : Skipping NOP
-- 13. PassManager<Function> : Skipping NOP
-- 14. SLPVectorizerPass

----------------------------------------
define <4 x i8> @h_undef(<4 x i8> %x, <4 x i8> %y) {
%0:
  %x0 = extractelement <4 x i8> undef, i32 0
  %x3 = extractelement <4 x i8> %x, i32 3
  %y1 = extractelement <4 x i8> %y, i32 1
  %y2 = extractelement <4 x i8> %y, i32 2
  %x0x0 = mul i8 %x0, %x0
  %x3x3 = mul i8 %x3, %x3
  %y1y1 = mul i8 %y1, %y1
  %y2y2 = mul i8 %y2, %y2
  %ins1 = insertelement <4 x i8> undef, i8 %x0x0, i32 0
  %ins2 = insertelement <4 x i8> %ins1, i8 %x3x3, i32 1
  %ins3 = insertelement <4 x i8> %ins2, i8 %y1y1, i32 2
  %ins4 = insertelement <4 x i8> %ins3, i8 %y2y2, i32 3
  ret <4 x i8> %ins4
}
Transformation seems to be correct! (syntactically equal)

-- 15. SLPVectorizerPass

----------------------------------------
define <4 x i8> @h_undef(<4 x i8> %x, <4 x i8> %y) {
%0:
  %x0 = extractelement <4 x i8> undef, i32 0
  %x3 = extractelement <4 x i8> %x, i32 3
  %y1 = extractelement <4 x i8> %y, i32 1
  %y2 = extractelement <4 x i8> %y, i32 2
  %x0x0 = mul i8 %x0, %x0
  %x3x3 = mul i8 %x3, %x3
  %y1y1 = mul i8 %y1, %y1
  %y2y2 = mul i8 %y2, %y2
  %ins1 = insertelement <4 x i8> undef, i8 %x0x0, i32 0
  %ins2 = insertelement <4 x i8> %ins1, i8 %x3x3, i32 1
  %ins3 = insertelement <4 x i8> %ins2, i8 %y1y1, i32 2
  %ins4 = insertelement <4 x i8> %ins3, i8 %y2y2, i32 3
  ret <4 x i8> %ins4
}
=>
define <4 x i8> @h_undef(<4 x i8> %x, <4 x i8> %y) {
%0:
  %x0 = extractelement <4 x i8> undef, i32 0
  %x3 = extractelement <4 x i8> %x, i32 3
  %y1 = extractelement <4 x i8> %y, i32 1
  %y2 = extractelement <4 x i8> %y, i32 2
  %1 = insertelement <4 x i8> poison, i8 %x0, i32 0
  %2 = insertelement <4 x i8> %1, i8 %x3, i32 1
  %3 = insertelement <4 x i8> %2, i8 %y1, i32 2
  %4 = insertelement <4 x i8> %3, i8 %y2, i32 3
  %5 = mul <4 x i8> %4, %4
  ret <4 x i8> %5
}
Transformation doesn't verify! (not unsound)
ERROR: Timeout
-- 16. InstCombinePass

----------------------------------------
define <4 x i8> @h_undef(<4 x i8> %x, <4 x i8> %y) {
%0:
  %x0 = extractelement <4 x i8> undef, i32 0
  %x3 = extractelement <4 x i8> %x, i32 3
  %y1 = extractelement <4 x i8> %y, i32 1
  %y2 = extractelement <4 x i8> %y, i32 2
  %1 = insertelement <4 x i8> poison, i8 %x0, i32 0
  %2 = insertelement <4 x i8> %1, i8 %x3, i32 1
  %3 = insertelement <4 x i8> %2, i8 %y1, i32 2
  %4 = insertelement <4 x i8> %3, i8 %y2, i32 3
  %5 = mul <4 x i8> %4, %4
  ret <4 x i8> %5
}
Transformation seems to be correct! (syntactically equal)

-- 17. InstCombinePass

----------------------------------------
define <4 x i8> @h_undef(<4 x i8> %x, <4 x i8> %y) {
%0:
  %x0 = extractelement <4 x i8> undef, i32 0
  %x3 = extractelement <4 x i8> %x, i32 3
  %y1 = extractelement <4 x i8> %y, i32 1
  %y2 = extractelement <4 x i8> %y, i32 2
  %1 = insertelement <4 x i8> poison, i8 %x0, i32 0
  %2 = insertelement <4 x i8> %1, i8 %x3, i32 1
  %3 = insertelement <4 x i8> %2, i8 %y1, i32 2
  %4 = insertelement <4 x i8> %3, i8 %y2, i32 3
  %5 = mul <4 x i8> %4, %4
  ret <4 x i8> %5
}
=>
define <4 x i8> @h_undef(<4 x i8> %x, <4 x i8> %y) {
%0:
  %1 = shufflevector <4 x i8> %x, <4 x i8> %y, 4294967295, 3, 5, 6
  %2 = mul <4 x i8> %1, %1
  ret <4 x i8> %2
}
Transformation doesn't verify! (unsound)
ERROR: Target is more poisonous than source

Example:
<4 x i8> %x = < poison, poison, poison, poison >
<4 x i8> %y = < poison, poison, poison, poison >

Source:
i8 %x0 = #x00 (0)	[based on undef value]
i8 %x3 = poison
i8 %y1 = poison
i8 %y2 = poison
<4 x i8> %1 = < #x00 (0), poison, poison, poison >
<4 x i8> %2 = < #x00 (0), poison, poison, poison >
<4 x i8> %3 = < #x00 (0), poison, poison, poison >
<4 x i8> %4 = < #x00 (0), poison, poison, poison >
<4 x i8> %5 = < #x00 (0), poison, poison, poison >

Target:
<4 x i8> %1 = < poison, poison, poison, poison >
<4 x i8> %2 = < poison, poison, poison, poison >
Source value: < #x00 (0), poison, poison, poison >
Target value: < poison, poison, poison, poison >

Pass: InstCombinePass
Command line: '/home/nlopes/llvm/build/bin/opt' '-load=/home/nlopes/alive2/build/tv/tv.so' '-load-pass-plugin=/home/nlopes/alive2/build/tv/tv.so' '-tv-exit-on-error' '-passes=slp-vectorizer,instcombine' '-S' '-o' '-' '-mtriple=x86_64-unknown-linux' '-mcpu=bdver2' '-tv-smt-to=20000' '-tv-report-dir=/home/nlopes/alive2/build/logs' '-tv-smt-stats'


------------------- SMT STATS -------------------
Num queries: 66
Num invalid: 0
Num skips:   0
Num trivial: 19 (22.4%)
Num timeout: 5 (7.6%)
Num errors:  0 (0.0%)
Num SAT:     51 (77.3%)
Num UNSAT:   10 (15.2%)
Alive2: Transform doesn't verify; aborting!

stderr:

+ : 'RUN: at line 2'
+ /home/nlopes/alive2/build/opt-alive.sh -passes=slp-vectorizer,instcombine -S -o - -mtriple=x86_64-unknown-linux -mcpu=bdver2
+ /bitbucket/nlopes/llvm/build/bin/FileCheck /bitbucket/nlopes/llvm/llvm/test/Transforms/SLPVectorizer/X86/blending-shuffle.ll

FileCheck error: '<stdin>' is empty.
FileCheck command line:  /bitbucket/nlopes/llvm/build/bin/FileCheck /bitbucket/nlopes/llvm/llvm/test/Transforms/SLPVectorizer/X86/blending-shuffle.ll

<-- Back