Test source: git
Comments: LLVM bug: removes store undef
Source: <stdin> ---------------------------------------- define i32 @test(ptr %target) denormal-fp-math=ieee,ieee { %0: %target_p = gep ptr %target, 1024 x i32 0, 1 x i32 0 memset ptr %target_p align 1, i8 1, i32 0 memset ptr %target_p align 1, i8 1, i32 1 memset ptr %target_p align 2, i8 1, i32 2 memset ptr %target_p align 4, i8 1, i32 4 memset ptr %target_p align 8, i8 1, i32 8 ret i32 0 } => define i32 @test(ptr %target) denormal-fp-math=ieee,ieee { %0: %1 = gep ptr %target, 1024 x i64 0, 1 x i64 0 store i8 1, ptr %1, align 1 %2 = bitcast ptr %target to ptr store i16 257, ptr %2, align 2 %3 = bitcast ptr %target to ptr store i32 16843009, ptr %3, align 4 %4 = bitcast ptr %target to ptr store i64 72340172838076673, ptr %4, align 8 ret i32 0 } Transformation seems to be correct! ---------------------------------------- @Unknown = constant 16 bytes, align 4 define void @memset_to_constant() denormal-fp-math=ieee,ieee { %0: %p = bitcast ptr @Unknown to ptr memset ptr %p align 1, i8 0, i32 16 ret void } => @Unknown = constant 16 bytes, align 4 define void @memset_to_constant() denormal-fp-math=ieee,ieee { %0: ret void } Transformation seems to be correct! ---------------------------------------- define void @memset_undef(ptr %p) denormal-fp-math=ieee,ieee { %0: memset ptr %p align 1, i8 undef, i32 8 ret void } => define void @memset_undef(ptr %p) denormal-fp-math=ieee,ieee { %0: ret void } Transformation doesn't verify! ERROR: Mismatch in memory Example: ptr %p = pointer(non-local, block_id=1, offset=59) Source: SOURCE MEMORY STATE =================== NON-LOCAL BLOCKS: Block 0 > size: 0 align: 1 alloc type: 0 Block 1 > size: 130 align: 8589934592 alloc type: 0 Target: Mismatch in pointer(non-local, block_id=1, offset=64) Source value: #x00 Target value: poison ------------------- SMT STATS ------------------- Num queries: 12 Num invalid: 0 Num skips: 0 Num trivial: 16 (57.1%) Num timeout: 0 (0.0%) Num errors: 0 (0.0%) Num SAT: 10 (83.3%) Num UNSAT: 2 (16.7%) Alive2: Transform doesn't verify; aborting!
+ : 'RUN: at line 2' + /home/nlopes/alive2/build/opt-alive.sh -passes=instcombine -S + /bitbucket/nlopes/llvm/build/bin/FileCheck /bitbucket/nlopes/llvm/llvm/test/Transforms/InstCombine/memset.ll FileCheck error: '<stdin>' is empty. FileCheck command line: /bitbucket/nlopes/llvm/build/bin/FileCheck /bitbucket/nlopes/llvm/llvm/test/Transforms/InstCombine/memset.ll