[Bug target/53975] [ia64] Target register of a speculative load moved to a branch register prior to the chk.s instruction

[steven at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53975

--- Comment #2 from Steven Bosscher <steven at gcc dot gnu.org> 2012-07-15 21:08:30 UTC ---
FWIW, as far as I understand the ia64 data speculation semantics, it is OK to
use a speculated load, but the check must then be done on the use, i.e. in t
his case chk.s b6.