* es.po: Update.
[official-gcc.git] / gcc / ccmp.c
blob233016fd71174c4b3235c3f55b5c23f8f5b932a7
1 /* Conditional compare related functions
2 Copyright (C) 2014-2018 Free Software Foundation, Inc.
4 This file is part of GCC.
6 GCC is free software; you can redistribute it and/or modify it under
7 the terms of the GNU General Public License as published by the Free
8 Software Foundation; either version 3, or (at your option) any later
9 version.
11 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
12 WARRANTY; without even the implied warranty of MERCHANTABILITY or
13 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
14 for more details.
16 You should have received a copy of the GNU General Public License
17 along with GCC; see the file COPYING3. If not see
18 <http://www.gnu.org/licenses/>. */
20 #include "config.h"
21 #include "system.h"
22 #include "coretypes.h"
23 #include "backend.h"
24 #include "target.h"
25 #include "rtl.h"
26 #include "tree.h"
27 #include "gimple.h"
28 #include "memmodel.h"
29 #include "tm_p.h"
30 #include "ssa.h"
31 #include "expmed.h"
32 #include "optabs.h"
33 #include "emit-rtl.h"
34 #include "stor-layout.h"
35 #include "tree-ssa-live.h"
36 #include "tree-outof-ssa.h"
37 #include "cfgexpand.h"
38 #include "ccmp.h"
39 #include "predict.h"
41 /* Check whether T is a simple boolean variable or a SSA name
42 set by a comparison operator in the same basic block. */
43 static bool
44 ccmp_tree_comparison_p (tree t, basic_block bb)
46 gimple *g = get_gimple_for_ssa_name (t);
47 tree_code tcode;
49 /* If we have a boolean variable allow it and generate a compare
50 to zero reg when expanding. */
51 if (!g)
52 return (TREE_CODE (TREE_TYPE (t)) == BOOLEAN_TYPE);
54 /* Check to see if SSA name is set by a comparison operator in
55 the same basic block. */
56 if (!is_gimple_assign (g))
57 return false;
58 if (bb != gimple_bb (g))
59 return false;
60 tcode = gimple_assign_rhs_code (g);
61 return TREE_CODE_CLASS (tcode) == tcc_comparison;
64 /* The following functions expand conditional compare (CCMP) instructions.
65 Here is a short description about the over all algorithm:
66 * ccmp_candidate_p is used to identify the CCMP candidate
68 * expand_ccmp_expr is the main entry, which calls expand_ccmp_expr_1
69 to expand CCMP.
71 * expand_ccmp_expr_1 uses a recursive algorithm to expand CCMP.
72 It calls two target hooks gen_ccmp_first and gen_ccmp_next to generate
73 CCMP instructions.
74 - gen_ccmp_first expands the first compare in CCMP.
75 - gen_ccmp_next expands the following compares.
77 Both hooks return a comparison with the CC register that is equivalent
78 to the value of the gimple comparison. This is used by the next CCMP
79 and in the final conditional store.
81 * We use cstorecc4 pattern to convert the CCmode intermediate to
82 the integer mode result that expand_normal is expecting.
84 Since the operands of the later compares might clobber CC reg, we do not
85 emit the insns during expand. We keep the insn sequences in two seq
87 * prep_seq, which includes all the insns to prepare the operands.
88 * gen_seq, which includes all the compare and conditional compares.
90 If all checks OK in expand_ccmp_expr, it emits insns in prep_seq, then
91 insns in gen_seq. */
93 /* Check whether G is a potential conditional compare candidate. */
94 static bool
95 ccmp_candidate_p (gimple *g)
97 tree rhs;
98 tree lhs, op0, op1;
99 gimple *gs0, *gs1;
100 tree_code tcode;
101 basic_block bb;
103 if (!g)
104 return false;
106 rhs = gimple_assign_rhs_to_tree (g);
107 tcode = TREE_CODE (rhs);
108 if (tcode != BIT_AND_EXPR && tcode != BIT_IOR_EXPR)
109 return false;
111 lhs = gimple_assign_lhs (g);
112 op0 = TREE_OPERAND (rhs, 0);
113 op1 = TREE_OPERAND (rhs, 1);
114 bb = gimple_bb (g);
116 if ((TREE_CODE (op0) != SSA_NAME) || (TREE_CODE (op1) != SSA_NAME)
117 || !has_single_use (lhs))
118 return false;
120 gs0 = get_gimple_for_ssa_name (op0); /* gs0 may be NULL */
121 gs1 = get_gimple_for_ssa_name (op1); /* gs1 may be NULL */
123 if (ccmp_tree_comparison_p (op0, bb) && ccmp_tree_comparison_p (op1, bb))
124 return true;
125 if (ccmp_tree_comparison_p (op0, bb) && ccmp_candidate_p (gs1))
126 return true;
127 if (ccmp_tree_comparison_p (op1, bb) && ccmp_candidate_p (gs0))
128 return true;
129 /* We skip ccmp_candidate_p (gs1) && ccmp_candidate_p (gs0) since
130 there is no way to set and maintain the CC flag on both sides of
131 the logical operator at the same time. */
132 return false;
135 /* Extract the comparison we want to do from the tree. */
136 void
137 get_compare_parts (tree t, int *up, rtx_code *rcode,
138 tree *rhs1, tree *rhs2)
140 tree_code code;
141 gimple *g = get_gimple_for_ssa_name (t);
142 if (g)
144 *up = TYPE_UNSIGNED (TREE_TYPE (gimple_assign_rhs1 (g)));
145 code = gimple_assign_rhs_code (g);
146 *rcode = get_rtx_code (code, *up);
147 *rhs1 = gimple_assign_rhs1 (g);
148 *rhs2 = gimple_assign_rhs2 (g);
150 else
152 /* If g is not a comparison operator create a compare to zero. */
153 *up = 1;
154 *rcode = NE;
155 *rhs1 = t;
156 *rhs2 = build_zero_cst (TREE_TYPE (t));
160 /* PREV is a comparison with the CC register which represents the
161 result of the previous CMP or CCMP. The function expands the
162 next compare based on G which is ANDed/ORed with the previous
163 compare depending on CODE.
164 PREP_SEQ returns all insns to prepare opearands for compare.
165 GEN_SEQ returns all compare insns. */
166 static rtx
167 expand_ccmp_next (tree op, tree_code code, rtx prev,
168 rtx_insn **prep_seq, rtx_insn **gen_seq)
170 rtx_code rcode;
171 int unsignedp;
172 tree rhs1, rhs2;
174 get_compare_parts(op, &unsignedp, &rcode, &rhs1, &rhs2);
175 return targetm.gen_ccmp_next (prep_seq, gen_seq, prev, rcode,
176 rhs1, rhs2, get_rtx_code (code, 0));
179 /* Expand conditional compare gimple G. A typical CCMP sequence is like:
181 CC0 = CMP (a, b);
182 CC1 = CCMP (NE (CC0, 0), CMP (e, f));
184 CCn = CCMP (NE (CCn-1, 0), CMP (...));
186 hook gen_ccmp_first is used to expand the first compare.
187 hook gen_ccmp_next is used to expand the following CCMP.
188 PREP_SEQ returns all insns to prepare opearand.
189 GEN_SEQ returns all compare insns. */
190 static rtx
191 expand_ccmp_expr_1 (gimple *g, rtx_insn **prep_seq, rtx_insn **gen_seq)
193 tree exp = gimple_assign_rhs_to_tree (g);
194 tree_code code = TREE_CODE (exp);
195 basic_block bb = gimple_bb (g);
197 tree op0 = TREE_OPERAND (exp, 0);
198 tree op1 = TREE_OPERAND (exp, 1);
199 gimple *gs0 = get_gimple_for_ssa_name (op0);
200 gimple *gs1 = get_gimple_for_ssa_name (op1);
201 rtx tmp;
203 gcc_assert (code == BIT_AND_EXPR || code == BIT_IOR_EXPR);
205 if (ccmp_tree_comparison_p (op0, bb))
207 if (ccmp_tree_comparison_p (op1, bb))
209 int unsignedp0, unsignedp1;
210 rtx_code rcode0, rcode1;
211 tree logical_op0_rhs1, logical_op0_rhs2;
212 tree logical_op1_rhs1, logical_op1_rhs2;
213 int speed_p = optimize_insn_for_speed_p ();
215 rtx tmp2 = NULL_RTX, ret = NULL_RTX, ret2 = NULL_RTX;
216 unsigned cost1 = MAX_COST;
217 unsigned cost2 = MAX_COST;
219 get_compare_parts (op0, &unsignedp0, &rcode0,
220 &logical_op0_rhs1, &logical_op0_rhs2);
222 get_compare_parts (op1, &unsignedp1, &rcode1,
223 &logical_op1_rhs1, &logical_op1_rhs2);
225 rtx_insn *prep_seq_1, *gen_seq_1;
226 tmp = targetm.gen_ccmp_first (&prep_seq_1, &gen_seq_1, rcode0,
227 logical_op0_rhs1, logical_op0_rhs2);
228 if (tmp != NULL)
230 ret = expand_ccmp_next (op1, code, tmp, &prep_seq_1, &gen_seq_1);
231 cost1 = seq_cost (prep_seq_1, speed_p);
232 cost1 += seq_cost (gen_seq_1, speed_p);
235 /* FIXME: Temporary workaround for PR69619.
236 Avoid exponential compile time due to expanding gs0 and gs1 twice.
237 If gs0 and gs1 are complex, the cost will be high, so avoid
238 reevaluation if above an arbitrary threshold. */
239 rtx_insn *prep_seq_2, *gen_seq_2;
240 if (tmp == NULL || cost1 < COSTS_N_INSNS (25))
241 tmp2 = targetm.gen_ccmp_first (&prep_seq_2, &gen_seq_2, rcode1,
242 logical_op1_rhs1, logical_op1_rhs2);
243 if (!tmp && !tmp2)
244 return NULL_RTX;
245 if (tmp2 != NULL)
247 ret2 = expand_ccmp_next (op0, code, tmp2, &prep_seq_2,
248 &gen_seq_2);
249 cost2 = seq_cost (prep_seq_2, speed_p);
250 cost2 += seq_cost (gen_seq_2, speed_p);
252 if (cost2 < cost1)
254 *prep_seq = prep_seq_2;
255 *gen_seq = gen_seq_2;
256 return ret2;
258 *prep_seq = prep_seq_1;
259 *gen_seq = gen_seq_1;
260 return ret;
262 else
264 tmp = expand_ccmp_expr_1 (gs1, prep_seq, gen_seq);
265 if (!tmp)
266 return NULL_RTX;
267 return expand_ccmp_next (op0, code, tmp, prep_seq, gen_seq);
270 else
272 gcc_assert (gimple_assign_rhs_code (gs0) == BIT_AND_EXPR
273 || gimple_assign_rhs_code (gs0) == BIT_IOR_EXPR);
274 gcc_assert (ccmp_tree_comparison_p (op1, bb));
275 tmp = expand_ccmp_expr_1 (gs0, prep_seq, gen_seq);
276 if (!tmp)
277 return NULL_RTX;
278 return expand_ccmp_next (op1, code, tmp, prep_seq, gen_seq);
281 return NULL_RTX;
284 /* Main entry to expand conditional compare statement G.
285 Return NULL_RTX if G is not a legal candidate or expand fail.
286 Otherwise return the target. */
288 expand_ccmp_expr (gimple *g, machine_mode mode)
290 rtx_insn *last;
291 rtx tmp;
293 if (!ccmp_candidate_p (g))
294 return NULL_RTX;
296 last = get_last_insn ();
298 rtx_insn *prep_seq = NULL, *gen_seq = NULL;
299 tmp = expand_ccmp_expr_1 (g, &prep_seq, &gen_seq);
301 if (tmp)
303 insn_code icode;
304 machine_mode cc_mode = CCmode;
305 rtx_code cmp_code = GET_CODE (tmp);
307 #ifdef SELECT_CC_MODE
308 cc_mode = SELECT_CC_MODE (cmp_code, XEXP (tmp, 0), const0_rtx);
309 #endif
310 icode = optab_handler (cstore_optab, cc_mode);
311 if (icode != CODE_FOR_nothing)
313 rtx target = gen_reg_rtx (mode);
315 emit_insn (prep_seq);
316 emit_insn (gen_seq);
318 tmp = emit_cstore (target, icode, cmp_code, cc_mode, cc_mode,
319 0, XEXP (tmp, 0), const0_rtx, 1, mode);
320 if (tmp)
321 return tmp;
324 /* Clean up. */
325 delete_insns_since (last);
326 return NULL_RTX;