<div dir="ltr">Sent out <a href="http://reviews.llvm.org/D11779">http://reviews.llvm.org/D11779</a> to fix the UB in this test.</div><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Aug 5, 2015 at 11:51 AM, Hans Wennborg <span dir="ltr"><<a href="mailto:hans@chromium.org" target="_blank">hans@chromium.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">On Tue, Aug 4, 2015 at 4:24 AM, Aaron Ballman <<a href="mailto:aaron@aaronballman.com">aaron@aaronballman.com</a>> wrote:<br>
> On Mon, Aug 3, 2015 at 8:47 PM, Hans Wennborg <<a href="mailto:hans@chromium.org">hans@chromium.org</a>> wrote:<br>
>> On Mon, Aug 3, 2015 at 1:32 PM, Aaron Ballman <<a href="mailto:aaron@aaronballman.com">aaron@aaronballman.com</a>> wrote:<br>
>>> On Mon, Aug 3, 2015 at 4:28 PM, Lang Hames <<a href="mailto:lhames@gmail.com">lhames@gmail.com</a>> wrote:<br>
>>>> Aaron - I think the API design could be improved, but that's something that<br>
>>>> we will need discussion before we change it.<br>
>>><br>
>>> Oh, most definitely agreed that discussion is required. :-D<br>
>>><br>
>>>><br>
>>>> Dave - Yeah, this is gross, but I'm pretty sure you're right on both counts:<br>
>>>> Technically UB, but expected to behave as intended. I'm very open to<br>
>>>> changing this if we can come up with something saner.<br>
>>><br>
>>> uintptr_t ptr_val = reinterpret_cast<uintptr_t>(&localTestFunc);<br>
>>> LLVMAddGlobalMapping(Engine, MappedFn, reinterpret_cast<void *>(ptr_val));<br>
>>><br>
>>> I *think* this skirts around the UB, and should still optimize reasonably.<br>
>><br>
>> Are there changes planned here, or can I just go ahead and merge<br>
>> r243891 as-is to the 3.7 branch?<br>
><br>
> I would like to see changes before it gets merged, but am uncertain<br>
> how others feel.<br>
<br>
</span>Lang, I think this is up to you. Do you want to change this, or should<br>
I just go ahead and merge it?<br>
<br>
Cheers,<br>
Hans<br>
<div><div class="h5"><br>
>>>> On Mon, Aug 3, 2015 at 11:36 AM, Aaron Ballman <<a href="mailto:aaron@aaronballman.com">aaron@aaronballman.com</a>><br>
>>>> wrote:<br>
>>>>><br>
>>>>> On Mon, Aug 3, 2015 at 2:25 PM, David Blaikie <<a href="mailto:dblaikie@gmail.com">dblaikie@gmail.com</a>> wrote:<br>
>>>>> ><br>
>>>>> ><br>
>>>>> > On Mon, Aug 3, 2015 at 11:03 AM, Lang Hames <<a href="mailto:lhames@gmail.com">lhames@gmail.com</a>> wrote:<br>
>>>>> >><br>
>>>>> >> Author: lhames<br>
>>>>> >> Date: Mon Aug  3 13:03:40 2015<br>
>>>>> >> New Revision: 243891<br>
>>>>> >><br>
>>>>> >> URL: <a href="http://llvm.org/viewvc/llvm-project?rev=243891&view=rev" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-project?rev=243891&view=rev</a><br>
>>>>> >> Log:<br>
>>>>> >> [MCJIT] Fix a cast warning in the unit-test introduced in r243589.<br>
>>>>> >><br>
>>>>> >> Thanks to Aaron Ballman for spotting this.<br>
>>>>> >><br>
>>>>> >> Modified:<br>
>>>>> >>     llvm/trunk/unittests/ExecutionEngine/MCJIT/MCJITCAPITest.cpp<br>
>>>>> >><br>
>>>>> >> Modified: llvm/trunk/unittests/ExecutionEngine/MCJIT/MCJITCAPITest.cpp<br>
>>>>> >> URL:<br>
>>>>> >><br>
>>>>> >> <a href="http://llvm.org/viewvc/llvm-project/llvm/trunk/unittests/ExecutionEngine/MCJIT/MCJITCAPITest.cpp?rev=243891&r1=243890&r2=243891&view=diff" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-project/llvm/trunk/unittests/ExecutionEngine/MCJIT/MCJITCAPITest.cpp?rev=243891&r1=243890&r2=243891&view=diff</a><br>
>>>>> >><br>
>>>>> >><br>
>>>>> >> ==============================================================================<br>
>>>>> >> --- llvm/trunk/unittests/ExecutionEngine/MCJIT/MCJITCAPITest.cpp<br>
>>>>> >> (original)<br>
>>>>> >> +++ llvm/trunk/unittests/ExecutionEngine/MCJIT/MCJITCAPITest.cpp Mon<br>
>>>>> >> Aug<br>
>>>>> >> 3 13:03:40 2015<br>
>>>>> >> @@ -514,7 +514,13 @@ TEST_F(MCJITCAPITest, addGlobalMapping)<br>
>>>>> >>    buildMCJITOptions();<br>
>>>>> >>    buildMCJITEngine();<br>
>>>>> >><br>
>>>>> >> -  LLVMAddGlobalMapping(Engine, MappedFn,<br>
>>>>> >> reinterpret_cast<void*>(&localTestFunc));<br>
>>>>> >> +  union {<br>
>>>>> >> +    int (*raw)();<br>
>>>>> >> +    void *usable;<br>
>>>>> >> +  } functionPointer;<br>
>>>>> >> +  functionPointer.raw = &localTestFunc;<br>
>>>>> ><br>
>>>>> ><br>
>>>>> > This is actually UB, but I think it's somewhere in the UB subset that<br>
>>>>> > LLVM<br>
>>>>> > intentionally preserves the expected behavior of (& I'm not sure if we<br>
>>>>> > rely<br>
>>>>> > on this in other parts of LLVM/assume that all compilers used to build<br>
>>>>> > LLVM<br>
>>>>> > support this behavior).<br>
>>>>><br>
>>>>> I don't think we should rely on it when alternatives exist that aren't<br>
>>>>> UB, such as use of intptr_t and static_assert. I think the API for<br>
>>>>> LLVMAddGlobalMapping() is broken if it's requiring a function pointer<br>
>>>>> to be convertible to void * (note, I know nothing of<br>
>>>>> LLVMAddGlobalMappings, so I may also be off-base)...<br>
</div></div>_______________________________________________<br>
llvm-commits mailing list<br>
<a href="mailto:llvm-commits@lists.llvm.org">llvm-commits@lists.llvm.org</a><br>
<a href="http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-commits" rel="noreferrer" target="_blank">http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-commits</a><br>
</blockquote></div><br></div>