--- gcc/config/rs6000/rs6000.md	2018/04/24 18:10:26	1.1.1.1
+++ gcc/config/rs6000/rs6000.md	2018/04/24 18:22:51	1.1.1.3
@@ -1,6 +1,6 @@
-;;- Machine description for IBM RISC System 6000 (POWER) for GNU C compiler
-;;   Copyright (C) 1990, 1991, 1992, 1993 Free Software Foundation, Inc.
-;;   Contributed by Richard Kenner (kenner@nyu.edu)
+;; Machine description for IBM RISC System 6000 (POWER) for GNU C compiler
+;; Copyright (C) 1990, 1991, 1992, 1993, 1994 Free Software Foundation, Inc.
+;; Contributed by Richard Kenner (kenner@vlsi1.ultra.nyu.edu)
 
 ;; This file is part of GNU CC.
 
@@ -22,30 +22,431 @@
 
 ;; Define an insn type attribute.  This is used in function unit delay
 ;; computations.
-(define_attr "type" "load,integer,fp,compare,delayed_compare,fpcompare,mtlr"
+(define_attr "type" "integer,load,fpload,imul,idiv,branch,compare,delayed_compare,fpcompare,mtjmpr,fp,dmul,sdiv,ddiv,ssqrt,dsqrt,jmpreg"
   (const_string "integer"))
 
-;; Memory delivers its result in two cycles.
-(define_function_unit "memory" 1 0 (eq_attr "type" "load") 2 0)
+;; Length (in bytes).
+(define_attr "length" ""
+  (if_then_else (eq_attr "type" "branch")
+		(if_then_else (and (ge (minus (pc) (match_dup 0))
+				       (const_int -32768))
+				   (lt (minus (pc) (match_dup 0))
+				       (const_int 32767)))
+			      (const_int 8)
+			      (const_int 12))
+		(const_int 4)))
+
+;; Processor type -- this attribute must exactly match the processor_type
+;; enumeration in rs6000.h.
+
+(define_attr "cpu" "rios1,rios2,ppc601,ppc603,ppc604,ppc620"
+  (const (symbol_ref "rs6000_cpu_attr")))
+
+; (define_function_unit NAME MULTIPLICITY SIMULTANEITY
+;			TEST READY-DELAY ISSUE-DELAY [CONFLICT-LIST])
+
+; Load/Store Unit -- POWER/2 and pure PowerPC only
+; (POWER and 601 use Integer Unit)
+(define_function_unit "lsu" 1 0
+  (and (eq_attr "type" "load")
+       (eq_attr "cpu" "rios2,ppc603,ppc604,ppc620"))
+  2 0)
+
+(define_function_unit "lsu" 1 0
+  (and (eq_attr "type" "fpload")
+       (eq_attr "cpu" "rios2,ppc603,ppc604,ppc620"))
+  2 0)
+
+(define_function_unit "iu" 1 0
+  (and (eq_attr "type" "load")
+       (eq_attr "cpu" "rios1,ppc601"))
+  2 0)
+
+(define_function_unit "iu" 1 0
+  (and (eq_attr "type" "fpload")
+       (eq_attr "cpu" "rios1,ppc601"))
+  3 0)
+
+; Integer Unit (RIOS1, PPC601, PPC603)
+; Trivial operations take one cycle which need not be listed here.
+(define_function_unit "iu" 1 0
+  (and (eq_attr "type" "imul")
+       (eq_attr "cpu" "rios1"))
+  3 3)
+
+(define_function_unit "iu" 1 0
+  (and (eq_attr "type" "imul")
+       (eq_attr "cpu" "ppc601,ppc603"))
+  5 5)
+
+(define_function_unit "iu" 1 0
+  (and (eq_attr "type" "idiv")
+       (eq_attr "cpu" "rios1"))
+  19 19)
+
+(define_function_unit "iu" 1 0
+  (and (eq_attr "type" "idiv")
+       (eq_attr "cpu" "ppc601"))
+  36 36)
+
+(define_function_unit "iu" 1 0
+  (and (eq_attr "type" "idiv")
+       (eq_attr "cpu" "ppc603"))
+  37 36)
+
+; RIOS2 has two integer units: a primary one which can perform all
+; operations and a secondary one which is fed in lock step with the first
+; and can perform "simple" integer operations.
+(define_function_unit "iu2" 2 0
+  (and (eq_attr "type" "integer")
+       (eq_attr "cpu" "rios2"))
+  1 0
+  [(eq_attr "type" "imul,idiv")])
+
+(define_function_unit "imuldiv" 1 0
+  (and (eq_attr "type" "imul")
+       (eq_attr "cpu" "rios2"))
+  2 2
+  [(eq_attr "type" "integer")])
+
+(define_function_unit "imuldiv" 1 0
+  (and (eq_attr "type" "idiv")
+       (eq_attr "cpu" "rios2"))
+  13 13
+  [(eq_attr "type" "integer")])
+
+; PPC604 has three integer units: one primary and two secondary.
+(define_function_unit "iu3" 3 0
+  (and (eq_attr "type" "integer")
+       (eq_attr "cpu" "ppc604,ppc620"))
+  1 0
+  [(eq_attr "type" "imul,idiv")])
+
+(define_function_unit "imuldiv" 1 0
+  (and (eq_attr "type" "imul")
+       (eq_attr "cpu" "ppc604,ppc620"))
+  4 2
+  [(eq_attr "type" "integer")])
+
+(define_function_unit "imuldiv" 1 0
+  (and (eq_attr "type" "idiv")
+       (eq_attr "cpu" "ppc604,ppc620"))
+  20 19
+  [(eq_attr "type" "integer")])
+
+; Branch Processing Unit
+(define_function_unit "bpu" 1 0
+  (eq_attr "type" "compare")
+  4 0)
+
+(define_function_unit "bpu" 1 0
+  (eq_attr "type" "delayed_compare")
+  5 0)
+
+(define_function_unit "bpu" 1 0
+  (and (eq_attr "type" "fpcompare")
+       (eq_attr "cpu" "rios1,rios2"))
+  8 0)
+
+(define_function_unit "bpu" 1 0
+  (and (eq_attr "type" "fpcompare")
+       (eq_attr "cpu" "ppc601,ppc603,ppc604,ppc620"))
+  4 0)
+
+(define_function_unit "bpu" 1 0
+  (and (eq_attr "type" "mtjmpr")
+       (eq_attr "cpu" "rios1,rios2"))
+  5 0)
+
+(define_function_unit "bpu" 1 0
+  (and (eq_attr "type" "mtjmpr")
+       (eq_attr "cpu" "ppc601,ppc603,ppc604,ppc620"))
+  4 0)
+
+; Floating Point Unit (RIOS1, PPC601, PPC603, PPC604).
+(define_function_unit "fpu" 1 0
+  (and (eq_attr "type" "fp,dmul")
+       (eq_attr "cpu" "rios1"))
+  2 0)
+
+(define_function_unit "fpu" 1 0
+  (and (eq_attr "type" "fp")
+       (eq_attr "cpu" "ppc601"))
+  4 0)
+
+(define_function_unit "fpu" 1 0
+  (and (eq_attr "type" "fp")
+       (eq_attr "cpu" "ppc603,ppc604,ppc620"))
+  3 0)
+
+(define_function_unit "fpu" 1 0
+  (and (eq_attr "type" "dmul")
+       (eq_attr "cpu" "ppc601"))
+  5 5)
+
+(define_function_unit "fpu" 1 0
+  (and (eq_attr "type" "dmul")
+       (eq_attr "cpu" "ppc603"))
+  4 2)
+
+(define_function_unit "fpu" 1 0
+  (and (eq_attr "type" "dmul")
+       (eq_attr "cpu" "ppc604,ppc620"))
+  3 0)
+
+(define_function_unit "fpu" 1 0
+  (and (eq_attr "type" "sdiv,ddiv")
+       (eq_attr "cpu" "rios1"))
+  19 19)
+
+(define_function_unit "fpu" 1 0
+  (and (eq_attr "type" "sdiv")
+       (eq_attr "cpu" "ppc601"))
+  17 17)
+
+(define_function_unit "fpu" 1 0
+  (and (eq_attr "type" "sdiv")
+       (eq_attr "cpu" "ppc603,ppc604,ppc620"))
+  18 18)
+
+(define_function_unit "fpu" 1 0
+  (and (eq_attr "type" "ddiv")
+       (eq_attr "cpu" "ppc601,ppc604,ppc620"))
+  31 31)
+
+(define_function_unit "fpu" 1 0
+  (and (eq_attr "type" "ddiv")
+       (eq_attr "cpu" "ppc603"))
+  33 33)
+
+(define_function_unit "fpu" 1 0
+  (and (eq_attr "type" "ssqrt")
+       (eq_attr "cpu" "ppc620"))
+  31 31)
+
+(define_function_unit "fpu" 1 0
+  (and (eq_attr "type" "dsqrt")
+       (eq_attr "cpu" "ppc620"))
+  31 31)
+
+; RIOS2 has two symmetric FPUs.
+(define_function_unit "fpu2" 2 0
+  (and (eq_attr "type" "fp")
+       (eq_attr "cpu" "rios2"))
+  2 0)
+
+(define_function_unit "fpu2" 2 0
+  (and (eq_attr "type" "dmul")
+       (eq_attr "cpu" "rios2"))
+  2 0)
+
+(define_function_unit "fpu2" 2 0
+  (and (eq_attr "type" "sdiv,ddiv")
+       (eq_attr "cpu" "rios2"))
+  17 17)
+
+(define_function_unit "fpu2" 2 0
+  (and (eq_attr "type" "ssqrt,dsqrt")
+       (eq_attr "cpu" "rios2"))
+  26 26)
+
+;; Start with fixed-point load and store insns.  Here we put only the more
+;; complex forms.  Basic data transfer is done later.
 
-;; We consider floating-point insns to deliver their result in two cycles
-;; to try to intersperse integer and FP operations.
-(define_function_unit "fp" 1 0 (eq_attr "type" "fp,fpcompare") 2 0)
+(define_expand "zero_extendqidi2"
+  [(set (match_operand:DI 0 "gpc_reg_operand" "")
+	(zero_extend:DI (match_operand:QI 1 "gpc_reg_operand" "")))]
+  "TARGET_POWERPC64"
+  "")
 
-;; Most integer comparisons are ready in four cycles (a stall of three).
-(define_function_unit "compare" 1 0 (eq_attr "type" "compare") 4 0)
+(define_insn ""
+  [(set (match_operand:DI 0 "gpc_reg_operand" "=r,r")
+	(zero_extend:DI (match_operand:QI 1 "reg_or_mem_operand" "m,r")))]
+  "TARGET_POWERPC64"
+  "@
+   lbz%U1%X1 %0,%1
+   rldicl %0,%1,0,56"
+  [(set_attr "type" "load,*")])
 
-;; Some integer comparisons aren't ready for five cycles (a stall of four).
-(define_function_unit "compare" 1 0 (eq_attr "type" "delayed_compare") 5 0)
+(define_insn ""
+  [(set (match_operand:CC 0 "cc_reg_operand" "=x")
+	(compare:CC (zero_extend:DI (match_operand:QI 1 "gpc_reg_operand" "r"))
+		    (const_int 0)))
+   (clobber (match_scratch:DI 2 "=r"))]
+  "TARGET_POWERPC64"
+  "rldicl. %2,%1,0,56"
+  [(set_attr "type" "compare")])
 
-;; Floating-point comparisons take eight cycles.
-(define_function_unit "compare" 1 0 (eq_attr "type" "fpcompare") 8 0)
+(define_insn ""
+  [(set (match_operand:CC 2 "cc_reg_operand" "=x")
+	(compare:CC (zero_extend:DI (match_operand:QI 1 "gpc_reg_operand" "r"))
+		    (const_int 0)))
+   (set (match_operand:DI 0 "gpc_reg_operand" "=r")
+	(zero_extend:DI (match_dup 1)))]
+  "TARGET_POWERPC64"
+  "rldicl. %0,%1,0,56"
+  [(set_attr "type" "compare")])
 
-;; Branches on LR cannot be done until five cycles after LR is set.
-(define_function_unit "branch" 1 0 (eq_attr "type" "mtlr") 5 0)
-
-;; Start with fixed-point load and store insns.  Here we put only the more
-;; complex forms.  Basic data transfer is done later.
+(define_insn "extendqidi2"
+  [(set (match_operand:DI 0 "gpc_reg_operand" "=r")
+	(sign_extend:DI (match_operand:QI 1 "gpc_reg_operand" "r")))]
+  "TARGET_POWERPC64"
+  "extsb %0,%1")
+
+(define_insn ""
+  [(set (match_operand:CC 0 "cc_reg_operand" "=x")
+	(compare:CC (sign_extend:DI (match_operand:QI 1 "gpc_reg_operand" "r"))
+		    (const_int 0)))
+   (clobber (match_scratch:DI 2 "=r"))]
+  "TARGET_POWERPC64"
+  "extsb. %2,%1"
+  [(set_attr "type" "compare")])
+
+(define_insn ""
+  [(set (match_operand:CC 2 "cc_reg_operand" "=x")
+	(compare:CC (sign_extend:DI (match_operand:QI 1 "gpc_reg_operand" "r"))
+		    (const_int 0)))
+   (set (match_operand:DI 0 "gpc_reg_operand" "=r")
+	(sign_extend:DI (match_dup 1)))]
+  "TARGET_POWERPC64"
+  "extsb. %0,%1"
+  [(set_attr "type" "compare")])
+
+(define_expand "zero_extendhidi2"
+  [(set (match_operand:DI 0 "gpc_reg_operand" "")
+	(zero_extend:DI (match_operand:HI 1 "gpc_reg_operand" "")))]
+  "TARGET_POWERPC64"
+  "")
+
+(define_insn ""
+  [(set (match_operand:DI 0 "gpc_reg_operand" "=r,r")
+	(zero_extend:DI (match_operand:HI 1 "reg_or_mem_operand" "m,r")))]
+  "TARGET_POWERPC64"
+  "@
+   lhz%U1%X1 %0,%1
+   rldicl %0,%1,0,48"
+  [(set_attr "type" "load,*")])
+
+(define_insn ""
+  [(set (match_operand:CC 0 "cc_reg_operand" "=x")
+	(compare:CC (zero_extend:DI (match_operand:HI 1 "gpc_reg_operand" "r"))
+		    (const_int 0)))
+   (clobber (match_scratch:DI 2 "=r"))]
+  "TARGET_POWERPC64"
+  "rldicl. %2,%1,0,48"
+  [(set_attr "type" "compare")])
+
+(define_insn ""
+  [(set (match_operand:CC 2 "cc_reg_operand" "=x")
+	(compare:CC (zero_extend:DI (match_operand:HI 1 "gpc_reg_operand" "r"))
+		    (const_int 0)))
+   (set (match_operand:DI 0 "gpc_reg_operand" "=r")
+	(zero_extend:DI (match_dup 1)))]
+  "TARGET_POWERPC64"
+  "rldicl. %0,%1,0,48"
+  [(set_attr "type" "compare")])
+
+(define_expand "extendhidi2"
+  [(set (match_operand:DI 0 "gpc_reg_operand" "")
+	(sign_extend:DI (match_operand:HI 1 "gpc_reg_operand" "")))]
+  "TARGET_POWERPC64"
+  "")
+
+(define_insn ""
+  [(set (match_operand:DI 0 "gpc_reg_operand" "=r,r")
+	(sign_extend:DI (match_operand:HI 1 "reg_or_mem_operand" "m,r")))]
+  "TARGET_POWERPC64"
+  "@
+   lha%U1%X1 %0,%1
+   extsh %0,%1"
+  [(set_attr "type" "load,*")])
+
+(define_insn ""
+  [(set (match_operand:CC 0 "cc_reg_operand" "=x")
+	(compare:CC (sign_extend:DI (match_operand:HI 1 "gpc_reg_operand" "r"))
+		    (const_int 0)))
+   (clobber (match_scratch:DI 2 "=r"))]
+  "TARGET_POWERPC64"
+  "extsh. %2,%1"
+  [(set_attr "type" "compare")])
+
+(define_insn ""
+  [(set (match_operand:CC 2 "cc_reg_operand" "=x")
+	(compare:CC (sign_extend:DI (match_operand:HI 1 "gpc_reg_operand" "r"))
+		    (const_int 0)))
+   (set (match_operand:DI 0 "gpc_reg_operand" "=r")
+	(sign_extend:DI (match_dup 1)))]
+  "TARGET_POWERPC64"
+  "extsh. %0,%1"
+  [(set_attr "type" "compare")])
+
+(define_expand "zero_extendsidi2"
+  [(set (match_operand:DI 0 "gpc_reg_operand" "")
+	(zero_extend:DI (match_operand:SI 1 "gpc_reg_operand" "")))]
+  "TARGET_POWERPC64"
+  "")
+
+(define_insn ""
+  [(set (match_operand:DI 0 "gpc_reg_operand" "=r,r")
+	(zero_extend:DI (match_operand:SI 1 "reg_or_mem_operand" "m,r")))]
+  "TARGET_POWERPC64"
+  "@
+   lwz%U1%X1 %0,%1
+   rldicl %0,%1,0,32"
+  [(set_attr "type" "load,*")])
+
+(define_insn ""
+  [(set (match_operand:CC 0 "cc_reg_operand" "=x")
+	(compare:CC (zero_extend:DI (match_operand:SI 1 "gpc_reg_operand" "r"))
+		    (const_int 0)))
+   (clobber (match_scratch:DI 2 "=r"))]
+  "TARGET_POWERPC64"
+  "rldicl. %2,%1,0,32"
+  [(set_attr "type" "compare")])
+
+(define_insn ""
+  [(set (match_operand:CC 2 "cc_reg_operand" "=x")
+	(compare:CC (zero_extend:DI (match_operand:SI 1 "gpc_reg_operand" "r"))
+		    (const_int 0)))
+   (set (match_operand:DI 0 "gpc_reg_operand" "=r")
+	(zero_extend:DI (match_dup 1)))]
+  "TARGET_POWERPC64"
+  "rldicl. %0,%1,0,32"
+  [(set_attr "type" "compare")])
+
+(define_expand "extendsidi2"
+  [(set (match_operand:DI 0 "gpc_reg_operand" "")
+	(sign_extend:DI (match_operand:SI 1 "gpc_reg_operand" "")))]
+  "TARGET_POWERPC64"
+  "")
+
+(define_insn ""
+  [(set (match_operand:DI 0 "gpc_reg_operand" "=r,r")
+	(sign_extend:DI (match_operand:SI 1 "reg_or_mem_operand" "m,r")))]
+  "TARGET_POWERPC64"
+  "@
+   lwa%U1%X1 %0,%1
+   extsw %0,%1"
+  [(set_attr "type" "load,*")])
+
+(define_insn ""
+  [(set (match_operand:CC 0 "cc_reg_operand" "=x")
+	(compare:CC (sign_extend:DI (match_operand:SI 1 "gpc_reg_operand" "r"))
+		    (const_int 0)))
+   (clobber (match_scratch:DI 2 "=r"))]
+  "TARGET_POWERPC64"
+  "extsw. %2,%1"
+  [(set_attr "type" "compare")])
+
+(define_insn ""
+  [(set (match_operand:CC 2 "cc_reg_operand" "=x")
+	(compare:CC (sign_extend:DI (match_operand:SI 1 "gpc_reg_operand" "r"))
+		    (const_int 0)))
+   (set (match_operand:DI 0 "gpc_reg_operand" "=r")
+	(sign_extend:DI (match_dup 1)))]
+  "TARGET_POWERPC64"
+  "extsw. %0,%1"
+  [(set_attr "type" "compare")])
 
 (define_expand "zero_extendqisi2"
   [(set (match_operand:SI 0 "gpc_reg_operand" "")
@@ -59,7 +460,7 @@
   ""
   "@
    lbz%U1%X1 %0,%1
-   rlinm %0,%1,0,24,31"
+   {rlinm|rlwinm} %0,%1,0,0xff"
   [(set_attr "type" "load,*")])
 
 (define_insn ""
@@ -68,7 +469,7 @@
 		    (const_int 0)))
    (clobber (match_scratch:SI 2 "=r"))]
   ""
-  "andil. %2,%1,255"
+  "{andil.|andi.} %2,%1,0xff"
   [(set_attr "type" "compare")])
 
 (define_insn ""
@@ -78,9 +479,75 @@
    (set (match_operand:SI 0 "gpc_reg_operand" "=r")
 	(zero_extend:SI (match_dup 1)))]
   ""
-  "andil. %0,%1,255"
+  "{andil.|andi.} %0,%1,0xff"
+  [(set_attr "type" "compare")])
+
+(define_expand "extendqisi2"
+  [(use (match_operand:SI 0 "gpc_reg_operand" ""))
+   (use (match_operand:QI 1 "gpc_reg_operand" ""))]
+  ""
+  "
+{
+  if (TARGET_POWERPC)
+    emit_insn (gen_extendqisi2_ppc (operands[0], operands[1]));
+  else if (TARGET_POWER)
+    emit_insn (gen_extendqisi2_power (operands[0], operands[1]));
+  else
+    emit_insn (gen_extendqisi2_no_power (operands[0], operands[1]));
+  DONE;
+}")
+
+(define_insn "extendqisi2_ppc"
+  [(set (match_operand:SI 0 "gpc_reg_operand" "=r")
+	(sign_extend:SI (match_operand:QI 1 "gpc_reg_operand" "r")))]
+  "TARGET_POWERPC"
+  "extsb %0,%1")
+
+(define_insn ""
+  [(set (match_operand:CC 0 "cc_reg_operand" "=x")
+	(compare:CC (sign_extend:SI (match_operand:QI 1 "gpc_reg_operand" "r"))
+		    (const_int 0)))
+   (clobber (match_scratch:SI 2 "=r"))]
+  "TARGET_POWERPC"
+  "extsb. %2,%1"
+  [(set_attr "type" "compare")])
+
+(define_insn ""
+  [(set (match_operand:CC 2 "cc_reg_operand" "=x")
+	(compare:CC (sign_extend:SI (match_operand:QI 1 "gpc_reg_operand" "r"))
+		    (const_int 0)))
+   (set (match_operand:SI 0 "gpc_reg_operand" "=r")
+	(sign_extend:SI (match_dup 1)))]
+  "TARGET_POWERPC"
+  "extsb. %0,%1"
   [(set_attr "type" "compare")])
 
+(define_expand "extendqisi2_power"
+  [(parallel [(set (match_dup 2)
+		   (ashift:SI (match_operand:QI 1 "gpc_reg_operand" "")
+			      (const_int 24)))
+	      (clobber (scratch:SI))])
+   (parallel [(set (match_operand:SI 0 "gpc_reg_operand" "")
+		   (ashiftrt:SI (match_dup 2)
+				(const_int 24)))
+	      (clobber (scratch:SI))])]
+  "TARGET_POWER"
+  "
+{ operands[1] = gen_lowpart (SImode, operands[1]);
+  operands[2] = gen_reg_rtx (SImode); }")
+
+(define_expand "extendqisi2_no_power"
+  [(set (match_dup 2)
+	(ashift:SI (match_operand:QI 1 "gpc_reg_operand" "")
+		   (const_int 24)))
+   (set (match_operand:SI 0 "gpc_reg_operand" "")
+	(ashiftrt:SI (match_dup 2)
+		     (const_int 24)))]
+  "! TARGET_POWER && ! TARGET_POWERPC"
+  "
+{ operands[1] = gen_lowpart (SImode, operands[1]);
+  operands[2] = gen_reg_rtx (SImode); }")
+
 (define_expand "zero_extendqihi2"
   [(set (match_operand:HI 0 "gpc_reg_operand" "")
 	(zero_extend:HI (match_operand:QI 1 "gpc_reg_operand" "")))]
@@ -93,9 +560,96 @@
   ""
   "@
    lbz%U1%X1 %0,%1
-   rlinm %0,%1,0,24,31"
+   {rlinm|rlwinm} %0,%1,0,0xff"
   [(set_attr "type" "load,*")])
 
+(define_insn ""
+  [(set (match_operand:CC 0 "cc_reg_operand" "=x")
+	(compare:CC (zero_extend:HI (match_operand:QI 1 "gpc_reg_operand" "r"))
+		    (const_int 0)))
+   (clobber (match_scratch:HI 2 "=r"))]
+  ""
+  "{andil.|andi.} %2,%1,0xff"
+  [(set_attr "type" "compare")])
+
+(define_insn ""
+  [(set (match_operand:CC 2 "cc_reg_operand" "=x")
+	(compare:CC (zero_extend:HI (match_operand:QI 1 "gpc_reg_operand" "r"))
+		    (const_int 0)))
+   (set (match_operand:HI 0 "gpc_reg_operand" "=r")
+	(zero_extend:HI (match_dup 1)))]
+  ""
+  "{andil.|andi.} %0,%1,0xff"
+  [(set_attr "type" "compare")])
+
+(define_expand "extendqihi2"
+  [(use (match_operand:HI 0 "gpc_reg_operand" ""))
+   (use (match_operand:QI 1 "gpc_reg_operand" ""))]
+  ""
+  "
+{
+  if (TARGET_POWERPC)
+    emit_insn (gen_extendqihi2_ppc (operands[0], operands[1]));
+  else if (TARGET_POWER)
+    emit_insn (gen_extendqihi2_power (operands[0], operands[1]));
+  else
+    emit_insn (gen_extendqihi2_no_power (operands[0], operands[1]));
+  DONE;
+}")
+
+(define_insn "extendqihi2_ppc"
+  [(set (match_operand:HI 0 "gpc_reg_operand" "=r")
+	(sign_extend:HI (match_operand:QI 1 "gpc_reg_operand" "r")))]
+  "TARGET_POWERPC"
+  "extsb %0,%1")
+
+(define_insn ""
+  [(set (match_operand:CC 0 "cc_reg_operand" "=x")
+	(compare:CC (sign_extend:HI (match_operand:QI 1 "gpc_reg_operand" "r"))
+		    (const_int 0)))
+   (clobber (match_scratch:HI 2 "=r"))]
+  "TARGET_POWERPC"
+  "extsb. %2,%1"
+  [(set_attr "type" "compare")])
+
+(define_insn ""
+  [(set (match_operand:CC 2 "cc_reg_operand" "=x")
+	(compare:CC (sign_extend:HI (match_operand:QI 1 "gpc_reg_operand" "r"))
+		    (const_int 0)))
+   (set (match_operand:HI 0 "gpc_reg_operand" "=r")
+	(sign_extend:HI (match_dup 1)))]
+  "TARGET_POWERPC"
+  "extsb. %0,%1"
+  [(set_attr "type" "compare")])
+
+(define_expand "extendqihi2_power"
+  [(parallel [(set (match_dup 2)
+		   (ashift:SI (match_operand:QI 1 "gpc_reg_operand" "")
+			      (const_int 24)))
+	      (clobber (scratch:SI))])
+   (parallel [(set (match_operand:HI 0 "gpc_reg_operand" "")
+		   (ashiftrt:SI (match_dup 2)
+				(const_int 24)))
+	      (clobber (scratch:SI))])]
+  "TARGET_POWER"
+  "
+{ operands[0] = gen_lowpart (SImode, operands[0]);
+  operands[1] = gen_lowpart (SImode, operands[1]);
+  operands[2] = gen_reg_rtx (SImode); }")
+
+(define_expand "extendqihi2_no_power"
+  [(set (match_dup 2)
+	(ashift:SI (match_operand:QI 1 "gpc_reg_operand" "")
+		   (const_int 24)))
+   (set (match_operand:HI 0 "gpc_reg_operand" "")
+	(ashiftrt:SI (match_dup 2)
+		     (const_int 24)))]
+  "! TARGET_POWER && ! TARGET_POWERPC"
+  "
+{ operands[0] = gen_lowpart (SImode, operands[0]);
+  operands[1] = gen_lowpart (SImode, operands[1]);
+  operands[2] = gen_reg_rtx (SImode); }")
+
 (define_expand "zero_extendhisi2"
   [(set (match_operand:SI 0 "gpc_reg_operand" "")
 	(zero_extend:SI (match_operand:HI 1 "gpc_reg_operand" "")))]
@@ -108,7 +662,7 @@
   ""
   "@
    lhz%U1%X1 %0,%1
-   rlinm %0,%1,0,16,31"
+   {rlinm|rlwinm} %0,%1,0,0xffff"
   [(set_attr "type" "load,*")])
 
 (define_insn ""
@@ -117,7 +671,7 @@
 		    (const_int 0)))
    (clobber (match_scratch:SI 2 "=r"))]
   ""
-  "andil. %2,%1,65535"
+  "{andil.|andi.} %2,%1,0xffff"
   [(set_attr "type" "compare")])
 
 (define_insn ""
@@ -127,7 +681,7 @@
    (set (match_operand:SI 0 "gpc_reg_operand" "=r")
 	(zero_extend:SI (match_dup 1)))]
   ""
-  "andil. %0,%1,65535"
+  "{andil.|andi.} %0,%1,0xffff"
   [(set_attr "type" "compare")])
 
 (define_expand "extendhisi2"
@@ -142,7 +696,7 @@
   ""
   "@
    lha%U1%X1 %0,%1
-   exts %0,%1"
+   {exts|extsh} %0,%1"
   [(set_attr "type" "load,*")])
 
 (define_insn ""
@@ -151,7 +705,7 @@
 		    (const_int 0)))
    (clobber (match_scratch:SI 2 "=r"))]
   ""
-  "exts. %2,%1"
+  "{exts.|extsh.} %2,%1"
   [(set_attr "type" "compare")])
 
 (define_insn ""
@@ -161,38 +715,47 @@
    (set (match_operand:SI 0 "gpc_reg_operand" "=r")
 	(sign_extend:SI (match_dup 1)))]
   ""
-  "exts. %0,%1"
+  "{exts.|extsh.} %0,%1"
   [(set_attr "type" "compare")])
 
 ;; Fixed-point arithmetic insns.
