[Bug target/10567] -fno-delayed-branch not honored in back-end

[ebotcazou at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


ebotcazou at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|-fno-delayed-branch not     |-fno-delayed-branch not
                   |honored in function         |honored in back-end
                   |epilogues                   |


------- Additional Comments From ebotcazou at gcc dot gnu dot org  2003-09-09 14:19 -------
-fno-delayed-branch is not honored either by the following two peepholes:

;; Now peepholes to do a call followed by a jump.

(define_peephole
  [(parallel [(set (match_operand 0 "" "")
		   (call (mem:SI (match_operand:SI 1 "call_operand_address" "ps"))
			 (match_operand 2 "" "")))
	      (clobber (reg:SI 15))])
   (set (pc) (label_ref (match_operand 3 "" "")))]
  "short_branch (INSN_UID (insn), INSN_UID (operands[3]))
   && (USING_SJLJ_EXCEPTIONS || ! can_throw_internal (ins1))
   && sparc_cpu != PROCESSOR_ULTRASPARC
   && sparc_cpu != PROCESSOR_ULTRASPARC3"
  "call\t%a1, %2\n\tadd\t%%o7, (%l3-.-4), %%o7")

(define_peephole
  [(parallel [(call (mem:SI (match_operand:SI 0 "call_operand_address" "ps"))
		    (match_operand 1 "" ""))
	      (clobber (reg:SI 15))])
   (set (pc) (label_ref (match_operand 2 "" "")))]
  "short_branch (INSN_UID (insn), INSN_UID (operands[2]))
   && (USING_SJLJ_EXCEPTIONS || ! can_throw_internal (ins1))
   && sparc_cpu != PROCESSOR_ULTRASPARC
   && sparc_cpu != PROCESSOR_ULTRASPARC3"
  "call\t%a0, %1\n\tadd\t%%o7, (%l2-.-4), %%o7")