if (get_attr_cirrus (prev_active_insn(insn)) == CIRRUS_COMPARE)
      return \"beq\\t%l0\;bvs\\t%l0\"; else return \"bge\\t%l0\;nop\";
  "
  [(set_attr "conds" "jump_clob")
   (set_attr "length" "8")]
)

As you can see, I need to replace all bge with a maverick crunch
equivalent.  However, "bge" is still also used with integer comparisons,
e.g:

I think you should generate the compare using a different mode for the CC register (like cc:CCMAV) and then use two patterns:

; Special pattern to match GE for MAVERICK.  Most restrictive
; pattern goes first.
(define_insn "*arm_cirrus_bge"
  [(set (pc)
        (if_then_else (ge (match_operand:CCMAV 1 "cc_register" "") (const_int 
0))
                      (label_ref (match_operand 0 "" ""))
                      (pc)))]
  "TARGET_ARM && TARGET_HARD_FLOAT && TARGET_MAVERICK"
  "beq\\t%l0\;bvs\\t%l0\"
  [(set_attr "conds" "jump_clob")
   (set_attr "length" "8")]
)

; Special pattern to match GE for ARM.
(define_insn "*arm_bge"
  [(set (pc)
        (if_then_else (ge (match_operand 1 "cc_register" "") (const_int 0))
                      (label_ref (match_operand 0 "" ""))
                      (pc)))]
  "TARGET_ARM && TARGET_HARD_FLOAT"
  "bge\\t%l0\"
  [(set_attr "conds" "jump_clob")
   (set_attr "length" "4")]
)

Reply via email to