+
+;; Discourage ai/addic because of carry but provide it in an alternative
+;; allowing register zero as source.
 (define_insn "addsi3"
-  [(set (match_operand:SI 0 "gpc_reg_operand" "=r,r")
-	(plus:SI (match_operand:SI 1 "gpc_reg_operand" "%r,b")
-		 (match_operand:SI 2 "add_operand" "rI,J")))]
+  [(set (match_operand:SI 0 "gpc_reg_operand" "=r,r,?r,r")
+	(plus:SI (match_operand:SI 1 "gpc_reg_operand" "%r,b,r,b")
+		 (match_operand:SI 2 "add_operand" "r,I,I,J")))]
   ""
   "@
-   a%I2 %0,%1,%2
-   cau %0,%1,%u2")
+   {cax|add} %0,%1,%2
+   {cal %0,%2(%1)|addi %0,%1,%2}
+   {ai|addic} %0,%1,%2
+   {cau|addis} %0,%1,%u2")
 
 (define_insn ""
-  [(set (match_operand:CC 0 "cc_reg_operand" "=x")
-	(compare:CC (plus:SI (match_operand:SI 1 "gpc_reg_operand" "r")
-			     (match_operand:SI 2 "reg_or_short_operand" "rI"))
+  [(set (match_operand:CC 0 "cc_reg_operand" "=x,x")
+	(compare:CC (plus:SI (match_operand:SI 1 "gpc_reg_operand" "%r,r")
+			     (match_operand:SI 2 "reg_or_short_operand" "r,I"))
 		    (const_int 0)))
-   (clobber (match_scratch:SI 3 "=r"))]
+   (clobber (match_scratch:SI 3 "=r,r"))]
   ""
-  "a%I2. %3,%1,%2"
+  "@
+   {cax.|add.} %3,%1,%2
+   {ai.|addic.} %3,%1,%2"
   [(set_attr "type" "compare")])
    
 (define_insn ""
-  [(set (match_operand:CC 3 "cc_reg_operand" "=x")
-	(compare:CC (plus:SI (match_operand:SI 1 "gpc_reg_operand" "r")
-			     (match_operand:SI 2 "reg_or_short_operand" "rI"))
+  [(set (match_operand:CC 3 "cc_reg_operand" "=x,x")
+	(compare:CC (plus:SI (match_operand:SI 1 "gpc_reg_operand" "%r,r")
+			     (match_operand:SI 2 "reg_or_short_operand" "r,I"))
 		    (const_int 0)))
-   (set (match_operand:SI 0 "gpc_reg_operand" "=r")
+   (set (match_operand:SI 0 "gpc_reg_operand" "=r,r")
 	(plus:SI (match_dup 1) (match_dup 2)))]
   ""
-  "a%I2. %0,%1,%2"
+  "@
+   {cax.|add.} %0,%1,%2
+   {ai.|addic.} %0,%1,%2"
   [(set_attr "type" "compare")])
    
 ;; Split an add that we can't do in one insn into two insns, each of which
@@ -222,16 +785,42 @@
   [(set (match_operand:SI 0 "gpc_reg_operand" "=r")
 	(not:SI (match_operand:SI 1 "gpc_reg_operand" "r")))]
   ""
-  "sfi %0,%1,-1")
+  "nor %0,%1,%1")
+
+(define_insn ""
+  [(set (match_operand:CC 0 "cc_reg_operand" "=x")
+	(compare:CC (not:SI (match_operand:SI 1 "gpc_reg_operand" "r"))
+		    (const_int 0)))
+   (clobber (match_scratch:SI 2 "=r"))]
+  ""
+  "nor. %2,%1,%1"
+  [(set_attr "type" "compare")])
+
+(define_insn ""
+  [(set (match_operand:CC 2 "cc_reg_operand" "=x")
+	(compare:CC (not:SI (match_operand:SI 1 "gpc_reg_operand" "r"))
+		    (const_int 0)))
+   (set (match_operand:SI 0 "gpc_reg_operand" "=r")
+	(not:SI (match_dup 1)))]
+  ""
+  "nor. %0,%2,%1"
+  [(set_attr "type" "compare")])
+
+(define_insn ""
+  [(set (match_operand:SI 0 "gpc_reg_operand" "=r")
+	(minus:SI (match_operand:SI 1 "reg_or_short_operand" "rI")
+		  (match_operand:SI 2 "gpc_reg_operand" "r")))]
+  "! TARGET_POWERPC"
+  "{sf%I1|subf%I1c} %0,%2,%1")
 
 (define_insn ""
   [(set (match_operand:SI 0 "gpc_reg_operand" "=r,r")
 	(minus:SI (match_operand:SI 1 "reg_or_short_operand" "r,I")
 		  (match_operand:SI 2 "gpc_reg_operand" "r,r")))]
-  ""
+  "TARGET_POWERPC"
   "@
-   sf %0,%2,%1
-   sfi %0,%2,%1")
+   subf %0,%2,%1
+   subfic %0,%2,%1")
 
 (define_insn ""
   [(set (match_operand:CC 0 "cc_reg_operand" "=x")
@@ -239,8 +828,18 @@
 			      (match_operand:SI 2 "gpc_reg_operand" "r"))
 		    (const_int 0)))
    (clobber (match_scratch:SI 3 "=r"))]
-  ""
-  "sf. %3,%2,%1"
+  "! TARGET_POWERPC"
+  "{sf.|subfc.} %3,%2,%1"
+  [(set_attr "type" "compare")])
+
+(define_insn ""
+  [(set (match_operand:CC 0 "cc_reg_operand" "=x")
+	(compare:CC (minus:SI (match_operand:SI 1 "gpc_reg_operand" "r")
+			      (match_operand:SI 2 "gpc_reg_operand" "r"))
+		    (const_int 0)))
+   (clobber (match_scratch:SI 3 "=r"))]
+  "TARGET_POWERPC"
+  "subf. %3,%2,%1"
   [(set_attr "type" "compare")])
 
 (define_insn ""
@@ -250,8 +849,19 @@
 		    (const_int 0)))
    (set (match_operand:SI 0 "gpc_reg_operand" "=r")
 	(minus:SI (match_dup 1) (match_dup 2)))]
-  ""
-  "sf. %0,%2,%1"
+  "! TARGET_POWERPC"
+  "{sf.|subfc.} %0,%2,%1"
+  [(set_attr "type" "compare")])
+
+(define_insn ""
+  [(set (match_operand:CC 3 "cc_reg_operand" "=x")
+	(compare:CC (minus:SI (match_operand:SI 1 "gpc_reg_operand" "r")
+			      (match_operand:SI 2 "gpc_reg_operand" "r"))
+		    (const_int 0)))
+   (set (match_operand:SI 0 "gpc_reg_operand" "=r")
+	(minus:SI (match_dup 1) (match_dup 2)))]
+  "TARGET_POWERPC"
+  "subf. %0,%2,%1"
   [(set_attr "type" "compare")])
 
 (define_expand "subsi3"
@@ -282,7 +892,7 @@
 			 (minus:SI (match_dup 2) (match_dup 1))))
    (set (match_operand:SI 0 "gpc_reg_operand" "")
 	(minus:SI (match_dup 2) (match_dup 3)))]
-  ""
+  "TARGET_POWER"
   "
 { operands[3] = gen_reg_rtx (SImode); }")
 
@@ -291,7 +901,7 @@
 	(smin:SI (match_operand:SI 1 "gpc_reg_operand" "")
 		 (match_operand:SI 2 "reg_or_short_operand" "")))
    (clobber (match_operand:SI 3 "gpc_reg_operand" ""))]
-  ""
+  "TARGET_POWER"
   [(set (match_dup 3)
 	(if_then_else:SI (gt:SI (match_dup 1) (match_dup 2))
 			 (const_int 0)
@@ -307,7 +917,7 @@
 			 (minus:SI (match_dup 2) (match_dup 1))))
    (set (match_operand:SI 0 "gpc_reg_operand" "")
 	(plus:SI (match_dup 3) (match_dup 1)))]
-  ""
+  "TARGET_POWER"
   "
 { operands[3] = gen_reg_rtx (SImode); }")
 
@@ -316,7 +926,7 @@
 	(smax:SI (match_operand:SI 1 "gpc_reg_operand" "")
 		 (match_operand:SI 2 "reg_or_short_operand" "")))
    (clobber (match_operand:SI 3 "gpc_reg_operand" ""))]
-  ""
+  "TARGET_POWER"
   [(set (match_dup 3)
 	(if_then_else:SI (gt:SI (match_dup 1) (match_dup 2))
 			 (const_int 0)
@@ -334,7 +944,7 @@
 				       (minus:SI (match_dup 4) (match_dup 3))))
    (set (match_operand:SI 0 "gpc_reg_operand" "")
 	(minus:SI (match_dup 2) (match_dup 3)))]
-  ""
+  "TARGET_POWER"
   "
 { operands[3] = gen_reg_rtx (SImode);  operands[4] = gen_reg_rtx (SImode); }")
 
@@ -348,7 +958,7 @@
 				       (minus:SI (match_dup 4) (match_dup 3))))
    (set (match_operand:SI 0 "gpc_reg_operand" "")
 	(plus:SI (match_dup 3) (match_dup 1)))]
-  ""
+  "TARGET_POWER"
   "
 { operands[3] = gen_reg_rtx (SImode);  operands[4] = gen_reg_rtx (SImode); }")
 
@@ -358,7 +968,7 @@
 			     (match_operand:SI 2 "reg_or_short_operand" "rI"))
 			 (const_int 0)
 			 (minus:SI (match_dup 2) (match_dup 1))))]
-  ""
+  "TARGET_POWER"
   "doz%I2 %0,%1,%2")
 
 (define_insn ""
@@ -370,7 +980,7 @@
 			  (minus:SI (match_dup 2) (match_dup 1)))
 	 (const_int 0)))
    (clobber (match_scratch:SI 3 "=r"))]
-  ""
+  "TARGET_POWER"
   "doz%I2. %3,%1,%2"
   [(set_attr "type" "delayed_compare")])
 
@@ -386,7 +996,7 @@
 	(if_then_else:SI (gt (match_dup 1) (match_dup 2))
 			 (const_int 0)
 			 (minus:SI (match_dup 2) (match_dup 1))))]
-  ""
+  "TARGET_POWER"
   "doz%I2. %0,%1,%2"
   [(set_attr "type" "delayed_compare")])
 
@@ -395,13 +1005,13 @@
 (define_insn "abssi2"
   [(set (match_operand:SI 0 "gpc_reg_operand" "=r")
 	(abs:SI (match_operand:SI 1 "gpc_reg_operand" "r")))]
-  ""
+  "TARGET_POWER"
   "abs %0,%1")
 
 (define_insn ""
   [(set (match_operand:SI 0 "gpc_reg_operand" "=r")
 	(neg:SI (abs:SI (match_operand:SI 1 "gpc_reg_operand" "r"))))]
-  ""
+  "TARGET_POWER"
   "nabs %0,%1")
 
 (define_insn "negsi2"
@@ -433,56 +1043,159 @@
   [(set (match_operand:SI 0 "register_operand" "=&r")
 	(ffs:SI (match_operand:SI 1 "register_operand" "r")))]
   ""
-  "neg %0,%1\;and %0,%0,%1\;cntlz %0,%0\;sfi %0,%0,32")
+  "neg %0,%1\;and %0,%0,%1\;{cntlz|cntlzw} %0,%0\;{sfi|subfic} %0,%0,32"
+  [(set_attr "length" "16")])
+
+(define_expand "mulsi3"
+  [(use (match_operand:SI 0 "gpc_reg_operand" ""))
+   (use (match_operand:SI 1 "gpc_reg_operand" ""))
+   (use (match_operand:SI 2 "reg_or_short_operand" ""))]
+  ""
+  "
+{
+  if (TARGET_POWER)
+    emit_insn (gen_mulsi3_mq (operands[0], operands[1], operands[2]));
+  else
+    emit_insn (gen_mulsi3_no_mq (operands[0], operands[1], operands[2]));
+  DONE;
+}")
 
-(define_insn "mulsi3"
+(define_insn "mulsi3_mq"
   [(set (match_operand:SI 0 "gpc_reg_operand" "=r,r")
 	(mult:SI (match_operand:SI 1 "gpc_reg_operand" "%r,r")
 		 (match_operand:SI 2 "reg_or_short_operand" "r,I")))
    (clobber (match_scratch:SI 3 "=q,q"))]
-  ""
+  "TARGET_POWER"
+  "@
+   {muls|mullw} %0,%1,%2
+   {muli|mulli} %0,%1,%2"
+   [(set_attr "type" "imul")])
+
+(define_insn "mulsi3_no_mq"
+  [(set (match_operand:SI 0 "gpc_reg_operand" "=r,r")
+	(mult:SI (match_operand:SI 1 "gpc_reg_operand" "%r,r")
+		 (match_operand:SI 2 "reg_or_short_operand" "r,I")))]
+  "! TARGET_POWER"
   "@
-   muls %0,%1,%2
-   muli %0,%1,%2")
+   mullw %0,%1,%2
+   mulli %0,%1,%2"
+   [(set_attr "type" "imul")])
 
 (define_insn ""
   [(set (match_operand:CC 0 "cc_reg_operand" "=x")
-	(compare:CC (mult:SI (match_operand:SI 1 "gpc_reg_operand" "r")
+	(compare:CC (mult:SI (match_operand:SI 1 "gpc_reg_operand" "%r")
 			     (match_operand:SI 2 "gpc_reg_operand" "r"))
 		    (const_int 0)))
    (clobber (match_scratch:SI 3 "=r"))
    (clobber (match_scratch:SI 4 "=q"))]
-  ""
-  "muls. %3,%1,%2"
+  "TARGET_POWER"
+  "{muls.|mullw.} %3,%1,%2"
+  [(set_attr "type" "delayed_compare")])
+
+(define_insn ""
+  [(set (match_operand:CC 0 "cc_reg_operand" "=x")
+	(compare:CC (mult:SI (match_operand:SI 1 "gpc_reg_operand" "%r")
+			     (match_operand:SI 2 "gpc_reg_operand" "r"))
+		    (const_int 0)))
+   (clobber (match_scratch:SI 3 "=r"))]
+  "! TARGET_POWER"
+  "mullw. %3,%1,%2"
   [(set_attr "type" "delayed_compare")])
 
 (define_insn ""
   [(set (match_operand:CC 3 "cc_reg_operand" "=x")
-	(compare:CC (mult:SI (match_operand:SI 1 "gpc_reg_operand" "r")
+	(compare:CC (mult:SI (match_operand:SI 1 "gpc_reg_operand" "%r")
 			     (match_operand:SI 2 "gpc_reg_operand" "r"))
 		    (const_int 0)))
    (set (match_operand:SI 0 "gpc_reg_operand" "=r")
 	(mult:SI (match_dup 1) (match_dup 2)))
    (clobber (match_scratch:SI 4 "=q"))]
-  ""
-  "muls. %0,%1,%2"
+  "TARGET_POWER"
+  "{muls.|mullw.} %0,%1,%2"
+  [(set_attr "type" "delayed_compare")])
+
+(define_insn ""
+  [(set (match_operand:CC 3 "cc_reg_operand" "=x")
+	(compare:CC (mult:SI (match_operand:SI 1 "gpc_reg_operand" "%r")
+			     (match_operand:SI 2 "gpc_reg_operand" "r"))
+		    (const_int 0)))
+   (set (match_operand:SI 0 "gpc_reg_operand" "=r")
+	(mult:SI (match_dup 1) (match_dup 2)))]
+  "! TARGET_POWER"
+  "mullw. %0,%1,%2"
   [(set_attr "type" "delayed_compare")])
 
 ;; Operand 1 is divided by operand 2; quotient goes to operand
 ;; 0 and remainder to operand 3.
 ;; ??? At some point, see what, if anything, we can do about if (x % y == 0).
 
-(define_insn "divmodsi4"
+(define_expand "divmodsi4"
+  [(parallel [(set (match_operand:SI 0 "gpc_reg_operand" "")
+		   (div:SI (match_operand:SI 1 "gpc_reg_operand" "")
+			   (match_operand:SI 2 "gpc_reg_operand" "")))
+	      (set (match_operand:SI 3 "gpc_reg_operand" "")
+		   (mod:SI (match_dup 1) (match_dup 2)))])]
+  "TARGET_POWER || (! TARGET_POWER && ! TARGET_POWERPC)"
+  "
+{
+  if (! TARGET_POWER && ! TARGET_POWERPC)
+    {
+      emit_move_insn (gen_rtx (REG, SImode, 3), operands[1]);
+      emit_move_insn (gen_rtx (REG, SImode, 4), operands[2]);
+      emit_insn (gen_divss_call ());
+      emit_move_insn (operands[0], gen_rtx (REG, SImode, 3));
+      emit_move_insn (operands[3], gen_rtx (REG, SImode, 4));
+      DONE;
+    }
+}")
+
+(define_insn ""
   [(set (match_operand:SI 0 "gpc_reg_operand" "=r")
 	(div:SI (match_operand:SI 1 "gpc_reg_operand" "r")
 		(match_operand:SI 2 "gpc_reg_operand" "r")))
    (set (match_operand:SI 3 "gpc_reg_operand" "=q")
 	(mod:SI (match_dup 1) (match_dup 2)))]
-  ""
-  "divs %0,%1,%2")
+  "TARGET_POWER"
+  "divs %0,%1,%2"
+  [(set_attr "type" "idiv")])
+
+(define_insn ""
+  [(set (match_operand:SI 0 "gpc_reg_operand" "=r")
+        (div:SI (match_operand:SI 1 "gpc_reg_operand" "r")
+                (match_operand:SI 2 "gpc_reg_operand" "r")))]
+  "TARGET_POWERPC"
+  "divw %0,%1,%2"
+  [(set_attr "type" "idiv")])
+
+(define_expand "udivsi3"
+  [(set (match_operand:SI 0 "gpc_reg_operand" "")
+        (udiv:SI (match_operand:SI 1 "gpc_reg_operand" "")
+                 (match_operand:SI 2 "gpc_reg_operand" "")))]
+  "TARGET_POWERPC || (! TARGET_POWER && ! TARGET_POWERPC)"
+  "
+{
+  if (! TARGET_POWER && ! TARGET_POWERPC)
+    {
+      emit_move_insn (gen_rtx (REG, SImode, 3), operands[1]);
+      emit_move_insn (gen_rtx (REG, SImode, 4), operands[2]);
+      emit_insn (gen_quous_call ());
+      emit_move_insn (operands[0], gen_rtx (REG, SImode, 3));
+      DONE;
+    }
+}")
+
+(define_insn ""
+  [(set (match_operand:SI 0 "gpc_reg_operand" "=r")
+        (udiv:SI (match_operand:SI 1 "gpc_reg_operand" "r")
+                 (match_operand:SI 2 "gpc_reg_operand" "r")))]
+  "TARGET_POWERPC"
+  "divwu %0,%1,%2"
+  [(set_attr "type" "idiv")])
 
 ;; For powers of two we can do srai/aze for divide and then adjust for
-;; modulus.  If it isn't a power of two, FAIL so divmodsi4 will be used.
+;; modulus.  If it isn't a power of two, FAIL on POWER so divmodsi4 will be
+;; used; for PowerPC, force operands into register and do a normal divide;
+;; for AIX common-mode, use quoss call on register operands.
 (define_expand "divsi3"
   [(set (match_operand:SI 0 "gpc_reg_operand" "")
 	(div:SI (match_operand:SI 1 "gpc_reg_operand" "")
@@ -490,30 +1203,45 @@
   ""
   "
 {
-  if (GET_CODE (operands[2]) != CONST_INT
-      || exact_log2 (INTVAL (operands[2])) < 0)
+  if (GET_CODE (operands[2]) == CONST_INT
+      && exact_log2 (INTVAL (operands[2])) >= 0)
+    ;
+  else if (TARGET_POWER && ! TARGET_POWERPC)
     FAIL;
+  else
+    operands[2] = force_reg (SImode, operands[2]);
+
+  if (! TARGET_POWER && ! TARGET_POWERPC)
+    {
+      emit_move_insn (gen_rtx (REG, SImode, 3), operands[1]);
+      emit_move_insn (gen_rtx (REG, SImode, 4), operands[2]);
+      emit_insn (gen_quoss_call ());
+      emit_move_insn (operands[0], gen_rtx (REG, SImode, 3));
+      DONE;
+    }
 }")
 
 (define_expand "modsi3"
-  [(set (match_dup 3)
-	(div:SI (match_operand:SI 1 "gpc_reg_operand" "")
-		(match_operand:SI 2 "reg_or_cint_operand" "")))
-   (parallel [(set (match_dup 4) (ashift:SI (match_dup 3) (match_dup 5)))
-	      (clobber (scratch:SI))])
-   (set (match_operand:SI 0 "gpc_reg_operand" "")
-	(minus:SI (match_dup 1) (match_dup 4)))]
+  [(use (match_operand:SI 0 "gpc_reg_operand" ""))
+   (use (match_operand:SI 1 "gpc_reg_operand" ""))
+   (use (match_operand:SI 2 "reg_or_cint_operand" ""))]
   ""
   "
 {
   int i = exact_log2 (INTVAL (operands[2]));
+  rtx temp1;
+  rtx temp2;
 
   if (GET_CODE (operands[2]) != CONST_INT || i < 0)
     FAIL;
 
-  operands[3] = gen_reg_rtx (SImode);
-  operands[4] = gen_reg_rtx (SImode);
-  operands[5] = gen_rtx (CONST_INT, VOIDmode, i);
+  temp1 = gen_reg_rtx (SImode);
+  temp2 = gen_reg_rtx (SImode);
+
+  emit_insn (gen_divsi3 (temp1, operands[1], operands[2]));
+  emit_insn (gen_ashlsi3 (temp2, temp1, GEN_INT (i)));
+  emit_insn (gen_subsi3 (operands[0], operands[1], temp2));
+  DONE;
 }")
 
 (define_insn ""
@@ -521,44 +1249,49 @@
 	(div:SI (match_operand:SI 1 "gpc_reg_operand" "r")
 		(match_operand:SI 2 "const_int_operand" "N")))]
   "exact_log2 (INTVAL (operands[2])) >= 0"
-  "srai %0,%1,%p2\;aze %0,%0")
+  "{srai|srawi} %0,%1,%p2\;{aze|addze} %0,%0"
+  [(set_attr "length" "8")])
 
 (define_insn ""
   [(set (match_operand:CC 0 "cc_reg_operand" "=x")
-	(div:SI (match_operand:SI 1 "gpc_reg_operand" "r")
-		(match_operand:SI 2 "const_int_operand" "N")))
+	(compare:CC (div:SI (match_operand:SI 1 "gpc_reg_operand" "r")
+			    (match_operand:SI 2 "const_int_operand" "N"))
+		    (const_int 0)))
    (clobber (match_scratch:SI 3 "=r"))]
   "exact_log2 (INTVAL (operands[2])) >= 0"
-  "srai %3,%1,%p2\;aze. %3,%3"
-  [(set_attr "type" "compare")])
+  "{srai|srawi} %3,%1,%p2\;{aze.|addze.} %3,%3"
+  [(set_attr "type" "compare")
+   (set_attr "length" "8")])
 
 (define_insn ""
   [(set (match_operand:CC 3 "cc_reg_operand" "=x")
-	(div:SI (match_operand:SI 1 "gpc_reg_operand" "r")
-		(match_operand:SI 2 "const_int_operand" "N")))
+	(compare:CC (div:SI (match_operand:SI 1 "gpc_reg_operand" "r")
+			    (match_operand:SI 2 "const_int_operand" "N"))
+		    (const_int 0)))
    (set (match_operand:SI 0 "gpc_reg_operand" "=r")
 	(div:SI (match_dup 1) (match_dup 2)))]
   "exact_log2 (INTVAL (operands[2])) >= 0"
-  "srai %0,%1,%p2\;aze. %0,%0"
-  [(set_attr "type" "compare")])
+  "{srai|srawi} %0,%1,%p2\;{aze.|addze.} %0,%0"
+  [(set_attr "type" "compare")
+   (set_attr "length" "8")])
 
 (define_insn ""
   [(set (match_operand:SI 0 "gpc_reg_operand" "=r")
 	(udiv:SI
-	 (plus:DI (lshift:DI
+	 (plus:DI (ashift:DI
 		   (zero_extend:DI (match_operand:SI 1 "gpc_reg_operand" "r"))
 		   (const_int 32))
 		  (zero_extend:DI (match_operand:SI 4 "register_operand" "2")))
 	 (match_operand:SI 3 "gpc_reg_operand" "r")))
    (set (match_operand:SI 2 "register_operand" "=*q")
 	(umod:SI
-	 (plus:DI (lshift:DI
+	 (plus:DI (ashift:DI
 		   (zero_extend:DI (match_dup 1)) (const_int 32))
 		  (zero_extend:DI (match_dup 4)))
 	 (match_dup 3)))]
-  
-  ""
-  "div %0,%1,%3")
+  "TARGET_POWER"
+  "div %0,%1,%3"
+  [(set_attr "type" "idiv")])
 
 ;; To do unsigned divide we handle the cases of the divisor looking like a
 ;; negative number.  If it is a constant that is less than 2**31, we don't
@@ -568,16 +1301,16 @@
 (define_expand "udivmodsi4_normal"
   [(set (match_dup 4) (const_int 0))
    (parallel [(set (match_operand:SI 0 "" "")
-		   (udiv:SI (plus:DI (lshift:DI (zero_extend:DI (match_dup 4))
+		   (udiv:SI (plus:DI (ashift:DI (zero_extend:DI (match_dup 4))
 						(const_int 32))
 				     (zero_extend:DI (match_operand:SI 1 "" "")))
 			    (match_operand:SI 2 "" "")))
 	      (set (match_operand:SI 3 "" "")
-		   (umod:SI (plus:DI (lshift:DI (zero_extend:DI (match_dup 4))
+		   (umod:SI (plus:DI (ashift:DI (zero_extend:DI (match_dup 4))
 						(const_int 32))
 				     (zero_extend:DI (match_dup 1)))
 			    (match_dup 2)))])]
-  ""
+  "TARGET_POWER"
   "
 { operands[4] = gen_reg_rtx (SImode); }")
 
@@ -593,7 +1326,7 @@
    (set (match_dup 6) (compare:CC (match_dup 2) (const_int 0)))
    (set (pc) (if_then_else (lt (match_dup 6) (const_int 0))
 			   (label_ref (match_dup 4)) (pc)))]
-  ""
+  "TARGET_POWER"
   "
 { operands[5] = gen_reg_rtx (CCUNSmode);
   operands[6] = gen_reg_rtx (CCmode);
@@ -610,6 +1343,19 @@
 {
   rtx label = 0;
 
+  if (! TARGET_POWER)
+    if (! TARGET_POWERPC)
+      {
+	emit_move_insn (gen_rtx (REG, SImode, 3), operands[1]);
+	emit_move_insn (gen_rtx (REG, SImode, 4), operands[2]);
+	emit_insn (gen_divus_call ());
+	emit_move_insn (operands[0], gen_rtx (REG, SImode, 3));
+	emit_move_insn (operands[3], gen_rtx (REG, SImode, 4));
+	DONE;
+      }
+    else
+      FAIL;
+
   if (GET_CODE (operands[2]) != CONST_INT || INTVAL (operands[2]) < 0)
     {
       operands[2] = force_reg (SImode, operands[2]);
@@ -627,7 +1373,66 @@
 
   DONE;
 }")
-    
+
+;; AIX architecture-independent common-mode multiply (DImode),
+;; divide/modulus, and quotient subroutine calls.  Input operands in R3 and
+;; R4; results in R3 and somtimes R4; link register always clobbered by bla
+;; instruction; R0 sometimes clobbered; also, MQ sometimes clobbered but
+;; assumed unused if generating common-mode, so ignore.
+(define_insn "mulh_call"
+  [(set (reg:SI 3)
+	(truncate:SI
+	 (lshiftrt:DI (mult:DI (sign_extend:DI (reg:SI 3))
+			       (sign_extend:DI (reg:SI 4)))
+		      (const_int 32))))
+   (clobber (match_scratch:SI 0 "=l"))]
+  "! TARGET_POWER && ! TARGET_POWERPC"
+  "bla __mulh")
+
+(define_insn "mull_call"
+  [(set (reg:DI 3)
+	(mult:DI (sign_extend:DI (reg:SI 3))
+		 (sign_extend:DI (reg:SI 4))))
+   (clobber (match_scratch:SI 0 "=l"))
+   (clobber (reg:SI 0))]
+  "! TARGET_POWER && ! TARGET_POWERPC"
+  "bla __mull")
+
+(define_insn "divss_call"
+  [(set (reg:SI 3)
+	(div:SI (reg:SI 3) (reg:SI 4)))
+   (set (reg:SI 4)
+	(mod:SI (reg:SI 3) (reg:SI 4)))
+   (clobber (match_scratch:SI 0 "=l"))
+   (clobber (reg:SI 0))]
+  "! TARGET_POWER && ! TARGET_POWERPC"
+  "bla __divss")
+
+(define_insn "divus_call"
+  [(set (reg:SI 3)
+	(udiv:SI (reg:SI 3) (reg:SI 4)))
+   (set (reg:SI 4)
+	(umod:SI (reg:SI 3) (reg:SI 4)))
+   (clobber (match_scratch:SI 0 "=l"))
+   (clobber (reg:SI 0))]
+  "! TARGET_POWER && ! TARGET_POWERPC"
+  "bla __divus")
+
+(define_insn "quoss_call"
+  [(set (reg:SI 3)
+	(div:SI (reg:SI 3) (reg:SI 4)))
+   (clobber (match_scratch:SI 0 "=l"))]
+  "! TARGET_POWER && ! TARGET_POWERPC"
+  "bla __quoss")
+
+(define_insn "quous_call"
+  [(set (reg:SI 3)
+	(udiv:SI (reg:SI 3) (reg:SI 4)))
+   (clobber (match_scratch:SI 0 "=l"))
+   (clobber (reg:SI 0))]
+  "! TARGET_POWER && ! TARGET_POWERPC"
+  "bla __quous")
+
 (define_insn "andsi3"
   [(set (match_operand:SI 0 "gpc_reg_operand" "=r,r,r,r")
 	(and:SI (match_operand:SI 1 "gpc_reg_operand" "%r,r,r,r")
@@ -636,9 +1441,9 @@
   ""
   "@
    and %0,%1,%2
-   rlinm %0,%1,0,%m2,%M2
-   andil. %0,%1,%b2
-   andiu. %0,%1,%u2")
+   {rlinm|rlwinm} %0,%1,0,%m2,%M2
+   {andil.|andi.} %0,%1,%b2
+   {andiu.|andis.} %0,%1,%u2")
 
 (define_insn ""
   [(set (match_operand:CC 0 "cc_reg_operand" "=x,x,x,x")
@@ -649,9 +1454,9 @@
   ""
   "@
    and. %3,%1,%2
-   andil. %3,%1,%b2
-   andiu. %3,%1,%u2
-   rlinm. %3,%1,0,%m2,%M2"
+   {andil.|andi.} %3,%1,%b2
+   {andiu.|andis.} %3,%1,%u2
+   {rlinm.|rlwinm.} %3,%1,0,%m2,%M2"
   [(set_attr "type" "compare,compare,compare,delayed_compare")])
 
 (define_insn ""
@@ -664,10 +1469,10 @@
   ""
   "@
    and. %0,%1,%2
-   andil. %0,%1,%b2
-   andiu. %0,%1,%u2
-   rlinm. %0,%1,0,%m2,%M2"
-  [(set_attr "type" "compare,compare,compare,delayed_compare")]) 
+   {andil.|andi.} %0,%1,%b2
+   {andiu.|andis.} %0,%1,%u2
+   {rlinm.|rlwinm.} %0,%1,0,%m2,%M2"
+  [(set_attr "type" "compare,compare,compare,delayed_compare")])
 
 ;; Take a AND with a constant that cannot be done in a single insn and try to
 ;; split it into two insns.  This does not verify that the insns are valid
@@ -716,12 +1521,12 @@
   ""
   "@
    or %0,%1,%2
-   oril %0,%1,%b2
-   oriu %0,%1,%u2")
+   {oril|ori} %0,%1,%b2
+   {oriu|oris} %0,%1,%u2")
 
 (define_insn ""
   [(set (match_operand:CC 0 "cc_reg_operand" "=x")
-	(compare:CC (ior:SI (match_operand:SI 1 "gpc_reg_operand" "r")
+	(compare:CC (ior:SI (match_operand:SI 1 "gpc_reg_operand" "%r")
 			    (match_operand:SI 2 "gpc_reg_operand" "r"))
 		    (const_int 0)))
    (clobber (match_scratch:SI 3 "=r"))]
@@ -731,7 +1536,7 @@
 
 (define_insn ""
   [(set (match_operand:CC 3 "cc_reg_operand" "=x")
-	(compare:CC (ior:SI (match_operand:SI 1 "gpc_reg_operand" "r")
+	(compare:CC (ior:SI (match_operand:SI 1 "gpc_reg_operand" "%r")
 			    (match_operand:SI 2 "gpc_reg_operand" "r"))
 		    (const_int 0)))
    (set (match_operand:SI 0 "gpc_reg_operand" "=r")
@@ -764,12 +1569,12 @@
   ""
   "@
    xor %0,%1,%2
-   xoril %0,%1,%b2
-   xoriu %0,%1,%u2")
+   {xoril|xori} %0,%1,%b2
+   {xoriu|xoris} %0,%1,%u2")
 
 (define_insn ""
   [(set (match_operand:CC 0 "cc_reg_operand" "=x")
-	(compare:CC (xor:SI (match_operand:SI 1 "gpc_reg_operand" "r")
+	(compare:CC (xor:SI (match_operand:SI 1 "gpc_reg_operand" "%r")
 			    (match_operand:SI 2 "gpc_reg_operand" "r"))
 		    (const_int 0)))
    (clobber (match_scratch:SI 3 "=r"))]
@@ -779,7 +1584,7 @@
 
 (define_insn ""
   [(set (match_operand:CC 3 "cc_reg_operand" "=x")
-	(compare:CC (xor:SI (match_operand:SI 1 "gpc_reg_operand" "r")
+	(compare:CC (xor:SI (match_operand:SI 1 "gpc_reg_operand" "%r")
 			    (match_operand:SI 2 "gpc_reg_operand" "r"))
 		    (const_int 0)))
    (set (match_operand:SI 0 "gpc_reg_operand" "=r")
@@ -891,14 +1696,14 @@
 
 (define_insn ""
   [(set (match_operand:SI 0 "gpc_reg_operand" "=r")
-	(ior:SI (not:SI (match_operand:SI 1 "gpc_reg_operand" "r"))
+	(ior:SI (not:SI (match_operand:SI 1 "gpc_reg_operand" "%r"))
 		(not:SI (match_operand:SI 2 "gpc_reg_operand" "r"))))]
   ""
   "nand %0,%1,%2")
 
 (define_insn ""
   [(set (match_operand:CC 0 "cc_reg_operand" "=x")
-	(compare:CC (ior:SI (not:SI (match_operand:SI 1 "gpc_reg_operand" "r"))
+	(compare:CC (ior:SI (not:SI (match_operand:SI 1 "gpc_reg_operand" "%r"))
 			    (not:SI (match_operand:SI 2 "gpc_reg_operand" "r")))
 		    (const_int 0)))
    (clobber (match_scratch:SI 3 "=r"))]
@@ -908,7 +1713,7 @@
 
 (define_insn ""
   [(set (match_operand:CC 3 "cc_reg_operand" "=x")
-	(compare:CC (ior:SI (not:SI (match_operand:SI 1 "gpc_reg_operand" "r"))
+	(compare:CC (ior:SI (not:SI (match_operand:SI 1 "gpc_reg_operand" "%r"))
 			    (not:SI (match_operand:SI 2 "gpc_reg_operand" "r")))
 		    (const_int 0)))
    (set (match_operand:SI 0 "gpc_reg_operand" "=r")
@@ -919,14 +1724,14 @@
 
 (define_insn ""
   [(set (match_operand:SI 0 "gpc_reg_operand" "=r")
-	(and:SI (not:SI (match_operand:SI 1 "gpc_reg_operand" "r"))
+	(and:SI (not:SI (match_operand:SI 1 "gpc_reg_operand" "%r"))
 		(not:SI (match_operand:SI 2 "gpc_reg_operand" "r"))))]
   ""
   "nor %0,%1,%2")
 
 (define_insn ""
   [(set (match_operand:CC 0 "cc_reg_operand" "=x")
-	(compare:CC (and:SI (not:SI (match_operand:SI 1 "gpc_reg_operand" "r"))
+	(compare:CC (and:SI (not:SI (match_operand:SI 1 "gpc_reg_operand" "%r"))
 			    (not:SI (match_operand:SI 2 "gpc_reg_operand" "r")))
 		    (const_int 0)))
    (clobber (match_scratch:SI 3 "=r"))]
@@ -936,7 +1741,7 @@
 
 (define_insn ""
   [(set (match_operand:CC 3 "cc_reg_operand" "=x")
-	(compare:CC (and:SI (not:SI (match_operand:SI 1 "gpc_reg_operand" "r"))
+	(compare:CC (and:SI (not:SI (match_operand:SI 1 "gpc_reg_operand" "%r"))
 			    (not:SI (match_operand:SI 2 "gpc_reg_operand" "r")))
 		    (const_int 0)))
    (set (match_operand:SI 0 "gpc_reg_operand" "=r")
@@ -955,7 +1760,7 @@
 			(match_operand:SI 1 "gpc_reg_operand" "0"))
 		(and:SI (match_dup 2)
 			(match_operand:SI 3 "gpc_reg_operand" "r"))))]
-  ""
+  "TARGET_POWER"
   "maskir %0,%3,%2")
 
 (define_insn ""
@@ -964,7 +1769,7 @@
 			(match_operand:SI 1 "gpc_reg_operand" "0"))
 		(and:SI (match_operand:SI 3 "gpc_reg_operand" "r")
 			(match_dup 2))))]
-  ""
+  "TARGET_POWER"
   "maskir %0,%3,%2")
 
 (define_insn ""
@@ -973,7 +1778,7 @@
 			(match_operand:SI 3 "gpc_reg_operand" "r"))
 		(and:SI (not:SI (match_dup 2))
 			(match_operand:SI 1 "gpc_reg_operand" "0"))))]
-  ""
+  "TARGET_POWER"
   "maskir %0,%3,%2")
 
 (define_insn ""
@@ -982,7 +1787,7 @@
 			(match_operand:SI 2 "gpc_reg_operand" "r"))
 		(and:SI (not:SI (match_dup 2))
 			(match_operand:SI 1 "gpc_reg_operand" "0"))))]
-  ""
+  "TARGET_POWER"
   "maskir %0,%3,%2")
 
 (define_insn ""
@@ -996,7 +1801,7 @@
    (set (match_operand:SI 0 "gpc_reg_operand" "=r")
 	(ior:SI (and:SI (not:SI (match_dup 2)) (match_dup 1))
 		(and:SI (match_dup 2) (match_dup 3))))]
-  ""
+  "TARGET_POWER"
   "maskir. %0,%3,%2"
   [(set_attr "type" "compare")])
 
@@ -1011,7 +1816,7 @@
    (set (match_operand:SI 0 "register_operand" "=r")
 	(ior:SI (and:SI (not:SI (match_dup 2)) (match_dup 1))
 		(and:SI (match_dup 3) (match_dup 2))))]
-  ""
+  "TARGET_POWER"
   "maskir. %0,%3,%2"
   [(set_attr "type" "compare")])
 
@@ -1026,7 +1831,7 @@
    (set (match_operand:SI 0 "gpc_reg_operand" "=r")
 	(ior:SI (and:SI (match_dup 2) (match_dup 3))
 		(and:SI (not:SI (match_dup 2)) (match_dup 1))))]
-  ""
+  "TARGET_POWER"
   "maskir. %0,%3,%2"
   [(set_attr "type" "compare")])
 
@@ -1041,7 +1846,7 @@
    (set (match_operand:SI 0 "gpc_reg_operand" "=r")
 	(ior:SI (and:SI (match_dup 3) (match_dup 2))
 		(and:SI (not:SI (match_dup 2)) (match_dup 1))))]
-  ""
+  "TARGET_POWER"
   "maskir. %0,%3,%2"
   [(set_attr "type" "compare")])
 
@@ -1060,7 +1865,7 @@
 
   operands[4] = gen_rtx (CONST_INT, VOIDmode, 32 - start - size);
   operands[1] = gen_rtx (CONST_INT, VOIDmode, start + size - 1);
-  return \"rlimi %0,%3,%4,%h2,%h1\";
+  return \"{rlimi|rlwimi} %0,%3,%4,%h2,%h1\";
 }")
 
 (define_insn "extzv"
@@ -1078,7 +1883,7 @@
     operands[3] = const0_rtx;
   else
     operands[3] = gen_rtx (CONST_INT, VOIDmode, start + size);
-  return \"rlinm %0,%1,%3,%s2,31\";
+  return \"{rlinm|rlwinm} %0,%1,%3,%s2,31\";
 }")
 
 (define_insn ""
@@ -1106,16 +1911,16 @@
 			     ((1 << (16 - (start & 15)))
 			      - (1 << (16 - (start & 15) - size))));
       if (start < 16)
-	return \"andiu. %4,%1,%3\";
+	return \"{andiu.|andis.} %4,%1,%3\";
       else
-	return \"andil. %4,%1,%3\";
+	return \"{andil.|andi.} %4,%1,%3\";
     }
   
   if (start + size >= 32)
     operands[3] = const0_rtx;
   else
     operands[3] = gen_rtx (CONST_INT, VOIDmode, start + size);
-  return \"rlinm. %4,%1,%3,%s2,31\";
+  return \"{rlinm.|rlwinm.} %4,%1,%3,%s2,31\";
 }"
   [(set_attr "type" "compare")])
 
@@ -1136,14 +1941,14 @@
   if (start >= 16 && start + size == 32)
     {
       operands[3] = gen_rtx (CONST_INT, VOIDmode, (1 << (32 - start)) - 1);
-      return \"andil. %0,%1,%3\";
+      return \"{andil.|andi.} %0,%1,%3\";
     }
   
   if (start + size >= 32)
     operands[3] = const0_rtx;
   else
     operands[3] = gen_rtx (CONST_INT, VOIDmode, start + size);
-  return \"rlinm. %0,%1,%3,%s2,31\";
+  return \"{rlinm.|rlwinm.} %0,%1,%3,%s2,31\";
 }"
   [(set_attr "type" "delayed_compare")])
 
@@ -1152,7 +1957,7 @@
 	(rotate:SI (match_operand:SI 1 "gpc_reg_operand" "r")
 		   (match_operand:SI 2 "reg_or_cint_operand" "ri")))]
   ""
-  "rl%I2nm %0,%1,%h2,0,31")
+  "{rl%I2nm|rlw%I2nm} %0,%1,%h2,0xffffffff")
 
 (define_insn ""
   [(set (match_operand:CC 0 "cc_reg_operand" "=x")
@@ -1161,7 +1966,7 @@
 		    (const_int 0)))
    (clobber (match_scratch:SI 3 "=r"))]
   ""
-  "rl%I2nm. %3,%1,%h2,0,31"
+  "{rl%I2nm.|rlw%I2nm.} %3,%1,%h2,0xffffffff"
   [(set_attr "type" "delayed_compare")])
 
 (define_insn ""
@@ -1172,7 +1977,7 @@
    (set (match_operand:SI 0 "gpc_reg_operand" "=r")
 	(rotate:SI (match_dup 1) (match_dup 2)))]
   ""
-  "rl%I2nm. %0,%1,%h2,0,31"
+  "{rl%I2nm.|rlw%I2nm.} %0,%1,%h2,0xffffffff"
   [(set_attr "type" "delayed_compare")])
 
 (define_insn ""
@@ -1181,7 +1986,7 @@
 			   (match_operand:SI 2 "reg_or_cint_operand" "ri"))
 		(match_operand:SI 3 "mask_operand" "L")))]
   ""
-  "rl%I2nm %0,%1,%h2,%m3,%M3")
+  "{rl%I2nm|rlw%I2nm} %0,%1,%h2,%m3,%M3")
 
 (define_insn ""
   [(set (match_operand:CC 0 "cc_reg_operand" "=x")
@@ -1192,7 +1997,7 @@
 		    (const_int 0)))
    (clobber (match_scratch:SI 4 "=r"))]
   ""
-  "rl%I2nm. %4,%1,%h2,%m3,%M3"
+  "{rl%I2nm.|rlw%I2nm.} %4,%1,%h2,%m3,%M3"
   [(set_attr "type" "delayed_compare")])
 
 (define_insn ""
@@ -1205,7 +2010,7 @@
    (set (match_operand:SI 0 "gpc_reg_operand" "=r")
 	(and:SI (rotate:SI (match_dup 1) (match_dup 2)) (match_dup 3)))]
   ""
-  "rl%I2nm. %0,%1,%h2,%m3,%M3"
+  "{rl%I2nm.|rlw%I2nm.} %0,%1,%h2,%m3,%M3"
   [(set_attr "type" "delayed_compare")])
 
 (define_insn ""
@@ -1215,7 +2020,7 @@
 	  (rotate:SI (match_operand:SI 1 "gpc_reg_operand" "r")
 		     (match_operand:SI 2 "reg_or_cint_operand" "ri")) 0)))]
   ""
-  "rl%I2nm %0,%1,%h2,24,31")
+  "{rl%I2nm|rlw%I2nm} %0,%1,%h2,0xff")
 
 (define_insn ""
   [(set (match_operand:CC 0 "cc_reg_operand" "=x")
@@ -1226,7 +2031,7 @@
 		    (const_int 0)))
    (clobber (match_scratch:SI 3 "=r"))]
   ""
-  "rl%I2nm. %3,%1,%h2,24,31"
+  "{rl%I2nm.|rlw%I2nm.} %3,%1,%h2,0xff"
   [(set_attr "type" "delayed_compare")])
 
 (define_insn ""
@@ -1239,7 +2044,7 @@
    (set (match_operand:SI 0 "gpc_reg_operand" "=r")
 	(zero_extend:SI (subreg:QI (rotate:SI (match_dup 1) (match_dup 2)) 0)))]
   ""
-  "rl%I2nm. %0,%1,%h2,24,31"
+  "{rl%I2nm.|rlw%I2nm.} %0,%1,%h2,0xff"
   [(set_attr "type" "delayed_compare")])
 
 (define_insn ""
@@ -1249,7 +2054,7 @@
 	  (rotate:SI (match_operand:SI 1 "gpc_reg_operand" "r")
 		     (match_operand:SI 2 "reg_or_cint_operand" "ri")) 0)))]
   ""
-  "rl%I2nm %0,%1,%h2,16,31")
+  "{rl%I2nm|rlw%I2nm} %0,%1,%h2,0xffff")
 
 (define_insn ""
   [(set (match_operand:CC 0 "cc_reg_operand" "=x")
@@ -1260,7 +2065,7 @@
 		    (const_int 0)))
    (clobber (match_scratch:SI 3 "=r"))]
   ""
-  "rl%I2nm. %3,%1,%h2,16,31"
+  "{rl%I2nm.|rlw%I2nm.} %3,%1,%h2,0xffff"
   [(set_attr "type" "delayed_compare")])
 
 (define_insn ""
@@ -1273,21 +2078,44 @@
    (set (match_operand:SI 0 "gpc_reg_operand" "=r")
 	(zero_extend:SI (subreg:HI (rotate:SI (match_dup 1) (match_dup 2)) 0)))]
   ""
