Displaying 5 results from an estimated 5 matches for "d81678".
2020 Oct 08
2
Undef and Poison round table follow-up & a plan
...urce language (C/C++ in
this context) can play a significant role.
To make use the assumptions, here are short-term goals:
*1. Preserve no-undef/poison assumption of function arguments from C/C++
when valid.*
There is an ongoing relevant patch (that is written by others):
https://reviews.llvm.org/D81678
*2. Preserve no-undef/poison assumption of lvalue 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...
2020 Oct 08
2
Undef and Poison round table follow-up & a plan
...role.
>> To make use the assumptions, here are short-term goals:
>>
>> *1. Preserve no-undef/poison assumption of function arguments from C/C++
>> when valid.*
>>
>> There is an ongoing relevant patch (that is written by others):
>> https://reviews.llvm.org/D81678
>>
>> *2. Preserve no-undef/poison assumption of lvalue 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 sugg...
2020 Oct 09
2
Undef and Poison round table follow-up & a plan
...are short-term goals:
>>>>
>>>> *1. Preserve no-undef/poison assumption of function arguments from
>>>> C/C++ when valid.*
>>>>
>>>> There is an ongoing relevant patch (that is written by others):
>>>> https://reviews.llvm.org/D81678
>>>>
>>>> *2. Preserve no-undef/poison assumption of lvalue 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].
>>>> Sin...
2020 Oct 09
2
Undef and Poison round table follow-up & a plan
...>>>>>> *1. Preserve no-undef/poison assumption of function arguments from
>>>>>> C/C++ when valid.*
>>>>>>
>>>>>> There is an ongoing relevant patch (that is written by others):
>>>>>> https://reviews.llvm.org/D81678
>>>>>>
>>>>>> *2. Preserve no-undef/poison assumption of lvalue reads in C/C++ when
>>>>>> valid.*
>>>>>>
>>>>>> Reading an indeterminate value from an lvalue that does not have char
>>>>>> o...
2020 Oct 10
2
Undef and Poison round table follow-up & a plan
...serve no-undef/poison assumption of function arguments from
>>>>>>>> C/C++ when valid.*
>>>>>>>>
>>>>>>>> There is an ongoing relevant patch (that is written by others):
>>>>>>>> https://reviews.llvm.org/D81678
>>>>>>>>
>>>>>>>> *2. Preserve no-undef/poison assumption of lvalue reads in C/C++
>>>>>>>> when valid.*
>>>>>>>>
>>>>>>>> Reading an indeterminate value from an lvalue that does...