Displaying 3 results from an estimated 3 matches for "ilowerbound".
Did you mean:
lowerbound
2012 Nov 26
2
[LLVMdev] RFC: change BoundsChecking.cpp to use address-based tests
...≥ 0 (unless constant)
│ │ Cmp2: Size ≥ Offset
┆ ┆ Cmp3: ObjSize ≥ NeededSize
I am looking at generating IR like this:
%upperbound = getelementptr inbounds i64* %memobj, i64 %elements
%end = getelementptr inbounds i64* %ptr, i64 1
%ilowerbound = ptrtoint i64* %memobj to i64
%iupperbound = ptrtoint i64* %upperbound to i64
%iptr = ptrtoint i64* %ptr to i64
%iend = ptrtoint i64* %end to i64
%cmpl = icmp ult %iptr, %ilowerbound
%cmpu = icmp ult %iupperbound, %iend
%9 = or i1 %cmpl, %cmpu
br i1 %11, label %trap, label %12...
2012 Nov 26
0
[LLVMdev] RFC: change BoundsChecking.cpp to use address-based tests
...│ │ Cmp2: Size ≥ Offset
> ┆ ┆ Cmp3: ObjSize ≥ NeededSize
>
>
> I am looking at generating IR like this:
>
> %upperbound = getelementptr inbounds i64* %memobj, i64 %elements
> %end = getelementptr inbounds i64* %ptr, i64 1
>
> %ilowerbound = ptrtoint i64* %memobj to i64
> %iupperbound = ptrtoint i64* %upperbound to i64
> %iptr = ptrtoint i64* %ptr to i64
> %iend = ptrtoint i64* %end to i64
>
> %cmpl = icmp ult %iptr, %ilowerbound
> %cmpu = icmp ult %iupperbound, %iend
>
> %9 = or i1 %cmpl, %cmpu
> br...
2012 Dec 04
2
[LLVMdev] RFC: change BoundsChecking.cpp to use address-based tests
...et
>> ┆ ┆ Cmp3: ObjSize ≥ NeededSize
>>
>>
>> I am looking at generating IR like this:
>>
>> %upperbound = getelementptr inbounds i64* %memobj, i64 %elements
>> %end = getelementptr inbounds i64* %ptr, i64 1
>>
>> %ilowerbound = ptrtoint i64* %memobj to i64
>> %iupperbound = ptrtoint i64* %upperbound to i64
>> %iptr = ptrtoint i64* %ptr to i64
>> %iend = ptrtoint i64* %end to i64
>>
>> %cmpl = icmp ult %iptr, %ilowerbound
>> %cmpu = icmp ult %iupperbound, %iend
>>
>>...