Test source: git
Source: <stdin> ---------------------------------------- define void @test1(ptr %a1, ptr %a2) { %entry: %0 = bitcast ptr %a1 to ptr %1 = bitcast ptr %a2 to ptr memcpy ptr %0 align 4, ptr %1 align 4, i64 4 ret void } => define void @test1(ptr %a1, ptr %a2) { %entry: %0 = bitcast ptr %a2 to ptr %1 = bitcast ptr %a1 to ptr %2 = load i32, ptr %0, align 4 store i32 %2, ptr %1, align 4 ret void } Transformation doesn't verify! ERROR: Mismatch in memory Example: ptr %a1 = pointer(non-local, block_id=1, offset=0) ptr %a2 = pointer(non-local, block_id=1, offset=0) Source: ptr %0 = pointer(non-local, block_id=1, offset=0) ptr %1 = pointer(non-local, block_id=1, offset=0) SOURCE MEMORY STATE =================== NON-LOCAL BLOCKS: Block 0 > size: 0 align: 1 alloc type: 0 Block 1 > size: 10 align: 4294967296 alloc type: 0 Block 2 > align: 17179869184 alloc type: 0 Target: ptr %0 = pointer(non-local, block_id=1, offset=0) ptr %1 = pointer(non-local, block_id=1, offset=0) i32 %2 = poison Mismatch in pointer(non-local, block_id=1, offset=1) Source value: null, byte offset=0 Target value: poison ------------------- SMT STATS ------------------- Num queries: 5 Num invalid: 0 Num skips: 0 Num trivial: 10 (66.7%) Num timeout: 0 (0.0%) Num errors: 0 (0.0%) Num SAT: 4 (80.0%) Num UNSAT: 1 (20.0%) Alive2: Transform doesn't verify; aborting!
+ : 'RUN: at line 1' + /home/nuno/llvm/build/bin/FileCheck /home/nuno/llvm/llvm/test/Transforms/InstCombine/struct-assign-tbaa-new.ll + /home/nuno/alive2/build/opt-alive.sh -passes=instcombine -S FileCheck error: '<stdin>' is empty. FileCheck command line: /home/nuno/llvm/build/bin/FileCheck /home/nuno/llvm/llvm/test/Transforms/InstCombine/struct-assign-tbaa-new.ll