Displaying 2 results from an estimated 2 matches for "rangecheckwide".
2016 Feb 18
2
RFC: Add guard intrinsics to LLVM
...Check1 = icmp ult i32 7, %len ;; for a[7]
> call void @llvm.guard_on(i1 %rangeCheck1) [ "deopt"(/* deopt
> state 1 */) ]
> access a[6] and a[7]
> ...
> ```
>
> we'd like to optimize it to
>
> ```
> ...
> %rangeCheckWide = icmp ult i32 7, %len
> call void @llvm.guard_on(i1 %rangeCheckWide) [ "deopt"(/* deopt
> state 0 */) ]
> call void @printf("hello world")
> ;; %rangeCheck1 = icmp ult i32 7, %len ;; not needed anymore
> ;; call void @llvm.guard_on(i1...
2016 Feb 17
7
RFC: Add guard intrinsics to LLVM
...;deopt"(/* deopt state 0 */) ]
call void @printf("hello world")
%rangeCheck1 = icmp ult i32 7, %len ;; for a[7]
call void @llvm.guard_on(i1 %rangeCheck1) [ "deopt"(/* deopt state 1 */) ]
access a[6] and a[7]
...
```
we'd like to optimize it to
```
...
%rangeCheckWide = icmp ult i32 7, %len
call void @llvm.guard_on(i1 %rangeCheckWide) [ "deopt"(/* deopt state 0 */) ]
call void @printf("hello world")
;; %rangeCheck1 = icmp ult i32 7, %len ;; not needed anymore
;; call void @llvm.guard_on(i1 %rangeCheck1) [ "deopt"(/* deopt s...