Displaying 1 result from an estimated 1 matches for "trueedg".
Did you mean:
trueedge
2017 Feb 02
4
Adding Extended-SSA to LLVM
...br i1 %cmp, label %true, label %false
true:
ret i32 %x
false:
ret i32 1
}
becomes
define i32 @test1(i32 %x) {
%cmp = icmp eq i32 %x, 50
br i1 %cmp, label %true, label %false
true: ; preds = %0
; Has predicate info
; branch predicate info { TrueEdge: 1 Comparison: %cmp = icmp eq i32 %x,
50 }
%x.0 = call i32 @llvm.predicateinfo.i32(i32 %x)
ret i32 %x.0
false: ; preds = %0
ret i32 1
}
All uses that are dominated by the predicate info are renamed to use it.
2. We do so very quickly (it takes a...