-  "rl%I2nm. %0,%1,%h2,16,31"
+  "{rl%I2nm.|rlw%I2nm.} %0,%1,%h2,0xffff"
   [(set_attr "type" "delayed_compare")])
 
 ;; Note that we use "sle." instead of "sl." so that we can set
 ;; SHIFT_COUNT_TRUNCATED.
 
-(define_insn "ashlsi3"
+(define_expand "ashlsi3"
+  [(use (match_operand:SI 0 "gpc_reg_operand" ""))
+   (use (match_operand:SI 1 "gpc_reg_operand" ""))
+   (use (match_operand:SI 2 "reg_or_cint_operand" ""))]
+  ""
+  "
+{
+  if (TARGET_POWER)
+    emit_insn (gen_ashlsi3_power (operands[0], operands[1], operands[2]));
+  else
+    emit_insn (gen_ashlsi3_no_power (operands[0], operands[1], operands[2]));
+  DONE;
+}")
+
+(define_insn "ashlsi3_power"
   [(set (match_operand:SI 0 "gpc_reg_operand" "=r,r")
 	(ashift:SI (match_operand:SI 1 "gpc_reg_operand" "r,r")
 		   (match_operand:SI 2 "reg_or_cint_operand" "r,i")))
    (clobber (match_scratch:SI 3 "=q,X"))]
-  ""
+  "TARGET_POWER"
   "@
    sle %0,%1,%2
-   sli %0,%1,%h2")
+   {sli|slwi} %0,%1,%h2"
+  [(set_attr "length" "8")])
+
+(define_insn "ashlsi3_no_power"
+  [(set (match_operand:SI 0 "gpc_reg_operand" "=r")
+	(ashift:SI (match_operand:SI 1 "gpc_reg_operand" "r")
+		   (match_operand:SI 2 "reg_or_cint_operand" "ri")))]
+  "! TARGET_POWER"
+  "slw%I2 %0,%1,%h2"
+  [(set_attr "length" "8")])
 
 (define_insn ""
   [(set (match_operand:CC 0 "cc_reg_operand" "=x,x")
@@ -1296,10 +2124,20 @@
 		    (const_int 0)))
    (clobber (match_scratch:SI 3 "=r,r"))
    (clobber (match_scratch:SI 4 "=q,X"))]
-  ""
+  "TARGET_POWER"
   "@
    sle. %3,%1,%2
-   sli. %3,%1,%h2"
+   {sli.|slwi.} %3,%1,%h2"
+  [(set_attr "type" "delayed_compare")])
+
+(define_insn ""
+  [(set (match_operand:CC 0 "cc_reg_operand" "=x")
+	(compare:CC (ashift:SI (match_operand:SI 1 "gpc_reg_operand" "r")
+			       (match_operand:SI 2 "reg_or_cint_operand" "ri"))
+		    (const_int 0)))
+   (clobber (match_scratch:SI 3 "=r"))]
+  "! TARGET_POWER"
+  "slw%I2. %3,%1,%h2"
   [(set_attr "type" "delayed_compare")])
 
 (define_insn ""
@@ -1310,10 +2148,21 @@
    (set (match_operand:SI 0 "gpc_reg_operand" "=r,r")
 	(ashift:SI (match_dup 1) (match_dup 2)))
    (clobber (match_scratch:SI 4 "=q,X"))]
-  ""
+  "TARGET_POWER"
   "@
    sle. %0,%1,%2
-   sli. %0,%1,%h2"
+   {sli.|slwi.} %0,%1,%h2"
+  [(set_attr "type" "delayed_compare")])
+
+(define_insn ""
+  [(set (match_operand:CC 3 "cc_reg_operand" "=x")
+	(compare:CC (ashift:SI (match_operand:SI 1 "gpc_reg_operand" "r")
+			       (match_operand:SI 2 "reg_or_cint_operand" "ri"))
+		    (const_int 0)))
+   (set (match_operand:SI 0 "gpc_reg_operand" "=r")
+	(ashift:SI (match_dup 1) (match_dup 2)))]
+  "! TARGET_POWER"
+  "slw%I2. %0,%1,%h2"
   [(set_attr "type" "delayed_compare")])
 
 (define_insn ""
@@ -1322,7 +2171,7 @@
 			   (match_operand:SI 2 "const_int_operand" "i"))
 		(match_operand:SI 3 "mask_operand" "L")))]
   "includes_lshift_p (operands[2], operands[3])"
-  "rlinm %0,%h1,%h2,%m3,%M3")
+  "{rlinm|rlwinm} %0,%h1,%h2,%m3,%M3")
 
 (define_insn ""
   [(set (match_operand:CC 0 "cc_reg_operand" "=x")
@@ -1333,7 +2182,7 @@
 	 (const_int 0)))
    (clobber (match_scratch:SI 4 "=r"))]
   "includes_lshift_p (operands[2], operands[3])"
-  "rlinm. %4,%h1,%h2,%m3,%M3"
+  "{rlinm.|rlwinm.} %4,%h1,%h2,%m3,%M3"
   [(set_attr "type" "delayed_compare")])
 
 (define_insn ""
@@ -1346,20 +2195,41 @@
    (set (match_operand:SI 0 "gpc_reg_operand" "=r")
 	(and:SI (ashift:SI (match_dup 1) (match_dup 2)) (match_dup 3)))]
   "includes_lshift_p (operands[2], operands[3])"
-  "rlinm. %0,%h1,%h2,%m3,%M3"
+  "{rlinm.|rlwinm.} %0,%h1,%h2,%m3,%M3"
   [(set_attr "type" "delayed_compare")])
 
-;; The RS/6000 assembler mis-handles "sri x,x,0", so write that case as
+;; The AIX assembler mis-handles "sri x,x,0", so write that case as
 ;; "sli x,x,0".
-(define_insn "lshrsi3"
+(define_expand "lshrsi3"
+  [(use (match_operand:SI 0 "gpc_reg_operand" ""))
+   (use (match_operand:SI 1 "gpc_reg_operand" ""))
+   (use (match_operand:SI 2 "reg_or_cint_operand" ""))]
+  ""
+  "
+{
+  if (TARGET_POWER)
+    emit_insn (gen_lshrsi3_power (operands[0], operands[1], operands[2]));
+  else
+    emit_insn (gen_lshrsi3_no_power (operands[0], operands[1], operands[2]));
+  DONE;
+}")
+
+(define_insn "lshrsi3_power"
   [(set (match_operand:SI 0 "gpc_reg_operand" "=r,r")
 	(lshiftrt:SI (match_operand:SI 1 "gpc_reg_operand" "r,r")
 		     (match_operand:SI 2 "reg_or_cint_operand" "r,i")))
    (clobber (match_scratch:SI 3 "=q,X"))]
-  ""
+  "TARGET_POWER"
   "@
   sre %0,%1,%2
-  s%A2i %0,%1,%h2")
+  {s%A2i|s%A2wi} %0,%1,%h2")
+
+(define_insn "lshrsi3_no_power"
+  [(set (match_operand:SI 0 "gpc_reg_operand" "=r")
+	(lshiftrt:SI (match_operand:SI 1 "gpc_reg_operand" "r")
+		     (match_operand:SI 2 "reg_or_cint_operand" "ri")))]
+  "! TARGET_POWER"
+  "srw%I2 %0,%1,%h2")
 
 (define_insn ""
   [(set (match_operand:CC 0 "cc_reg_operand" "=x,x")
@@ -1368,10 +2238,20 @@
 		    (const_int 0)))
    (clobber (match_scratch:SI 3 "=r,r"))
    (clobber (match_scratch:SI 4 "=q,X"))]
-  ""
+  "TARGET_POWER"
   "@
   sre. %3,%1,%2
-  s%A2i. %3,%1,%h2"
+  {s%A2i.|s%A2wi.} %3,%1,%h2"
+  [(set_attr "type" "delayed_compare")])
+
+(define_insn ""
+  [(set (match_operand:CC 0 "cc_reg_operand" "=x")
+	(compare:CC (lshiftrt:SI (match_operand:SI 1 "gpc_reg_operand" "r")
+				 (match_operand:SI 2 "reg_or_cint_operand" "ri"))
+		    (const_int 0)))
+   (clobber (match_scratch:SI 3 "=r"))]
+  "! TARGET_POWER"
+  "srw%I2. %3,%1,%h2"
   [(set_attr "type" "delayed_compare")])
 
 (define_insn ""
@@ -1382,10 +2262,21 @@
    (set (match_operand:SI 0 "gpc_reg_operand" "=r,r")
 	(lshiftrt:SI (match_dup 1) (match_dup 2)))
    (clobber (match_scratch:SI 4 "=q,X"))]
-  ""
+  "TARGET_POWER"
   "@
   sre. %0,%1,%2
-  s%A2i. %0,%1,%h2"
+  {s%A2i.|s%A2wi.} %0,%1,%h2"
+  [(set_attr "type" "delayed_compare")])
+
+(define_insn ""
+  [(set (match_operand:CC 3 "cc_reg_operand" "=x")
+	(compare:CC (lshiftrt:SI (match_operand:SI 1 "gpc_reg_operand" "r")
+				 (match_operand:SI 2 "reg_or_cint_operand" "ri"))
+		    (const_int 0)))
+   (set (match_operand:SI 0 "gpc_reg_operand" "=r")
+	(lshiftrt:SI (match_dup 1) (match_dup 2)))]
+  "! TARGET_POWER"
+  "srw%I2. %0,%1,%h2"
   [(set_attr "type" "delayed_compare")])
 
 (define_insn ""
@@ -1394,7 +2285,7 @@
 			     (match_operand:SI 2 "const_int_operand" "i"))
 		(match_operand:SI 3 "mask_operand" "L")))]
   "includes_rshift_p (operands[2], operands[3])"
-  "rlinm %0,%1,%s2,%m3,%M3")
+  "{rlinm|rlwinm} %0,%1,%s2,%m3,%M3")
 
 (define_insn ""
   [(set (match_operand:CC 0 "cc_reg_operand" "=x")
@@ -1405,7 +2296,7 @@
 	 (const_int 0)))
    (clobber (match_scratch:SI 4 "=r"))]
   "includes_rshift_p (operands[2], operands[3])"
-  "rlinm. %4,%1,%s2,%m3,%M3"
+  "{rlinm.|rlwinm.} %4,%1,%s2,%m3,%M3"
   [(set_attr "type" "delayed_compare")])
 
 (define_insn ""
@@ -1418,7 +2309,7 @@
    (set (match_operand:SI 0 "gpc_reg_operand" "=r")
 	(and:SI (lshiftrt:SI (match_dup 1) (match_dup 2)) (match_dup 3)))]
   "includes_rshift_p (operands[2], operands[3])"
-  "rlinm. %0,%1,%s2,%m3,%M3"
+  "{rlinm.|rlwinm.} %0,%1,%s2,%m3,%M3"
   [(set_attr "type" "delayed_compare")])
 
 (define_insn ""
@@ -1428,7 +2319,7 @@
 	  (lshiftrt:SI (match_operand:SI 1 "gpc_reg_operand" "r")
 		       (match_operand:SI 2 "const_int_operand" "i")) 0)))]
   "includes_rshift_p (operands[2], gen_rtx (CONST_INT, VOIDmode, 255))"
-  "rlinm %0,%1,%s2,24,31")
+  "{rlinm|rlwinm} %0,%1,%s2,0xff")
 
 (define_insn ""
   [(set (match_operand:CC 0 "cc_reg_operand" "=x")
@@ -1440,7 +2331,7 @@
 	 (const_int 0)))
    (clobber (match_scratch:SI 3 "=r"))]
   "includes_rshift_p (operands[2], gen_rtx (CONST_INT, VOIDmode, 255))"
-  "rlinm. %3,%1,%s2,24,31"
+  "{rlinm.|rlwinm.} %3,%1,%s2,0xff"
   [(set_attr "type" "delayed_compare")])
 
 (define_insn ""
@@ -1454,7 +2345,7 @@
    (set (match_operand:SI 0 "gpc_reg_operand" "=r")
 	(zero_extend:SI (subreg:QI (lshiftrt:SI (match_dup 1) (match_dup 2)) 0)))]
   "includes_rshift_p (operands[2], gen_rtx (CONST_INT, VOIDmode, 255))"
-  "rlinm. %0,%1,%s2,24,31"
+  "{rlinm.|rlwinm.} %0,%1,%s2,0xff"
   [(set_attr "type" "delayed_compare")])
 
 (define_insn ""
@@ -1464,7 +2355,7 @@
 	  (lshiftrt:SI (match_operand:SI 1 "gpc_reg_operand" "r")
 		       (match_operand:SI 2 "const_int_operand" "i")) 0)))]
   "includes_rshift_p (operands[2], gen_rtx (CONST_INT, VOIDmode, 65535))"
-  "rlinm %0,%1,%s2,16,31")
+  "{rlinm|rlwinm} %0,%1,%s2,0xffff")
 
 (define_insn ""
   [(set (match_operand:CC 0 "cc_reg_operand" "=x")
@@ -1476,7 +2367,7 @@
 	 (const_int 0)))
    (clobber (match_scratch:SI 3 "=r"))]
   "includes_rshift_p (operands[2], gen_rtx (CONST_INT, VOIDmode, 65535))"
-  "rlinm. %3,%1,%s2,16,31"
+  "{rlinm.|rlwinm.} %3,%1,%s2,0xffff"
   [(set_attr "type" "delayed_compare")])
 
 (define_insn ""
@@ -1490,7 +2381,7 @@
    (set (match_operand:SI 0 "gpc_reg_operand" "=r")
 	(zero_extend:SI (subreg:HI (lshiftrt:SI (match_dup 1) (match_dup 2)) 0)))]
   "includes_rshift_p (operands[2], gen_rtx (CONST_INT, VOIDmode, 65535))"
-  "rlinm. %0,%1,%s2,16,31"
+  "{rlinm.|rlwinm.} %0,%1,%s2,0xffff"
   [(set_attr "type" "delayed_compare")])
 
 (define_insn ""
@@ -1499,7 +2390,7 @@
 			 (match_operand:SI 1 "gpc_reg_operand" "r"))
 	(ashiftrt:SI (match_operand:SI 2 "gpc_reg_operand" "r")
 		     (const_int 31)))]
-  ""
+  "TARGET_POWER"
   "rrib %0,%1,%2")
 
 (define_insn ""
@@ -1508,7 +2399,7 @@
 			 (match_operand:SI 1 "gpc_reg_operand" "r"))
 	(lshiftrt:SI (match_operand:SI 2 "gpc_reg_operand" "r")
 		     (const_int 31)))]
-  ""
+  "TARGET_POWER"
   "rrib %0,%1,%2")
 
 (define_insn ""
@@ -1518,18 +2409,39 @@
 	(zero_extract:SI (match_operand:SI 2 "gpc_reg_operand" "r")
 			 (const_int 1)
 			 (const_int 0)))]
-  ""
+  "TARGET_POWER"
   "rrib %0,%1,%2")
 
