Test source: git
Comments: LLVM bug: removes store undef
Source: <stdin> ERROR: Unsupported metadata: 1 ERROR: Unsupported instruction: store atomic i32 0, i32* %p unordered, align 4 ERROR: Unsupported instruction: store atomic i32 0, i32* %p unordered, align 4 ERROR: Unsupported instruction: store atomic i32 0, i32* %p unordered, align 4 ERROR: Unsupported instruction: store atomic i32 0, i32* %p unordered, align 4 ERROR: Unsupported instruction: %v = load atomic i32, i32* %p unordered, align 4 ERROR: Unsupported instruction: store atomic i32 %v, i32* %p unordered, align 4 ERROR: Unsupported instruction: %v = load atomic i32, i32* %p unordered, align 4 ERROR: Unsupported instruction: %v = load atomic i32, i32* %p unordered, align 4 ERROR: Unsupported instruction: %v = load atomic i32, i32* %p seq_cst, align 4 ERROR: Unsupported instruction: %v = load atomic volatile i32, i32* %p seq_cst, align 4 ---------------------------------------- define void @store_of_undef(ptr %P) { %0: store i32 undef, ptr %P, align 4 ret void } => define void @store_of_undef(ptr %P) { %0: ret void } Transformation doesn't verify! ERROR: Mismatch in memory Example: ptr %P = pointer(non-local, block_id=1, offset=0) Source: SOURCE MEMORY STATE =================== NON-LOCAL BLOCKS: Block 0 > size: 0 align: 4 alloc type: 0 Block 1 > size: 10 align: 512 alloc type: 0 Target: Mismatch in pointer(non-local, block_id=1, offset=0) Source value: #x00000000 Target value: poison ------------------- SMT STATS ------------------- Num queries: 4 Num invalid: 0 Num skips: 0 Num trivial: 6 (60.0%) Num timeout: 0 (0.0%) Num errors: 0 (0.0%) Num SAT: 4 (100.0%) Num UNSAT: 0 (0.0%) Alive2: Transform doesn't verify; aborting!
+ : 'RUN: at line 2' + /home/nlopes/alive2/build/opt-alive.sh -passes=instcombine -S + /tmp/nlopes/llvm/build/bin/FileCheck /tmp/nlopes/llvm/llvm/test/Transforms/InstCombine/store.ll FileCheck error: '<stdin>' is empty. FileCheck command line: /tmp/nlopes/llvm/build/bin/FileCheck /tmp/nlopes/llvm/llvm/test/Transforms/InstCombine/store.ll