Displaying 2 results from an estimated 2 matches for "guard_cond".
2018 Jul 10
2
Giving up using implicit control flow in guards
...to and teach every single pass that may need it about the semantics of this intrinsic, and keep an eye on all new passes to make sure they can use it.
I have a proposal how it can be done relatively easily and with minimum overhead. Let us inline the guard according to the specification:
%guard_cond = and i1 %cond, %undef
br i1 %guard_cond, label %guarded, label %deopt
guarded:
<do some useful stuff>
deopt:
<deoptimize and leave the compiled code>
Let's notice two important facts:
1. In guarded block, %cond is true because it is implied by %gu...
2018 Jul 13
2
Giving up using implicit control flow in guards
...t may need it about the semantics of this intrinsic, and keep an eye on all new passes to make sure they can use it.
>
>
>
> I have a proposal how it can be done relatively easily and with minimum overhead. Let us inline the guard according to the specification:
>
>
>
> %guard_cond = and i1 %cond, %undef
>
> br i1 %guard_cond, label %guarded, label %deopt
>
>
>
> guarded:
>
> <do some useful stuff>
>
>
>
> deopt:
>
> <deoptimize and leave the compiled code>
>
>
>
> Let's notice two important...