OSDN Git Service

* config/h8300/h8300.md (anonymous patterns): Check that
[pf3gnuchains/gcc-fork.git] / gcc / config / h8300 / h8300.md
index 5750715..56986c7 100644 (file)
@@ -1,6 +1,6 @@
 ;; GCC machine description for Hitachi H8/300
-;; Copyright (C) 1992, 1993, 1994, 1995, 1996, 1997, 1998, 1999, 2000
-;; Free Software Foundation, Inc.
+;; Copyright (C) 1992, 1993, 1994, 1995, 1996, 1997, 1998, 1999, 2000,
+;; 2001 Free Software Foundation, Inc.
 
 ;;   Contributed by Steve Chamberlain (sac@cygnus.com),
 ;;   Jim Wilson (wilson@cygnus.com), and Doug Evans (dje@cygnus.com).
 
 ;; movqi
 
-(define_insn "movqi_push"
-  [(set (match_operand:QI 0 "push_operand" "=<")
-       (match_operand:QI 1 "register_operand" "r"))]
+(define_insn "pushqi1_h8300"
+  [(parallel [(set (reg:HI 7)
+                   (plus:HI (reg:HI 7) (const_int -2)))
+              (set (mem:QI (plus:HI (reg:HI 7) (const_int -1)))
+                   (match_operand:QI 0 "register_operand" "r"))])]
+  "TARGET_H8300"
+  "mov.w       %T0,@-r7"
+  [(set_attr "length" "2")
+   (set_attr "cc" "clobber")])
+
+(define_insn "pushqi1_h8300hs"
+  [(parallel [(set (reg:SI 7)
+                   (plus:SI (reg:SI 7) (const_int -4)))
+              (set (mem:QI (plus:SI (reg:SI 7) (const_int -3)))
+                   (match_operand:QI 0 "register_operand" "r"))])]
+  "TARGET_H8300H || TARGET_H8300S"
+  "mov.l       %S0,@-er7"
+  [(set_attr "length" "4")
+   (set_attr "cc" "clobber")])
+
+(define_expand "pushqi1"
+  [(use (match_operand:QI 0 "register_operand" "r"))]
   ""
-  "*
+  "
 {
   if (TARGET_H8300)
-    return \"push.w    %T1\";
+    emit_insn (gen_pushqi1_h8300 (operands[0]));
   else
-    return \"push.l    %S1\";
-}"
-  [(set (attr "length") (if_then_else (eq_attr "cpu" "h8300") (const_int 2) (const_int 4)))
-   (set_attr "cc" "set_znv")])
+    emit_insn (gen_pushqi1_h8300hs (operands[0]));
+  DONE;
+}")
 
 (define_insn ""
-  [(set (match_operand:QI 0 "general_operand_dst" "=r,r,<,r,r,m")
-       (match_operand:QI 1 "general_operand_src" "I,r>,r,n,m,r"))]
-  "register_operand (operands[0],QImode)
-   || register_operand (operands[1], QImode)"
+  [(set (match_operand:QI 0 "general_operand_dst" "=r,r ,<,r,r,m")
+       (match_operand:QI 1 "general_operand_src" " I,r>,r,n,m,r"))]
+  "TARGET_H8300
+   && (register_operand (operands[0], QImode)
+       || register_operand (operands[1], QImode))"
   "@
    sub.b       %X0,%X0
    mov.b       %R1,%X0
    mov.b       %R1,%X0
    mov.b       %R1,%X0
    mov.b       %X1,%R0"
-  [(set_attr_alternative "length"
-     [(const_int 2) (const_int 2) (const_int 2) (const_int 2)
-      (if_then_else (eq_attr "cpu" "h8300") (const_int 4) (const_int 8))
-      (if_then_else (eq_attr "cpu" "h8300") (const_int 4) (const_int 8))])
+  [(set_attr "length" "2,2,2,2,4,4")
    (set_attr "cc" "set_zn,set_znv,set_znv,set_znv,set_znv,set_znv")])
 
+(define_insn ""
+  [(set (match_operand:QI 0 "general_operand_dst" "=r,r ,<,r,r,m")
+       (match_operand:QI 1 "general_operand_src" " I,r>,r,n,m,r"))]
+  "(TARGET_H8300H || TARGET_H8300S)
+   && (register_operand (operands[0], QImode)
+       || register_operand (operands[1], QImode))"
+  "@
+   sub.b       %X0,%X0
+   mov.b       %R1,%X0
+   mov.b       %X1,%R0
+   mov.b       %R1,%X0
+   mov.b       %R1,%X0
+   mov.b       %X1,%R0"
+  [(set_attr "length" "2,2,2,2,8,8")
+   (set_attr "cc" "set_zn,set_znv,set_znv,clobber,set_znv,set_znv")])
+
 (define_expand "movqi"
   [(set (match_operand:QI 0 "general_operand_dst" "")
        (match_operand:QI 1 "general_operand_src" ""))]
 }")
 
 (define_insn "movstrictqi"
-  [(set (strict_low_part (match_operand:QI 0 "general_operand_dst" "=r,r,r,r"))
+  [(set (strict_low_part (match_operand:QI 0 "general_operand_dst" "+r,r,r,r"))
                         (match_operand:QI 1 "general_operand_src" "I,r,n,m"))]
   ""
   "@
 
 ;; movhi
 
-;; ??? We use push.l on the h8300h to push a 16bit value?!?  We have
-;; 16bit push insns!
-(define_insn "movhi_push"
-  [(set (match_operand:HI 0 "push_operand" "=<")
-       (match_operand:HI 1 "register_operand" "r"))]
+(define_expand "pushhi1_h8300"
+  [(set (mem:QI (pre_dec:HI (reg:HI 7)))
+        (match_operand:QI 0 "register_operand" "r"))]
+  "TARGET_H8300"
+  "")
+
+(define_insn "pushhi1_h8300hs"
+  [(parallel [(set (reg:SI 7)
+                   (plus:SI (reg:SI 7) (const_int -4)))
+              (set (mem:HI (plus:SI (reg:SI 7) (const_int -2)))
+                   (match_operand:HI 0 "register_operand" "r"))])]
+  "TARGET_H8300H || TARGET_H8300S"
+  "mov.l       %S0,@-er7"
+  [(set_attr "length" "4")
+   (set_attr "cc" "clobber")])
+
+(define_expand "pushhi1"
+  [(use (match_operand:QI 0 "register_operand" "r"))]
   ""
-  "*
+  "
 {
   if (TARGET_H8300)
-    return \"push.w    %T1\";
+    emit_insn (gen_pushhi1_h8300 (operands[0]));
   else
-    return \"push.l    %S1\";
-}"
-  [(set (attr "length") (if_then_else (eq_attr "cpu" "h8300") (const_int 2) (const_int 4)))
-   (set_attr "cc" "set_znv")])
+    emit_insn (gen_pushhi1_h8300hs (operands[0]));
+  DONE;
+}")
 
 (define_insn ""
   [(set (match_operand:HI 0 "general_operand_dst" "=r,r,<,r,r,m")
        (match_operand:HI 1 "general_operand_src" "I,r>,r,i,m,r"))]
-  "register_operand (operands[0],HImode)
-   || register_operand (operands[1], HImode)"
+  "TARGET_H8300
+   && (register_operand (operands[0], HImode)
+       || register_operand (operands[1], HImode))
+   && !(GET_CODE (operands[0]) == MEM
+       && GET_CODE (XEXP (operands[0], 0)) == PRE_DEC
+       && GET_CODE (XEXP (XEXP (operands[0], 0), 0)) == REG
+       && GET_CODE (operands[1]) == REG
+       && REGNO (XEXP (XEXP (operands[0], 0), 0)) == REGNO (operands[1]))"
   "@
    sub.w       %T0,%T0
    mov.w       %T1,%T0
    mov.w       %T1,%T0
    mov.w       %T1,%T0
    mov.w       %T1,%T0"
-  [(set_attr_alternative "length"
-     [(const_int 2) (const_int 2) (const_int 2) (const_int 4)
-      (if_then_else (eq_attr "cpu" "h8300") (const_int 4) (const_int 8))
-      (if_then_else (eq_attr "cpu" "h8300") (const_int 4) (const_int 8))])
+  [(set_attr "length" "2,2,2,4,4,4")
+   (set_attr "cc" "set_zn,set_znv,set_znv,set_znv,set_znv,set_znv")])
+
+(define_insn ""
+  [(set (match_operand:HI 0 "general_operand_dst" "=r,r,<,r,r,m")
+       (match_operand:HI 1 "general_operand_src" "I,r>,r,i,m,r"))]
+  "(TARGET_H8300H || TARGET_H8300S)
+   && (register_operand (operands[0], HImode)
+       || register_operand (operands[1], HImode))"
+  "@
+   sub.w       %T0,%T0
+   mov.w       %T1,%T0
+   mov.w       %T1,%T0
+   mov.w       %T1,%T0
+   mov.w       %T1,%T0
+   mov.w       %T1,%T0"
+  [(set_attr "length" "2,2,2,4,8,8")
    (set_attr "cc" "set_zn,set_znv,set_znv,set_znv,set_znv,set_znv")])
 
 (define_expand "movhi"
 }")
 
 (define_insn "movstricthi"
-  [(set (strict_low_part (match_operand:HI 0 "general_operand_dst" "=r,r,r,r"))
+  [(set (strict_low_part (match_operand:HI 0 "general_operand_dst" "+r,r,r,r"))
                         (match_operand:HI 1 "general_operand_src" "I,r,i,m"))]
   ""
   "@
       /* Make sure we don't trample the register we index with.  */
       if (GET_CODE (operands[1]) == MEM)
        {
-         rtx inside = XEXP (operands[1],0);
+         rtx inside = XEXP (operands[1], 0);
          if (REG_P (inside))
            {
              rn = REGNO (inside);
            }
          else if (GET_CODE (inside) == PLUS)
            {
-             rtx lhs = XEXP (inside,0);
-             rtx rhs = XEXP (inside,1);
+             rtx lhs = XEXP (inside, 0);
+             rtx rhs = XEXP (inside, 1);
              if (REG_P (lhs)) rn = REGNO (lhs);
              if (REG_P (rhs)) rn = REGNO (rhs);
            }
       /* Make sure we don't trample the register we index with.  */
       if (GET_CODE (operands[1]) == MEM)
        {
-         rtx inside = XEXP (operands[1],0);
+         rtx inside = XEXP (operands[1], 0);
          if (REG_P (inside))
            {
              rn = REGNO (inside);
            }
          else if (GET_CODE (inside) == PLUS)
            {
-             rtx lhs = XEXP (inside,0);
-             rtx rhs = XEXP (inside,1);
+             rtx lhs = XEXP (inside, 0);
+             rtx rhs = XEXP (inside, 1);
              if (REG_P (lhs)) rn = REGNO (lhs);
              if (REG_P (rhs)) rn = REGNO (rhs);
            }
    (set_attr "cc" "clobber")])
 
 (define_insn "movsi_h8300hs"
-  [(set (match_operand:SI 0 "general_operand_dst" "=r,r,r,m,<,r,*a,*a,r")
-       (match_operand:SI 1 "general_operand_src" "I,r,im,r,r,>,I,r,*a"))]
+  [(set (match_operand:SI 0 "general_operand_dst" "=r,r,r,r,m,<,r,*a,*a,r")
+       (match_operand:SI 1 "general_operand_src" "I,r,i,m,r,r,>,I,r,*a"))]
   "(TARGET_H8300S || TARGET_H8300H)
    && (register_operand (operands[0], SImode)
-       || register_operand (operands[1], SImode))"
+       || register_operand (operands[1], SImode))
+   && !(GET_CODE (operands[0]) == MEM
+       && GET_CODE (XEXP (operands[0], 0)) == PRE_DEC
+       && GET_CODE (XEXP (XEXP (operands[0], 0), 0)) == REG
+       && GET_CODE (operands[1]) == REG
+       && REGNO (XEXP (XEXP (operands[0], 0), 0)) == REGNO (operands[1]))"
   "*
 {
   switch (which_alternative)
     {
     case 0:
       return \"sub.l   %S0,%S0\";
-    case 6:
-      return \"clrmac\";
     case 7:
-      return \"clrmac\;ldmac %1,macl\";
+      return \"clrmac\";
     case 8:
+      return \"clrmac\;ldmac %1,macl\";
+    case 9:
       return \"stmac   macl,%0\";
     default:
       if (GET_CODE (operands[1]) == CONST_INT)
              return \"sub.l\\t%S0,%S0\;add.b\\t%1,%x0\";
            }
 
-         /* Now look for small negative numbers.  We can subtract them
-            from zero to get the desired constant.  */
-         if (val == -4 || val == -2 || val == -1)
+         /* Look for constants that can be obtained by subs, inc, and
+             dec to 0.  */
+         switch (val & 0xffffffff)
            {
-             operands[1] = GEN_INT (-INTVAL (operands[1]));
-             return \"sub.l\\t%S0,%S0\;subs\\t%1,%S0\";
+           case 0xffffffff:
+             return \"sub.l\\t%S0,%S0\;subs\\t#1,%S0\";
+           case 0xfffffffe:
+             return \"sub.l\\t%S0,%S0\;subs\\t#2,%S0\";
+           case 0xfffffffc:
+             return \"sub.l\\t%S0,%S0\;subs\\t#4,%S0\";
+
+           case 0x0000ffff:
+             return \"sub.l\\t%S0,%S0\;dec.w\\t#1,%f0\";
+           case 0x0000fffe:
+             return \"sub.l\\t%S0,%S0\;dec.w\\t#2,%f0\";
+
+           case 0xffff0000:
+             return \"sub.l\\t%S0,%S0\;dec.w\\t#1,%e0\";
+           case 0xfffe0000:
+             return \"sub.l\\t%S0,%S0\;dec.w\\t#2,%e0\";
+
+           case 0x00010000:
+             return \"sub.l\\t%S0,%S0\;inc.w\\t#1,%e0\";
+           case 0x00020000:
+             return \"sub.l\\t%S0,%S0\;inc.w\\t#2,%e0\";
            }
        }
     }
    return \"mov.l      %S1,%S0\";
 }"
-  [(set_attr "length" "2,2,10,10,4,4,2,6,4")
-   (set_attr "cc" "set_zn,set_znv,set_znv,set_znv,set_znv,set_znv,none_0hit,none_0hit,set_znv")])
+  [(set_attr "length" "2,2,10,10,10,4,4,2,6,4")
+   (set_attr "cc" "set_zn,set_znv,clobber,set_znv,set_znv,set_znv,set_znv,none_0hit,none_0hit,set_znv")])
 
 (define_insn "movsf_h8300h"
   [(set (match_operand:SF 0 "general_operand_dst" "=r,r,r,m,<,r")
 ;; ----------------------------------------------------------------------
 
 (define_insn ""
-  [(set (cc0) (zero_extract:QI (match_operand:QI 0 "bit_memory_operand" "rU")
+  [(set (cc0) (zero_extract:QI (match_operand:QI 0 "bit_memory_operand" "r,U")
                               (const_int 1)
-                              (match_operand:QI 1 "const_int_operand" "n")))]
+                              (match_operand:QI 1 "const_int_operand" "n,n")))]
   ""
   "btst        %Z1,%R0"
-  [(set_attr "length" "2")
-   (set_attr "cc" "set_zn")])
+  [(set_attr "length" "2,8")
+   (set_attr "cc" "set_zn,set_zn")])
 
 (define_insn ""
-  [(set (cc0) (zero_extract:HI (match_operand:QI 0 "bit_memory_operand" "rU")
+  [(set (cc0) (zero_extract:HI (match_operand:QI 0 "bit_memory_operand" "r,U")
                               (const_int 1)
-                              (match_operand:QI 1 "const_int_operand" "n")))]
+                              (match_operand:QI 1 "const_int_operand" "n,n")))]
   ""
   "btst        %Z1,%Y0"
-  [(set_attr "length" "2")
-   (set_attr "cc" "set_zn")])
+  [(set_attr "length" "2,8")
+   (set_attr "cc" "set_zn,set_zn")])
 
 (define_insn ""
-  [(set (cc0) (zero_extract:SI (match_operand:QI 0 "bit_memory_operand" "rU")
+  [(set (cc0) (zero_extract:SI (match_operand:QI 0 "bit_memory_operand" "r,U")
                               (const_int 1)
-                              (match_operand:QI 1 "const_int_operand" "n")))]
+                              (match_operand:QI 1 "const_int_operand" "n,n")))]
   ""
   "btst        %Z1,%Y0"
-  [(set_attr "length" "2")
-   (set_attr "cc" "set_zn")])
+  [(set_attr "length" "2,8")
+   (set_attr "cc" "set_zn,set_zn")])
 
 (define_insn ""
   [(set (cc0) (zero_extract:QI (match_operand:HI 0 "register_operand" "r")
    subs        %G2,%A0
    add.b       %s2,%s0\;addx   %t2,%t0
    add.w       %T2,%T0
-   mov.w        %T1,%T0\;add.w  %T2,%T0"
+   mov.w       %T1,%T0\;add.w  %T2,%T0"
   [(set_attr "length" "2,2,4,2,6")
    (set_attr "cc" "none_0hit,none_0hit,clobber,set_zn,set_zn")])
 
 (define_insn ""
-  [(set (match_operand:HI 0 "register_operand" "=r,r,r,r,r,r")
-       (plus:HI (match_operand:HI 1 "register_operand" "%0,0,0,0,0,0")
-                (match_operand:HI 2 "nonmemory_operand" "K,T,L,N,n,r")))]
+  [(set (match_operand:HI 0 "register_operand" "=r,r,r,r")
+       (plus:HI (match_operand:HI 1 "register_operand" "%0,0,0,0")
+                (match_operand:HI 2 "nonmemory_operand" "L,N,n,r")))]
   "TARGET_H8300H || TARGET_H8300S"
   "@
-   inc.w       %2,%T0
-   dec.w       %G2,%T0
    adds        %2,%A0
    subs        %G2,%A0
    add.w       %T2,%T0
    add.w       %T2,%T0"
-  [(set_attr "length" "2,2,2,2,4,2")
-   (set_attr "cc" "set_znv,set_znv,none_0hit,none_0hit,set_zn,set_zn")])
+  [(set_attr "length" "2,2,4,2")
+   (set_attr "cc" "none_0hit,none_0hit,set_zn,set_zn")])
 
 (define_split
   [(set (match_operand:HI 0 "register_operand" "")
    (set_attr "cc" "clobber")])
 
 (define_insn "addsi_h8300h"
-  [(set (match_operand:SI 0 "register_operand" "=r,r,r,r,r,r")
-       (plus:SI (match_operand:SI 1 "register_operand" "%0,0,0,0,0,0")
-                (match_operand:SI 2 "nonmemory_operand" "K,T,L,N,i,r")))]
+  [(set (match_operand:SI 0 "register_operand" "=r,r,r,r")
+       (plus:SI (match_operand:SI 1 "register_operand" "%0,0,0,0")
+                (match_operand:SI 2 "nonmemory_operand" "L,N,i,r")))]
   "TARGET_H8300H || TARGET_H8300S"
   "@
-   inc.l       %2,%S0
-   dec.l       %G2,%S0
    adds        %2,%A0
    subs        %G2,%A0
    add.l       %S2,%S0
    add.l       %S2,%S0"
-  [(set_attr "length" "2,2,2,2,6,2")
-   (set_attr "cc" "set_znv,set_znv,none_0hit,none_0hit,set_zn,set_zn")])
+  [(set_attr "length" "2,2,6,2")
+   (set_attr "cc" "none_0hit,none_0hit,set_zn,set_zn")])
 
 (define_split
   [(set (match_operand:SI 0 "register_operand" "")
            (mem:HI (post_inc:SI (match_operand:SI 1 "register_operand" "r"))))
          (sign_extend:SI
            (mem:HI (post_inc:SI (match_operand:SI 2 "register_operand" "r"))))))]
-  "TARGET_H8300S"
+  "TARGET_MAC"
   "clrmac\;mac @%2+,@%1+"
   [(set_attr "length" "6")
    (set_attr "cc" "none_0hit")])
 
 (define_insn ""
   [(set (match_operand:SI 0 "register_operand" "=a")
-       (plus (mult:SI
+       (plus:SI (mult:SI
          (sign_extend:SI (mem:HI
            (post_inc:SI (match_operand:SI 1 "register_operand" "r"))))
          (sign_extend:SI (mem:HI
            (post_inc:SI (match_operand:SI 2 "register_operand" "r")))))
              (match_operand:SI 3 "register_operand" "0")))]
-  "TARGET_H8300S"
+  "TARGET_MAC"
   "mac @%2+,@%1+"
   [(set_attr "length" "4")
    (set_attr "cc" "none_0hit")])
 
 ;; ----------------------------------------------------------------------
-;; DIVIDE INSTRUCTIONS
+;; DIVIDE/MOD INSTRUCTIONS
 ;; ----------------------------------------------------------------------
 
-(define_insn "udivqi3"
+(define_insn "udivmodqi4"
   [(set (match_operand:QI 0 "register_operand" "=r")
        (truncate:QI
          (udiv:HI
            (match_operand:HI 1 "general_operand" "0")
-           (zero_extend:HI (match_operand:QI 2 "register_operand" "r")))))]
-  ""
-  "divxu       %X2,%T0"
-  [(set_attr "length" "2")
-   (set_attr "cc" "clobber")])
-
-;; ??? Will divxu always work here?
-
-(define_insn "divqi3"
-  [(set (match_operand:QI 0 "register_operand" "=r")
+           (zero_extend:HI (match_operand:QI 2 "register_operand" "r")))))
+   (set (match_operand:QI 3 "register_operand" "=r")
        (truncate:QI
-         (div:HI
-           (match_operand:HI 1 "general_operand" "0")
-           (sign_extend:HI (match_operand:QI 2 "register_operand" "r")))))]
-  ""
-  "divxu       %X2,%T0"
-  [(set_attr "length" "2")
-   (set_attr "cc" "clobber")])
-
-(define_insn "udivhi3"
-  [(set (match_operand:HI 0 "register_operand" "=r")
-       (truncate:HI
-         (udiv:SI
-           (match_operand:SI 1 "general_operand" "0")
-           (zero_extend:SI (match_operand:HI 2 "register_operand" "r")))))]
-  "TARGET_H8300H || TARGET_H8300S"
-  "divxu.w     %T2,%S0"
-  [(set_attr "length" "2")
-   (set_attr "cc" "clobber")])
-
-(define_insn "divhi3"
-  [(set (match_operand:HI 0 "register_operand" "=r")
-       (truncate:HI
-         (div:SI
-           (match_operand:SI 1 "general_operand" "0")
-           (sign_extend:SI (match_operand:HI 2 "register_operand" "r")))))]
+         (umod:HI
+           (match_dup 1)
+           (zero_extend:HI (match_dup 2)))))]
   "TARGET_H8300H || TARGET_H8300S"
-  "divxs.w     %T2,%S0"
+  "*
+{
+  if (find_reg_note (insn, REG_UNUSED, operands[3]))
+    return \"divxu.b\\t%X2,%T0\";
+  else
+    return \"divxu.b\\t%X2,%T0\;mov.b\\t%t0,%s3\";
+}"
   [(set_attr "length" "4")
    (set_attr "cc" "clobber")])
 
-;; ----------------------------------------------------------------------
-;; MOD INSTRUCTIONS
-;; ----------------------------------------------------------------------
-
-(define_insn "umodqi3"
+(define_insn "divmodqi4"
   [(set (match_operand:QI 0 "register_operand" "=r")
        (truncate:QI
-         (umod:HI
+         (div:HI
            (match_operand:HI 1 "general_operand" "0")
-           (zero_extend:HI (match_operand:QI 2 "register_operand" "r")))))]
-  ""
-  "divxu       %X2,%T0\;mov %t0,%s0"
-  [(set_attr "length" "4")
-   (set_attr "cc" "clobber")])
-
-(define_insn "modqi3"
-  [(set (match_operand:QI 0 "register_operand" "=r")
+           (sign_extend:HI (match_operand:QI 2 "register_operand" "r")))))
+   (set (match_operand:QI 3 "register_operand" "=r")
        (truncate:QI
          (mod:HI
-           (match_operand:HI 1 "general_operand" "0")
-           (sign_extend:HI (match_operand:QI 2 "register_operand" "r")))))]
+           (match_dup 1)
+           (sign_extend:HI (match_dup 2)))))]
   "TARGET_H8300H || TARGET_H8300S"
