Displaying 3 results from an estimated 3 matches for "memobj".
2012 Nov 26
2
[LLVMdev] RFC: change BoundsChecking.cpp to use address-based tests
I am investigating changing BoundsChecking to use address-based rather
than size- & offset-based tests.
To explain, here is a short code sample cribbed from one of the tests:
%mem = tail call i8* @calloc(i64 1, i64 %elements)
%memobj = bitcast i8* %mem to i64*
%ptr = getelementptr inbounds i64* %memobj, i64 %index
%4 = load i64* %ptr, align 8
Currently, the IR for bounds checking this load looks like this:
%size = mul i64 8, %elements
%offset = mul i64 %index, 8
%objsize = sub i64 %size, %offset
%cmp2 = icmp ult...
2012 Nov 26
0
[LLVMdev] RFC: change BoundsChecking.cpp to use address-based tests
...cpp to use address-based tests
>I am investigating changing BoundsChecking to use address-based rather
> than size- & offset-based tests.
>
> To explain, here is a short code sample cribbed from one of the tests:
>
> %mem = tail call i8* @calloc(i64 1, i64 %elements)
> %memobj = bitcast i8* %mem to i64*
> %ptr = getelementptr inbounds i64* %memobj, i64 %index
> %4 = load i64* %ptr, align 8
>
> Currently, the IR for bounds checking this load looks like this:
>
> %size = mul i64 8, %elements
> %offset = mul i64 %index, 8
> %objsize = sub i64 %s...
2012 Dec 04
2
[LLVMdev] RFC: change BoundsChecking.cpp to use address-based tests
...gt;
>> I am investigating changing BoundsChecking to use address-based rather
>> than size- & offset-based tests.
>>
>> To explain, here is a short code sample cribbed from one of the tests:
>>
>> %mem = tail call i8* @calloc(i64 1, i64 %elements)
>> %memobj = bitcast i8* %mem to i64*
>> %ptr = getelementptr inbounds i64* %memobj, i64 %index
>> %4 = load i64* %ptr, align 8
>>
>> Currently, the IR for bounds checking this load looks like this:
>>
>> %size = mul i64 8, %elements
>> %offset = mul i64 %index, 8...