[Bug target/83133] Superflous x86 test instructions in generated assembly.

joseph at codesourcery dot com gcc-bugzilla@gcc.gnu.org
Fri Nov 24 16:51:00 GMT 2017


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

--- Comment #5 from joseph at codesourcery dot com <joseph at codesourcery dot com> ---
Both 32-bit and 64-bit ABIs make the values of flags in EFLAGS (other than 
DF) undefined on function entry and return.  Thus, a function can never 
assume anything about the value of OF unless it has executed an 
instruction known to set/clear it and has not called any other functions 
since then.


More information about the Gcc-bugs mailing list