-  "divxs.b     %X2,%T0\;mov %t0,%s0"
+  "*
+{
+  if (find_reg_note (insn, REG_UNUSED, operands[3]))
+    return \"divxs.b\\t%X2,%T0\";
+  else
+    return \"divxs.b\\t%X2,%T0\;mov.b\\t%t0,%s3\";
+}"
   [(set_attr "length" "6")
    (set_attr "cc" "clobber")])
 
-(define_insn "umodhi3"
+(define_insn "udivmodhi4"
   [(set (match_operand:HI 0 "register_operand" "=r")
        (truncate:HI
-         (umod:SI
+         (udiv:SI
            (match_operand:SI 1 "general_operand" "0")
-           (zero_extend:SI (match_operand:HI 2 "register_operand" "r")))))]
+           (zero_extend:SI (match_operand:HI 2 "register_operand" "r")))))
+   (set (match_operand:HI 3 "register_operand" "=r")
+       (truncate:HI
+         (umod:SI
+           (match_dup 1)
+           (zero_extend:SI (match_dup 2)))))]
   "TARGET_H8300H || TARGET_H8300S"
-  "divxu.w     %T2,%S0\;mov %e0,%f0"
+  "*
+{
+  if (find_reg_note (insn, REG_UNUSED, operands[3]))
+    return \"divxu.w\\t%T2,%S0\";
+  else
+    return \"divxu.w\\t%T2,%S0\;mov.w\\t%e0,%f3\";
+}"
   [(set_attr "length" "4")
    (set_attr "cc" "clobber")])
 
