Subversion Repositories openrisc

;;- Machine description for the pdp11 for GNU C compiler

;; Copyright (C) 1994, 1995, 1997, 1998, 1999, 2000, 2001, 2004, 2005

;; 2007, 2008 Free Software Foundation, Inc.

;; Contributed by Michael K. Gschwind (mike@vlsivie.tuwien.ac.at).

;; This file is part of GCC.

;; GCC is free software; you can redistribute it and/or modify

;; it under the terms of the GNU General Public License as published by

;; the Free Software Foundation; either version 3, or (at your option)

;; any later version.

;; GCC is distributed in the hope that it will be useful,

;; but WITHOUT ANY WARRANTY; without even the implied warranty of

;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the

;; GNU General Public License for more details.

;; You should have received a copy of the GNU General Public License

;; along with GCC; see the file COPYING3.  If not see

;; .

;; Match CONST_DOUBLE zero for tstd/tstf.

(define_predicate "register_or_const0_operand"

  (ior (match_operand 0 "register_operand")

       (match_test "op == CONST0_RTX (GET_MODE (op))")))

;; HI is 16 bit

;; QI is 8 bit

;;- See file "rtl.def" for documentation on define_insn, match_*, et. al.

;;- cpp macro #define NOTICE_UPDATE_CC in file tm.h handles condition code

;;- updates for most instructions.

;;- Operand classes for the register allocator:

;; Compare instructions.

;; currently we only support df floats, which saves us quite some

;; hassle switching the FP mode!

;; we assume that CPU is always in long float mode, and

;; 16 bit integer mode - currently, the prologue for main does this,

;; but maybe we should just set up a NEW crt0 properly,

;; -- and what about signal handling code?

;; (we don't even let sf floats in the register file, so

;; we only should have to worry about truncating and widening

;; when going to memory)

;; abort() call by g++ - must define libfunc for cmp_optab

;; and ucmp_optab for mode SImode, because we don't have that!!!

;; - yet since no libfunc is there, we abort ()

;; The only thing that remains to be done then is output

;; the floats in a way the assembler can handle it (and

;; if you're really into it, use a PDP11 float emulation

;; library to do floating point constant folding - but

;; I guess you'll get reasonable results even when not

;; doing this)

;; the last thing to do is fix the UPDATE_CC macro to check

;; for floating point condition codes, and set cc_status

;; properly, also setting the CC_IN_FCCR flag.

;; define attributes

;; currently type is only fpu or arith or unknown, maybe branch later ?

;; default is arith

(define_attr "type" "unknown,arith,fp" (const_string "arith"))

;; length default is 1 word each

(define_attr "length" "" (const_int 1))

;; a user's asm statement

(define_asm_attributes

  [(set_attr "type" "unknown")

; all bets are off how long it is - make it 256, forces long jumps

; whenever jumping around it !!!

   (set_attr "length" "256")])

;; define function units

;; arithmetic - values here immediately when next insn issued

;; or does it mean the number of cycles after this insn was issued?

;; how do I say that fpu insns use cpu also? (pre-interaction phase)

;(define_function_unit "cpu" 1 1 (eq_attr "type" "arith") 0 0)

;(define_function_unit "fpu" 1 1 (eq_attr "type" "fp") 0 0)

;; compare

(define_insn "*cmpdf"

  [(set (cc0)

        (compare (match_operand:DF 0 "general_operand" "fR,fR,Q,Q,F")

                 (match_operand:DF 1 "register_or_const0_operand" "G,a,G,a,a")))]

  "TARGET_FPU"

  "*

{

  cc_status.flags = CC_IN_FPU;

  if (which_alternative == 0 || which_alternative == 2)

    return \"{tstd|tstf} %0, %1\;cfcc\";

  else

    return \"{cmpd|cmpf} %0, %1\;cfcc\";

}"

  [(set_attr "length" "2,2,3,3,6")])

(define_insn "*cmphi"

  [(set (cc0)

        (compare (match_operand:HI 0 "general_operand" "rR,rR,rR,Q,Qi,Qi")

                 (match_operand:HI 1 "general_operand" "N,rR,Qi,N,rR,Qi")))]

  ""

  "@

   tst %0

   cmp %0,%1

   cmp %0,%1

   tst %0

   cmp %0,%1

   cmp %0,%1"

  [(set_attr "length" "1,1,2,2,2,3")])

