Displaying 3 results from an estimated 3 matches for "cgsimplify".
Did you mean:
cfgsimplify
2017 Mar 15
2
Speculative execution of FP divide Instructions - Call-Graph Simplify
...a_mul
br i1 %a_cmp, label %a.then, label %a.end
a.then:
%a_div = fdiv double %a_mul, %a3
br label %a.end
a.end:
%a_factor = phi double [ %a_div, %a.then ], [ 1.000000e+00, %entry ]
ret double %a_factor
}
```
Here, the conditional is guarding a possible division by zero. However if I
run CGSimplify on this I get:
```
define double @foo(double %a1, double %a2, double %a3) local_unnamed_addr
#0 {
entry:
%a_mul = fmul double %a1, %a2
%a_cmp = fcmp olt double %a_mul, %a3
%a_div = fdiv double %a_mul, %a3
%a_factor = select i1 %a_cmp, double %a_div, double 1.000000e+00
ret double %a_facto...
2017 Mar 15
3
Speculative execution of FP divide Instructions - Call-Graph Simplify
...%a_mul, %a3
>> br label %a.end
>>
>> a.end:
>> %a_factor = phi double [ %a_div, %a.then ], [ 1.000000e+00, %entry ]
>> ret double %a_factor
>> }
>> ```
>> Here, the conditional is guarding a possible division by zero.
>> However if I run CGSimplify on this I get:
>> ```
>> define double @foo(double %a1, double %a2, double %a3)
>> local_unnamed_addr #0 {
>> entry:
>> %a_mul = fmul double %a1, %a2
>> %a_cmp = fcmp olt double %a_mul, %a3
>> %a_div = fdiv double %a_mul, %a3
>> %a_factor = s...
2017 Mar 15
2
Speculative execution of FP divide Instructions - Call-Graph Simplify
...a_mul
br i1 %a_cmp, label %a.then, label %a.end
a.then:
%a_div = fdiv double %a_mul, %a3
br label %a.end
a.end:
%a_factor = phi double [ %a_div, %a.then ], [ 1.000000e+00, %entry ]
ret double %a_factor
}
```
Here, the conditional is guarding a possible division by zero. However if I run CGSimplify on this I get:
```
define double @foo(double %a1, double %a2, double %a3) local_unnamed_addr #0 {
entry:
%a_mul = fmul double %a1, %a2
%a_cmp = fcmp olt double %a_mul, %a3
%a_div = fdiv double %a_mul, %a3
%a_factor = select i1 %a_cmp, double %a_div, double 1.000000e+00
ret double %a_facto...