-(define_insn "modhi3"
+(define_insn "divmodhi4"
   [(set (match_operand:HI 0 "register_operand" "=r")
        (truncate:HI
-         (mod:SI
+         (div:SI
            (match_operand:SI 1 "general_operand" "0")
-           (sign_extend:SI (match_operand:HI 2 "register_operand" "r")))))]
+           (sign_extend:SI (match_operand:HI 2 "register_operand" "r")))))
+   (set (match_operand:HI 3 "register_operand" "=r")
+       (truncate:HI
+         (mod:SI
+           (match_dup 1)
+           (sign_extend:SI (match_dup 2)))))]
   "TARGET_H8300H || TARGET_H8300S"
-  "divxs.w     %T2,%S0\;mov %e0,%f0"
+  "*
+{
+  if (find_reg_note (insn, REG_UNUSED, operands[3]))
+    return \"divxs.w\\t%T2,%S0\";
+  else
+    return \"divxs.w\\t%T2,%S0\;mov.w\\t%e0,%f3\";
+}"
   [(set_attr "length" "6")
    (set_attr "cc" "clobber")])
 \f
   "@
    and %X2,%X0
    bclr        %W2,%R0"
-  [(set_attr "length" "2,4")
+  [(set_attr "length" "2,8")
    (set_attr "adjust_length" "no")
    (set_attr "cc" "set_znv,none_0hit")])
 
     DONE;
 }")
 
