Test Failure: Transforms/GVN/PRE/rle.ll

Test source: git

Log:

Source: <stdin>
ERROR: Unsupported instruction:   %__constexpr_0 = bitcast void ()* @helper to i8*
ERROR: Unsupported instruction:   %ttmp = load i8, i8* bitcast (void ()* @helper to i8*), align 1
ERROR: Unsupported instruction:   tail call void @llvm.memcpy.p0i8.p1i8.i64(i8* %conv, i8 addrspace(1)* bitcast ({ i32, float, i32 } addrspace(1)* @GCst_as1 to i8 addrspace(1)*), i64 12, i1 false)
ERROR: Unsupported attribute: noalias
ERROR: Unsupported attribute: noalias
ERROR: Unsupported attribute: noalias
ERROR: Unsupported instruction:   %tmp6.1 = load atomic i8, i8* @global acquire, align 4

----------------------------------------
define i32 @test0(i32 %V, ptr %P) {
%0:
  store i32 %V, ptr %P, align 4
  %A = load i32, ptr %P, align 4
  ret i32 %A
}
=>
define i32 @test0(i32 %V, ptr %P) {
%0:
  store i32 %V, ptr %P, align 4
  ret i32 %V
}
Transformation seems to be correct!


----------------------------------------
define i8 @crash0({i32, i32} %A, ptr %P) {
%0:
  store {i32, i32} %A, ptr %P, align 4
  %X = bitcast ptr %P to ptr
  %Y = load i8, ptr %X, align 1
  ret i8 %Y
}
=>
define i8 @crash0({i32, i32} %A, ptr %P) {
%0:
  store {i32, i32} %A, ptr %P, align 4
  %X = bitcast ptr %P to ptr
  %Y = load i8, ptr %X, align 1
  ret i8 %Y
}
Transformation seems to be correct! (syntactically equal)


----------------------------------------
define float @coerce_mustalias1(i32 %V, ptr %P) {
%0:
  store i32 %V, ptr %P, align 4
  %P2 = bitcast ptr %P to ptr
  %A = load float, ptr %P2, align 4
  ret float %A
}
=>
define float @coerce_mustalias1(i32 %V, ptr %P) {
%0:
  store i32 %V, ptr %P, align 4
  %1 = bitcast i32 %V to float
  ret float %1
}
Transformation seems to be correct!


----------------------------------------
define float @coerce_mustalias2(ptr %V, ptr %P) {
%0:
  store ptr %V, ptr %P, align 4
  %P2 = bitcast ptr %P to ptr
  %A = load float, ptr %P2, align 4
  ret float %A
}
=>
define float @coerce_mustalias2(ptr %V, ptr %P) {
%0:
  store ptr %V, ptr %P, align 4
  %1 = ptrtoint ptr %V to i32
  %2 = bitcast i32 %1 to float
  ret float %2
}
Transformation doesn't verify!
ERROR: Timeout


----------------------------------------
define ptr @coerce_mustalias3(float %V, ptr %P) {
%0:
  store float %V, ptr %P, align 4
  %P2 = bitcast ptr %P to ptr
  %A = load ptr, ptr %P2, align 4
  ret ptr %A
}
=>
define ptr @coerce_mustalias3(float %V, ptr %P) {
%0:
  store float %V, ptr %P, align 4
  %1 = bitcast float %V to i32
  %2 = int2ptr i32 %1 to ptr
  ret ptr %2
}
Transformation doesn't verify!
ERROR: Timeout


----------------------------------------
define float @coerce_mustalias4(ptr %P, i1 %cond) {
%0:
  %A = load i32, ptr %P, align 4
  %P2 = bitcast ptr %P to ptr
  %B = load float, ptr %P2, align 4
  br i1 %cond, label %T, label %F

%F:
  %X = bitcast i32 %A to float
  ret float %X

%T:
  ret float %B
}
=>
define float @coerce_mustalias4(ptr %P, i1 %cond) {
%0:
  %A = load i32, ptr %P, align 4
  %1 = bitcast i32 %A to float
  br i1 %cond, label %T, label %F

%F:
  ret float %1

%T:
  ret float %1
}
Transformation seems to be correct!


----------------------------------------
define i8 @coerce_mustalias5(i32 %V, ptr %P) {
%0:
  store i32 %V, ptr %P, align 4
  %P2 = bitcast ptr %P to ptr
  %A = load i8, ptr %P2, align 1
  ret i8 %A
}
=>
define i8 @coerce_mustalias5(i32 %V, ptr %P) {
%0:
  store i32 %V, ptr %P, align 4
  %1 = trunc i32 %V to i8
  ret i8 %1
}
Transformation doesn't verify!
ERROR: Timeout


