Displaying 4 results from an estimated 4 matches for "d87994".
2020 Sep 20
2
Is it valid to dereference a pointer that have undef bits in its offset?
...will store zero to one
of the array's elements.
The reason is that I want to improve no-undef analysis by suggesting that a
pointer that is passed to load/store is well-defined, by making it raise UB
when a pointer with undef bits is given.
A suggested patch is here: https://reviews.llvm.org/D87994
I wonder whether there is a case using this to do something that I'm not
aware.
Thanks,
Juneyoung
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20200921/9a03c974/attachment.html>
2020 Sep 21
2
Is it valid to dereference a pointer that have undef bits in its offset?
...will store zero to one of the array's elements.
The reason is that I want to improve no-undef analysis by suggesting that a pointer that is passed to load/store is well-defined, by making it raise UB when a pointer with undef bits is given.
A suggested patch is here: https://reviews.llvm.org/D87994
I wonder whether there is a case using this to do something that I'm not aware.
Thanks,
Juneyoung
--
Juneyoung Lee
Software Foundation Lab, Seoul National University
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev...
2020 Sep 21
2
Is it valid to dereference a pointer that have undef bits in its offset?
...gt;>
>> The reason is that I want to improve no-undef analysis by suggesting
>> that a pointer that is passed to load/store is well-defined, by
>> making it raise UB when a pointer with undef bits is given.
>>
>> A suggested patch is here: https://reviews.llvm.org/D87994
>>
>> I wonder whether there is a case using this to do something that I'm
>> not aware.
>>
>> Thanks,
>> Juneyoung
>>
>>
>> --
>>
>> Juneyoung Lee
>> Software Foundation Lab, Seoul National University
>>
>> _...
2020 Sep 22
2
Is it valid to dereference a pointer that have undef bits in its offset?
...t I want to improve no-undef analysis by suggesting
> >>> that a pointer that is passed to load/store is well-defined, by
> >>> making it raise UB when a pointer with undef bits is given.
> >>>
> >>> A suggested patch is here: https://reviews.llvm.org/D87994
> >>>
> >>> I wonder whether there is a case using this to do something that I'm
> >>> not aware.
> >>>
> >>> Thanks,
> >>> Juneyoung
> >>>
> >>>
> >>> --
> >>>
> >>&...