Displaying 2 results from an estimated 2 matches for "ptr_1".
Did you mean:
ptr1
2016 Jun 24
6
RFC: Strong GC References in LLVM
...ptr
%value_gc = inttoptr %value to GCREF (%value_gc unused)
is invalid for the same reason.
## GCREF -> Integer conversion
Converting a GCREF to an integer is fine if the integer is unused.
However, cases like these are problematic:
%v0 = load GCREF, GCREF* %ptr_0
%v1 = load GCREF, GCREF* %ptr_1
%cmp = icmp eq %v0, %v1
== Transformed to ==>
%v0 = load i64, i64* %ptr_0
%v1 = load i64, i64* %ptr_1
%cmp = icmp eq %v0, %v1
Since in the second version if "L" is, say, between %v0 and %v1, "G"
would not include "v0" which contains a GC reference that the GC may
w...
2016 Jul 12
2
RFC: Strong GC References in LLVM
...1, i64* %2, align 8
>
>> ## GCREF -> Integer conversion
>>
>> Converting a GCREF to an integer is fine if the integer is unused.
>> However, cases like these are problematic:
>>
>> %v0 = load GCREF, GCREF* %ptr_0
>> %v1 = load GCREF, GCREF* %ptr_1
>> %cmp = icmp eq %v0, %v1
>> == Transformed to ==>
>> %v0 = load i64, i64* %ptr_0
>> %v1 = load i64, i64* %ptr_1
>> %cmp = icmp eq %v0, %v1
>>
>> Since in the second version if "L" is, say, between %v0 and %v1, "G"
>> w...