Displaying 2 results from an estimated 2 matches for "e156c51d".
2018 May 17
0
RFC: separating guards and implicit control flow
On 05/16/2018 04:49 PM, Philip Reames wrote:
> All,
>
> TLDR: guards currently require reasoning about implicit control flow.
> LLVM struggles with implicit control flow within a basic block. We
> should redesign guards to admit this rather than trying to boil the
> ocean.
>
> As you may be aware, LLVM currently has experimental support for a
> construct called a
2018 May 16
2
RFC: separating guards and implicit control flow
All,
TLDR: guards currently require reasoning about implicit control flow.
LLVM struggles with implicit control flow within a basic block. We
should redesign guards to admit this rather than trying to boil the ocean.
As you may be aware, LLVM currently has experimental support for a
construct called a "guard". A guard is like a branch to a potential
deoptimzation point, except