leonardchan added a comment.

> Good case to bring up. For addition, I think we just need to add an extra 
> condition that checks for unsigned padding in the result. Added this test 
> also.

Actually this was wrong. Updated and instead dictate how the appropriate number 
of bits to `getCommonSemantics`. The saturation intrinsics handle unsigned 
padding types correctly now and only add the extra padding bit to the common 
width if both operands have unsigned padding and the result is not saturated 
(to prevent an unnecessary ext + trunc on non saturating operations).


Repository:
  rC Clang

https://reviews.llvm.org/D53738



_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to