----------------------------------------
define float @coerce_mustalias6(i64 %V, ptr %P) {
%0:
  store i64 %V, ptr %P, align 4
  %P2 = bitcast ptr %P to ptr
  %A = load float, ptr %P2, align 4
  ret float %A
}
=>
define float @coerce_mustalias6(i64 %V, ptr %P) {
%0:
  store i64 %V, ptr %P, align 4
  %1 = trunc i64 %V to i32
  %2 = bitcast i32 %1 to float
  ret float %2
}
Transformation doesn't verify!
ERROR: Timeout


----------------------------------------
define ptr @coerce_mustalias7(i64 %V, ptr %P) {
%0:
  store i64 %V, ptr %P, align 4
  %P2 = bitcast ptr %P to ptr
  %A = load ptr, ptr %P2, align 4
  ret ptr %A
}
=>
define ptr @coerce_mustalias7(i64 %V, ptr %P) {
%0:
  store i64 %V, ptr %P, align 4
  %1 = trunc i64 %V to i32
  %2 = int2ptr i32 %1 to ptr
  ret ptr %2
}
Transformation seems to be correct!


----------------------------------------
define i16 @memset_to_i16_local(ptr %A) {
%entry:
  %conv = bitcast ptr %A to ptr
  memset ptr %conv align 1, i8 1, i64 200
  %arrayidx = gep inbounds ptr %A, 2 x i64 42
  %ttmp2 = load i16, ptr %arrayidx, align 2
  ret i16 %ttmp2
}
=>
define i16 @memset_to_i16_local(ptr %A) {
%entry:
  %conv = bitcast ptr %A to ptr
  memset ptr %conv align 1, i8 1, i64 200
  ret i16 257
}
Transformation seems to be correct!


----------------------------------------
define float @memset_to_float_local(ptr %A, i8 %Val) {
%entry:
  %conv = bitcast ptr %A to ptr
  memset ptr %conv align 1, i8 %Val, i64 400
  %arrayidx = gep inbounds ptr %A, 4 x i64 42
  %ttmp2 = load float, ptr %arrayidx, align 4
  ret float %ttmp2
}
=>
define float @memset_to_float_local(ptr %A, i8 %Val) {
%entry:
  %conv = bitcast ptr %A to ptr
  memset ptr %conv align 1, i8 %Val, i64 400
  %0 = zext i8 %Val to i32
  %1 = shl i32 %0, 8
  %2 = or i32 %0, %1
  %3 = shl i32 %2, 16
  %4 = or i32 %2, %3
  %5 = bitcast i32 %4 to float
  ret float %5
}
Transformation doesn't verify!
ERROR: Value mismatch

Example:
ptr %A = pointer(non-local, block_id=1, offset=1632)
i8 %Val = undef

Source:
ptr %conv = pointer(non-local, block_id=1, offset=1632)
ptr %arrayidx = pointer(non-local, block_id=1, offset=1800)
float %ttmp2 = #x00000000 (+0.0)	[based on undef value]

SOURCE MEMORY STATE
===================
NON-LOCAL BLOCKS:
Block 0 >	size: 0	align: 1	alloc type: 0
Block 1 >	size: 2048	align: 32	alloc type: 0

Target:
ptr %conv = pointer(non-local, block_id=1, offset=1632)
i32 %0 = #x00000000 (0)
i32 %1 = #x00000000 (0)
i32 %2 = #x00000004 (4)
i32 %3 = #x00040000 (262144)
i32 %4 = #x00048020 (294944)
float %5 = #x00048020 (0.000000000000?)
Source value: #x00000000 (+0.0)
Target value: #x00048020 (0.000000000000?)


------------------- SMT STATS -------------------
Num queries: 66
Num invalid: 0
Num skips:   0
Num trivial: 36 (35.3%)
Num timeout: 4 (6.1%)
Num errors:  0 (0.0%)
Num SAT:     32 (48.5%)
Num UNSAT:   30 (45.5%)
Alive2: Transform doesn't verify; aborting!

stderr:

+ : 'RUN: at line 2'
+ /home/nuno/llvm/build/bin/FileCheck /home/nuno/llvm/llvm/test/Transforms/GVN/PRE/rle.ll --check-prefixes=CHECK,LE
+ /home/nuno/alive2/build/opt-alive.sh -data-layout=e-p:32:32:32-p1:16:16:16-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-n8:16:32 -basic-aa -gvn -S -dce

FileCheck error: '<stdin>' is empty.
FileCheck command line:  /home/nuno/llvm/build/bin/FileCheck /home/nuno/llvm/llvm/test/Transforms/GVN/PRE/rle.ll --check-prefixes=CHECK,LE

 

NOTE: This test would pass if undef didn't exist!

 

<-- Back