Displaying 5 results from an estimated 5 matches for "d89050".
2020 Oct 08
2
Undef and Poison round table follow-up & a plan
...alue reads in C/C++ when
valid.*
Reading an indeterminate value from an lvalue that does not have char or
std::byte type is UB [1].
Since reading an lvalue is lowered to `load` in IR, we suggest attaching a
new
!noundef metadata to such `load`s.
The IR-side change is here: https://reviews.llvm.org/D89050
The clang-side change is going to be made after D81678 is reviewed, because
it is likely
that this patch will have a lot of changes in clang tests.
*Replacing Undef with Poison*
---------------------------
Since undef is known to be the source of many optimizations due to its
complexity,
we'...
2020 Oct 08
2
Undef and Poison round table follow-up & a plan
...indeterminate value from an lvalue that does not have char or
>> std::byte type is UB [1].
>> Since reading an lvalue is lowered to `load` in IR, we suggest attaching
>> a new
>> !noundef metadata to such `load`s.
>> The IR-side change is here: https://reviews.llvm.org/D89050
>> The clang-side change is going to be made after D81678 is reviewed,
>> because it is likely
>> that this patch will have a lot of changes in clang tests.
>>
>>
>> *Replacing Undef with Poison*
>> ---------------------------
>>
>> Since undef...
2020 Oct 09
2
Undef and Poison round table follow-up & a plan
...does not have char or
>>>> std::byte type is UB [1].
>>>> Since reading an lvalue is lowered to `load` in IR, we suggest
>>>> attaching a new
>>>> !noundef metadata to such `load`s.
>>>> The IR-side change is here: https://reviews.llvm.org/D89050
>>>> The clang-side change is going to be made after D81678 is reviewed,
>>>> because it is likely
>>>> that this patch will have a lot of changes in clang tests.
>>>>
>>>>
>>>> *Replacing Undef with Poison*
>>>> --...
2020 Oct 09
2
Undef and Poison round table follow-up & a plan
...t;> std::byte type is UB [1].
>>>>>> Since reading an lvalue is lowered to `load` in IR, we suggest
>>>>>> attaching a new
>>>>>> !noundef metadata to such `load`s.
>>>>>> The IR-side change is here: https://reviews.llvm.org/D89050
>>>>>> The clang-side change is going to be made after D81678 is reviewed,
>>>>>> because it is likely
>>>>>> that this patch will have a lot of changes in clang tests.
>>>>>>
>>>>>>
>>>>>> *...
2020 Oct 10
2
Undef and Poison round table follow-up & a plan
...>>>>>>>> Since reading an lvalue is lowered to `load` in IR, we suggest
>>>>>>>> attaching a new
>>>>>>>> !noundef metadata to such `load`s.
>>>>>>>> The IR-side change is here: https://reviews.llvm.org/D89050
>>>>>>>> The clang-side change is going to be made after D81678 is reviewed,
>>>>>>>> because it is likely
>>>>>>>> that this patch will have a lot of changes in clang tests.
>>>>>>>>
>>>>>...