-(define_insn "ashrsi3"
+(define_expand "ashrsi3"
+  [(set (match_operand:SI 0 "gpc_reg_operand" "")
+	(ashiftrt:SI (match_operand:SI 1 "gpc_reg_operand" "")
+		     (match_operand:SI 2 "reg_or_cint_operand" "")))]
+  ""
+  "
+{
+  if (TARGET_POWER)
+    emit_insn (gen_ashrsi3_power (operands[0], operands[1], operands[2]));
+  else
+    emit_insn (gen_ashrsi3_no_power (operands[0], operands[1], operands[2]));
+  DONE;
+}")
+
+(define_insn "ashrsi3_power"
   [(set (match_operand:SI 0 "gpc_reg_operand" "=r,r")
 	(ashiftrt:SI (match_operand:SI 1 "gpc_reg_operand" "r,r")
 		     (match_operand:SI 2 "reg_or_cint_operand" "r,i")))
    (clobber (match_scratch:SI 3 "=q,X"))]
-  ""
+  "TARGET_POWER"
   "@
    srea %0,%1,%2
-   srai %0,%1,%h2")
+   {srai|srawi} %0,%1,%h2")
+
+(define_insn "ashrsi3_no_power"
+  [(set (match_operand:SI 0 "gpc_reg_operand" "=r")
+	(ashiftrt:SI (match_operand:SI 1 "gpc_reg_operand" "r")
+		     (match_operand:SI 2 "reg_or_cint_operand" "ri")))]
+  "! TARGET_POWER"
+  "sraw%I2 %0,%1,%h2")
 
 (define_insn ""
   [(set (match_operand:CC 0 "cc_reg_operand" "=x,x")
@@ -1538,10 +2450,20 @@
 		    (const_int 0)))
    (clobber (match_scratch:SI 3 "=r,r"))
    (clobber (match_scratch:SI 4 "=q,X"))]
-  ""
+  "TARGET_POWER"
   "@
    srea. %3,%1,%2
-   srai. %3,%1,%h2"
+   {srai.|srawi.} %3,%1,%h2"
+  [(set_attr "type" "delayed_compare")])
+
+(define_insn ""
+  [(set (match_operand:CC 0 "cc_reg_operand" "=x")
+	(compare:CC (ashiftrt:SI (match_operand:SI 1 "gpc_reg_operand" "r")
+				 (match_operand:SI 2 "reg_or_cint_operand" "ri"))
+		    (const_int 0)))
+   (clobber (match_scratch:SI 3 "=r"))]
+  "! TARGET_POWER"
+  "sraw%I2. %3,%1,%h2"
   [(set_attr "type" "delayed_compare")])
 
 (define_insn ""
@@ -1552,47 +2474,31 @@
    (set (match_operand:SI 0 "gpc_reg_operand" "=r,r")
 	(ashiftrt:SI (match_dup 1) (match_dup 2)))
    (clobber (match_scratch:SI 4 "=q,X"))]
-  ""
+  "TARGET_POWER"
   "@
    srea. %0,%1,%2
-   srai. %0,%1,%h2"
+   {srai.|srawi.} %0,%1,%h2"
   [(set_attr "type" "delayed_compare")])
 
-(define_expand "extendqisi2"
-  [(parallel [(set (match_dup 2)
-		   (ashift:SI (match_operand:QI 1 "gpc_reg_operand" "")
-			      (const_int 24)))
-	      (clobber (scratch:SI))])
-   (parallel [(set (match_operand:SI 0 "gpc_reg_operand" "")
-		   (ashiftrt:SI (match_dup 2)
-				(const_int 24)))
-	      (clobber (scratch:SI))])]
-  ""
-  "
-{ operands[1] = gen_lowpart (SImode, operands[1]);
-  operands[2] = gen_reg_rtx (SImode); }")
-
-(define_expand "extendqihi2"
-  [(parallel [(set (match_dup 2)
-		   (ashift:SI (match_operand:QI 1 "gpc_reg_operand" "")
-			      (const_int 24)))
-	      (clobber (scratch:SI))])
-   (parallel [(set (match_operand:HI 0 "gpc_reg_operand" "")
-		   (ashiftrt:SI (match_dup 2)
-				(const_int 24)))
-	      (clobber (scratch:SI))])]
-  ""
-  "
-{ operands[0] = gen_lowpart (SImode, operands[0]);
-  operands[1] = gen_lowpart (SImode, operands[1]);
-  operands[2] = gen_reg_rtx (SImode); }")
+(define_insn ""
+  [(set (match_operand:CC 3 "cc_reg_operand" "=x")
+	(compare:CC (ashiftrt:SI (match_operand:SI 1 "gpc_reg_operand" "r")
+				 (match_operand:SI 2 "reg_or_cint_operand" "ri"))
+		    (const_int 0)))
+   (set (match_operand:SI 0 "gpc_reg_operand" "=r")
+	(ashiftrt:SI (match_dup 1) (match_dup 2)))]
+  "! TARGET_POWER"
+  "sraw%I2. %0,%1,%h2"
+  [(set_attr "type" "delayed_compare")])
 
 ;; Floating-point insns, excluding normal data motion.
 ;;
-;; We pretend that we have both SFmode and DFmode insns, while, in fact,
-;; all fp insns are actually done in double.  The only conversions we will
-;; do will be when storing to memory.  In that case, we will use the "frsp"
-;; instruction before storing.
+;; PowerPC has a full set of single-precision floating point instructions.
+;;
+;; For the POWER architecture, we pretend that we have both SFmode and
+;; DFmode insns, while, in fact, all fp insns are actually done in double.
+;; The only conversions we will do will be when storing to memory.  In that
+;; case, we will use the "frsp" instruction before storing.
 ;;
 ;; Note that when we store into a single-precision memory location, we need to
 ;; use the frsp insn first.  If the register being stored isn't dead, we
@@ -1618,13 +2524,7 @@
   [(set (match_operand:SF 0 "gpc_reg_operand" "=f")
 	(float_truncate:SF (match_operand:DF 1 "gpc_reg_operand" "f")))]
   ""
-  "*
-{
-  if (REGNO (operands[0]) == REGNO (operands[1]))
-    return \"\";
-  else
-    return \"fmr %0,%1\";
-}"
+  "frsp %0,%1"
   [(set_attr "type" "fp")])
 
 (define_insn "negsf2"
@@ -1648,36 +2548,105 @@
   "fnabs %0,%1"
   [(set_attr "type" "fp")])
 
-(define_insn "addsf3"
+(define_expand "addsf3"
+  [(set (match_operand:SF 0 "gpc_reg_operand" "")
+	(plus:SF (match_operand:SF 1 "gpc_reg_operand" "")
+		 (match_operand:SF 2 "gpc_reg_operand" "")))]
+  ""
+  "")
+
+(define_insn ""
+  [(set (match_operand:SF 0 "gpc_reg_operand" "=f")
+	(plus:SF (match_operand:SF 1 "gpc_reg_operand" "%f")
+		 (match_operand:SF 2 "gpc_reg_operand" "f")))]
+  "TARGET_POWERPC"
+  "fadds %0,%1,%2"
+  [(set_attr "type" "fp")])
+
+(define_insn ""
   [(set (match_operand:SF 0 "gpc_reg_operand" "=f")
 	(plus:SF (match_operand:SF 1 "gpc_reg_operand" "%f")
 		 (match_operand:SF 2 "gpc_reg_operand" "f")))]
+  "! TARGET_POWERPC"
+  "{fa|fadd} %0,%1,%2"
+  [(set_attr "type" "fp")])
+
+(define_expand "subsf3"
+  [(set (match_operand:SF 0 "gpc_reg_operand" "")
+	(minus:SF (match_operand:SF 1 "gpc_reg_operand" "")
+		  (match_operand:SF 2 "gpc_reg_operand" "")))]
   ""
-  "fa %0,%1,%2"
+  "")
+
+(define_insn ""
+  [(set (match_operand:SF 0 "gpc_reg_operand" "=f")
+	(minus:SF (match_operand:SF 1 "gpc_reg_operand" "f")
+		  (match_operand:SF 2 "gpc_reg_operand" "f")))]
+  "TARGET_POWERPC"
+  "fsubs %0,%1,%2"
   [(set_attr "type" "fp")])
 
-(define_insn "subsf3"
+(define_insn ""
   [(set (match_operand:SF 0 "gpc_reg_operand" "=f")
 	(minus:SF (match_operand:SF 1 "gpc_reg_operand" "f")
 		  (match_operand:SF 2 "gpc_reg_operand" "f")))]
+  "! TARGET_POWERPC"
+  "{fs|fsub} %0,%1,%2"
+  [(set_attr "type" "fp")])
+
+(define_expand "mulsf3"
+  [(set (match_operand:SF 0 "gpc_reg_operand" "")
+	(mult:SF (match_operand:SF 1 "gpc_reg_operand" "")
+		 (match_operand:SF 2 "gpc_reg_operand" "")))]
   ""
-  "fs %0,%1,%2"
+  "")
+
+(define_insn ""
+  [(set (match_operand:SF 0 "gpc_reg_operand" "=f")
+	(mult:SF (match_operand:SF 1 "gpc_reg_operand" "%f")
+		 (match_operand:SF 2 "gpc_reg_operand" "f")))]
+  "TARGET_POWERPC"
+  "fmuls %0,%1,%2"
   [(set_attr "type" "fp")])
 
-(define_insn "mulsf3"
+(define_insn ""
   [(set (match_operand:SF 0 "gpc_reg_operand" "=f")
 	(mult:SF (match_operand:SF 1 "gpc_reg_operand" "%f")
 		 (match_operand:SF 2 "gpc_reg_operand" "f")))]
-  ""
-  "fm %0,%1,%2"
+  "! TARGET_POWERPC"
+  "{fm|fmul} %0,%1,%2"
   [(set_attr "type" "fp")])
 
-(define_insn "divsf3"
+(define_expand "divsf3"
+  [(set (match_operand:SF 0 "gpc_reg_operand" "")
+	(div:SF (match_operand:SF 1 "gpc_reg_operand" "")
+		(match_operand:SF 2 "gpc_reg_operand" "")))]
+  ""
+  "")
+
+(define_insn ""
   [(set (match_operand:SF 0 "gpc_reg_operand" "=f")
 	(div:SF (match_operand:SF 1 "gpc_reg_operand" "f")
 		(match_operand:SF 2 "gpc_reg_operand" "f")))]
-  ""
-  "fd %0,%1,%2"
+  "TARGET_POWERPC"
+  "fdivs %0,%1,%2"
+  [(set_attr "type" "sdiv")])
+
+(define_insn ""
+  [(set (match_operand:SF 0 "gpc_reg_operand" "=f")
+	(div:SF (match_operand:SF 1 "gpc_reg_operand" "f")
+		(match_operand:SF 2 "gpc_reg_operand" "f")))]
+  "! TARGET_POWERPC"
+  "{fd|fdiv} %0,%1,%2"
+  [(set_attr "type" "sdiv")])
+
+(define_insn ""
+  [(set (match_operand:SF 0 "gpc_reg_operand" "=f")
+	(plus:SF (mult:SF (match_operand:SF 1 "gpc_reg_operand" "%f")
+			  (match_operand:SF 2 "gpc_reg_operand" "f"))
+		 (match_operand:SF 3 "gpc_reg_operand" "f")))]
+  "TARGET_POWERPC"
+  "fmadds %0,%1,%2,%3"
   [(set_attr "type" "fp")])
 
 (define_insn ""
@@ -1685,8 +2654,8 @@
 	(plus:SF (mult:SF (match_operand:SF 1 "gpc_reg_operand" "%f")
 			  (match_operand:SF 2 "gpc_reg_operand" "f"))
 		 (match_operand:SF 3 "gpc_reg_operand" "f")))]
-  ""
-  "fma %0,%1,%2,%3"
+  "! TARGET_POWERPC"
+  "{fma|fmadd} %0,%1,%2,%3"
   [(set_attr "type" "fp")])
 
 (define_insn ""
@@ -1694,8 +2663,17 @@
 	(minus:SF (mult:SF (match_operand:SF 1 "gpc_reg_operand" "%f")
 			   (match_operand:SF 2 "gpc_reg_operand" "f"))
 		  (match_operand:SF 3 "gpc_reg_operand" "f")))]
-  ""
-  "fms %0,%1,%2,%3"
+  "TARGET_POWERPC"
+  "fmsubs %0,%1,%2,%3"
+  [(set_attr "type" "fp")])
+
+(define_insn ""
+  [(set (match_operand:SF 0 "gpc_reg_operand" "=f")
+	(minus:SF (mult:SF (match_operand:SF 1 "gpc_reg_operand" "%f")
+			   (match_operand:SF 2 "gpc_reg_operand" "f"))
+		  (match_operand:SF 3 "gpc_reg_operand" "f")))]
+  "! TARGET_POWERPC"
+  "{fms|fmsub} %0,%1,%2,%3"
   [(set_attr "type" "fp")])
 
 (define_insn ""
@@ -1703,8 +2681,17 @@
 	(neg:SF (plus:SF (mult:SF (match_operand:SF 1 "gpc_reg_operand" "%f")
 				  (match_operand:SF 2 "gpc_reg_operand" "f"))
 			 (match_operand:SF 3 "gpc_reg_operand" "f"))))]
-  ""
-  "fnma %0,%1,%2,%3"
+  "TARGET_POWERPC"
+  "fnmadds %0,%1,%2,%3"
+  [(set_attr "type" "fp")])
+
+(define_insn ""
+  [(set (match_operand:SF 0 "gpc_reg_operand" "=f")
+	(neg:SF (plus:SF (mult:SF (match_operand:SF 1 "gpc_reg_operand" "%f")
+				  (match_operand:SF 2 "gpc_reg_operand" "f"))
+			 (match_operand:SF 3 "gpc_reg_operand" "f"))))]
+  "! TARGET_POWERPC"
+  "{fnma|fnmadd} %0,%1,%2,%3"
   [(set_attr "type" "fp")])
 
 (define_insn ""
@@ -1712,8 +2699,107 @@
 	(neg:SF (minus:SF (mult:SF (match_operand:SF 1 "gpc_reg_operand" "%f")
 				   (match_operand:SF 2 "gpc_reg_operand" "f"))
 			  (match_operand:SF 3 "gpc_reg_operand" "f"))))]
-  ""
-  "fnms %0,%1,%2,%3"
+  "TARGET_POWERPC"
+  "fnmsubs %0,%1,%2,%3"
+  [(set_attr "type" "fp")])
+
+(define_insn ""
+  [(set (match_operand:SF 0 "gpc_reg_operand" "=f")
+	(neg:SF (minus:SF (mult:SF (match_operand:SF 1 "gpc_reg_operand" "%f")
+				   (match_operand:SF 2 "gpc_reg_operand" "f"))
+			  (match_operand:SF 3 "gpc_reg_operand" "f"))))]
+  "! TARGET_POWERPC"
+  "{fnms|fnmsub} %0,%1,%2,%3"
+  [(set_attr "type" "fp")])
+
+(define_expand "sqrtsf2"
+  [(set (match_operand:SF 0 "gpc_reg_operand" "")
+	(sqrt:SF (match_operand:SF 1 "gpc_reg_operand" "")))]
+  "TARGET_PPC_GPOPT || TARGET_POWER2"
+  "")
+
+(define_insn ""
+  [(set (match_operand:SF 0 "gpc_reg_operand" "=f")
+	(sqrt:SF (match_operand:SF 1 "gpc_reg_operand" "f")))]
+  "TARGET_PPC_GPOPT"
+  "fsqrts %0,%1"
+  [(set_attr "type" "ssqrt")])
+
+(define_insn ""
+  [(set (match_operand:SF 0 "gpc_reg_operand" "=f")
+	(sqrt:SF (match_operand:SF 1 "gpc_reg_operand" "f")))]
+  "TARGET_POWER2"
+  "fsqrt %0,%1"
+  [(set_attr "type" "dsqrt")])
+
+;; For SMIN, SMAX, UMIN, and UMAX, we use DEFINE_EXPAND's that involve a fsel
+;; instruction and some auxiliary computations.  Then we just have a single
+;; DEFINE_INSN for fsel and the define_splits to make them if made by
+;; combine.
+(define_expand "maxsf3"
+  [(set (match_dup 3)
+	(minus:SF (match_operand:SF 1 "gpc_reg_operand" "")
+		  (match_operand:SF 2 "gpc_reg_operand" "")))
+   (set (match_operand:SF 0 "gpc_reg_operand" "")
+	(if_then_else:SF (ge (match_dup 3)
+			     (const_int 0))
+			 (match_dup 1)
+			 (match_dup 2)))]
+  "TARGET_PPC_GFXOPT"
+  "
+{ operands[3] = gen_reg_rtx (SFmode); }")
+
+(define_split
+  [(set (match_operand:SF 0 "gpc_reg_operand" "")
+	(smax:SF (match_operand:SF 1 "gpc_reg_operand" "")
+		 (match_operand:SF 2 "gpc_reg_operand" "")))
+   (clobber (match_operand:SF 3 "gpc_reg_operand" ""))]
+  "TARGET_PPC_GFXOPT"
+  [(set (match_dup 3)
+	(minus:SF (match_dup 1) (match_dup 2)))
+   (set (match_operand:SF 0 "gpc_reg_operand" "")
+	(if_then_else:SF (ge (match_dup 3)
+			     (const_int 0))
+			 (match_dup 1)
+			 (match_dup 2)))]
+  "")
+
+(define_expand "minsf3"
+  [(set (match_dup 3)
+	(minus:SF (match_operand:SF 2 "gpc_reg_operand" "")
+		  (match_operand:SF 1 "gpc_reg_operand" "")))
+   (set (match_operand:SF 0 "gpc_reg_operand" "")
+	(if_then_else:SF (ge (match_dup 3)
+			     (const_int 0))
+			 (match_dup 1)
+			 (match_dup 2)))]
+  "TARGET_PPC_GFXOPT"
+  "
+{ operands[3] = gen_reg_rtx (SFmode); }")
+
+(define_split
+  [(set (match_operand:SF 0 "gpc_reg_operand" "")
+	(smin:SF (match_operand:SF 1 "gpc_reg_operand" "")
+		 (match_operand:SF 2 "gpc_reg_operand" "")))
+   (clobber (match_operand:SF 3 "gpc_reg_operand" ""))]
+  "TARGET_PPC_GFXOPT"
+  [(set (match_dup 3)
+	(minus:SF (match_dup 2) (match_dup 1)))
+   (set (match_operand:SF 0 "gpc_reg_operand" "")
+	(if_then_else:SF (ge (match_dup 3)
+			     (const_int 0))
+			 (match_dup 1)
+			 (match_dup 2)))]
+  "")
+
+(define_insn ""
+  [(set (match_operand:SF 0 "gpc_reg_operand" "=f")
+	(if_then_else:SF (ge (match_operand:SF 1 "gpc_reg_operand" "f")
+			     (const_int 0))
+			 (match_operand:SF 2 "gpc_reg_operand" "f")
+			 (match_operand:SF 3 "gpc_reg_operand" "f")))]
+  "TARGET_PPC_GFXOPT"
+  "fsel %0,%1,%2,%3"
   [(set_attr "type" "fp")])
 
 (define_insn "negdf2"
@@ -1742,7 +2828,7 @@
 	(plus:DF (match_operand:DF 1 "gpc_reg_operand" "%f")
 		 (match_operand:DF 2 "gpc_reg_operand" "f")))]
   ""
-  "fa %0,%1,%2"
+  "{fa|fadd} %0,%1,%2"
   [(set_attr "type" "fp")])
 
 (define_insn "subdf3"
@@ -1750,7 +2836,7 @@
 	(minus:DF (match_operand:DF 1 "gpc_reg_operand" "f")
 		  (match_operand:DF 2 "gpc_reg_operand" "f")))]
   ""
-  "fs %0,%1,%2"
+  "{fs|fsub} %0,%1,%2"
   [(set_attr "type" "fp")])
 
 (define_insn "muldf3"
@@ -1758,16 +2844,16 @@
 	(mult:DF (match_operand:DF 1 "gpc_reg_operand" "%f")
 		 (match_operand:DF 2 "gpc_reg_operand" "f")))]
   ""
-  "fm %0,%1,%2"
-  [(set_attr "type" "fp")])
+  "{fm|fmul} %0,%1,%2"
+  [(set_attr "type" "dmul")])
 
 (define_insn "divdf3"
   [(set (match_operand:DF 0 "gpc_reg_operand" "=f")
 	(div:DF (match_operand:DF 1 "gpc_reg_operand" "f")
 		(match_operand:DF 2 "gpc_reg_operand" "f")))]
   ""
-  "fd %0,%1,%2"
-  [(set_attr "type" "fp")])
+  "{fd|fdiv} %0,%1,%2"
+  [(set_attr "type" "ddiv")])
 
 (define_insn ""
   [(set (match_operand:DF 0 "gpc_reg_operand" "=f")
@@ -1775,8 +2861,8 @@
 			  (match_operand:DF 2 "gpc_reg_operand" "f"))
 		 (match_operand:DF 3 "gpc_reg_operand" "f")))]
   ""
-  "fma %0,%1,%2,%3"
-  [(set_attr "type" "fp")])
+  "{fma|fmadd} %0,%1,%2,%3"
+  [(set_attr "type" "dmul")])
 
 (define_insn ""
   [(set (match_operand:DF 0 "gpc_reg_operand" "=f")
@@ -1784,8 +2870,8 @@
 			   (match_operand:DF 2 "gpc_reg_operand" "f"))
 		  (match_operand:DF 3 "gpc_reg_operand" "f")))]
   ""
-  "fms %0,%1,%2,%3"
-  [(set_attr "type" "fp")])
+  "{fms|fmsub} %0,%1,%2,%3"
+  [(set_attr "type" "dmul")])
 
 (define_insn ""
   [(set (match_operand:DF 0 "gpc_reg_operand" "=f")
@@ -1793,8 +2879,8 @@
 				  (match_operand:DF 2 "gpc_reg_operand" "f"))
 			 (match_operand:DF 3 "gpc_reg_operand" "f"))))]
   ""
-  "fnma %0,%1,%2,%3"
-  [(set_attr "type" "fp")])
+  "{fnma|fnmadd} %0,%1,%2,%3"
+  [(set_attr "type" "dmul")])
 
 (define_insn ""
   [(set (match_operand:DF 0 "gpc_reg_operand" "=f")
@@ -1802,7 +2888,85 @@
 				   (match_operand:DF 2 "gpc_reg_operand" "f"))
 			  (match_operand:DF 3 "gpc_reg_operand" "f"))))]
   ""
-  "fnms %0,%1,%2,%3"
+  "{fnms|fnmsub} %0,%1,%2,%3"
+  [(set_attr "type" "dmul")])
+
+(define_insn "sqrtdf2"
+  [(set (match_operand:DF 0 "gpc_reg_operand" "=f")
+	(sqrt:DF (match_operand:DF 1 "gpc_reg_operand" "f")))]
+  "TARGET_PPC_GPOPT || TARGET_POWER2"
+  "fsqrt %0,%1"
+  [(set_attr "type" "dsqrt")])
+
+;; For SMIN, SMAX, UMIN, and UMAX, we use DEFINE_EXPAND's that involve a fsel
+;; instruction and some auxiliary computations.  Then we just have a single
+;; DEFINE_INSN for fsel and the define_splits to make them if made by
+;; combine.
+
+(define_expand "maxdf3"
+  [(set (match_dup 3)
+	(minus:DF (match_operand:DF 1 "gpc_reg_operand" "")
+		  (match_operand:DF 2 "gpc_reg_operand" "")))
+   (set (match_operand:DF 0 "gpc_reg_operand" "")
+	(if_then_else:DF (ge (match_dup 3)
+			     (const_int 0))
+			 (match_dup 1)
+			 (match_dup 2)))]
+  "TARGET_PPC_GFXOPT"
+  "
+{ operands[3] = gen_reg_rtx (DFmode); }")
+
+(define_split
+  [(set (match_operand:DF 0 "gpc_reg_operand" "")
+	(smax:DF (match_operand:DF 1 "gpc_reg_operand" "")
+		 (match_operand:DF 2 "gpc_reg_operand" "")))
+   (clobber (match_operand:DF 3 "gpc_reg_operand" ""))]
+  "TARGET_PPC_GFXOPT"
+  [(set (match_dup 3)
+	(minus:DF (match_dup 1) (match_dup 2)))
+   (set (match_operand:DF 0 "gpc_reg_operand" "")
+	(if_then_else:DF (ge (match_dup 3)
+			     (const_int 0))
+			 (match_dup 1)
+			 (match_dup 2)))]
+  "")
+
+(define_expand "mindf3"
+  [(set (match_dup 3)
+	(minus:DF (match_operand:DF 2 "gpc_reg_operand" "")
+		  (match_operand:DF 1 "gpc_reg_operand" "")))
+   (set (match_operand:DF 0 "gpc_reg_operand" "")
+	(if_then_else:DF (ge (match_dup 3)
+			     (const_int 0))
+			 (match_dup 1)
+			 (match_dup 2)))]
+  "TARGET_PPC_GFXOPT"
+  "
+{ operands[3] = gen_reg_rtx (DFmode); }")
+
+(define_split
+  [(set (match_operand:DF 0 "gpc_reg_operand" "")
+	(smin:DF (match_operand:DF 1 "gpc_reg_operand" "")
+		 (match_operand:DF 2 "gpc_reg_operand" "")))
+   (clobber (match_operand:DF 3 "gpc_reg_operand" ""))]
+  "TARGET_PPC_GFXOPT"
+  [(set (match_dup 3)
+	(minus:DF (match_dup 2) (match_dup 1)))
+   (set (match_operand:DF 0 "gpc_reg_operand" "")
+	(if_then_else:DF (ge (match_dup 3)
+			     (const_int 0))
+			 (match_dup 1)
+			 (match_dup 2)))]
+  "")
+
+(define_insn ""
+  [(set (match_operand:DF 0 "gpc_reg_operand" "=f")
+	(if_then_else:DF (ge (match_operand:DF 1 "gpc_reg_operand" "f")
+			     (const_int 0))
+			 (match_operand:DF 2 "gpc_reg_operand" "f")
+			 (match_operand:DF 3 "gpc_reg_operand" "f")))]
+  "TARGET_PPC_GFXOPT"
+  "fsel %0,%1,%2,%3"
   [(set_attr "type" "fp")])
 
 ;; Conversions to and from floating-point.
@@ -1879,7 +3043,8 @@
   "HOST_BITS_PER_INT == BITS_PER_WORD
    && GET_CODE (operands[3]) == CONST_DOUBLE
    && CONST_DOUBLE_LOW (operands[3]) == 0"
-  "#")
+  "#"
+  [(set_attr "length" "8")])
   
 (define_split
   [(set (match_operand:DI 0 "gpc_reg_operand" "=")
@@ -1917,7 +3082,8 @@
   "HOST_BITS_PER_INT == BITS_PER_WORD
    && GET_CODE (operands[2]) == CONST_DOUBLE
    && CONST_DOUBLE_LOW (operands[2]) == 0"
-  "#")
+  "#"
+  [(set_attr "length" "8")])
 
 (define_expand "fix_truncdfsi2"
   [(set (match_operand:SI 0 "gpc_reg_operand" "")
@@ -1925,23 +3091,44 @@
   ""
   "
 {
-  emit_insn (gen_trunc_call (operands[0], operands[1],
-			     gen_rtx (SYMBOL_REF, Pmode, \"itrunc\")));
-  DONE;
+  if (TARGET_POWER2 || TARGET_POWERPC)
+    {
+      rtx stack_slot = assign_stack_temp (DImode, 8, 0),
+	temp = gen_reg_rtx (DImode);
+
+      emit_insn (gen_fpcvtsi (temp, operands[1]));
+      emit_move_insn (stack_slot, temp);
+      emit_move_insn (operands[0],
+		      operand_subword (stack_slot, 1, 0, DImode));
+      DONE;
+    }
+  else
+    {
+      emit_insn (gen_trunc_call (operands[0], operands[1],
+				 gen_rtx (SYMBOL_REF, Pmode, RS6000_ITRUNC)));
+      DONE;
+    }
 }")
 
+(define_insn "fpcvtsi"
+  [(set (match_operand:DI 0 "gpc_reg_operand" "=f")
+	(sign_extend:DI
+	 (fix:SI (match_operand:DF 1 "gpc_reg_operand" "f"))))]
+  "TARGET_POWER2 || TARGET_POWERPC"
+  "{fcirz|fctiwz} %0,%1"
+  [(set_attr "type" "fp")])
+
 (define_expand "fixuns_truncdfsi2"
   [(set (match_operand:SI 0 "gpc_reg_operand" "")
 	(unsigned_fix:SI (match_operand:DF 1 "gpc_reg_operand" "")))]
-  ""
+  "! TARGET_POWER2 && ! TARGET_POWERPC"
   "
 {
   emit_insn (gen_trunc_call (operands[0], operands[1],
-			     gen_rtx (SYMBOL_REF, Pmode, \"uitrunc\")));
+			     gen_rtx (SYMBOL_REF, Pmode, RS6000_UITRUNC)));
   DONE;
 }")
 
-
 (define_expand "trunc_call"
   [(parallel [(set (match_operand:SI 0 "" "")
 		   (fix:SI (match_operand:DF 1 "" "")))
@@ -1974,40 +3161,202 @@
 { 
   rs6000_trunc_used = 1;
 }")
+
+(define_insn "floatdidf2"
+  [(set (match_operand:DF 0 "gpc_reg_operand" "=f")
+	(float:DF (match_operand:DI 1 "gpc_reg_operand" "f")))]
+  "TARGET_POWERPC64"
+  "fcfid %0,%1"
+  [(set_attr "type" "fp")])
+
+(define_insn "fix_truncdfdi2"
+  [(set (match_operand:DI 0 "gpc_reg_operand" "=f")
+	(fix:DI (match_operand:DF 1 "gpc_reg_operand" "f")))]
+  "TARGET_POWERPC64"
+  "fctidz %0,%1"
+  [(set_attr "type" "fp")])
 
 ;; Define the DImode operations that can be done in a small number
 ;; of instructions.
-(define_insn "adddi3"
+(define_expand "adddi3"
+  [(set (match_operand:DI 0 "gpc_reg_operand" "")
+	(plus:DI (match_operand:DI 1 "gpc_reg_operand" "")
+		 (match_operand:DI 2 "reg_or_short_operand" "")))]
+  ""
+  "
+{
+  if (! TARGET_POWER && ! TARGET_POWERPC64
+      && short_cint_operand (operands[2], DImode))
+    FAIL;
+}")
+
+(define_insn ""
   [(set (match_operand:DI 0 "gpc_reg_operand" "=r,r")
 	(plus:DI (match_operand:DI 1 "gpc_reg_operand" "%r,r")
 		 (match_operand:DI 2 "reg_or_short_operand" "r,I")))]
-  ""
+  "TARGET_POWER && ! TARGET_POWERPC64"
   "@
-   a %L0,%L1,%L2\;ae %0,%1,%2
-   ai %L0,%L1,%2\;a%G2e %0,%1")
+   {a|addc} %L0,%L1,%L2\;{ae|adde} %0,%1,%2
+   {ai|addic} %L0,%L1,%2\;{a%G2e|add%G2e} %0,%1"
+  [(set_attr "length" "8")])
+
+(define_insn ""
+  [(set (match_operand:DI 0 "gpc_reg_operand" "=r")
+	(plus:DI (match_operand:DI 1 "gpc_reg_operand" "%r")
+		 (match_operand:DI 2 "gpc_reg_operand" "r")))]
+  "! TARGET_POWER && ! TARGET_POWERPC64"
+  "addc %L0,%L1,%L2\;adde %0,%1,%2"
+  [(set_attr "length" "8")])
 
-(define_insn "subdi3"
+(define_expand "subdi3"
   [(set (match_operand:DI 0 "gpc_reg_operand" "=r,r")
 	(minus:DI (match_operand:DI 1 "reg_or_short_operand" "r,I")
 		  (match_operand:DI 2 "gpc_reg_operand" "r,r")))]
   ""
+  "
+{
+  if (! TARGET_POWER && ! TARGET_POWERPC64
+      && short_cint_operand (operands[1], DImode))
+    FAIL;
+}")
+
+(define_insn ""
+  [(set (match_operand:DI 0 "gpc_reg_operand" "=r,r")
+	(minus:DI (match_operand:DI 1 "reg_or_short_operand" "r,I")
+		  (match_operand:DI 2 "gpc_reg_operand" "r,r")))]
+  "TARGET_POWER && ! TARGET_POWERPC64"
   "@
-   sf %L0,%L2,%L1\;sfe %0,%2,%1
-   sfi %L0,%L2,%1\;sf%G1e %0,%2")
+   {sf|subfc} %L0,%L2,%L1\;{sfe|subfe} %0,%2,%1
+   {sfi|subfic} %L0,%L2,%1\;{sf%G1e|subf%G1e} %0,%2"
+  [(set_attr "length" "8")])
+
+(define_insn ""
+  [(set (match_operand:DI 0 "gpc_reg_operand" "=r")
+	(minus:DI (match_operand:DI 1 "gpc_reg_operand" "r")
+		  (match_operand:DI 2 "gpc_reg_operand" "r")))]
+  "! TARGET_POWER && ! TARGET_POWERPC64"
+  "subfc %L0,%L2,%L1\;subfe %0,%2,%1"
+  [(set_attr "length" "8")])
+
+(define_expand "negdi2"
+  [(set (match_operand:DI 0 "gpc_reg_operand" "=r")
+	(neg:DI (match_operand:DI 1 "gpc_reg_operand" "r")))]
+  ""
+  "")
 
-(define_insn "negdi2"
+(define_insn ""
   [(set (match_operand:DI 0 "gpc_reg_operand" "=r")
 	(neg:DI (match_operand:DI 1 "gpc_reg_operand" "r")))]
+  "! TARGET_POWERPC64"
+  "{sfi|subfic} %L0,%L1,0\;{sfze|subfze} %0,%1"
+  [(set_attr "length" "8")])
+
+(define_expand "mulsidi3"
+  [(set (match_operand:DI 0 "gpc_reg_operand" "")
+	(mult:DI (sign_extend:DI (match_operand:SI 1 "gpc_reg_operand" ""))
+		 (sign_extend:DI (match_operand:SI 2 "gpc_reg_operand" ""))))]
   ""
-  "sfi %L0,%L1,0\;sfze %0,%1")
+  "
+{
+  if (! TARGET_POWER && ! TARGET_POWERPC)
+    {
+      emit_move_insn (gen_rtx (REG, SImode, 3), operands[1]);
+      emit_move_insn (gen_rtx (REG, SImode, 4), operands[2]);
+      emit_insn (gen_mull_call ());
+      emit_move_insn (operand_subword (operands[0], 0, 0, DImode),
+		      gen_rtx (REG, SImode, 3));
+      emit_move_insn (operand_subword (operands[0], 1, 0, DImode),
+		      gen_rtx (REG, SImode, 4));
+      DONE;
+    }
+  else if (TARGET_POWER)
+    {
+      emit_insn (gen_mulsidi3_mq (operands[0], operands[1], operands[2]));
+      DONE;
+    }
+}")
 
-(define_insn "mulsidi3"
+(define_insn "mulsidi3_mq"
   [(set (match_operand:DI 0 "gpc_reg_operand" "=r")
-	(mult:DI (sign_extend:DI (match_operand:SI 1 "gpc_reg_operand" "r"))
+	(mult:DI (sign_extend:DI (match_operand:SI 1 "gpc_reg_operand" "%r"))
 		 (sign_extend:DI (match_operand:SI 2 "gpc_reg_operand" "r"))))
    (clobber (match_scratch:SI 3 "=q"))]
+  "TARGET_POWER"
+  "mul %0,%1,%2\;mfmq %L0"
+  [(set_attr "type" "imul")
+   (set_attr "length" "8")])
+
+(define_insn ""
+  [(set (match_operand:DI 0 "gpc_reg_operand" "=&r")
+	(mult:DI (sign_extend:DI (match_operand:SI 1 "gpc_reg_operand" "%r"))
+		 (sign_extend:DI (match_operand:SI 2 "gpc_reg_operand" "r"))))]
+  "TARGET_POWERPC && ! TARGET_POWERPC64"
+  "mulhw %0,%1,%2\;mullw %L0,%1,%2"
+  [(set_attr "type" "imul")
+   (set_attr "length" "8")])
+
+(define_expand "smulsi3_highpart"
+  [(set (match_operand:SI 0 "gpc_reg_operand" "")
+	(truncate:SI
+	 (lshiftrt:DI (mult:DI (sign_extend:DI
+				(match_operand:SI 1 "gpc_reg_operand" "%r"))
+			       (sign_extend:DI
+				(match_operand:SI 2 "gpc_reg_operand" "r")))
+		      (const_int 32))))]
   ""
-  "mul %0,%1,%2\;mfmq %L0")
+  "
+{
+  if (! TARGET_POWER && ! TARGET_POWERPC)
+    {
+      emit_move_insn (gen_rtx (REG, SImode, 3), operands[1]);
+      emit_move_insn (gen_rtx (REG, SImode, 4), operands[2]);
+      emit_insn (gen_mulh_call ());
+      emit_move_insn (operands[0], gen_rtx (REG, SImode, 3));
+      DONE;
+    }
+  else if (TARGET_POWER)
+    {
+      emit_insn (gen_smulsi3_highpart_mq (operands[0], operands[1], operands[2]));
+      DONE;
+    }
+}")
+
+(define_insn "smulsi3_highpart_mq"
+  [(set (match_operand:SI 0 "gpc_reg_operand" "=r")
+	(truncate:SI
+	 (lshiftrt:DI (mult:DI (sign_extend:DI
+				(match_operand:SI 1 "gpc_reg_operand" "%r"))
+			       (sign_extend:DI
+				(match_operand:SI 2 "gpc_reg_operand" "r")))
+		      (const_int 32))))
+   (clobber (match_scratch:SI 3 "=q"))]
+  "TARGET_POWER"
+  "mul %0,%1,%2"
+  [(set_attr "type" "imul")])
+
+(define_insn ""
+  [(set (match_operand:SI 0 "gpc_reg_operand" "=r")
+	(truncate:SI
+	 (lshiftrt:DI (mult:DI (sign_extend:DI
+				(match_operand:SI 1 "gpc_reg_operand" "%r"))
+			       (sign_extend:DI
+				(match_operand:SI 2 "gpc_reg_operand" "r")))
+		      (const_int 32))))]
+  "TARGET_POWERPC"
+  "mulhw %0,%1,%2"
+  [(set_attr "type" "imul")])
+
+(define_insn "umulsi3_highpart"
+  [(set (match_operand:SI 0 "gpc_reg_operand" "=r")
+	(truncate:SI
+	 (lshiftrt:DI (mult:DI (zero_extend:DI
+				(match_operand:SI 1 "gpc_reg_operand" "%r"))
+			       (zero_extend:DI
+				(match_operand:SI 2 "gpc_reg_operand" "r")))
+		      (const_int 32))))]
+  "TARGET_POWERPC"
+  "mulhwu %0,%1,%2"
+  [(set_attr "type" "imul")])
 
 ;; If operands 0 and 2 are in the same register, we have a problem.  But
 ;; operands 0 and 1 (the usual case) can be in the same register.  That's
@@ -2017,34 +3366,36 @@
 	(ashift:DI (match_operand:DI 1 "gpc_reg_operand" "r,r,0,r")
 		   (match_operand:SI 2 "reg_or_cint_operand" "M,i,r,r")))
    (clobber (match_scratch:SI 3 "=X,q,q,q"))]
-  ""
+  "TARGET_POWER"
   "@
-   sli %0,%L1,%h2\;cal %L0,0(0)
+   {sli|slwi} %0,%L1,%h2\;{cal %L0,0(0)|li %L0,0}
    sl%I2q %L0,%L1,%h2\;sll%I2q %0,%1,%h2
    sl%I2q %L0,%L1,%h2\;sll%I2q %0,%1,%h2
-   sl%I2q %L0,%L1,%h2\;sll%I2q %0,%1,%h2")
+   sl%I2q %L0,%L1,%h2\;sll%I2q %0,%1,%h2"
+  [(set_attr "length" "8")])
 
 (define_insn "lshrdi3"
   [(set (match_operand:DI 0 "gpc_reg_operand" "=&r,r,r,&r")
 	(lshiftrt:DI (match_operand:DI 1 "gpc_reg_operand" "r,r,0,r")
 		     (match_operand:SI 2 "reg_or_cint_operand" "M,i,r,r")))
    (clobber (match_scratch:SI 3 "=X,q,q,q"))]
-  ""
+  "TARGET_POWER"
   "@
-   cal %0,0(0)\;s%A2i %L0,%1,%h2
+   {cal %0,0(0)|li %0,0}\;{s%A2i|s%A2wi} %L0,%1,%h2
    sr%I2q %0,%1,%h2\;srl%I2q %L0,%L1,%h2
    sr%I2q %0,%1,%h2\;srl%I2q %L0,%L1,%h2
-   sr%I2q %0,%1,%h2\;srl%I2q %L0,%L1,%h2")
+   sr%I2q %0,%1,%h2\;srl%I2q %L0,%L1,%h2"
+  [(set_attr "length" "8")])
 
 ;; Shift by a variable amount is too complex to be worth open-coding.  We
 ;; just handle shifts by constants.
 
 (define_expand "ashrdi3"
-  [(parallel [(set (match_operand:DI 0 "gpc_reg_operand" "=")
+  [(parallel [(set (match_operand:DI 0 "gpc_reg_operand" "")
 		   (ashiftrt:DI (match_operand:DI 1 "gpc_reg_operand" "")
 				(match_operand:SI 2 "general_operand" "")))
 	      (clobber (match_scratch:SI 3 ""))])]
-  ""
+  "TARGET_POWER"
   "
 { if (GET_CODE (operands[2]) != CONST_INT)
     FAIL;
@@ -2055,10 +3406,96 @@
 	(ashiftrt:DI (match_operand:DI 1 "gpc_reg_operand" "r,r")
 		     (match_operand:SI 2 "const_int_operand" "M,i")))
    (clobber (match_scratch:SI 3 "=X,q"))]
-  ""
+  "TARGET_POWER"
   "@
-   srai %0,%1,31\;srai %L0,%1,%h2
-   sraiq %0,%1,%h2\;srliq %L0,%L1,%h2")
+   {srai|srawi} %0,%1,31\;{srai|srawi} %L0,%1,%h2
+   sraiq %0,%1,%h2\;srliq %L0,%L1,%h2"
+  [(set_attr "length" "8")])
+
+;; PowerPC64 DImode operations.
+
+(define_insn "ffsdi2"
+  [(set (match_operand:DI 0 "register_operand" "=&r")
+	(ffs:DI (match_operand:DI 1 "register_operand" "r")))]
+  "TARGET_POWERPC64"
+  "neg %0,%1\;and %0,%0,%1\;cntlzd %0,%0\;subfic %0,%0,64"
+  [(set_attr "length" "16")])
+
+(define_insn "muldi3"
+  [(set (match_operand:DI 0 "gpc_reg_operand" "=r")
+	(mult:DI (match_operand:DI 1 "gpc_reg_operand" "%r")
+		 (match_operand:DI 2 "gpc_reg_operand" "r")))]
+  "TARGET_POWERPC64"
+  "mulld %0,%1,%2"
+   [(set_attr "type" "imul")])
+
+(define_insn "smuldi3_highpart"
+  [(set (match_operand:DI 0 "gpc_reg_operand" "=r")
+	(truncate:DI
+	 (lshiftrt:TI (mult:TI (sign_extend:TI
+				(match_operand:DI 1 "gpc_reg_operand" "%r"))
+			       (sign_extend:TI
+				(match_operand:DI 2 "gpc_reg_operand" "r")))
+		      (const_int 64))))]
+  "TARGET_POWERPC64"
+  "mulhd %0,%1,%2"
+  [(set_attr "type" "imul")])
+
+(define_insn "umuldi3_highpart"
+  [(set (match_operand:DI 0 "gpc_reg_operand" "=r")
+	(truncate:DI
+	 (lshiftrt:TI (mult:TI (zero_extend:TI
+				(match_operand:DI 1 "gpc_reg_operand" "%r"))
+			       (zero_extend:TI
+				(match_operand:DI 2 "gpc_reg_operand" "r")))
+		      (const_int 64))))]
+  "TARGET_POWERPC64"
+  "mulhdu %0,%1,%2"
+  [(set_attr "type" "imul")])
+
+(define_insn "divdi3"
+  [(set (match_operand:DI 0 "gpc_reg_operand" "=r")
+        (div:DI (match_operand:DI 1 "gpc_reg_operand" "r")
+                 (match_operand:DI 2 "gpc_reg_operand" "r")))]
+  "TARGET_POWERPC64"
+  "divd %0,%1,%2"
+  [(set_attr "type" "idiv")])
+
+(define_insn "udivdi3"
+  [(set (match_operand:DI 0 "gpc_reg_operand" "=r")
+        (udiv:DI (match_operand:DI 1 "gpc_reg_operand" "r")
+                 (match_operand:DI 2 "gpc_reg_operand" "r")))]
+  "TARGET_POWERPC64"
+  "divdu %0,%1,%2"
+  [(set_attr "type" "idiv")])
+
+(define_insn "rotldi3"
+  [(set (match_operand:DI 0 "gpc_reg_operand" "=r")
+	(rotate:DI (match_operand:DI 1 "gpc_reg_operand" "r")
+		   (match_operand:DI 2 "reg_or_cint_operand" "ri")))]
+  "TARGET_POWERPC64"
+  "rld%I2cl %0,%1,%h2,0")
+
+(define_insn ""
+  [(set (match_operand:CC 0 "cc_reg_operand" "=x")
+	(compare:CC (rotate:DI (match_operand:DI 1 "gpc_reg_operand" "r")
+			       (match_operand:DI 2 "reg_or_cint_operand" "ri"))
+		    (const_int 0)))
+   (clobber (match_scratch:DI 3 "=r"))]
+  "TARGET_POWERPC64"
+  "rld%I2cl. %3,%1,%h2,0"
+  [(set_attr "type" "delayed_compare")])
+
+(define_insn ""
+  [(set (match_operand:CC 3 "cc_reg_operand" "=x")
+	(compare:CC (rotate:DI (match_operand:DI 1 "gpc_reg_operand" "r")
+			       (match_operand:DI 2 "reg_or_cint_operand" "ri"))
+		    (const_int 0)))
+   (set (match_operand:DI 0 "gpc_reg_operand" "=r")
+	(rotate:DI (match_dup 1) (match_dup 2)))]
+  "TARGET_POWERPC64"
+  "rld%I2cl. %0,%1,%h2,0"
+  [(set_attr "type" "delayed_compare")])
 
 ;; Now define ways of moving data around.
 ;;
@@ -2075,8 +3512,28 @@
   if (GET_CODE (operands[0]) != REG)
     operands[1] = force_reg (SImode, operands[1]);
 
-  if (CONSTANT_P (operands[1]) && GET_CODE (operands[1]) != CONST_INT)
+  if (CONSTANT_P (operands[1]) && GET_CODE (operands[1]) != CONST_INT
+      && ! LEGITIMATE_CONSTANT_POOL_ADDRESS_P (operands[1]))
     {
+      /* If we are to limit the number of things we put in the TOC and
+	 this is a symbol plus a constant we can add in one insn,
+	 just put the sumbol in the TOC and add the constant.  Don't do
+	 this if reload is in progress.  */
+      if (GET_CODE (operands[1]) == CONST
+	  && TARGET_NO_SUM_IN_TOC && ! reload_in_progress
+	  && GET_CODE (XEXP (operands[1], 0)) == PLUS
+	  && add_operand (XEXP (XEXP (operands[1], 0), 1), SImode)
+	  && (GET_CODE (XEXP (XEXP (operands[1], 0), 0)) == LABEL_REF
+	      || GET_CODE (XEXP (XEXP (operands[1], 0), 0)) == SYMBOL_REF)
+	  && ! side_effects_p (operands[0]))
+	{
+	  rtx sym = force_const_mem (SImode, XEXP (XEXP (operands[1], 0), 0));
+	  rtx other = XEXP (XEXP (operands[1], 0), 1);
+
+	  emit_insn (gen_addsi3 (operands[0], force_reg (SImode, sym), other));
+	  DONE;
+	}
+
       operands[1] = force_const_mem (SImode, operands[1]);
       if (! memory_address_p (SImode, XEXP (operands[1], 0))
 	  && ! reload_in_progress)
@@ -2099,21 +3556,22 @@
 }")
 
 (define_insn ""
-  [(set (match_operand:SI 0 "nonimmediate_operand" "=r,r,m,r,r,r,*c*q,*l,*h")
-	(match_operand:SI 1 "input_operand" "r,m,r,I,J,*h,r,r,0"))]
+  [(set (match_operand:SI 0 "nonimmediate_operand" "=r,r,m,r,r,r,r,*q,*c*l,*h")
+	(match_operand:SI 1 "input_operand" "r,m,r,I,J,R,*h,r,r,0"))]
   "gpc_reg_operand (operands[0], SImode)
    || gpc_reg_operand (operands[1], SImode)"
   "@
-   ai %0,%1,0
-   l%U1%X1 %0,%1
-   st%U0%X0 %1,%0
-   cal %0,%1(0)
-   cau %0,0,%u1
+   mr %0,%1
+   {l%U1%X1|lwz%U1%X1} %0,%1
+   {st%U0%X0|stw%U0%X0} %1,%0
+   {lil|li} %0,%1
+   {liu|lis} %0,%u1
+   {cal|la} %0,%1(%*)
    mf%1 %0
    mt%0 %1
    mt%0 %1
    cror 0,0,0"
-  [(set_attr "type" "*,load,*,*,*,*,*,mtlr,*")])
+  [(set_attr "type" "*,load,*,*,*,*,*,*,mtjmpr,*")])
 
 ;; Split a load of a large constant into the appropriate two-insn
 ;; sequence.
@@ -2141,7 +3599,7 @@
 		    (const_int 0)))
    (set (match_operand:SI 0 "gpc_reg_operand" "=r") (match_dup 1))]
   ""
-  "ai. %0,%1,0"
+  "mr. %0,%1"
   [(set_attr "type" "compare")])
 
 (define_expand "movhi"
@@ -2164,19 +3622,20 @@
 }")
 
 (define_insn ""
-  [(set (match_operand:HI 0 "nonimmediate_operand" "=r,r,m,r,r,*h,*h")
-	(match_operand:HI 1 "input_operand" "r,m,r,i,*h,r,0"))]
+  [(set (match_operand:HI 0 "nonimmediate_operand" "=r,r,m,r,r,*q,*c*l,*h")
+	(match_operand:HI 1 "input_operand" "r,m,r,i,*h,r,r,0"))]
   "gpc_reg_operand (operands[0], HImode)
    || gpc_reg_operand (operands[1], HImode)"
   "@
-   oril %0,%1,0
+   mr %0,%1
    lhz%U1%X1 %0,%1
    sth%U0%X0 %1,%0
-   cal %0,%w1(0)
+   {lil|li} %0,%w1
    mf%1 %0
    mt%0 %1
+   mt%0 %1
    cror 0,0,0"
-  [(set_attr "type" "*,load,*,*,*,*,*")])
+  [(set_attr "type" "*,load,*,*,*,*,mtjmpr,*")])
 
 (define_expand "movqi"
   [(set (match_operand:QI 0 "general_operand" "")
@@ -2198,19 +3657,20 @@
 }")
 
 (define_insn ""
-  [(set (match_operand:QI 0 "nonimmediate_operand" "=r,r,m,r,r,*h,*h")
-	(match_operand:QI 1 "input_operand" "r,m,r,i,*h,r,0"))]
+  [(set (match_operand:QI 0 "nonimmediate_operand" "=r,r,m,r,r,*q,*c*l,*h")
+	(match_operand:QI 1 "input_operand" "r,m,r,i,*h,r,r,0"))]
   "gpc_reg_operand (operands[0], QImode)
    || gpc_reg_operand (operands[1], QImode)"
   "@
-   oril %0,%1,0
+   mr %0,%1
    lbz%U1%X1 %0,%1
    stb%U0%X0 %1,%0
-   cal %0,%1(0)
+   {lil|li} %0,%1
    mf%1 %0
    mt%0 %1
+   mt%0 %1
    cror 0,0,0"
-  [(set_attr "type" "*,load,*,*,*,*,*")])
+  [(set_attr "type" "*,load,*,*,*,*,mtjmpr,*")])
 
 ;; Here is how to move condition codes around.  When we store CC data in
 ;; an integer register or memory, we store just the high-order 4 bits.
@@ -2229,13 +3689,14 @@
   "@
    mcrf %0,%1
    mtcrf 128,%1
-   rlinm %1,%1,%F0,0,31\;mtcrf %R0,%1\;rlinm %1,%1,%f0,0,31
+   {rlinm|rlwinm} %1,%1,%F0,0xffffffff\;mtcrf %R0,%1\;{rlinm|rlwinm} %1,%1,%f0,0xffffffff
    mfcr %0
-   mfcr %0\;rlinm %0,%0,%f1,0,3
-   ai %0,%1,0
-   l%U1%X1 %0,%1
-   st%U0%U1 %1,%0"
-  [(set_attr "type" "*,*,*,compare,*,*,load,*")])
+   mfcr %0\;{rlinm|rlwinm} %0,%0,%f1,0xf0000000
+   mr %0,%1
+   {l%U1%X1|lwz%U1%X1} %0,%1
+   {st%U0%U1|stw%U0%U1} %1,%0"
+  [(set_attr "type" "*,*,*,compare,*,*,load,*")
+   (set_attr "length" "*,*,12,*,8,*,*,*")])
 
 ;; For floating-point, we normally deal with the floating-point registers.
 ;; The sole exception is that parameter passing can produce floating-point
@@ -2261,8 +3722,6 @@
 
   if (GET_CODE (operands[1]) == REG && REGNO (operands[1]) < 32)
     {
-      rtx stack_slot;
-
       /* If this is a store to memory or another integer register do the
 	 move directly.  Otherwise store to a temporary stack slot and
 	 load from there into a floating point register.  */
@@ -2277,41 +3736,55 @@
 			  operand_subword (operands[1], 0, 0, SFmode));
 	  DONE;
 	}
+      else
+	{
+	  rtx stack_slot = assign_stack_temp (SFmode, 4, 0);
 
-      stack_slot = gen_rtx (MEM, SFmode, plus_constant (stack_pointer_rtx, 4));
-      emit_move_insn (stack_slot, operands[1]);
-      emit_move_insn (operands[0], stack_slot);
-      DONE;
+	  emit_move_insn (stack_slot, operands[1]);
+	  emit_move_insn (operands[0], stack_slot);
+	  DONE;
+	}
     }
 
   if (GET_CODE (operands[0]) == MEM)
-    operands[1] = force_reg (SFmode, operands[1]);
+    {
+      /* If operands[1] is a register, it may have double-precision data
+	 in it, so truncate it to single precision.  We need not do
+	 this for POWERPC.  */
+      if (! TARGET_POWERPC && GET_CODE (operands[1]) == REG)
+	{
+	  rtx newreg = reload_in_progress ? operands[1] : gen_reg_rtx (SFmode);
+	  emit_insn (gen_truncdfsf2 (newreg,
+				     gen_rtx (SUBREG, DFmode, operands[1], 0)));
+	  operands[1] = newreg;
+	}
+
+      operands[1] = force_reg (SFmode, operands[1]);
+    }
 
   if (GET_CODE (operands[0]) == REG && REGNO (operands[0]) < 32)
     {
-      rtx stack_slot;
-
       if (GET_CODE (operands[1]) == MEM
 #if HOST_FLOAT_FORMAT == TARGET_FLOAT_FORMAT && ! defined(REAL_IS_NOT_DOUBLE)
 	  || GET_CODE (operands[1]) == CONST_DOUBLE
 #endif
-	  || (GET_CODE (operands[1]) == REG && REGNO (operands[1]) < 32)
-	  || (reload_in_progress && GET_CODE (operands[1]) == REG
-	      && REGNO (operands[1]) >= FIRST_PSEUDO_REGISTER))
+	  || (GET_CODE (operands[1]) == REG
+	      && (REGNO (operands[1]) < 32
+		  || (reload_in_progress
+		      && REGNO (operands[1]) >= FIRST_PSEUDO_REGISTER))))
 	{
 	  emit_move_insn (operand_subword (operands[0], 0, 0, SFmode),
 			  operand_subword (operands[1], 0, 0, SFmode));
 	  DONE;
 	}
-
-      if (reload_in_progress)
-	stack_slot = gen_rtx (MEM, SFmode,
-			      plus_constant (stack_pointer_rtx, 4));
       else
-	stack_slot = assign_stack_temp (SFmode, 4, 0);
-      emit_move_insn (stack_slot, operands[1]);
-      emit_move_insn (operands[0], stack_slot);
-      DONE;
+	{
+	  rtx stack_slot = assign_stack_temp (SFmode, 4, 0);
+
+	  emit_move_insn (stack_slot, operands[1]);
+	  emit_move_insn (operands[0], stack_slot);
+	  DONE;
+	}
     }
 
   if (CONSTANT_P (operands[1]))
@@ -2324,15 +3797,6 @@
     }
 }")
 
-(define_insn ""
-  [(set (match_operand:SF 0 "gpc_reg_operand" "=r,r")
-	(match_operand:SF 1 "mem_or_easy_const_operand" "G,m"))]
-  "REGNO (operands[0]) <= 31"
-  "@
-   #
-   l%U1%X1 %0,%1"
-  [(set_attr "type" "*,load")])
-
 (define_split
   [(set (match_operand:SF 0 "gpc_reg_operand" "")
 	(match_operand:SF 1 "easy_fp_constant" ""))]
@@ -2350,8 +3814,8 @@
   "@
    fmr %0,%1
    lfs%U1%X1 %0,%1
-   frsp %1,%1\;stfs%U0%X0 %1,%0"
-  [(set_attr "type" "fp,load,*")])
+   stfs%U0%X0 %1,%0"
+  [(set_attr "type" "fp,fpload,*")])
 
 (define_expand "movdf"
   [(set (match_operand:DF 0 "nonimmediate_operand" "")
@@ -2359,88 +3823,19 @@
   ""
   "
 {
-  /* If we are called from reload, we might be getting a SUBREG of a hard
-     reg.  So expand it.  */
-  if (GET_CODE (operands[0]) == SUBREG
-      && GET_CODE (SUBREG_REG (operands[0])) == REG
-      && REGNO (SUBREG_REG (operands[0])) < FIRST_PSEUDO_REGISTER)
-    operands[0] = alter_subreg (operands[0]);
-  if (GET_CODE (operands[1]) == SUBREG
-      && GET_CODE (SUBREG_REG (operands[1])) == REG
-      && REGNO (SUBREG_REG (operands[1])) < FIRST_PSEUDO_REGISTER)
-    operands[1] = alter_subreg (operands[1]);
-
-  if (GET_CODE (operands[1]) == REG && REGNO (operands[1]) < 32)
+  if (GET_CODE (operands[0]) == MEM && GET_CODE (operands[1]) == MEM)
     {
-      rtx stack_slot;
-
-      /* If this is a store to memory or another integer register do the
-	 move directly.  Otherwise store to a temporary stack slot and
-	 load from there into a floating point register.  */
-
-      if (GET_CODE (operands[0]) == MEM
-	  || (GET_CODE (operands[0]) == REG
-	      && (REGNO (operands[0]) < 32
-		  || (reload_in_progress
-		      && REGNO (operands[0]) >= FIRST_PSEUDO_REGISTER))))
-	{
-	  emit_move_insn (operand_subword (operands[0], 0, 0, DFmode),
-			  operand_subword (operands[1], 0, 0, DFmode));
-	  emit_move_insn (operand_subword (operands[0], 1, 0, DFmode),
-			  operand_subword (operands[1], 1, 0, DFmode));
-	  DONE;
-	}
-
-      stack_slot = gen_rtx (MEM, DFmode, plus_constant (stack_pointer_rtx, 8));
-      emit_move_insn (stack_slot, operands[1]);
-      emit_move_insn (operands[0], stack_slot);
+      emit_move_insn (operand_subword (operands[0], 1, 1, DFmode),
+		      operand_subword_force (operands[1], 1, DFmode));
+      emit_move_insn (operand_subword (operands[0], 0, 1, DFmode),
+		      operand_subword_force (operands[1], 0, DFmode));
       DONE;
     }
 
-  if (GET_CODE (operands[0]) == MEM)
-    {
-      if (GET_CODE (operands[1]) == MEM)
-	{
-	  emit_move_insn (operand_subword (operands[0], 0, 0, DFmode),
-			  operand_subword (operands[1], 0, 0, DFmode));
-	  emit_move_insn (operand_subword (operands[0], 1, 0, DFmode),
-			  operand_subword (operands[1], 1, 0, DFmode));
-	  DONE;
-	}
-      
-      operands[1] = force_reg (DFmode, operands[1]);
-    }
-
-  if (GET_CODE (operands[0]) == REG && REGNO (operands[0]) < 32)
-    {
-      rtx stack_slot;
-
-      if (GET_CODE (operands[1]) == MEM
-#if HOST_FLOAT_FORMAT == TARGET_FLOAT_FORMAT && ! defined(REAL_IS_NOT_DOUBLE)
-	  || GET_CODE (operands[1]) == CONST_DOUBLE
-#endif
-	  || (GET_CODE (operands[1]) == REG && REGNO (operands[1]) < 32)
-	  || (reload_in_progress && GET_CODE (operands[1]) == REG
-	      && REGNO (operands[1]) >= FIRST_PSEUDO_REGISTER))
-	{
-	  emit_move_insn (operand_subword (operands[0], 0, 0, DFmode),
-			  operand_subword (operands[1], 0, 0, DFmode));
-	  emit_move_insn (operand_subword (operands[0], 1, 0, DFmode),
-			  operand_subword (operands[1], 1, 0, DFmode));
-	  DONE;
-	}
-
-      if (reload_in_progress)
-	stack_slot = gen_rtx (MEM, DFmode,
-			      plus_constant (stack_pointer_rtx, 8));
-      else
-	stack_slot = assign_stack_temp (DFmode, 8, 0);
-      emit_move_insn (stack_slot, operands[1]);
-      emit_move_insn (operands[0], stack_slot);
-      DONE;
-    }
+  if (GET_CODE (operands[0]) != REG)
+    operands[1] = force_reg (DFmode, operands[1]);
 
-  if (CONSTANT_P (operands[1]))
+  if (CONSTANT_P (operands[1]) && ! easy_fp_constant (operands[1], DFmode))
     {
       operands[1] = force_const_mem (DFmode, operands[1]);
       if (! memory_address_p (DFmode, XEXP (operands[1], 0))
@@ -2450,15 +3845,6 @@
     }
 }")
 
-(define_insn ""
-  [(set (match_operand:DF 0 "gpc_reg_operand" "=r,r")
-	(match_operand:DF 1 "mem_or_easy_const_operand" "G,m"))]
-  "REGNO (operands[0]) <= 31"
-  "@
-   #
-   l %0,%1\;l %L0,%L1"
-  [(set_attr "type" "*,load")])
-
 (define_split
   [(set (match_operand:DF 0 "gpc_reg_operand" "")
 	(match_operand:DF 1 "easy_fp_constant" ""))]
@@ -2470,17 +3856,69 @@
   operands[3] = operand_subword (operands[1], 0, 0, DFmode);
   operands[4] = operand_subword (operands[0], 1, 0, DFmode);
   operands[5] = operand_subword (operands[1], 1, 0, DFmode); }")
-  
+
+;; Don't have reload use general registers to load a constant.  First,
+;; it might not work if the output operand has is the equivalent of
+;; a non-offsettable memref, but also it is less efficient than loading
+;; the constant into an FP register, since it will probably be used there.
+;; The "??" is a kludge until we can figure out a more reasonable way
+;; of handling these non-offsettable values.
+(define_insn ""
+  [(set (match_operand:DF 0 "nonimmediate_operand" "=!r,??r,o,!r,f,f,m")
+	(match_operand:DF 1 "input_operand" "r,o,r,G,f,m,f"))]
+  "! TARGET_POWERPC64 && (register_operand (operands[0], DFmode)
+   || register_operand (operands[1], DFmode))"
+  "*
+{
+  switch (which_alternative)
+    {
+    case 0:
+      /* We normally copy the low-numbered register first.  However, if
+	 the first register operand 0 is the same as the second register of
+	 operand 1, we must copy in the opposite order.  */
+      if (REGNO (operands[0]) == REGNO (operands[1]) + 1)
+	return \"mr %L0,%L1\;mr %0,%1\";
+      else
+	return \"mr %0,%1\;mr %L0,%L1\";
+    case 1:
+      /* If the low-address word is used in the address, we must load it
+	 last.  Otherwise, load it first.  Note that we cannot have
+	 auto-increment in that case since the address register is known to be
+	 dead.  */
+      if (refers_to_regno_p (REGNO (operands[0]), REGNO (operands[0]) + 1,
+			     operands [1], 0))
+	return \"{l|lwz} %L0,%L1\;{l|lwz} %0,%1\";
+      else
+	return \"{l%U1|lwz%U1} %0,%1\;{l|lwz} %L0,%L1\";
+    case 2:
+      return \"{st%U0|stw%U0} %1,%0\;{st|stw} %L1,%L0\";
+    case 3:
+      return \"#\";
+    case 4:
+      return \"fmr %0,%1\";
+    case 5:
+      return \"lfd%U1%X1 %0,%1\";
+    case 6:
+      return \"stfd%U0%X0 %1,%0\";
+    }
+}"
+  [(set_attr "type" "*,load,*,*,fp,fpload,*")
+   (set_attr "length" "8,8,8,8,*,*,*")])
+
 (define_insn ""
-  [(set (match_operand:DF 0 "fp_reg_or_mem_operand" "=f,f,m")
-	(match_operand:DF 1 "fp_reg_or_mem_operand" "f,m,f"))]
-  "gpc_reg_operand (operands[0], DFmode)
-   || gpc_reg_operand (operands[1], DFmode)"
-  "@
+  [(set (match_operand:DF 0 "nonimmediate_operand" "=!r,??r,o,!r,f,f,m")
+	(match_operand:DF 1 "input_operand" "r,o,r,G,f,m,f"))]
+  "TARGET_POWERPC64 && (register_operand (operands[0], DFmode)
+   || register_operand (operands[1], DFmode))"
+  "@
+   mr %0,%1
+   ld%U1%X1 %0,%1
+   sd%U0%X0 %1,%0
+   #
    fmr %0,%1
    lfd%U1%X1 %0,%1
    stfd%U0%X0 %1,%0"
-  [(set_attr "type" "fp,load,*")])
+  [(set_attr "type" "*,load,*,*,fp,fpload,*")])
 
 ;; Next come the multi-word integer load and store and the load and store
 ;; multiple insns.
@@ -2502,13 +3940,29 @@
 
   if (GET_CODE (operands[0]) == MEM)
     operands[1] = force_reg (DImode, operands[1]);
+
+      /* Stores between FPR and any non-FPR registers must go through a
+         temporary stack slot.  */
+
+  if (GET_CODE (operands[0]) == REG && GET_CODE (operands[1]) == REG
+      && ((FP_REGNO_P (REGNO (operands[0]))
+	   && ! FP_REGNO_P (REGNO (operands[1])))
+	  || (FP_REGNO_P (REGNO (operands[1]))
+	      && ! FP_REGNO_P (REGNO (operands[0])))))
+    {
+      rtx stack_slot = assign_stack_temp (DImode, 8, 0);
+
+      emit_move_insn (stack_slot, operands[1]);
+      emit_move_insn (operands[0], stack_slot);
+      DONE;
+    }
 }")
 
 (define_insn ""
-  [(set (match_operand:DI 0 "nonimmediate_operand" "=r,r,m")
-	(match_operand:DI 1 "input_operand" "r,m,r"))]
-  "gpc_reg_operand (operands[0], DImode)
-   || gpc_reg_operand (operands[1], DImode)"
+  [(set (match_operand:DI 0 "nonimmediate_operand" "=r,r,m,f,f,m")
+	(match_operand:DI 1 "input_operand" "r,m,r,f,m,f"))]
+  "! TARGET_POWERPC64 && (gpc_reg_operand (operands[0], DImode)
+   || gpc_reg_operand (operands[1], DImode))"
   "*
 {
   switch (which_alternative)
@@ -2518,9 +3972,9 @@
 	 the first register operand 0 is the same as the second register of
 	 operand 1, we must copy in the opposite order.  */
       if (REGNO (operands[0]) == REGNO (operands[1]) + 1)
-	return \"oril %L0,%L1,0\;oril %0,%1,0\";
+	return \"mr %L0,%L1\;mr %0,%1\";
       else
-	return \"oril %0,%1,0\;oril %L0,%L1,0\";
+	return \"mr %0,%1\;mr %L0,%L1\";
     case 1:
       /* If the low-address word is used in the address, we must load it
 	 last.  Otherwise, load it first.  Note that we cannot have
@@ -2528,23 +3982,49 @@
 	 dead.  */
       if (refers_to_regno_p (REGNO (operands[0]), REGNO (operands[0]) + 1,
 			     operands [1], 0))
-	return \"l %L0,%L1\;l %0,%1\";
+	return \"{l|lwz} %L0,%L1\;{l|lwz} %0,%1\";
       else
-	return \"l%U1 %0,%1\;l %L0,%L1\";
+	return \"{l%U1|lwz%U1} %0,%1\;{l|lwz} %L0,%L1\";
     case 2:
-      return \"st%U0 %1,%0\;st %L1,%L0\";
+      return \"{st%U0|stw%U0} %1,%0\;{st|stw} %L1,%L0\";
+    case 3:
+      return \"fmr %0,%1\";
+    case 4:
+      return \"lfd%U1%X1 %0,%1\";
+    case 5:
+      return \"stfd%U0%X0 %1,%0\";
     }
 }"
-  [(set_attr "type" "*,load,*")])
+  [(set_attr "type" "*,load,*,fp,fpload,*")
+   (set_attr "length" "8,8,8,*,*,*")])
+
+(define_insn ""
+  [(set (match_operand:DI 0 "nonimmediate_operand" "=r,r,m,r,r,r,f,f,m,r,*h")
+	(match_operand:DI 1 "input_operand" "r,m,r,I,J,R,f,m,f,*h,r"))]
+  "TARGET_POWERPC64 && (gpc_reg_operand (operands[0], DImode)
+   || gpc_reg_operand (operands[1], DImode))"
+  "@
+   mr %0,%1
+   ld%U1%X1 %0,%1
+   sd%U0%X0 %1,%0
+   li %0,%1
+   lis %0,%u1
+   {cal|la} %0,%1(%*)
+   fmr %0,%1
+   lfd%U1%X1 %0,%1
+   stfd%U0%X0 %1,%0
+   mf%1 %0
+   mt%0 %1"
+  [(set_attr "type" "*,load,*,*,*,*,fp,fpload,*,*,mtjmpr")])
 
 ;; TImode is similar, except that we usually want to compute the address into
 ;; a register and use lsi/stsi (the exception is during reload).  MQ is also
-;; clobbered in stsi, so we need a SCRATCH for it.
+;; clobbered in stsi for POWER, so we need a SCRATCH for it.
 (define_expand "movti"
   [(parallel [(set (match_operand:TI 0 "general_operand" "")
 		   (match_operand:TI 1 "general_operand" ""))
 	      (clobber (scratch:SI))])]
-  ""
+  "TARGET_POWER || TARGET_POWERPC64"
   "
 {
   if (GET_CODE (operands[0]) == MEM)
@@ -2569,20 +4049,20 @@
 ;; are preferred.  Otherwise, we'd try to reload the output instead of
 ;; giving the SCRATCH mq.
 (define_insn ""
-  [(set (match_operand:TI 0 "reg_or_mem_operand" "=Q,m,r,r,r")
+  [(set (match_operand:TI 0 "reg_or_mem_operand" "=Q,m,????r,????r,????r")
 	(match_operand:TI 1 "reg_or_mem_operand" "r,r,r,Q,m"))
    (clobber (match_scratch:SI 2 "=q,q#X,X,X,X"))]
-  "gpc_reg_operand (operands[0], TImode)
-   || gpc_reg_operand (operands[1], TImode)"
+  "TARGET_POWER && ! TARGET_POWERPC64 && (gpc_reg_operand (operands[0], TImode)
+   || gpc_reg_operand (operands[1], TImode))"
   "*
 {
   switch (which_alternative)
     {
     case 0:
-      return \"stsi %1,%P0,16\";
+      return \"{stsi|stswi} %1,%P0,16\";
 
     case 1:
-      return \"st%U0 %1,%0\;st %L1,%L0\;st %Y1,%Y0\;st %Z1,%Z0\";
+      return \"{st%U0|stw%U0} %1,%0\;{st|stw} %L1,%L0\;{st|stw} %Y1,%Y0\;{st|stw} %Z1,%Z0\";
 
     case 2:
       /* Normally copy registers with lowest numbered register copied first.
@@ -2590,14 +4070,14 @@
 	 is the second, third, or fourth register in the input.  */
       if (REGNO (operands[0]) >= REGNO (operands[1]) + 1
 	  && REGNO (operands[0]) <= REGNO (operands[1]) + 3)
-	return \"oril %Z0,%Z1,0\;oril %Y0,%Y1,0\;oril %L0,%L1,0\;oril %0,%1,0\";
+	return \"mr %Z0,%Z1\;mr %Y0,%Y1\;mr %L0,%L1\;mr %0,%1\";
       else
-	return \"oril %0,%1,0\;oril %L0,%L1,0\;oril %Y0,%Y1,0\;oril %Z0,%Z1,0\";
+	return \"mr %0,%1\;mr %L0,%L1\;mr %Y0,%Y1\;mr %Z0,%Z1\";
     case 3:
       /* If the address is not used in the output, we can use lsi.  Otherwise,
 	 fall through to generating four loads.  */
       if (! reg_overlap_mentioned_p (operands[0], operands[1]))
-	return \"lsi %0,%P1,16\";
+	return \"{lsi|lswi} %0,%P1,16\";
       /* ... fall through ... */
     case 4:
       /* If the address register is the same as the register for the lowest-
@@ -2605,24 +4085,59 @@
 	 Otherwise load lowest address to highest.  */
       if (refers_to_regno_p (REGNO (operands[0]), REGNO (operands[0]) + 1,
 			     operands[1], 0))
-	return \"l %L0,%L1\;l %Y0,%Y1\;l %Z0,%Z1\;l %0,%1\";
+	return \"{l|lwz} %L0,%L1\;{l|lwz} %Y0,%Y1\;{l|lwz} %Z0,%Z1\;{l|lwz} %0,%1\";
       else if (refers_to_regno_p (REGNO (operands[0]) + 1,
 				  REGNO (operands[0]) + 2, operands[1], 0))
-	return \"l %0,%1\;l %Y0,%Y1\;l %Z0,%Z1\;l %L0,%L1\";
+	return \"{l|lwz} %0,%1\;{l|lwz} %Y0,%Y1\;{l|lwz} %Z0,%Z1\;{l|lwz} %L0,%L1\";
       else if (refers_to_regno_p (REGNO (operands[0]) + 2,
 				  REGNO (operands[0]) + 3, operands[1], 0))
-	return \"l %0,%1\;l %L0,%L1\;l %Z0,%Z1\;l %Y0,%Y1\";
+	return \"{l|lwz} %0,%1\;{l|lwz} %L0,%L1\;{l|lwz} %Z0,%Z1\;{l|lwz} %Y0,%Y1\";
+      else
+	return \"{l%U1|lwz%U1} %0,%1\;{l|lwz} %L0,%L1\;{l|lwz} %Y0,%Y1\;{l|lwz} %Z0,%Z1\";
+    }
+}"
+  [(set_attr "type" "*,load,load,*,*")
+   (set_attr "length" "*,16,16,*,16")])
+
+(define_insn ""
+  [(set (match_operand:TI 0 "nonimmediate_operand" "=r,r,m")
+	(match_operand:TI 1 "input_operand" "r,m,r"))]
+  "TARGET_POWERPC64 && (gpc_reg_operand (operands[0], TImode)
+   || gpc_reg_operand (operands[1], TImode))"
+  "*
+{
+  switch (which_alternative)
+    {
+    case 0:
+      /* We normally copy the low-numbered register first.  However, if
+	 the first register operand 0 is the same as the second register of
+	 operand 1, we must copy in the opposite order.  */
+      if (REGNO (operands[0]) == REGNO (operands[1]) + 1)
+	return \"mr %L0,%L1\;mr %0,%1\";
+      else
+	return \"mr %0,%1\;mr %L0,%L1\";
+    case 1:
+      /* If the low-address word is used in the address, we must load it
+	 last.  Otherwise, load it first.  Note that we cannot have
+	 auto-increment in that case since the address register is known to be
+	 dead.  */
+      if (refers_to_regno_p (REGNO (operands[0]), REGNO (operands[0]) + 1,
+			     operands [1], 0))
+	return \"ld %L0,%L1\;ld %0,%1\";
       else
-	return \"l%U1 %0,%1\;l %L0,%L1\;l %Y0,%Y1\;l %Z0,%Z1\";
+	return \"ld%U1 %0,%1\;ld %L0,%L1\";
+    case 2:
+      return \"std%U0 %1,%0\;std %L1,%L0\";
     }
 }"
-  [(set_attr "type" "*,load,load,*,*")])
+  [(set_attr "type" "*,load,*")
+   (set_attr "length" "8,8,8")])
 
 (define_expand "load_multiple"
   [(match_par_dup 3 [(set (match_operand:SI 0 "" "")
 			  (match_operand:SI 1 "" ""))
 		     (use (match_operand:SI 2 "" ""))])]
-  ""
+  "TARGET_POWER"
   "
 {
   int regno;
@@ -2657,23 +4172,24 @@
   [(match_parallel 0 "load_multiple_operation"
 		   [(set (match_operand:SI 1 "gpc_reg_operand" "=r")
 			 (match_operand:SI 2 "indirect_operand" "Q"))])]
-  ""
+  "TARGET_POWER"
   "*
 {
   /* We have to handle the case where the pseudo used to contain the address
      is assigned to one of the output registers.  In that case, do the
      lsi, but then load the correct value.  This is a bit of a mess, but is
-     the best we can do.  */
+     the best we can do.
+     We set the length attribute to the maximum possible size (8 bytes).  */
   static char result[100];
   char newload[40];
   int i;
 
-  strcpy (result, \"lsi %1,%P2,%N0\");
+  strcpy (result, \"{lsi|lswi} %1,%P2,%N0\");
   for (i = 0; i < XVECLEN (operands[0], 0); i++)
     if (refers_to_regno_p (REGNO (operands[1]) + i,
 			   REGNO (operands[1]) + i + 1, operands[2], 0))
       {
-	sprintf (newload, \"\;l %d,%d(%d)\",
+	sprintf (newload, \"\;{l|lwz} %d,%d(%d)\",
 		 REGNO (operands[1]) + i,
 		 i * 4, REGNO (XEXP (operands[2], 0)));
 	strcat (result, newload);
@@ -2681,14 +4197,16 @@
 
   return result;
 }"
-  [(set_attr "type" "load")])
+  [(set_attr "type" "load")
+   (set_attr "length" "8")])
 
+
 (define_expand "store_multiple"
   [(match_par_dup 3 [(set (match_operand:SI 0 "" "")
 			  (match_operand:SI 1 "" ""))
 		     (clobber (scratch:SI))
 		     (use (match_operand:SI 2 "" ""))])]
-  ""
+  "TARGET_POWER"
   "
 {
   int regno;
@@ -2730,8 +4248,8 @@
 		   [(set (match_operand:SI 1 "indirect_operand" "=Q")
 			 (match_operand:SI 2 "gpc_reg_operand" "r"))
 		    (clobber (match_scratch:SI 3 "=q"))])]
-  ""
-  "stsi %2,%P1,%O0")
+  "TARGET_POWER"
+  "{stsi|stswi} %2,%P1,%O0")
 
 ;; Define insns that do load or store with update.  Some of these we can 
 ;; get by using pre-decrement or pre-increment, but the hardware can also
@@ -2743,6 +4261,29 @@
 ;; that will benefit the most).
 
 (define_insn ""
+  [(set (match_operand:DI 3 "gpc_reg_operand" "=r,r")
+	(mem:DI (plus:DI (match_operand:DI 1 "gpc_reg_operand" "0,0")
+			 (match_operand:DI 2 "reg_or_short_operand" "r,I"))))
+   (set (match_operand:DI 0 "gpc_reg_operand" "=b,b")
+	(plus:DI (match_dup 1) (match_dup 2)))]
+  "TARGET_POWERPC64"
+  "@
+   ldux %3,%0,%2
+   ldu %3,%2(%0)"
+  [(set_attr "type" "load")])
+
+(define_insn ""
+  [(set (mem:DI (plus:DI (match_operand:DI 1 "gpc_reg_operand" "0,0")
+			 (match_operand:DI 2 "reg_or_short_operand" "r,I")))
+	(match_operand:DI 3 "gpc_reg_operand" "r,r"))
+   (set (match_operand:DI 0 "gpc_reg_operand" "=b,b")
+	(plus:DI (match_dup 1) (match_dup 2)))]
+  "TARGET_POWERPC64"
+  "@
+   stdux %3,%0,%2
+   stdu %3,%2(%0)")
+
+(define_insn ""
   [(set (match_operand:SI 3 "gpc_reg_operand" "=r,r")
 	(mem:SI (plus:SI (match_operand:SI 1 "gpc_reg_operand" "0,0")
 			 (match_operand:SI 2 "reg_or_short_operand" "r,I"))))
@@ -2750,9 +4291,9 @@
 	(plus:SI (match_dup 1) (match_dup 2)))]
   ""
   "@
-   lux %3,%0,%2
-   lu %3,%2(%0)"
-  [(set_attr "type" "load,load")])
+   {lux|lwzux} %3,%0,%2
+   {lu|lwzu} %3,%2(%0)"
+  [(set_attr "type" "load")])
 
 (define_insn ""
   [(set (mem:SI (plus:SI (match_operand:SI 1 "gpc_reg_operand" "0,0")
@@ -2762,8 +4303,8 @@
 	(plus:SI (match_dup 1) (match_dup 2)))]
   ""
   "@
-   stux %3,%0,%2
-   stu %3,%2(%0)")
+   {stux|stwux} %3,%0,%2
+   {stu|stwu} %3,%2(%0)")
 
 (define_insn ""
   [(set (match_operand:HI 3 "gpc_reg_operand" "=r,r")
@@ -2775,7 +4316,7 @@
   "@
    lhzux %3,%0,%2
    lhzu %3,%2(%0)"
-  [(set_attr "type" "load,load")])
+  [(set_attr "type" "load")])
 
 (define_insn ""
   [(set (match_operand:SI 3 "gpc_reg_operand" "=r,r")
@@ -2788,7 +4329,7 @@
   "@
    lhzux %3,%0,%2
    lhzu %3,%2(%0)"
-  [(set_attr "type" "load,load")])
+  [(set_attr "type" "load")])
 
 (define_insn ""
   [(set (match_operand:SI 3 "gpc_reg_operand" "=r,r")
@@ -2801,7 +4342,7 @@
   "@
    lhaux %3,%0,%2
    lhau %3,%2(%0)"
-  [(set_attr "type" "load,load")])
+  [(set_attr "type" "load")])
 
 (define_insn ""
   [(set (mem:HI (plus:SI (match_operand:SI 1 "gpc_reg_operand" "0,0")
@@ -2812,8 +4353,7 @@
   ""
   "@
    sthux %3,%0,%2
-   sthu %3,%2(%0)"
-  [(set_attr "type" "load,load")])
+   sthu %3,%2(%0)")
 
 (define_insn ""
   [(set (match_operand:QI 3 "gpc_reg_operand" "=r,r")
@@ -2825,7 +4365,7 @@
   "@
    lbzux %3,%0,%2
    lbzu %3,%2(%0)"
-  [(set_attr "type" "load,load")])
+  [(set_attr "type" "load")])
 
 (define_insn ""
   [(set (match_operand:SI 3 "gpc_reg_operand" "=r,r")
@@ -2838,7 +4378,7 @@
   "@
    lbzux %3,%0,%2
    lbzu %3,%2(%0)"
-  [(set_attr "type" "load,load")])
+  [(set_attr "type" "load")])
 
 (define_insn ""
   [(set (mem:QI (plus:SI (match_operand:SI 1 "gpc_reg_operand" "0,0")
@@ -2853,7 +4393,7 @@
 
 (define_insn ""
   [(set (match_operand:SF 3 "gpc_reg_operand" "=f,f")
-	(mem:SI (plus:SI (match_operand:SI 1 "gpc_reg_operand" "0,0")
+	(mem:SF (plus:SI (match_operand:SI 1 "gpc_reg_operand" "0,0")
 			 (match_operand:SI 2 "reg_or_short_operand" "r,I"))))
    (set (match_operand:SI 0 "gpc_reg_operand" "=b,b")
 	(plus:SI (match_dup 1) (match_dup 2)))]
@@ -2861,7 +4401,7 @@
   "@
    lfsux %3,%0,%2
    lfsu %3,%2(%0)"
-  [(set_attr "type" "load,load")])
+  [(set_attr "type" "fpload")])
 
 (define_insn ""
   [(set (mem:SF (plus:SI (match_operand:SI 1 "gpc_reg_operand" "0,0")
@@ -2871,8 +4411,8 @@
 	(plus:SI (match_dup 1) (match_dup 2)))]
   ""
   "@
-   frsp %3,%3\;stfsux %3,%0,%2
-   frsp %3,%3\;stfsu %3,%2(%0)")
+   stfsux %3,%0,%2
+   stfsu %3,%2(%0)")
 
 (define_insn ""
   [(set (match_operand:DF 3 "gpc_reg_operand" "=f,f")
@@ -2884,7 +4424,7 @@
   "@
    lfdux %3,%0,%2
    lfdu %3,%2(%0)"
-  [(set_attr "type" "load,load")])
+  [(set_attr "type" "fpload")])
 
 (define_insn ""
   [(set (mem:DF (plus:SI (match_operand:SI 1 "gpc_reg_operand" "0,0")
@@ -3040,14 +4580,35 @@
     }
 }")
 
+;; Call to function in current module.  No TOC pointer reload needed.
+
+(define_insn ""
+  [(call (mem:SI (match_operand:SI 0 "current_file_function_operand" "s"))
+	 (match_operand 1 "" "g"))
+   (clobber (match_scratch:SI 2 "=l"))]
+  ""
+  "bl %z0")
+
+;; Call to function which may be in another module.  Restore the TOC
+;; pointer (r2) after the call.
+
 (define_insn ""
   [(call (mem:SI (match_operand:SI 0 "call_operand" "l,s"))
 	 (match_operand 1 "" "fg,fg"))
    (clobber (match_scratch:SI 2 "=l,l"))]
   ""
   "@
-   brl\;l 2,20(1)
-   bl %z0\;cror 15,15,15")
+   {brl|blrl}\;{l|lwz} 2,20(1)
+   bl %z0\;%."
+  [(set_attr "length" "8")])
+
+(define_insn ""
+  [(set (match_operand 0 "" "=fg")
+	(call (mem:SI (match_operand:SI 1 "current_file_function_operand" "s"))
+	      (match_operand 2 "" "g")))
+   (clobber (match_scratch:SI 3 "=l"))]
+  ""
+  "bl %z1")
 
 (define_insn ""
   [(set (match_operand 0 "" "=fg,fg")
@@ -3056,8 +4617,9 @@
    (clobber (match_scratch:SI 3 "=l,l"))]
   ""
   "@
-   brl\;l 2,20(1)
-   bl %z1\;cror 15,15,15")
+   {brl|blrl}\;{l|lwz} 2,20(1)
+   bl %z1\;%."
+  [(set_attr "length" "8")])
 
 ;; Call subroutine returning any type.
 
@@ -3435,7 +4997,7 @@
 	(compare:CC (match_operand:SI 1 "gpc_reg_operand" "r")
 		    (match_operand:SI 2 "reg_or_short_operand" "rI")))]
   ""
-  "cmp%I2 %0,%1,%2"
+  "{cmp%I2|cmpw%I2} %0,%1,%2"
   [(set_attr "type" "compare")])
 
 ;; If we are comparing a register for equality with a large constant,
@@ -3471,7 +5033,7 @@
 	(compare:CCUNS (match_operand:SI 1 "gpc_reg_operand" "r")
 		       (match_operand:SI 2 "reg_or_u_short_operand" "rI")))]
   ""
-  "cmpl%I2 %0,%1,%W2"
+  "{cmpl%I2|cmplw%I2} %0,%1,%W2"
   [(set_attr "type" "compare")])
 
 ;; The following two insns don't exist as single insns, but if we provide
@@ -3486,7 +5048,8 @@
    (set (match_operand:SI 0 "gpc_reg_operand" "=r")
 	(plus:SI (match_dup 1) (match_operand:SI 4 "short_cint_operand" "i")))]
   ""
-  "#")
+  "#"
+  [(set_attr "length" "8")])
    
 (define_insn ""
   [(set (match_operand:CCUNS 3 "cc_reg_operand" "=y")
@@ -3495,7 +5058,8 @@
    (set (match_operand:SI 0 "gpc_reg_operand" "=r")
 	(plus:SI (match_dup 1) (match_operand:SI 4 "short_cint_operand" "i")))]
   ""
-  "#")
+  "#"
+  [(set_attr "length" "8")])
    
 (define_split
   [(set (match_operand:CC 3 "cc_reg_operand" "")
@@ -3546,7 +5110,8 @@
 			   [(match_operand 2 "cc_reg_operand" "y")
 			    (const_int 0)]))]
   ""
-  "%D1mfcr %0\;rlinm %0,%0,%J1,31,31")
+  "%D1mfcr %0\;{rlinm|rlwinm} %0,%0,%J1,1"
+  [(set_attr "length" "12")])
 
 (define_insn ""
   [(set (match_operand:CC 0 "cc_reg_operand" "=x")
@@ -3557,8 +5122,9 @@
    (set (match_operand:SI 3 "gpc_reg_operand" "=r")
 	(match_op_dup 1 [(match_dup 2) (const_int 0)]))]
   ""
-  "%D1mfcr %3\;rlinm. %3,%3,%J1,30,31"
-  [(set_attr "type" "delayed_compare")])
+  "%D1mfcr %3\;{rlinm.|rlwinm.} %3,%3,%J1,1"
+  [(set_attr "type" "delayed_compare")
+   (set_attr "length" "12")])
 
 (define_insn ""
   [(set (match_operand:SI 0 "gpc_reg_operand" "=r")
@@ -3581,8 +5147,9 @@
   operands[4] = gen_rtx (CONST_INT, VOIDmode, count);
   operands[5] = gen_rtx (CONST_INT, VOIDmode, put_bit);
 
-  return \"%D1mfcr %0\;rlinm %0,%0,%4,%5,%5\";
-}")
+  return \"%D1mfcr %0\;{rlinm|rlwinm} %0,%0,%4,%5,%5\";
+}"
+ [(set_attr "length" "12")])
 
 (define_insn ""
   [(set (match_operand:CC 0 "cc_reg_operand" "=x")
@@ -3610,9 +5177,10 @@
   operands[5] = gen_rtx (CONST_INT, VOIDmode, count);
   operands[6] = gen_rtx (CONST_INT, VOIDmode, put_bit);
 
-  return \"%D1mfcr %4\;rlinm. %4,%4,%5,%6,%6\";
+  return \"%D1mfcr %4\;{rlinm.|rlwinm.} %4,%4,%5,%6,%6\";
 }"
-  [(set_attr "type" "delayed_compare")])
+  [(set_attr "type" "delayed_compare")
+   (set_attr "length" "12")])
 
 ;; If we are comparing the result of two comparisons, this can be done
 ;; using creqv or crxor.
@@ -3643,7 +5211,8 @@
     return \"%C1%C3crxor %E0,%j1,%j3\";
   else
     return \"%C1%C3creqv %E0,%j1,%j3\";
-}")
+}"
+  [(set_attr "length" "12")])
 
 ;; There is a 3 cycle delay between consecutive mfcr instructions
 ;; so it is useful to combine 2 scc instructions to use only one mfcr.
@@ -3658,7 +5227,8 @@
 			   [(match_operand 5 "cc_reg_operand" "y")
 			    (const_int 0)]))]
    "REGNO (operands[2]) != REGNO (operands[5])"
-   "%D1%D4mfcr %3\;rlinm %0,%3,%J1,31,31\;rlinm %3,%3,%J4,31,31")
+   "%D1%D4mfcr %3\;{rlinm|rlwinm} %0,%3,%J1,1\;{rlinm|rlwinm} %3,%3,%J4,1"
+   [(set_attr "length" "20")])
 
 ;; There are some scc insns that can be done directly, without a compare.
 ;; These are faster because they don't involve the communications between
@@ -3681,11 +5251,12 @@
    (clobber (match_scratch:SI 3 "=r,&r,r,r,r"))]
   ""
   "@
-   xor %0,%1,%2\;sfi %3,%0,0\;ae %0,%3,%0
-   sfi %3,%1,0\;ae %0,%3,%1
-   xoril %0,%1,%b2\;sfi %3,%0,0\;ae %0,%3,%0
-   xoriu %0,%1,%u2\;sfi %3,%0,0\;ae %0,%3,%0
-   sfi %0,%1,%2\;sfi %3,%0,0\;ae %0,%3,%0")
+   xor %0,%1,%2\;{sfi|subfic} %3,%0,0\;{ae|adde} %0,%3,%0
+   {sfi|subfic} %3,%1,0\;{ae|adde} %0,%3,%1
+   {xoril|xori} %0,%1,%b2\;{sfi|subfic} %3,%0,0\;{ae|adde} %0,%3,%0
+   {xoriu|xoris} %0,%1,%u2\;{sfi|subfic} %3,%0,0\;{ae|adde} %0,%3,%0
+   {sfi|subfic} %0,%1,%2\;{sfi|subfic} %3,%0,0\;{ae|adde} %0,%3,%0"
+  [(set_attr "length" "12,8,12,12,12")])
 
 (define_insn ""
   [(set (match_operand:CC 4 "cc_reg_operand" "=x,x,x,x,x")
@@ -3698,12 +5269,28 @@
    (clobber (match_scratch:SI 3 "=r,&r,r,r,r"))]
   ""
   "@
-   xor %0,%1,%2\;sfi %3,%0,0\;ae. %0,%3,%0
-   sfi %3,%1,0\;ae. %0,%3,%1
-   xoril %0,%1,%b2\;sfi %3,%0,0\;ae. %0,%3,%0
-   xoriu %0,%1,%u2\;sfi %3,%0,0\;ae. %0,%3,%0
-   sfi %0,%1,%2\;sfi %3,%0,0\;ae. %0,%3,%0"
-  [(set_attr "type" "compare")])
+   xor %0,%1,%2\;{sfi|subfic} %3,%0,0\;{ae.|adde.} %0,%3,%0
+   {sfi|subfic} %3,%1,0\;{ae.|adde.} %0,%3,%1
+   {xoril|xori} %0,%1,%b2\;{sfi|subfic} %3,%0,0\;{ae.|adde.} %0,%3,%0
+   {xoriu|xoris} %0,%1,%u2\;{sfi|subfic} %3,%0,0\;{ae.|adde.} %0,%3,%0
+   {sfi|subfic} %0,%1,%2\;{sfi|subfic} %3,%0,0\;{ae.|adde.} %0,%3,%0"
+  [(set_attr "type" "compare")
+   (set_attr "length" "12,8,12,12,12")])
+
+;; We have insns of the form shown by the first define_insn below.  If
+;; there is something inside the comparison operation, we must split it.
+(define_split
+  [(set (match_operand:SI 0 "gpc_reg_operand" "")
+	(plus:SI (match_operator 1 "comparison_operator"
+				 [(match_operand:SI 2 "" "")
+				  (match_operand:SI 3
+						    "reg_or_cint_operand" "")])
+		 (match_operand:SI 4 "gpc_reg_operand" "")))
+   (clobber (match_operand:SI 5 "register_operand" ""))]
+  "! gpc_reg_operand (operands[2], SImode)"
+  [(set (match_dup 5) (match_dup 2))
+   (set (match_dup 2) (plus:SI (match_op_dup 1 [(match_dup 2) (match_dup 3)])
+			       (match_dup 4)))])
 
 (define_insn ""
   [(set (match_operand:SI 0 "gpc_reg_operand" "=r,r,r,r,r")
@@ -3713,11 +5300,12 @@
    (clobber (match_scratch:SI 4 "=&r,&r,&r,&r,&r"))]
   ""
   "@
-   xor %4,%1,%2\;sfi %4,%4,0\;aze %0,%3
-   sfi %4,%1,0\;aze %0,%3
-   xoril %4,%1,%b2\;sfi %4,%4,0\;aze %0,%3
-   xoriu %4,%1,%u2\;sfi %4,%4,0\;aze %0,%3
-   sfi %4,%1,%2\;sfi %4,%4,0\;aze %0,%3")
+   xor %4,%1,%2\;{sfi|subfic} %4,%4,0\;{aze|addze} %0,%3
+   {sfi|subfic} %4,%1,0\;{aze|addze} %0,%3
+   {xoril|xori} %4,%1,%b2\;{sfi|subfic} %4,%4,0\;{aze|addze} %0,%3
+   {xoriu|xoris} %4,%1,%u2\;{sfi|subfic} %4,%4,0\;{aze|addze} %0,%3
+   {sfi|subfic} %4,%1,%2\;{sfi|subfic} %4,%4,0\;{aze|addze} %0,%3"
+  [(set_attr "length" "12,8,12,12,12")])
 
 (define_insn ""
   [(set (match_operand:CC 0 "cc_reg_operand" "=x,x,x,x,x")
@@ -3730,12 +5318,13 @@
    (clobber (match_scratch:SI 4 "=&r,&r,&r,&r,&r"))]
   ""
   "@
-   xor %4,%1,%2\;sfi %4,%4,0\;aze. %4,%3
-   sfi %4,%1,0\;aze. %0,%3
-   xoril %4,%1,%b2\;sfi %4,%4,0\;aze. %4,%3
-   xoriu %4,%1,%u2\;sfi %4,%4,0\;aze. %4,%3
-   sfi %4,%1,%2\;sfi %4,%4,0\;aze. %4,%3"
-  [(set_attr "type" "compare")])
+   xor %4,%1,%2\;{sfi|subfic} %4,%4,0\;{aze.|addze.} %4,%3
+   {sfi|subfic} %4,%1,0\;{aze.|addze.} %0,%3
+   {xoril|xori} %4,%1,%b2\;{sfi|subfic} %4,%4,0\;{aze.|addze.} %4,%3
+   {xoriu|xoris} %4,%1,%u2\;{sfi|subfic} %4,%4,0\;{aze.|addze.} %4,%3
+   {sfi|subfic} %4,%1,%2\;{sfi|subfic} %4,%4,0\;{aze.|addze.} %4,%3"
+  [(set_attr "type" "compare")
+   (set_attr "length" "12,8,12,12,12")])
 
 (define_insn ""
   [(set (match_operand:CC 5 "cc_reg_operand" "=x,x,x,x,x")
@@ -3750,24 +5339,26 @@
    (clobber (match_scratch:SI 4 "=&r,&r,&r,&r,&r"))]
   ""
   "@
-   xor %4,%1,%2\;sfi %4,%4,0\;aze. %0,%3
-   sfi %4,%1,0\;aze. %4,%3
-   xoril %4,%1,%b2\;sfi %4,%4,0\;aze. %0,%3
-   xoriu %4,%1,%u2\;sfi %4,%4,0\;aze. %0,%3
-   sfi %4,%1,%2\;sfi %4,%4,0\;aze. %0,%3"
-  [(set_attr "type" "compare")])
+   xor %4,%1,%2\;{sfi|subfic} %4,%4,0\;{aze.|addze.} %0,%3
+   {sfi|subfic} %4,%1,0\;{aze.|addze.} %4,%3
+   {xoril|xori} %4,%1,%b2\;{sfi|subfic} %4,%4,0\;{aze.|addze.} %0,%3
+   {xoriu|xoris} %4,%1,%u2\;{sfi|subfic} %4,%4,0\;{aze.|addze.} %0,%3
+   {sfi|subfic} %4,%1,%2\;{sfi|subfic} %4,%4,0\;{aze.|addze.} %0,%3"
+  [(set_attr "type" "compare")
+   (set_attr "length" "12,8,12,12,12")])
 
 (define_insn ""
   [(set (match_operand:SI 0 "gpc_reg_operand" "=r,r,r,r,r")
-	(neg:SI (eq:SI (match_operand:SI 1 "gpc_reg_operand" "r,r,r,r,r")
+	(neg:SI (eq:SI (match_operand:SI 1 "gpc_reg_operand" "%r,r,r,r,r")
 		       (match_operand:SI 2 "reg_or_cint_operand" "r,O,K,J,I"))))]
   ""
   "@
-   xor %0,%1,%2\;ai %0,%0,-1\;sfe %0,%0,%0
-   ai %0,%1,-1\;sfe %0,%0,%0
-   xoril %0,%1,%b2\;ai %0,%0,-1\;sfe %0,%0,%0
-   xoriu %0,%1,%u2\;ai %0,%0,-1\;sfe %0,%0,%0
-   sfi %0,%1,%2\;ai %0,%0,-1\;sfe %0,%0,%0")
+   xor %0,%1,%2\;{ai|addic} %0,%0,-1\;{sfe|subfe} %0,%0,%0
+   {ai|addic} %0,%1,-1\;{sfe|subfe} %0,%0,%0
+   {xoril|xori} %0,%1,%b2\;{ai|addic} %0,%0,-1\;{sfe|subfe} %0,%0,%0
+   {xoriu|xoris} %0,%1,%u2\;{ai|addic} %0,%0,-1\;{sfe|subfe} %0,%0,%0
+   {sfi|subfic} %0,%1,%2\;{ai|addic} %0,%0,-1\;{sfe|subfe} %0,%0,%0"
+   [(set_attr "length" "12,8,12,12,12")])
 
 ;; This is what (plus (ne X (const_int 0)) Y) looks like.
 (define_insn ""
@@ -3778,7 +5369,8 @@
 		 (match_operand:SI 2 "gpc_reg_operand" "r")))
    (clobber (match_scratch:SI 3 "=&r"))]
   ""
-  "ai %3,%1,-1\;aze %0,%2")
+  "{ai|addic} %3,%1,-1\;{aze|addze} %0,%2"
+  [(set_attr "length" "8")])
 
 (define_insn ""
   [(set (match_operand:CC 0 "cc_reg_operand" "=x")
@@ -3790,8 +5382,9 @@
 	 (const_int 0)))
    (clobber (match_scratch:SI 3 "=&r"))]
   ""
-  "ai %3,%1,-1\;aze. %3,%2"
-  [(set_attr "type" "compare")])
+  "{ai|addic} %3,%1,-1\;{aze.|addze.} %3,%2"
+  [(set_attr "type" "compare")
+   (set_attr "length" "8")])
 
 (define_insn ""
   [(set (match_operand:CC 4 "cc_reg_operand" "=x")
@@ -3806,18 +5399,20 @@
 		 (match_dup 2)))
    (clobber (match_scratch:SI 3 "=&r"))]
   ""
-  "ai %3,%1,-1\;aze. %0,%2"
-  [(set_attr "type" "compare")])
+  "{ai|addic} %3,%1,-1\;{aze.|addze.} %0,%2"
+  [(set_attr "type" "compare")
+   (set_attr "length" "8")])
 
 (define_insn ""
   [(set (match_operand:SI 0 "gpc_reg_operand" "=r,r")
 	(le:SI (match_operand:SI 1 "gpc_reg_operand" "r,r")
 	       (match_operand:SI 2 "reg_or_short_operand" "r,O")))
    (clobber (match_scratch:SI 3 "=r,X"))]
-  ""
+  "TARGET_POWER"
   "@
-   doz %3,%2,%1\;sfi %0,%3,0\;ae %0,%0,%3
-   ai %0,%1,-1\;aze %0,%0\;sri %0,%0,31")
+   doz %3,%2,%1\;{sfi|subfic} %0,%3,0\;{ae|adde} %0,%0,%3
+   {ai|addic} %0,%1,-1\;{aze|addze} %0,%0\;{sri|srwi} %0,%0,31"
+  [(set_attr "length" "12")])
 
 (define_insn ""
   [(set (match_operand:CC 4 "cc_reg_operand" "=x,x")
@@ -3828,11 +5423,12 @@
    (set (match_operand:SI 0 "gpc_reg_operand" "=r,r")
 	(le:SI (match_dup 1) (match_dup 2)))
    (clobber (match_scratch:SI 3 "=r,X"))]
-  ""
+  "TARGET_POWER"
   "@
-   doz %3,%2,%1\;sfi %0,%3,0\;ae. %0,%0,%3
-   ai %0,%1,-1\;aze %0,%0\;sri. %0,%0,31"
-  [(set_attr "type" "delayed_compare,compare")])
+   doz %3,%2,%1\;{sfi|subfic} %0,%3,0\;{ae.|adde.} %0,%0,%3
+   {ai|addic} %0,%1,-1\;{aze|addze} %0,%0\;{sri.|srwi.} %0,%0,31"
+  [(set_attr "type" "compare,delayed_compare")
+   (set_attr "length" "12")])
 
 (define_insn ""
   [(set (match_operand:SI 0 "gpc_reg_operand" "=r,r")
@@ -3840,10 +5436,11 @@
 			(match_operand:SI 2 "reg_or_short_operand" "r,O"))
 		 (match_operand:SI 3 "gpc_reg_operand" "r,r")))
    (clobber (match_scratch:SI 4 "=&r,&r"))]
-  ""
+  "TARGET_POWER"
   "@
-   doz %4,%2,%1\;sfi %4,%4,0\;aze %0,%3
-   srai %4,%1,31\;sf %4,%1,%4\;aze %0,%3")
+   doz %4,%2,%1\;{sfi|subfic} %4,%4,0\;{aze|addze} %0,%3
+   {srai|srawi} %4,%1,31\;{sf|subfc} %4,%1,%4\;{aze|addze} %0,%3"
+  [(set_attr "length" "12")])
 
 (define_insn ""
   [(set (match_operand:CC 0 "cc_reg_operand" "=x,x")
@@ -3853,11 +5450,12 @@
 		  (match_operand:SI 3 "gpc_reg_operand" "r,r"))
 	 (const_int 0)))
    (clobber (match_scratch:SI 4 "=&r,&r"))]
-  ""
+  "TARGET_POWER"
   "@
-   doz %4,%2,%1\;sfi %4,%4,0\;aze. %4,%3
-   srai %4,%1,31\;sf %4,%1,%4\;aze. %4,%3"
-  [(set_attr "type" "compare")])
+   doz %4,%2,%1\;{sfi|subfic} %4,%4,0\;{aze.|addze.} %4,%3
+   {srai|srawi} %4,%1,31\;{sf|subfc} %4,%1,%4\;{aze.|addze.} %4,%3"
+  [(set_attr "type" "compare")
+   (set_attr "length" "12")])
 
 (define_insn ""
   [(set (match_operand:CC 5 "cc_reg_operand" "=x,x")
@@ -3869,27 +5467,30 @@
    (set (match_operand:SI 0 "gpc_reg_operand" "=r,r")
 	(plus:SI (le:SI (match_dup 1) (match_dup 2)) (match_dup 3)))
    (clobber (match_scratch:SI 4 "=&r,&r"))]
-  ""
+  "TARGET_POWER"
   "@
-   doz %4,%2,%1\;sfi %4,%4,0\;aze. %0,%3
-   srai %4,%1,31\;sf %4,%1,%4\;aze. %0,%3"
-  [(set_attr "type" "compare")])
+   doz %4,%2,%1\;{sfi|subfic} %4,%4,0\;{aze.|addze.} %0,%3
+   {srai|srawi} %4,%1,31\;{sf|subfc} %4,%1,%4\;{aze.|addze.} %0,%3"
+  [(set_attr "type" "compare")
+   (set_attr "length" "12")])
 
 (define_insn ""
   [(set (match_operand:SI 0 "gpc_reg_operand" "=r,r")
 	(neg:SI (le:SI (match_operand:SI 1 "gpc_reg_operand" "r,r")
 		       (match_operand:SI 2 "reg_or_short_operand" "r,O"))))]
-  ""
+  "TARGET_POWER"
   "@
-   doz %0,%2,%1\;ai %0,%0,-1\;sfe %0,%0,%0
-   ai %0,%1,-1\;aze %0,%0\;srai %0,%0,31")
+   doz %0,%2,%1\;{ai|addic} %0,%0,-1\;{sfe|subfe} %0,%0,%0
+   {ai|addic} %0,%1,-1\;{aze|addze} %0,%0\;{srai|srawi} %0,%0,31"
+  [(set_attr "length" "12")])
 
 (define_insn ""
   [(set (match_operand:SI 0 "gpc_reg_operand" "=r")
 	(leu:SI (match_operand:SI 1 "gpc_reg_operand" "r")
 		(match_operand:SI 2 "reg_or_short_operand" "rI")))]
   ""
-  "sf%I2 %0,%1,%2\;cal %0,0(0)\;ae %0,%0,%0")
+  "{sf%I2|subf%I2c} %0,%1,%2\;{cal %0,0(0)|li %0,0}\;{ae|adde} %0,%0,%0"
+  [(set_attr "length" "12")])
 
 (define_insn ""
   [(set (match_operand:CC 3 "cc_reg_operand" "=x")
@@ -3900,8 +5501,9 @@
    (set (match_operand:SI 0 "gpc_reg_operand" "=r")
 	(leu:SI (match_dup 1) (match_dup 2)))]
    ""
-  "sf%I2 %0,%1,%2\;cal %0,0(0)\;ae. %0,%0,%0"
-  [(set_attr "type" "compare")])
+  "{sf%I2|subf%I2c} %0,%1,%2\;{cal %0,0(0)|li %0,0}\;{ae.|adde.} %0,%0,%0"
+  [(set_attr "type" "compare")
+   (set_attr "length" "12")])
 
 (define_insn ""
   [(set (match_operand:SI 0 "gpc_reg_operand" "=r")
@@ -3910,7 +5512,8 @@
 		 (match_operand:SI 3 "gpc_reg_operand" "r")))
    (clobber (match_scratch:SI 4 "=&r"))]
   ""
-  "sf%I2 %4,%1,%2\;aze %0,%3")
+  "{sf%I2|subf%I2c} %4,%1,%2\;{aze|addze} %0,%3"
+  [(set_attr "length" "8")])
 
 (define_insn ""
   [(set (match_operand:CC 0 "cc_reg_operand" "=x")
@@ -3921,8 +5524,9 @@
 	 (const_int 0)))
    (clobber (match_scratch:SI 4 "=&r"))]
   ""
-  "sf%I2 %4,%1,%2\;aze. %4,%3"
-  [(set_attr "type" "compare")])
+  "{sf%I2|subf%I2c} %4,%1,%2\;{aze.|addze.} %4,%3"
+  [(set_attr "type" "compare")
+   (set_attr "length" "8")])
 
 (define_insn ""
   [(set (match_operand:CC 5 "cc_reg_operand" "=x")
@@ -3935,15 +5539,17 @@
 	(plus:SI (leu:SI (match_dup 1) (match_dup 2)) (match_dup 3)))
    (clobber (match_scratch:SI 4 "=&r"))]
   ""
-  "sf%I2 %4,%1,%2\;aze. %0,%3"
-  [(set_attr "type" "compare")])
+  "{sf%I2|subf%I2c} %4,%1,%2\;{aze.|addze.} %0,%3"
+  [(set_attr "type" "compare")
+   (set_attr "length" "8")])
 
 (define_insn ""
   [(set (match_operand:SI 0 "gpc_reg_operand" "=r")
 	(neg:SI (leu:SI (match_operand:SI 1 "gpc_reg_operand" "r")
 			(match_operand:SI 2 "reg_or_short_operand" "rI"))))]
   ""
-  "sf%I2 %0,%1,%2\;sfe %0,%0,%0\;nand %0,%0,%0")
+  "{sf%I2|subf%I2c} %0,%1,%2\;{sfe|subfe} %0,%0,%0\;nand %0,%0,%0"
+   [(set_attr "length" "12")])
 
 (define_insn ""
   [(set (match_operand:SI 0 "gpc_reg_operand" "=r")
@@ -3953,7 +5559,8 @@
 		(match_operand:SI 3 "gpc_reg_operand" "r")))
    (clobber (match_scratch:SI 4 "=&r"))]
   ""
