Test source: git
Source: <stdin> ---------------------------------------- define void @test1() { %0: br label %1 %1: ret void } => define void @test1() { %0: ret void } Transformation seems to be correct! ---------------------------------------- define void @test2() { %0: ret void } => define void @test2() { %0: ret void } Transformation seems to be correct! ---------------------------------------- define void @test3(i1 %T) { %0: br i1 %T, label %1, label %1 %1: ret void } => define void @test3(i1 %T) { %0: ret void } Transformation seems to be correct! ---------------------------------------- define void @test4_fold(i32 %a, i32 %b) { %0: %cmp1 = icmp eq i32 %a, %b br i1 %cmp1, label %taken, label %untaken %taken: %cmp2 = icmp ugt i32 %a, 0 br i1 %cmp2, label %else, label %untaken %else: call void @foo() ret void %untaken: ret void } => define void @test4_fold(i32 %a, i32 %b) { %0: %cmp1 = icmp eq i32 %a, %b %cmp2 = icmp ugt i32 %a, 0 %or.cond = and i1 %cmp1, %cmp2 br i1 %or.cond, label %else, label %untaken %untaken: ret void %else: call void @foo() ret void } Transformation doesn't verify! ERROR: Source is more defined than target Example: i32 %a = #x00010000 (65536) i32 %b = undef Source: i1 %cmp1 = any i1 %cmp2 = #x1 (1) SOURCE MEMORY STATE =================== NON-LOCAL BLOCKS: Block 0 > size: 0 align: 1 alloc type: 0 Block 1 > size: 0 align: 2 alloc type: 0 Target: i1 %cmp1 = #x1 (1) i1 %cmp2 = #x1 (1) i1 %or.cond = #x1 (1) ------------------- SMT STATS ------------------- Num queries: 6 Num invalid: 0 Num skips: 0 Num trivial: 15 (71.4%) Num timeout: 0 (0.0%) Num errors: 0 (0.0%) Num SAT: 5 (83.3%) Num UNSAT: 1 (16.7%)
+ : 'RUN: at line 3' + /home/nlopes/alive2/scripts/opt-alive.sh -simplifycfg -S + /home/nlopes/llvm/build/bin/FileCheck /home/nlopes/llvm/llvm/test/Transforms/SimplifyCFG/basictest.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/basictest.ll