--- gcc/config/rs6000/rs6000.md	2018/04/24 18:10:26	1.1.1.1
+++ gcc/config/rs6000/rs6000.md	2018/04/24 18:16:38	1.1.1.2
@@ -22,27 +22,194 @@
 
 ;; 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,mtlr,fp,dmul,sdiv,ddiv,ssqrt,dsqrt"
   (const_string "integer"))
 
-;; Memory delivers its result in two cycles.
-(define_function_unit "memory" 1 0 (eq_attr "type" "load") 2 0)
-
-;; 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)
-
-;; Most integer comparisons are ready in four cycles (a stall of three).
-(define_function_unit "compare" 1 0 (eq_attr "type" "compare") 4 0)
-
-;; 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)
-
-;; Floating-point comparisons take eight cycles.
-(define_function_unit "compare" 1 0 (eq_attr "type" "fpcompare") 8 0)
-
-;; 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)
+;; 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])
+
+(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)
+
+(define_function_unit "iu" 1 0
+  (and (eq_attr "type" "imul")
+       (eq_attr "cpu" "rios1"))
+  3 0)
+
+(define_function_unit "iu" 1 0
+  (and (eq_attr "type" "imul")
+       (eq_attr "cpu" "ppc601,ppc603,ppc604,ppc620"))
+  5 0)
+
+(define_function_unit "iu" 1 0
+  (and (eq_attr "type" "idiv")
+       (eq_attr "cpu" "rios1"))
+  19 0)
+
+(define_function_unit "iu" 1 0
+  (and (eq_attr "type" "idiv")
+       (eq_attr "cpu" "ppc601,ppc603,ppc604,ppc620"))
+  36 0)
+
+(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" "mtlr")
+       (eq_attr "cpu" "rios1,rios2"))
+  5 0)
+
+(define_function_unit "bpu" 1 0
+  (and (eq_attr "type" "mtlr")
+       (eq_attr "cpu" "ppc601,ppc603,ppc604,ppc620"))
+  4 0)
+
+(define_function_unit "fpu" 1 0
+  (and (eq_attr "type" "fp")
+       (eq_attr "cpu" "rios1"))
+  2 0)
+
+(define_function_unit "fpu" 1 0
+  (and (eq_attr "type" "fp")
+       (eq_attr "cpu" "ppc601,ppc603,ppc604,ppc620"))
+  4 0)
+
+(define_function_unit "fpu" 1 0
+  (and (eq_attr "type" "dmul")
+       (eq_attr "cpu" "rios1"))
+  2 0)
+
+(define_function_unit "fpu" 1 0
+  (and (eq_attr "type" "dmul")
+       (eq_attr "cpu" "ppc601,ppc603,ppc604,ppc620"))
+  5 0)
+
+(define_function_unit "fpu" 1 0
+  (and (eq_attr "type" "sdiv")
+       (eq_attr "cpu" "rios1"))
+  19 0)
+
+(define_function_unit "fpu" 1 0
+  (and (eq_attr "type" "sdiv")
+       (eq_attr "cpu" "ppc601,ppc603,ppc604,ppc620"))
+  17 0)
+
+(define_function_unit "fpu" 1 0
+  (and (eq_attr "type" "ddiv")
+       (eq_attr "cpu" "rios1"))
+  19 0)
+
+(define_function_unit "fpu" 1 0
+  (and (eq_attr "type" "ddiv")
+       (eq_attr "cpu" "ppc601,ppc603,ppc604,ppc620"))
+  31 0)
+
+(define_function_unit "fpu" 1 0
+  (and (eq_attr "type" "ssqrt")
+       (eq_attr "cpu" "ppc603,ppc604,ppc620"))
+  31 0)
+
+(define_function_unit "fpu" 1 0
+  (and (eq_attr "type" "dsqrt")
+       (eq_attr "cpu" "ppc603,ppc604,ppc620"))
+  31 0)
+
+(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 0
+  [(eq_attr "type" "integer")])
+
+(define_function_unit "imuldiv" 1 0
+  (and (eq_attr "type" "idiv")
+       (eq_attr "cpu" "rios2"))
+  13 0
+  [(eq_attr "type" "integer")])
+
+(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")
+       (eq_attr "cpu" "rios2"))
+  17 0)
+
+(define_function_unit "fpu2" 2 0
+  (and (eq_attr "type" "ddiv")
+       (eq_attr "cpu" "rios2"))
+  17 0)
+
+(define_function_unit "fpu2" 2 0
+  (and (eq_attr "type" "ssqrt")
+       (eq_attr "cpu" "rios2"))
+  26 0)
+
+(define_function_unit "fpu2" 2 0
+  (and (eq_attr "type" "dsqrt")
+       (eq_attr "cpu" "rios2"))
+  26 0)
 
 ;; Start with fixed-point load and store insns.  Here we put only the more
 ;; complex forms.  Basic data transfer is done later.
