Displaying 2 results from an estimated 2 matches for "rangecheck1".
2016 Feb 18
2
RFC: Add guard intrinsics to LLVM
...d it would've "thrown" into is
> about to go away).
>
>
> Example:
>
> ```
> ...
> %rangeCheck0 = icmp ult i32 %arg0, 10
> call void @llvm.guard_on(i1 %rangeCheck0) [ "deopt"(/* deopt
> state 0 */) ]
> %rangeCheck1 = icmp ult i32 %arg0, 12
> call void @llvm.guard_on(i1 %rangeCheck1) [ "deopt"(/* deopt
> state 1 */) ]
> ...
> ```
>
>
> # details: motivation & alternatives
>
> As specified in the high level summary, there are two key motivatio...
2016 Feb 17
7
RFC: Add guard intrinsics to LLVM
...vm.guard_on` cannot be `invoke`ed (that would be
meaningless anyway, since the method it would've "thrown" into is
about to go away).
Example:
```
...
%rangeCheck0 = icmp ult i32 %arg0, 10
call void @llvm.guard_on(i1 %rangeCheck0) [ "deopt"(/* deopt state 0 */) ]
%rangeCheck1 = icmp ult i32 %arg0, 12
call void @llvm.guard_on(i1 %rangeCheck1) [ "deopt"(/* deopt state 1 */) ]
...
```
# details: motivation & alternatives
As specified in the high level summary, there are two key motivations.
The first, more obvious one is that we want the CFG to be les...