Test source: git
Source: /home/nlopes/llvm/llvm/test/Transforms/SimplifyCFG/implied-cond-matching-false-dest.ll ---------------------------------------- define void @test_eq_eq(i32 %a, i32 %b) { %0: %cmp1 = icmp eq i32 %a, %b br i1 %cmp1, label %untaken, label %taken %taken: %cmp2 = icmp eq i32 %a, %b br i1 %cmp2, label %istrue, label %isfalse %istrue: call void @is(i1 1) ret void %isfalse: call void @is(i1 0) ret void %untaken: ret void } => define void @test_eq_eq(i32 %a, i32 %b) { %0: %cmp1 = icmp eq i32 %a, %b br i1 %cmp1, label %untaken, label %isfalse %isfalse: call void @is(i1 0) ret void %untaken: ret void } Transformation doesn't verify! ERROR: Source is more defined than target Example: i32 %a = #x00000000 (0) i32 %b = undef Source: i1 %cmp1 = any i1 %cmp2 = any SOURCE MEMORY STATE =================== NON-LOCAL BLOCKS: Block 0 > size: 0 align: 1 alloc type: 0 Block 1 > size: 0 align: 0 alloc type: 0 Target: i1 %cmp1 = any ------------------- SMT STATS ------------------- Num queries: 5 Num invalid: 0 Num skips: 0 Num trivial: 0 (0.0%) Num timeout: 0 (0.0%) Num errors: 0 (0.0%) Num SAT: 2 (40.0%) Num UNSAT: 3 (60.0%)
+ : 'RUN: at line 1' + /home/nlopes/alive2/scripts/opt-alive.sh /home/nlopes/llvm/llvm/test/Transforms/SimplifyCFG/implied-cond-matching-false-dest.ll -S -simplifycfg + /home/nlopes/llvm/build/bin/FileCheck /home/nlopes/llvm/llvm/test/Transforms/SimplifyCFG/implied-cond-matching-false-dest.ll Alive2: Transform doesn't verify; aborting! FileCheck error: '<stdin>' is empty. FileCheck command line: /home/nlopes/llvm/build/bin/FileCheck /home/nlopes/llvm/llvm/test/Transforms/SimplifyCFG/implied-cond-matching-false-dest.ll
NOTE: This test would pass if undef didn't exist!