https://bugs.llvm.org/show_bug.cgi?id=43188
Nuno Lopes <[email protected]> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|RESOLVED |REOPENED
Resolution|FIXED |---
--- Comment #5 from Nuno Lopes <[email protected]> ---
I've just added support for struct consts in Alive2, so we can verify these now
:)
We now get:
define {i8, i1} @uadd_undef() {
%0:
%t = uadd_overflow i8 142, undef
ret {i8, i1} %t
}
=>
define {i8, i1} @uadd_undef() {
%0:
ret {i8, i1} { undef, 0 }
}
This is still incorrect. It has to be { undef, 1 }. You cannot get, for
example, {0, 0} in the original program, while the optimized one can produce
that.
--
You are receiving this mail because:
You are on the CC list for the bug._______________________________________________
llvm-bugs mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
