Test Failure: Transforms/InstSimplify/insertelement.ll

Test source: git

Log:

Source: <stdin>

----------------------------------------
define <4 x i32> @test1(<4 x i32> %A) {
%0:
  %I = insertelement <4 x i32> %A, i32 5, i64 4294967296
  ret <4 x i32> %I
}
=>
define <4 x i32> @test1(<4 x i32> %A) {
%0:
  ret <4 x i32> undef
}
Transformation seems to be correct!


----------------------------------------
define <4 x i32> @test2(<4 x i32> %A) {
%0:
  %I = insertelement <4 x i32> %A, i32 5, i64 4
  ret <4 x i32> %I
}
=>
define <4 x i32> @test2(<4 x i32> %A) {
%0:
  ret <4 x i32> undef
}
Transformation seems to be correct!


----------------------------------------
define <4 x i32> @test3(<4 x i32> %A) {
%0:
  %I = insertelement <4 x i32> %A, i32 5, i64 1
  ret <4 x i32> %I
}
=>
define <4 x i32> @test3(<4 x i32> %A) {
%0:
  %I = insertelement <4 x i32> %A, i32 5, i64 1
  ret <4 x i32> %I
}
Transformation seems to be correct!


----------------------------------------
define <4 x i32> @test4(<4 x i32> %A) {
%0:
  %I = insertelement <4 x i32> %A, i32 5, i128 100
  ret <4 x i32> %I
}
=>
define <4 x i32> @test4(<4 x i32> %A) {
%0:
  ret <4 x i32> undef
}
Transformation seems to be correct!


----------------------------------------
define <4 x i32> @test5(<4 x i32> %A) {
%0:
  %I = insertelement <4 x i32> %A, i32 5, i64 undef
  ret <4 x i32> %I
}
=>
define <4 x i32> @test5(<4 x i32> %A) {
%0:
  ret <4 x i32> undef
}
Transformation seems to be correct!


----------------------------------------
define <4 x i32> @PR1286(<4 x i32> %A) {
%0:
  %B = insertelement <4 x i32> %A, i32 undef, i32 1
  ret <4 x i32> %B
}
=>
define <4 x i32> @PR1286(<4 x i32> %A) {
%0:
  ret <4 x i32> %A
}
Transformation doesn't verify!
ERROR: Target is more poisonous than source

Example:
<4 x i32> %A = < poison, poison, poison, poison >

Source:
<4 x i32> %B = < poison, undef, poison, poison >

Target:
Source value: < poison, undef, poison, poison >
Target value: < poison, poison, poison, poison >


------------------- SMT STATS -------------------
Num queries: 11
Num invalid: 0
Num skips:   0
Num trivial: 19 (63.3%)
Num timeout: 0 (0.0%)
Num errors:  0 (0.0%)
Num SAT:     7 (63.6%)
Num UNSAT:   4 (36.4%)

stderr:

+ : 'RUN: at line 2'
+ /home/nlopes/alive2/scripts/opt-alive.sh -S -instsimplify
+ /home/nlopes/llvm/build/bin/FileCheck /home/nlopes/llvm/llvm/test/Transforms/InstSimplify/insertelement.ll

Alive2: Transform doesn't verify; aborting!
FileCheck error: '<stdin>' is empty.
FileCheck command line:  /home/nlopes/llvm/build/bin/FileCheck /home/nlopes/llvm/llvm/test/Transforms/InstSimplify/insertelement.ll

<-- Back