Skip to content

R
riscv-gcc-1
Commit 62d3f261 by Andreas Krebbel Committed by Andreas Krebbel
Options

S/390: Use enabled attribute overrides to disable 

 alternatives.

So far whenever we wanted to disable an alternative we have used mode
attributes emitting constraints matching an earlier alternative
assuming that due to this the later alternative will never be chosen.

With this patch the `enabled' attribute, which so far is only set from
`cpu_facility', is overridden to 0 to disable certain alternatives.
This comes handy when defining the substitutions later and while
adding it anyway I've used it for the existing cases as well.

gcc/ChangeLog:

2016-03-01  Andreas Krebbel  <krebbel@linux.vnet.ibm.com>

	* config/s390/s390.md ("op_type", "atype", "length" attributes):
	Remove RRR type.  It doesn't really exist.
	("RRer", "f0", "v0", "vf", "vd", "op1", "Rf"): Remove mode
	attributes.
	("BFP", "DFP", "nDSF", "nDFDI"): Add mode attributes.
	("*cmp<mode>_ccs", "floatdi<mode>2", "add<mode>3")
	("*add<mode>3_cc", "*add<mode>3_cconly", "sub<mode>3")
	("*sub<mode>3_cc", "*sub<mode>3_cconly", "mul<mode>3")
	("fma<mode>4", "fms<mode>4", "div<mode>3", "*neg<mode>2")
	("*abs<mode>2", "*negabs<mode>2", "sqrt<mode>2"): Override
	`enabled' attribute.

From-SVN: r233842
parent 772040f7
Showing with 125 additions and 104 deletions
gcc/ChangeLog
2016-03-01 Andreas Krebbel <krebbel@linux.vnet.ibm.com> 2016-03-01 Andreas Krebbel <krebbel@linux.vnet.ibm.com>
* config/s390/s390.md ("op_type", "atype", "length" attributes):
Remove RRR type. It doesn't really exist.
("RRer", "f0", "v0", "vf", "vd", "op1", "Rf"): Remove mode
attributes.
("BFP", "DFP", "nDSF", "nDFDI"): Add mode attributes.
("*cmp<mode>_ccs", "floatdi<mode>2", "add<mode>3")
("*add<mode>3_cc", "*add<mode>3_cconly", "sub<mode>3")
("*sub<mode>3_cc", "*sub<mode>3_cconly", "mul<mode>3")
("fma<mode>4", "fms<mode>4", "div<mode>3", "*neg<mode>2")
("*abs<mode>2", "*negabs<mode>2", "sqrt<mode>2"): Override
`enabled' attribute.
2016-03-01 Andreas Krebbel <krebbel@linux.vnet.ibm.com>
* gensupport.c (process_substs_on_one_elem): Split loop to * gensupport.c (process_substs_on_one_elem): Split loop to
complete mark_operands_used_in_match_dup on all expressions in the complete mark_operands_used_in_match_dup on all expressions in the
vector first. vector first.
......
gcc/config/s390/s390.md
...@@ -366,7 +366,7 @@ ...@@ -366,7 +366,7 @@
;; Used to determine defaults for length and other attribute values. ;; Used to determine defaults for length and other attribute values.
(define_attr "op_type" (define_attr "op_type"
"NN,E,RR,RRE,RX,RS,RSI,RI,SI,S,SS,SSE,RXE,RSE,RIL,RIE,RXY,RSY,SIY,RRF,RRR,SIL,RRS,RIS,VRI,VRR,VRS,VRV,VRX" "NN,E,RR,RRE,RX,RS,RSI,RI,SI,S,SS,SSE,RXE,RSE,RIL,RIE,RXY,RSY,SIY,RRF,SIL,RRS,RIS,VRI,VRR,VRS,VRV,VRX"
(const_string "NN")) (const_string "NN"))
;; Instruction type attribute used for scheduling. ;; Instruction type attribute used for scheduling.
...@@ -393,7 +393,7 @@ ...@@ -393,7 +393,7 @@
;; reg: Instruction does not use the agen unit ;; reg: Instruction does not use the agen unit
(define_attr "atype" "agen,reg" (define_attr "atype" "agen,reg"
(if_then_else (eq_attr "op_type" "E,RR,RI,RRE,RSI,RIL,RIE,RRF,RRR") (if_then_else (eq_attr "op_type" "E,RR,RI,RRE,RSI,RIL,RIE,RRF")
(const_string "reg") (const_string "reg")
(const_string "agen"))) (const_string "agen")))
...@@ -434,8 +434,8 @@ ...@@ -434,8 +434,8 @@
;; Length in bytes. ;; Length in bytes.
(define_attr "length" "" (define_attr "length" ""
(cond [(eq_attr "op_type" "E,RR") (const_int 2) (cond [(eq_attr "op_type" "E,RR") (const_int 2)
(eq_attr "op_type" "RX,RI,RRE,RS,RSI,S,SI,RRF,RRR") (const_int 4)] (eq_attr "op_type" "RX,RI,RRE,RS,RSI,S,SI,RRF") (const_int 4)]
(const_int 6))) (const_int 6)))
...@@ -618,27 +618,14 @@ ...@@ -618,27 +618,14 @@
;; fp register operands. The following attributes allow to merge the bfp and ;; fp register operands. The following attributes allow to merge the bfp and
;; dfp variants in a single insn definition. ;; dfp variants in a single insn definition.
;; This attribute is used to set op_type accordingly. ;; These mode attributes are supposed to be used in the `enabled' insn
(define_mode_attr RRer [(TF "RRE") (DF "RRE") (SF "RRE") (TD "RRR") ;; attribute to disable certain alternatives for certain modes.
(DD "RRR") (SD "RRR")]) (define_mode_attr nBFP [(TF "0") (DF "0") (SF "0") (TD "*") (DD "*") (DD "*")])
(define_mode_attr nDFP [(TF "*") (DF "*") (SF "*") (TD "0") (DD "0") (DD "0")])
;; This attribute is used in the operand constraint list in order to have the (define_mode_attr DSF [(TF "0") (DF "*") (SF "*") (TD "0") (DD "0") (SD "0")])
;; first and the second operand match for bfp modes. (define_mode_attr DFDI [(TF "0") (DF "*") (SF "0")
(define_mode_attr f0 [(TF "0") (DF "0") (SF "0") (TD "f") (DD "f") (DD "f")]) (TD "0") (DD "0") (DD "0")
(TI "0") (DI "*") (SI "0")])
;; This attribute is used to merge the scalar vector instructions into
;; the FP patterns. For non-supported modes (all but DF) it expands
;; to constraints which are supposed to be matched by an earlier
;; variant.
(define_mode_attr v0 [(TF "0") (DF "v") (SF "0") (TD "0") (DD "0") (DD "0") (TI "0") (DI "v") (SI "0")])
(define_mode_attr vf [(TF "f") (DF "v") (SF "f") (TD "f") (DD "f") (DD "f") (TI "f") (DI "v") (SI "f")])
(define_mode_attr vd [(TF "d") (DF "v") (SF "d") (TD "d") (DD "d") (DD "d") (TI "d") (DI "v") (SI "d")])
;; This attribute is used in the operand list of the instruction to have an
;; additional operand for the dfp instructions.
(define_mode_attr op1 [(TF "") (DF "") (SF "")
(TD "%1,") (DD "%1,") (SD "%1,")])
;; This attribute is used in the operand constraint list ;; This attribute is used in the operand constraint list
;; for instructions dealing with the sign bit of 32 or 64bit fp values. ;; for instructions dealing with the sign bit of 32 or 64bit fp values.
...@@ -648,10 +635,6 @@ ...@@ -648,10 +635,6 @@
;; target operand uses the same fp register. ;; target operand uses the same fp register.
(define_mode_attr fT0 [(TF "0") (DF "f") (SF "f")]) (define_mode_attr fT0 [(TF "0") (DF "f") (SF "f")])
;; In FP templates, "<Rf>" will expand to "f" in TFmode and "R" otherwise.
;; This is used to disable the memory alternative in TFmode patterns.
(define_mode_attr Rf [(TF "f") (DF "R") (SF "R") (TD "f") (DD "f") (SD "f")])
;; This attribute adds b for bfp instructions and t for dfp instructions and is used ;; This attribute adds b for bfp instructions and t for dfp instructions and is used
;; within instruction mnemonics. ;; within instruction mnemonics.
(define_mode_attr bt [(TF "b") (DF "b") (SF "b") (TD "t") (DD "t") (SD "t")]) (define_mode_attr bt [(TF "b") (DF "b") (SF "b") (TD "t") (DD "t") (SD "t")])
...@@ -1260,13 +1243,14 @@ ...@@ -1260,13 +1243,14 @@
(define_insn "*cmp<mode>_ccs" (define_insn "*cmp<mode>_ccs"
[(set (reg CC_REGNUM) [(set (reg CC_REGNUM)
(compare (match_operand:FP 0 "register_operand" "f,f") (compare (match_operand:FP 0 "register_operand" "f,f")
(match_operand:FP 1 "general_operand" "f,<Rf>")))] (match_operand:FP 1 "general_operand" "f,R")))]
"s390_match_ccmode(insn, CCSmode) && TARGET_HARD_FLOAT" "s390_match_ccmode(insn, CCSmode) && TARGET_HARD_FLOAT"
"@ "@
c<xde><bt>r\t%0,%1 c<xde><bt>r\t%0,%1
c<xde>b\t%0,%1" c<xde>b\t%0,%1"
[(set_attr "op_type" "RRE,RXE") [(set_attr "op_type" "RRE,RXE")
(set_attr "type" "fsimp<mode>")]) (set_attr "type" "fsimp<mode>")
(set_attr "enabled" "*,<DSF>")])
; wfcedbs, wfchdbs, wfchedbs ; wfcedbs, wfchdbs, wfchedbs
(define_insn "*vec_cmp<insn_cmp>df_cconly" (define_insn "*vec_cmp<insn_cmp>df_cconly"
...@@ -4731,15 +4715,16 @@ ...@@ -4731,15 +4715,16 @@
; cxgbr, cdgbr, cegbr, cxgtr, cdgtr ; cxgbr, cdgbr, cegbr, cxgtr, cdgtr
(define_insn "floatdi<mode>2" (define_insn "floatdi<mode>2"
[(set (match_operand:FP 0 "register_operand" "=f,<vf>") [(set (match_operand:FP 0 "register_operand" "=f,v")
(float:FP (match_operand:DI 1 "register_operand" "d,<vd>")))] (float:FP (match_operand:DI 1 "register_operand" "d,v")))]
"TARGET_ZARCH && TARGET_HARD_FLOAT" "TARGET_ZARCH && TARGET_HARD_FLOAT"
"@ "@
c<xde>g<bt>r\t%0,%1 c<xde>g<bt>r\t%0,%1
wcdgb\t%v0,%v1,0,0" wcdgb\t%v0,%v1,0,0"
[(set_attr "op_type" "RRE,VRR") [(set_attr "op_type" "RRE,VRR")
(set_attr "type" "itof<mode>" ) (set_attr "type" "itof<mode>" )
(set_attr "cpu_facility" "*,vec")]) (set_attr "cpu_facility" "*,vec")
(set_attr "enabled" "*,<DFDI>")])
; cxfbr, cdfbr, cefbr ; cxfbr, cdfbr, cefbr
(define_insn "floatsi<mode>2" (define_insn "floatsi<mode>2"
...@@ -5498,47 +5483,53 @@ ...@@ -5498,47 +5483,53 @@
; axbr, adbr, aebr, axb, adb, aeb, adtr, axtr ; axbr, adbr, aebr, axb, adb, aeb, adtr, axtr
; FIXME: wfadb does not clobber cc ; FIXME: wfadb does not clobber cc
(define_insn "add<mode>3" (define_insn "add<mode>3"
[(set (match_operand:FP 0 "register_operand" "=f, f,<vf>") [(set (match_operand:FP 0 "register_operand" "=f,f,f,v")
(plus:FP (match_operand:FP 1 "nonimmediate_operand" "%<f0>, 0,<v0>") (plus:FP (match_operand:FP 1 "nonimmediate_operand" "%f,0,0,v")
(match_operand:FP 2 "general_operand" "f,<Rf>,<vf>"))) (match_operand:FP 2 "general_operand" "f,f,R,v")))
(clobber (reg:CC CC_REGNUM))] (clobber (reg:CC CC_REGNUM))]
"TARGET_HARD_FLOAT" "TARGET_HARD_FLOAT"
"@ "@
a<xde><bt>r\t%0,<op1>%2 a<xde>tr\t%0,%1,%2
a<xde>br\t%0,%2
a<xde>b\t%0,%2 a<xde>b\t%0,%2
wfadb\t%v0,%v1,%v2" wfadb\t%v0,%v1,%v2"
[(set_attr "op_type" "<RRer>,RXE,VRR") [(set_attr "op_type" "RRF,RRE,RXE,VRR")
(set_attr "type" "fsimp<mode>") (set_attr "type" "fsimp<mode>")
(set_attr "cpu_facility" "*,*,vec")]) (set_attr "cpu_facility" "*,*,*,vec")
(set_attr "enabled" "<nBFP>,<nDFP>,<DSF>,<DFDI>")])
; axbr, adbr, aebr, axb, adb, aeb, adtr, axtr ; axbr, adbr, aebr, axb, adb, aeb, adtr, axtr
(define_insn "*add<mode>3_cc" (define_insn "*add<mode>3_cc"
[(set (reg CC_REGNUM) [(set (reg CC_REGNUM)
(compare (plus:FP (match_operand:FP 1 "nonimmediate_operand" "%<f0>,0") (compare (plus:FP (match_operand:FP 1 "nonimmediate_operand" "%f,0,0")
(match_operand:FP 2 "general_operand" " f,<Rf>")) (match_operand:FP 2 "general_operand" "f,f,R"))
(match_operand:FP 3 "const0_operand" ""))) (match_operand:FP 3 "const0_operand" "")))
(set (match_operand:FP 0 "register_operand" "=f,f") (set (match_operand:FP 0 "register_operand" "=f,f,f")
(plus:FP (match_dup 1) (match_dup 2)))] (plus:FP (match_dup 1) (match_dup 2)))]
"s390_match_ccmode (insn, CCSmode) && TARGET_HARD_FLOAT" "s390_match_ccmode (insn, CCSmode) && TARGET_HARD_FLOAT"
"@ "@
a<xde><bt>r\t%0,<op1>%2 a<xde>tr\t%0,%1,%2
a<xde>br\t%0,%2
a<xde>b\t%0,%2" a<xde>b\t%0,%2"
[(set_attr "op_type" "<RRer>,RXE") [(set_attr "op_type" "RRF,RRE,RXE")
(set_attr "type" "fsimp<mode>")]) (set_attr "type" "fsimp<mode>")
(set_attr "enabled" "<nBFP>,<nDFP>,<DSF>")])
; axbr, adbr, aebr, axb, adb, aeb, adtr, axtr ; axbr, adbr, aebr, axb, adb, aeb, adtr, axtr
(define_insn "*add<mode>3_cconly" (define_insn "*add<mode>3_cconly"
[(set (reg CC_REGNUM) [(set (reg CC_REGNUM)
(compare (plus:FP (match_operand:FP 1 "nonimmediate_operand" "%<f0>,0") (compare (plus:FP (match_operand:FP 1 "nonimmediate_operand" "%f,0,0")
(match_operand:FP 2 "general_operand" " f,<Rf>")) (match_operand:FP 2 "general_operand" "f,f,R"))
(match_operand:FP 3 "const0_operand" ""))) (match_operand:FP 3 "const0_operand" "")))
(clobber (match_scratch:FP 0 "=f,f"))] (clobber (match_scratch:FP 0 "=f,f,f"))]
"s390_match_ccmode (insn, CCSmode) && TARGET_HARD_FLOAT" "s390_match_ccmode (insn, CCSmode) && TARGET_HARD_FLOAT"
"@ "@
a<xde><bt>r\t%0,<op1>%2 a<xde>tr\t%0,%1,%2
a<xde>br\t%0,%2
a<xde>b\t%0,%2" a<xde>b\t%0,%2"
[(set_attr "op_type" "<RRer>,RXE") [(set_attr "op_type" "RRF,RRE,RXE")
(set_attr "type" "fsimp<mode>")]) (set_attr "type" "fsimp<mode>")
(set_attr "enabled" "<nBFP>,<nDFP>,<DSF>")])
; ;
; Pointer add instruction patterns ; Pointer add instruction patterns
...@@ -5922,47 +5913,53 @@ ...@@ -5922,47 +5913,53 @@
; sxbr, sdbr, sebr, sdb, seb, sxtr, sdtr ; sxbr, sdbr, sebr, sdb, seb, sxtr, sdtr
(define_insn "sub<mode>3" (define_insn "sub<mode>3"
[(set (match_operand:FP 0 "register_operand" "=f, f,<vf>") [(set (match_operand:FP 0 "register_operand" "=f,f,f,v")
(minus:FP (match_operand:FP 1 "register_operand" "<f0>, 0,<v0>") (minus:FP (match_operand:FP 1 "register_operand" "f,0,0,v")
(match_operand:FP 2 "general_operand" "f,<Rf>,<vf>"))) (match_operand:FP 2 "general_operand" "f,f,R,v")))
(clobber (reg:CC CC_REGNUM))] (clobber (reg:CC CC_REGNUM))]
"TARGET_HARD_FLOAT" "TARGET_HARD_FLOAT"
"@ "@
s<xde><bt>r\t%0,<op1>%2 s<xde>tr\t%0,%1,%2
s<xde>br\t%0,%2
s<xde>b\t%0,%2 s<xde>b\t%0,%2
wfsdb\t%v0,%v1,%v2" wfsdb\t%v0,%v1,%v2"
[(set_attr "op_type" "<RRer>,RXE,VRR") [(set_attr "op_type" "RRF,RRE,RXE,VRR")
(set_attr "type" "fsimp<mode>") (set_attr "type" "fsimp<mode>")
(set_attr "cpu_facility" "*,*,vec")]) (set_attr "cpu_facility" "*,*,*,vec")
(set_attr "enabled" "<nBFP>,<nDFP>,<DSF>,<DFDI>")])
; sxbr, sdbr, sebr, sdb, seb, sxtr, sdtr ; sxbr, sdbr, sebr, sdb, seb, sxtr, sdtr
(define_insn "*sub<mode>3_cc" (define_insn "*sub<mode>3_cc"
[(set (reg CC_REGNUM) [(set (reg CC_REGNUM)
(compare (minus:FP (match_operand:FP 1 "nonimmediate_operand" "<f0>,0") (compare (minus:FP (match_operand:FP 1 "nonimmediate_operand" "f,0,0")
(match_operand:FP 2 "general_operand" "f,<Rf>")) (match_operand:FP 2 "general_operand" "f,f,R"))
(match_operand:FP 3 "const0_operand" ""))) (match_operand:FP 3 "const0_operand" "")))
(set (match_operand:FP 0 "register_operand" "=f,f") (set (match_operand:FP 0 "register_operand" "=f,f,f")
(minus:FP (match_dup 1) (match_dup 2)))] (minus:FP (match_dup 1) (match_dup 2)))]
"s390_match_ccmode (insn, CCSmode) && TARGET_HARD_FLOAT" "s390_match_ccmode (insn, CCSmode) && TARGET_HARD_FLOAT"
"@ "@
s<xde><bt>r\t%0,<op1>%2 s<xde>tr\t%0,%1,%2
s<xde>br\t%0,%2
s<xde>b\t%0,%2" s<xde>b\t%0,%2"
[(set_attr "op_type" "<RRer>,RXE") [(set_attr "op_type" "RRF,RRE,RXE")
(set_attr "type" "fsimp<mode>")]) (set_attr "type" "fsimp<mode>")
(set_attr "enabled" "<nBFP>,<nDFP>,<DSF>")])
; sxbr, sdbr, sebr, sdb, seb, sxtr, sdtr ; sxbr, sdbr, sebr, sdb, seb, sxtr, sdtr
(define_insn "*sub<mode>3_cconly" (define_insn "*sub<mode>3_cconly"
[(set (reg CC_REGNUM) [(set (reg CC_REGNUM)
(compare (minus:FP (match_operand:FP 1 "nonimmediate_operand" "<f0>,0") (compare (minus:FP (match_operand:FP 1 "nonimmediate_operand" "f,0,0")
(match_operand:FP 2 "general_operand" "f,<Rf>")) (match_operand:FP 2 "general_operand" "f,f,R"))
(match_operand:FP 3 "const0_operand" ""))) (match_operand:FP 3 "const0_operand" "")))
(clobber (match_scratch:FP 0 "=f,f"))] (clobber (match_scratch:FP 0 "=f,f,f"))]
"s390_match_ccmode (insn, CCSmode) && TARGET_HARD_FLOAT" "s390_match_ccmode (insn, CCSmode) && TARGET_HARD_FLOAT"
"@ "@
s<xde><bt>r\t%0,<op1>%2 s<xde>tr\t%0,%1,%2
s<xde>br\t%0,%2
s<xde>b\t%0,%2" s<xde>b\t%0,%2"
[(set_attr "op_type" "<RRer>,RXE") [(set_attr "op_type" "RRF,RRE,RXE")
(set_attr "type" "fsimp<mode>")]) (set_attr "type" "fsimp<mode>")
(set_attr "enabled" "<nBFP>,<nDFP>,<DSF>")])
;; ;;
...@@ -6344,24 +6341,26 @@ ...@@ -6344,24 +6341,26 @@
; mxbr, mdbr, meebr, mxb, mxb, meeb, mdtr, mxtr ; mxbr, mdbr, meebr, mxb, mxb, meeb, mdtr, mxtr
(define_insn "mul<mode>3" (define_insn "mul<mode>3"
[(set (match_operand:FP 0 "register_operand" "=f, f,<vf>") [(set (match_operand:FP 0 "register_operand" "=f,f,f,v")
(mult:FP (match_operand:FP 1 "nonimmediate_operand" "%<f0>, 0,<v0>") (mult:FP (match_operand:FP 1 "nonimmediate_operand" "%f,0,0,v")
(match_operand:FP 2 "general_operand" "f,<Rf>,<vf>")))] (match_operand:FP 2 "general_operand" "f,f,R,v")))]
"TARGET_HARD_FLOAT" "TARGET_HARD_FLOAT"
"@ "@
m<xdee><bt>r\t%0,<op1>%2 m<xdee>tr\t%0,%1,%2
m<xdee>br\t%0,%2
m<xdee>b\t%0,%2 m<xdee>b\t%0,%2
wfmdb\t%v0,%v1,%v2" wfmdb\t%v0,%v1,%v2"
[(set_attr "op_type" "<RRer>,RXE,VRR") [(set_attr "op_type" "RRF,RRE,RXE,VRR")
(set_attr "type" "fmul<mode>") (set_attr "type" "fmul<mode>")
(set_attr "cpu_facility" "*,*,vec")]) (set_attr "cpu_facility" "*,*,*,vec")
(set_attr "enabled" "<nBFP>,<nDFP>,<DSF>,<DFDI>")])
; madbr, maebr, maxb, madb, maeb ; madbr, maebr, maxb, madb, maeb
(define_insn "fma<mode>4" (define_insn "fma<mode>4"
[(set (match_operand:DSF 0 "register_operand" "=f,f,<vf>") [(set (match_operand:DSF 0 "register_operand" "=f,f,v")
(fma:DSF (match_operand:DSF 1 "nonimmediate_operand" "%f,f,<vf>") (fma:DSF (match_operand:DSF 1 "nonimmediate_operand" "%f,f,v")
(match_operand:DSF 2 "nonimmediate_operand" "f,R,<vf>") (match_operand:DSF 2 "nonimmediate_operand" "f,R,v")
(match_operand:DSF 3 "register_operand" "0,0,<v0>")))] (match_operand:DSF 3 "register_operand" "0,0,v")))]
"TARGET_HARD_FLOAT" "TARGET_HARD_FLOAT"
"@ "@
ma<xde>br\t%0,%1,%2 ma<xde>br\t%0,%1,%2
...@@ -6369,14 +6368,15 @@ ...@@ -6369,14 +6368,15 @@
wfmadb\t%v0,%v1,%v2,%v3" wfmadb\t%v0,%v1,%v2,%v3"
[(set_attr "op_type" "RRE,RXE,VRR") [(set_attr "op_type" "RRE,RXE,VRR")
(set_attr "type" "fmadd<mode>") (set_attr "type" "fmadd<mode>")
(set_attr "cpu_facility" "*,*,vec")]) (set_attr "cpu_facility" "*,*,vec")
(set_attr "enabled" "*,*,<DFDI>")])
; msxbr, msdbr, msebr, msxb, msdb, mseb ; msxbr, msdbr, msebr, msxb, msdb, mseb
(define_insn "fms<mode>4" (define_insn "fms<mode>4"
[(set (match_operand:DSF 0 "register_operand" "=f,f,<vf>") [(set (match_operand:DSF 0 "register_operand" "=f,f,v")
(fma:DSF (match_operand:DSF 1 "nonimmediate_operand" "%f,f,<vf>") (fma:DSF (match_operand:DSF 1 "nonimmediate_operand" "%f,f,v")
(match_operand:DSF 2 "nonimmediate_operand" "f,R,<vf>") (match_operand:DSF 2 "nonimmediate_operand" "f,R,v")
(neg:DSF (match_operand:DSF 3 "register_operand" "0,0,<v0>"))))] (neg:DSF (match_operand:DSF 3 "register_operand" "0,0,v"))))]
"TARGET_HARD_FLOAT" "TARGET_HARD_FLOAT"
"@ "@
ms<xde>br\t%0,%1,%2 ms<xde>br\t%0,%1,%2
...@@ -6384,7 +6384,8 @@ ...@@ -6384,7 +6384,8 @@
wfmsdb\t%v0,%v1,%v2,%v3" wfmsdb\t%v0,%v1,%v2,%v3"
[(set_attr "op_type" "RRE,RXE,VRR") [(set_attr "op_type" "RRE,RXE,VRR")
(set_attr "type" "fmadd<mode>") (set_attr "type" "fmadd<mode>")
(set_attr "cpu_facility" "*,*,vec")]) (set_attr "cpu_facility" "*,*,vec")
(set_attr "enabled" "*,*,<DFDI>")])
;; ;;
;;- Divide and modulo instructions. ;;- Divide and modulo instructions.
...@@ -6810,17 +6811,19 @@ ...@@ -6810,17 +6811,19 @@
; dxbr, ddbr, debr, dxb, ddb, deb, ddtr, dxtr ; dxbr, ddbr, debr, dxb, ddb, deb, ddtr, dxtr
(define_insn "div<mode>3" (define_insn "div<mode>3"
[(set (match_operand:FP 0 "register_operand" "=f, f,<vf>") [(set (match_operand:FP 0 "register_operand" "=f,f,f,v")
(div:FP (match_operand:FP 1 "register_operand" "<f0>, 0,<v0>") (div:FP (match_operand:FP 1 "register_operand" "f,0,0,v")
(match_operand:FP 2 "general_operand" "f,<Rf>,<vf>")))] (match_operand:FP 2 "general_operand" "f,f,R,v")))]
"TARGET_HARD_FLOAT" "TARGET_HARD_FLOAT"
"@ "@
d<xde><bt>r\t%0,<op1>%2 d<xde>tr\t%0,%1,%2
d<xde>br\t%0,%2
d<xde>b\t%0,%2 d<xde>b\t%0,%2
wfddb\t%v0,%v1,%v2" wfddb\t%v0,%v1,%v2"
[(set_attr "op_type" "<RRer>,RXE,VRR") [(set_attr "op_type" "RRF,RRE,RXE,VRR")
(set_attr "type" "fdiv<mode>") (set_attr "type" "fdiv<mode>")
(set_attr "cpu_facility" "*,*,vec")]) (set_attr "cpu_facility" "*,*,*,vec")
(set_attr "enabled" "<nBFP>,<nDFP>,<DSF>,<DFDI>")])
;; ;;
...@@ -8031,8 +8034,8 @@ ...@@ -8031,8 +8034,8 @@
; lcxbr, lcdbr, lcebr ; lcxbr, lcdbr, lcebr
; FIXME: wflcdb does not clobber cc ; FIXME: wflcdb does not clobber cc
(define_insn "*neg<mode>2" (define_insn "*neg<mode>2"
[(set (match_operand:BFP 0 "register_operand" "=f,<vf>") [(set (match_operand:BFP 0 "register_operand" "=f,v")
(neg:BFP (match_operand:BFP 1 "register_operand" "f,<vf>"))) (neg:BFP (match_operand:BFP 1 "register_operand" "f,v")))
(clobber (reg:CC CC_REGNUM))] (clobber (reg:CC CC_REGNUM))]
"TARGET_HARD_FLOAT" "TARGET_HARD_FLOAT"
"@ "@
...@@ -8040,7 +8043,8 @@ ...@@ -8040,7 +8043,8 @@
wflcdb\t%0,%1" wflcdb\t%0,%1"
[(set_attr "op_type" "RRE,VRR") [(set_attr "op_type" "RRE,VRR")
(set_attr "cpu_facility" "*,vec") (set_attr "cpu_facility" "*,vec")
(set_attr "type" "fsimp<mode>,*")]) (set_attr "type" "fsimp<mode>,*")
(set_attr "enabled" "*,<DFDI>")])
;; ;;
...@@ -8153,8 +8157,8 @@ ...@@ -8153,8 +8157,8 @@
; lpxbr, lpdbr, lpebr ; lpxbr, lpdbr, lpebr
; FIXME: wflpdb does not clobber cc ; FIXME: wflpdb does not clobber cc
(define_insn "*abs<mode>2" (define_insn "*abs<mode>2"
[(set (match_operand:BFP 0 "register_operand" "=f,<vf>") [(set (match_operand:BFP 0 "register_operand" "=f,v")
(abs:BFP (match_operand:BFP 1 "register_operand" "f,<vf>"))) (abs:BFP (match_operand:BFP 1 "register_operand" "f,v")))
(clobber (reg:CC CC_REGNUM))] (clobber (reg:CC CC_REGNUM))]
"TARGET_HARD_FLOAT" "TARGET_HARD_FLOAT"
"@ "@
...@@ -8162,7 +8166,8 @@ ...@@ -8162,7 +8166,8 @@
wflpdb\t%0,%1" wflpdb\t%0,%1"
[(set_attr "op_type" "RRE,VRR") [(set_attr "op_type" "RRE,VRR")
(set_attr "cpu_facility" "*,vec") (set_attr "cpu_facility" "*,vec")
(set_attr "type" "fsimp<mode>,*")]) (set_attr "type" "fsimp<mode>,*")
(set_attr "enabled" "*,<DFDI>")])
;; ;;
...@@ -8268,8 +8273,8 @@ ...@@ -8268,8 +8273,8 @@
; lnxbr, lndbr, lnebr ; lnxbr, lndbr, lnebr
; FIXME: wflndb does not clobber cc ; FIXME: wflndb does not clobber cc
(define_insn "*negabs<mode>2" (define_insn "*negabs<mode>2"
[(set (match_operand:BFP 0 "register_operand" "=f,<vf>") [(set (match_operand:BFP 0 "register_operand" "=f,v")
(neg:BFP (abs:BFP (match_operand:BFP 1 "register_operand" "f,<vf>")))) (neg:BFP (abs:BFP (match_operand:BFP 1 "register_operand" "f,v"))))
(clobber (reg:CC CC_REGNUM))] (clobber (reg:CC CC_REGNUM))]
"TARGET_HARD_FLOAT" "TARGET_HARD_FLOAT"
"@ "@
...@@ -8277,7 +8282,8 @@ ...@@ -8277,7 +8282,8 @@
wflndb\t%0,%1" wflndb\t%0,%1"
[(set_attr "op_type" "RRE,VRR") [(set_attr "op_type" "RRE,VRR")
(set_attr "cpu_facility" "*,vec") (set_attr "cpu_facility" "*,vec")
(set_attr "type" "fsimp<mode>,*")]) (set_attr "type" "fsimp<mode>,*")
(set_attr "enabled" "*,<DFDI>")])
;; ;;
;;- Square root instructions. ;;- Square root instructions.
...@@ -8289,8 +8295,8 @@ ...@@ -8289,8 +8295,8 @@
; sqxbr, sqdbr, sqebr, sqdb, sqeb ; sqxbr, sqdbr, sqebr, sqdb, sqeb
(define_insn "sqrt<mode>2" (define_insn "sqrt<mode>2"
[(set (match_operand:BFP 0 "register_operand" "=f, f,<vf>") [(set (match_operand:BFP 0 "register_operand" "=f,f,v")
(sqrt:BFP (match_operand:BFP 1 "general_operand" "f,<Rf>,<vf>")))] (sqrt:BFP (match_operand:BFP 1 "general_operand" "f,R,v")))]
"TARGET_HARD_FLOAT" "TARGET_HARD_FLOAT"
"@ "@
sq<xde>br\t%0,%1 sq<xde>br\t%0,%1
...@@ -8298,7 +8304,8 @@ ...@@ -8298,7 +8304,8 @@
wfsqdb\t%v0,%v1" wfsqdb\t%v0,%v1"
[(set_attr "op_type" "RRE,RXE,VRR") [(set_attr "op_type" "RRE,RXE,VRR")
(set_attr "type" "fsqrt<mode>") (set_attr "type" "fsqrt<mode>")
(set_attr "cpu_facility" "*,*,vec")]) (set_attr "cpu_facility" "*,*,vec")
(set_attr "enabled" "*,<DSF>,<DFDI>")])
;; ;;
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment