X-Git-Url: http://git.sourceforge.jp/view?a=blobdiff_plain;f=gcc%2Fconfig%2Fc4x%2Fc4x.md;h=3b40c370c764e00ac15dc15c82323b91bede83d5;hb=5ed5e9eb8c8636cb0c47786234886463bf8deda4;hp=30eb83c76586f752ac4d37fb8bc0c8f383b034ab;hpb=faafbab7f3bb6c1f03a410b9d52cbd2018e9c91f;p=pf3gnuchains%2Fgcc-fork.git diff --git a/gcc/config/c4x/c4x.md b/gcc/config/c4x/c4x.md index 30eb83c7658..3b40c370c76 100644 --- a/gcc/config/c4x/c4x.md +++ b/gcc/config/c4x/c4x.md @@ -5040,6 +5040,40 @@ " [(set_attr "type" "db,jmpc,jmpc,jmpc")]) +(define_insn "*db_noclobber" + [(set (pc) + (if_then_else (ne (match_operand:QI 0 "addr_reg_operand" "+a") + (const_int 0)) + (label_ref (match_operand 1 "" "")) + (pc))) + (set (match_dup 0) + (plus:QI (match_dup 0) + (const_int -1)))] + "reload_completed && TARGET_DB && TARGET_LOOP_UNSIGNED" + "dbu%#\\t%0,%l1" + [(set_attr "type" "db")]) + +(define_split + [(set (pc) + (if_then_else (ne (match_operand:QI 0 "addr_reg_operand" "") + (const_int 0)) + (label_ref (match_operand 1 "" "")) + (pc))) + (set (match_dup 0) + (plus:QI (match_dup 0) + (const_int -1))) + (clobber (reg:CC_NOOV 21))] + "reload_completed && TARGET_DB && TARGET_LOOP_UNSIGNED" + [(parallel [(set (pc) + (if_then_else (ne (match_dup 0) + (const_int 0)) + (label_ref (match_dup 1)) + (pc))) + (set (match_dup 0) + (plus:QI (match_dup 0) + (const_int -1)))])] + "") + ; This insn is used for some loop tests, typically loops reversed when ; strength reduction is used. It is actually created when the instruction @@ -5076,6 +5110,45 @@ " [(set_attr "type" "db,jmpc,jmpc,jmpc")]) +(define_insn "*decrement_and_branch_until_zero_noclobber" + [(set (pc) + (if_then_else (ge (plus:QI (match_operand:QI 0 "addr_reg_operand" "+a") + (const_int -1)) + (const_int 0)) + (label_ref (match_operand 1 "" "")) + (pc))) + (set (match_dup 0) + (plus:QI (match_dup 0) + (const_int -1)))] + "reload_completed && (TARGET_DB && (find_reg_note (insn, REG_NONNEG, 0) + || TARGET_LOOP_UNSIGNED))" + "dbu%#\\t%0,%l1" + [(set_attr "type" "db")]) + +(define_split + [(set (pc) + (if_then_else (ge (plus:QI (match_operand:QI 0 "addr_reg_operand" "") + (const_int -1)) + (const_int 0)) + (label_ref (match_operand 1 "" "")) + (pc))) + (set (match_dup 0) + (plus:QI (match_dup 0) + (const_int -1))) + (clobber (reg:CC_NOOV 21))] + "reload_completed && (TARGET_DB && (find_reg_note (insn, REG_NONNEG, 0) + || TARGET_LOOP_UNSIGNED))" + [(parallel [(set (pc) + (if_then_else (ge (plus:QI (match_dup 0) + (const_int -1)) + (const_int 0)) + (label_ref (match_dup 1)) + (pc))) + (set (match_dup 0) + (plus:QI (match_dup 0) + (const_int -1)))])] + "") + ; ; MISC INSTRUCTIONS ;