-  "sf%I2 %4,%1,%2\;sfe %4,%4,%4\;andc %0,%3,%4")
+  "{sf%I2|subf%I2c} %4,%1,%2\;{sfe|subfe} %4,%4,%4\;andc %0,%3,%4"
+  [(set_attr "length" "12")])
 
 (define_insn ""
   [(set (match_operand:CC 0 "cc_reg_operand" "=x")
@@ -3965,8 +5572,9 @@
 	 (const_int 0)))
    (clobber (match_scratch:SI 4 "=&r"))]
   ""
-  "sf%I2 %4,%1,%2\;sfe %4,%4,%4\;andc. %4,%3,%4"
-  [(set_attr "type" "compare")])
+  "{sf%I2|subf%I2c} %4,%1,%2\;{sfe|subfe} %4,%4,%4\;andc. %4,%3,%4"
+  [(set_attr "type" "compare")
+   (set_attr "length" "12")])
 
 (define_insn ""
   [(set (match_operand:CC 5 "cc_reg_operand" "=x")
@@ -3980,27 +5588,30 @@
 	(and:SI (neg:SI (leu:SI (match_dup 1) (match_dup 2))) (match_dup 3)))
    (clobber (match_scratch:SI 4 "=&r"))]
   ""
-  "sf%I2 %4,%1,%2\;sfe %4,%4,%4\;andc. %0,%3,%4"
-  [(set_attr "type" "compare")])
+  "{sf%I2|subf%I2c} %4,%1,%2\;{sfe|subfe} %4,%4,%4\;andc. %0,%3,%4"
+  [(set_attr "type" "compare")
+   (set_attr "length" "12")])
 
 (define_insn ""
   [(set (match_operand:SI 0 "gpc_reg_operand" "=r")
 	(lt:SI (match_operand:SI 1 "gpc_reg_operand" "r")
 	       (match_operand:SI 2 "reg_or_short_operand" "rI")))]
-  ""
-  "doz%I2 %0,%1,%2\;nabs %0,%0\;sri %0,%0,31")
+  "TARGET_POWER"
+  "doz%I2 %0,%1,%2\;nabs %0,%0\;{sri|srwi} %0,%0,31"
+   [(set_attr "length" "12")])
 
 (define_insn ""
-  [(set (match_operand:SI 3 "cc_reg_operand" "=x")
+  [(set (match_operand:CC 3 "cc_reg_operand" "=x")
 	(compare:CC
 	 (lt:SI (match_operand:SI 1 "gpc_reg_operand" "r")
 		(match_operand:SI 2 "reg_or_short_operand" "rI"))
 	 (const_int 0)))
    (set (match_operand:SI 0 "gpc_reg_operand" "=r")
 	(lt:SI (match_dup 1) (match_dup 2)))]
-  ""
-  "doz%I2 %0,%1,%2\;nabs %0,%0\;sri. %0,%0,31"
-  [(set_attr "type" "delayed_compare")])
+  "TARGET_POWER"
+  "doz%I2 %0,%1,%2\;nabs %0,%0\;{sri.|srwi.} %0,%0,31"
+  [(set_attr "type" "delayed_compare")
+   (set_attr "length" "12")])
 
 (define_insn ""
   [(set (match_operand:SI 0 "gpc_reg_operand" "=r")
@@ -4008,23 +5619,25 @@
 			(match_operand:SI 2 "reg_or_short_operand" "rI"))
 		 (match_operand:SI 3 "gpc_reg_operand" "r")))
    (clobber (match_scratch:SI 4 "=&r"))]
-  ""
-  "doz%I2 %4,%1,%2\;ai %4,%4,-1\;aze %0,%3")
+  "TARGET_POWER"
+  "doz%I2 %4,%1,%2\;{ai|addic} %4,%4,-1\;{aze|addze} %0,%3"
+  [(set_attr "length" "12")])
 
 (define_insn ""
-  [(set (match_operand:SI 0 "cc_reg_operand" "=x")
+  [(set (match_operand:CC 0 "cc_reg_operand" "=x")
 	(compare:CC
 	 (plus:SI (lt:SI (match_operand:SI 1 "gpc_reg_operand" "r")
 			 (match_operand:SI 2 "reg_or_short_operand" "rI"))
 		  (match_operand:SI 3 "gpc_reg_operand" "r"))
 	 (const_int 0)))
    (clobber (match_scratch:SI 4 "=&r"))]
-  ""
-  "doz%I2 %4,%1,%2\;ai %4,%4,-1\;aze. %4,%3"
-  [(set_attr "type" "compare")])
+  "TARGET_POWER"
+  "doz%I2 %4,%1,%2\;{ai|addic} %4,%4,-1\;{aze.|addze.} %4,%3"
+  [(set_attr "type" "compare")
+   (set_attr "length" "12")])
 
 (define_insn ""
-  [(set (match_operand:SI 5 "cc_reg_operand" "=x")
+  [(set (match_operand:CC 5 "cc_reg_operand" "=x")
 	(compare:CC
 	 (plus:SI (lt:SI (match_operand:SI 1 "gpc_reg_operand" "r")
 			 (match_operand:SI 2 "reg_or_short_operand" "rI"))
@@ -4033,16 +5646,18 @@
    (set (match_operand:SI 0 "gpc_reg_operand" "=r")
 	(plus:SI (lt:SI (match_dup 1) (match_dup 2)) (match_dup 3)))
    (clobber (match_scratch:SI 4 "=&r"))]
-  ""
-  "doz%I2 %4,%1,%2\;ai %4,%4,-1\;aze. %0,%3"
-  [(set_attr "type" "compare")])
+  "TARGET_POWER"
+  "doz%I2 %4,%1,%2\;{ai|addic} %4,%4,-1\;{aze.|addze.} %0,%3"
+  [(set_attr "type" "compare")
+   (set_attr "length" "12")])
 
 (define_insn ""
   [(set (match_operand:SI 0 "gpc_reg_operand" "=r")
 	(neg:SI (lt:SI (match_operand:SI 1 "gpc_reg_operand" "r")
 		       (match_operand:SI 2 "reg_or_short_operand" "rI"))))]
-  ""
-  "doz%I2 %0,%1,%2\;nabs %0,%0\;srai %0,%0,31")
+  "TARGET_POWER"
+  "doz%I2 %0,%1,%2\;nabs %0,%0\;{srai|srawi} %0,%0,31"
+  [(set_attr "length" "12")])
 
 (define_insn ""
   [(set (match_operand:SI 0 "gpc_reg_operand" "=r,r")
@@ -4050,8 +5665,9 @@
 		(match_operand:SI 2 "reg_or_neg_short_operand" "r,P")))]
   ""
   "@
-   sf %0,%2,%1\;sfe %0,%0,%0\;neg %0,%0
-   ai %0,%1,%n2\;sfe %0,%0,%0\;neg %0,%0")
+   {sf|subfc} %0,%2,%1\;{sfe|subfe} %0,%0,%0\;neg %0,%0
+   {ai|addic} %0,%1,%n2\;{sfe|subfe} %0,%0,%0\;neg %0,%0"
+  [(set_attr "length" "12")])
 
 (define_insn ""
   [(set (match_operand:CC 3 "cc_reg_operand" "=x,x")
@@ -4063,9 +5679,10 @@
 	(ltu:SI (match_dup 1) (match_dup 2)))]
   ""
   "@
-   sf %0,%2,%1\;sfe %0,%0,%0\;neg. %0,%0
-   ai %0,%1,%n2\;sfe %0,%0,%0\;neg. %0,%0"
-  [(set_attr "type" "compare")])
+   {sf|subfc} %0,%2,%1\;{sfe|subfe} %0,%0,%0\;neg. %0,%0
+   {ai|addic} %0,%1,%n2\;{sfe|subfe} %0,%0,%0\;neg. %0,%0"
+  [(set_attr "type" "compare")
+   (set_attr "length" "12")])
 
 (define_insn ""
   [(set (match_operand:SI 0 "gpc_reg_operand" "=r,r,r,r")
@@ -4075,44 +5692,43 @@
    (clobber (match_scratch:SI 4 "=&r,r,&r,r"))]
   ""
   "@
-  sf %4,%2,%1\;sfe %4,%4,%4\;sf%I3 %0,%4,%3
-  sf %4,%2,%1\;sfe %4,%4,%4\;sf%I3 %0,%4,%3
-  ai %4,%1,%n2\;sfe %4,%4,%4\;sf%I3 %0,%4,%3
-  ai %4,%1,%n2\;sfe %4,%4,%4\;sf%I3 %0,%4,%3")
+  {sf|subfc} %4,%2,%1\;{sfe|subfe} %4,%4,%4\;{sf%I3|subf%I3c} %0,%4,%3
+  {sf|subfc} %4,%2,%1\;{sfe|subfe} %4,%4,%4\;{sf%I3|subf%I3c} %0,%4,%3
+  {ai|addic} %4,%1,%n2\;{sfe|subfe} %4,%4,%4\;{sf%I3|subf%I3c} %0,%4,%3
+  {ai|addic} %4,%1,%n2\;{sfe|subfe} %4,%4,%4\;{sf%I3|subf%I3c} %0,%4,%3"
+ [(set_attr "length" "12")])
 
 (define_insn ""
-  [(set (match_operand:CC 0 "cc_reg_operand" "=x,x,x,x")
+  [(set (match_operand:CC 0 "cc_reg_operand" "=x,x")
 	(compare:CC
-	 (plus:SI (ltu:SI (match_operand:SI 1 "gpc_reg_operand" "r,r,r,r")
-			  (match_operand:SI 2 "reg_or_neg_short_operand" "r,r,P,P"))
-		  (match_operand:SI 3 "reg_or_short_operand" "r,I,r,I"))
+	 (plus:SI (ltu:SI (match_operand:SI 1 "gpc_reg_operand" "r,r")
+			  (match_operand:SI 2 "reg_or_neg_short_operand" "r,P"))
+		  (match_operand:SI 3 "gpc_reg_operand" "r,r"))
 	 (const_int 0)))
-   (clobber (match_scratch:SI 4 "=&r,r,&r,r"))]
+   (clobber (match_scratch:SI 4 "=&r,&r"))]
   ""
   "@
-   sf %4,%2,%1\;sfe %4,%4,%4\;sf%I3. %4,%4,%3
-   sf %4,%2,%1\;sfe %4,%4,%4\;sf%I3. %4,%4,%3
-   ai %4,%1,%n2\;sfe %4,%4,%4\;sf%I3. %4,%4,%3
-   ai %4,%1,%n2\;sfe %4,%4,%4\;sf%I3. %4,%4,%3"
-  [(set_attr "type" "compare")])
+   {sf|subfc} %4,%2,%1\;{sfe|subfe} %4,%4,%4\;{sf.|subfc.} %4,%4,%3
+   {ai|addic} %4,%1,%n2\;{sfe|subfe} %4,%4,%4\;{sf.|subfc.} %4,%4,%3"
+  [(set_attr "type" "compare")
+   (set_attr "length" "12")])
 
 (define_insn ""
-  [(set (match_operand:CC 5 "cc_reg_operand" "=x,x,x,x")
+  [(set (match_operand:CC 5 "cc_reg_operand" "=x,x")
 	(compare:CC
-	 (plus:SI (ltu:SI (match_operand:SI 1 "gpc_reg_operand" "r,r,r,r")
-			  (match_operand:SI 2 "reg_or_neg_short_operand" "r,r,P,P"))
-		  (match_operand:SI 3 "reg_or_short_operand" "r,I,r,I"))
+	 (plus:SI (ltu:SI (match_operand:SI 1 "gpc_reg_operand" "r,r")
+			  (match_operand:SI 2 "reg_or_neg_short_operand" "r,P"))
+		  (match_operand:SI 3 "gpc_reg_operand" "r,r"))
 	 (const_int 0)))
-   (set (match_operand:SI 0 "gpc_reg_operand" "=r,r,r,r")
+   (set (match_operand:SI 0 "gpc_reg_operand" "=r,r")
 	(plus:SI (ltu:SI (match_dup 1) (match_dup 2)) (match_dup 3)))
-   (clobber (match_scratch:SI 4 "=&r,r,&r,r"))]
+   (clobber (match_scratch:SI 4 "=&r,&r"))]
   ""
   "@
-   sf %4,%2,%1\;sfe %4,%4,%4\;sf%I3. %0,%4,%3
-   sf %4,%2,%1\;sfe %4,%4,%4\;sf%I3. %0,%4,%3
-   ai %4,%1,%n2\;sfe %4,%4,%4\;sf%I3. %0,%4,%3
-   ai %4,%1,%n2\;sfe %4,%4,%4\;sf%I3. %0,%4,%3"
-  [(set_attr "type" "compare")])
+   {sf|subfc} %4,%2,%1\;{sfe|subfe} %4,%4,%4\;{sf.|subfc.} %0,%4,%3
+   {ai|addic} %4,%1,%n2\;{sfe|subfe} %4,%4,%4\;{sf.|subfc.} %0,%4,%3"
+  [(set_attr "type" "compare")
+   (set_attr "length" "12")])
 
 (define_insn ""
   [(set (match_operand:SI 0 "gpc_reg_operand" "=r,r")
@@ -4120,16 +5736,18 @@
 			(match_operand:SI 2 "reg_or_neg_short_operand" "r,P"))))]
   ""
   "@
-   sf %0,%2,%1\;sfe %0,%0,%0
-   ai %0,%1,%n2\;sfe %0,%0,%0")
+   {sf|subfc} %0,%2,%1\;{sfe|subfe} %0,%0,%0
+   {ai|addic} %0,%1,%n2\;{sfe|subfe} %0,%0,%0"
+  [(set_attr "length" "8")])
 
 (define_insn ""
   [(set (match_operand:SI 0 "gpc_reg_operand" "=r")
 	(ge:SI (match_operand:SI 1 "gpc_reg_operand" "r")
 	       (match_operand:SI 2 "reg_or_short_operand" "rI")))
    (clobber (match_scratch:SI 3 "=r"))]
-  ""
-  "doz%I2 %3,%1,%2\;sfi %0,%3,0\;ae %0,%0,%3")
+  "TARGET_POWER"
+  "doz%I2 %3,%1,%2\;{sfi|subfic} %0,%3,0\;{ae|adde} %0,%0,%3"
+   [(set_attr "length" "12")])
 
 (define_insn ""
   [(set (match_operand:CC 4 "cc_reg_operand" "=x")
@@ -4140,9 +5758,10 @@
    (set (match_operand:SI 0 "gpc_reg_operand" "=r")
 	(ge:SI (match_dup 1) (match_dup 2)))
    (clobber (match_scratch:SI 3 "=r"))]
-  ""
-  "doz%I2 %3,%1,%2\;sfi %0,%3,0\;ae. %0,%0,%3"
-  [(set_attr "type" "compare")])
+  "TARGET_POWER"
+  "doz%I2 %3,%1,%2\;{sfi|subfic} %0,%3,0\;{ae.|adde.} %0,%0,%3"
+  [(set_attr "type" "compare")
+   (set_attr "length" "12")])
 
 (define_insn ""
   [(set (match_operand:SI 0 "gpc_reg_operand" "=r")
@@ -4150,8 +5769,9 @@
 			(match_operand:SI 2 "reg_or_short_operand" "rI"))
 		 (match_operand:SI 3 "gpc_reg_operand" "r")))
    (clobber (match_scratch:SI 4 "=&r"))]
