Displaying 1 result from an estimated 1 matches for "zext_from".
Did you mean:
sext_from
2012 Mar 24
0
[LLVMdev] [RFC] Using i8 for boolean return types and arguments.
...patch we regress to
define i32 @_Z1fb(i8 %x.coerce) nounwind readnone optsize {
entry:
%0 = and i8 %x.coerce, 1
%conv = zext i8 %0 to i32
ret i32 %conv
}
and
andl $1, %edi
movl %edi, %eax
ret
How should we handle this? The proposal on LLVMNotes is to have an
attribute of the form "zext_from(i8)", which requires extending what
parameter attributes are. Another option is allowing metadata on
parameters, in which case we would be able to just use the new range
metadata.
Has anyone tried adding metadata to parameters before?
Cheers,
Rafael
-------------- next part --------------
A...