@@ -59,7 +226,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 +235,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,7 +245,7 @@
    (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 "zero_extendqihi2"
@@ -93,7 +260,7 @@
   ""
   "@
    lbz%U1%X1 %0,%1
-   rlinm %0,%1,0,24,31"
+   {rlinm|rlwinm} %0,%1,0,0xff"
   [(set_attr "type" "load,*")])
 
 (define_expand "zero_extendhisi2"
@@ -108,7 +275,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 +284,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 +294,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 +309,7 @@
   ""
   "@
    lha%U1%X1 %0,%1
-   exts %0,%1"
+   {exts|extsh} %0,%1"
   [(set_attr "type" "load,*")])
 
 (define_insn ""
@@ -151,7 +318,7 @@
 		    (const_int 0)))
    (clobber (match_scratch:SI 2 "=r"))]
   ""
-  "exts. %2,%1"
+  "{exts.|extsh.} %2,%1"
   [(set_attr "type" "compare")])
 
 (define_insn ""
@@ -161,7 +328,7 @@
    (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.
@@ -171,8 +338,8 @@
 		 (match_operand:SI 2 "add_operand" "rI,J")))]
   ""
   "@
-   a%I2 %0,%1,%2
-   cau %0,%1,%u2")
+   {a%I2|add%I2c} %0,%1,%2
+   {cau|addis} %0,%1,%u2")
 
 (define_insn ""
   [(set (match_operand:CC 0 "cc_reg_operand" "=x")
@@ -181,7 +348,7 @@
 		    (const_int 0)))
    (clobber (match_scratch:SI 3 "=r"))]
   ""
-  "a%I2. %3,%1,%2"
+  "{a%I2.|add%I2c.} %3,%1,%2"
   [(set_attr "type" "compare")])
    
 (define_insn ""
@@ -192,7 +359,7 @@
    (set (match_operand:SI 0 "gpc_reg_operand" "=r")
 	(plus:SI (match_dup 1) (match_dup 2)))]
   ""
-  "a%I2. %0,%1,%2"
+  "{a%I2.|add%I2c.} %0,%1,%2"
   [(set_attr "type" "compare")])
    
 ;; Split an add that we can't do in one insn into two insns, each of which
@@ -218,20 +385,49 @@
   operands[4] = gen_rtx (CONST_INT, VOIDmode, low);
 }")
 
-(define_insn "one_cmplsi2"
+(define_expand "one_cmplsi2"
   [(set (match_operand:SI 0 "gpc_reg_operand" "=r")
 	(not:SI (match_operand:SI 1 "gpc_reg_operand" "r")))]
   ""
-  "sfi %0,%1,-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")))]
+  [(set (match_operand:SI 0 "gpc_reg_operand" "=r")
+	(not:SI (match_operand:SI 1 "gpc_reg_operand" "r")))]
+  "TARGET_POWER"
+  "{sfi|subfic} %0,%1,-1")
+
+(define_insn ""
+  [(set (match_operand:SI 0 "gpc_reg_operand" "=r")
+	(not:SI (match_operand:SI 1 "gpc_reg_operand" "r")))]
+  "! TARGET_POWER"
+  "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"))]
   ""
