Test source: git
Source: <stdin> ---------------------------------------- define void @test12(* %foo) { %entry: %tobool = icmp eq * %foo, null br i1 %tobool, label %if.end, label %if.then %if.then: %bitcast = bitcast * %foo to * free * %bitcast br label %if.end %if.end: ret void } => define void @test12(* %foo) { %entry: %tobool = icmp eq * %foo, null %bitcast = bitcast * %foo to * free * %bitcast br i1 %tobool, label %if.end, label %if.then %if.then: br label %if.end %if.end: ret void } Transformation doesn't verify! ERROR: Source is more defined than target Example: * %foo = pointer(non-local, block_id=1, offset=-3) Source: i1 %tobool = #x1 (1) * %bitcast = pointer(non-local, block_id=1, offset=-3) SOURCE MEMORY STATE =================== NON-LOCAL BLOCKS: Block 0 > size: 0 align: 1 alloc type: 0 address: 0 Block 1 > size: 4 align: 2 alloc type: 0 address: 3 Target: i1 %tobool = #x1 (1) * %bitcast = pointer(non-local, block_id=1, offset=-3) ------------------- SMT STATS ------------------- Num queries: 2 Num invalid: 0 Num skips: 0 Num trivial: 5 (71.4%) 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 4' + /home/nlopes/alive2/build/opt-alive.sh -instcombine -S