Displaying 3 results from an estimated 3 matches for "isnotnullandinbound".
Did you mean:
isnotnullandinbounds
2013 Nov 08
1
[LLVMdev] Proposal for safe-to-execute meta-data for heap accesses
...null-checked:
%p = getelementptr %object, <things>
%v = load %p !notrap !{ @isNotNull, %object }
- Load that requires a null check and an array bounds check:
%p = getelementptr %object, %index (possibly other things also depending on your array object model)
%v = load %p !notrap !{ @isNotNullAndInBounds,%object, %index }
- Load that requires tagged value encoding and that an object to have a particular shape and involves a doubly-indirected object model (for example when implementing dynamic language heap accesses):
%object = inttoptr %value
%p1 = getelementptr %object, <things>
%p2 =...
2013 Nov 08
0
[LLVMdev] Proposal for safe-to-execute meta-data for heap accesses
----- Original Message -----
>
>
>
>
>
> On Nov 8, 2013, at 1:13 AM, Chandler Carruth < chandlerc at google.com >
> wrote:
>
>
>
>
>
>
>
>
> On Thu, Nov 7, 2013 at 9:39 PM, Filip Pizlo < fpizlo at apple.com >
> wrote:
>
>
>
> NEW PROPOSAL
>
> The solution is to introduce meta-data that is explicit
2013 Nov 08
5
[LLVMdev] Proposal for safe-to-execute meta-data for heap accesses
> On Nov 8, 2013, at 1:13 AM, Chandler Carruth <chandlerc at google.com> wrote:
>
>
>> On Thu, Nov 7, 2013 at 9:39 PM, Filip Pizlo <fpizlo at apple.com> wrote:
>> NEW PROPOSAL
>>
>> The solution is to introduce meta-data that is explicit about how the safe-to-execute condition ought to be evaluated. Instead of an SSA use, we can have meta-data that