-  "@
-   sf %0,%2,%1
-   sfi %0,%2,%1")
+  "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")))]
+  ""
+  "{sf%I1|subf%I1c} %0,%2,%1")
 
 (define_insn ""
   [(set (match_operand:CC 0 "cc_reg_operand" "=x")
@@ -240,7 +436,7 @@
 		    (const_int 0)))
    (clobber (match_scratch:SI 3 "=r"))]
   ""
-  "sf. %3,%2,%1"
+  "{sf.|subfc.} %3,%2,%1"
   [(set_attr "type" "compare")])
 
 (define_insn ""
@@ -251,7 +447,7 @@
    (set (match_operand:SI 0 "gpc_reg_operand" "=r")
 	(minus:SI (match_dup 1) (match_dup 2)))]
   ""
-  "sf. %0,%2,%1"
+  "{sf.|subfc.} %0,%2,%1"
   [(set_attr "type" "compare")])
 
 (define_expand "subsi3"
@@ -282,7 +478,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 +487,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 +503,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 +512,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 +530,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 +544,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 +554,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 +566,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 +582,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 +591,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,17 +629,43 @@
   [(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")
@@ -452,8 +674,18 @@
 		    (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 ""
@@ -464,8 +696,19 @@
    (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
@@ -478,11 +721,29 @@
 		(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_insn "udivsi3"
+  [(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.
 (define_expand "divsi3"
   [(set (match_operand:SI 0 "gpc_reg_operand" "")
 	(div:SI (match_operand:SI 1 "gpc_reg_operand" "")
@@ -490,30 +751,37 @@
   ""
   "
 {
-  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_POWERPC)
     FAIL;
+  else
+    operands[2] = force_reg (SImode, operands[2]);
 }")
 
 (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,7 +789,8 @@
 	(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")
@@ -529,8 +798,9 @@
 		(match_operand:SI 2 "const_int_operand" "N")))
    (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")
@@ -539,8 +809,9 @@
    (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")
@@ -557,8 +828,9 @@
 		  (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
@@ -577,7 +849,7 @@
 						(const_int 32))
 				     (zero_extend:DI (match_dup 1)))
 			    (match_dup 2)))])]
-  ""
+  "TARGET_POWER"
   "
 { operands[4] = gen_reg_rtx (SImode); }")
 
@@ -593,7 +865,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);
@@ -605,7 +877,7 @@
 			    (match_operand:SI 2 "reg_or_cint_operand" "")))
 	      (set (match_operand:SI 3 "gpc_reg_operand" "")
 		   (umod:SI (match_dup 1) (match_dup 2)))])]
-  ""
+  "TARGET_POWER"
   "
 {
   rtx label = 0;
@@ -636,9 +908,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 +921,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 +936,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,8 +988,8 @@
   ""
   "@
    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")
@@ -764,8 +1036,8 @@
   ""
   "@
    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")
@@ -955,7 +1227,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 +1236,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 +1245,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 +1254,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 +1268,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 +1283,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 +1298,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 +1313,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 +1332,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 +1350,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 +1378,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 +1408,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 +1424,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 +1433,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 +1444,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 +1453,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 +1464,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 +1477,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 +1487,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 +1498,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 +1511,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 +1521,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 +1532,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 +1545,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,%2"
+  [(set_attr "length" "8")])
 
 (define_insn ""
   [(set (match_operand:CC 0 "cc_reg_operand" "=x,x")
@@ -1296,10 +1591,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_POWERPC"
+  "slw%I2. %3,%1,%2"
   [(set_attr "type" "delayed_compare")])
 
 (define_insn ""
@@ -1310,10 +1615,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_POWERPC"
+  "slw%I2. %0,%1,%2"
   [(set_attr "type" "delayed_compare")])
 
 (define_insn ""
@@ -1322,7 +1638,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 +1649,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 +1662,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,%2")
 
 (define_insn ""
   [(set (match_operand:CC 0 "cc_reg_operand" "=x,x")
@@ -1368,10 +1705,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,%2"
   [(set_attr "type" "delayed_compare")])
 
 (define_insn ""
@@ -1382,10 +1729,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,%2"
   [(set_attr "type" "delayed_compare")])
 
 (define_insn ""
@@ -1394,7 +1752,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 +1763,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 +1776,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 +1786,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 +1798,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 +1812,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 +1822,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 +1834,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 +1848,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 +1857,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 +1866,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 +1876,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,%2")
 
 (define_insn ""
   [(set (match_operand:CC 0 "cc_reg_operand" "=x,x")
@@ -1538,10 +1917,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,%2"
   [(set_attr "type" "delayed_compare")])
 
 (define_insn ""
@@ -1552,13 +1941,37 @@
    (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_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,%2"
   [(set_attr "type" "delayed_compare")])
 
 (define_expand "extendqisi2"
+  [(use (match_operand:SI 0 "gpc_reg_operand" ""))
+   (use (match_operand:QI 1 "gpc_reg_operand" ""))]
+  ""
+  "
+{
+  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_expand "extendqisi2_power"
   [(parallel [(set (match_dup 2)
 		   (ashift:SI (match_operand:QI 1 "gpc_reg_operand" "")
 			      (const_int 24)))
@@ -1567,12 +1980,37 @@
 		   (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"
   "
 { operands[1] = gen_lowpart (SImode, operands[1]);
   operands[2] = gen_reg_rtx (SImode); }")
 
 (define_expand "extendqihi2"
+  [(use (match_operand:HI 0 "gpc_reg_operand" ""))
+   (use (match_operand:QI 1 "gpc_reg_operand" ""))]
+  ""
+  "
+{
+  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_expand "extendqihi2_power"
   [(parallel [(set (match_dup 2)
 		   (ashift:SI (match_operand:QI 1 "gpc_reg_operand" "")
 			      (const_int 24)))
@@ -1581,7 +2019,20 @@
 		   (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"
   "
 { operands[0] = gen_lowpart (SImode, operands[0]);
   operands[1] = gen_lowpart (SImode, operands[1]);
@@ -1589,10 +2040,12 @@
 
 ;; 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 +2071,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 +2095,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_POWER"
+  "{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_POWER"
+  "{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_POWER"
+  "{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")))]
+  "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")))]
-  ""
-  "fd %0,%1,%2"
+  "TARGET_POWER"
+  "{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 +2201,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_POWER"
+  "{fma|fmadd} %0,%1,%2,%3"
   [(set_attr "type" "fp")])
 
 (define_insn ""
@@ -1694,8 +2210,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_POWER"
+  "{fms|fmsub} %0,%1,%2,%3"
   [(set_attr "type" "fp")])
 
 (define_insn ""
@@ -1703,8 +2228,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_POWER"
+  "{fnma|fnmadd} %0,%1,%2,%3"
   [(set_attr "type" "fp")])
 
 (define_insn ""
@@ -1712,10 +2246,39 @@
 	(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_POWER"
+  "{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_POWERPCSQR || TARGET_POWER2"
+  "")
+
+(define_insn ""
+  [(set (match_operand:SF 0 "gpc_reg_operand" "=f")
+	(sqrt:SF (match_operand:SF 1 "gpc_reg_operand" "f")))]
+  "TARGET_POWERPCSQR"
+  "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")])
+
 (define_insn "negdf2"
   [(set (match_operand:DF 0 "gpc_reg_operand" "=f")
 	(neg:DF (match_operand:DF 1 "gpc_reg_operand" "f")))]
@@ -1742,7 +2305,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 +2313,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 +2321,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 +2338,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 +2347,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 +2356,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,8 +2365,15 @@
 				   (match_operand:DF 2 "gpc_reg_operand" "f"))
 			  (match_operand:DF 3 "gpc_reg_operand" "f"))))]
   ""
-  "fnms %0,%1,%2,%3"
-  [(set_attr "type" "fp")])
+  "{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_POWERPCSQR || TARGET_POWER2"
+  "fsqrt %0,%1"
+  [(set_attr "type" "dsqrt")])
 
 ;; Conversions to and from floating-point.
 (define_expand "floatsidf2"
@@ -1879,7 +2449,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 +2488,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" "")
@@ -1977,37 +2549,87 @@
 
 ;; 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
+      && 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"
   "@
-   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"
+  "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
+      && 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"
   "@
-   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 "negdi2"
+(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"
+  "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 ""
   [(set (match_operand:DI 0 "gpc_reg_operand" "=r")
 	(neg:DI (match_operand:DI 1 "gpc_reg_operand" "r")))]
   ""
-  "sfi %L0,%L1,0\;sfze %0,%1")
+  "{sfi|subfic} %L0,%L1,0\;{sfze|subfze} %0,%1"
+  [(set_attr "length" "8")])
 
 (define_insn "mulsidi3"
   [(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"))))
    (clobber (match_scratch:SI 3 "=q"))]
-  ""
-  "mul %0,%1,%2\;mfmq %L0")
+  "TARGET_POWER"
+  "mul %0,%1,%2\;mfmq %L0"
+  [(set_attr "length" "8")])
 
 ;; 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,24 +2639,26 @@
 	(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.
@@ -2044,7 +2668,7 @@
 		   (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 +2679,11 @@
 	(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")])
 
 ;; Now define ways of moving data around.
 ;;
@@ -2075,7 +2700,8 @@
   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]))
     {
       operands[1] = force_const_mem (SImode, operands[1]);
       if (! memory_address_p (SImode, XEXP (operands[1], 0))
@@ -2101,20 +2727,35 @@
 (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"))]
-  "gpc_reg_operand (operands[0], SImode)
-   || gpc_reg_operand (operands[1], SImode)"
+  "TARGET_POWER && (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
+   {ai|addic} %0,%1,0
+   {l%U1%X1|lwz%U1%X1} %0,%1
+   {st%U0%X0|stw%U0%X0} %1,%0
+   {cal %0,%1(0)|li %0,%1}
+   {cau %0,0,%u1|lis %0,%u1}
    mf%1 %0
    mt%0 %1
    mt%0 %1
    cror 0,0,0"
   [(set_attr "type" "*,load,*,*,*,*,*,mtlr,*")])
 
+(define_insn ""
+  [(set (match_operand:SI 0 "nonimmediate_operand" "=r,r,m,r,r,r,*h")
+	(match_operand:SI 1 "input_operand" "r,m,r,I,J,*h,r"))]
+  "! TARGET_POWER && (gpc_reg_operand (operands[0], SImode)
+   || gpc_reg_operand (operands[1], SImode))"
+  "@
+   mr %0,%1
+   lwz%U1%X1 %0,%1
+   stw%U0%X0 %1,%0
+   li %0,%1
+   lis %0,%u1
+   mf%1 %0
+   mt%0 %1"
+  [(set_attr "type" "*,load,*,*,*,*,*")])
+
 ;; Split a load of a large constant into the appropriate two-insn
 ;; sequence.
 
@@ -2141,7 +2782,7 @@
 		    (const_int 0)))
    (set (match_operand:SI 0 "gpc_reg_operand" "=r") (match_dup 1))]
   ""
-  "ai. %0,%1,0"
+  "{ai.|addic.} %0,%1,0"
   [(set_attr "type" "compare")])
 
 (define_expand "movhi"
@@ -2166,18 +2807,32 @@
 (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"))]
-  "gpc_reg_operand (operands[0], HImode)
-   || gpc_reg_operand (operands[1], HImode)"
+  "TARGET_POWER && (gpc_reg_operand (operands[0], HImode)
+   || gpc_reg_operand (operands[1], HImode))"
   "@
-   oril %0,%1,0
+   {oril|ori} %0,%1,0
    lhz%U1%X1 %0,%1
    sth%U0%X0 %1,%0
-   cal %0,%w1(0)
+   {cal %0,%w1(0)|li %0,%w1}
    mf%1 %0
    mt%0 %1
    cror 0,0,0"
   [(set_attr "type" "*,load,*,*,*,*,*")])
 
+(define_insn ""
+  [(set (match_operand:HI 0 "nonimmediate_operand" "=r,r,m,r,r,*h")
+	(match_operand:HI 1 "input_operand" "r,m,r,i,*h,r"))]
+  "! TARGET_POWER && (gpc_reg_operand (operands[0], HImode)
+   || gpc_reg_operand (operands[1], HImode))"
+  "@
+   ori %0,%1,0
+   lhz%U1%X1 %0,%1
+   sth%U0%X0 %1,%0
+   li %0,%w1
+   mf%1 %0
+   mt%0 %1"
+  [(set_attr "type" "*,load,*,*,*,*")])
+
 (define_expand "movqi"
   [(set (match_operand:QI 0 "general_operand" "")
 	(match_operand:QI 1 "any_operand" ""))]
@@ -2200,17 +2855,31 @@
 (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"))]
-  "gpc_reg_operand (operands[0], QImode)
-   || gpc_reg_operand (operands[1], QImode)"
+  "TARGET_POWER && (gpc_reg_operand (operands[0], QImode)
+   || gpc_reg_operand (operands[1], QImode))"
   "@
-   oril %0,%1,0
+   {oril|ori} %0,%1,0
    lbz%U1%X1 %0,%1
    stb%U0%X0 %1,%0
-   cal %0,%1(0)
+   {cal %0,%1(0)|li %0,%1}
    mf%1 %0
    mt%0 %1
    cror 0,0,0"
   [(set_attr "type" "*,load,*,*,*,*,*")])
+
+(define_insn ""
+  [(set (match_operand:QI 0 "nonimmediate_operand" "=r,r,m,r,r,*h")
+	(match_operand:QI 1 "input_operand" "r,m,r,i,*h,r"))]
+  "! TARGET_POWER && (gpc_reg_operand (operands[0], QImode)
+   || gpc_reg_operand (operands[1], QImode))"
+  "@
+   mr %0,%1
+   lbz%U1%X1 %0,%1
+   stb%U0%X0 %1,%0
+   li %0,%1
+   mf%1 %0
+   mt%0 %1"
+  [(set_attr "type" "*,load,*,*,*,*")])
 
 ;; 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 +2898,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
+   {ai %0,%1,0|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
@@ -2324,15 +2994,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" ""))]
@@ -2351,7 +3012,8 @@
    fmr %0,%1
    lfs%U1%X1 %0,%1
    frsp %1,%1\;stfs%U0%X0 %1,%0"
-  [(set_attr "type" "fp,load,*")])
+  [(set_attr "type" "fp,fpload,*")
+   (set_attr "length" "*,*,8")])
 
 (define_expand "movdf"
   [(set (match_operand:DF 0 "nonimmediate_operand" "")
@@ -2359,88 +3021,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 +3043,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 +3054,54 @@
   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); }")
-  
-(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)"
-  "@
-   fmr %0,%1
-   lfd%U1%X1 %0,%1
-   stfd%U0%X0 %1,%0"
-  [(set_attr "type" "fp,load,*")])
+
+;; 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"))]
+  "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 \"{oril %L0,%L1,0|mr %L0,%L1}\;{oril %0,%1,0|mr %0,%1}\";
+      else
+	return \"{oril %0,%1,0|mr %0,%1}\;{oril %L0,%L1,0|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,*,*,*")])
 
 ;; Next come the multi-word integer load and store and the load and store
 ;; multiple insns.
