https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64946

--- Comment #6 from vekumar at gcc dot gnu.org ---
(In reply to Andrew Pinski from comment #5)
> I think you should always use an unsigned type here so it will be defined in
> the IR.  This is mentioned in bug 22199#c3 .

Andrew I missed to include something like this 

+      (if (TYPE_OVERFLOW_WRAPS (TREE_TYPE (@0)))
+       (convert (op @0 @1)))

as in  https://gcc.gnu.org/viewcvs?rev=220695&root=gcc&view=rev

Reply via email to