Displaying 2 results from an estimated 2 matches for "rangecheck0".
Did you mean:
rangecheck1
2016 Feb 18
2
RFC: Add guard intrinsics to LLVM
...without a `"deopt"`
> operand bundle. `@llvm.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 */) ]
> ......
2016 Feb 17
7
RFC: Add guard intrinsics to LLVM
...all to `@llvm.guard_on`.
The verifier will reject calls to `@llvm.guard_on` without a `"deopt"`
operand bundle. `@llvm.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 spe...