alpha.md (fix_trunc patterns): Use reg_no_subreg_operand on op0 for less work in...

        * alpha.md (fix_trunc patterns): Use reg_no_subreg_operand on op0
        for less work in reload.
        (movsf and movdf patterns): Put fp reg alternatives first.

From-SVN: r26639

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 884c28d96015fb5a577bcff1e04a4be27be60584..5d568506600cffc6648078c05d5b86e9764f0511 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+Mon Apr 26 01:02:38 1999  Richard Henderson  <rth@cygnus.com>
+
+       * alpha.md (fix_trunc patterns): Use reg_no_subreg_operand on op0
+       for less work in reload.
+       (movsf and movdf patterns): Put fp reg alternatives first.
+
 Mon Apr 26 01:55:56 1999  Marc Espie  <espie@cvs.openbsd.org>
 
        * configure.in (openbsd): Factorize xmake_file.

diff --git a/gcc/config/alpha/alpha.md b/gcc/config/alpha/alpha.md
index 406f350c82ddcd2f7fe2512b3d6153a507dae715..98e21138c70a2501695739c068c8de6acef7a881 100644 (file)
--- a/gcc/config/alpha/alpha.md
+++ b/gcc/config/alpha/alpha.md
@@ -1945,7 +1945,7 @@
    (set_attr "trap" "yes")])
 
 (define_insn ""
-  [(set (match_operand:DI 0 "register_operand" "=&f")
+  [(set (match_operand:DI 0 "reg_no_subreg_operand" "=&f")
        (fix:DI (match_operand:DF 1 "reg_or_fp0_operand" "fG")))]
   "TARGET_FP && alpha_tp == ALPHA_TP_INSN"
   "cvt%-q%(c %R1,%0"
@@ -1953,7 +1953,7 @@
    (set_attr "trap" "yes")])
 
 (define_insn "fix_truncdfdi2"
-  [(set (match_operand:DI 0 "register_operand" "=f")
+  [(set (match_operand:DI 0 "reg_no_subreg_operand" "=f")
        (fix:DI (match_operand:DF 1 "reg_or_fp0_operand" "fG")))]
   "TARGET_FP"
   "cvt%-q%(c %R1,%0"
@@ -2008,7 +2008,7 @@
    (set_attr "trap" "yes")])
 
 (define_insn ""
-  [(set (match_operand:DI 0 "register_operand" "=&f")
+  [(set (match_operand:DI 0 "reg_no_subreg_operand" "=&f")
        (fix:DI (float_extend:DF
                 (match_operand:SF 1 "reg_or_fp0_operand" "fG"))))]
   "TARGET_FP && alpha_tp == ALPHA_TP_INSN"
@@ -2017,7 +2017,7 @@
    (set_attr "trap" "yes")])
 
 (define_insn "fix_truncsfdi2"
-  [(set (match_operand:DI 0 "register_operand" "=f")
+  [(set (match_operand:DI 0 "reg_no_subreg_operand" "=f")
        (fix:DI (float_extend:DF
                 (match_operand:SF 1 "reg_or_fp0_operand" "fG"))))]
   "TARGET_FP"
@@ -4013,68 +4013,68 @@
 ;; they are simpler.
 
 (define_insn ""
-  [(set (match_operand:SF 0 "nonimmediate_operand" "=r,r,m,f,f,m")
-       (match_operand:SF 1 "input_operand" "rG,m,r,fG,m,fG"))]
+  [(set (match_operand:SF 0 "nonimmediate_operand" "=f,f,r,r,m,m")
+       (match_operand:SF 1 "input_operand" "fG,m,rG,m,fG,r"))]
   "! TARGET_CIX
    && (register_operand (operands[0], SFmode)
        || reg_or_fp0_operand (operands[1], SFmode))"
   "@
-   mov %r1,%0
-   ldl %0,%1
-   stl %r1,%0
    fmov %R1,%0
    ld%, %0,%1
-   st%, %R1,%0"
-  [(set_attr "type" "ilog,ild,ist,fcpys,fld,fst")])
+   mov %r1,%0
+   ldl %0,%1
+   st%, %R1,%0
+   stl %r1,%0"
+  [(set_attr "type" "fcpys,fld,ilog,ild,fst,ist")])
 
 (define_insn ""
-  [(set (match_operand:SF 0 "nonimmediate_operand" "=r,r,m,f,f,m,f,*r")
-       (match_operand:SF 1 "input_operand" "rG,m,r,fG,m,fG,r,*f"))]
+  [(set (match_operand:SF 0 "nonimmediate_operand" "=f,f,r,r,m,m,f,*r")
+       (match_operand:SF 1 "input_operand" "fG,m,rG,m,fG,r,r,*f"))]
   "TARGET_CIX
    && (register_operand (operands[0], SFmode)
        || reg_or_fp0_operand (operands[1], SFmode))"
   "@
-   mov %r1,%0
-   ldl %0,%1
-   stl %r1,%0
    fmov %R1,%0
    ld%, %0,%1
+   mov %r1,%0
+   ldl %0,%1
    st%, %R1,%0
+   stl %r1,%0
    itofs %1,%0
    ftois %1,%0"
-  [(set_attr "type" "ilog,ild,ist,fcpys,fld,fst,itof,ftoi")])
+  [(set_attr "type" "fcpys,fld,ilog,ild,fst,ist,itof,ftoi")])
 
 (define_insn ""
-  [(set (match_operand:DF 0 "nonimmediate_operand" "=r,r,m,f,f,m")
-       (match_operand:DF 1 "input_operand" "rG,m,r,fG,m,fG"))]
+  [(set (match_operand:DF 0 "nonimmediate_operand" "=f,f,r,r,m,m")
+       (match_operand:DF 1 "input_operand" "fG,m,rG,m,fG,r"))]
   "! TARGET_CIX
    && (register_operand (operands[0], DFmode)
        || reg_or_fp0_operand (operands[1], DFmode))"
   "@
-   mov %r1,%0
-   ldq %0,%1
-   stq %r1,%0
    fmov %R1,%0
    ld%- %0,%1
-   st%- %R1,%0"
-  [(set_attr "type" "ilog,ild,ist,fcpys,fld,fst")])
+   mov %r1,%0
+   ldq %0,%1
+   st%- %R1,%0
+   stq %r1,%0"
+  [(set_attr "type" "fcpys,fld,ilog,ild,fst,ist")])
 
 (define_insn ""
-  [(set (match_operand:DF 0 "nonimmediate_operand" "=r,r,m,f,f,m,f,*r")
-       (match_operand:DF 1 "input_operand" "rG,m,r,fG,m,fG,r,*f"))]
+  [(set (match_operand:DF 0 "nonimmediate_operand" "=f,f,r,r,m,m,f,*r")
+       (match_operand:DF 1 "input_operand" "fG,m,rG,m,fG,r,r,*f"))]
   "TARGET_CIX
    && (register_operand (operands[0], DFmode)
        || reg_or_fp0_operand (operands[1], DFmode))"
   "@
-   mov %r1,%0
-   ldq %0,%1
-   stq %r1,%0
    fmov %R1,%0
    ld%- %0,%1
+   mov %r1,%0
+   ldq %0,%1
    st%- %R1,%0
+   stq %r1,%0
    itoft %1,%0
    ftoit %1,%0"
-  [(set_attr "type" "ilog,ild,ist,fcpys,fld,fst,itof,ftoi")])
+  [(set_attr "type" "fcpys,fld,ilog,ild,fst,ist,itof,ftoi")])
 
 (define_expand "movsf"
   [(set (match_operand:SF 0 "nonimmediate_operand" "")