[LLVMdev] The nsw story

David A. Greene greened at obbligato.org
Tue Dec 6 14:29:32 PST 2011

Eli Friedman <eli.friedman at gmail.com> writes:

>> Yes, we know the high bits are the same but it's surprising to me that
>> this would be represented as "undef."
> We don't represent that as undef in the IR; constant folding will fold
> "sext i32 undef to i64" to zero, not undef.

Ok, so why the fuss over sext?


More information about the llvm-dev mailing list