This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
some Xtensa cleanups
- From: Bob Wilson <bwilson at tensilica dot com>
- To: gcc-patches at gcc dot gnu dot org
- Date: Mon, 11 Aug 2003 10:51:58 -0700
- Subject: some Xtensa cleanups
- Organization: Tensilica, Inc.
This patch changes the Xtensa .md file to use brace block syntax. It also
cleans up some formatting and replaces some unreachable calls to fatal_insn
with aborts. Committed on mainline.
2003-08-11 Bob Wilson <bob.wilson@acm.org>
* config/xtensa/lib2funcs.S: Fix whitespace.
* config/xtensa/xtensa.md (all insns and expanders): Use brace block
syntax where appropriate. Remove unnecessary backslash escapes.
Reformat comments and fix some code formatting.
(extendqisi2): Rearrange conditional.
(*btrue, *bfalse, *ubtrue, *ubfalse, *bittrue, *bitfalse, *masktrue,
*maskfalse, movsicc_internal0, movsfcc_internal0): Call abort instead
of fatal_insn.
Index: lib2funcs.S
===================================================================
RCS file: /cvs/gcc/gcc/gcc/config/xtensa/lib2funcs.S,v
retrieving revision 1.6
diff -u -r1.6 lib2funcs.S
--- lib2funcs.S 1 Jul 2003 00:14:30 -0000 1.6
+++ lib2funcs.S 11 Aug 2003 16:54:51 -0000
@@ -150,7 +150,7 @@
be touched by the trampoline. An ISYNC instruction is also needed to
make sure that the modified instructions are loaded into the instruction
fetch buffer. */
-
+
#define TRAMPOLINE_SIZE 59
.text
Index: xtensa.md
===================================================================
RCS file: /cvs/gcc/gcc/gcc/config/xtensa/xtensa.md,v
retrieving revision 1.14
diff -u -r1.14 xtensa.md
--- xtensa.md 29 May 2003 00:08:36 -0000 1.14
+++ xtensa.md 11 Aug 2003 16:54:51 -0000
@@ -19,13 +19,6 @@
;; Software Foundation, 59 Temple Place - Suite 330, Boston, MA
;; 02111-1307, USA.
-;;
-;; ....................
-;;
-;; CONSTANTS
-;;
-;; ....................
-;;
(define_constants [
(A0_REG 0)
@@ -41,13 +34,8 @@
(UNSPECV_ENTRY 2)
])
-;;
-;; ....................
-;;
-;; ATTRIBUTES
-;;
-;; ....................
-;;
+
+;; Attributes.
(define_attr "type"
"unknown,jump,call,load,store,move,arith,multi,nop,farith,fmadd,fdiv,fsqrt,fconv,fload,fstore,mul16,mul32,div32,mac16,rsr,wsr"
@@ -63,14 +51,8 @@
(define_asm_attributes
[(set_attr "type" "multi")])
-
-;;
-;; ....................
-;;
-;; FUNCTIONAL UNITS
-;;
-;; ....................
-;;
+
+;; Functional units.
(define_function_unit "memory" 1 0 (eq_attr "type" "load,fload") 2 0)
@@ -84,21 +66,14 @@
(define_function_unit "fpconv" 1 0 (eq_attr "type" "fconv") 2 0)
-
-;;
-;; ....................
-;;
-;; ADDITION
-;;
-;; ....................
-;;
+
+;; Addition.
(define_expand "adddi3"
[(set (match_operand:DI 0 "register_operand" "")
(plus:DI (match_operand:DI 1 "register_operand" "")
(match_operand:DI 2 "register_operand" "")))]
""
- "
{
rtx srclo;
rtx dstlo = gen_lowpart (SImode, operands[0]);
@@ -125,7 +100,7 @@
emit_insn (gen_addsi3 (dsthi, src1hi, src2hi));
emit_insn (gen_adddi_carry (dsthi, dstlo, srclo));
DONE;
-}")
+})
;; Represent the add-carry operation as an atomic operation instead of
;; expanding it to a conditional branch. Otherwise, the edge
@@ -138,7 +113,7 @@
(match_operand:SI 2 "register_operand" "r"))
(match_dup 0)))]
""
- "bgeu\\t%1, %2, 0f\;addi\\t%0, %0, 1\;0:"
+ "bgeu\t%1, %2, 0f\;addi\t%0, %0, 1\;0:"
[(set_attr "type" "multi")
(set_attr "mode" "SI")
(set_attr "length" "6")])
@@ -149,11 +124,11 @@
(match_operand:SI 2 "add_operand" "d,O,r,J,N")))]
""
"@
- add.n\\t%0, %1, %2
- addi.n\\t%0, %1, %d2
- add\\t%0, %1, %2
- addi\\t%0, %1, %d2
- addmi\\t%0, %1, %x2"
+ add.n\t%0, %1, %2
+ addi.n\t%0, %1, %d2
+ add\t%0, %1, %2
+ addi\t%0, %1, %d2
+ addmi\t%0, %1, %x2"
[(set_attr "type" "arith,arith,arith,arith,arith")
(set_attr "mode" "SI")
(set_attr "length" "2,2,3,3,3")])
@@ -164,7 +139,7 @@
(const_int 2))
(match_operand:SI 2 "register_operand" "r")))]
"TARGET_ADDX"
- "addx2\\t%0, %1, %2"
+ "addx2\t%0, %1, %2"
[(set_attr "type" "arith")
(set_attr "mode" "SI")
(set_attr "length" "3")])
@@ -175,7 +150,7 @@
(const_int 4))
(match_operand:SI 2 "register_operand" "r")))]
"TARGET_ADDX"
- "addx4\\t%0, %1, %2"
+ "addx4\t%0, %1, %2"
[(set_attr "type" "arith")
(set_attr "mode" "SI")
(set_attr "length" "3")])
@@ -186,7 +161,7 @@
(const_int 8))
(match_operand:SI 2 "register_operand" "r")))]
"TARGET_ADDX"
- "addx8\\t%0, %1, %2"
+ "addx8\t%0, %1, %2"
[(set_attr "type" "arith")
(set_attr "mode" "SI")
(set_attr "length" "3")])
@@ -196,26 +171,19 @@
(plus:SF (match_operand:SF 1 "register_operand" "%f")
(match_operand:SF 2 "register_operand" "f")))]
"TARGET_HARD_FLOAT"
- "add.s\\t%0, %1, %2"
+ "add.s\t%0, %1, %2"
[(set_attr "type" "fmadd")
(set_attr "mode" "SF")
(set_attr "length" "3")])
-
-;;
-;; ....................
-;;
-;; SUBTRACTION
-;;
-;; ....................
-;;
+
+;; Subtraction.
(define_expand "subdi3"
[(set (match_operand:DI 0 "register_operand" "")
(minus:DI (match_operand:DI 1 "register_operand" "")
(match_operand:DI 2 "register_operand" "")))]
""
- "
{
rtx dstlo = gen_lowpart (SImode, operands[0]);
rtx src1lo = gen_lowpart (SImode, operands[1]);
@@ -229,7 +197,7 @@
emit_insn (gen_subdi_carry (dsthi, src1lo, src2lo));
emit_insn (gen_subsi3 (dstlo, src1lo, src2lo));
DONE;
-}")
+})
(define_insn "subdi_carry"
[(set (match_operand:SI 0 "register_operand" "+a")
@@ -237,7 +205,7 @@
(ltu:SI (match_operand:SI 1 "register_operand" "r")
(match_operand:SI 2 "register_operand" "r"))))]
""
- "bgeu\\t%1, %2, 0f\;addi\\t%0, %0, -1\;0:"
+ "bgeu\t%1, %2, 0f\;addi\t%0, %0, -1\;0:"
[(set_attr "type" "multi")
(set_attr "mode" "SI")
(set_attr "length" "6")])
@@ -247,7 +215,7 @@
(minus:SI (match_operand:SI 1 "register_operand" "r")
(match_operand:SI 2 "register_operand" "r")))]
""
- "sub\\t%0, %1, %2"
+ "sub\t%0, %1, %2"
[(set_attr "type" "arith")
(set_attr "mode" "SI")
(set_attr "length" "3")])
@@ -258,7 +226,7 @@
(const_int 2))
(match_operand:SI 2 "register_operand" "r")))]
"TARGET_ADDX"
- "subx2\\t%0, %1, %2"
+ "subx2\t%0, %1, %2"
[(set_attr "type" "arith")
(set_attr "mode" "SI")
(set_attr "length" "3")])
@@ -269,7 +237,7 @@
(const_int 4))
(match_operand:SI 2 "register_operand" "r")))]
"TARGET_ADDX"
- "subx4\\t%0, %1, %2"
+ "subx4\t%0, %1, %2"
[(set_attr "type" "arith")
(set_attr "mode" "SI")
(set_attr "length" "3")])
@@ -280,7 +248,7 @@
(const_int 8))
(match_operand:SI 2 "register_operand" "r")))]
"TARGET_ADDX"
- "subx8\\t%0, %1, %2"
+ "subx8\t%0, %1, %2"
[(set_attr "type" "arith")
(set_attr "mode" "SI")
(set_attr "length" "3")])
@@ -290,26 +258,20 @@
(minus:SF (match_operand:SF 1 "register_operand" "f")
(match_operand:SF 2 "register_operand" "f")))]
"TARGET_HARD_FLOAT"
- "sub.s\\t%0, %1, %2"
+ "sub.s\t%0, %1, %2"
[(set_attr "type" "fmadd")
(set_attr "mode" "SF")
(set_attr "length" "3")])
-
-;;
-;; ....................
-;;
-;; MULTIPLICATION
-;;
-;; ....................
-;;
+
+;; Multiplication.
(define_insn "mulsi3"
[(set (match_operand:SI 0 "register_operand" "=a")
(mult:SI (match_operand:SI 1 "register_operand" "%r")
(match_operand:SI 2 "register_operand" "r")))]
"TARGET_MUL32"
- "mull\\t%0, %1, %2"
+ "mull\t%0, %1, %2"
[(set_attr "type" "mul32")
(set_attr "mode" "SI")
(set_attr "length" "3")])
@@ -322,8 +284,8 @@
(match_operand:HI 2 "register_operand" "r,r"))))]
"TARGET_MUL16 || TARGET_MAC16"
"@
- mul16s\\t%0, %1, %2
- mul.aa.ll\\t%1, %2"
+ mul16s\t%0, %1, %2
+ mul.aa.ll\t%1, %2"
[(set_attr "type" "mul16,mac16")
(set_attr "mode" "SI")
(set_attr "length" "3,3")])
@@ -336,8 +298,8 @@
(match_operand:HI 2 "register_operand" "r,r"))))]
"TARGET_MUL16 || TARGET_MAC16"
"@
- mul16u\\t%0, %1, %2
- umul.aa.ll\\t%1, %2"
+ mul16u\t%0, %1, %2
+ umul.aa.ll\t%1, %2"
[(set_attr "type" "mul16,mac16")
(set_attr "mode" "SI")
(set_attr "length" "3,3")])
@@ -350,7 +312,7 @@
(match_operand:HI 2 "register_operand" "r")))
(match_operand:SI 3 "register_operand" "0")))]
"TARGET_MAC16"
- "mula.aa.ll\\t%1, %2"
+ "mula.aa.ll\t%1, %2"
[(set_attr "type" "mac16")
(set_attr "mode" "SI")
(set_attr "length" "3")])
@@ -363,7 +325,7 @@
(sign_extend:SI
(match_operand:HI 3 "register_operand" "r")))))]
"TARGET_MAC16"
- "muls.aa.ll\\t%2, %3"
+ "muls.aa.ll\t%2, %3"
[(set_attr "type" "mac16")
(set_attr "mode" "SI")
(set_attr "length" "3")])
@@ -373,7 +335,7 @@
(mult:SF (match_operand:SF 1 "register_operand" "%f")
(match_operand:SF 2 "register_operand" "f")))]
"TARGET_HARD_FLOAT"
- "mul.s\\t%0, %1, %2"
+ "mul.s\t%0, %1, %2"
[(set_attr "type" "fmadd")
(set_attr "mode" "SF")
(set_attr "length" "3")])
@@ -384,7 +346,7 @@
(match_operand:SF 2 "register_operand" "f"))
(match_operand:SF 3 "register_operand" "0")))]
"TARGET_HARD_FLOAT && !TARGET_NO_FUSED_MADD"
- "madd.s\\t%0, %1, %2"
+ "madd.s\t%0, %1, %2"
[(set_attr "type" "fmadd")
(set_attr "mode" "SF")
(set_attr "length" "3")])
@@ -395,26 +357,20 @@
(mult:SF (match_operand:SF 2 "register_operand" "%f")
(match_operand:SF 3 "register_operand" "f"))))]
"TARGET_HARD_FLOAT && !TARGET_NO_FUSED_MADD"
- "msub.s\\t%0, %2, %3"
+ "msub.s\t%0, %2, %3"
[(set_attr "type" "fmadd")
(set_attr "mode" "SF")
(set_attr "length" "3")])
-
-;;
-;; ....................
-;;
-;; DIVISION
-;;
-;; ....................
-;;
+
+;; Division.
(define_insn "divsi3"
[(set (match_operand:SI 0 "register_operand" "=a")
(div:SI (match_operand:SI 1 "register_operand" "r")
(match_operand:SI 2 "register_operand" "r")))]
"TARGET_DIV32"
- "quos\\t%0, %1, %2"
+ "quos\t%0, %1, %2"
[(set_attr "type" "div32")
(set_attr "mode" "SI")
(set_attr "length" "3")])
@@ -424,7 +380,7 @@
(udiv:SI (match_operand:SI 1 "register_operand" "r")
(match_operand:SI 2 "register_operand" "r")))]
"TARGET_DIV32"
- "quou\\t%0, %1, %2"
+ "quou\t%0, %1, %2"
[(set_attr "type" "div32")
(set_attr "mode" "SI")
(set_attr "length" "3")])
@@ -434,7 +390,7 @@
(div:SF (match_operand:SF 1 "register_operand" "f")
(match_operand:SF 2 "register_operand" "f")))]
"TARGET_HARD_FLOAT_DIV"
- "div.s\\t%0, %1, %2"
+ "div.s\t%0, %1, %2"
[(set_attr "type" "fdiv")
(set_attr "mode" "SF")
(set_attr "length" "3")])
@@ -444,26 +400,20 @@
(div:SF (match_operand:SF 1 "const_float_1_operand" "")
(match_operand:SF 2 "register_operand" "f")))]
"TARGET_HARD_FLOAT_RECIP && flag_unsafe_math_optimizations"
- "recip.s\\t%0, %2"
+ "recip.s\t%0, %2"
[(set_attr "type" "fdiv")
(set_attr "mode" "SF")
(set_attr "length" "3")])
-
-;;
-;; ....................
-;;
-;; REMAINDER
-;;
-;; ....................
-;;
+
+;; Remainders.
(define_insn "modsi3"
[(set (match_operand:SI 0 "register_operand" "=a")
(mod:SI (match_operand:SI 1 "register_operand" "r")
(match_operand:SI 2 "register_operand" "r")))]
"TARGET_DIV32"
- "rems\\t%0, %1, %2"
+ "rems\t%0, %1, %2"
[(set_attr "type" "div32")
(set_attr "mode" "SI")
(set_attr "length" "3")])
@@ -473,25 +423,19 @@
(umod:SI (match_operand:SI 1 "register_operand" "r")
(match_operand:SI 2 "register_operand" "r")))]
"TARGET_DIV32"
- "remu\\t%0, %1, %2"
+ "remu\t%0, %1, %2"
[(set_attr "type" "div32")
(set_attr "mode" "SI")
(set_attr "length" "3")])
-
-;;
-;; ....................
-;;
-;; SQUARE ROOT
-;;
-;; ....................
-;;
+
+;; Square roots.
(define_insn "sqrtsf2"
[(set (match_operand:SF 0 "register_operand" "=f")
(sqrt:SF (match_operand:SF 1 "register_operand" "f")))]
"TARGET_HARD_FLOAT_SQRT"
- "sqrt.s\\t%0, %1"
+ "sqrt.s\t%0, %1"
[(set_attr "type" "fsqrt")
(set_attr "mode" "SF")
(set_attr "length" "3")])
@@ -501,25 +445,19 @@
(div:SF (match_operand:SF 1 "const_float_1_operand" "")
(sqrt:SF (match_operand:SF 2 "register_operand" "f"))))]
"TARGET_HARD_FLOAT_RSQRT && flag_unsafe_math_optimizations"
- "rsqrt.s\\t%0, %2"
+ "rsqrt.s\t%0, %2"
[(set_attr "type" "fsqrt")
(set_attr "mode" "SF")
(set_attr "length" "3")])
-
-;;
-;; ....................
-;;
-;; ABSOLUTE VALUE
-;;
-;; ....................
-;;
+
+;; Absolute value.
(define_insn "abssi2"
[(set (match_operand:SI 0 "register_operand" "=a")
(abs:SI (match_operand:SI 1 "register_operand" "r")))]
"TARGET_ABS"
- "abs\\t%0, %1"
+ "abs\t%0, %1"
[(set_attr "type" "arith")
(set_attr "mode" "SI")
(set_attr "length" "3")])
@@ -528,26 +466,20 @@
[(set (match_operand:SF 0 "register_operand" "=f")
(abs:SF (match_operand:SF 1 "register_operand" "f")))]
"TARGET_HARD_FLOAT"
- "abs.s\\t%0, %1"
+ "abs.s\t%0, %1"
[(set_attr "type" "farith")
(set_attr "mode" "SF")
(set_attr "length" "3")])
-
-;;
-;; ....................
-;;
-;; MIN AND MAX INSTRUCTIONS
-;;
-;; ....................
-;;
+
+;; Min and max.
(define_insn "sminsi3"
[(set (match_operand:SI 0 "register_operand" "=a")
(smin:SI (match_operand:SI 1 "register_operand" "%r")
(match_operand:SI 2 "register_operand" "r")))]
"TARGET_MINMAX"
- "min\\t%0, %1, %2"
+ "min\t%0, %1, %2"
[(set_attr "type" "arith")
(set_attr "mode" "SI")
(set_attr "length" "3")])
@@ -557,7 +489,7 @@
(umin:SI (match_operand:SI 1 "register_operand" "%r")
(match_operand:SI 2 "register_operand" "r")))]
"TARGET_MINMAX"
- "minu\\t%0, %1, %2"
+ "minu\t%0, %1, %2"
[(set_attr "type" "arith")
(set_attr "mode" "SI")
(set_attr "length" "3")])
@@ -567,7 +499,7 @@
(smax:SI (match_operand:SI 1 "register_operand" "%r")
(match_operand:SI 2 "register_operand" "r")))]
"TARGET_MINMAX"
- "max\\t%0, %1, %2"
+ "max\t%0, %1, %2"
[(set_attr "type" "arith")
(set_attr "mode" "SI")
(set_attr "length" "3")])
@@ -577,25 +509,18 @@
(umax:SI (match_operand:SI 1 "register_operand" "%r")
(match_operand:SI 2 "register_operand" "r")))]
"TARGET_MINMAX"
- "maxu\\t%0, %1, %2"
+ "maxu\t%0, %1, %2"
[(set_attr "type" "arith")
(set_attr "mode" "SI")
(set_attr "length" "3")])
-
-;;
-;; ....................
-;;
-;; FIND FIRST BIT INSTRUCTION
-;;
-;; ....................
-;;
+
+;; Find first bit.
(define_expand "ffssi2"
[(set (match_operand:SI 0 "register_operand" "")
(ffs:SI (match_operand:SI 1 "register_operand" "")))]
"TARGET_NSA"
- "
{
rtx temp = gen_reg_rtx (SImode);
emit_insn (gen_negsi2 (temp, operands[1]));
@@ -604,32 +529,26 @@
emit_insn (gen_negsi2 (temp, temp));
emit_insn (gen_addsi3 (operands[0], temp, GEN_INT (32)));
DONE;
-}")
+})
-;; there is no RTL operator corresponding to NSAU
+;; There is no RTL operator corresponding to NSAU.
(define_insn "nsau"
[(set (match_operand:SI 0 "register_operand" "=a")
(unspec:SI [(match_operand:SI 1 "register_operand" "r")] UNSPEC_NSAU))]
"TARGET_NSA"
- "nsau\\t%0, %1"
+ "nsau\t%0, %1"
[(set_attr "type" "arith")
(set_attr "mode" "SI")
(set_attr "length" "3")])
-
-;;
-;; ....................
-;;
-;; NEGATION and ONE'S COMPLEMENT
-;;
-;; ....................
-;;
+
+;; Negation and one's complement.
(define_insn "negsi2"
[(set (match_operand:SI 0 "register_operand" "=a")
(neg:SI (match_operand:SI 1 "register_operand" "r")))]
""
- "neg\\t%0, %1"
+ "neg\t%0, %1"
[(set_attr "type" "arith")
(set_attr "mode" "SI")
(set_attr "length" "3")])
@@ -638,31 +557,24 @@
[(set (match_operand:SI 0 "register_operand" "")
(not:SI (match_operand:SI 1 "register_operand" "")))]
""
- "
{
rtx temp = gen_reg_rtx (SImode);
emit_insn (gen_movsi (temp, constm1_rtx));
emit_insn (gen_xorsi3 (operands[0], temp, operands[1]));
DONE;
-}")
+})
(define_insn "negsf2"
[(set (match_operand:SF 0 "register_operand" "=f")
(neg:SF (match_operand:SF 1 "register_operand" "f")))]
"TARGET_HARD_FLOAT"
- "neg.s\\t%0, %1"
+ "neg.s\t%0, %1"
[(set_attr "type" "farith")
(set_attr "mode" "SF")
(set_attr "length" "3")])
-
-;;
-;; ....................
-;;
-;; LOGICAL
-;;
-;; ....................
-;;
+
+;; Logical instructions.
(define_insn "andsi3"
[(set (match_operand:SI 0 "register_operand" "=a,a")
@@ -670,8 +582,8 @@
(match_operand:SI 2 "mask_operand" "P,r")))]
""
"@
- extui\\t%0, %1, 0, %K2
- and\\t%0, %1, %2"
+ extui\t%0, %1, 0, %K2
+ and\t%0, %1, %2"
[(set_attr "type" "arith,arith")
(set_attr "mode" "SI")
(set_attr "length" "3,3")])
@@ -681,7 +593,7 @@
(ior:SI (match_operand:SI 1 "register_operand" "%r")
(match_operand:SI 2 "register_operand" "r")))]
""
- "or\\t%0, %1, %2"
+ "or\t%0, %1, %2"
[(set_attr "type" "arith")
(set_attr "mode" "SI")
(set_attr "length" "3")])
@@ -691,27 +603,21 @@
(xor:SI (match_operand:SI 1 "register_operand" "%r")
(match_operand:SI 2 "register_operand" "r")))]
""
- "xor\\t%0, %1, %2"
+ "xor\t%0, %1, %2"
[(set_attr "type" "arith")
(set_attr "mode" "SI")
(set_attr "length" "3")])
-
-;;
-;; ....................
-;;
-;; ZERO EXTENSION
-;;
-;; ....................
-;;
+
+;; Zero-extend instructions.
(define_insn "zero_extendhisi2"
[(set (match_operand:SI 0 "register_operand" "=a,a")
(zero_extend:SI (match_operand:HI 1 "nonimmed_operand" "r,U")))]
""
"@
- extui\\t%0, %1, 0, 16
- l16ui\\t%0, %1"
+ extui\t%0, %1, 0, 16
+ l16ui\t%0, %1"
[(set_attr "type" "arith,load")
(set_attr "mode" "SI")
(set_attr "length" "3,3")])
@@ -721,41 +627,34 @@
(zero_extend:SI (match_operand:QI 1 "nonimmed_operand" "r,U")))]
""
"@
- extui\\t%0, %1, 0, 8
- l8ui\\t%0, %1"
+ extui\t%0, %1, 0, 8
+ l8ui\t%0, %1"
[(set_attr "type" "arith,load")
(set_attr "mode" "SI")
(set_attr "length" "3,3")])
-
-;;
-;; ....................
-;;
-;; SIGN EXTENSION
-;;
-;; ....................
-;;
+
+;; Sign-extend instructions.
(define_expand "extendhisi2"
[(set (match_operand:SI 0 "register_operand" "")
(sign_extend:SI (match_operand:HI 1 "register_operand" "")))]
""
- "
{
if (sext_operand (operands[1], HImode))
emit_insn (gen_extendhisi2_internal (operands[0], operands[1]));
else
xtensa_extend_reg (operands[0], operands[1]);
DONE;
-}")
+})
(define_insn "extendhisi2_internal"
[(set (match_operand:SI 0 "register_operand" "=B,a")
(sign_extend:SI (match_operand:HI 1 "sext_operand" "r,U")))]
""
"@
- sext\\t%0, %1, 15
- l16si\\t%0, %1"
+ sext\t%0, %1, 15
+ l16si\t%0, %1"
[(set_attr "type" "arith,load")
(set_attr "mode" "SI")
(set_attr "length" "3,3")])
@@ -764,34 +663,25 @@
[(set (match_operand:SI 0 "register_operand" "")
(sign_extend:SI (match_operand:QI 1 "register_operand" "")))]
""
- "
{
if (TARGET_SEXT)
- {
- emit_insn (gen_extendqisi2_internal (operands[0], operands[1]));
- DONE;
- }
- xtensa_extend_reg (operands[0], operands[1]);
+ emit_insn (gen_extendqisi2_internal (operands[0], operands[1]));
+ else
+ xtensa_extend_reg (operands[0], operands[1]);
DONE;
-}")
+})
(define_insn "extendqisi2_internal"
[(set (match_operand:SI 0 "register_operand" "=B")
(sign_extend:SI (match_operand:QI 1 "register_operand" "r")))]
"TARGET_SEXT"
- "sext\\t%0, %1, 7"
+ "sext\t%0, %1, 7"
[(set_attr "type" "arith")
(set_attr "mode" "SI")
(set_attr "length" "3")])
-
-;;
-;; ....................
-;;
-;; FIELD EXTRACT
-;;
-;; ....................
-;;
+
+;; Field extract instructions.
(define_expand "extv"
[(set (match_operand:SI 0 "register_operand" "")
@@ -799,16 +689,19 @@
(match_operand:SI 2 "const_int_operand" "")
(match_operand:SI 3 "const_int_operand" "")))]
"TARGET_SEXT"
- "
{
- if (!sext_fldsz_operand (operands[2], SImode)) FAIL;
- /* we could expand to a right shift followed by sext but that's
- no better than the standard left and right shift sequence */
- if (!lsbitnum_operand (operands[3], SImode)) FAIL;
+ if (!sext_fldsz_operand (operands[2], SImode))
+ FAIL;
+
+ /* We could expand to a right shift followed by SEXT but that's
+ no better than the standard left and right shift sequence. */
+ if (!lsbitnum_operand (operands[3], SImode))
+ FAIL;
+
emit_insn (gen_extv_internal (operands[0], operands[1],
operands[2], operands[3]));
DONE;
-}")
+})
(define_insn "extv_internal"
[(set (match_operand:SI 0 "register_operand" "=a")
@@ -816,12 +709,11 @@
(match_operand:SI 2 "sext_fldsz_operand" "i")
(match_operand:SI 3 "lsbitnum_operand" "i")))]
"TARGET_SEXT"
- "*
{
int fldsz = INTVAL (operands[2]);
operands[2] = GEN_INT (fldsz - 1);
- return \"sext\\t%0, %1, %2\";
-}"
+ return "sext\t%0, %1, %2";
+}
[(set_attr "type" "arith")
(set_attr "mode" "SI")
(set_attr "length" "3")])
@@ -832,13 +724,13 @@
(match_operand:SI 2 "const_int_operand" "")
(match_operand:SI 3 "const_int_operand" "")))]
""
- "
{
- if (!extui_fldsz_operand (operands[2], SImode)) FAIL;
+ if (!extui_fldsz_operand (operands[2], SImode))
+ FAIL;
emit_insn (gen_extzv_internal (operands[0], operands[1],
operands[2], operands[3]));
DONE;
-}")
+})
(define_insn "extzv_internal"
[(set (match_operand:SI 0 "register_operand" "=a")
@@ -846,7 +738,6 @@
(match_operand:SI 2 "extui_fldsz_operand" "i")
(match_operand:SI 3 "const_int_operand" "i")))]
""
- "*
{
int shift;
if (BITS_BIG_ENDIAN)
@@ -854,26 +745,20 @@
else
shift = INTVAL (operands[3]) & 0x1f;
operands[3] = GEN_INT (shift);
- return \"extui\\t%0, %1, %3, %2\";
-}"
+ return "extui\t%0, %1, %3, %2";
+}
[(set_attr "type" "arith")
(set_attr "mode" "SI")
(set_attr "length" "3")])
-
-;;
-;; ....................
-;;
-;; CONVERSIONS
-;;
-;; ....................
-;;
+
+;; Conversions.
(define_insn "fix_truncsfsi2"
[(set (match_operand:SI 0 "register_operand" "=a")
(fix:SI (match_operand:SF 1 "register_operand" "f")))]
"TARGET_HARD_FLOAT"
- "trunc.s\\t%0, %1, 0"
+ "trunc.s\t%0, %1, 0"
[(set_attr "type" "fconv")
(set_attr "mode" "SF")
(set_attr "length" "3")])
@@ -882,7 +767,7 @@
[(set (match_operand:SI 0 "register_operand" "=a")
(unsigned_fix:SI (match_operand:SF 1 "register_operand" "f")))]
"TARGET_HARD_FLOAT"
- "utrunc.s %0, %1, 0"
+ "utrunc.s\t%0, %1, 0"
[(set_attr "type" "fconv")
(set_attr "mode" "SF")
(set_attr "length" "3")])
@@ -891,7 +776,7 @@
[(set (match_operand:SF 0 "register_operand" "=f")
(float:SF (match_operand:SI 1 "register_operand" "a")))]
"TARGET_HARD_FLOAT"
- "float.s\\t%0, %1, 0"
+ "float.s\t%0, %1, 0"
[(set_attr "type" "fconv")
(set_attr "mode" "SF")
(set_attr "length" "3")])
@@ -900,19 +785,13 @@
[(set (match_operand:SF 0 "register_operand" "=f")
(unsigned_float:SF (match_operand:SI 1 "register_operand" "a")))]
"TARGET_HARD_FLOAT"
- "ufloat.s %0, %1, 0"
+ "ufloat.s\t%0, %1, 0"
[(set_attr "type" "fconv")
(set_attr "mode" "SF")
(set_attr "length" "3")])
-
-;;
-;; ....................
-;;
-;; DATA MOVEMENT
-;;
-;; ....................
-;;
+
+;; Data movement instructions.
;; 64-bit Integer moves
@@ -920,7 +799,6 @@
[(set (match_operand:DI 0 "nonimmed_operand" "")
(match_operand:DI 1 "general_operand" ""))]
""
- "
{
if (CONSTANT_P (operands[1]) && !TARGET_CONST16)
operands[1] = force_const_mem (DImode, operands[1]);
@@ -931,7 +809,7 @@
if (xtensa_copy_incoming_a7 (operands, DImode))
DONE;
-}")
+})
(define_insn_and_split "movdi_internal"
[(set (match_operand:DI 0 "nonimmed_operand" "=a,W,a,a,U")
@@ -952,39 +830,37 @@
}
})
-
;; 32-bit Integer moves
(define_expand "movsi"
[(set (match_operand:SI 0 "nonimmed_operand" "")
(match_operand:SI 1 "general_operand" ""))]
""
- "
{
if (xtensa_emit_move_sequence (operands, SImode))
DONE;
-}")
+})
(define_insn "movsi_internal"
[(set (match_operand:SI 0 "nonimmed_operand" "=D,D,D,D,R,R,a,q,a,W,a,a,U,*a,*A")
(match_operand:SI 1 "move_operand" "M,D,d,R,D,d,r,r,I,i,T,U,r,*A,*r"))]
"xtensa_valid_move (SImode, operands)"
"@
- movi.n\\t%0, %x1
- mov.n\\t%0, %1
- mov.n\\t%0, %1
- %v1l32i.n\\t%0, %1
- %v0s32i.n\\t%1, %0
- %v0s32i.n\\t%1, %0
- mov\\t%0, %1
- movsp\\t%0, %1
- movi\\t%0, %x1
- const16\\t%0, %t1\;const16\\t%0, %b1
- %v1l32r\\t%0, %1
- %v1l32i\\t%0, %1
- %v0s32i\\t%1, %0
- rsr\\t%0, 16 # ACCLO
- wsr\\t%1, 16 # ACCLO"
+ movi.n\t%0, %x1
+ mov.n\t%0, %1
+ mov.n\t%0, %1
+ %v1l32i.n\t%0, %1
+ %v0s32i.n\t%1, %0
+ %v0s32i.n\t%1, %0
+ mov\t%0, %1
+ movsp\t%0, %1
+ movi\t%0, %x1
+ const16\t%0, %t1\;const16\t%0, %b1
+ %v1l32r\t%0, %1
+ %v1l32i\t%0, %1
+ %v0s32i\t%1, %0
+ rsr\t%0, 16 # ACCLO
+ wsr\t%1, 16 # ACCLO"
[(set_attr "type" "move,move,move,load,store,store,move,move,move,move,load,load,store,rsr,wsr")
(set_attr "mode" "SI")
(set_attr "length" "2,2,2,2,2,2,3,3,3,6,3,3,3,3,3")])
@@ -995,25 +871,24 @@
[(set (match_operand:HI 0 "nonimmed_operand" "")
(match_operand:HI 1 "general_operand" ""))]
""
- "
{
if (xtensa_emit_move_sequence (operands, HImode))
DONE;
-}")
+})
(define_insn "movhi_internal"
[(set (match_operand:HI 0 "nonimmed_operand" "=D,D,a,a,a,U,*a,*A")
(match_operand:HI 1 "move_operand" "M,d,r,I,U,r,*A,*r"))]
"xtensa_valid_move (HImode, operands)"
"@
- movi.n\\t%0, %x1
- mov.n\\t%0, %1
- mov\\t%0, %1
- movi\\t%0, %x1
- %v1l16ui\\t%0, %1
- %v0s16i\\t%1, %0
- rsr\\t%0, 16 # ACCLO
- wsr\\t%1, 16 # ACCLO"
+ movi.n\t%0, %x1
+ mov.n\t%0, %1
+ mov\t%0, %1
+ movi\t%0, %x1
+ %v1l16ui\t%0, %1
+ %v0s16i\t%1, %0
+ rsr\t%0, 16 # ACCLO
+ wsr\t%1, 16 # ACCLO"
[(set_attr "type" "move,move,move,move,load,store,rsr,wsr")
(set_attr "mode" "HI")
(set_attr "length" "2,2,3,3,3,3,3,3")])
@@ -1024,25 +899,24 @@
[(set (match_operand:QI 0 "nonimmed_operand" "")
(match_operand:QI 1 "general_operand" ""))]
""
- "
{
if (xtensa_emit_move_sequence (operands, QImode))
DONE;
-}")
+})
(define_insn "movqi_internal"
[(set (match_operand:QI 0 "nonimmed_operand" "=D,D,a,a,a,U,*a,*A")
(match_operand:QI 1 "move_operand" "M,d,r,I,U,r,*A,*r"))]
"xtensa_valid_move (QImode, operands)"
"@
- movi.n\\t%0, %x1
- mov.n\\t%0, %1
- mov\\t%0, %1
- movi\\t%0, %x1
- %v1l8ui\\t%0, %1
- %v0s8i\\t%1, %0
- rsr\\t%0, 16 # ACCLO
- wsr\\t%1, 16 # ACCLO"
+ movi.n\t%0, %x1
+ mov.n\t%0, %1
+ mov\t%0, %1
+ movi\t%0, %x1
+ %v1l8ui\t%0, %1
+ %v0s8i\t%1, %0
+ rsr\t%0, 16 # ACCLO
+ wsr\t%1, 16 # ACCLO"
[(set_attr "type" "move,move,move,move,load,store,rsr,wsr")
(set_attr "mode" "QI")
(set_attr "length" "2,2,3,3,3,3,3,3")])
@@ -1053,7 +927,6 @@
[(set (match_operand:SF 0 "nonimmed_operand" "")
(match_operand:SF 1 "general_operand" ""))]
""
- "
{
if (!TARGET_CONST16 && CONSTANT_P (operands[1]))
operands[1] = force_const_mem (SFmode, operands[1]);
@@ -1070,7 +943,7 @@
if (xtensa_copy_incoming_a7 (operands, SFmode))
DONE;
}
-}")
+})
(define_insn "movsf_internal"
[(set (match_operand:SF 0 "nonimmed_operand" "=f,f,U,D,D,R,a,f,a,W,a,a,U")
@@ -1080,19 +953,19 @@
&& !(FP_REG_P (xt_true_regnum (operands[0]))
&& (constantpool_mem_p (operands[1]) || CONSTANT_P (operands[1]))))"
"@
- mov.s\\t%0, %1
- %v1lsi\\t%0, %1
- %v0ssi\\t%1, %0
- mov.n\\t%0, %1
- %v1l32i.n\\t%0, %1
- %v0s32i.n\\t%1, %0
- mov\\t%0, %1
- wfr\\t%0, %1
- rfr\\t%0, %1
- const16\\t%0, %t1\;const16\\t%0, %b1
- %v1l32r\\t%0, %1
- %v1l32i\\t%0, %1
- %v0s32i\\t%1, %0"
+ mov.s\t%0, %1
+ %v1lsi\t%0, %1
+ %v0ssi\t%1, %0
+ mov.n\t%0, %1
+ %v1l32i.n\t%0, %1
+ %v0s32i.n\t%1, %0
+ mov\t%0, %1
+ wfr\t%0, %1
+ rfr\t%0, %1
+ const16\t%0, %t1\;const16\t%0, %b1
+ %v1l32r\t%0, %1
+ %v1l32i\t%0, %1
+ %v0s32i\t%1, %0"
[(set_attr "type" "farith,fload,fstore,move,load,store,move,farith,farith,move,load,load,store")
(set_attr "mode" "SF")
(set_attr "length" "3,3,3,2,2,2,3,3,3,6,3,3,3")])
@@ -1104,12 +977,11 @@
(set (match_dup 1)
(plus:SI (match_dup 1) (match_dup 2)))]
"TARGET_HARD_FLOAT"
- "*
{
if (volatile_refs_p (PATTERN (insn)))
- output_asm_insn (\"memw\", operands);
- return \"lsiu\\t%0, %1, %2\";
-}"
+ output_asm_insn ("memw", operands);
+ return "lsiu\t%0, %1, %2";
+}
[(set_attr "type" "fload")
(set_attr "mode" "SF")
(set_attr "length" "3")])
@@ -1121,12 +993,11 @@
(set (match_dup 0)
(plus:SI (match_dup 0) (match_dup 1)))]
"TARGET_HARD_FLOAT"
- "*
{
if (volatile_refs_p (PATTERN (insn)))
- output_asm_insn (\"memw\", operands);
- return \"ssiu\\t%2, %0, %1\";
-}"
+ output_asm_insn ("memw", operands);
+ return "ssiu\t%2, %0, %1";
+}
[(set_attr "type" "fstore")
(set_attr "mode" "SF")
(set_attr "length" "3")])
@@ -1137,7 +1008,6 @@
[(set (match_operand:DF 0 "nonimmed_operand" "")
(match_operand:DF 1 "general_operand" ""))]
""
- "
{
if (CONSTANT_P (operands[1]) && !TARGET_CONST16)
operands[1] = force_const_mem (DFmode, operands[1]);
@@ -1148,7 +1018,7 @@
if (xtensa_copy_incoming_a7 (operands, DFmode))
DONE;
-}")
+})
(define_insn_and_split "movdf_internal"
[(set (match_operand:DF 0 "nonimmed_operand" "=a,W,a,a,U")
@@ -1168,7 +1038,6 @@
tmp = operands[2], operands[2] = operands[3], operands[3] = tmp;
}
})
-
;; Block moves
@@ -1178,11 +1047,11 @@
(use (match_operand:SI 2 "arith_operand" ""))
(use (match_operand:SI 3 "const_int_operand" ""))])]
""
- "
{
- if (!xtensa_expand_block_move (operands)) FAIL;
+ if (!xtensa_expand_block_move (operands))
+ FAIL;
DONE;
-}")
+})
(define_insn "movstrsi_internal"
[(set (match_operand:BLK 0 "memory_operand" "=U")
@@ -1192,26 +1061,19 @@
(clobber (match_scratch:SI 4 "=&r"))
(clobber (match_scratch:SI 5 "=&r"))]
""
- "*
{
rtx tmpregs[2];
tmpregs[0] = operands[4];
tmpregs[1] = operands[5];
xtensa_emit_block_move (operands, tmpregs, 1);
- return \"\";
-}"
+ return "";
+}
[(set_attr "type" "multi")
(set_attr "mode" "none")
(set_attr "length" "300")])
-
-;;
-;; ....................
-;;
-;; SHIFTS
-;;
-;; ....................
-;;
+
+;; Shift instructions.
(define_insn "ashlsi3"
[(set (match_operand:SI 0 "register_operand" "=a,a")
@@ -1219,8 +1081,8 @@
(match_operand:SI 2 "arith_operand" "J,r")))]
""
"@
- slli\\t%0, %1, %R2
- ssl\\t%2\;sll\\t%0, %1"
+ slli\t%0, %1, %R2
+ ssl\t%2\;sll\t%0, %1"
[(set_attr "type" "arith,arith")
(set_attr "mode" "SI")
(set_attr "length" "3,6")])
@@ -1231,8 +1093,8 @@
(match_operand:SI 2 "arith_operand" "J,r")))]
""
"@
- srai\\t%0, %1, %R2
- ssr\\t%2\;sra\\t%0, %1"
+ srai\t%0, %1, %R2
+ ssr\t%2\;sra\t%0, %1"
[(set_attr "type" "arith,arith")
(set_attr "mode" "SI")
(set_attr "length" "3,6")])
@@ -1242,17 +1104,16 @@
(lshiftrt:SI (match_operand:SI 1 "register_operand" "r,r")
(match_operand:SI 2 "arith_operand" "J,r")))]
""
- "*
{
if (which_alternative == 0)
{
if ((INTVAL (operands[2]) & 0x1f) < 16)
- return \"srli\\t%0, %1, %R2\";
+ return "srli\t%0, %1, %R2";
else
- return \"extui\\t%0, %1, %R2, %L2\";
+ return "extui\t%0, %1, %R2, %L2";
}
- return \"ssr\\t%2\;srl\\t%0, %1\";
-}"
+ return "ssr\t%2\;srl\t%0, %1";
+}
[(set_attr "type" "arith,arith")
(set_attr "mode" "SI")
(set_attr "length" "3,6")])
@@ -1263,8 +1124,8 @@
(match_operand:SI 2 "arith_operand" "J,r")))]
""
"@
- ssai\\t%L2\;src\\t%0, %1, %1
- ssl\\t%2\;src\\t%0, %1, %1"
+ ssai\t%L2\;src\t%0, %1, %1
+ ssl\t%2\;src\t%0, %1, %1"
[(set_attr "type" "multi,multi")
(set_attr "mode" "SI")
(set_attr "length" "6,6")])
@@ -1275,71 +1136,55 @@
(match_operand:SI 2 "arith_operand" "J,r")))]
""
"@
- ssai\\t%R2\;src\\t%0, %1, %1
- ssr\\t%2\;src\\t%0, %1, %1"
+ ssai\t%R2\;src\t%0, %1, %1
+ ssr\t%2\;src\t%0, %1, %1"
[(set_attr "type" "multi,multi")
(set_attr "mode" "SI")
(set_attr "length" "6,6")])
+
+;; Comparisons.
-;;
-;; ....................
-;;
-;; COMPARISONS
-;;
-;; ....................
-;;
-
-;; Like the md files for MIPS and SPARC, we handle comparisons by stashing
-;; away the operands and then using that information in the subsequent
-;; conditional branch.
+;; Handle comparisons by stashing away the operands and then using that
+;; information in the subsequent conditional branch.
(define_expand "cmpsi"
[(set (cc0)
(compare:CC (match_operand:SI 0 "register_operand" "")
(match_operand:SI 1 "nonmemory_operand" "")))]
""
- "
{
branch_cmp[0] = operands[0];
branch_cmp[1] = operands[1];
branch_type = CMP_SI;
DONE;
-}")
+})
(define_expand "tstsi"
[(set (cc0)
(match_operand:SI 0 "register_operand" ""))]
""
- "
{
branch_cmp[0] = operands[0];
branch_cmp[1] = const0_rtx;
branch_type = CMP_SI;
DONE;
-}")
+})
(define_expand "cmpsf"
[(set (cc0)
(compare:CC (match_operand:SF 0 "register_operand" "")
(match_operand:SF 1 "register_operand" "")))]
"TARGET_HARD_FLOAT"
- "
{
branch_cmp[0] = operands[0];
branch_cmp[1] = operands[1];
branch_type = CMP_SF;
DONE;
-}")
-
+})
-;;
-;; ....................
-;;
-;; CONDITIONAL BRANCHES
-;;
-;; ....................
-;;
+
+;; Conditional branches.
(define_expand "beq"
[(set (pc)
@@ -1347,11 +1192,10 @@
(label_ref (match_operand 0 "" ""))
(pc)))]
""
- "
{
xtensa_expand_conditional_branch (operands, EQ);
DONE;
-}")
+})
(define_expand "bne"
[(set (pc)
@@ -1359,11 +1203,10 @@
(label_ref (match_operand 0 "" ""))
(pc)))]
""
- "
{
xtensa_expand_conditional_branch (operands, NE);
DONE;
-}")
+})
(define_expand "bgt"
[(set (pc)
@@ -1371,11 +1214,10 @@
(label_ref (match_operand 0 "" ""))
(pc)))]
""
- "
{
xtensa_expand_conditional_branch (operands, GT);
DONE;
-}")
+})
(define_expand "bge"
[(set (pc)
@@ -1383,11 +1225,10 @@
(label_ref (match_operand 0 "" ""))
(pc)))]
""
- "
{
xtensa_expand_conditional_branch (operands, GE);
DONE;
-}")
+})
(define_expand "blt"
[(set (pc)
@@ -1395,11 +1236,10 @@
(label_ref (match_operand 0 "" ""))
(pc)))]
""
- "
{
xtensa_expand_conditional_branch (operands, LT);
DONE;
-}")
+})
(define_expand "ble"
[(set (pc)
@@ -1407,11 +1247,10 @@
(label_ref (match_operand 0 "" ""))
(pc)))]
""
- "
{
xtensa_expand_conditional_branch (operands, LE);
DONE;
-}")
+})
(define_expand "bgtu"
[(set (pc)
@@ -1419,11 +1258,10 @@
(label_ref (match_operand 0 "" ""))
(pc)))]
""
- "
{
xtensa_expand_conditional_branch (operands, GTU);
DONE;
-}")
+})
(define_expand "bgeu"
[(set (pc)
@@ -1431,11 +1269,10 @@
(label_ref (match_operand 0 "" ""))
(pc)))]
""
- "
{
xtensa_expand_conditional_branch (operands, GEU);
DONE;
-}")
+})
(define_expand "bltu"
[(set (pc)
@@ -1443,11 +1280,10 @@
(label_ref (match_operand 0 "" ""))
(pc)))]
""
- "
{
xtensa_expand_conditional_branch (operands, LTU);
DONE;
-}")
+})
(define_expand "bleu"
[(set (pc)
@@ -1455,11 +1291,10 @@
(label_ref (match_operand 0 "" ""))
(pc)))]
""
- "
{
xtensa_expand_conditional_branch (operands, LEU);
DONE;
-}")
+})
;; Branch patterns for standard integer comparisons
@@ -1471,16 +1306,15 @@
(label_ref (match_operand 2 "" ""))
(pc)))]
""
- "*
{
if (which_alternative == 1)
{
switch (GET_CODE (operands[3]))
{
- case EQ: return \"beq\\t%0, %1, %2\";
- case NE: return \"bne\\t%0, %1, %2\";
- case LT: return \"blt\\t%0, %1, %2\";
- case GE: return \"bge\\t%0, %1, %2\";
+ case EQ: return "beq\t%0, %1, %2";
+ case NE: return "bne\t%0, %1, %2";
+ case LT: return "blt\t%0, %1, %2";
+ case GE: return "bge\t%0, %1, %2";
default: break;
}
}
@@ -1489,13 +1323,13 @@
switch (GET_CODE (operands[3]))
{
case EQ: return (TARGET_DENSITY
- ? \"beqz.n\\t%0, %2\"
- : \"beqz\\t%0, %2\");
+ ? "beqz.n\t%0, %2"
+ : "beqz\t%0, %2");
case NE: return (TARGET_DENSITY
- ? \"bnez.n\\t%0, %2\"
- : \"bnez\\t%0, %2\");
- case LT: return \"bltz\\t%0, %2\";
- case GE: return \"bgez\\t%0, %2\";
+ ? "bnez.n\t%0, %2"
+ : "bnez\t%0, %2");
+ case LT: return "bltz\t%0, %2";
+ case GE: return "bgez\t%0, %2";
default: break;
}
}
@@ -1503,16 +1337,16 @@
{
switch (GET_CODE (operands[3]))
{
- case EQ: return \"beqi\\t%0, %d1, %2\";
- case NE: return \"bnei\\t%0, %d1, %2\";
- case LT: return \"blti\\t%0, %d1, %2\";
- case GE: return \"bgei\\t%0, %d1, %2\";
+ case EQ: return "beqi\t%0, %d1, %2";
+ case NE: return "bnei\t%0, %d1, %2";
+ case LT: return "blti\t%0, %d1, %2";
+ case GE: return "bgei\t%0, %d1, %2";
default: break;
}
}
- fatal_insn (\"unexpected branch operator\", operands[3]);
- return \"\";
-}"
+ abort ();
+ return "";
+}
[(set_attr "type" "jump,jump")
(set_attr "mode" "none")
(set_attr "length" "3,3")])
@@ -1525,16 +1359,15 @@
(pc)
(label_ref (match_operand 2 "" ""))))]
""
- "*
{
if (which_alternative == 1)
{
switch (GET_CODE (operands[3]))
{
- case EQ: return \"bne\\t%0, %1, %2\";
- case NE: return \"beq\\t%0, %1, %2\";
- case LT: return \"bge\\t%0, %1, %2\";
- case GE: return \"blt\\t%0, %1, %2\";
+ case EQ: return "bne\t%0, %1, %2";
+ case NE: return "beq\t%0, %1, %2";
+ case LT: return "bge\t%0, %1, %2";
+ case GE: return "blt\t%0, %1, %2";
default: break;
}
}
@@ -1543,13 +1376,13 @@
switch (GET_CODE (operands[3]))
{
case EQ: return (TARGET_DENSITY
- ? \"bnez.n\\t%0, %2\"
- : \"bnez\\t%0, %2\");
+ ? "bnez.n\t%0, %2"
+ : "bnez\t%0, %2");
case NE: return (TARGET_DENSITY
- ? \"beqz.n\\t%0, %2\"
- : \"beqz\\t%0, %2\");
- case LT: return \"bgez\\t%0, %2\";
- case GE: return \"bltz\\t%0, %2\";
+ ? "beqz.n\t%0, %2"
+ : "beqz\t%0, %2");
+ case LT: return "bgez\t%0, %2";
+ case GE: return "bltz\t%0, %2";
default: break;
}
}
@@ -1557,16 +1390,16 @@
{
switch (GET_CODE (operands[3]))
{
- case EQ: return \"bnei\\t%0, %d1, %2\";
- case NE: return \"beqi\\t%0, %d1, %2\";
- case LT: return \"bgei\\t%0, %d1, %2\";
- case GE: return \"blti\\t%0, %d1, %2\";
+ case EQ: return "bnei\t%0, %d1, %2";
+ case NE: return "beqi\t%0, %d1, %2";
+ case LT: return "bgei\t%0, %d1, %2";
+ case GE: return "blti\t%0, %d1, %2";
default: break;
}
}
- fatal_insn (\"unexpected branch operator\", operands[3]);
- return \"\";
-}"
+ abort ();
+ return "";
+}
[(set_attr "type" "jump,jump")
(set_attr "mode" "none")
(set_attr "length" "3,3")])
@@ -1579,14 +1412,13 @@
(label_ref (match_operand 2 "" ""))
(pc)))]
""
- "*
{
if (which_alternative == 1)
{
switch (GET_CODE (operands[3]))
{
- case LTU: return \"bltu\\t%0, %1, %2\";
- case GEU: return \"bgeu\\t%0, %1, %2\";
+ case LTU: return "bltu\t%0, %1, %2";
+ case GEU: return "bgeu\t%0, %1, %2";
default: break;
}
}
@@ -1594,14 +1426,14 @@
{
switch (GET_CODE (operands[3]))
{
- case LTU: return \"bltui\\t%0, %d1, %2\";
- case GEU: return \"bgeui\\t%0, %d1, %2\";
+ case LTU: return "bltui\t%0, %d1, %2";
+ case GEU: return "bgeui\t%0, %d1, %2";
default: break;
}
}
- fatal_insn (\"unexpected branch operator\", operands[3]);
- return \"\";
-}"
+ abort ();
+ return "";
+}
[(set_attr "type" "jump,jump")
(set_attr "mode" "none")
(set_attr "length" "3,3")])
@@ -1614,14 +1446,13 @@
(pc)
(label_ref (match_operand 2 "" ""))))]
""
- "*
{
if (which_alternative == 1)
{
switch (GET_CODE (operands[3]))
{
- case LTU: return \"bgeu\\t%0, %1, %2\";
- case GEU: return \"bltu\\t%0, %1, %2\";
+ case LTU: return "bgeu\t%0, %1, %2";
+ case GEU: return "bltu\t%0, %1, %2";
default: break;
}
}
@@ -1629,14 +1460,14 @@
{
switch (GET_CODE (operands[3]))
{
- case LTU: return \"bgeui\\t%0, %d1, %2\";
- case GEU: return \"bltui\\t%0, %d1, %2\";
+ case LTU: return "bgeui\t%0, %d1, %2";
+ case GEU: return "bltui\t%0, %d1, %2";
default: break;
}
}
- fatal_insn (\"unexpected branch operator\", operands[3]);
- return \"\";
-}"
+ abort ();
+ return "";
+}
[(set_attr "type" "jump,jump")
(set_attr "mode" "none")
(set_attr "length" "3,3")])
@@ -1654,7 +1485,6 @@
(label_ref (match_operand 2 "" ""))
(pc)))]
""
- "*
{
if (which_alternative == 0)
{
@@ -1662,8 +1492,8 @@
operands[1] = GEN_INT(bitnum);
switch (GET_CODE (operands[3]))
{
- case EQ: return \"bbci\\t%0, %d1, %2\";
- case NE: return \"bbsi\\t%0, %d1, %2\";
+ case EQ: return "bbci\t%0, %d1, %2";
+ case NE: return "bbsi\t%0, %d1, %2";
default: break;
}
}
@@ -1671,14 +1501,14 @@
{
switch (GET_CODE (operands[3]))
{
- case EQ: return \"bbc\\t%0, %1, %2\";
- case NE: return \"bbs\\t%0, %1, %2\";
+ case EQ: return "bbc\t%0, %1, %2";
+ case NE: return "bbs\t%0, %1, %2";
default: break;
}
}
- fatal_insn (\"unexpected branch operator\", operands[3]);
- return \"\";
-}"
+ abort ();
+ return "";
+}
[(set_attr "type" "jump")
(set_attr "mode" "none")
(set_attr "length" "3")])
@@ -1694,7 +1524,6 @@
(pc)
(label_ref (match_operand 2 "" ""))))]
""
- "*
{
if (which_alternative == 0)
{
@@ -1702,23 +1531,23 @@
operands[1] = GEN_INT (bitnum);
switch (GET_CODE (operands[3]))
{
- case EQ: return \"bbsi\\t%0, %d1, %2\";
- case NE: return \"bbci\\t%0, %d1, %2\";
- default: break;
+ case EQ: return "bbsi\t%0, %d1, %2";
+ case NE: return "bbci\t%0, %d1, %2";
+ default: break;
}
}
else
{
switch (GET_CODE (operands[3]))
{
- case EQ: return \"bbs\\t%0, %1, %2\";
- case NE: return \"bbc\\t%0, %1, %2\";
+ case EQ: return "bbs\t%0, %1, %2";
+ case NE: return "bbc\t%0, %1, %2";
default: break;
}
}
- fatal_insn (\"unexpected branch operator\", operands[3]);
- return \"\";
-}"
+ abort ();
+ return "";
+}
[(set_attr "type" "jump")
(set_attr "mode" "none")
(set_attr "length" "3")])
@@ -1732,17 +1561,16 @@
(label_ref (match_operand 2 "" ""))
(pc)))]
""
- "*
{
switch (GET_CODE (operands[3]))
{
- case EQ: return \"bnone\\t%0, %1, %2\";
- case NE: return \"bany\\t%0, %1, %2\";
- default: break;
- }
- fatal_insn (\"unexpected branch operator\", operands[3]);
- return \"\";
-}"
+ case EQ: return "bnone\t%0, %1, %2";
+ case NE: return "bany\t%0, %1, %2";
+ default: break;
+ }
+ abort ();
+ return "";
+}
[(set_attr "type" "jump")
(set_attr "mode" "none")
(set_attr "length" "3")])
@@ -1756,138 +1584,127 @@
(pc)
(label_ref (match_operand 2 "" ""))))]
""
- "*
{
switch (GET_CODE (operands[3]))
{
- case EQ: return \"bany\\t%0, %1, %2\";
- case NE: return \"bnone\\t%0, %1, %2\";
- default: break;
- }
- fatal_insn (\"unexpected branch operator\", operands[3]);
- return \"\";
-}"
+ case EQ: return "bany\t%0, %1, %2";
+ case NE: return "bnone\t%0, %1, %2";
+ default: break;
+ }
+ abort ();
+ return "";
+}
[(set_attr "type" "jump")
(set_attr "mode" "none")
(set_attr "length" "3")])
-;; Define the loop insns that is used by bct optimization to represent the
-;; start and end of a zero-overhead loop (in loop.c). This start template
-;; generates the loop insn, the end template doesn't generate any instructions
-;; since since loop end is handled in hardware.
+;; Define the loop insns used by bct optimization to represent the
+;; start and end of a zero-overhead loop (in loop.c). This start
+;; template generates the loop insn; the end template doesn't generate
+;; any instructions since loop end is handled in hardware.
(define_insn "zero_cost_loop_start"
- [(set (pc) (if_then_else (eq (match_operand:SI 0 "register_operand" "a")
- (const_int 0))
- (label_ref (match_operand 1 "" ""))
- (pc)))
+ [(set (pc)
+ (if_then_else (eq (match_operand:SI 0 "register_operand" "a")
+ (const_int 0))
+ (label_ref (match_operand 1 "" ""))
+ (pc)))
(set (reg:SI 19)
(plus:SI (match_dup 0) (const_int -1)))]
""
- "loopnez %0, %l1"
+ "loopnez\t%0, %l1"
[(set_attr "type" "jump")
(set_attr "mode" "none")
(set_attr "length" "3")])
(define_insn "zero_cost_loop_end"
- [(set (pc) (if_then_else (ne (reg:SI 19) (const_int 0))
- (label_ref (match_operand 0 "" ""))
- (pc)))
+ [(set (pc)
+ (if_then_else (ne (reg:SI 19) (const_int 0))
+ (label_ref (match_operand 0 "" ""))
+ (pc)))
(set (reg:SI 19)
(plus:SI (reg:SI 19) (const_int -1)))]
""
- "*
+{
xtensa_emit_loop_end (insn, operands);
- return \"\";
- "
+ return "";
+}
[(set_attr "type" "jump")
(set_attr "mode" "none")
(set_attr "length" "0")])
-
-;;
-;; ....................
-;;
-;; SETTING A REGISTER FROM A COMPARISON
-;;
-;; ....................
-;;
+
+;; Setting a register from a comparison.
(define_expand "seq"
[(set (match_operand:SI 0 "register_operand" "")
(match_dup 1))]
""
- "
{
operands[1] = gen_rtx (EQ, SImode, branch_cmp[0], branch_cmp[1]);
- if (!xtensa_expand_scc (operands)) FAIL;
+ if (!xtensa_expand_scc (operands))
+ FAIL;
DONE;
-}")
+})
(define_expand "sne"
[(set (match_operand:SI 0 "register_operand" "")
(match_dup 1))]
""
- "
{
operands[1] = gen_rtx (NE, SImode, branch_cmp[0], branch_cmp[1]);
- if (!xtensa_expand_scc (operands)) FAIL;
+ if (!xtensa_expand_scc (operands))
+ FAIL;
DONE;
-}")
+})
(define_expand "sgt"
[(set (match_operand:SI 0 "register_operand" "")
(match_dup 1))]
""
- "
{
operands[1] = gen_rtx (GT, SImode, branch_cmp[0], branch_cmp[1]);
- if (!xtensa_expand_scc (operands)) FAIL;
+ if (!xtensa_expand_scc (operands))
+ FAIL;
DONE;
-}")
+})
(define_expand "sge"
[(set (match_operand:SI 0 "register_operand" "")
(match_dup 1))]
""
- "
{
operands[1] = gen_rtx (GE, SImode, branch_cmp[0], branch_cmp[1]);
- if (!xtensa_expand_scc (operands)) FAIL;
+ if (!xtensa_expand_scc (operands))
+ FAIL;
DONE;
-}")
+})
(define_expand "slt"
[(set (match_operand:SI 0 "register_operand" "")
(match_dup 1))]
""
- "
{
operands[1] = gen_rtx (LT, SImode, branch_cmp[0], branch_cmp[1]);
- if (!xtensa_expand_scc (operands)) FAIL;
+ if (!xtensa_expand_scc (operands))
+ FAIL;
DONE;
-}")
+})
(define_expand "sle"
[(set (match_operand:SI 0 "register_operand" "")
(match_dup 1))]
""
- "
{
operands[1] = gen_rtx (LE, SImode, branch_cmp[0], branch_cmp[1]);
- if (!xtensa_expand_scc (operands)) FAIL;
+ if (!xtensa_expand_scc (operands))
+ FAIL;
DONE;
-}")
-
+})
-;;
-;; ....................
-;;
-;; CONDITIONAL MOVES
-;;
-;; ....................
-;;
+
+;; Conditional moves.
(define_expand "movsicc"
[(set (match_operand:SI 0 "register_operand" "")
@@ -1895,11 +1712,11 @@
(match_operand:SI 2 "register_operand" "")
(match_operand:SI 3 "register_operand" "")))]
""
- "
{
- if (!xtensa_expand_conditional_move (operands, 0)) FAIL;
+ if (!xtensa_expand_conditional_move (operands, 0))
+ FAIL;
DONE;
-}")
+})
(define_expand "movsfcc"
[(set (match_operand:SF 0 "register_operand" "")
@@ -1907,11 +1724,11 @@
(match_operand:SF 2 "register_operand" "")
(match_operand:SF 3 "register_operand" "")))]
""
- "
{
- if (!xtensa_expand_conditional_move (operands, 1)) FAIL;
+ if (!xtensa_expand_conditional_move (operands, 1))
+ FAIL;
DONE;
-}")
+})
(define_insn "movsicc_internal0"
[(set (match_operand:SI 0 "register_operand" "=a,a")
@@ -1921,16 +1738,15 @@
(match_operand:SI 2 "register_operand" "r,0")
(match_operand:SI 3 "register_operand" "0,r")))]
""
- "*
{
if (which_alternative == 0)
{
switch (GET_CODE (operands[4]))
{
- case EQ: return \"moveqz\\t%0, %2, %1\";
- case NE: return \"movnez\\t%0, %2, %1\";
- case LT: return \"movltz\\t%0, %2, %1\";
- case GE: return \"movgez\\t%0, %2, %1\";
+ case EQ: return "moveqz\t%0, %2, %1";
+ case NE: return "movnez\t%0, %2, %1";
+ case LT: return "movltz\t%0, %2, %1";
+ case GE: return "movgez\t%0, %2, %1";
default: break;
}
}
@@ -1938,16 +1754,16 @@
{
switch (GET_CODE (operands[4]))
{
- case EQ: return \"movnez\\t%0, %3, %1\";
- case NE: return \"moveqz\\t%0, %3, %1\";
- case LT: return \"movgez\\t%0, %3, %1\";
- case GE: return \"movltz\\t%0, %3, %1\";
+ case EQ: return "movnez\t%0, %3, %1";
+ case NE: return "moveqz\t%0, %3, %1";
+ case LT: return "movgez\t%0, %3, %1";
+ case GE: return "movltz\t%0, %3, %1";
default: break;
}
}
- fatal_insn (\"unexpected cmov operator\", operands[4]);
- return \"\";
-}"
+ abort ();
+ return "";
+}
[(set_attr "type" "move,move")
(set_attr "mode" "SI")
(set_attr "length" "3,3")])
@@ -1960,21 +1776,20 @@
(match_operand:SI 2 "register_operand" "r,0")
(match_operand:SI 3 "register_operand" "0,r")))]
"TARGET_BOOLEANS"
- "*
{
int isEq = (GET_CODE (operands[4]) == EQ);
switch (which_alternative)
{
case 0:
- if (isEq) return \"movf\\t%0, %2, %1\";
- return \"movt\\t%0, %2, %1\";
+ if (isEq) return "movf\t%0, %2, %1";
+ return "movt\t%0, %2, %1";
case 1:
- if (isEq) return \"movt\\t%0, %3, %1\";
- return \"movf\\t%0, %3, %1\";
+ if (isEq) return "movt\t%0, %3, %1";
+ return "movf\t%0, %3, %1";
}
abort ();
- return \"\";
-}"
+ return "";
+}
[(set_attr "type" "move,move")
(set_attr "mode" "SI")
(set_attr "length" "3,3")])
@@ -1987,16 +1802,15 @@
(match_operand:SF 2 "register_operand" "r,0,f,0")
(match_operand:SF 3 "register_operand" "0,r,0,f")))]
""
- "*
{
if (which_alternative == 0)
{
switch (GET_CODE (operands[4]))
{
- case EQ: return \"moveqz\\t%0, %2, %1\";
- case NE: return \"movnez\\t%0, %2, %1\";
- case LT: return \"movltz\\t%0, %2, %1\";
- case GE: return \"movgez\\t%0, %2, %1\";
+ case EQ: return "moveqz\t%0, %2, %1";
+ case NE: return "movnez\t%0, %2, %1";
+ case LT: return "movltz\t%0, %2, %1";
+ case GE: return "movgez\t%0, %2, %1";
default: break;
}
}
@@ -2004,10 +1818,10 @@
{
switch (GET_CODE (operands[4]))
{
- case EQ: return \"movnez\\t%0, %3, %1\";
- case NE: return \"moveqz\\t%0, %3, %1\";
- case LT: return \"movgez\\t%0, %3, %1\";
- case GE: return \"movltz\\t%0, %3, %1\";
+ case EQ: return "movnez\t%0, %3, %1";
+ case NE: return "moveqz\t%0, %3, %1";
+ case LT: return "movgez\t%0, %3, %1";
+ case GE: return "movltz\t%0, %3, %1";
default: break;
}
}
@@ -2015,10 +1829,10 @@
{
switch (GET_CODE (operands[4]))
{
- case EQ: return \"moveqz.s %0, %2, %1\";
- case NE: return \"movnez.s %0, %2, %1\";
- case LT: return \"movltz.s %0, %2, %1\";
- case GE: return \"movgez.s %0, %2, %1\";
+ case EQ: return "moveqz.s %0, %2, %1";
+ case NE: return "movnez.s %0, %2, %1";
+ case LT: return "movltz.s %0, %2, %1";
+ case GE: return "movgez.s %0, %2, %1";
default: break;
}
}
@@ -2026,16 +1840,16 @@
{
switch (GET_CODE (operands[4]))
{
- case EQ: return \"movnez.s %0, %3, %1\";
- case NE: return \"moveqz.s %0, %3, %1\";
- case LT: return \"movgez.s %0, %3, %1\";
- case GE: return \"movltz.s %0, %3, %1\";
+ case EQ: return "movnez.s %0, %3, %1";
+ case NE: return "moveqz.s %0, %3, %1";
+ case LT: return "movgez.s %0, %3, %1";
+ case GE: return "movltz.s %0, %3, %1";
default: break;
}
}
- fatal_insn (\"unexpected cmov operator\", operands[4]);
- return \"\";
-}"
+ abort ();
+ return "";
+}
[(set_attr "type" "move,move,move,move")
(set_attr "mode" "SF")
(set_attr "length" "3,3,3,3")])
@@ -2048,46 +1862,39 @@
(match_operand:SF 2 "register_operand" "r,0,f,0")
(match_operand:SF 3 "register_operand" "0,r,0,f")))]
"TARGET_BOOLEANS"
- "*
{
int isEq = (GET_CODE (operands[4]) == EQ);
switch (which_alternative)
{
case 0:
- if (isEq) return \"movf\\t%0, %2, %1\";
- return \"movt\\t%0, %2, %1\";
+ if (isEq) return "movf\t%0, %2, %1";
+ return "movt\t%0, %2, %1";
case 1:
- if (isEq) return \"movt\\t%0, %3, %1\";
- return \"movf\\t%0, %3, %1\";
+ if (isEq) return "movt\t%0, %3, %1";
+ return "movf\t%0, %3, %1";
case 2:
- if (isEq) return \"movf.s\\t%0, %2, %1\";
- return \"movt.s\\t%0, %2, %1\";
+ if (isEq) return "movf.s\t%0, %2, %1";
+ return "movt.s\t%0, %2, %1";
case 3:
- if (isEq) return \"movt.s\\t%0, %3, %1\";
- return \"movf.s\\t%0, %3, %1\";
+ if (isEq) return "movt.s\t%0, %3, %1";
+ return "movf.s\t%0, %3, %1";
}
abort ();
- return \"\";
-}"
+ return "";
+}
[(set_attr "type" "move,move,move,move")
(set_attr "mode" "SF")
(set_attr "length" "3,3,3,3")])
-
-;;
-;; ....................
-;;
-;; FLOATING POINT COMPARISONS
-;;
-;; ....................
-;;
+
+;; Floating-point comparisons.
(define_insn "seq_sf"
[(set (match_operand:CC 0 "register_operand" "=b")
(eq:CC (match_operand:SF 1 "register_operand" "f")
(match_operand:SF 2 "register_operand" "f")))]
"TARGET_HARD_FLOAT"
- "oeq.s\\t%0, %1, %2"
+ "oeq.s\t%0, %1, %2"
[(set_attr "type" "farith")
(set_attr "mode" "BL")
(set_attr "length" "3")])
@@ -2097,7 +1904,7 @@
(lt:CC (match_operand:SF 1 "register_operand" "f")
(match_operand:SF 2 "register_operand" "f")))]
"TARGET_HARD_FLOAT"
- "olt.s\\t%0, %1, %2"
+ "olt.s\t%0, %1, %2"
[(set_attr "type" "farith")
(set_attr "mode" "BL")
(set_attr "length" "3")])
@@ -2107,33 +1914,27 @@
(le:CC (match_operand:SF 1 "register_operand" "f")
(match_operand:SF 2 "register_operand" "f")))]
"TARGET_HARD_FLOAT"
- "ole.s\\t%0, %1, %2"
+ "ole.s\t%0, %1, %2"
[(set_attr "type" "farith")
(set_attr "mode" "BL")
(set_attr "length" "3")])
-
-;;
-;; ....................
-;;
-;; UNCONDITIONAL BRANCHES
-;;
-;; ....................
-;;
+
+;; Unconditional branches.
(define_insn "jump"
[(set (pc)
(label_ref (match_operand 0 "" "")))]
""
- "j\\t%l0"
+ "j\t%l0"
[(set_attr "type" "jump")
(set_attr "mode" "none")
(set_attr "length" "3")])
(define_expand "indirect_jump"
- [(set (pc) (match_operand 0 "register_operand" ""))]
+ [(set (pc)
+ (match_operand 0 "register_operand" ""))]
""
- "
{
rtx dest = operands[0];
if (GET_CODE (dest) != REG || GET_MODE (dest) != Pmode)
@@ -2141,12 +1942,12 @@
emit_jump_insn (gen_indirect_jump_internal (dest));
DONE;
-}")
+})
(define_insn "indirect_jump_internal"
[(set (pc) (match_operand:SI 0 "register_operand" "r"))]
""
- "jx\\t%0"
+ "jx\t%0"
[(set_attr "type" "jump")
(set_attr "mode" "none")
(set_attr "length" "3")])
@@ -2156,12 +1957,11 @@
[(use (match_operand:SI 0 "register_operand" ""))
(use (label_ref (match_operand 1 "" "")))]
""
- "
{
rtx target = operands[0];
if (flag_pic)
{
- /* For PIC, the table entry is relative to the start of the table. */
+ /* For PIC, the table entry is relative to the start of the table. */
rtx label = gen_reg_rtx (SImode);
target = gen_reg_rtx (SImode);
emit_move_insn (label, gen_rtx_LABEL_REF (SImode, operands[1]));
@@ -2169,26 +1969,20 @@
}
emit_jump_insn (gen_tablejump_internal (target, operands[1]));
DONE;
-}")
+})
(define_insn "tablejump_internal"
[(set (pc)
(match_operand:SI 0 "register_operand" "r"))
(use (label_ref (match_operand 1 "" "")))]
""
- "jx\\t%0"
+ "jx\t%0"
[(set_attr "type" "jump")
(set_attr "mode" "none")
(set_attr "length" "3")])
-
-;;
-;; ....................
-;;
-;; FUNCTION CALLS
-;;
-;; ....................
-;;
+
+;; Function calls.
(define_expand "sym_PLT"
[(const (unspec [(match_operand:SI 0 "" "")] UNSPEC_PLT))]
@@ -2199,22 +1993,21 @@
[(call (match_operand 0 "memory_operand" "")
(match_operand 1 "" ""))]
""
- "
{
rtx addr = XEXP (operands[0], 0);
if (flag_pic && GET_CODE (addr) == SYMBOL_REF && !SYMBOL_REF_LOCAL_P (addr))
addr = gen_sym_PLT (addr);
if (!call_insn_operand (addr, VOIDmode))
XEXP (operands[0], 0) = copy_to_mode_reg (Pmode, addr);
-}")
+})
(define_insn "call_internal"
[(call (mem (match_operand:SI 0 "call_insn_operand" "n,i,r"))
(match_operand 1 "" "i,i,i"))]
""
- "*
- return xtensa_emit_call (0, operands);
- "
+{
+ return xtensa_emit_call (0, operands);
+}
[(set_attr "type" "call")
(set_attr "mode" "none")
(set_attr "length" "3")])
@@ -2224,19 +2017,18 @@
(call (match_operand 1 "memory_operand" "")
(match_operand 2 "" "")))]
""
- "
{
rtx addr = XEXP (operands[1], 0);
if (flag_pic && GET_CODE (addr) == SYMBOL_REF && !SYMBOL_REF_LOCAL_P (addr))
addr = gen_sym_PLT (addr);
if (!call_insn_operand (addr, VOIDmode))
XEXP (operands[1], 0) = copy_to_mode_reg (Pmode, addr);
-}")
+})
-;; cannot combine constraints for operand 0 into "afvb"
+;; Cannot combine constraints for operand 0 into "afvb":
;; reload.c:find_reloads seems to assume that grouped constraints somehow
;; specify related register classes, and when they don't the constraints
-;; fail to match. By not grouping the constraints, we get the correct
+;; fail to match. By not grouping the constraints, we get the correct
;; behavior.
(define_insn "call_value_internal"
[(set (match_operand 0 "register_operand" "=af,af,af,v,v,v,b,b,b")
@@ -2244,9 +2036,9 @@
"n,i,r,n,i,r,n,i,r"))
(match_operand 2 "" "i,i,i,i,i,i,i,i,i")))]
""
- "*
- return xtensa_emit_call (1, operands);
- "
+{
+ return xtensa_emit_call (1, operands);
+}
[(set_attr "type" "call")
(set_attr "mode" "none")
(set_attr "length" "3")])
@@ -2257,14 +2049,13 @@
(match_operand:SI 1 "const_int_operand" "i")]
UNSPECV_ENTRY))]
""
- "*
{
if (frame_pointer_needed)
- output_asm_insn (\".frame\\ta7, %0\", operands);
+ output_asm_insn (".frame\ta7, %0", operands);
else
- output_asm_insn (\".frame\\tsp, %0\", operands);
- return \"entry\\tsp, %1\";
-}"
+ output_asm_insn (".frame\tsp, %0", operands);
+ return "entry\tsp, %1";
+}
[(set_attr "type" "move")
(set_attr "mode" "SI")
(set_attr "length" "3")])
@@ -2273,48 +2064,38 @@
[(return)
(use (reg:SI A0_REG))]
"reload_completed"
- "*
{
- return (TARGET_DENSITY ? \"retw.n\" : \"retw\");
-}"
+ return (TARGET_DENSITY ? "retw.n" : "retw");
+}
[(set_attr "type" "jump")
(set_attr "mode" "none")
(set_attr "length" "2")])
-
-;;
-;; ....................
-;;
-;; MISC.
-;;
-;; ....................
-;;
+
+;; Miscellaneous instructions.
(define_expand "prologue"
[(const_int 0)]
""
- "
{
xtensa_expand_prologue ();
DONE;
-}")
+})
(define_expand "epilogue"
[(return)]
""
- "
{
emit_jump_insn (gen_return ());
DONE;
-}")
+})
(define_insn "nop"
[(const_int 0)]
""
- "*
{
- return (TARGET_DENSITY ? \"nop.n\" : \"nop\");
-}"
+ return (TARGET_DENSITY ? "nop.n" : "nop");
+}
[(set_attr "type" "nop")
(set_attr "mode" "none")
(set_attr "length" "3")])
@@ -2325,16 +2106,15 @@
(match_operand:SI 2 "general_operand" "")
(match_operand:SI 3 "" "")]
""
- "
{
xtensa_expand_nonlocal_goto (operands);
DONE;
-}")
+})
;; Setting up a frame pointer is tricky for Xtensa because GCC doesn't
;; know if a frame pointer is required until the reload pass, and
;; because there may be an incoming argument value in the hard frame
-;; pointer register (a7). If there is an incoming argument in that
+;; pointer register (a7). If there is an incoming argument in that
;; register, the "set_frame_ptr" insn gets inserted immediately after
;; the insn that copies the incoming argument to a pseudo or to the
;; stack. This serves several purposes here: (1) it keeps the
@@ -2342,19 +2122,18 @@
;; incoming argument away from the beginning of the function; (2) we
;; can use a post-reload splitter to expand away the insn if a frame
;; pointer is not required, so that the post-reload scheduler can do
-;; the right thing; and (3) it makes it easy for xtensa_reorg() to
-;; search for this insn to determine whether it should add a new insn
+;; the right thing; and (3) it makes it easy for the prologue expander
+;; to search for this insn to determine whether it should add a new insn
;; to set up the frame pointer.
(define_insn "set_frame_ptr"
[(set (reg:SI A7_REG) (unspec_volatile:SI [(const_int 0)] UNSPECV_SET_FP))]
""
- "*
{
if (frame_pointer_needed)
- return \"mov\\ta7, sp\";
- return \"\";
-}"
+ return "mov\ta7, sp";
+ return "";
+}
[(set_attr "type" "move")
(set_attr "mode" "SI")
(set_attr "length" "3")])
@@ -2379,7 +2158,6 @@
;; The fix_return_addr pattern sets the high 2 bits of an address in a
;; register to match the high bits of the current PC.
-
(define_insn "fix_return_addr"
[(set (match_operand:SI 0 "register_operand" "=a")
(unspec:SI [(match_operand:SI 1 "register_operand" "r")]
@@ -2387,22 +2165,14 @@
(clobber (match_scratch:SI 2 "=r"))
(clobber (match_scratch:SI 3 "=r"))]
""
- "mov\\t%2, a0\;call0\\t0f\;.align\\t4\;0:\;mov\\t%3, a0\;mov\\ta0, %2\;\
-srli\\t%3, %3, 30\;slli\\t%0, %1, 2\;ssai\\t2\;src\\t%0, %3, %0"
+ "mov\t%2, a0\;call0\t0f\;.align\t4\;0:\;mov\t%3, a0\;mov\ta0, %2\;\
+srli\t%3, %3, 30\;slli\t%0, %1, 2\;ssai\t2\;src\t%0, %3, %0"
[(set_attr "type" "multi")
(set_attr "mode" "SI")
(set_attr "length" "24")])
-
-;;
-;; ....................
-;;
-;; BOOLEANS
-;;
-;; ....................
-;;
-
-;; branch patterns
+
+;; Instructions for the Xtensa "boolean" option.
(define_insn "*booltrue"
[(set (pc)
@@ -2412,13 +2182,12 @@
(label_ref (match_operand 1 "" ""))
(pc)))]
"TARGET_BOOLEANS"
- "*
{
if (GET_CODE (operands[2]) == EQ)
- return \"bf\\t%0, %1\";
+ return "bf\t%0, %1";
else
- return \"bt\\t%0, %1\";
-}"
+ return "bt\t%0, %1";
+}
[(set_attr "type" "jump")
(set_attr "mode" "none")
(set_attr "length" "3")])
@@ -2431,13 +2200,12 @@
(pc)
(label_ref (match_operand 1 "" ""))))]
"TARGET_BOOLEANS"
- "*
{
if (GET_CODE (operands[2]) == EQ)
- return \"bt\\t%0, %1\";
+ return "bt\t%0, %1";
else
- return \"bf\\t%0, %1\";
-}"
+ return "bf\t%0, %1";
+}
[(set_attr "type" "jump")
(set_attr "mode" "none")
(set_attr "length" "3")])