@@ -2518,9 +3139,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 \"{oril %L0,%L1,0|mr %L0,%L1}\;{oril %0,%1,0|mr %0,%1}\";
       else
-	return \"oril %0,%1,0\;oril %L0,%L1,0\";
+	return \"{oril %0,%1,0|mr %0,%1}\;{oril %L0,%L1,0|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 +3149,24 @@
 	 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\";
     }
 }"
-  [(set_attr "type" "*,load,*")])
+  [(set_attr "type" "*,load,*")
+   (set_attr "length" "8")])
 
 ;; 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"
   "
 {
   if (GET_CODE (operands[0]) == MEM)
@@ -2572,17 +3194,17 @@
   [(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 && (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 +3212,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 \"{oril %Z0,%Z1,0|mr %Z0,%Z1}\;{oril %Y0,%Y1,0|mr %Y0,%Y1}\;{oril %L0,%L1,0|mr %L0,%L1}\;{oril %0,%1,0|mr %0,%1}\";
       else
-	return \"oril %0,%1,0\;oril %L0,%L1,0\;oril %Y0,%Y1,0\;oril %Z0,%Z1,0\";
+	return \"{oril %0,%1,0|mr %0,%1}\;{oril %L0,%L1,0|mr %L0,%L1}\;{oril %Y0,%Y1,0|mr %Y0,%Y1}\;{oril %Z0,%Z1,0|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 +3227,25 @@
 	 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 %0,%1\;l %L0,%L1\;l %Y0,%Y1\;l %Z0,%Z1\";
+	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 "type" "*,load,load,*,*")
+   (set_attr "length" "*,16,16,*,16")])
 
 (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 +3280,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 +3305,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 +3356,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
@@ -2750,9 +3376,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 +3388,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 +3401,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 +3414,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 +3427,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 +3438,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 +3450,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 +3463,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")
@@ -2861,7 +3486,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")
@@ -2884,7 +3509,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 +3665,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 +3702,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 +4082,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 +4118,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 +4133,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 +4143,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 +4195,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 +4207,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 +4232,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 +4262,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 +4296,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 +4312,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 +4336,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 +4354,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 +4385,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 +4403,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,12 +4424,13 @@
    (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")
@@ -3763,11 +4438,12 @@
 		       (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 +4454,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 +4467,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 +4484,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 +4508,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" "delayed_compare,compare")
+   (set_attr "length" "12")])
 
 (define_insn ""
   [(set (match_operand:SI 0 "gpc_reg_operand" "=r,r")
@@ -3840,10 +4521,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 +4535,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 +4552,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 +4586,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 +4597,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 +4609,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 +4624,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 +4644,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 +4657,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,15 +4673,17 @@
 	(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")
@@ -3998,9 +4693,10 @@
 	 (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,8 +4704,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\;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")
@@ -4019,9 +4716,10 @@
 		  (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")
@@ -4033,16 +4731,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 +4750,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 +4764,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 +4777,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 +4821,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 +4843,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 +4854,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 +4866,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 +4881,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 +4904,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 +4918,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 +4937,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 +4947,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 +4961,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 +4974,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 +4988,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 +5005,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 +5016,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 +5029,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 +5044,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 +5062,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 +5084,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 +5104,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 +5116,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 +5128,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 +5143,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 +5153,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 +5165,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 +5180,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 +5218,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 +5230,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 +5288,15 @@
 		      (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 +5307,8 @@
 		      (return)
 		      (pc)))]
   "direct_return ()"
-  "%C0bcr %t0,%j0")
+  "{%C0bcr|%C0bclr} %t0,%j0"
+  [(set_attr "length" "8")])
 
 (define_insn ""
   [(set (pc)
@@ -4574,7 +5319,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 +5337,8 @@
 		      (pc)
 		      (return)))]
   "direct_return ()"
-  "%C0bcr %T0,%j0")
+  "{%C0bcr|%C0bclr} %T0,%j0"
+  [(set_attr "length" "8")])
 
 ;; Unconditional branch and return.
 
@@ -4598,14 +5351,14 @@
 (define_insn "return"
   [(return)]
   "direct_return ()"
-  "br")
+  "{br|blr}")
 
 (define_insn "indirect_jump"
   [(set (pc) (match_operand:SI 0 "register_operand" "c,l"))]
   ""
   "@
    bctr
-   br")
+   {br|blr}")
 
 ;; Table jump for switch statements:
 (define_expand "tablejump"
@@ -4628,12 +5381,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 +5414,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 +5438,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 +5461,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)