(define_insn "*cmpqi"

  [(set (cc0)

        (compare (match_operand:QI 0 "general_operand" "rR,rR,rR,Q,Qi,Qi")

                 (match_operand:QI 1 "general_operand" "N,rR,Qi,N,rR,Qi")))]

  ""

  "@

   tstb %0

   cmpb %0,%1

   cmpb %0,%1

   tstb %0

   cmpb %0,%1

   cmpb %0,%1"

  [(set_attr "length" "1,1,2,2,2,3")])

;; sob instruction - we need an assembler which can make this instruction

;; valid under _all_ circumstances!

(define_insn ""

  [(set (pc)

        (if_then_else

         (ne (plus:HI (match_operand:HI 0 "register_operand" "+r")

                      (const_int -1))

             (const_int 0))

         (label_ref (match_operand 1 "" ""))

         (pc)))

   (set (match_dup 0)

        (plus:HI (match_dup 0)

                 (const_int -1)))]

  "TARGET_40_PLUS"

  "*

{

 static int labelcount = 0;

 static char buf[1000];

 if (get_attr_length (insn) == 1)

    return \"sob %0, %l1\";

 /* emulate sob */

 output_asm_insn (\"dec %0\", operands);

 sprintf (buf, \"bge LONG_SOB%d\", labelcount);

 output_asm_insn (buf, NULL);

 output_asm_insn (\"jmp %l1\", operands);

 sprintf (buf, \"LONG_SOB%d:\", labelcount++);

 output_asm_insn (buf, NULL);

 return \"\";

}"

  [(set (attr "length") (if_then_else (ior (le (minus (match_dup 0)

                                                       (pc))

                                                (const_int -256))

                                           (ge (minus (match_dup 0)

                                                       (pc))

                                                (const_int 0)))

                                      (const_int 4)

                                      (const_int 1)))])

;; These control RTL generation for conditional jump insns

;; and match them for register allocation.

(define_expand "cbranchdf4"

  [(set (cc0)

        (compare (match_operand:DF 1 "general_operand")

                 (match_operand:DF 2 "general_operand")))

   (set (pc)

        (if_then_else (match_operator 0 "ordered_comparison_operator"

                       [(cc0) (const_int 0)])

                      (label_ref (match_operand 3 "" ""))

                      (pc)))]

  ""

  "")

(define_expand "cbranchhi4"

  [(set (cc0)

        (compare (match_operand:HI 1 "general_operand")

                 (match_operand:HI 2 "general_operand")))

   (set (pc)

        (if_then_else (match_operator 0 "ordered_comparison_operator"

                       [(cc0) (const_int 0)])

                      (label_ref (match_operand 3 "" ""))

                      (pc)))]

  ""

  "")

(define_expand "cbranchqi4"

  [(set (cc0)

        (compare (match_operand:QI 1 "general_operand")

                 (match_operand:QI 2 "general_operand")))

   (set (pc)

        (if_then_else (match_operator 0 "ordered_comparison_operator"

                       [(cc0) (const_int 0)])

                      (label_ref (match_operand 3 "" ""))

                      (pc)))]

  ""

  "")

;; problem with too short jump distance! we need an assembler which can

;; make this valid for all jump distances!

;; e.g. gas!

;; these must be changed to check for CC_IN_FCCR if float is to be

;; enabled

(define_insn "*branch"

  [(set (pc)

        (if_then_else (match_operator 0 "ordered_comparison_operator"

                       [(cc0) (const_int 0)])

                      (label_ref (match_operand 1 "" ""))

                      (pc)))]

  ""

  "* return output_jump(GET_CODE (operands[0]), 0, get_attr_length(insn));"

  [(set (attr "length") (if_then_else (ior (le (minus (match_dup 1)

                                                      (pc))

                                               (const_int -128))

                                           (ge (minus (match_dup 1)

                                                      (pc))

                                               (const_int 128)))

                                      (const_int 3)

                                      (const_int 1)))])

;; These match inverted jump insns for register allocation.

(define_insn "*branch_inverted"

  [(set (pc)

        (if_then_else (match_operator 0 "ordered_comparison_operator"

                       [(cc0) (const_int 0)])

                      (pc)

                      (label_ref (match_operand 1 "" ""))))]

  ""

  "* return output_jump(GET_CODE (operands[0]), 1, get_attr_length(insn));"

  [(set (attr "length") (if_then_else (ior (le (minus (match_dup 1)

                                                      (pc))

                                               (const_int -128))

                                           (ge (minus (match_dup 1)

                                                      (pc))

                                               (const_int 128)))

                                      (const_int 3)

                                      (const_int 1)))])

;; Move instructions

(define_insn "movdi"

  [(set (match_operand:DI 0 "general_operand" "=g,rm,o")

        (match_operand:DI 1 "general_operand" "m,r,a"))]

  ""

  "* return output_move_quad (operands);"

;; what's the mose expensive code - say twice movsi = 16

  [(set_attr "length" "16,16,16")])

(define_insn "movsi"

  [(set (match_operand:SI 0 "general_operand" "=r,r,r,rm,m")

        (match_operand:SI 1 "general_operand" "rN,IJ,K,m,r"))]

  ""

  "* return output_move_double (operands);"

;; what's the most expensive code ? - I think 8!

;; we could split it up and make several sub-cases...

  [(set_attr "length" "2,3,4,8,8")])

(define_insn "movhi"

  [(set (match_operand:HI 0 "general_operand" "=rR,rR,Q,Q")

        (match_operand:HI 1 "general_operand" "rRN,Qi,rRN,Qi"))]

  ""

  "*

{

  if (operands[1] == const0_rtx)

    return \"clr %0\";

  return \"mov %1, %0\";

}"

  [(set_attr "length" "1,2,2,3")])

(define_insn "movqi"

  [(set (match_operand:QI 0 "nonimmediate_operand" "=g")

        (match_operand:QI 1 "general_operand" "g"))]

  ""

  "*

{

  if (operands[1] == const0_rtx)

    return \"clrb %0\";

  return \"movb %1, %0\";

}"

  [(set_attr "length" "1")])

;; do we have to supply all these moves? e.g. to

;; NO_LOAD_FPU_REGs ?

(define_insn "movdf"

  [(set (match_operand:DF 0 "general_operand" "=a,fR,a,Q,m")

        (match_operand:DF 1 "general_operand" "fFR,a,Q,a,m"))]

  ""

  "* if (which_alternative ==0)

       return \"ldd %1, %0\";

     else if (which_alternative == 1)

       return \"std %1, %0\";

     else

       return output_move_quad (operands); "

;; just a guess..

  [(set_attr "length" "1,1,5,5,16")])

(define_insn "movsf"

  [(set (match_operand:SF 0 "general_operand" "=g,r,g")

        (match_operand:SF 1 "general_operand" "r,rmF,g"))]

  "TARGET_FPU"

  "* return output_move_double (operands);"

  [(set_attr "length" "8,8,8")])

;; maybe fiddle a bit with move_ratio, then

;; let constraints only accept a register ...

(define_expand "movmemhi"

  [(parallel [(set (match_operand:BLK 0 "general_operand" "=g,g")

                   (match_operand:BLK 1 "general_operand" "g,g"))

              (use (match_operand:HI 2 "arith_operand" "n,&mr"))

              (use (match_operand:HI 3 "immediate_operand" "i,i"))

              (clobber (match_scratch:HI 4 "=&r,X"))

              (clobber (match_dup 5))

              (clobber (match_dup 6))

              (clobber (match_dup 2))])]

  "(TARGET_BCOPY_BUILTIN)"

  "

{

  operands[0]

    = replace_equiv_address (operands[0],

                             copy_to_mode_reg (Pmode, XEXP (operands[0], 0)));

  operands[1]

    = replace_equiv_address (operands[1],

                             copy_to_mode_reg (Pmode, XEXP (operands[1], 0)));

  operands[5] = XEXP (operands[0], 0);

  operands[6] = XEXP (operands[1], 0);

}")

(define_insn "" ; "movmemhi"

  [(set (mem:BLK (match_operand:HI 0 "general_operand" "=r,r"))

        (mem:BLK (match_operand:HI 1 "general_operand" "r,r")))

   (use (match_operand:HI 2 "arith_operand" "n,&r"))

   (use (match_operand:HI 3 "immediate_operand" "i,i"))

   (clobber (match_scratch:HI 4 "=&r,X"))

   (clobber (match_dup 0))

   (clobber (match_dup 1))

   (clobber (match_dup 2))]

  "(TARGET_BCOPY_BUILTIN)"

  "* return output_block_move (operands);"

;;; just a guess

  [(set_attr "length" "40")])

;;- truncation instructions

(define_insn  "truncdfsf2"

  [(set (match_operand:SF 0 "general_operand" "=r,R,Q")

        (float_truncate:SF (match_operand:DF 1 "register_operand" "a,a,a")))]

  "TARGET_FPU"

  "* if (which_alternative ==0)

     {

       output_asm_insn(\"{stcdf|movfo} %1, -(sp)\", operands);

       output_asm_insn(\"mov (sp)+, %0\", operands);

       operands[0] = gen_rtx_REG (HImode, REGNO (operands[0])+1);

       output_asm_insn(\"mov (sp)+, %0\", operands);

       return \"\";

     }

     else if (which_alternative == 1)

       return \"{stcdf|movfo} %1, %0\";

     else

       return \"{stcdf|movfo} %1, %0\";

  "

  [(set_attr "length" "3,1,2")])

(define_expand "truncsihi2"

  [(set (match_operand:HI 0 "general_operand" "=g")

        (subreg:HI

          (match_operand:SI 1 "general_operand" "or")

          0))]

  ""

  "")

;;- zero extension instructions

(define_insn "zero_extendqihi2"

  [(set (match_operand:HI 0 "general_operand" "=r")

        (zero_extend:HI (match_operand:QI 1 "general_operand" "0")))]

  ""

  "bic $0177400, %0"

  [(set_attr "length" "2")])

(define_expand "zero_extendhisi2"

  [(set (subreg:HI

          (match_dup 0)

          2)

        (match_operand:HI 1 "register_operand" "r"))

   (set (subreg:HI

          (match_operand:SI 0 "register_operand" "=r")

          0)

        (const_int 0))]

  ""

  "/* operands[1] = make_safe_from (operands[1], operands[0]); */")

;;- sign extension instructions

(define_insn "extendsfdf2"

  [(set (match_operand:DF 0 "register_operand" "=a,a,a")

        (float_extend:DF (match_operand:SF 1 "general_operand" "r,R,Q")))]

  "TARGET_FPU"

  "@

   mov %1, -(sp)\;{ldcfd|movof} (sp)+,%0

   {ldcfd|movof} %1, %0

   {ldcfd|movof} %1, %0"

  [(set_attr "length" "2,1,2")])

;; does movb sign extend in register-to-register move?

(define_insn "extendqihi2"

  [(set (match_operand:HI 0 "register_operand" "=r,r")

        (sign_extend:HI (match_operand:QI 1 "general_operand" "rR,Q")))]

  ""

  "movb %1, %0"

  [(set_attr "length" "1,2")])

(define_insn "extendqisi2"

  [(set (match_operand:SI 0 "register_operand" "=r,r")

        (sign_extend:SI (match_operand:QI 1 "general_operand" "rR,Q")))]

  "TARGET_40_PLUS"

  "*

{

  rtx latehalf[2];

  /* make register pair available */

  latehalf[0] = operands[0];

  operands[0] = gen_rtx_REG (HImode, REGNO (operands[0])+ 1);

  output_asm_insn(\"movb %1, %0\", operands);

  output_asm_insn(\"sxt %0\", latehalf);

  return \"\";

}"

  [(set_attr "length" "2,3")])

;; maybe we have to use define_expand to say that we have the instruction,

;; unconditionally, and then match dependent on CPU type:

(define_expand "extendhisi2"

  [(set (match_operand:SI 0 "general_operand" "=g")

        (sign_extend:SI (match_operand:HI 1 "general_operand" "g")))]

  ""

  "")

(define_insn "" ; "extendhisi2"

  [(set (match_operand:SI 0 "general_operand" "=o,<,r")

        (sign_extend:SI (match_operand:HI 1 "general_operand" "g,g,g")))]

  "TARGET_40_PLUS"

  "*

{

  rtx latehalf[2];

  /* we don't want to mess with auto increment */

  switch (which_alternative)

  {

    case 0:

      latehalf[0] = operands[0];

      operands[0] = adjust_address(operands[0], HImode, 2);

      output_asm_insn(\"mov %1, %0\", operands);

      output_asm_insn(\"sxt %0\", latehalf);

      return \"\";

    case 1:

      /* - auto-decrement - right direction ;-) */

      output_asm_insn(\"mov %1, %0\", operands);

      output_asm_insn(\"sxt %0\", operands);

      return \"\";

    case 2:

      /* make register pair available */

      latehalf[0] = operands[0];

      operands[0] = gen_rtx_REG (HImode, REGNO (operands[0]) + 1);

      output_asm_insn(\"mov %1, %0\", operands);

      output_asm_insn(\"sxt %0\", latehalf);

      return \"\";

    default:

      gcc_unreachable ();

  }

}"

  [(set_attr "length" "5,3,3")])

(define_insn ""

  [(set (match_operand:SI 0 "register_operand" "=r")

        (sign_extend:SI (match_operand:HI 1 "general_operand" "0")))]

  "(! TARGET_40_PLUS)"

  "*

{

  static int count = 0;

  char buf[100];

  rtx lateoperands[2];

  lateoperands[0] = operands[0];

  operands[0] = gen_rtx_REG (HImode, REGNO (operands[0]) + 1);

  output_asm_insn(\"tst %0\", operands);

  sprintf(buf, \"bge extendhisi%d\", count);

  output_asm_insn(buf, NULL);

  output_asm_insn(\"mov -1, %0\", lateoperands);

  sprintf(buf, \"bne extendhisi%d\", count+1);

  output_asm_insn(buf, NULL);

  sprintf(buf, \"\\nextendhisi%d:\", count);

  output_asm_insn(buf, NULL);

  output_asm_insn(\"clr %0\", lateoperands);

  sprintf(buf, \"\\nextendhisi%d:\", count+1);

  output_asm_insn(buf, NULL);

  count += 2;

  return \"\";

}"

  [(set_attr "length" "6")])

;; make float to int and vice versa

;; using the cc_status.flag field we could probably cut down

;; on seti and setl

;; assume that we are normally in double and integer mode -

;; what do pdp library routines do to fpu mode ?

(define_insn "floatsidf2"

  [(set (match_operand:DF 0 "register_operand" "=a,a,a")

        (float:DF (match_operand:SI 1 "general_operand" "r,R,Q")))]

  "TARGET_FPU"

  "* if (which_alternative ==0)

     {

       rtx latehalf[2];

       latehalf[0] = NULL;

       latehalf[1] = gen_rtx_REG (HImode, REGNO (operands[1]) + 1);

       output_asm_insn(\"mov %1, -(sp)\", latehalf);

       output_asm_insn(\"mov %1, -(sp)\", operands);

       output_asm_insn(\"setl\", operands);

       output_asm_insn(\"{ldcld|movif} (sp)+, %0\", operands);

       output_asm_insn(\"seti\", operands);

       return \"\";

     }

     else if (which_alternative == 1)

       return \"setl\;{ldcld|movif} %1, %0\;seti\";

     else

       return \"setl\;{ldcld|movif} %1, %0\;seti\";

  "

  [(set_attr "length" "5,3,4")])

(define_insn "floathidf2"

  [(set (match_operand:DF 0 "register_operand" "=a,a")

        (float:DF (match_operand:HI 1 "general_operand" "rR,Qi")))]

  "TARGET_FPU"

  "{ldcid|movif} %1, %0"

  [(set_attr "length" "1,2")])

;; cut float to int

(define_insn "fix_truncdfsi2"

  [(set (match_operand:SI 0 "general_operand" "=r,R,Q")

        (fix:SI (fix:DF (match_operand:DF 1 "register_operand" "a,a,a"))))]

  "TARGET_FPU"

  "* if (which_alternative ==0)

     {

       output_asm_insn(\"setl\", operands);

       output_asm_insn(\"{stcdl|movfi} %1, -(sp)\", operands);

       output_asm_insn(\"seti\", operands);

       output_asm_insn(\"mov (sp)+, %0\", operands);

       operands[0] = gen_rtx_REG (HImode, REGNO (operands[0]) + 1);

       output_asm_insn(\"mov (sp)+, %0\", operands);

       return \"\";

     }

     else if (which_alternative == 1)

       return \"setl\;{stcdl|movfi} %1, %0\;seti\";

     else

       return \"setl\;{stcdl|movfi} %1, %0\;seti\";

  "

  [(set_attr "length" "5,3,4")])

(define_insn "fix_truncdfhi2"

  [(set (match_operand:HI 0 "general_operand" "=rR,Q")

        (fix:HI (fix:DF (match_operand:DF 1 "register_operand" "a,a"))))]

  "TARGET_FPU"

  "{stcdi|movfi} %1, %0"

  [(set_attr "length" "1,2")])

;;- arithmetic instructions

;;- add instructions

(define_insn "adddf3"

  [(set (match_operand:DF 0 "register_operand" "=a,a,a")

        (plus:DF (match_operand:DF 1 "register_operand" "%0,0,0")

                 (match_operand:DF 2 "general_operand" "fR,Q,F")))]

  "TARGET_FPU"

  "{addd|addf} %2, %0"

  [(set_attr "length" "1,2,5")])

(define_insn "addsi3"

  [(set (match_operand:SI 0 "general_operand" "=r,r,o,o,r,r,r,o,o,o")

        (plus:SI (match_operand:SI 1 "general_operand" "%0,0,0,0,0,0,0,0,0,0")

                 (match_operand:SI 2 "general_operand" "r,o,r,o,I,J,K,I,J,K")))]

  ""

  "*

{ /* Here we trust that operands don't overlap

     or is lateoperands the low word?? - looks like it! */

  rtx lateoperands[3];

  lateoperands[0] = operands[0];

  if (REG_P (operands[0]))

    operands[0] = gen_rtx_REG (HImode, REGNO (operands[0]) + 1);

  else

    operands[0] = adjust_address (operands[0], HImode, 2);

  if (! CONSTANT_P(operands[2]))

  {

    lateoperands[2] = operands[2];

    if (REG_P (operands[2]))

      operands[2] = gen_rtx_REG (HImode, REGNO (operands[2]) + 1);

    else

      operands[2] = adjust_address (operands[2], HImode, 2);

    output_asm_insn (\"add %2, %0\", operands);

    output_asm_insn (\"adc %0\", lateoperands);

    output_asm_insn (\"add %2, %0\", lateoperands);

    return \"\";

  }

  lateoperands[2] = GEN_INT ((INTVAL (operands[2]) >> 16) & 0xffff);

  operands[2] = GEN_INT (INTVAL (operands[2]) & 0xffff);

  if (INTVAL(operands[2]))

  {

    output_asm_insn (\"add %2, %0\", operands);

    output_asm_insn (\"adc %0\", lateoperands);

  }

  if (INTVAL(lateoperands[2]))

    output_asm_insn (\"add %2, %0\", lateoperands);

  return \"\";

}"

  [(set_attr "length" "3,5,6,8,3,1,5,5,3,8")])

(define_insn "addhi3"

  [(set (match_operand:HI 0 "general_operand" "=rR,rR,Q,Q")

        (plus:HI (match_operand:HI 1 "general_operand" "%0,0,0,0")

                 (match_operand:HI 2 "general_operand" "rRLM,Qi,rRLM,Qi")))]

  ""

  "*

{

  if (GET_CODE (operands[2]) == CONST_INT)

    {

      if (INTVAL(operands[2]) == 1)

        return \"inc %0\";

      else if (INTVAL(operands[2]) == -1)

        return \"dec %0\";

    }

  return \"add %2, %0\";

}"

  [(set_attr "length" "1,2,2,3")])

(define_insn "addqi3"

  [(set (match_operand:QI 0 "general_operand" "=rR,rR,Q,Q")

        (plus:QI (match_operand:QI 1 "general_operand" "%0,0,0,0")

                 (match_operand:QI 2 "general_operand" "rRLM,Qi,rRLM,Qi")))]

  ""

  "*

{

  if (GET_CODE (operands[2]) == CONST_INT)

    {

      if (INTVAL(operands[2]) == 1)

        return \"incb %0\";

      else if (INTVAL(operands[2]) == -1)

        return \"decb %0\";

    }

  return \"add %2, %0\";

}"

  [(set_attr "length" "1,2,2,3")])

;;- subtract instructions

;; we don't have to care for constant second

;; args, since they are canonical plus:xx now!

;; also for minus:DF ??

(define_insn "subdf3"

  [(set (match_operand:DF 0 "register_operand" "=a,a")

        (minus:DF (match_operand:DF 1 "register_operand" "0,0")

                  (match_operand:DF 2 "general_operand" "fR,Q")))]

  "TARGET_FPU"

  "{subd|subf} %2, %0"

  [(set_attr "length" "1,2")])

(define_insn "subsi3"

  [(set (match_operand:SI 0 "general_operand" "=r,r,o,o")

        (minus:SI (match_operand:SI 1 "general_operand" "0,0,0,0")

                  (match_operand:SI 2 "general_operand" "r,o,r,o")))]

  ""

  "*

{ /* Here we trust that operands don't overlap

     or is lateoperands the low word?? - looks like it! */

  rtx lateoperands[3];

  lateoperands[0] = operands[0];

  if (REG_P (operands[0]))

    operands[0] = gen_rtx_REG (HImode, REGNO (operands[0]) + 1);

  else

    operands[0] = adjust_address (operands[0], HImode, 2);

  lateoperands[2] = operands[2];

  if (REG_P (operands[2]))

    operands[2] = gen_rtx_REG (HImode, REGNO (operands[2]) + 1);

  else

    operands[2] = adjust_address (operands[2], HImode, 2);

  output_asm_insn (\"sub %2, %0\", operands);

  output_asm_insn (\"sbc %0\", lateoperands);

  output_asm_insn (\"sub %2, %0\", lateoperands);

  return \"\";

}"

;; offsettable memory addresses always are expensive!!!

  [(set_attr "length" "3,5,6,8")])

(define_insn "subhi3"

  [(set (match_operand:HI 0 "general_operand" "=rR,rR,Q,Q")

        (minus:HI (match_operand:HI 1 "general_operand" "0,0,0,0")

                  (match_operand:HI 2 "general_operand" "rR,Qi,rR,Qi")))]

  ""

  "*

{

  gcc_assert (GET_CODE (operands[2]) != CONST_INT);

  return \"sub %2, %0\";

}"

  [(set_attr "length" "1,2,2,3")])

(define_insn "subqi3"

  [(set (match_operand:QI 0 "general_operand" "=rR,rR,Q,Q")

        (minus:QI (match_operand:QI 1 "general_operand" "0,0,0,0")

                  (match_operand:QI 2 "general_operand" "rR,Qi,rR,Qi")))]

  ""

  "*

{

  gcc_assert (GET_CODE (operands[2]) != CONST_INT);

  return \"sub %2, %0\";

}"

  [(set_attr "length" "1,2,2,3")])

;;;;- and instructions

;; Bit-and on the pdp (like on the VAX) is done with a clear-bits insn.

(define_insn "andsi3"

  [(set (match_operand:SI 0 "general_operand" "=r,r,o,o,r,r,r,o,o,o")

        (and:SI (match_operand:SI 1 "general_operand" "%0,0,0,0,0,0,0,0,0,0")

                (not:SI (match_operand:SI 2 "general_operand" "r,o,r,o,I,J,K,I,J,K"))))]

  ""

  "*

{ /* Here we trust that operands don't overlap

     or is lateoperands the low word?? - looks like it! */

  rtx lateoperands[3];

  lateoperands[0] = operands[0];

  if (REG_P (operands[0]))

    operands[0] = gen_rtx_REG (HImode, REGNO (operands[0]) + 1);

  else

    operands[0] = adjust_address (operands[0], HImode, 2);

  if (! CONSTANT_P(operands[2]))

  {

    lateoperands[2] = operands[2];

    if (REG_P (operands[2]))

      operands[2] = gen_rtx_REG (HImode, REGNO (operands[2]) + 1);

    else

      operands[2] = adjust_address (operands[2], HImode, 2);

    output_asm_insn (\"bic %2, %0\", operands);

    output_asm_insn (\"bic %2, %0\", lateoperands);

    return \"\";

  }

  lateoperands[2] = GEN_INT ((INTVAL (operands[2]) >> 16) & 0xffff);

  operands[2] = GEN_INT (INTVAL (operands[2]) & 0xffff);

  /* these have different lengths, so we should have

     different constraints! */

  if (INTVAL(operands[2]))

    output_asm_insn (\"bic %2, %0\", operands);

  if (INTVAL(lateoperands[2]))

    output_asm_insn (\"bic %2, %0\", lateoperands);

  return \"\";

}"

  [(set_attr "length" "2,4,4,6,2,2,4,3,3,6")])

(define_insn "andhi3"

  [(set (match_operand:HI 0 "general_operand" "=rR,rR,Q,Q")

        (and:HI (match_operand:HI 1 "general_operand" "0,0,0,0")

                (not:HI (match_operand:HI 2 "general_operand" "rR,Qi,rR,Qi"))))]

  ""

  "bic %2, %0"

  [(set_attr "length" "1,2,2,3")])

(define_insn "andqi3"

  [(set (match_operand:QI 0 "general_operand" "=rR,rR,Q,Q")

        (and:QI (match_operand:QI 1 "general_operand" "0,0,0,0")

                (not:QI (match_operand:QI 2 "general_operand" "rR,Qi,rR,Qi"))))]

  ""

  "bicb %2, %0"

  [(set_attr "length" "1,2,2,3")])

;;- Bit set (inclusive or) instructions

(define_insn "iorsi3"

  [(set (match_operand:SI 0 "general_operand" "=r,r,o,o,r,r,r,o,o,o")

        (ior:SI (match_operand:SI 1 "general_operand" "%0,0,0,0,0,0,0,0,0,0")

                  (match_operand:SI 2 "general_operand" "r,o,r,o,I,J,K,I,J,K")))]

  ""

  "*

{ /* Here we trust that operands don't overlap

     or is lateoperands the low word?? - looks like it! */

  rtx lateoperands[3];

  lateoperands[0] = operands[0];

  if (REG_P (operands[0]))

    operands[0] = gen_rtx_REG (HImode, REGNO (operands[0]) + 1);

  else

    operands[0] = adjust_address (operands[0], HImode, 2);

  if (! CONSTANT_P(operands[2]))

    {

      lateoperands[2] = operands[2];

      if (REG_P (operands[2]))

        operands[2] = gen_rtx_REG (HImode, REGNO (operands[2]) + 1);

      else

        operands[2] = adjust_address (operands[2], HImode, 2);

      output_asm_insn (\"bis %2, %0\", operands);

      output_asm_insn (\"bis %2, %0\", lateoperands);

      return \"\";

    }

  lateoperands[2] = GEN_INT ((INTVAL (operands[2]) >> 16) & 0xffff);

  operands[2] = GEN_INT (INTVAL (operands[2]) & 0xffff);

  /* these have different lengths, so we should have

     different constraints! */

  if (INTVAL(operands[2]))

    output_asm_insn (\"bis %2, %0\", operands);

  if (INTVAL(lateoperands[2]))

    output_asm_insn (\"bis %2, %0\", lateoperands);

  return \"\";

}"

  [(set_attr "length" "2,4,4,6,2,2,4,3,3,6")])

(define_insn "iorhi3"

  [(set (match_operand:HI 0 "general_operand" "=rR,rR,Q,Q")

        (ior:HI (match_operand:HI 1 "general_operand" "%0,0,0,0")

                (match_operand:HI 2 "general_operand" "rR,Qi,rR,Qi")))]

  ""

  "bis %2, %0"

  [(set_attr "length" "1,2,2,3")])

(define_insn "iorqi3"

  [(set (match_operand:QI 0 "general_operand" "=rR,rR,Q,Q")

        (ior:QI (match_operand:QI 1 "general_operand" "%0,0,0,0")

                (match_operand:QI 2 "general_operand" "rR,Qi,rR,Qi")))]

  ""

  "bisb %2, %0")

;;- xor instructions

(define_insn "xorsi3"

  [(set (match_operand:SI 0 "register_operand" "=r")

        (xor:SI (match_operand:SI 1 "register_operand" "%0")

                (match_operand:SI 2 "arith_operand" "r")))]

  "TARGET_40_PLUS"

  "*

{ /* Here we trust that operands don't overlap */

  rtx lateoperands[3];

  lateoperands[0] = operands[0];

  operands[0] = gen_rtx_REG (HImode, REGNO (operands[0]) + 1);

  if (REG_P(operands[2]))

    {