Displaying 2 results from an estimated 2 matches for "val_gc".
Did you mean:
value_gc
2016 Jun 24
6
RFC: Strong GC References in LLVM
...REF, GCREF* %loc0
==>
store GCREF %v0, GCREF* %loc0
%v1 = %v0
The store forwarding is valid since we stored a GCREF that
semantically points to object O (say), and loaded back a GCREF
pointing to the same object O.
### Hoisting inttoptr is (generally) invalid:
if (<condition>) {
%val_gc = ptrtoint %val to GCREF
}
==>
%val_gc = ptrtoint %val to GCREF
if (<condition>) {}
is invalid since we do not know that `%val` is a valid bitwise
representation of a GCREF at the point in time we do the `ptrtoint`
(i.e. <<condition>> could be controlling whether `%val`...
2016 Jul 12
2
RFC: Strong GC References in LLVM
...rding is valid since we stored a GCREF that
>> semantically points to object O (say), and loaded back a GCREF
>> pointing to the same object O.
>
> Good.
>
>> ### Hoisting inttoptr is (generally) invalid:
>>
>> if (<condition>) {
>> %val_gc = ptrtoint %val to GCREF
>> }
>> ==>
>> %val_gc = ptrtoint %val to GCREF
>> if (<condition>) {}
>>
>> is invalid since we do not know that `%val` is a valid bitwise
>> representation of a GCREF at the point in time we do the `ptrtoint`...