-  ""
-  "doz%I2 %4,%1,%2\;sfi %4,%4,0\;aze %0,%3")
+  "TARGET_POWER"
+  "doz%I2 %4,%1,%2\;{sfi|subfic} %4,%4,0\;{aze|addze} %0,%3"
+  [(set_attr "length" "12")])
 
 (define_insn ""
   [(set (match_operand:CC 0 "cc_reg_operand" "=x")
@@ -4161,9 +5781,10 @@
 		  (match_operand:SI 3 "gpc_reg_operand" "r"))
 	 (const_int 0)))
    (clobber (match_scratch:SI 4 "=&r"))]
-  ""
-  "doz%I2 %4,%1,%2\;sfi %4,%4,0\;aze. %4,%3"
-  [(set_attr "type" "compare")])
+  "TARGET_POWER"
+  "doz%I2 %4,%1,%2\;{sfi|subfic} %4,%4,0\;{aze.|addze.} %4,%3"
+  [(set_attr "type" "compare")
+   (set_attr "length" "12")])
 
 (define_insn ""
   [(set (match_operand:CC 5 "cc_reg_operand" "=x")
@@ -4175,16 +5796,18 @@
    (set (match_operand:SI 0 "gpc_reg_operand" "=r")
 	(plus:SI (ge:SI (match_dup 1) (match_dup 2)) (match_dup 3)))
    (clobber (match_scratch:SI 4 "=&r"))]
-  ""
-  "doz%I2 %4,%1,%2\;sfi %4,%4,0\;aze. %0,%3"
-  [(set_attr "type" "compare")])
+  "TARGET_POWER"
+  "doz%I2 %4,%1,%2\;{sfi|subfic} %4,%4,0\;{aze.|addze.} %0,%3"
+  [(set_attr "type" "compare")
+   (set_attr "length" "12")])
 
 (define_insn ""
   [(set (match_operand:SI 0 "gpc_reg_operand" "=r")
 	(neg:SI (ge:SI (match_operand:SI 1 "gpc_reg_operand" "r")
 		       (match_operand:SI 2 "reg_or_short_operand" "rI"))))]
-  ""
-  "doz%I2 %0,%1,%2\;ai %0,%0,-1\;sfe %0,%0,%0")
+  "TARGET_POWER"
+  "doz%I2 %0,%1,%2\;{ai|addic} %0,%0,-1\;{sfe|subfe} %0,%0,%0"
+  [(set_attr "length" "12")])
 
 ;; This is (and (neg (ge X (const_int 0))) Y).
 (define_insn ""
@@ -4196,7 +5819,8 @@
 		(match_operand:SI 2 "gpc_reg_operand" "r")))
    (clobber (match_scratch:SI 3 "=&r"))]
   ""
-  "srai %3,%1,31\;andc %0,%2,%3")
+  "{srai|srawi} %3,%1,31\;andc %0,%2,%3"
+  [(set_attr "length" "8")])
 
 (define_insn ""
   [(set (match_operand:CC 0 "cc_reg_operand" "=x")
@@ -4209,8 +5833,9 @@
 	 (const_int 0)))
    (clobber (match_scratch:SI 3 "=&r"))]
   ""
-  "srai %3,%1,31\;andc. %3,%2,%3"
-  [(set_attr "type" "compare")])
+  "{srai|srawi} %3,%1,31\;andc. %3,%2,%3"
+  [(set_attr "type" "compare")
+   (set_attr "length" "8")])
 
 (define_insn ""
   [(set (match_operand:CC 4 "cc_reg_operand" "=x")
@@ -4227,8 +5852,9 @@
 		(match_dup 2)))
    (clobber (match_scratch:SI 3 "=&r"))]
   ""
-  "srai %3,%1,31\;andc. %0,%2,%3"
-  [(set_attr "type" "compare")])
+  "{srai|srawi} %3,%1,31\;andc. %0,%2,%3"
+  [(set_attr "type" "compare")
+   (set_attr "length" "8")])
 
 (define_insn ""
   [(set (match_operand:SI 0 "gpc_reg_operand" "=r,r")
@@ -4236,8 +5862,9 @@
 		(match_operand:SI 2 "reg_or_neg_short_operand" "r,P")))]
   ""
   "@
-   sf %0,%2,%1\;cal %0,0(0)\;ae %0,%0,%0
-   ai %0,%1,%n2\;cal %0,0(0)\;ae %0,%0,%0")
+   {sf|subfc} %0,%2,%1\;{cal %0,0(0)|li %0,0}\;{ae|adde} %0,%0,%0
+   {ai|addic} %0,%1,%n2\;{cal %0,0(0)|li %0,0}\;{ae|adde} %0,%0,%0"
+  [(set_attr "length" "12")])
 
 (define_insn ""
   [(set (match_operand:CC 3 "cc_reg_operand" "=x,x")
@@ -4249,9 +5876,10 @@
 	(geu:SI (match_dup 1) (match_dup 2)))]
   ""
   "@
-   sf %0,%2,%1\;cal %0,0(0)\;ae. %0,%0,%0
-   ai %0,%1,%n2\;cal %0,0(0)\;ae. %0,%0,%0"
-  [(set_attr "type" "compare")])
+   {sf|subfc} %0,%2,%1\;{cal %0,0(0)|li %0,0}\;{ae.|adde.} %0,%0,%0
+   {ai|addic} %0,%1,%n2\;{cal %0,0(0)|li %0,0}\;{ae.|adde.} %0,%0,%0"
+  [(set_attr "type" "compare")
+   (set_attr "length" "12")])
 
 (define_insn ""
   [(set (match_operand:SI 0 "gpc_reg_operand" "=r,r")
@@ -4261,8 +5889,9 @@
    (clobber (match_scratch:SI 4 "=&r,&r"))]
   ""
   "@
-   sf %4,%2,%1\;aze %0,%3
-   ai %4,%1,%n2\;aze %0,%3")
+   {sf|subfc} %4,%2,%1\;{aze|addze} %0,%3
+   {ai|addic} %4,%1,%n2\;{aze|addze} %0,%3"
+  [(set_attr "length" "8")])
 
 (define_insn ""
   [(set (match_operand:CC 0 "cc_reg_operand" "=x,x")
@@ -4274,9 +5903,10 @@
    (clobber (match_scratch:SI 4 "=&r,&r"))]
   ""
   "@
-   sf %4,%2,%1\;aze. %4,%3
-   ai %4,%1,%n2\;aze. %4,%3"
-  [(set_attr "type" "compare")])
+   {sf|subfc} %4,%2,%1\;{aze.|addze.} %4,%3
+   {ai|addic} %4,%1,%n2\;{aze.|addze.} %4,%3"
+  [(set_attr "type" "compare")
+   (set_attr "length" "8")])
 
 (define_insn ""
   [(set (match_operand:CC 5 "cc_reg_operand" "=x,x")
@@ -4290,9 +5920,10 @@
    (clobber (match_scratch:SI 4 "=&r,&r"))]
   ""
   "@
-   sf %4,%2,%1\;aze. %0,%3
-   ai %4,%1,%n2\;aze. %4,%3"
-  [(set_attr "type" "compare")])
+   {sf|subfc} %4,%2,%1\;{aze.|addze.} %0,%3
+   {ai|addic} %4,%1,%n2\;{aze.|addze.} %4,%3"
+  [(set_attr "type" "compare")
+   (set_attr "length" "8")])
 
 (define_insn ""
   [(set (match_operand:SI 0 "gpc_reg_operand" "=r,r")
@@ -4300,8 +5931,9 @@
 			(match_operand:SI 2 "reg_or_short_operand" "r,I"))))]
   ""
   "@
-   sf %0,%2,%1\;sfe %0,%0,%0\;nand %0,%0,%0
-   sfi %0,%1,-1\;a%I2 %0,%0,%2\;sfe %0,%0,%0")
+   {sf|subfc} %0,%2,%1\;{sfe|subfe} %0,%0,%0\;nand %0,%0,%0
+   {sfi|subfic} %0,%1,-1\;a%I2 %0,%0,%2\;{sfe|subfe} %0,%0,%0"
+  [(set_attr "length" "12")])
 
 (define_insn ""
   [(set (match_operand:SI 0 "gpc_reg_operand" "=r,r")
@@ -4312,8 +5944,9 @@
    (clobber (match_scratch:SI 4 "=&r,&r"))]
   ""
   "@
-   sf %4,%2,%1\;sfe %4,%4,%4\;andc %0,%3,%4
-   ai %4,%1,%n2\;sfe %4,%4,%4\;andc %0,%3,%4")
+   {sf|subfc} %4,%2,%1\;{sfe|subfe} %4,%4,%4\;andc %0,%3,%4
+   {ai|addic} %4,%1,%n2\;{sfe|subfe} %4,%4,%4\;andc %0,%3,%4"
+  [(set_attr "length" "12")])
 
 (define_insn ""
   [(set (match_operand:CC 0 "cc_reg_operand" "=x,x")
@@ -4326,9 +5959,10 @@
    (clobber (match_scratch:SI 4 "=&r,&r"))]
   ""
   "@
-   sf %4,%2,%1\;sfe %4,%4,%4\;andc. %4,%3,%4
-   ai %4,%1,%n2\;sfe %4,%4,%4\;andc. %4,%3,%4"
-  [(set_attr "type" "compare")])
+   {sf|subfc} %4,%2,%1\;{sfe|subfe} %4,%4,%4\;andc. %4,%3,%4
+   {ai|addic} %4,%1,%n2\;{sfe|subfe} %4,%4,%4\;andc. %4,%3,%4"
+  [(set_attr "type" "compare")
+   (set_attr "length" "12")])
 
 (define_insn ""
   [(set (match_operand:CC 5 "cc_reg_operand" "=x,x")
@@ -4343,16 +5977,18 @@
    (clobber (match_scratch:SI 4 "=&r,&r"))]
   ""
   "@
-   sf %4,%2,%1\;sfe %4,%4,%4\;andc. %0,%3,%4
-   ai %4,%1,%n2\;sfe %4,%4,%4\;andc. %0,%3,%4"
-  [(set_attr "type" "compare")])
+   {sf|subfc} %4,%2,%1\;{sfe|subfe} %4,%4,%4\;andc. %0,%3,%4
+   {ai|addic} %4,%1,%n2\;{sfe|subfe} %4,%4,%4\;andc. %0,%3,%4"
+  [(set_attr "type" "compare")
+   (set_attr "length" "12")])
 
 (define_insn ""
   [(set (match_operand:SI 0 "gpc_reg_operand" "=r")
 	(gt:SI (match_operand:SI 1 "gpc_reg_operand" "r")
 	       (const_int 0)))]
   ""
-  "sfi %0,%1,0\;ame %0,%0\;sri %0,%0,31")
+  "{sfi|subfic} %0,%1,0\;{ame|addme} %0,%0\;{sri|srwi} %0,%0,31"
+  [(set_attr "length" "12")])
 
 (define_insn ""
   [(set (match_operand:CC 2 "cc_reg_operand" "=x")
@@ -4363,15 +5999,17 @@
    (set (match_operand:SI 0 "gpc_reg_operand" "=r")
 	(gt:SI (match_dup 1) (const_int 0)))]
   ""
-  "sfi %0,%1,0\;ame %0,%0\;sri. %0,%0,31"
-  [(set_attr "type" "delayed_compare")])
+  "{sfi|subfic} %0,%1,0\;{ame|addme} %0,%0\;{sri.|srwi.} %0,%0,31"
+  [(set_attr "type" "delayed_compare")
+   (set_attr "length" "12")])
 
 (define_insn ""
   [(set (match_operand:SI 0 "gpc_reg_operand" "=r")
 	(gt:SI (match_operand:SI 1 "gpc_reg_operand" "r")
 	       (match_operand:SI 2 "reg_or_short_operand" "r")))]
-  ""
-  "doz %0,%2,%1\;nabs %0,%0\;sri %0,%0,31")
+  "TARGET_POWER"
+  "doz %0,%2,%1\;nabs %0,%0\;{sri|srwi} %0,%0,31"
+  [(set_attr "length" "12")])
 
 (define_insn ""
   [(set (match_operand:CC 3 "cc_reg_operand" "=x")
@@ -4381,9 +6019,10 @@
 	 (const_int 0)))
    (set (match_operand:SI 0 "gpc_reg_operand" "=r")
 	(gt:SI (match_dup 1) (match_dup 2)))]
-  ""
-  "doz %0,%2,%1\;nabs %0,%0\;sri. %0,%0,31"
-  [(set_attr "type" "delayed_compare")])
+  "TARGET_POWER"
+  "doz %0,%2,%1\;nabs %0,%0\;{sri.|srwi.} %0,%0,31"
+  [(set_attr "type" "delayed_compare")
+   (set_attr "length" "12")])
 
 (define_insn ""
   [(set (match_operand:SI 0 "gpc_reg_operand" "=r")
@@ -4392,7 +6031,8 @@
 		 (match_operand:SI 2 "gpc_reg_operand" "r")))
    (clobber (match_scratch:SI 3 "=&r"))]
   ""
-  "a %3,%1,%1\;sfe %3,%1,%3\;aze %0,%2")
+  "{a|addc} %3,%1,%1\;{sfe|subfe} %3,%1,%3\;{aze|addze} %0,%2"
+  [(set_attr "length" "12")])
 
 (define_insn ""
   [(set (match_operand:CC 0 "cc_reg_operand" "=x")
@@ -4403,8 +6043,9 @@
 	 (const_int 0)))
    (clobber (match_scratch:SI 3 "=&r"))]
   ""
-  "a %3,%1,%1\;sfe %3,%1,%3\;aze. %0,%2"
-  [(set_attr "type" "compare")])
+  "{a|addc} %3,%1,%1\;{sfe|subfe} %3,%1,%3\;{aze.|addze.} %0,%2"
+  [(set_attr "type" "compare")
+   (set_attr "length" "12")])
 
 (define_insn ""
   [(set (match_operand:CC 4 "cc_reg_operand" "=x")
@@ -4417,8 +6058,9 @@
 	(plus:SI (gt:SI (match_dup 1) (const_int 0)) (match_dup 2)))
    (clobber (match_scratch:SI 3 "=&r"))]
   ""
-  "a %3,%1,%1\;sfe %3,%1,%3\;aze. %3,%2"
-  [(set_attr "type" "compare")])
+  "{a|addc} %3,%1,%1\;{sfe|subfe} %3,%1,%3\;{aze.|addze.} %3,%2"
+  [(set_attr "type" "compare")
+   (set_attr "length" "12")])
 
 (define_insn ""
   [(set (match_operand:SI 0 "gpc_reg_operand" "=r")
@@ -4426,8 +6068,9 @@
 			(match_operand:SI 2 "reg_or_short_operand" "r"))
 		 (match_operand:SI 3 "gpc_reg_operand" "r")))
    (clobber (match_scratch:SI 4 "=&r"))]
-  ""
-  "doz %4,%2,%1\;ai %4,%4,-1\;aze %0,%3")
+  "TARGET_POWER"
+  "doz %4,%2,%1\;{ai|addic} %4,%4,-1\;{aze|addze} %0,%3"
+  [(set_attr "length" "12")])
 
 (define_insn ""
   [(set (match_operand:CC 0 "cc_reg_operand" "=x")
@@ -4437,9 +6080,10 @@
 		  (match_operand:SI 3 "gpc_reg_operand" "r"))
 	 (const_int 0)))
    (clobber (match_scratch:SI 4 "=&r"))]
-  ""
-  "doz %4,%2,%1\;ai %4,%4,-1\;aze. %4,%3"
-  [(set_attr "type" "compare")])
+  "TARGET_POWER"
+  "doz %4,%2,%1\;{ai|addic} %4,%4,-1\;{aze.|addze.} %4,%3"
+  [(set_attr "type" "compare")
+   (set_attr "length" "12")])
 
 (define_insn ""
   [(set (match_operand:CC 5 "cc_reg_operand" "=x")
@@ -4451,30 +6095,34 @@
    (set (match_operand:SI 0 "gpc_reg_operand" "=r")
 	(plus:SI (gt:SI (match_dup 1) (match_dup 2)) (match_dup 3)))
    (clobber (match_scratch:SI 4 "=&r"))]
-  ""
-  "doz %4,%2,%1\;ai %4,%4,-1\;aze. %0,%3"
-  [(set_attr "type" "compare")])
+  "TARGET_POWER"
+  "doz %4,%2,%1\;{ai|addic} %4,%4,-1\;{aze.|addze.} %0,%3"
+  [(set_attr "type" "compare")
+   (set_attr "length" "12")])
 
 (define_insn ""
   [(set (match_operand:SI 0 "gpc_reg_operand" "=r")
 	(neg:SI (gt:SI (match_operand:SI 1 "gpc_reg_operand" "r")
 		       (const_int 0))))]
   ""
-  "sfi %0,%1,0\;ame %0,%0\;srai %0,%0,31")
+  "{sfi|subfic} %0,%1,0\;{ame|addme} %0,%0\;{srai|srawi} %0,%0,31"
+  [(set_attr "length" "12")])
 
 (define_insn ""
   [(set (match_operand:SI 0 "gpc_reg_operand" "=r")
 	(neg:SI (gt:SI (match_operand:SI 1 "gpc_reg_operand" "r")
 		       (match_operand:SI 2 "reg_or_short_operand" "r"))))]
-  ""
-  "doz %0,%2,%1\;nabs %0,%0\;srai %0,%0,31")
+  "TARGET_POWER"
+  "doz %0,%2,%1\;nabs %0,%0\;{srai|srawi} %0,%0,31"
+  [(set_attr "length" "12")])
 
 (define_insn ""
   [(set (match_operand:SI 0 "gpc_reg_operand" "=r")
 	(gtu:SI (match_operand:SI 1 "gpc_reg_operand" "r")
 		(match_operand:SI 2 "reg_or_short_operand" "rI")))]
   ""
-  "sf%I2 %0,%1,%2\;sfe %0,%0,%0\;neg %0,%0")
+  "{sf%I2|subf%I2c} %0,%1,%2\;{sfe|subfe} %0,%0,%0\;neg %0,%0"
+  [(set_attr "length" "12")])
 
 (define_insn ""
   [(set (match_operand:CC 3 "cc_reg_operand" "=x")
@@ -4485,8 +6133,9 @@
    (set (match_operand:SI 0 "gpc_reg_operand" "=r")
 	(gtu:SI (match_dup 1) (match_dup 2)))]
   ""
-  "sf%I2 %0,%1,%2\;sfe %0,%0,%0\;neg. %0,%0"
-  [(set_attr "type" "compare")])
+  "{sf%I2|subf%I2c} %0,%1,%2\;{sfe|subfe} %0,%0,%0\;neg. %0,%0"
+  [(set_attr "type" "compare")
+   (set_attr "length" "12")])
 
 (define_insn ""
   [(set (match_operand:SI 0 "gpc_reg_operand" "=r,r,r")
@@ -4496,48 +6145,50 @@
    (clobber (match_scratch:SI 4 "=&r,&r,&r"))]
   ""
   "@
-   ai %4,%1,%k2\;aze %0,%3
-   sf%I2 %4,%1,%2\;sfe %4,%4,%4\;sf%I3 %0,%4,%3
-   sf%I2 %4,%1,%2\;sfe %4,%4,%4\;sf%I3 %0,%4,%3")
+   {ai|addic} %4,%1,%k2\;{aze|addze} %0,%3
+   {sf%I2|subf%I2c} %4,%1,%2\;{sfe|subfe} %4,%4,%4\;{sf%I3|subf%I3c} %0,%4,%3
+   {sf%I2|subf%I2c} %4,%1,%2\;{sfe|subfe} %4,%4,%4\;{sf%I3|subf%I3c} %0,%4,%3"
+  [(set_attr "length" "8,12,12")])
 
 (define_insn ""
-  [(set (match_operand:CC 0 "cc_reg_operand" "=x,x,x")
+  [(set (match_operand:CC 0 "cc_reg_operand" "=x,x")
 	(compare:CC
-	 (plus:SI (gtu:SI (match_operand:SI 1 "gpc_reg_operand" "r,r,r")
-			  (match_operand:SI 2 "reg_or_short_operand" "I,r,rI"))
-		  (match_operand:SI 3 "reg_or_short_operand" "r,r,I"))
+	 (plus:SI (gtu:SI (match_operand:SI 1 "gpc_reg_operand" "r,r")
+			  (match_operand:SI 2 "reg_or_short_operand" "I,r"))
+		  (match_operand:SI 3 "gpc_reg_operand" "r,r"))
 	 (const_int 0)))
-   (clobber (match_scratch:SI 4 "=&r,&r,&r"))]
+   (clobber (match_scratch:SI 4 "=&r,&r"))]
   ""
   "@
-   ai %4,%1,%k2\;aze. %0,%3
-   sf%I2 %4,%1,%2\;sfe %4,%4,%4\;sf%I3. %0,%4,%3
-   sf%I2 %4,%1,%2\;sfe %4,%4,%4\;sf%I3. %0,%4,%3"
-  [(set_attr "type" "compare")])
+   {ai|addic} %4,%1,%k2\;{aze.|addze.} %0,%3
+   {sf%I2|subf%I2c} %4,%1,%2\;{sfe|subfe} %4,%4,%4\;{sf.|subfc.} %0,%4,%3"
+  [(set_attr "type" "compare")
+   (set_attr "length" "8,12")])
 
 (define_insn ""
-  [(set (match_operand:CC 5 "cc_reg_operand" "=x,x,x")
+  [(set (match_operand:CC 5 "cc_reg_operand" "=x,x")
 	(compare:CC
-	 (plus:SI (gtu:SI (match_operand:SI 1 "gpc_reg_operand" "r,r,r")
-			  (match_operand:SI 2 "reg_or_short_operand" "I,r,rI"))
-		  (match_operand:SI 3 "reg_or_short_operand" "r,r,I"))
+	 (plus:SI (gtu:SI (match_operand:SI 1 "gpc_reg_operand" "r,r")
+			  (match_operand:SI 2 "reg_or_short_operand" "I,r"))
+		  (match_operand:SI 3 "gpc_reg_operand" "r,r"))
 	 (const_int 0)))
-   (set (match_operand:SI 0 "gpc_reg_operand" "=r,r,r")
+   (set (match_operand:SI 0 "gpc_reg_operand" "=r,r")
 	(plus:SI (gtu:SI (match_dup 1) (match_dup 2)) (match_dup 3)))
-   (clobber (match_scratch:SI 4 "=&r,&r,&r"))]
+   (clobber (match_scratch:SI 4 "=&r,&r"))]
   ""
   "@
-   ai %4,%1,%k2\;aze. %0,%3
-   sf%I2 %4,%1,%2\;sfe %4,%4,%4\;sf%I3. %0,%4,%3
-   sf%I2 %4,%1,%2\;sfe %4,%4,%4\;sf%I3. %0,%4,%3"
-  [(set_attr "type" "compare")])
+   {ai|addic} %4,%1,%k2\;{aze.|addze.} %0,%3
+   {sf%I2|subf%I2c} %4,%1,%2\;{sfe|subfe} %4,%4,%4\;{sf.|subfc.} %0,%4,%3"
+  [(set_attr "type" "compare")
+   (set_attr "length" "8,12")])
 
 (define_insn ""
   [(set (match_operand:SI 0 "gpc_reg_operand" "=r")
 	(neg:SI (gtu:SI (match_operand:SI 1 "gpc_reg_operand" "r")
 			(match_operand:SI 2 "reg_or_short_operand" "rI"))))]
   ""
-  "sf%I2 %0,%1,%2\;sfe %0,%0,%0")
+  "{sf%I2|subf%I2c} %0,%1,%2\;{sfe|subfe} %0,%0,%0"
+  [(set_attr "length" "8")])
 
 ;; Define both directions of branch and return.  If we need a reload
 ;; register, we'd rather use CR0 since it is much easier to copy a
@@ -4552,7 +6203,14 @@
 		      (label_ref (match_operand 0 "" ""))
 		      (pc)))]
   ""
-  "%C1bc %t1,%j1,%0")
+  "*
+{
+  if (get_attr_length (insn) == 8)
+    return \"%C1bc %t1,%j1,%l0\";
+  else
+    return \"%C1bc %T1,%j1,$+8\;b %l0\";
+}"
+  [(set_attr "type" "branch")])
 
 (define_insn ""
   [(set (pc)
@@ -4563,7 +6221,8 @@
 		      (return)
 		      (pc)))]
   "direct_return ()"
-  "%C0bcr %t0,%j0")
+  "{%C0bcr|%C0bclr} %t0,%j0"
+  [(set_attr "length" "8")])
 
 (define_insn ""
   [(set (pc)
@@ -4574,7 +6233,14 @@
 		      (pc)
 		      (label_ref (match_operand 0 "" ""))))]
   ""
-  "%C1bc %T1,%j1,%0")
+  "*
+{
+  if (get_attr_length (insn) == 8)
+    return \"%C1bc %T1,%j1,%l0\";
+  else
+    return \"%C1bc %t1,%j1,$+8\;b %l0\";
+}"
+  [(set_attr "type" "branch")])
 
 (define_insn ""
   [(set (pc)
@@ -4585,7 +6251,8 @@
 		      (pc)
 		      (return)))]
   "direct_return ()"
-  "%C0bcr %T0,%j0")
+  "{%C0bcr|%C0bclr} %T0,%j0"
+  [(set_attr "length" "8")])
 
 ;; Unconditional branch and return.
 
@@ -4598,14 +6265,16 @@
 (define_insn "return"
   [(return)]
   "direct_return ()"
-  "br")
+  "{br|blr}"
+  [(set_attr "type" "jmpreg")])
 
 (define_insn "indirect_jump"
   [(set (pc) (match_operand:SI 0 "register_operand" "c,l"))]
   ""
   "@
    bctr
-   br")
+   {br|blr}"
+  [(set_attr "type" "jmpreg")])
 
 ;; Table jump for switch statements:
 (define_expand "tablejump"
@@ -4628,12 +6297,12 @@
   ""
   "@
    bctr
-   br")
+   {br|blr}")
 
 (define_insn "nop"
   [(const_int 0)]
   ""
-  "cror 0,0,0")
+  "{cror 0,0,0|nop}")
 
 ;; Define the subtract-one-and-jump insns, starting with the template 
 ;; so loop.c knows what to generate.
@@ -4661,10 +6330,17 @@
    (clobber (match_scratch:CC 3 "=X,&x,&x"))
    (clobber (match_scratch:SI 4 "=X,X,r"))]
   ""
-  "@
-   bdn %l2
-   #
-   #")
+  "*
+{
+  if (which_alternative != 0)
+    return \"#\";
+  else if (get_attr_length (insn) == 8)
+    return \"{bdn|bdnz} %l2\";
+  else
+    return \"bdz $+8\;b %l2\";
+}"
+  [(set_attr "type" "branch")
+   (set_attr "length" "*,12,16")])
 			       
 ;; Similar, but we can use GE since we have a REG_NONNEG.
 (define_insn ""
@@ -4678,10 +6354,17 @@
    (clobber (match_scratch:CC 3 "=X,&x,&X"))
    (clobber (match_scratch:SI 4 "=X,X,r"))]
   "find_reg_note (insn, REG_NONNEG, 0)"
-  "@
-   bdn %l2
-   #
-   #")
+  "*
+{
+  if (which_alternative != 0)
+    return \"#\";
+  else if (get_attr_length (insn) == 8)
+    return \"{bdn|bdnz} %l2\";
+  else
+    return \"bdz $+8\;b %l2\";
+}"
+  [(set_attr "type" "branch")
+   (set_attr "length" "*,12,16")])
 			       
 (define_insn ""
   [(set (pc)
@@ -4694,10 +6377,17 @@
    (clobber (match_scratch:CC 3 "=X,&x,&x"))
    (clobber (match_scratch:SI 4 "=X,X,r"))]
   ""
-  "@
-   bdz %l2
-   #
-   #")
+  "*
+{
+  if (which_alternative != 0)
+    return \"#\";
+  else if (get_attr_length (insn) == 8)
+    return \"bdz %l2\";
+  else
+    return \"{bdn|bdnz} $+8\;b %l2\";
+}"
+  [(set_attr "type" "branch")
+   (set_attr "length" "*,12,16")])
 
 (define_split
   [(set (pc)