annotate gcc/config/mips/micromips.md @ 131:84e7813d76e9

gcc-8.2
author mir3636
date Thu, 25 Oct 2018 07:37:49 +0900
parents 04ced10e8804
children 1830386684a0
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
1 ;; Copyright (C) 2013-2018 Free Software Foundation, Inc.
111
kono
parents:
diff changeset
2 ;;
kono
parents:
diff changeset
3 ;; micromips.md Machine Description for the microMIPS instruction set
kono
parents:
diff changeset
4 ;; This file is part of GCC.
kono
parents:
diff changeset
5
kono
parents:
diff changeset
6 ;; GCC is free software; you can redistribute it and/or modify it
kono
parents:
diff changeset
7 ;; under the terms of the GNU General Public License as published
kono
parents:
diff changeset
8 ;; by the Free Software Foundation; either version 3, or (at your
kono
parents:
diff changeset
9 ;; option) any later version.
kono
parents:
diff changeset
10
kono
parents:
diff changeset
11 ;; GCC is distributed in the hope that it will be useful, but WITHOUT
kono
parents:
diff changeset
12 ;; ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
kono
parents:
diff changeset
13 ;; or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public
kono
parents:
diff changeset
14 ;; License for more details.
kono
parents:
diff changeset
15
kono
parents:
diff changeset
16 ;; You should have received a copy of the GNU General Public License
kono
parents:
diff changeset
17 ;; along with GCC; see the file COPYING3. If not see
kono
parents:
diff changeset
18 ;; <http://www.gnu.org/licenses/>.
kono
parents:
diff changeset
19
kono
parents:
diff changeset
20 (define_insn "*store_word_multiple"
kono
parents:
diff changeset
21 [(match_parallel 0 ""
kono
parents:
diff changeset
22 [(set (match_operand:SI 1 "memory_operand")
kono
parents:
diff changeset
23 (match_operand:SI 2 "register_operand"))])]
kono
parents:
diff changeset
24 "TARGET_MICROMIPS
kono
parents:
diff changeset
25 && umips_save_restore_pattern_p (true, operands[0])"
kono
parents:
diff changeset
26 { return umips_output_save_restore (true, operands[0]); }
kono
parents:
diff changeset
27 [(set_attr "type" "multimem")
kono
parents:
diff changeset
28 (set_attr "mode" "SI")
kono
parents:
diff changeset
29 (set_attr "can_delay" "no")])
kono
parents:
diff changeset
30
kono
parents:
diff changeset
31 (define_insn "*load_word_multiple"
kono
parents:
diff changeset
32 [(match_parallel 0 ""
kono
parents:
diff changeset
33 [(set (match_operand:SI 1 "register_operand")
kono
parents:
diff changeset
34 (match_operand:SI 2 "memory_operand"))])]
kono
parents:
diff changeset
35 "TARGET_MICROMIPS
kono
parents:
diff changeset
36 && umips_save_restore_pattern_p (false, operands[0])"
kono
parents:
diff changeset
37 { return umips_output_save_restore (false, operands[0]); }
kono
parents:
diff changeset
38 [(set_attr "type" "multimem")
kono
parents:
diff changeset
39 (set_attr "mode" "SI")
kono
parents:
diff changeset
40 (set_attr "can_delay" "no")])
kono
parents:
diff changeset
41
kono
parents:
diff changeset
42 ;; For LWP.
kono
parents:
diff changeset
43 (define_peephole2
kono
parents:
diff changeset
44 [(set (match_operand:SI 0 "d_operand" "")
kono
parents:
diff changeset
45 (match_operand:SI 1 "non_volatile_mem_operand" ""))
kono
parents:
diff changeset
46 (set (match_operand:SI 2 "d_operand" "")
kono
parents:
diff changeset
47 (match_operand:SI 3 "non_volatile_mem_operand" ""))]
kono
parents:
diff changeset
48 "TARGET_MICROMIPS
kono
parents:
diff changeset
49 && umips_load_store_pair_p (true, operands)"
kono
parents:
diff changeset
50 [(parallel [(set (match_dup 0) (match_dup 1))
kono
parents:
diff changeset
51 (set (match_dup 2) (match_dup 3))])])
kono
parents:
diff changeset
52
kono
parents:
diff changeset
53 ;; The behavior of the LWP insn is undefined if placed in a delay slot.
kono
parents:
diff changeset
54 (define_insn "*lwp"
kono
parents:
diff changeset
55 [(parallel [(set (match_operand:SI 0 "d_operand")
kono
parents:
diff changeset
56 (match_operand:SI 1 "non_volatile_mem_operand"))
kono
parents:
diff changeset
57 (set (match_operand:SI 2 "d_operand")
kono
parents:
diff changeset
58 (match_operand:SI 3 "non_volatile_mem_operand"))])]
kono
parents:
diff changeset
59
kono
parents:
diff changeset
60 "TARGET_MICROMIPS
kono
parents:
diff changeset
61 && umips_load_store_pair_p (true, operands)"
kono
parents:
diff changeset
62 {
kono
parents:
diff changeset
63 umips_output_load_store_pair (true, operands);
kono
parents:
diff changeset
64 return "";
kono
parents:
diff changeset
65 }
kono
parents:
diff changeset
66 [(set_attr "type" "load")
kono
parents:
diff changeset
67 (set_attr "mode" "SI")
kono
parents:
diff changeset
68 (set_attr "can_delay" "no")])
kono
parents:
diff changeset
69
kono
parents:
diff changeset
70 ;; For SWP.
kono
parents:
diff changeset
71 (define_peephole2
kono
parents:
diff changeset
72 [(set (match_operand:SI 0 "non_volatile_mem_operand" "")
kono
parents:
diff changeset
73 (match_operand:SI 1 "d_operand" ""))
kono
parents:
diff changeset
74 (set (match_operand:SI 2 "non_volatile_mem_operand" "")
kono
parents:
diff changeset
75 (match_operand:SI 3 "d_operand" ""))]
kono
parents:
diff changeset
76 "TARGET_MICROMIPS
kono
parents:
diff changeset
77 && umips_load_store_pair_p (false, operands)"
kono
parents:
diff changeset
78 [(parallel [(set (match_dup 0) (match_dup 1))
kono
parents:
diff changeset
79 (set (match_dup 2) (match_dup 3))])])
kono
parents:
diff changeset
80
kono
parents:
diff changeset
81 ;; The behavior of the SWP insn is undefined if placed in a delay slot.
kono
parents:
diff changeset
82 (define_insn "*swp"
kono
parents:
diff changeset
83 [(set (match_operand:SI 0 "non_volatile_mem_operand")
kono
parents:
diff changeset
84 (match_operand:SI 1 "d_operand"))
kono
parents:
diff changeset
85 (set (match_operand:SI 2 "non_volatile_mem_operand")
kono
parents:
diff changeset
86 (match_operand:SI 3 "d_operand"))]
kono
parents:
diff changeset
87 "TARGET_MICROMIPS
kono
parents:
diff changeset
88 && umips_load_store_pair_p (false, operands)"
kono
parents:
diff changeset
89 {
kono
parents:
diff changeset
90 umips_output_load_store_pair (false, operands);
kono
parents:
diff changeset
91 return "";
kono
parents:
diff changeset
92 }
kono
parents:
diff changeset
93 [(set_attr "type" "store")
kono
parents:
diff changeset
94 (set_attr "mode" "SI")
kono
parents:
diff changeset
95 (set_attr "can_delay" "no")])
kono
parents:
diff changeset
96
kono
parents:
diff changeset
97 ;; For JRADDIUSP.
kono
parents:
diff changeset
98 (define_insn "jraddiusp"
kono
parents:
diff changeset
99 [(return)
kono
parents:
diff changeset
100 (use (reg:SI 31))
kono
parents:
diff changeset
101 (set (reg:SI 29)
kono
parents:
diff changeset
102 (plus:SI (reg:SI 29)
kono
parents:
diff changeset
103 (match_operand 0 "uw5_operand")))]
kono
parents:
diff changeset
104 "TARGET_MICROMIPS"
kono
parents:
diff changeset
105 "jraddiusp\t%0"
kono
parents:
diff changeset
106 [(set_attr "type" "trap")
kono
parents:
diff changeset
107 (set_attr "can_delay" "no")
kono
parents:
diff changeset
108 (set_attr "mode" "SI")])
kono
parents:
diff changeset
109
kono
parents:
diff changeset
110 ;; For MOVEP.
kono
parents:
diff changeset
111 (define_peephole2
kono
parents:
diff changeset
112 [(set (match_operand:MOVEP1 0 "register_operand" "")
kono
parents:
diff changeset
113 (match_operand:MOVEP1 1 "movep_src_operand" ""))
kono
parents:
diff changeset
114 (set (match_operand:MOVEP2 2 "register_operand" "")
kono
parents:
diff changeset
115 (match_operand:MOVEP2 3 "movep_src_operand" ""))]
kono
parents:
diff changeset
116 "TARGET_MICROMIPS
kono
parents:
diff changeset
117 && umips_movep_target_p (operands[0], operands[2])"
kono
parents:
diff changeset
118 [(parallel [(set (match_dup 0) (match_dup 1))
kono
parents:
diff changeset
119 (set (match_dup 2) (match_dup 3))])])
kono
parents:
diff changeset
120
kono
parents:
diff changeset
121 ;; The behavior of the MOVEP insn is undefined if placed in a delay slot.
kono
parents:
diff changeset
122 (define_insn "*movep<MOVEP1:mode><MOVEP2:mode>"
kono
parents:
diff changeset
123 [(set (match_operand:MOVEP1 0 "register_operand")
kono
parents:
diff changeset
124 (match_operand:MOVEP1 1 "movep_src_operand"))
kono
parents:
diff changeset
125 (set (match_operand:MOVEP2 2 "register_operand")
kono
parents:
diff changeset
126 (match_operand:MOVEP2 3 "movep_src_operand"))]
kono
parents:
diff changeset
127 "TARGET_MICROMIPS
kono
parents:
diff changeset
128 && umips_movep_target_p (operands[0], operands[2])"
kono
parents:
diff changeset
129 {
kono
parents:
diff changeset
130 if (REGNO (operands[0]) < REGNO (operands[2]))
kono
parents:
diff changeset
131 return "movep\t%0,%2,%z1,%z3";
kono
parents:
diff changeset
132 else
kono
parents:
diff changeset
133 return "movep\t%2,%0,%z3,%z1";
kono
parents:
diff changeset
134 }
kono
parents:
diff changeset
135 [(set_attr "type" "move")
kono
parents:
diff changeset
136 (set_attr "mode" "<MODE>")
kono
parents:
diff changeset
137 (set_attr "can_delay" "no")])