[LLVMdev] promotion of return value.

Duncan Sands
Thu, 12 Mar 2009 18:15:36 -0000

On Thursday 12 March 2009 18:38:33 Alireza.Moshtaghi at microchip.com
wrote:
> Previously we talked about adding new attributes to function to identify
the promotion class.
> >   sign_ext_from_i8, sign_ext_from_i16
> >   zero_ext_from_i8, zero_ext_from_i16
>
> Aren't these attributes more applicable to return value? of course then
the question would be if they are also applicable to parameters too? (because we
use same attributes for parameters and return value)? or should we disallow then
on parameters?

Since the LLVM IR supports arbitrary precision integers,
shouldn't there be zero_ext_from_i17 as well?  At least
zero_ext_from_i1?

Ciao,

Duncan.

PS: What is the problem this is trying to solve?