search for: ilowerbound

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 >> >>...