-(define_insn "andhi3"
+(define_expand "andhi3"
+  [(set (match_operand:HI 0 "register_operand" "")
+       (and:HI (match_operand:HI 1 "register_operand" "")
+               (match_operand:HI 2 "nonmemory_operand" "")))]
+  ""
+  "")
+
+(define_insn ""
   [(set (match_operand:HI 0 "register_operand" "=r")
        (and:HI (match_operand:HI 1 "register_operand" "%0")
                (match_operand:HI 2 "nonmemory_operand" "rn")))]
+  "TARGET_H8300"
+  "* return output_logical_op (HImode, AND, operands);"
+  [(set_attr "length" "4")
+   (set_attr "cc" "clobber")])
+
+(define_insn ""
+  [(set (match_operand:HI 0 "register_operand" "=r,r")
+       (and:HI (match_operand:HI 1 "register_operand" "%0,0")
+               (match_operand:HI 2 "nonmemory_operand" "r,n")))]
+  "TARGET_H8300H || TARGET_H8300S"
+  "* return output_logical_op (HImode, AND, operands);"
+  [(set_attr "length" "2,4")
+   (set_attr "cc" "set_znv,clobber")])
+
+(define_insn "*andorhi3"
+  [(set (match_operand:HI 0 "register_operand" "=r")
+       (ior:HI (and:HI (match_operand:HI 2 "register_operand" "r")
+                       (match_operand:HI 3 "p_operand" "P"))
+       (match_operand:HI 1 "register_operand" "0")))]
   ""
   "*
 {
-  if (GET_CODE (operands[2]) == CONST_INT)
+  if (INTVAL (operands[3]) > 128)
     {
-      int i = INTVAL (operands[2]);
-
-      if ((i & 0x00ff) != 0x00ff)
-       output_asm_insn (\"and  %s2,%s0\", operands);
-      if ((i & 0xff00) != 0xff00)
-       output_asm_insn (\"and  %t2,%t0\", operands);
-      return \"\";
+      operands[3] = GEN_INT (INTVAL (operands[3]) >> 8);
+      return \"bld\\t%V3,%t2\;bst\\t%V3,%t0\";
     }
-  if (TARGET_H8300H || TARGET_H8300S)
-    return \"and.w %T2,%T0\";
-  return \"and %s2,%s0\;and    %t2,%t0;\";
+  return \"bld\\t%V3,%s2\;bst\\t%V3,%s0\";
 }"
   [(set_attr "length" "4")
    (set_attr "cc" "clobber")])
 
-(define_insn "andsi3"
+(define_expand "andsi3"
+  [(set (match_operand:SI 0 "register_operand" "")
+       (and:SI (match_operand:SI 1 "register_operand" "")
+               (match_operand:SI 2 "nonmemory_operand" "")))]
+  ""
+  "")
+
+(define_insn ""
   [(set (match_operand:SI 0 "register_operand" "=r")
        (and:SI (match_operand:SI 1 "register_operand" "%0")
                (match_operand:SI 2 "nonmemory_operand" "rn")))]
-  ""
-  "*
-{
-  if (GET_CODE (operands[2]) == CONST_INT)
-    {
-      int i = INTVAL (operands[2]);
-      int upper_cleared, lower_cleared;
-
-      /* The h8300h can't do byte-wise operations on the
-        upper 16bits of 32bit registers.  However, if
-        those bits aren't going to change, or they're
-        going to be zero'd out, then we can work on the
-        low-order bits.  */
-      if ((TARGET_H8300H || TARGET_H8300S)
-         && ((i & 0xffff0000) != 0xffff0000
-             || (i & 0xffff0000) == 0x00000000))
-        return \"and.l %S2,%S0\";
-
-      lower_cleared = 0;
-      if ((i & 0x0000ffff) == 0x00000000)
-       {
-         output_asm_insn (\"sub.w      %f0,%f0\", operands);
-         lower_cleared = 1;
-       }
-
-      upper_cleared = 0;
-      if ((i & 0xffff0000) == 0x00000000)
-       {
-         output_asm_insn (\"sub.w      %e0,%e0\", operands);
-         upper_cleared = 1;
-       }
-
-      if ((i & 0x000000ff) != 0x000000ff && !lower_cleared)
-       output_asm_insn (\"and  %w2,%w0\", operands);
-      if ((i & 0x0000ff00) != 0x0000ff00 && !lower_cleared)
-       output_asm_insn (\"and  %x2,%x0\", operands);
-      if ((i & 0x00ff0000) != 0x00ff0000 && !upper_cleared)
-       output_asm_insn (\"and  %y2,%y0\", operands);
-      if ((i & 0xff000000) != 0xff000000 && !upper_cleared)
-       output_asm_insn (\"and  %z2,%z0\", operands);
-      return \"\";
-    }
-  if (TARGET_H8300H || TARGET_H8300S)
-    return \"and.l     %S2,%S0\";
-  return \"and %w2,%w0\;and    %x2,%x0\;and    %y2,%y0\;and    %z2,%z0\;\";
-}"
+  "TARGET_H8300"
+  "* return output_logical_op (SImode, AND, operands);"
   [(set_attr "length" "8")
    (set_attr "cc" "clobber")])
 
+(define_insn ""
+  [(set (match_operand:SI 0 "register_operand" "=r,r")
+       (and:SI (match_operand:SI 1 "register_operand" "%0,0")
+               (match_operand:SI 2 "nonmemory_operand" "r,n")))]
+  "TARGET_H8300H || TARGET_H8300S"
+  "* return output_logical_op (SImode, AND, operands);"
+  [(set_attr "length" "4,6")
+   (set_attr "cc" "set_znv,clobber")])
 
 ;; ----------------------------------------------------------------------
 ;; OR INSTRUCTIONS
   "@
    or  %X2,%X0
    bset        %V2,%R0"
-  [(set_attr "length" "2,4")
+  [(set_attr "length" "2,8")
    (set_attr "adjust_length" "no")
    (set_attr "cc" "set_znv,none_0hit")])
 
 (define_expand "iorqi3"
-  [(set (match_operand:QI 0 "bit_operand" "=r,U")
-       (ior:QI (match_operand:QI 1 "bit_operand" "%0,0")
-               (match_operand:QI 2 "nonmemory_operand" "rn,P")))]
+  [(set (match_operand:QI 0 "bit_operand" "")
+       (ior:QI (match_operand:QI 1 "bit_operand" "")
+               (match_operand:QI 2 "nonmemory_operand" "")))]
   ""
   "
 {
     DONE;
 }")
 
-(define_insn "iorhi3"
+(define_expand "iorhi3"
+  [(set (match_operand:HI 0 "general_operand" "")
+       (ior:HI (match_operand:HI 1 "general_operand" "")
+               (match_operand:HI 2 "general_operand" "")))]
+  ""
+  "")
+
+(define_insn ""
   [(set (match_operand:HI 0 "general_operand" "=r,r")
        (ior:HI (match_operand:HI 1 "general_operand" "%0,0")
                (match_operand:HI 2 "general_operand" "J,rn")))]
-  ""
-  "*
-{
-  if (GET_CODE (operands[2]) == CONST_INT)
-    {
-      int i = INTVAL (operands[2]);
-
-      if ((i & 0x00ff) != 0)
-       output_asm_insn (\"or   %s2,%s0\", operands);
-      if ((i & 0xff00) != 0)
-       output_asm_insn (\"or   %t2,%t0\", operands);
-      return \"\";
-    }
-  if (TARGET_H8300H || TARGET_H8300S)
-    return \"or.w      %T2,%T0\";
-  return \"or  %s2,%s0\;or     %t2,%t0; %2 or2\";
-}"
+  "TARGET_H8300"
+  "* return output_logical_op (HImode, IOR, operands);"
   [(set_attr "length" "2,4")
    (set_attr "cc" "clobber,clobber")])
 
-(define_insn "iorsi3"
+(define_insn ""
+  [(set (match_operand:HI 0 "general_operand" "=r,r,r")
+       (ior:HI (match_operand:HI 1 "general_operand" "%0,0,0")
+               (match_operand:HI 2 "general_operand" "J,r,n")))]
+  "TARGET_H8300H || TARGET_H8300S"
+  "* return output_logical_op (HImode, IOR, operands);"
+  [(set_attr "length" "2,2,4")
+   (set_attr "cc" "clobber,set_znv,clobber")])
+
+(define_expand "iorsi3"
+  [(set (match_operand:SI 0 "register_operand" "")
+       (ior:SI (match_operand:SI 1 "register_operand" "")
+               (match_operand:SI 2 "nonmemory_operand" "")))]
+  ""
+  "")
+
+(define_insn ""
   [(set (match_operand:SI 0 "register_operand" "=r,r")
        (ior:SI (match_operand:SI 1 "register_operand" "%0,0")
                (match_operand:SI 2 "nonmemory_operand" "J,rn")))]
-  ""
-  "*
-{
-  if (GET_CODE (operands[2]) == CONST_INT)
-    {
-      int i = INTVAL (operands[2]);
-
-      /* The h8300h can't do byte-wise operations on the
-        upper 16bits of 32bit registers.  However, if
-        those bits aren't going to change, then we can
-        work on the low-order bits.  */
-      if ((TARGET_H8300H || TARGET_H8300S)
-         && (i & 0xffff0000) != 0x00000000)
-        return \"or.l  %S2,%S0\";
-
-      if ((i & 0x000000ff) != 0)
-       output_asm_insn (\"or   %w2,%w0\", operands);
-      if ((i & 0x0000ff00) != 0)
-       output_asm_insn (\"or   %x2,%x0\", operands);
-      if ((i & 0x00ff0000) != 0)
-       output_asm_insn (\"or   %y2,%y0\", operands);
-      if ((i & 0xff000000) != 0)
-       output_asm_insn (\"or   %z2,%z0\", operands);
-      return \"\";
-    }
-  if (TARGET_H8300H || TARGET_H8300S)
-    return \"or.l      %S2,%S0\";
-  return \"or  %w2,%w0\;or     %x2,%x0\;or     %y2,%y0\;or     %z2,%z0\;\";
-}"
+  "TARGET_H8300"
+  "* return output_logical_op (SImode, IOR, operands);"
   [(set_attr "length" "2,8")
    (set_attr "cc" "clobber,clobber")])
 
+(define_insn ""
+  [(set (match_operand:SI 0 "register_operand" "=r,r,r")
+       (ior:SI (match_operand:SI 1 "register_operand" "%0,0,0")
+               (match_operand:SI 2 "nonmemory_operand" "J,r,n")))]
+  "TARGET_H8300H || TARGET_H8300S"
+  "* return output_logical_op (SImode, IOR, operands);"
+  [(set_attr "length" "2,4,6")
+   (set_attr "cc" "clobber,set_znv,clobber")])
+
 ;; ----------------------------------------------------------------------
 ;; XOR INSTRUCTIONS
 ;; ----------------------------------------------------------------------
   "@
    xor %X2,%X0
    bnot        %V2,%R0"
-  [(set_attr "length" "2,4")
+  [(set_attr "length" "2,8")
    (set_attr "adjust_length" "no")
    (set_attr "cc" "set_znv,none_0hit")])
 
 (define_expand "xorqi3"
-  [(set (match_operand:QI 0 "bit_operand" "=r,U")
-       (xor:QI (match_operand:QI 1 "bit_operand" "%0,0")
-               (match_operand:QI 2 "nonmemory_operand" "rn,O")))]
+  [(set (match_operand:QI 0 "bit_operand" "")
+       (xor:QI (match_operand:QI 1 "bit_operand" "")
+               (match_operand:QI 2 "nonmemory_operand" "")))]
   ""
   "
 {
     DONE;
 }")
 
-(define_insn "xorhi3"
+(define_expand "xorhi3"
+  [(set (match_operand:HI 0 "register_operand" "")
+       (xor:HI (match_operand:HI 1 "general_operand" "")
+               (match_operand:HI 2 "nonmemory_operand" "")))]
+  ""
+  "")
+
+(define_insn ""
   [(set (match_operand:HI 0 "register_operand" "=r,r")
        (xor:HI (match_operand:HI 1 "general_operand" "%0,0")
                (match_operand:HI 2 "nonmemory_operand" "J,rn")))]
-  ""
-  "*
-{
-  if (GET_CODE (operands[2]) == CONST_INT)
-    {
-      int i = INTVAL (operands[2]);
-
-      if ((i & 0x00ff) != 0)
-       output_asm_insn (\"xor  %s2,%s0\", operands);
-      if ((i & 0xff00) != 0)
-       output_asm_insn (\"xor  %t2,%t0\", operands);
-      return \"\";
-    }
-  if (TARGET_H8300H || TARGET_H8300S)
-    return \"xor.w     %T2,%T0\";
-  return \"xor %s2,%s0\;xor    %t2,%t0\";
-}"
+  "TARGET_H8300"
+  "* return output_logical_op (HImode, XOR, operands);"
   [(set_attr "length" "2,4")
    (set_attr "cc" "clobber,clobber")])
 
-(define_insn "xorsi3"
+(define_insn ""
+  [(set (match_operand:HI 0 "register_operand" "=r,r,r")
+       (xor:HI (match_operand:HI 1 "general_operand" "%0,0,0")
+               (match_operand:HI 2 "nonmemory_operand" "J,r,n")))]
+  "TARGET_H8300H || TARGET_H8300S"
+  "* return output_logical_op (HImode, XOR, operands);"
+  [(set_attr "length" "2,2,4")
+   (set_attr "cc" "clobber,set_znv,clobber")])
+
+(define_expand "xorsi3"
+  [(set (match_operand:SI 0 "register_operand" "")
+       (xor:SI (match_operand:SI 1 "register_operand" "")
+               (match_operand:SI 2 "nonmemory_operand" "")))]
+  ""
+  "")
+
+(define_insn ""
   [(set (match_operand:SI 0 "register_operand" "=r,r")
        (xor:SI (match_operand:SI 1 "register_operand" "%0,0")
                (match_operand:SI 2 "nonmemory_operand" "J,rn")))]
-  ""
-  "*
-{
-  if (GET_CODE (operands[2]) == CONST_INT)
-    {
-      int i = INTVAL (operands[2]);
-
-      /* The h8300h can't do byte-wise operations on the
-        upper 16bits of 32bit registers.  However, if
-        those bits aren't going to change, then we can
-        work on the low-order bits.  */
-      if ((TARGET_H8300H || TARGET_H8300S)
-         && (i & 0xffff0000) != 0x00000000)
-        return \"xor.l %S2,%S0\";
-
-      if ((i & 0x000000ff) != 0)
-       output_asm_insn (\"xor  %w2,%w0\", operands);
-      if ((i & 0x0000ff00) != 0)
-       output_asm_insn (\"xor  %x2,%x0\", operands);
-      if ((i & 0x00ff0000) != 0)
-       output_asm_insn (\"xor  %y2,%y0\", operands);
-      if ((i & 0xff000000) != 0)
-       output_asm_insn (\"xor  %z2,%z0\", operands);
-      return \"\";
-    }
-  if (TARGET_H8300H || TARGET_H8300S)
-    return \"xor.l     %S2,%S0\";
-  return \"xor %w2,%w0\;xor    %x2,%x0\;xor    %y2,%y0\;xor    %z2,%z0\;\";
-}"
+  "TARGET_H8300"
+  "* return output_logical_op (SImode, XOR, operands);"
   [(set_attr "length" "2,8")
    (set_attr "cc" "clobber,clobber")])
+
+(define_insn ""
+  [(set (match_operand:SI 0 "register_operand" "=r,r,r")
+       (xor:SI (match_operand:SI 1 "register_operand" "%0,0,0")
+               (match_operand:SI 2 "nonmemory_operand" "J,r,n")))]
+  "TARGET_H8300H || TARGET_H8300S"
+  "* return output_logical_op (SImode, XOR, operands);"
+  [(set_attr "length" "2,4,6")
+   (set_attr "cc" "clobber,set_znv,clobber")])
 \f
 ;; ----------------------------------------------------------------------
 ;; NEGATION INSTRUCTIONS
 {
   if (GET_CODE (XEXP (operands[0], 0)) == SYMBOL_REF
       && SYMBOL_REF_FLAG (XEXP (operands[0], 0)))
-    return \"jsr\\t\@%0:8\";
+    return \"jsr\\t@%0:8\";
   else
     return \"jsr\\t%0\";
 }"
 {
   if (GET_CODE (XEXP (operands[1], 0)) == SYMBOL_REF
       && SYMBOL_REF_FLAG (XEXP (operands[1], 0)))
-    return \"jsr\\t\@%1:8\";
+    return \"jsr\\t@%1:8\";
   else
     return \"jsr\\t%1\";
 }"
 ;; EXTEND INSTRUCTIONS
 ;; ----------------------------------------------------------------------
 
-(define_insn "zero_extendqihi2"
+(define_expand "zero_extendqihi2"
+  [(set (match_operand:HI 0 "register_operand" "")
+       (zero_extend:HI (match_operand:QI 1 "general_operand_src" "")))]
+  ""
+  "")
+
+(define_insn ""
   [(set (match_operand:HI 0 "register_operand" "=r,r")
        (zero_extend:HI (match_operand:QI 1 "general_operand_src" "0,g>")))]
-  ""
+  "TARGET_H8300"
   "@
   mov.b        #0,%t0
   mov.b        %R1,%s0\;mov.b  #0,%t0"
-  [(set_attr "length" "2,4")
+  [(set_attr "length" "2,10")
    (set_attr "cc" "clobber,clobber")])
 
+(define_insn ""
+  [(set (match_operand:HI 0 "register_operand" "=r,r")
+       (zero_extend:HI (match_operand:QI 1 "general_operand_src" "0,g>")))]
+  "TARGET_H8300H || TARGET_H8300S"
+  "@
+  extu.w       %T0
+  mov.b        %R1,%s0\;extu.w %T0"
+  [(set_attr "length" "2,10")
+   (set_attr "cc" "set_znv,set_znv")])
+
 ;; The compiler can synthesize a 300H variant of this which is
 ;; just as efficient as one that we'd create
 (define_insn "zero_extendqisi2"
        (zero_extend:SI (match_operand:QI 1 "general_operand_src" "0,g>")))]
   "TARGET_H8300"
   "@
-  mov.b        #0,%x0\;sub.w %e0,%e0
-  mov.b        %R1,%w0\;mov.b  #0,%x0\;sub.w %e0,%e0"
+  mov.b        #0,%x0\;sub.w   %e0,%e0
+  mov.b        %R1,%w0\;mov.b  #0,%x0\;sub.w   %e0,%e0"
   [(set_attr "length" "4,6")
    (set_attr "cc" "clobber,clobber")])
 
 (define_expand "zero_extendhisi2"
   [(set (match_operand:SI 0 "register_operand" "")
-       (zero_extend:SI (match_operand:HI 1 "general_operand" "")))]
+       (zero_extend:SI (match_operand:HI 1 "register_operand" "")))]
   ""
-  "
-{
-  if (TARGET_H8300
-      && GET_CODE (operands[1]) != CONST_INT
-      && !optimize)
-    {
-      emit_insn (gen_zero_extendhisi2_h8300 (operands[0], operands[1]));
-      DONE;
-    }
-}")
-
-;; This is used when not optimizing.  It avoids severe code explosion
-;; due to poor register allocation.
-(define_expand "zero_extendhisi2_h8300"
-  [(set (reg:HI 1) (match_operand:HI 1 "general_operand" ""))
-   (set (reg:SI 0) (zero_extend:SI (reg:HI 1)))
-   (set (match_operand:SI 0 "general_operand" "") (reg:SI 0))]
-  "TARGET_H8300"
   "")
 
 ;; %e prints the high part of a CONST_INT, not the low part.  Arggh.
   "TARGET_H8300"
   "@
   sub.w        %e0,%e0
-  mov.w %f1,%f0\;sub.w %e0,%e0
-  mov.w %e1,%f0\;sub.w %e0,%e0"
+  mov.w        %f1,%f0\;sub.w  %e0,%e0
+  mov.w        %e1,%f0\;sub.w  %e0,%e0"
   [(set_attr "length" "2,4,4")
    (set_attr "cc" "clobber,clobber,clobber")])
 
 (define_insn ""
-  [(set (match_operand:SI 0 "register_operand" "=r,r")
-       (zero_extend:SI (match_operand:HI 1 "general_operand_src" "0,g>")))]
+  [(set (match_operand:SI 0 "register_operand" "=r")
+       (zero_extend:SI (match_operand:HI 1 "register_operand" "0")))]
   "TARGET_H8300H || TARGET_H8300S"
-  "@
-  extu.l       %S0
-  mov.w        %T1,%T0\;extu.l %S0"
-  [(set_attr "length" "2,4")
-   (set_attr "cc" "set_znv,set_znv")])
+  "extu.l      %S0"
+  [(set_attr "length" "2")
+   (set_attr "cc" "set_znv")])
 
 (define_expand "extendqihi2"
   [(set (match_operand:HI 0 "register_operand" "")
-       (sign_extend:HI (match_operand:QI 1 "general_operand" "")))]
+       (sign_extend:HI (match_operand:QI 1 "register_operand" "")))]
   ""
   "")
 
    (set_attr "cc" "clobber,clobber")])
 
 (define_insn ""
-  [(set (match_operand:HI 0 "register_operand" "=r,r")
-       (sign_extend:HI (match_operand:QI 1 "general_operand_src" "0,g>")))]
+  [(set (match_operand:HI 0 "register_operand" "=r")
+       (sign_extend:HI (match_operand:QI 1 "register_operand" "0")))]
   "TARGET_H8300H || TARGET_H8300S"
-  "@
-  exts.w       %T0
-  mov.b        %R1,%s0\;exts.w %T0"
-  [(set_attr "length" "2,4")
-   (set_attr "cc" "set_znv,set_znv")])
+  "exts.w      %T0"
+  [(set_attr "length" "2")
+   (set_attr "cc" "set_znv")])
 
 ;; The compiler can synthesize a 300H variant of this which is
 ;; just as efficient as one that we'd create
   "TARGET_H8300"
   "@
   bld  #7,%w0\;subx    %x0,%x0\;subx   %y0,%y0\;subx   %z0,%z0
-  mov.b %R1,%w0\;bld   #7,%w0\;subx    %x0,%x0\;subx   %y0,%y0\;subx   %z0,%z0"
+  mov.b        %R1,%w0\;bld    #7,%w0\;subx    %x0,%x0\;subx   %y0,%y0\;subx   %z0,%z0"
   [(set_attr "length" "8,10")
    (set_attr "cc" "clobber,clobber")])
 
 (define_expand "extendhisi2"
   [(set (match_operand:SI 0 "register_operand" "")
-       (sign_extend:SI (match_operand:HI 1 "general_operand" "")))]
+       (sign_extend:SI (match_operand:HI 1 "register_operand" "")))]
   ""
-  "
-{
-  if (TARGET_H8300
-      && GET_CODE (operands[1]) != CONST_INT
-      && !optimize)
-    {
-      emit_insn (gen_extendhisi2_h8300 (operands[0], operands[1]));
-      DONE;
-    }
-}")
-
-;; This is used when not optimizing.  It avoids severe code explosion
-;; due to poor register allocation.
-(define_expand "extendhisi2_h8300"
-  [(set (reg:HI 1) (match_operand:HI 1 "general_operand" ""))
-   (set (reg:SI 0) (sign_extend:SI (reg:HI 1)))
-   (set (match_operand:SI 0 "general_operand" "") (reg:SI 0))]
-  "TARGET_H8300"
   "")
 
 (define_insn ""
    (set_attr "cc" "clobber,clobber")])
 
 (define_insn ""
-  [(set (match_operand:SI 0 "register_operand" "=r,r")
-       (sign_extend:SI (match_operand:HI 1 "general_operand_src" "0,g>")))]
+  [(set (match_operand:SI 0 "register_operand" "=r")
+       (sign_extend:SI (match_operand:HI 1 "register_operand" "0")))]
   "TARGET_H8300H || TARGET_H8300S"
-  "@
-  exts.l       %S0
-  mov.w        %T1,%T0\;exts.l %S0"
-  [(set_attr "length" "2,4")
-   (set_attr "cc" "set_znv,set_znv")])
+  "exts.l      %S0"
+  [(set_attr "length" "2")
+   (set_attr "cc" "set_znv")])
 \f
 ;; ----------------------------------------------------------------------
 ;; SHIFTS
        (ashift:QI (match_operand:QI 1 "register_operand" "")
                   (match_operand:QI 2 "nonmemory_operand" "")))]
   ""
-  "if (expand_a_shift (QImode, ASHIFT, operands)) DONE;else FAIL;")
+  "if (expand_a_shift (QImode, ASHIFT, operands)) DONE; else FAIL;")
 
 (define_expand "ashrqi3"
   [(set (match_operand:QI 0 "register_operand" "")
        (ashiftrt:QI (match_operand:QI 1 "register_operand" "")
                     (match_operand:QI 2 "nonmemory_operand" "")))]
   ""
-  "if (expand_a_shift (QImode, ASHIFTRT, operands)) DONE;else FAIL;")
+  "if (expand_a_shift (QImode, ASHIFTRT, operands)) DONE; else FAIL;")
 
 (define_expand "lshrqi3"
   [(set (match_operand:QI 0 "register_operand" "")
        (lshiftrt:QI (match_operand:QI 1 "register_operand" "")
                     (match_operand:QI 2 "nonmemory_operand" "")))]
   ""
-  "if (expand_a_shift (QImode, LSHIFTRT, operands)) DONE;else FAIL;")
+  "if (expand_a_shift (QImode, LSHIFTRT, operands)) DONE; else FAIL;")
 
 (define_insn ""
   [(set (match_operand:QI 0 "register_operand" "=r,r")
        (ashift:HI (match_operand:HI 1 "nonmemory_operand" "")
                   (match_operand:QI 2 "nonmemory_operand" "")))]
   ""
-  "if (expand_a_shift (HImode, ASHIFT, operands)) DONE;else FAIL;")
+  "if (expand_a_shift (HImode, ASHIFT, operands)) DONE; else FAIL;")
 
 (define_expand "lshrhi3"
   [(set (match_operand:HI 0 "register_operand" "")
        (lshiftrt:HI (match_operand:HI 1 "general_operand" "")
                     (match_operand:QI 2 "nonmemory_operand" "")))]
   ""
-  "if (expand_a_shift (HImode, LSHIFTRT, operands)) DONE;else FAIL;")
+  "if (expand_a_shift (HImode, LSHIFTRT, operands)) DONE; else FAIL;")
 
 (define_expand "ashrhi3"
   [(set (match_operand:HI 0 "register_operand" "")
        (ashiftrt:HI (match_operand:HI 1 "register_operand" "")
                     (match_operand:QI 2 "nonmemory_operand" "")))]
   ""
-  "if (expand_a_shift (HImode, ASHIFTRT, operands)) DONE;else FAIL;")
+  "if (expand_a_shift (HImode, ASHIFTRT, operands)) DONE; else FAIL;")
 
 (define_insn ""
   [(set (match_operand:HI 0 "register_operand" "=r,r")
         (match_operand:SI 1 "general_operand" "")
         (match_operand:QI 2 "nonmemory_operand" "")))]
   ""
-  "if (expand_a_shift (SImode, ASHIFT, operands)) DONE;else FAIL;")
+  "if (expand_a_shift (SImode, ASHIFT, operands)) DONE; else FAIL;")
 
 (define_expand "lshrsi3"
   [(set (match_operand:SI 0 "register_operand" "")
         (match_operand:SI 1 "general_operand" "")
         (match_operand:QI 2 "nonmemory_operand" "")))]
   ""
-  "if (expand_a_shift (SImode, LSHIFTRT, operands)) DONE;else FAIL;")
+  "if (expand_a_shift (SImode, LSHIFTRT, operands)) DONE; else FAIL;")
 
 (define_expand "ashrsi3"
   [(set (match_operand:SI 0 "register_operand" "")
         (match_operand:SI 1 "general_operand" "")
         (match_operand:QI 2 "nonmemory_operand" "")))]
   ""
-  "if (expand_a_shift (SImode, ASHIFTRT, operands)) DONE;else FAIL;")
+  "if (expand_a_shift (SImode, ASHIFTRT, operands)) DONE; else FAIL;")
 
 (define_insn ""
   [(set (match_operand:SI 0 "register_operand" "=r,r")
        (rotate:QI (match_operand:QI 1 "register_operand" "")
                   (match_operand:QI 2 "nonmemory_operand" "")))]
   ""
-  "if (expand_a_rotate (ROTATE, operands)) DONE;else FAIL;")
+  "if (expand_a_rotate (ROTATE, operands)) DONE; else FAIL;")
 
 (define_insn "*rotlqi3_1"
   [(set (match_operand:QI 0 "register_operand" "=r")
        (rotate:HI (match_operand:HI 1 "register_operand" "")
                   (match_operand:QI 2 "nonmemory_operand" "")))]
   ""
-  "if (expand_a_rotate (ROTATE, operands)) DONE;else FAIL;")
+  "if (expand_a_rotate (ROTATE, operands)) DONE; else FAIL;")
 
 (define_insn "*rotlhi3_1"
   [(set (match_operand:HI 0 "register_operand" "=r")
        (rotate:SI (match_operand:SI 1 "register_operand" "")
                   (match_operand:QI 2 "nonmemory_operand" "")))]
   "TARGET_H8300H || TARGET_H8300S"
-  "if (expand_a_rotate (ROTATE, operands)) DONE;else FAIL;")
+  "if (expand_a_rotate (ROTATE, operands)) DONE; else FAIL;")
 
 (define_insn "*rotlsi3_1"
   [(set (match_operand:SI 0 "register_operand" "=r")
        (subreg:HI (zero_extract:SI
                     (match_operand:HI 1 "register_operand" "r")
                     (const_int 1)
-                    (match_operand:HI 2 "immediate_operand" "n")) 1))]
+                    (match_operand:HI 2 "immediate_operand" "n")) 2))]
   ""
   "sub.w       %0,%0\;bld      %Z2,%Y1\;bst    #0,%X0"
   [(set_attr "cc" "clobber")
                  (subreg:HI
                    (lshiftrt:SI
                      (match_operand:SI 1 "register_operand" "Ur")
-                     (match_operand:SI 2 "const_int_operand" "n")) 1))
+                     (match_operand:SI 2 "const_int_operand" "n")) 2))
                (const_int 1)))]
   "INTVAL (operands[2]) < 16"
   "sub.w       %0,%0\;bild     %Z2,%Y1\;bst    #0,%X0"
 ;;
 ;; Inverted loads with a 32bit destination.
 ;;
