[LLVMdev] byval in a world without pointee types

Chandler Carruth
Tue, 10 Mar 2015 00:55:22 -0000

On Mon, Mar 9, 2015 at 1:23 PM, Reid Kleckner <rnk at google.com> wrote:

> then IMO we should keep them on allocas and globals. It keeps the IR human
>>> readable.
>>>
>>
>> & what of byval, then? Do you agree with Chandler's argument
from analogy
>> between byval, alloca, and globals?
>>
>> (oh, and I should look at inalloca a bit too - it looks like it uses
the getByValTypeAlignment
>> too... )
>>
>
> byval and inalloca are edge cases where we can afford to sacrifice some
> readability.
>

So, inalloca, maybe.

But I don't see why byval is more or less relevant than anything else here.
If it makes sense to keep the type is a convenience for readabie IR and
such in 'alloca' (and I agree that it does), I feel like it makes sense
for
byval as well.
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20150309/0d261535/attachment.html>