Test source: git
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!
+ : 'RUN: at line 2' + /home/nlopes/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 + /home/nlopes/llvm/build/bin/FileCheck /home/nlopes/llvm/llvm/test/Transforms/GVN/PRE/rle.ll --check-prefixes=CHECK,LE FileCheck error: '<stdin>' is empty. FileCheck command line: /home/nlopes/llvm/build/bin/FileCheck /home/nlopes/llvm/llvm/test/Transforms/GVN/PRE/rle.ll --check-prefixes=CHECK,LE
NOTE: This test would pass if undef didn't exist!