-;; Yes, all seven cases are needed.
+;; Yes, all five cases are needed.
 ;;
 (define_insn ""
   [(set (match_operand:SI 0 "register_operand" "=&r")
        (and:SI (not:SI
-                 (zero_extend:SI (match_operand:HI 1 "register_operand" "r")))
-               (match_operand:SI 2 "p_operand" "P")))]
-  ""
-  "* return output_simode_bld (1, 1, operands);"
-  [(set_attr "cc" "clobber")
-   (set (attr "length")
-       (if_then_else (eq (symbol_ref "TARGET_H8300H || TARGET_H8300S")
-                         (const_int 0))
-                     (const_int 10)
-                     (const_int 8)))])
-(define_insn ""
-  [(set (match_operand:SI 0 "register_operand" "=&r")
-       (and:SI (not:SI
                  (zero_extend:SI
                    (lshiftrt:HI (match_operand:HI 1 "bit_operand" "Ur")
                                 (match_operand:HI 2 "const_int_operand" "n"))))
 (define_insn ""
   [(set (match_operand:SI 0 "register_operand" "=&r")
        (and:SI (not:SI
-                 (zero_extend:SI (match_operand:QI 1 "register_operand" "r")))
-               (match_operand:SI 2 "p_operand" "P")))]
-  ""
-  "* return output_simode_bld (1, 1, operands);"
-  [(set_attr "cc" "clobber")
-   (set (attr "length")
-       (if_then_else (eq (symbol_ref "TARGET_H8300H || TARGET_H8300S")
-                         (const_int 0))
-                     (const_int 10)
-                     (const_int 8)))])
-(define_insn ""
-  [(set (match_operand:SI 0 "register_operand" "=&r")
-       (and:SI (not:SI
                  (zero_extend:SI
                    (lshiftrt:QI (match_operand:QI 1 "bit_operand" "Ur")
                                 (match_operand:QI 2 "const_int_operand" "n"))))
   [(set_attr "cc" "clobber")
    (set_attr "length" "6")
    (set_attr "adjust_length" "no")])
+\f
+;; -----------------------------------------------------------------
+;; COMBINE PATTERNS
+;; -----------------------------------------------------------------
+
+(define_insn ""
+  [(set (match_operand:HI 0 "register_operand" "=r")
+        (ior:HI
+           (zero_extend:HI (match_operand:QI 1 "register_operand" "r"))
+           (match_operand:HI 2 "register_operand" "0")))]
+  "REG_P (operands[0])
+   && REG_P (operands[1])
+   && REGNO (operands[0]) != REGNO (operands[1])"
+  "or\\t%X1,%s0"
+  [(set_attr "cc" "clobber")
+   (set_attr "length" "2")])
+
+(define_insn ""
+  [(set (match_operand:SI 0 "register_operand" "=r")
+        (ior:SI
+           (zero_extend:SI (match_operand:HI 1 "register_operand" "r"))
+           (match_operand:SI 2 "register_operand" "0")))]
+  "(TARGET_H8300H || TARGET_H8300S)
+   && REG_P (operands[0])
+   && REG_P (operands[1])
+   && (REGNO (operands[0]) != REGNO (operands[1]))"
+  "or.w\\t%T1,%f0"
+  [(set_attr "cc" "clobber")
+   (set_attr "length" "2")])
+
+(define_insn ""
+  [(set (match_operand:SI 0 "register_operand" "=r")
+        (ior:SI
+           (zero_extend:SI (match_operand:QI 1 "register_operand" "r"))
+           (match_operand:SI 2 "register_operand" "0")))]
+  "REG_P (operands[0])
+   && REG_P (operands[1])
+   && REGNO (operands[0]) != REGNO (operands[1])"
+  "or\\t%X1,%s0"
+  [(set_attr "cc" "clobber")
+   (set_attr "length" "2")])
+
+(define_insn ""
+  [(set (match_operand:HI 0 "register_operand" "=r")
+        (xor:HI
+           (zero_extend:HI (match_operand:QI 1 "register_operand" "r"))
+           (match_operand:HI 2 "register_operand" "0")))]
+  "REG_P (operands[0])
+   && REG_P (operands[1])
+   && REGNO (operands[0]) != REGNO (operands[1])"
+  "xor\\t%X1,%s0"
+  [(set_attr "cc" "clobber")
+   (set_attr "length" "2")])
+
+(define_insn ""
+  [(set (match_operand:SI 0 "register_operand" "=r")
+        (xor:SI
+           (zero_extend:SI (match_operand:HI 1 "register_operand" "r"))
+           (match_operand:SI 2 "register_operand" "0")))]
+  "(TARGET_H8300H || TARGET_H8300S)
+   && REG_P (operands[0])
+   && REG_P (operands[1])
+   && (REGNO (operands[0]) != REGNO (operands[1]))"
+  "xor.w\\t%T1,%f0"
+  [(set_attr "cc" "clobber")
+   (set_attr "length" "2")])
+
+(define_insn ""
+  [(set (match_operand:SI 0 "register_operand" "=r")
+        (xor:SI
+           (zero_extend:SI (match_operand:QI 1 "register_operand" "r"))
+           (match_operand:SI 2 "register_operand" "0")))]
+  "REG_P (operands[0])
+   && REG_P (operands[1])
+   && REGNO (operands[0]) != REGNO (operands[1])"
+  "xor\\t%X1,%s0"
+  [(set_attr "cc" "clobber")
+   (set_attr "length" "2")])
+
+(define_insn ""
+  [(set (match_operand:HI 0 "register_operand" "=r")
+        (ior:HI
+           (zero_extend:HI (match_operand:QI 1 "register_operand" "0"))
+           (ashift:HI (match_operand:HI 2 "register_operand" "r")
+                      (const_int 8))))]
+  "REG_P (operands[0])
+   && REG_P (operands[2])
+   && REGNO (operands[0]) != REGNO (operands[2])"
+  "mov.b\\t%s2,%t0"
+  [(set_attr "cc" "clobber")
+   (set_attr "length" "2")])
+
+(define_insn ""
+  [(set (match_operand:SI 0 "register_operand" "=r")
+        (ior:SI
+           (zero_extend:SI (match_operand:HI 1 "register_operand" "0"))
+           (ashift:SI (match_operand:SI 2 "register_operand" "r")
+                      (const_int 16))))]
+  "(TARGET_H8300H || TARGET_H8300S)
+   && REG_P (operands[0])
+   && REG_P (operands[2])
+   && (REGNO (operands[0]) != REGNO (operands[2]))"
+  "mov.w\\t%f2,%e0"
+  [(set_attr "cc" "clobber")
+   (set_attr "length" "2")])