Displaying 5 results from an estimated 5 matches for "rep_t".
Did you mean:
rel_t
2015 Oct 25
2
[compiler-rt] Undefined negation in float emulation functions
...>> On Oct 23, 2015, at 7:43 PM, Matthew Fernandez via llvm-dev <llvm-dev at lists.llvm.org> wrote:
>>> On 21/10/15 00:15, Stephen Canon wrote:
>>> Yup, this is UB. If you want to propose a patch, I would do something like the following:
>>>
>>> rep_t sign = 0;
>>> unsigned int aAbs = a;
>>> if (a < 0) {
>>> sign = signBit;
>>> aAbs = -aAbs;
>>> }
>>> // Now use aAbs instead of a.
>
> FWIW, another way to avoid the UB is to use an unsigned value.
I'm c...
2015 Oct 24
2
[compiler-rt] Undefined negation in float emulation functions
...you disagree with anything I've said please
let me know. And to think this was just supposed to be a quick afternoon tinkering with LLVM for me ;)
On 21/10/15 00:15, Stephen Canon wrote:
> Yup, this is UB. If you want to propose a patch, I would do something like the following:
>
> rep_t sign = 0;
> unsigned int aAbs = a;
> if (a < 0) {
> sign = signBit;
> aAbs = -aAbs;
> }
> // Now use aAbs instead of a.
>
> – Steve
>
>> On Oct 20, 2015, at 6:38 AM, Matthew Fernandez via llvm-dev <llvm-dev at lists.llvm.org> wrote:
>>
>>...
2015 Oct 25
2
[compiler-rt] Undefined negation in float emulation functions
...:43 PM, Matthew Fernandez via llvm-dev <llvm-dev at lists.llvm.org> wrote:
>>>>> On 21/10/15 00:15, Stephen Canon wrote:
>>>>> Yup, this is UB. If you want to propose a patch, I would do something like the following:
>>>>>
>>>>> rep_t sign = 0;
>>>>> unsigned int aAbs = a;
>>>>> if (a < 0) {
>>>>> sign = signBit;
>>>>> aAbs = -aAbs;
>>>>> }
>>>>> // Now use aAbs instead of a.
>>>
>>> FWIW...
2015 Oct 20
2
[compiler-rt] Undefined negation in float emulation functions
Hi,
I recently came across the following in __floatsidf in compiler-rt:
__floatsidf(int a) {
...
if (a < 0) {
...
a = -a;
In the case where a == INT_MIN, is this negation not undefined behaviour? AIUI this function is used for software
emulation on targets that have no hardware floating point support. Perhaps there is an in-built assumption
2010 Oct 06
1
[LLVMdev] Associating types directly with debug metadata?
Pekka Nikander wrote:
>>>> Here is another version of the patch. This one includes also a small patch to llvm-gcc so that it generates the type metadata for structures and classes. This one also generates and parses correctly the metadata for .ll files. No .bc support yet. The biggest problem with this version is that it breaks when the compiler/linker performs type reductions, and