Test source: git
Source: <stdin> ---------------------------------------- define i32 @test_sink_no_stores(i1 %z) { %0: %l = call i32 @f_load_global() nowrite nofree br i1 %z, label %true, label %false %false: ret i32 0 %true: ret i32 %l } => define i32 @test_sink_no_stores(i1 %z) { %0: br i1 %z, label %true, label %false %false: ret i32 0 %true: %l = call i32 @f_load_global() nowrite nofree ret i32 %l } Transformation doesn't verify! ERROR: Source is more defined than target Example: i1 %z = undef Source: i32 %l = UB triggered! SOURCE MEMORY STATE =================== NON-LOCAL BLOCKS: Block 0 > size: 0 align: 1 alloc type: 0 Block 1 > size: 0 align: 1 Target: UB triggered on br ------------------- SMT STATS ------------------- Num queries: 2 Num invalid: 0 Num skips: 0 Num trivial: 1 (33.3%) Num timeout: 0 (0.0%) Num errors: 0 (0.0%) Num SAT: 2 (100.0%) Num UNSAT: 0 (0.0%) Alive2: Transform doesn't verify; aborting!
+ : 'RUN: at line 1' + /home/nlopes/alive2/build/opt-alive.sh -basic-aa -sink -S + /home/nlopes/llvm/build/bin/FileCheck /home/nlopes/llvm/llvm/test/Transforms/Sink/call.ll FileCheck error: '<stdin>' is empty. FileCheck command line: /home/nlopes/llvm/build/bin/FileCheck /home/nlopes/llvm/llvm/test/Transforms/Sink/call.ll