OpenCores
URL https://opencores.org/ocsvn/openrisc/openrisc/trunk

Subversion Repositories openrisc

[/] [openrisc/] [trunk/] [gnu-old/] [gcc-4.2.2/] [gcc/] [config/] [cris/] [cris.c] - Blame information for rev 816

Details | Compare with Previous | View Log

Line No. Rev Author Line
1 38 julius
/* Definitions for GCC.  Part of the machine description for CRIS.
2
   Copyright (C) 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006,
3
   2007 Free Software Foundation, Inc.
4
   Contributed by Axis Communications.  Written by Hans-Peter Nilsson.
5
 
6
This file is part of GCC.
7
 
8
GCC is free software; you can redistribute it and/or modify
9
it under the terms of the GNU General Public License as published by
10
the Free Software Foundation; either version 3, or (at your option)
11
any later version.
12
 
13
GCC is distributed in the hope that it will be useful,
14
but WITHOUT ANY WARRANTY; without even the implied warranty of
15
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
16
GNU General Public License for more details.
17
 
18
You should have received a copy of the GNU General Public License
19
along with GCC; see the file COPYING3.  If not see
20
<http://www.gnu.org/licenses/>.  */
21
 
22
#include "config.h"
23
#include "system.h"
24
#include "coretypes.h"
25
#include "tm.h"
26
#include "rtl.h"
27
#include "regs.h"
28
#include "hard-reg-set.h"
29
#include "real.h"
30
#include "insn-config.h"
31
#include "conditions.h"
32
#include "insn-attr.h"
33
#include "flags.h"
34
#include "tree.h"
35
#include "expr.h"
36
#include "except.h"
37
#include "function.h"
38
#include "toplev.h"
39
#include "recog.h"
40
#include "reload.h"
41
#include "tm_p.h"
42
#include "debug.h"
43
#include "output.h"
44
#include "target.h"
45
#include "target-def.h"
46
#include "ggc.h"
47
#include "optabs.h"
48
 
49
/* Usable when we have an amount to add or subtract, and want the
50
   optimal size of the insn.  */
51
#define ADDITIVE_SIZE_MODIFIER(size) \
52
 ((size) <= 63 ? "q" : (size) <= 255 ? "u.b" : (size) <= 65535 ? "u.w" : ".d")
53
 
54
#define ASSERT_PLT_UNSPEC(x)                                            \
55
  CRIS_ASSERT (XINT (x, 1) == CRIS_UNSPEC_PLT                           \
56
               && ((GET_CODE (XVECEXP (x, 0, 0)) == SYMBOL_REF)           \
57
                   || GET_CODE (XVECEXP (x, 0, 0)) == LABEL_REF))
58
 
59
#define LOSE_AND_RETURN(msgid, x)                       \
60
  do                                            \
61
    {                                           \
62
      cris_operand_lossage (msgid, x);          \
63
      return;                                   \
64
    } while (0)
65
 
66
enum cris_retinsn_type
67
 { CRIS_RETINSN_UNKNOWN = 0, CRIS_RETINSN_RET, CRIS_RETINSN_JUMP };
68
 
69
/* Per-function machine data.  */
70
struct machine_function GTY(())
71
 {
72
   int needs_return_address_on_stack;
73
 
74
   /* This is the number of registers we save in the prologue due to
75
      stdarg.  */
76
   int stdarg_regs;
77
 
78
   enum cris_retinsn_type return_type;
79
 };
80
 
81
/* This little fix suppresses the 'u' or 's' when '%e' in assembly
82
   pattern.  */
83
static char cris_output_insn_is_bound = 0;
84
 
85
/* In code for output macros, this is how we know whether e.g. constant
86
   goes in code or in a static initializer.  */
87
static int in_code = 0;
88
 
89
/* Fix for reg_overlap_mentioned_p.  */
90
static int cris_reg_overlap_mentioned_p (rtx, rtx);
91
 
92
static void cris_print_base (rtx, FILE *);
93
 
94
static void cris_print_index (rtx, FILE *);
95
 
96
static void cris_output_addr_const (FILE *, rtx);
97
 
98
static struct machine_function * cris_init_machine_status (void);
99
 
100
static rtx cris_struct_value_rtx (tree, int);
101
 
102
static void cris_setup_incoming_varargs (CUMULATIVE_ARGS *, enum machine_mode,
103
                                         tree type, int *, int);
104
 
105
static int cris_initial_frame_pointer_offset (void);
106
 
107
static int saved_regs_mentioned (rtx);
108
 
109
static void cris_operand_lossage (const char *, rtx);
110
 
111
static int cris_reg_saved_in_regsave_area  (unsigned int, bool);
112
 
113
static void cris_asm_output_mi_thunk
114
  (FILE *, tree, HOST_WIDE_INT, HOST_WIDE_INT, tree);
115
 
116
static void cris_file_start (void);
117
static void cris_init_libfuncs (void);
118
 
119
static bool cris_rtx_costs (rtx, int, int, int *);
120
static int cris_address_cost (rtx);
121
static bool cris_pass_by_reference (CUMULATIVE_ARGS *, enum machine_mode,
122
                                    tree, bool);
123
static int cris_arg_partial_bytes (CUMULATIVE_ARGS *, enum machine_mode,
124
                                   tree, bool);
125
static tree cris_md_asm_clobbers (tree, tree, tree);
126
 
127
static bool cris_handle_option (size_t, const char *, int);
128
 
129
/* This is the parsed result of the "-max-stack-stackframe=" option.  If
130
   it (still) is zero, then there was no such option given.  */
131
int cris_max_stackframe = 0;
132
 
133
/* This is the parsed result of the "-march=" option, if given.  */
134
int cris_cpu_version = CRIS_DEFAULT_CPU_VERSION;
135
 
136
#undef TARGET_ASM_ALIGNED_HI_OP
137
#define TARGET_ASM_ALIGNED_HI_OP "\t.word\t"
138
#undef TARGET_ASM_ALIGNED_SI_OP
139
#define TARGET_ASM_ALIGNED_SI_OP "\t.dword\t"
140
#undef TARGET_ASM_ALIGNED_DI_OP
141
#define TARGET_ASM_ALIGNED_DI_OP "\t.quad\t"
142
 
143
/* We need to define these, since the 2byte, 4byte, 8byte op:s are only
144
   available in ELF.  These "normal" pseudos do not have any alignment
145
   constraints or side-effects.  */
146
#undef TARGET_ASM_UNALIGNED_HI_OP
147
#define TARGET_ASM_UNALIGNED_HI_OP TARGET_ASM_ALIGNED_HI_OP
148
 
149
#undef TARGET_ASM_UNALIGNED_SI_OP
150
#define TARGET_ASM_UNALIGNED_SI_OP TARGET_ASM_ALIGNED_SI_OP
151
 
152
#undef TARGET_ASM_UNALIGNED_DI_OP
153
#define TARGET_ASM_UNALIGNED_DI_OP TARGET_ASM_ALIGNED_DI_OP
154
 
155
#undef TARGET_ASM_OUTPUT_MI_THUNK
156
#define TARGET_ASM_OUTPUT_MI_THUNK cris_asm_output_mi_thunk
157
#undef TARGET_ASM_CAN_OUTPUT_MI_THUNK
158
#define TARGET_ASM_CAN_OUTPUT_MI_THUNK default_can_output_mi_thunk_no_vcall
159
 
160
#undef TARGET_ASM_FILE_START
161
#define TARGET_ASM_FILE_START cris_file_start
162
 
163
#undef TARGET_INIT_LIBFUNCS
164
#define TARGET_INIT_LIBFUNCS cris_init_libfuncs
165
 
166
#undef TARGET_RTX_COSTS
167
#define TARGET_RTX_COSTS cris_rtx_costs
168
#undef TARGET_ADDRESS_COST
169
#define TARGET_ADDRESS_COST cris_address_cost
170
 
171
#undef TARGET_PROMOTE_FUNCTION_ARGS
172
#define TARGET_PROMOTE_FUNCTION_ARGS hook_bool_tree_true
173
#undef TARGET_STRUCT_VALUE_RTX
174
#define TARGET_STRUCT_VALUE_RTX cris_struct_value_rtx
175
#undef TARGET_SETUP_INCOMING_VARARGS
176
#define TARGET_SETUP_INCOMING_VARARGS cris_setup_incoming_varargs
177
#undef TARGET_PASS_BY_REFERENCE
178
#define TARGET_PASS_BY_REFERENCE cris_pass_by_reference
179
#undef TARGET_ARG_PARTIAL_BYTES
180
#define TARGET_ARG_PARTIAL_BYTES cris_arg_partial_bytes
181
#undef TARGET_MD_ASM_CLOBBERS
182
#define TARGET_MD_ASM_CLOBBERS cris_md_asm_clobbers
183
#undef TARGET_DEFAULT_TARGET_FLAGS
184
#define TARGET_DEFAULT_TARGET_FLAGS (TARGET_DEFAULT | CRIS_SUBTARGET_DEFAULT)
185
#undef TARGET_HANDLE_OPTION
186
#define TARGET_HANDLE_OPTION cris_handle_option
187
 
188
struct gcc_target targetm = TARGET_INITIALIZER;
189
 
190
/* Helper for cris_load_multiple_op and cris_ret_movem_op.  */
191
 
192
bool
193
cris_movem_load_rest_p (rtx op, int offs)
194
{
195
  unsigned int reg_count = XVECLEN (op, 0) - offs;
196
  rtx src_addr;
197
  int i;
198
  rtx elt;
199
  int setno;
200
  int regno_dir = 1;
201
  unsigned int regno = 0;
202
 
203
  /* Perform a quick check so we don't blow up below.  FIXME: Adjust for
204
     other than (MEM reg).  */
205
  if (reg_count <= 1
206
      || GET_CODE (XVECEXP (op, 0, offs)) != SET
207
      || GET_CODE (SET_DEST (XVECEXP (op, 0, offs))) != REG
208
      || GET_CODE (SET_SRC (XVECEXP (op, 0, offs))) != MEM)
209
    return false;
210
 
211
  /* Check a possible post-inc indicator.  */
212
  if (GET_CODE (SET_SRC (XVECEXP (op, 0, offs + 1))) == PLUS)
213
    {
214
      rtx reg = XEXP (SET_SRC (XVECEXP (op, 0, offs + 1)), 0);
215
      rtx inc = XEXP (SET_SRC (XVECEXP (op, 0, offs + 1)), 1);
216
 
217
      reg_count--;
218
 
219
      if (reg_count == 1
220
          || !REG_P (reg)
221
          || !REG_P (SET_DEST (XVECEXP (op, 0, offs + 1)))
222
          || REGNO (reg) != REGNO (SET_DEST (XVECEXP (op, 0, offs + 1)))
223
          || GET_CODE (inc) != CONST_INT
224
          || INTVAL (inc) != (HOST_WIDE_INT) reg_count * 4)
225
        return false;
226
      i = offs + 2;
227
    }
228
  else
229
    i = offs + 1;
230
 
231
  /* FIXME: These two only for pre-v32.  */
232
  regno_dir = -1;
233
  regno = reg_count - 1;
234
 
235
  elt = XVECEXP (op, 0, offs);
236
  src_addr = XEXP (SET_SRC (elt), 0);
237
 
238
  if (GET_CODE (elt) != SET
239
      || GET_CODE (SET_DEST (elt)) != REG
240
      || GET_MODE (SET_DEST (elt)) != SImode
241
      || REGNO (SET_DEST (elt)) != regno
242
      || GET_CODE (SET_SRC (elt)) != MEM
243
      || GET_MODE (SET_SRC (elt)) != SImode
244
      || !memory_address_p (SImode, src_addr))
245
    return false;
246
 
247
  for (setno = 1; i < XVECLEN (op, 0); setno++, i++)
248
    {
249
      rtx elt = XVECEXP (op, 0, i);
250
      regno += regno_dir;
251
 
252
      if (GET_CODE (elt) != SET
253
          || GET_CODE (SET_DEST (elt)) != REG
254
          || GET_MODE (SET_DEST (elt)) != SImode
255
          || REGNO (SET_DEST (elt)) != regno
256
          || GET_CODE (SET_SRC (elt)) != MEM
257
          || GET_MODE (SET_SRC (elt)) != SImode
258
          || GET_CODE (XEXP (SET_SRC (elt), 0)) != PLUS
259
          || ! rtx_equal_p (XEXP (XEXP (SET_SRC (elt), 0), 0), src_addr)
260
          || GET_CODE (XEXP (XEXP (SET_SRC (elt), 0), 1)) != CONST_INT
261
          || INTVAL (XEXP (XEXP (SET_SRC (elt), 0), 1)) != setno * 4)
262
        return false;
263
    }
264
 
265
  return true;
266
}
267
 
268
/* Worker function for predicate for the parallel contents in a movem
269
   to-memory.  */
270
 
271
bool
272
cris_store_multiple_op_p (rtx op)
273
{
274
  int reg_count = XVECLEN (op, 0);
275
  rtx dest;
276
  rtx dest_addr;
277
  rtx dest_base;
278
  int i;
279
  rtx elt;
280
  int setno;
281
  int regno_dir = 1;
282
  int regno = 0;
283
  int offset = 0;
284
 
285
  /* Perform a quick check so we don't blow up below.  FIXME: Adjust for
286
     other than (MEM reg) and (MEM (PLUS reg const)).  */
287
  if (reg_count <= 1)
288
    return false;
289
 
290
  elt = XVECEXP (op, 0, 0);
291
 
292
  if (GET_CODE (elt) != SET)
293
    return  false;
294
 
295
  dest = SET_DEST (elt);
296
 
297
  if (GET_CODE (SET_SRC (elt)) != REG
298
      || GET_CODE (dest) != MEM)
299
    return false;
300
 
301
  dest_addr = XEXP (dest, 0);
302
 
303
  /* Check a possible post-inc indicator.  */
304
  if (GET_CODE (SET_SRC (XVECEXP (op, 0, 1))) == PLUS)
305
    {
306
      rtx reg = XEXP (SET_SRC (XVECEXP (op, 0, 1)), 0);
307
      rtx inc = XEXP (SET_SRC (XVECEXP (op, 0, 1)), 1);
308
 
309
      reg_count--;
310
 
311
      if (reg_count == 1
312
          || !REG_P (reg)
313
          || !REG_P (SET_DEST (XVECEXP (op, 0, 1)))
314
          || REGNO (reg) != REGNO (SET_DEST (XVECEXP (op, 0, 1)))
315
          || GET_CODE (inc) != CONST_INT
316
          /* Support increment by number of registers, and by the offset
317
             of the destination, if it has the form (MEM (PLUS reg
318
             offset)).  */
319
          || !((REG_P (dest_addr)
320
                && REGNO (dest_addr) == REGNO (reg)
321
                && INTVAL (inc) == (HOST_WIDE_INT) reg_count * 4)
322
               || (GET_CODE (dest_addr) == PLUS
323
                   && REG_P (XEXP (dest_addr, 0))
324
                   && REGNO (XEXP (dest_addr, 0)) == REGNO (reg)
325
                   && GET_CODE (XEXP (dest_addr, 1)) == CONST_INT
326
                   && INTVAL (XEXP (dest_addr, 1)) == INTVAL (inc))))
327
        return false;
328
 
329
      i = 2;
330
    }
331
  else
332
    i = 1;
333
 
334
  /* FIXME: These two only for pre-v32.  */
335
  regno_dir = -1;
336
  regno = reg_count - 1;
337
 
338
  if (GET_CODE (elt) != SET
339
      || GET_CODE (SET_SRC (elt)) != REG
340
      || GET_MODE (SET_SRC (elt)) != SImode
341
      || REGNO (SET_SRC (elt)) != (unsigned int) regno
342
      || GET_CODE (SET_DEST (elt)) != MEM
343
      || GET_MODE (SET_DEST (elt)) != SImode)
344
    return false;
345
 
346
  if (REG_P (dest_addr))
347
    {
348
      dest_base = dest_addr;
349
      offset = 0;
350
    }
351
  else if (GET_CODE (dest_addr) == PLUS
352
           && REG_P (XEXP (dest_addr, 0))
353
           && GET_CODE (XEXP (dest_addr, 1)) == CONST_INT)
354
    {
355
      dest_base = XEXP (dest_addr, 0);
356
      offset = INTVAL (XEXP (dest_addr, 1));
357
    }
358
  else
359
    return false;
360
 
361
  for (setno = 1; i < XVECLEN (op, 0); setno++, i++)
362
    {
363
      rtx elt = XVECEXP (op, 0, i);
364
      regno += regno_dir;
365
 
366
      if (GET_CODE (elt) != SET
367
          || GET_CODE (SET_SRC (elt)) != REG
368
          || GET_MODE (SET_SRC (elt)) != SImode
369
          || REGNO (SET_SRC (elt)) != (unsigned int) regno
370
          || GET_CODE (SET_DEST (elt)) != MEM
371
          || GET_MODE (SET_DEST (elt)) != SImode
372
          || GET_CODE (XEXP (SET_DEST (elt), 0)) != PLUS
373
          || ! rtx_equal_p (XEXP (XEXP (SET_DEST (elt), 0), 0), dest_base)
374
          || GET_CODE (XEXP (XEXP (SET_DEST (elt), 0), 1)) != CONST_INT
375
          || INTVAL (XEXP (XEXP (SET_DEST (elt), 0), 1)) != setno * 4 + offset)
376
        return false;
377
    }
378
 
379
  return true;
380
}
381
 
382
/* The CONDITIONAL_REGISTER_USAGE worker.  */
383
 
384
void
385
cris_conditional_register_usage (void)
386
{
387
  /* FIXME: This isn't nice.  We should be able to use that register for
388
     something else if the PIC table isn't needed.  */
389
  if (flag_pic)
390
    fixed_regs[PIC_OFFSET_TABLE_REGNUM]
391
      = call_used_regs[PIC_OFFSET_TABLE_REGNUM] = 1;
392
 
393
  if (TARGET_HAS_MUL_INSNS)
394
    fixed_regs[CRIS_MOF_REGNUM] = 0;
395
 
396
  /* On early versions, we must use the 16-bit condition-code register,
397
     which has another name.  */
398
  if (cris_cpu_version < 8)
399
    reg_names[CRIS_CC0_REGNUM] = "ccr";
400
}
401
 
402
/* Return current_function_uses_pic_offset_table.  For use in cris.md,
403
   since some generated files do not include function.h.  */
404
 
405
int
406
cris_cfun_uses_pic_table (void)
407
{
408
  return current_function_uses_pic_offset_table;
409
}
410
 
411
/* Given an rtx, return the text string corresponding to the CODE of X.
412
   Intended for use in the assembly language output section of a
413
   define_insn.  */
414
 
415
const char *
416
cris_op_str (rtx x)
417
{
418
  cris_output_insn_is_bound = 0;
419
  switch (GET_CODE (x))
420
    {
421
    case PLUS:
422
      return "add";
423
      break;
424
 
425
    case MINUS:
426
      return "sub";
427
      break;
428
 
429
    case MULT:
430
      /* This function is for retrieving a part of an instruction name for
431
         an operator, for immediate output.  If that ever happens for
432
         MULT, we need to apply TARGET_MUL_BUG in the caller.  Make sure
433
         we notice.  */
434
      internal_error ("MULT case in cris_op_str");
435
      break;
436
 
437
    case DIV:
438
      return "div";
439
      break;
440
 
441
    case AND:
442
      return "and";
443
      break;
444
 
445
    case IOR:
446
      return "or";
447
      break;
448
 
449
    case XOR:
450
      return "xor";
451
      break;
452
 
453
    case NOT:
454
      return "not";
455
      break;
456
 
457
    case ASHIFT:
458
      return "lsl";
459
      break;
460
 
461
    case LSHIFTRT:
462
      return "lsr";
463
      break;
464
 
465
    case ASHIFTRT:
466
      return "asr";
467
      break;
468
 
469
    case UMIN:
470
      /* Used to control the sign/zero-extend character for the 'E' modifier.
471
         BOUND has none.  */
472
      cris_output_insn_is_bound = 1;
473
      return "bound";
474
      break;
475
 
476
    default:
477
      return "Unknown operator";
478
      break;
479
  }
480
}
481
 
482
/* Emit an error message when we're in an asm, and a fatal error for
483
   "normal" insns.  Formatted output isn't easily implemented, since we
484
   use output_operand_lossage to output the actual message and handle the
485
   categorization of the error.  */
486
 
487
static void
488
cris_operand_lossage (const char *msgid, rtx op)
489
{
490
  debug_rtx (op);
491
  output_operand_lossage ("%s", msgid);
492
}
493
 
494
/* Print an index part of an address to file.  */
495
 
496
static void
497
cris_print_index (rtx index, FILE *file)
498
{
499
  rtx inner = XEXP (index, 0);
500
 
501
  /* Make the index "additive" unless we'll output a negative number, in
502
     which case the sign character is free (as in free beer).  */
503
  if (GET_CODE (index) != CONST_INT || INTVAL (index) >= 0)
504
    putc ('+', file);
505
 
506
  if (REG_P (index))
507
    fprintf (file, "$%s.b", reg_names[REGNO (index)]);
508
  else if (CONSTANT_P (index))
509
    cris_output_addr_const (file, index);
510
  else if (GET_CODE (index) == MULT)
511
    {
512
      fprintf (file, "$%s.",
513
               reg_names[REGNO (XEXP (index, 0))]);
514
 
515
      putc (INTVAL (XEXP (index, 1)) == 2 ? 'w' : 'd', file);
516
    }
517
  else if (GET_CODE (index) == SIGN_EXTEND &&
518
           GET_CODE (inner) == MEM)
519
    {
520
      rtx inner_inner = XEXP (inner, 0);
521
 
522
      if (GET_CODE (inner_inner) == POST_INC)
523
        {
524
          fprintf (file, "[$%s+].",
525
                   reg_names[REGNO (XEXP (inner_inner, 0))]);
526
          putc (GET_MODE (inner) == HImode ? 'w' : 'b', file);
527
        }
528
      else
529
        {
530
          fprintf (file, "[$%s].", reg_names[REGNO (inner_inner)]);
531
 
532
          putc (GET_MODE (inner) == HImode ? 'w' : 'b', file);
533
        }
534
    }
535
  else if (GET_CODE (index) == MEM)
536
    {
537
      if (GET_CODE (inner) == POST_INC)
538
        fprintf (file, "[$%s+].d", reg_names[REGNO (XEXP (inner, 0))]);
539
      else
540
        fprintf (file, "[$%s].d", reg_names[REGNO (inner)]);
541
    }
542
  else
543
    cris_operand_lossage ("unexpected index-type in cris_print_index",
544
                          index);
545
}
546
 
547
/* Print a base rtx of an address to file.  */
548
 
549
static void
550
cris_print_base (rtx base, FILE *file)
551
{
552
  if (REG_P (base))
553
    fprintf (file, "$%s", reg_names[REGNO (base)]);
554
  else if (GET_CODE (base) == POST_INC)
555
    fprintf (file, "$%s+", reg_names[REGNO (XEXP (base, 0))]);
556
  else
557
    cris_operand_lossage ("unexpected base-type in cris_print_base",
558
                          base);
559
}
560
 
561
/* Usable as a guard in expressions.  */
562
 
563
int
564
cris_fatal (char *arg)
565
{
566
  internal_error (arg);
567
 
568
  /* We'll never get here; this is just to appease compilers.  */
569
  return 0;
570
}
571
 
572
/* Return nonzero if REGNO is an ordinary register that *needs* to be
573
   saved together with other registers, possibly by a MOVEM instruction,
574
   or is saved for target-independent reasons.  There may be
575
   target-dependent reasons to save the register anyway; this is just a
576
   wrapper for a complicated conditional.  */
577
 
578
static int
579
cris_reg_saved_in_regsave_area (unsigned int regno, bool got_really_used)
580
{
581
  return
582
    (((regs_ever_live[regno]
583
       && !call_used_regs[regno])
584
      || (regno == PIC_OFFSET_TABLE_REGNUM
585
          && (got_really_used
586
              /* It is saved anyway, if there would be a gap.  */
587
              || (flag_pic
588
                  && regs_ever_live[regno + 1]
589
                  && !call_used_regs[regno + 1]))))
590
     && (regno != FRAME_POINTER_REGNUM || !frame_pointer_needed)
591
     && regno != CRIS_SRP_REGNUM)
592
    || (current_function_calls_eh_return
593
        && (regno == EH_RETURN_DATA_REGNO (0)
594
            || regno == EH_RETURN_DATA_REGNO (1)
595
            || regno == EH_RETURN_DATA_REGNO (2)
596
            || regno == EH_RETURN_DATA_REGNO (3)));
597
}
598
 
599
/* Return nonzero if there are regs mentioned in the insn that are not all
600
   in the call_used regs.  This is part of the decision whether an insn
601
   can be put in the epilogue.  */
602
 
603
static int
604
saved_regs_mentioned (rtx x)
605
{
606
  int i;
607
  const char *fmt;
608
  RTX_CODE code;
609
 
610
  /* Mainly stolen from refers_to_regno_p in rtlanal.c.  */
611
 
612
  code = GET_CODE (x);
613
 
614
  switch (code)
615
    {
616
    case REG:
617
      i = REGNO (x);
618
      return !call_used_regs[i];
619
 
620
    case SUBREG:
621
      /* If this is a SUBREG of a hard reg, we can see exactly which
622
         registers are being modified.  Otherwise, handle normally.  */
623
      i = REGNO (SUBREG_REG (x));
624
      return !call_used_regs[i];
625
 
626
    default:
627
      ;
628
    }
629
 
630
  fmt = GET_RTX_FORMAT (code);
631
  for (i = GET_RTX_LENGTH (code) - 1; i >= 0; i--)
632
    {
633
      if (fmt[i] == 'e')
634
        {
635
          if (saved_regs_mentioned (XEXP (x, i)))
636
            return 1;
637
        }
638
      else if (fmt[i] == 'E')
639
        {
640
          int j;
641
          for (j = XVECLEN (x, i) - 1; j >=0; j--)
642
            if (saved_regs_mentioned (XEXP (x, i)))
643
              return 1;
644
        }
645
    }
646
 
647
  return 0;
648
}
649
 
650
/* The PRINT_OPERAND worker.  */
651
 
652
void
653
cris_print_operand (FILE *file, rtx x, int code)
654
{
655
  rtx operand = x;
656
 
657
  /* Size-strings corresponding to MULT expressions.  */
658
  static const char *const mults[] = { "BAD:0", ".b", ".w", "BAD:3", ".d" };
659
 
660
  /* New code entries should just be added to the switch below.  If
661
     handling is finished, just return.  If handling was just a
662
     modification of the operand, the modified operand should be put in
663
     "operand", and then do a break to let default handling
664
     (zero-modifier) output the operand.  */
665
 
666
  switch (code)
667
    {
668
    case 'b':
669
      /* Print the unsigned supplied integer as if it were signed
670
         and < 0, i.e print 255 or 65535 as -1, 254, 65534 as -2, etc.  */
671
      if (GET_CODE (x) != CONST_INT
672
          || ! CONST_OK_FOR_LETTER_P (INTVAL (x), 'O'))
673
        LOSE_AND_RETURN ("invalid operand for 'b' modifier", x);
674
      fprintf (file, HOST_WIDE_INT_PRINT_DEC,
675
               INTVAL (x)| (INTVAL (x) <= 255 ? ~255 : ~65535));
676
      return;
677
 
678
    case 'x':
679
      /* Print assembler code for operator.  */
680
      fprintf (file, "%s", cris_op_str (operand));
681
      return;
682
 
683
    case 'o':
684
      {
685
        /* A movem modifier working on a parallel; output the register
686
           name.  */
687
        int regno;
688
 
689
        if (GET_CODE (x) != PARALLEL)
690
          LOSE_AND_RETURN ("invalid operand for 'o' modifier", x);
691
 
692
        /* The second item can be (set reg (plus reg const)) to denote a
693
           postincrement.  */
694
        regno
695
          = (GET_CODE (SET_SRC (XVECEXP (x, 0, 1))) == PLUS
696
             ? XVECLEN (x, 0) - 2
697
             : XVECLEN (x, 0) - 1);
698
 
699
        fprintf (file, "$%s", reg_names [regno]);
700
      }
701
      return;
702
 
703
    case 'O':
704
      {
705
        /* A similar movem modifier; output the memory operand.  */
706
        rtx addr;
707
 
708
        if (GET_CODE (x) != PARALLEL)
709
          LOSE_AND_RETURN ("invalid operand for 'O' modifier", x);
710
 
711
        /* The lowest mem operand is in the first item, but perhaps it
712
           needs to be output as postincremented.  */
713
        addr = GET_CODE (SET_SRC (XVECEXP (x, 0, 0))) == MEM
714
          ? XEXP (SET_SRC (XVECEXP (x, 0, 0)), 0)
715
          : XEXP (SET_DEST (XVECEXP (x, 0, 0)), 0);
716
 
717
        /* The second item can be a (set reg (plus reg const)) to denote
718
           a modification.  */
719
        if (GET_CODE (SET_SRC (XVECEXP (x, 0, 1))) == PLUS)
720
          {
721
            /* It's a post-increment, if the address is a naked (reg).  */
722
            if (REG_P (addr))
723
              addr = gen_rtx_POST_INC (SImode, addr);
724
            else
725
              {
726
                /* Otherwise, it's a side-effect; RN=RN+M.  */
727
                fprintf (file, "[$%s=$%s%s%d]",
728
                         reg_names [REGNO (SET_DEST (XVECEXP (x, 0, 1)))],
729
                         reg_names [REGNO (XEXP (addr, 0))],
730
                         INTVAL (XEXP (addr, 1)) < 0 ? "" : "+",
731
                         (int) INTVAL (XEXP (addr, 1)));
732
                return;
733
              }
734
          }
735
        output_address (addr);
736
      }
737
      return;
738
 
739
    case 'p':
740
      /* Adjust a power of two to its log2.  */
741
      if (GET_CODE (x) != CONST_INT || exact_log2 (INTVAL (x)) < 0 )
742
        LOSE_AND_RETURN ("invalid operand for 'p' modifier", x);
743
      fprintf (file, "%d", exact_log2 (INTVAL (x)));
744
      return;
745
 
746
    case 's':
747
      /* For an integer, print 'b' or 'w' if <= 255 or <= 65535
748
         respectively.  This modifier also terminates the inhibiting
749
         effects of the 'x' modifier.  */
750
      cris_output_insn_is_bound = 0;
751
      if (GET_MODE (x) == VOIDmode && GET_CODE (x) == CONST_INT)
752
        {
753
          if (INTVAL (x) >= 0)
754
            {
755
              if (INTVAL (x) <= 255)
756
                putc ('b', file);
757
              else if (INTVAL (x) <= 65535)
758
                putc ('w', file);
759
              else
760
                putc ('d', file);
761
            }
762
          else
763
            putc ('d', file);
764
          return;
765
        }
766
 
767
      /* For a non-integer, print the size of the operand.  */
768
      putc ((GET_MODE (x) == SImode || GET_MODE (x) == SFmode)
769
            ? 'd' : GET_MODE (x) == HImode ? 'w'
770
            : GET_MODE (x) == QImode ? 'b'
771
            /* If none of the above, emit an erroneous size letter.  */
772
            : 'X',
773
            file);
774
      return;
775
 
776
    case 'z':
777
      /* Const_int: print b for -127 <= x <= 255,
778
         w for -32768 <= x <= 65535, else die.  */
779
      if (GET_CODE (x) != CONST_INT
780
          || INTVAL (x) < -32768 || INTVAL (x) > 65535)
781
        LOSE_AND_RETURN ("invalid operand for 'z' modifier", x);
782
      putc (INTVAL (x) >= -128 && INTVAL (x) <= 255 ? 'b' : 'w', file);
783
      return;
784
 
785
    case '#':
786
      /* Output a 'nop' if there's nothing for the delay slot.
787
         This method stolen from the sparc files.  */
788
      if (dbr_sequence_length () == 0)
789
        fputs ("\n\tnop", file);
790
      return;
791
 
792
    case '!':
793
      /* Output directive for alignment padded with "nop" insns.
794
         Optimizing for size, it's plain 4-byte alignment, otherwise we
795
         align the section to a cache-line (32 bytes) and skip at max 2
796
         bytes, i.e. we skip if it's the last insn on a cache-line.  The
797
         latter is faster by a small amount (for two test-programs 99.6%
798
         and 99.9%) and larger by a small amount (ditto 100.1% and
799
         100.2%).  This is supposed to be the simplest yet performance-
800
         wise least intrusive way to make sure the immediately following
801
         (supposed) muls/mulu insn isn't located at the end of a
802
         cache-line.  */
803
      if (TARGET_MUL_BUG)
804
        fputs (optimize_size
805
               ? ".p2alignw 2,0x050f\n\t"
806
               : ".p2alignw 5,0x050f,2\n\t", file);
807
      return;
808
 
809
    case ':':
810
      /* The PIC register.  */
811
      if (! flag_pic)
812
        internal_error ("invalid use of ':' modifier");
813
      fprintf (file, "$%s", reg_names [PIC_OFFSET_TABLE_REGNUM]);
814
      return;
815
 
816
    case 'H':
817
      /* Print high (most significant) part of something.  */
818
      switch (GET_CODE (operand))
819
        {
820
        case CONST_INT:
821
          /* If we're having 64-bit HOST_WIDE_INTs, the whole (DImode)
822
             value is kept here, and so may be other than 0 or -1.  */
823
          fprintf (file, HOST_WIDE_INT_PRINT_DEC,
824
                   INTVAL (operand_subword (operand, 1, 0, DImode)));
825
          return;
826
 
827
        case CONST_DOUBLE:
828
          /* High part of a long long constant.  */
829
          if (GET_MODE (operand) == VOIDmode)
830
            {
831
              fprintf (file, HOST_WIDE_INT_PRINT_HEX, CONST_DOUBLE_HIGH (x));
832
              return;
833
            }
834
          else
835
            LOSE_AND_RETURN ("invalid operand for 'H' modifier", x);
836
 
837
        case REG:
838
          /* Print reg + 1.  Check that there's not an attempt to print
839
             high-parts of registers like stack-pointer or higher.  */
840
          if (REGNO (operand) > STACK_POINTER_REGNUM - 2)
841
            LOSE_AND_RETURN ("bad register", operand);
842
          fprintf (file, "$%s", reg_names[REGNO (operand) + 1]);
843
          return;
844
 
845
        case MEM:
846
          /* Adjust memory address to high part.  */
847
          {
848
            rtx adj_mem = operand;
849
            int size
850
              = GET_MODE_BITSIZE (GET_MODE (operand)) / BITS_PER_UNIT;
851
 
852
            /* Adjust so we can use two SImode in DImode.
853
               Calling adj_offsettable_operand will make sure it is an
854
               offsettable address.  Don't do this for a postincrement
855
               though; it should remain as it was.  */
856
            if (GET_CODE (XEXP (adj_mem, 0)) != POST_INC)
857
              adj_mem
858
                = adjust_address (adj_mem, GET_MODE (adj_mem), size / 2);
859
 
860
            output_address (XEXP (adj_mem, 0));
861
            return;
862
          }
863
 
864
        default:
865
          LOSE_AND_RETURN ("invalid operand for 'H' modifier", x);
866
        }
867
 
868
    case 'L':
869
      /* Strip the MEM expression.  */
870
      operand = XEXP (operand, 0);
871
      break;
872
 
873
    case 'e':
874
      /* Like 'E', but ignore state set by 'x'.  FIXME: Use code
875
         iterators ("code macros") and attributes in cris.md to avoid
876
         the need for %x and %E (and %e) and state passed between
877
         those modifiers.  */
878
      cris_output_insn_is_bound = 0;
879
      /* FALL THROUGH.  */
880
    case 'E':
881
      /* Print 's' if operand is SIGN_EXTEND or 'u' if ZERO_EXTEND unless
882
         cris_output_insn_is_bound is nonzero.  */
883
      if (GET_CODE (operand) != SIGN_EXTEND
884
          && GET_CODE (operand) != ZERO_EXTEND
885
          && GET_CODE (operand) != CONST_INT)
886
        LOSE_AND_RETURN ("invalid operand for 'e' modifier", x);
887
 
888
      if (cris_output_insn_is_bound)
889
        {
890
          cris_output_insn_is_bound = 0;
891
          return;
892
        }
893
 
894
      putc (GET_CODE (operand) == SIGN_EXTEND
895
            || (GET_CODE (operand) == CONST_INT && INTVAL (operand) < 0)
896
            ? 's' : 'u', file);
897
      return;
898
 
899
    case 'm':
900
      /* Print the size letter of the inner element.  We can do it by
901
         calling ourselves with the 's' modifier.  */
902
      if (GET_CODE (operand) != SIGN_EXTEND && GET_CODE (operand) != ZERO_EXTEND)
903
        LOSE_AND_RETURN ("invalid operand for 'm' modifier", x);
904
      cris_print_operand (file, XEXP (operand, 0), 's');
905
      return;
906
 
907
    case 'M':
908
      /* Print the least significant part of operand.  */
909
      if (GET_CODE (operand) == CONST_DOUBLE)
910
        {
911
          fprintf (file, HOST_WIDE_INT_PRINT_HEX, CONST_DOUBLE_LOW (x));
912
          return;
913
        }
914
      else if (HOST_BITS_PER_WIDE_INT > 32 && GET_CODE (operand) == CONST_INT)
915
        {
916
          fprintf (file, HOST_WIDE_INT_PRINT_HEX,
917
                   INTVAL (x) & ((unsigned int) 0x7fffffff * 2 + 1));
918
          return;
919
        }
920
      /* Otherwise the least significant part equals the normal part,
921
         so handle it normally.  */
922
      break;
923
 
924
    case 'A':
925
      /* When emitting an add for the high part of a DImode constant, we
926
         want to use addq for 0 and adds.w for -1.  */
927
      if (GET_CODE (operand) != CONST_INT)
928
        LOSE_AND_RETURN ("invalid operand for 'A' modifier", x);
929
      fprintf (file, INTVAL (operand) < 0 ? "adds.w" : "addq");
930
      return;
931
 
932
    case 'd':
933
      /* If this is a GOT symbol, force it to be emitted as :GOT and
934
         :GOTPLT regardless of -fpic (i.e. not as :GOT16, :GOTPLT16).
935
         Avoid making this too much of a special case.  */
936
      if (flag_pic == 1 && CONSTANT_P (operand))
937
        {
938
          int flag_pic_save = flag_pic;
939
 
940
          flag_pic = 2;
941
          cris_output_addr_const (file, operand);
942
          flag_pic = flag_pic_save;
943
          return;
944
        }
945
      break;
946
 
947
    case 'D':
948
      /* When emitting an sub for the high part of a DImode constant, we
949
         want to use subq for 0 and subs.w for -1.  */
950
      if (GET_CODE (operand) != CONST_INT)
951
        LOSE_AND_RETURN ("invalid operand for 'D' modifier", x);
952
      fprintf (file, INTVAL (operand) < 0 ? "subs.w" : "subq");
953
      return;
954
 
955
    case 'S':
956
      /* Print the operand as the index-part of an address.
957
         Easiest way out is to use cris_print_index.  */
958
      cris_print_index (operand, file);
959
      return;
960
 
961
    case 'T':
962
      /* Print the size letter for an operand to a MULT, which must be a
963
         const_int with a suitable value.  */
964
      if (GET_CODE (operand) != CONST_INT || INTVAL (operand) > 4)
965
        LOSE_AND_RETURN ("invalid operand for 'T' modifier", x);
966
      fprintf (file, "%s", mults[INTVAL (operand)]);
967
      return;
968
 
969
    case 0:
970
      /* No code, print as usual.  */
971
      break;
972
 
973
    default:
974
      LOSE_AND_RETURN ("invalid operand modifier letter", x);
975
    }
976
 
977
  /* Print an operand as without a modifier letter.  */
978
  switch (GET_CODE (operand))
979
    {
980
    case REG:
981
      if (REGNO (operand) > 15
982
          && REGNO (operand) != CRIS_MOF_REGNUM
983
          && REGNO (operand) != CRIS_SRP_REGNUM
984
          && REGNO (operand) != CRIS_CC0_REGNUM)
985
        internal_error ("internal error: bad register: %d", REGNO (operand));
986
      fprintf (file, "$%s", reg_names[REGNO (operand)]);
987
      return;
988
 
989
    case MEM:
990
      output_address (XEXP (operand, 0));
991
      return;
992
 
993
    case CONST_DOUBLE:
994
      if (GET_MODE (operand) == VOIDmode)
995
        /* A long long constant.  */
996
        output_addr_const (file, operand);
997
      else
998
        {
999
          /* Only single precision is allowed as plain operands the
1000
             moment.  FIXME:  REAL_VALUE_FROM_CONST_DOUBLE isn't
1001
             documented.  */
1002
          REAL_VALUE_TYPE r;
1003
          long l;
1004
 
1005
          /* FIXME:  Perhaps check overflow of the "single".  */
1006
          REAL_VALUE_FROM_CONST_DOUBLE (r, operand);
1007
          REAL_VALUE_TO_TARGET_SINGLE (r, l);
1008
 
1009
          fprintf (file, "0x%lx", l);
1010
        }
1011
      return;
1012
 
1013
    case UNSPEC:
1014
      /* Fall through.  */
1015
    case CONST:
1016
      cris_output_addr_const (file, operand);
1017
      return;
1018
 
1019
    case MULT:
1020
    case ASHIFT:
1021
      {
1022
        /* For a (MULT (reg X) const_int) we output "rX.S".  */
1023
        int i = GET_CODE (XEXP (operand, 1)) == CONST_INT
1024
          ? INTVAL (XEXP (operand, 1)) : INTVAL (XEXP (operand, 0));
1025
        rtx reg = GET_CODE (XEXP (operand, 1)) == CONST_INT
1026
          ? XEXP (operand, 0) : XEXP (operand, 1);
1027
 
1028
        if (GET_CODE (reg) != REG
1029
            || (GET_CODE (XEXP (operand, 0)) != CONST_INT
1030
                && GET_CODE (XEXP (operand, 1)) != CONST_INT))
1031
          LOSE_AND_RETURN ("unexpected multiplicative operand", x);
1032
 
1033
        cris_print_base (reg, file);
1034
        fprintf (file, ".%c",
1035
                 i == 0 || (i == 1 && GET_CODE (operand) == MULT) ? 'b'
1036
                 : i == 4 ? 'd'
1037
                 : (i == 2 && GET_CODE (operand) == MULT) || i == 1 ? 'w'
1038
                 : 'd');
1039
        return;
1040
      }
1041
 
1042
    default:
1043
      /* No need to handle all strange variants, let output_addr_const
1044
         do it for us.  */
1045
      if (CONSTANT_P (operand))
1046
        {
1047
          cris_output_addr_const (file, operand);
1048
          return;
1049
        }
1050
 
1051
      LOSE_AND_RETURN ("unexpected operand", x);
1052
    }
1053
}
1054
 
1055
/* The PRINT_OPERAND_ADDRESS worker.  */
1056
 
1057
void
1058
cris_print_operand_address (FILE *file, rtx x)
1059
{
1060
  /* All these were inside MEM:s so output indirection characters.  */
1061
  putc ('[', file);
1062
 
1063
  if (CONSTANT_ADDRESS_P (x))
1064
    cris_output_addr_const (file, x);
1065
  else if (BASE_OR_AUTOINCR_P (x))
1066
    cris_print_base (x, file);
1067
  else if (GET_CODE (x) == PLUS)
1068
    {
1069
      rtx x1, x2;
1070
 
1071
      x1 = XEXP (x, 0);
1072
      x2 = XEXP (x, 1);
1073
      if (BASE_P (x1))
1074
        {
1075
          cris_print_base (x1, file);
1076
          cris_print_index (x2, file);
1077
        }
1078
      else if (BASE_P (x2))
1079
        {
1080
          cris_print_base (x2, file);
1081
          cris_print_index (x1, file);
1082
        }
1083
      else
1084
        LOSE_AND_RETURN ("unrecognized address", x);
1085
    }
1086
  else if (GET_CODE (x) == MEM)
1087
    {
1088
      /* A DIP.  Output more indirection characters.  */
1089
      putc ('[', file);
1090
      cris_print_base (XEXP (x, 0), file);
1091
      putc (']', file);
1092
    }
1093
  else
1094
    LOSE_AND_RETURN ("unrecognized address", x);
1095
 
1096
  putc (']', file);
1097
}
1098
 
1099
/* The RETURN_ADDR_RTX worker.
1100
   We mark that the return address is used, either by EH or
1101
   __builtin_return_address, for use by the function prologue and
1102
   epilogue.  FIXME: This isn't optimal; we just use the mark in the
1103
   prologue and epilogue to say that the return address is to be stored
1104
   in the stack frame.  We could return SRP for leaf-functions and use the
1105
   initial-value machinery.  */
1106
 
1107
rtx
1108
cris_return_addr_rtx (int count, rtx frameaddr ATTRIBUTE_UNUSED)
1109
{
1110
  cfun->machine->needs_return_address_on_stack = 1;
1111
 
1112
  /* The return-address is stored just above the saved frame-pointer (if
1113
     present).  Apparently we can't eliminate from the frame-pointer in
1114
     that direction, so use the incoming args (maybe pretended) pointer.  */
1115
  return count == 0
1116
    ? gen_rtx_MEM (Pmode, plus_constant (virtual_incoming_args_rtx, -4))
1117
    : NULL_RTX;
1118
}
1119
 
1120
/* Accessor used in cris.md:return because cfun->machine isn't available
1121
   there.  */
1122
 
1123
bool
1124
cris_return_address_on_stack (void)
1125
{
1126
  return regs_ever_live[CRIS_SRP_REGNUM]
1127
    || cfun->machine->needs_return_address_on_stack;
1128
}
1129
 
1130
/* Accessor used in cris.md:return because cfun->machine isn't available
1131
   there.  */
1132
 
1133
bool
1134
cris_return_address_on_stack_for_return (void)
1135
{
1136
  return cfun->machine->return_type == CRIS_RETINSN_RET ? false
1137
    : cris_return_address_on_stack ();
1138
}
1139
 
1140
/* This used to be the INITIAL_FRAME_POINTER_OFFSET worker; now only
1141
   handles FP -> SP elimination offset.  */
1142
 
1143
static int
1144
cris_initial_frame_pointer_offset (void)
1145
{
1146
  int regno;
1147
 
1148
  /* Initial offset is 0 if we don't have a frame pointer.  */
1149
  int offs = 0;
1150
  bool got_really_used = false;
1151
 
1152
  if (current_function_uses_pic_offset_table)
1153
    {
1154
      push_topmost_sequence ();
1155
      got_really_used
1156
        = reg_used_between_p (pic_offset_table_rtx, get_insns (),
1157
                              NULL_RTX);
1158
      pop_topmost_sequence ();
1159
    }
1160
 
1161
  /* And 4 for each register pushed.  */
1162
  for (regno = 0; regno < FIRST_PSEUDO_REGISTER; regno++)
1163
    if (cris_reg_saved_in_regsave_area (regno, got_really_used))
1164
      offs += 4;
1165
 
1166
  /* And then, last, we add the locals allocated.  */
1167
  offs += get_frame_size ();
1168
 
1169
  /* And more; the accumulated args size.  */
1170
  offs += current_function_outgoing_args_size;
1171
 
1172
  /* Then round it off, in case we use aligned stack.  */
1173
  if (TARGET_STACK_ALIGN)
1174
    offs = TARGET_ALIGN_BY_32 ? (offs + 3) & ~3 : (offs + 1) & ~1;
1175
 
1176
  return offs;
1177
}
1178
 
1179
/* The INITIAL_ELIMINATION_OFFSET worker.
1180
   Calculate the difference between imaginary registers such as frame
1181
   pointer and the stack pointer.  Used to eliminate the frame pointer
1182
   and imaginary arg pointer.  */
1183
 
1184
int
1185
cris_initial_elimination_offset (int fromreg, int toreg)
1186
{
1187
  int fp_sp_offset
1188
    = cris_initial_frame_pointer_offset ();
1189
 
1190
  /* We should be able to use regs_ever_live and related prologue
1191
     information here, or alpha should not as well.  */
1192
  bool return_address_on_stack = cris_return_address_on_stack ();
1193
 
1194
  /* Here we act as if the frame-pointer were needed.  */
1195
  int ap_fp_offset = 4 + (return_address_on_stack ? 4 : 0);
1196
 
1197
  if (fromreg == ARG_POINTER_REGNUM
1198
      && toreg == FRAME_POINTER_REGNUM)
1199
    return ap_fp_offset;
1200
 
1201
  /* Between the frame pointer and the stack are only "normal" stack
1202
     variables and saved registers.  */
1203
  if (fromreg == FRAME_POINTER_REGNUM
1204
      && toreg == STACK_POINTER_REGNUM)
1205
    return fp_sp_offset;
1206
 
1207
  /* We need to balance out the frame pointer here.  */
1208
  if (fromreg == ARG_POINTER_REGNUM
1209
      && toreg == STACK_POINTER_REGNUM)
1210
    return ap_fp_offset + fp_sp_offset - 4;
1211
 
1212
  gcc_unreachable ();
1213
}
1214
 
1215
/* Worker function for LEGITIMIZE_RELOAD_ADDRESS.  */
1216
 
1217
bool
1218
cris_reload_address_legitimized (rtx x,
1219
                                 enum machine_mode mode ATTRIBUTE_UNUSED,
1220
                                 int opnum ATTRIBUTE_UNUSED,
1221
                                 int itype,
1222
                                 int ind_levels ATTRIBUTE_UNUSED)
1223
{
1224
  enum reload_type type = itype;
1225
  rtx op0, op1;
1226
  rtx *op0p;
1227
  rtx *op1p;
1228
 
1229
  if (GET_CODE (x) != PLUS)
1230
    return false;
1231
 
1232
  op0 = XEXP (x, 0);
1233
  op0p = &XEXP (x, 0);
1234
  op1 = XEXP (x, 1);
1235
  op1p = &XEXP (x, 1);
1236
 
1237
  if (!REG_P (op1))
1238
    return false;
1239
 
1240
  if (GET_CODE (op0) == SIGN_EXTEND
1241
      && GET_CODE (XEXP (op0, 0)) == MEM)
1242
    {
1243
      rtx op00 = XEXP (op0, 0);
1244
      rtx op000 = XEXP (op00, 0);
1245
      rtx *op000p = &XEXP (op00, 0);
1246
 
1247
      if ((GET_MODE (op00) == HImode || GET_MODE (op00) == QImode)
1248
          && (REG_P (op000)
1249
              || (GET_CODE (op000) == POST_INC && REG_P (XEXP (op000, 0)))))
1250
        {
1251
          bool something_reloaded = false;
1252
 
1253
          if (GET_CODE (op000) == POST_INC
1254
              && REG_P (XEXP (op000, 0))
1255
              && REGNO (XEXP (op000, 0)) > CRIS_LAST_GENERAL_REGISTER)
1256
            /* No, this gets too complicated and is too rare to care
1257
               about trying to improve on the general code Here.
1258
               As the return-value is an all-or-nothing indicator, we
1259
               punt on the other register too.  */
1260
            return false;
1261
 
1262
          if ((REG_P (op000)
1263
               && REGNO (op000) > CRIS_LAST_GENERAL_REGISTER))
1264
            {
1265
              /* The address of the inner mem is a pseudo or wrong
1266
                 reg: reload that.  */
1267
              push_reload (op000, NULL_RTX, op000p, NULL, GENERAL_REGS,
1268
                           GET_MODE (x), VOIDmode, 0, 0, opnum, type);
1269
              something_reloaded = true;
1270
            }
1271
 
1272
          if (REGNO (op1) > CRIS_LAST_GENERAL_REGISTER)
1273
            {
1274
              /* Base register is a pseudo or wrong reg: reload it.  */
1275
              push_reload (op1, NULL_RTX, op1p, NULL, GENERAL_REGS,
1276
                           GET_MODE (x), VOIDmode, 0, 0,
1277
                           opnum, type);
1278
              something_reloaded = true;
1279
            }
1280
 
1281
          gcc_assert (something_reloaded);
1282
 
1283
          return true;
1284
        }
1285
    }
1286
 
1287
  return false;
1288
}
1289
 
1290
/*  This function looks into the pattern to see how this insn affects
1291
    condition codes.
1292
 
1293
    Used when to eliminate test insns before a condition-code user,
1294
    such as a "scc" insn or a conditional branch.  This includes
1295
    checking if the entities that cc was updated by, are changed by the
1296
    operation.
1297
 
1298
    Currently a jumble of the old peek-inside-the-insn and the newer
1299
    check-cc-attribute methods.  */
1300
 
1301
void
1302
cris_notice_update_cc (rtx exp, rtx insn)
1303
{
1304
  /* Check if user specified "-mcc-init" as a bug-workaround.  FIXME:
1305
     TARGET_CCINIT does not work; we must set CC_REVERSED as below.
1306
     Several testcases will otherwise fail, for example
1307
     gcc.c-torture/execute/20000217-1.c -O0 and -O1.  */
1308
  if (TARGET_CCINIT)
1309
    {
1310
      CC_STATUS_INIT;
1311
      return;
1312
    }
1313
 
1314
  /* Slowly, we're converting to using attributes to control the setting
1315
     of condition-code status.  */
1316
  switch (get_attr_cc (insn))
1317
    {
1318
    case CC_NONE:
1319
      /* Even if it is "none", a setting may clobber a previous
1320
         cc-value, so check.  */
1321
      if (GET_CODE (exp) == SET)
1322
        {
1323
          if (cc_status.value1
1324
              && modified_in_p (cc_status.value1, insn))
1325
            cc_status.value1 = 0;
1326
 
1327
          if (cc_status.value2
1328
              && modified_in_p (cc_status.value2, insn))
1329
            cc_status.value2 = 0;
1330
        }
1331
      return;
1332
 
1333
    case CC_CLOBBER:
1334
      CC_STATUS_INIT;
1335
      break;
1336
 
1337
    case CC_NORMAL:
1338
      /* Which means, for:
1339
         (set (cc0) (...)):
1340
         CC is (...).
1341
 
1342
         (set (reg) (...)):
1343
         CC is (reg) and (...) - unless (...) is 0, then CC does not change.
1344
         CC_NO_OVERFLOW unless (...) is reg or mem.
1345
 
1346
         (set (mem) (...)):
1347
         CC does not change.
1348
 
1349
         (set (pc) (...)):
1350
         CC does not change.
1351
 
1352
         (parallel
1353
          (set (reg1) (mem (bdap/biap)))
1354
          (set (reg2) (bdap/biap))):
1355
         CC is (reg1) and (mem (reg2))
1356
 
1357
         (parallel
1358
          (set (mem (bdap/biap)) (reg1)) [or 0]
1359
          (set (reg2) (bdap/biap))):
1360
         CC does not change.
1361
 
1362
         (where reg and mem includes strict_low_parts variants thereof)
1363
 
1364
         For all others, assume CC is clobbered.
1365
         Note that we do not have to care about setting CC_NO_OVERFLOW,
1366
         since the overflow flag is set to 0 (i.e. right) for
1367
         instructions where it does not have any sane sense, but where
1368
         other flags have meanings.  (This includes shifts; the carry is
1369
         not set by them).
1370
 
1371
         Note that there are other parallel constructs we could match,
1372
         but we don't do that yet.  */
1373
 
1374
      if (GET_CODE (exp) == SET)
1375
        {
1376
          /* FIXME: Check when this happens.  It looks like we should
1377
             actually do a CC_STATUS_INIT here to be safe.  */
1378
          if (SET_DEST (exp) == pc_rtx)
1379
            return;
1380
 
1381
          /* Record CC0 changes, so we do not have to output multiple
1382
             test insns.  */
1383
          if (SET_DEST (exp) == cc0_rtx)
1384
            {
1385
              cc_status.value1 = SET_SRC (exp);
1386
              cc_status.value2 = 0;
1387
 
1388
              /* Handle flags for the special btstq on one bit.  */
1389
              if (GET_CODE (SET_SRC (exp)) == ZERO_EXTRACT
1390
                  && XEXP (SET_SRC (exp), 1) == const1_rtx)
1391
                {
1392
                  if (GET_CODE (XEXP (SET_SRC (exp), 0)) == CONST_INT)
1393
                    /* Using cmpq.  */
1394
                    cc_status.flags = CC_INVERTED;
1395
                  else
1396
                    /* A one-bit btstq.  */
1397
                    cc_status.flags = CC_Z_IN_NOT_N;
1398
                }
1399
              else
1400
                cc_status.flags = 0;
1401
 
1402
              if (GET_CODE (SET_SRC (exp)) == COMPARE)
1403
                {
1404
                  if (!REG_P (XEXP (SET_SRC (exp), 0))
1405
                      && XEXP (SET_SRC (exp), 1) != const0_rtx)
1406
                    /* For some reason gcc will not canonicalize compare
1407
                       operations, reversing the sign by itself if
1408
                       operands are in wrong order.  */
1409
                    /* (But NOT inverted; eq is still eq.) */
1410
                    cc_status.flags = CC_REVERSED;
1411
 
1412
                  /* This seems to be overlooked by gcc.  FIXME: Check again.
1413
                     FIXME:  Is it really safe?  */
1414
                  cc_status.value2
1415
                    = gen_rtx_MINUS (GET_MODE (SET_SRC (exp)),
1416
                                     XEXP (SET_SRC (exp), 0),
1417
                                     XEXP (SET_SRC (exp), 1));
1418
                }
1419
              return;
1420
            }
1421
          else if (REG_P (SET_DEST (exp))
1422
                   || (GET_CODE (SET_DEST (exp)) == STRICT_LOW_PART
1423
                       && REG_P (XEXP (SET_DEST (exp), 0))))
1424
            {
1425
              /* A register is set; normally CC is set to show that no
1426
                 test insn is needed.  Catch the exceptions.  */
1427
 
1428
              /* If not to cc0, then no "set"s in non-natural mode give
1429
                 ok cc0...  */
1430
              if (GET_MODE_SIZE (GET_MODE (SET_DEST (exp))) > UNITS_PER_WORD
1431
                  || GET_MODE_CLASS (GET_MODE (SET_DEST (exp))) == MODE_FLOAT)
1432
                {
1433
                  /* ... except add:s and sub:s in DImode.  */
1434
                  if (GET_MODE (SET_DEST (exp)) == DImode
1435
                      && (GET_CODE (SET_SRC (exp)) == PLUS
1436
                          || GET_CODE (SET_SRC (exp)) == MINUS))
1437
                    {
1438
                      cc_status.flags = 0;
1439
                      cc_status.value1 = SET_DEST (exp);
1440
                      cc_status.value2 = SET_SRC (exp);
1441
 
1442
                      if (cris_reg_overlap_mentioned_p (cc_status.value1,
1443
                                                        cc_status.value2))
1444
                        cc_status.value2 = 0;
1445
 
1446
                      /* Add and sub may set V, which gets us
1447
                         unoptimizable results in "gt" and "le" condition
1448
                         codes.  */
1449
                      cc_status.flags |= CC_NO_OVERFLOW;
1450
 
1451
                      return;
1452
                    }
1453
                }
1454
              else if (SET_SRC (exp) == const0_rtx)
1455
                {
1456
                  /* There's no CC0 change when clearing a register or
1457
                     memory.  Just check for overlap.  */
1458
                  if (cc_status.value1
1459
                      && modified_in_p (cc_status.value1, insn))
1460
                    cc_status.value1 = 0;
1461
 
1462
                  if (cc_status.value2
1463
                      && modified_in_p (cc_status.value2, insn))
1464
                    cc_status.value2 = 0;
1465
 
1466
                  return;
1467
                }
1468
              else
1469
                {
1470
                  cc_status.flags = 0;
1471
                  cc_status.value1 = SET_DEST (exp);
1472
                  cc_status.value2 = SET_SRC (exp);
1473
 
1474
                  if (cris_reg_overlap_mentioned_p (cc_status.value1,
1475
                                                    cc_status.value2))
1476
                    cc_status.value2 = 0;
1477
 
1478
                  /* Some operations may set V, which gets us
1479
                     unoptimizable results in "gt" and "le" condition
1480
                     codes.  */
1481
                  if (GET_CODE (SET_SRC (exp)) == PLUS
1482
                      || GET_CODE (SET_SRC (exp)) == MINUS
1483
                      || GET_CODE (SET_SRC (exp)) == NEG)
1484
                    cc_status.flags |= CC_NO_OVERFLOW;
1485
 
1486
                  return;
1487
                }
1488
            }
1489
          else if (GET_CODE (SET_DEST (exp)) == MEM
1490
                   || (GET_CODE (SET_DEST (exp)) == STRICT_LOW_PART
1491
                       && GET_CODE (XEXP (SET_DEST (exp), 0)) == MEM))
1492
            {
1493
              /* When SET to MEM, then CC is not changed (except for
1494
                 overlap).  */
1495
              if (cc_status.value1
1496
                  && modified_in_p (cc_status.value1, insn))
1497
                cc_status.value1 = 0;
1498
 
1499
              if (cc_status.value2
1500
                  && modified_in_p (cc_status.value2, insn))
1501
                cc_status.value2 = 0;
1502
 
1503
              return;
1504
            }
1505
        }
1506
      else if (GET_CODE (exp) == PARALLEL)
1507
        {
1508
          if (GET_CODE (XVECEXP (exp, 0, 0)) == SET
1509
              && GET_CODE (XVECEXP (exp, 0, 1)) == SET
1510
              && REG_P (XEXP (XVECEXP (exp, 0, 1), 0)))
1511
            {
1512
              if (REG_P (XEXP (XVECEXP (exp, 0, 0), 0))
1513
                  && GET_CODE (XEXP (XVECEXP (exp, 0, 0), 1)) == MEM)
1514
                {
1515
                  /* For "move.S [rx=ry+o],rz", say CC reflects
1516
                     value1=rz and value2=[rx] */
1517
                  cc_status.value1 = XEXP (XVECEXP (exp, 0, 0), 0);
1518
                  cc_status.value2
1519
                    = replace_equiv_address (XEXP (XVECEXP (exp, 0, 0), 1),
1520
                                             XEXP (XVECEXP (exp, 0, 1), 0));
1521
                  cc_status.flags = 0;
1522
 
1523
                  /* Huh?  A side-effect cannot change the destination
1524
                     register.  */
1525
                  if (cris_reg_overlap_mentioned_p (cc_status.value1,
1526
                                                    cc_status.value2))
1527
                    internal_error ("internal error: sideeffect-insn affecting main effect");
1528
                  return;
1529
                }
1530
              else if ((REG_P (XEXP (XVECEXP (exp, 0, 0), 1))
1531
                        || XEXP (XVECEXP (exp, 0, 0), 1) == const0_rtx)
1532
                       && GET_CODE (XEXP (XVECEXP (exp, 0, 0), 0)) == MEM)
1533
                {
1534
                  /* For "move.S rz,[rx=ry+o]" and "clear.S [rx=ry+o]",
1535
                     say flags are not changed, except for overlap.  */
1536
                  if (cc_status.value1
1537
                      && modified_in_p (cc_status.value1, insn))
1538
                    cc_status.value1 = 0;
1539
 
1540
                  if (cc_status.value2
1541
                      && modified_in_p (cc_status.value2, insn))
1542
                    cc_status.value2 = 0;
1543
 
1544
                  return;
1545
                }
1546
            }
1547
        }
1548
      break;
1549
 
1550
    default:
1551
      internal_error ("unknown cc_attr value");
1552
    }
1553
 
1554
  CC_STATUS_INIT;
1555
}
1556
 
1557
/* Return != 0 if the return sequence for the current function is short,
1558
   like "ret" or "jump [sp+]".  Prior to reloading, we can't tell if
1559
   registers must be saved, so return 0 then.  */
1560
 
1561
bool
1562
cris_simple_epilogue (void)
1563
{
1564
  unsigned int regno;
1565
  unsigned int reglimit = STACK_POINTER_REGNUM;
1566
  bool got_really_used = false;
1567
 
1568
  if (! reload_completed
1569
      || frame_pointer_needed
1570
      || get_frame_size () != 0
1571
      || current_function_pretend_args_size
1572
      || current_function_args_size
1573
      || current_function_outgoing_args_size
1574
      || current_function_calls_eh_return
1575
 
1576
      /* If we're not supposed to emit prologue and epilogue, we must
1577
         not emit return-type instructions.  */
1578
      || !TARGET_PROLOGUE_EPILOGUE)
1579
    return false;
1580
 
1581
  if (current_function_uses_pic_offset_table)
1582
    {
1583
      push_topmost_sequence ();
1584
      got_really_used
1585
        = reg_used_between_p (pic_offset_table_rtx, get_insns (), NULL_RTX);
1586
      pop_topmost_sequence ();
1587
    }
1588
 
1589
  /* No simple epilogue if there are saved registers.  */
1590
  for (regno = 0; regno < reglimit; regno++)
1591
    if (cris_reg_saved_in_regsave_area (regno, got_really_used))
1592
      return false;
1593
 
1594
  return true;
1595
}
1596
 
1597
/* Expand a return insn (just one insn) marked as using SRP or stack
1598
   slot depending on parameter ON_STACK.  */
1599
 
1600
void
1601
cris_expand_return (bool on_stack)
1602
{
1603
  /* FIXME: emit a parallel with a USE for SRP or the stack-slot, to
1604
     tell "ret" from "jump [sp+]".  Some, but not all, other parts of
1605
     GCC expect just (return) to do the right thing when optimizing, so
1606
     we do that until they're fixed.  Currently, all return insns in a
1607
     function must be the same (not really a limiting factor) so we need
1608
     to check that it doesn't change half-way through.  */
1609
  emit_jump_insn (gen_rtx_RETURN (VOIDmode));
1610
 
1611
  CRIS_ASSERT (cfun->machine->return_type != CRIS_RETINSN_RET || !on_stack);
1612
  CRIS_ASSERT (cfun->machine->return_type != CRIS_RETINSN_JUMP || on_stack);
1613
 
1614
  cfun->machine->return_type
1615
    = on_stack ? CRIS_RETINSN_JUMP : CRIS_RETINSN_RET;
1616
}
1617
 
1618
/* Compute a (partial) cost for rtx X.  Return true if the complete
1619
   cost has been computed, and false if subexpressions should be
1620
   scanned.  In either case, *TOTAL contains the cost result.  */
1621
 
1622
static bool
1623
cris_rtx_costs (rtx x, int code, int outer_code, int *total)
1624
{
1625
  switch (code)
1626
    {
1627
    case CONST_INT:
1628
      {
1629
        HOST_WIDE_INT val = INTVAL (x);
1630
        if (val == 0)
1631
          *total = 0;
1632
        else if (val < 32 && val >= -32)
1633
          *total = 1;
1634
        /* Eight or 16 bits are a word and cycle more expensive.  */
1635
        else if (val <= 32767 && val >= -32768)
1636
          *total = 2;
1637
        /* A 32 bit constant (or very seldom, unsigned 16 bits) costs
1638
           another word.  FIXME: This isn't linear to 16 bits.  */
1639
        else
1640
          *total = 4;
1641
        return true;
1642
      }
1643
 
1644
    case LABEL_REF:
1645
      *total = 6;
1646
      return true;
1647
 
1648
    case CONST:
1649
    case SYMBOL_REF:
1650
      *total = 6;
1651
      return true;
1652
 
1653
    case CONST_DOUBLE:
1654
      if (x != CONST0_RTX (GET_MODE (x) == VOIDmode ? DImode : GET_MODE (x)))
1655
        *total = 12;
1656
      else
1657
        /* Make 0.0 cheap, else test-insns will not be used.  */
1658
        *total = 0;
1659
      return true;
1660
 
1661
    case MULT:
1662
      /* Identify values that are no powers of two.  Powers of 2 are
1663
         taken care of already and those values should not be changed.  */
1664
      if (GET_CODE (XEXP (x, 1)) != CONST_INT
1665
          || exact_log2 (INTVAL (XEXP (x, 1)) < 0))
1666
        {
1667
          /* If we have a multiply insn, then the cost is between
1668
             1 and 2 "fast" instructions.  */
1669
          if (TARGET_HAS_MUL_INSNS)
1670
            {
1671
              *total = COSTS_N_INSNS (1) + COSTS_N_INSNS (1) / 2;
1672
              return true;
1673
            }
1674
 
1675
          /* Estimate as 4 + 4 * #ofbits.  */
1676
          *total = COSTS_N_INSNS (132);
1677
          return true;
1678
        }
1679
      return false;
1680
 
1681
    case UDIV:
1682
    case MOD:
1683
    case UMOD:
1684
    case DIV:
1685
      if (GET_CODE (XEXP (x, 1)) != CONST_INT
1686
          || exact_log2 (INTVAL (XEXP (x, 1)) < 0))
1687
        {
1688
          /* Estimate this as 4 + 8 * #of bits.  */
1689
          *total = COSTS_N_INSNS (260);
1690
          return true;
1691
        }
1692
      return false;
1693
 
1694
    case AND:
1695
      if (GET_CODE (XEXP (x, 1)) == CONST_INT
1696
          /* Two constants may actually happen before optimization.  */
1697
          && GET_CODE (XEXP (x, 0)) != CONST_INT
1698
          && !CONST_OK_FOR_LETTER_P (INTVAL (XEXP (x, 1)), 'I'))
1699
        {
1700
          *total = (rtx_cost (XEXP (x, 0), outer_code) + 2
1701
                    + 2 * GET_MODE_NUNITS (GET_MODE (XEXP (x, 0))));
1702
          return true;
1703
        }
1704
      return false;
1705
 
1706
    case ZERO_EXTEND: case SIGN_EXTEND:
1707
      *total = rtx_cost (XEXP (x, 0), outer_code);
1708
      return true;
1709
 
1710
    default:
1711
      return false;
1712
    }
1713
}
1714
 
1715
/* The ADDRESS_COST worker.  */
1716
 
1717
static int
1718
cris_address_cost (rtx x)
1719
{
1720
  /* The metric to use for the cost-macros is unclear.
1721
     The metric used here is (the number of cycles needed) / 2,
1722
     where we consider equal a cycle for a word of code and a cycle to
1723
     read memory.  */
1724
 
1725
  /* The cheapest addressing modes get 0, since nothing extra is needed.  */
1726
  if (BASE_OR_AUTOINCR_P (x))
1727
    return 0;
1728
 
1729
  /* An indirect mem must be a DIP.  This means two bytes extra for code,
1730
     and 4 bytes extra for memory read, i.e.  (2 + 4) / 2.  */
1731
  if (GET_CODE (x) == MEM)
1732
    return (2 + 4) / 2;
1733
 
1734
  /* Assume (2 + 4) / 2 for a single constant; a dword, since it needs
1735
     an extra DIP prefix and 4 bytes of constant in most cases.  */
1736
  if (CONSTANT_P (x))
1737
    return (2 + 4) / 2;
1738
 
1739
  /* Handle BIAP and BDAP prefixes.  */
1740
  if (GET_CODE (x) == PLUS)
1741
    {
1742
      rtx tem1 = XEXP (x, 0);
1743
      rtx tem2 = XEXP (x, 1);
1744
 
1745
    /* A BIAP is 2 extra bytes for the prefix insn, nothing more.  We
1746
       recognize the typical MULT which is always in tem1 because of
1747
       insn canonicalization.  */
1748
    if ((GET_CODE (tem1) == MULT && BIAP_INDEX_P (tem1))
1749
        || REG_P (tem1))
1750
      return 2 / 2;
1751
 
1752
    /* A BDAP (quick) is 2 extra bytes.  Any constant operand to the
1753
       PLUS is always found in tem2.  */
1754
    if (GET_CODE (tem2) == CONST_INT
1755
        && INTVAL (tem2) < 128 && INTVAL (tem2) >= -128)
1756
      return 2 / 2;
1757
 
1758
    /* A BDAP -32768 .. 32767 is like BDAP quick, but with 2 extra
1759
       bytes.  */
1760
    if (GET_CODE (tem2) == CONST_INT
1761
        && CONST_OK_FOR_LETTER_P (INTVAL (tem2), 'L'))
1762
      return (2 + 2) / 2;
1763
 
1764
    /* A BDAP with some other constant is 2 bytes extra.  */
1765
    if (CONSTANT_P (tem2))
1766
      return (2 + 2 + 2) / 2;
1767
 
1768
    /* BDAP with something indirect should have a higher cost than
1769
       BIAP with register.   FIXME: Should it cost like a MEM or more?  */
1770
    /* Don't need to check it, it's the only one left.
1771
       FIXME:  There was a REG test missing, perhaps there are others.
1772
       Think more.  */
1773
    return (2 + 2 + 2) / 2;
1774
  }
1775
 
1776
  /* What else?  Return a high cost.  It matters only for valid
1777
     addressing modes.  */
1778
  return 10;
1779
}
1780
 
1781
/* Check various objections to the side-effect.  Used in the test-part
1782
   of an anonymous insn describing an insn with a possible side-effect.
1783
   Returns nonzero if the implied side-effect is ok.
1784
 
1785
   code     : PLUS or MULT
1786
   ops      : An array of rtx:es. lreg, rreg, rval,
1787
              The variables multop and other_op are indexes into this,
1788
              or -1 if they are not applicable.
1789
   lreg     : The register that gets assigned in the side-effect.
1790
   rreg     : One register in the side-effect expression
1791
   rval     : The other register, or an int.
1792
   multop   : An integer to multiply rval with.
1793
   other_op : One of the entities of the main effect,
1794
              whose mode we must consider.  */
1795
 
1796
int
1797
cris_side_effect_mode_ok (enum rtx_code code, rtx *ops,
1798
                          int lreg, int rreg, int rval,
1799
                          int multop, int other_op)
1800
{
1801
  /* Find what value to multiply with, for rx =ry + rz * n.  */
1802
  int mult = multop < 0 ? 1 : INTVAL (ops[multop]);
1803
 
1804
  rtx reg_rtx = ops[rreg];
1805
  rtx val_rtx = ops[rval];
1806
 
1807
  /* The operands may be swapped.  Canonicalize them in reg_rtx and
1808
     val_rtx, where reg_rtx always is a reg (for this constraint to
1809
     match).  */
1810
  if (! BASE_P (reg_rtx))
1811
    reg_rtx = val_rtx, val_rtx = ops[rreg];
1812
 
1813
  /* Don't forget to check that reg_rtx really is a reg.  If it isn't,
1814
     we have no business.  */
1815
  if (! BASE_P (reg_rtx))
1816
    return 0;
1817
 
1818
  /* Don't do this when -mno-split.  */
1819
  if (!TARGET_SIDE_EFFECT_PREFIXES)
1820
    return 0;
1821
 
1822
  /* The mult expression may be hidden in lreg.  FIXME:  Add more
1823
     commentary about that.  */
1824
  if (GET_CODE (val_rtx) == MULT)
1825
    {
1826
      mult = INTVAL (XEXP (val_rtx, 1));
1827
      val_rtx = XEXP (val_rtx, 0);
1828
      code = MULT;
1829
    }
1830
 
1831
  /* First check the "other operand".  */
1832
  if (other_op >= 0)
1833
    {
1834
      if (GET_MODE_SIZE (GET_MODE (ops[other_op])) > UNITS_PER_WORD)
1835
        return 0;
1836
 
1837
      /* Check if the lvalue register is the same as the "other
1838
         operand".  If so, the result is undefined and we shouldn't do
1839
         this.  FIXME:  Check again.  */
1840
      if ((BASE_P (ops[lreg])
1841
           && BASE_P (ops[other_op])
1842
           && REGNO (ops[lreg]) == REGNO (ops[other_op]))
1843
          || rtx_equal_p (ops[other_op], ops[lreg]))
1844
      return 0;
1845
    }
1846
 
1847
  /* Do not accept frame_pointer_rtx as any operand.  */
1848
  if (ops[lreg] == frame_pointer_rtx || ops[rreg] == frame_pointer_rtx
1849
      || ops[rval] == frame_pointer_rtx
1850
      || (other_op >= 0 && ops[other_op] == frame_pointer_rtx))
1851
    return 0;
1852
 
1853
  if (code == PLUS
1854
      && ! BASE_P (val_rtx))
1855
    {
1856
 
1857
      /* Do not allow rx = rx + n if a normal add or sub with same size
1858
         would do.  */
1859
      if (rtx_equal_p (ops[lreg], reg_rtx)
1860
          && GET_CODE (val_rtx) == CONST_INT
1861
          && (INTVAL (val_rtx) <= 63 && INTVAL (val_rtx) >= -63))
1862
        return 0;
1863
 
1864
      /* Check allowed cases, like [r(+)?].[bwd] and const.  */
1865
      if (CONSTANT_P (val_rtx))
1866
        return 1;
1867
 
1868
      if (GET_CODE (val_rtx) == MEM
1869
          && BASE_OR_AUTOINCR_P (XEXP (val_rtx, 0)))
1870
        return 1;
1871
 
1872
      if (GET_CODE (val_rtx) == SIGN_EXTEND
1873
          && GET_CODE (XEXP (val_rtx, 0)) == MEM
1874
          && BASE_OR_AUTOINCR_P (XEXP (XEXP (val_rtx, 0), 0)))
1875
        return 1;
1876
 
1877
      /* If we got here, it's not a valid addressing mode.  */
1878
      return 0;
1879
    }
1880
  else if (code == MULT
1881
           || (code == PLUS && BASE_P (val_rtx)))
1882
    {
1883
      /* Do not allow rx = rx + ry.S, since it doesn't give better code.  */
1884
      if (rtx_equal_p (ops[lreg], reg_rtx)
1885
          || (mult == 1 && rtx_equal_p (ops[lreg], val_rtx)))
1886
        return 0;
1887
 
1888
      /* Do not allow bad multiply-values.  */
1889
      if (mult != 1 && mult != 2 && mult != 4)
1890
        return 0;
1891
 
1892
      /* Only allow  r + ...  */
1893
      if (! BASE_P (reg_rtx))
1894
        return 0;
1895
 
1896
      /* If we got here, all seems ok.
1897
         (All checks need to be done above).  */
1898
      return 1;
1899
    }
1900
 
1901
  /* If we get here, the caller got its initial tests wrong.  */
1902
  internal_error ("internal error: cris_side_effect_mode_ok with bad operands");
1903
}
1904
 
1905
/* The function reg_overlap_mentioned_p in CVS (still as of 2001-05-16)
1906
   does not handle the case where the IN operand is strict_low_part; it
1907
   does handle it for X.  Test-case in Axis-20010516.  This function takes
1908
   care of that for THIS port.  FIXME: strict_low_part is going away
1909
   anyway.  */
1910
 
1911
static int
1912
cris_reg_overlap_mentioned_p (rtx x, rtx in)
1913
{
1914
  /* The function reg_overlap_mentioned now handles when X is
1915
     strict_low_part, but not when IN is a STRICT_LOW_PART.  */
1916
  if (GET_CODE (in) == STRICT_LOW_PART)
1917
    in = XEXP (in, 0);
1918
 
1919
  return reg_overlap_mentioned_p (x, in);
1920
}
1921
 
1922
/* The TARGET_ASM_NAMED_SECTION worker.
1923
   We just dispatch to the functions for ELF and a.out.  */
1924
 
1925
void
1926
cris_target_asm_named_section (const char *name, unsigned int flags,
1927
                               tree decl)
1928
{
1929
  if (! TARGET_ELF)
1930
    default_no_named_section (name, flags, decl);
1931
  else
1932
    default_elf_asm_named_section (name, flags, decl);
1933
}
1934
 
1935
/* Return TRUE iff X is a CONST valid for e.g. indexing.  */
1936
 
1937
bool
1938
cris_valid_pic_const (rtx x)
1939
{
1940
  gcc_assert (flag_pic);
1941
 
1942
  switch (GET_CODE (x))
1943
    {
1944
    case CONST_INT:
1945
    case CONST_DOUBLE:
1946
      return true;
1947
    default:
1948
      ;
1949
    }
1950
 
1951
  if (GET_CODE (x) != CONST)
1952
    return false;
1953
 
1954
  x = XEXP (x, 0);
1955
 
1956
  /* Handle (const (plus (unspec .. UNSPEC_GOTREL) (const_int ...))).  */
1957
  if (GET_CODE (x) == PLUS
1958
      && GET_CODE (XEXP (x, 0)) == UNSPEC
1959
      && XINT (XEXP (x, 0), 1) == CRIS_UNSPEC_GOTREL
1960
      && GET_CODE (XEXP (x, 1)) == CONST_INT)
1961
    x = XEXP (x, 0);
1962
 
1963
  if (GET_CODE (x) == UNSPEC)
1964
    switch (XINT (x, 1))
1965
      {
1966
      case CRIS_UNSPEC_PLT:
1967
      case CRIS_UNSPEC_PLTGOTREAD:
1968
      case CRIS_UNSPEC_GOTREAD:
1969
      case CRIS_UNSPEC_GOTREL:
1970
        return true;
1971
      default:
1972
        gcc_unreachable ();
1973
      }
1974
 
1975
  return cris_pic_symbol_type_of (x) == cris_no_symbol;
1976
}
1977
 
1978
/* Helper function to find the right PIC-type symbol to generate,
1979
   given the original (non-PIC) representation.  */
1980
 
1981
enum cris_pic_symbol_type
1982
cris_pic_symbol_type_of (rtx x)
1983
{
1984
  switch (GET_CODE (x))
1985
    {
1986
    case SYMBOL_REF:
1987
      return SYMBOL_REF_LOCAL_P (x)
1988
        ? cris_gotrel_symbol : cris_got_symbol;
1989
 
1990
    case LABEL_REF:
1991
      return cris_gotrel_symbol;
1992
 
1993
    case CONST:
1994
      return cris_pic_symbol_type_of (XEXP (x, 0));
1995
 
1996
    case PLUS:
1997
    case MINUS:
1998
      {
1999
        enum cris_pic_symbol_type t1 = cris_pic_symbol_type_of (XEXP (x, 0));
2000
        enum cris_pic_symbol_type t2 = cris_pic_symbol_type_of (XEXP (x, 1));
2001
 
2002
        gcc_assert (t1 == cris_no_symbol || t2 == cris_no_symbol);
2003
 
2004
        if (t1 == cris_got_symbol || t1 == cris_got_symbol)
2005
          return cris_got_symbol_needing_fixup;
2006
 
2007
        return t1 != cris_no_symbol ? t1 : t2;
2008
      }
2009
 
2010
    case CONST_INT:
2011
    case CONST_DOUBLE:
2012
      return cris_no_symbol;
2013
 
2014
    case UNSPEC:
2015
      /* Likely an offsettability-test attempting to add a constant to
2016
         a GOTREAD symbol, which can't be handled.  */
2017
      return cris_invalid_pic_symbol;
2018
 
2019
    default:
2020
      fatal_insn ("unrecognized supposed constant", x);
2021
    }
2022
 
2023
  gcc_unreachable ();
2024
}
2025
 
2026
/* The LEGITIMATE_PIC_OPERAND_P worker.  */
2027
 
2028
int
2029
cris_legitimate_pic_operand (rtx x)
2030
{
2031
  /* Symbols are not valid PIC operands as-is; just constants.  */
2032
  return cris_valid_pic_const (x);
2033
}
2034
 
2035
/* TARGET_HANDLE_OPTION worker.  We just store the values into local
2036
   variables here.  Checks for correct semantics are in
2037
   cris_override_options.  */
2038
 
2039
static bool
2040
cris_handle_option (size_t code, const char *arg ATTRIBUTE_UNUSED,
2041
                    int value ATTRIBUTE_UNUSED)
2042
{
2043
  switch (code)
2044
    {
2045
    case OPT_metrax100:
2046
      target_flags
2047
        |= (MASK_SVINTO
2048
            + MASK_ETRAX4_ADD
2049
            + MASK_ALIGN_BY_32);
2050
      break;
2051
 
2052
    case OPT_mno_etrax100:
2053
      target_flags
2054
        &= ~(MASK_SVINTO
2055
             + MASK_ETRAX4_ADD
2056
             + MASK_ALIGN_BY_32);
2057
      break;
2058
 
2059
    case OPT_m32_bit:
2060
    case OPT_m32bit:
2061
      target_flags
2062
        |= (MASK_STACK_ALIGN
2063
            + MASK_CONST_ALIGN
2064
            + MASK_DATA_ALIGN
2065
            + MASK_ALIGN_BY_32);
2066
      break;
2067
 
2068
    case OPT_m16_bit:
2069
    case OPT_m16bit:
2070
      target_flags
2071
        |= (MASK_STACK_ALIGN
2072
            + MASK_CONST_ALIGN
2073
            + MASK_DATA_ALIGN);
2074
      break;
2075
 
2076
    case OPT_m8_bit:
2077
    case OPT_m8bit:
2078
      target_flags
2079
        &= ~(MASK_STACK_ALIGN
2080
             + MASK_CONST_ALIGN
2081
             + MASK_DATA_ALIGN);
2082
      break;
2083
 
2084
    default:
2085
      break;
2086
    }
2087
 
2088
  CRIS_SUBTARGET_HANDLE_OPTION(code, arg, value);
2089
 
2090
  return true;
2091
}
2092
 
2093
/* The OVERRIDE_OPTIONS worker.
2094
   As is the norm, this also parses -mfoo=bar type parameters.  */
2095
 
2096
void
2097
cris_override_options (void)
2098
{
2099
  if (cris_max_stackframe_str)
2100
    {
2101
      cris_max_stackframe = atoi (cris_max_stackframe_str);
2102
 
2103
      /* Do some sanity checking.  */
2104
      if (cris_max_stackframe < 0 || cris_max_stackframe > 0x20000000)
2105
        internal_error ("-max-stackframe=%d is not usable, not between 0 and %d",
2106
                        cris_max_stackframe, 0x20000000);
2107
    }
2108
 
2109
  /* Let "-metrax4" and "-metrax100" change the cpu version.  */
2110
  if (TARGET_SVINTO && cris_cpu_version < CRIS_CPU_SVINTO)
2111
    cris_cpu_version = CRIS_CPU_SVINTO;
2112
  else if (TARGET_ETRAX4_ADD && cris_cpu_version < CRIS_CPU_ETRAX4)
2113
    cris_cpu_version = CRIS_CPU_ETRAX4;
2114
 
2115
  /* Parse -march=... and its synonym, the deprecated -mcpu=...  */
2116
  if (cris_cpu_str)
2117
    {
2118
      cris_cpu_version
2119
        = (*cris_cpu_str == 'v' ? atoi (cris_cpu_str + 1) : -1);
2120
 
2121
      if (strcmp ("etrax4", cris_cpu_str) == 0)
2122
        cris_cpu_version = 3;
2123
 
2124
      if (strcmp ("svinto", cris_cpu_str) == 0
2125
          || strcmp ("etrax100", cris_cpu_str) == 0)
2126
        cris_cpu_version = 8;
2127
 
2128
      if (strcmp ("ng", cris_cpu_str) == 0
2129
          || strcmp ("etrax100lx", cris_cpu_str) == 0)
2130
        cris_cpu_version = 10;
2131
 
2132
      if (cris_cpu_version < 0 || cris_cpu_version > 10)
2133
        error ("unknown CRIS version specification in -march= or -mcpu= : %s",
2134
               cris_cpu_str);
2135
 
2136
      /* Set the target flags.  */
2137
      if (cris_cpu_version >= CRIS_CPU_ETRAX4)
2138
        target_flags |= MASK_ETRAX4_ADD;
2139
 
2140
      /* If this is Svinto or higher, align for 32 bit accesses.  */
2141
      if (cris_cpu_version >= CRIS_CPU_SVINTO)
2142
        target_flags
2143
          |= (MASK_SVINTO | MASK_ALIGN_BY_32
2144
              | MASK_STACK_ALIGN | MASK_CONST_ALIGN
2145
              | MASK_DATA_ALIGN);
2146
 
2147
      /* Note that we do not add new flags when it can be completely
2148
         described with a macro that uses -mcpu=X.  So
2149
         TARGET_HAS_MUL_INSNS is (cris_cpu_version >= CRIS_CPU_NG).  */
2150
    }
2151
 
2152
  if (cris_tune_str)
2153
    {
2154
      int cris_tune
2155
        = (*cris_tune_str == 'v' ? atoi (cris_tune_str + 1) : -1);
2156
 
2157
      if (strcmp ("etrax4", cris_tune_str) == 0)
2158
        cris_tune = 3;
2159
 
2160
      if (strcmp ("svinto", cris_tune_str) == 0
2161
          || strcmp ("etrax100", cris_tune_str) == 0)
2162
        cris_tune = 8;
2163
 
2164
      if (strcmp ("ng", cris_tune_str) == 0
2165
          || strcmp ("etrax100lx", cris_tune_str) == 0)
2166
        cris_tune = 10;
2167
 
2168
      if (cris_tune < 0 || cris_tune > 10)
2169
        error ("unknown CRIS cpu version specification in -mtune= : %s",
2170
               cris_tune_str);
2171
 
2172
      if (cris_tune >= CRIS_CPU_SVINTO)
2173
        /* We have currently nothing more to tune than alignment for
2174
           memory accesses.  */
2175
        target_flags
2176
          |= (MASK_STACK_ALIGN | MASK_CONST_ALIGN
2177
              | MASK_DATA_ALIGN | MASK_ALIGN_BY_32);
2178
    }
2179
 
2180
  if (flag_pic)
2181
    {
2182
      /* Use error rather than warning, so invalid use is easily
2183
         detectable.  Still change to the values we expect, to avoid
2184
         further errors.  */
2185
      if (! TARGET_LINUX)
2186
        {
2187
          error ("-fPIC and -fpic are not supported in this configuration");
2188
          flag_pic = 0;
2189
        }
2190
 
2191
      /* Turn off function CSE.  We need to have the addresses reach the
2192
         call expanders to get PLT-marked, as they could otherwise be
2193
         compared against zero directly or indirectly.  After visiting the
2194
         call expanders they will then be cse:ed, as the call expanders
2195
         force_reg the addresses, effectively forcing flag_no_function_cse
2196
         to 0.  */
2197
      flag_no_function_cse = 1;
2198
    }
2199
 
2200
  if (write_symbols == DWARF2_DEBUG && ! TARGET_ELF)
2201
    {
2202
      warning (0, "that particular -g option is invalid with -maout and -melinux");
2203
      write_symbols = DBX_DEBUG;
2204
    }
2205
 
2206
  /* Set the per-function-data initializer.  */
2207
  init_machine_status = cris_init_machine_status;
2208
}
2209
 
2210
/* The TARGET_ASM_OUTPUT_MI_THUNK worker.  */
2211
 
2212
static void
2213
cris_asm_output_mi_thunk (FILE *stream,
2214
                          tree thunkdecl ATTRIBUTE_UNUSED,
2215
                          HOST_WIDE_INT delta,
2216
                          HOST_WIDE_INT vcall_offset ATTRIBUTE_UNUSED,
2217
                          tree funcdecl)
2218
{
2219
  if (delta > 0)
2220
    fprintf (stream, "\tadd%s " HOST_WIDE_INT_PRINT_DEC ",$%s\n",
2221
             ADDITIVE_SIZE_MODIFIER (delta), delta,
2222
             reg_names[CRIS_FIRST_ARG_REG]);
2223
  else if (delta < 0)
2224
    fprintf (stream, "\tsub%s " HOST_WIDE_INT_PRINT_DEC ",$%s\n",
2225
             ADDITIVE_SIZE_MODIFIER (-delta), -delta,
2226
             reg_names[CRIS_FIRST_ARG_REG]);
2227
 
2228
  if (flag_pic)
2229
    {
2230
      const char *name = XSTR (XEXP (DECL_RTL (funcdecl), 0), 0);
2231
 
2232
      name = (* targetm.strip_name_encoding) (name);
2233
      fprintf (stream, "add.d ");
2234
      assemble_name (stream, name);
2235
      fprintf (stream, "%s,$pc\n", CRIS_PLT_PCOFFSET_SUFFIX);
2236
    }
2237
  else
2238
    {
2239
      fprintf (stream, "jump ");
2240
      assemble_name (stream, XSTR (XEXP (DECL_RTL (funcdecl), 0), 0));
2241
      fprintf (stream, "\n");
2242
    }
2243
}
2244
 
2245
/* Boilerplate emitted at start of file.
2246
 
2247
   NO_APP *only at file start* means faster assembly.  It also means
2248
   comments are not allowed.  In some cases comments will be output
2249
   for debugging purposes.  Make sure they are allowed then.
2250
 
2251
   We want a .file directive only if TARGET_ELF.  */
2252
static void
2253
cris_file_start (void)
2254
{
2255
  /* These expressions can vary at run time, so we cannot put
2256
     them into TARGET_INITIALIZER.  */
2257
  targetm.file_start_app_off = !(TARGET_PDEBUG || flag_print_asm_name);
2258
  targetm.file_start_file_directive = TARGET_ELF;
2259
 
2260
  default_file_start ();
2261
}
2262
 
2263
/* Rename the function calls for integer multiply and divide.  */
2264
static void
2265
cris_init_libfuncs (void)
2266
{
2267
  set_optab_libfunc (smul_optab, SImode, "__Mul");
2268
  set_optab_libfunc (sdiv_optab, SImode, "__Div");
2269
  set_optab_libfunc (udiv_optab, SImode, "__Udiv");
2270
  set_optab_libfunc (smod_optab, SImode, "__Mod");
2271
  set_optab_libfunc (umod_optab, SImode, "__Umod");
2272
}
2273
 
2274
/* The INIT_EXPANDERS worker sets the per-function-data initializer and
2275
   mark functions.  */
2276
 
2277
void
2278
cris_init_expanders (void)
2279
{
2280
  /* Nothing here at the moment.  */
2281
}
2282
 
2283
/* Zero initialization is OK for all current fields.  */
2284
 
2285
static struct machine_function *
2286
cris_init_machine_status (void)
2287
{
2288
  return ggc_alloc_cleared (sizeof (struct machine_function));
2289
}
2290
 
2291
/* Split a 2 word move (DI or presumably DF) into component parts.
2292
   Originally a copy of gen_split_move_double in m32r.c.  */
2293
 
2294
rtx
2295
cris_split_movdx (rtx *operands)
2296
{
2297
  enum machine_mode mode = GET_MODE (operands[0]);
2298
  rtx dest = operands[0];
2299
  rtx src  = operands[1];
2300
  rtx val;
2301
 
2302
  /* We used to have to handle (SUBREG (MEM)) here, but that should no
2303
     longer happen; after reload there are no SUBREGs any more, and we're
2304
     only called after reload.  */
2305
  CRIS_ASSERT (GET_CODE (dest) != SUBREG && GET_CODE (src) != SUBREG);
2306
 
2307
  start_sequence ();
2308
  if (GET_CODE (dest) == REG)
2309
    {
2310
      int dregno = REGNO (dest);
2311
 
2312
      /* Reg-to-reg copy.  */
2313
      if (GET_CODE (src) == REG)
2314
        {
2315
          int sregno = REGNO (src);
2316
 
2317
          int reverse = (dregno == sregno + 1);
2318
 
2319
          /* We normally copy the low-numbered register first.  However, if
2320
             the first register operand 0 is the same as the second register of
2321
             operand 1, we must copy in the opposite order.  */
2322
          emit_insn (gen_rtx_SET (VOIDmode,
2323
                                  operand_subword (dest, reverse, TRUE, mode),
2324
                                  operand_subword (src, reverse, TRUE, mode)));
2325
 
2326
          emit_insn (gen_rtx_SET (VOIDmode,
2327
                                  operand_subword (dest, !reverse, TRUE, mode),
2328
                                  operand_subword (src, !reverse, TRUE, mode)));
2329
        }
2330
      /* Constant-to-reg copy.  */
2331
      else if (GET_CODE (src) == CONST_INT || GET_CODE (src) == CONST_DOUBLE)
2332
        {
2333
          rtx words[2];
2334
          split_double (src, &words[0], &words[1]);
2335
          emit_insn (gen_rtx_SET (VOIDmode,
2336
                                  operand_subword (dest, 0, TRUE, mode),
2337
                                  words[0]));
2338
 
2339
          emit_insn (gen_rtx_SET (VOIDmode,
2340
                                  operand_subword (dest, 1, TRUE, mode),
2341
                                  words[1]));
2342
        }
2343
      /* Mem-to-reg copy.  */
2344
      else if (GET_CODE (src) == MEM)
2345
        {
2346
          /* If the high-address word is used in the address, we must load it
2347
             last.  Otherwise, load it first.  */
2348
          rtx addr = XEXP (src, 0);
2349
          int reverse
2350
            = (refers_to_regno_p (dregno, dregno + 1, addr, NULL) != 0);
2351
 
2352
          /* The original code implies that we can't do
2353
             move.x [rN+],rM  move.x [rN],rM+1
2354
             when rN is dead, because of REG_NOTES damage.  That is
2355
             consistent with what I've seen, so don't try it.
2356
 
2357
             We have two different cases here; if the addr is POST_INC,
2358
             just pass it through, otherwise add constants.  */
2359
 
2360
          if (GET_CODE (addr) == POST_INC)
2361
            {
2362
              rtx mem;
2363
              rtx insn;
2364
 
2365
              /* Whenever we emit insns with post-incremented
2366
                 addresses ourselves, we must add a post-inc note
2367
                 manually.  */
2368
              mem = change_address (src, SImode, addr);
2369
              insn
2370
                = gen_rtx_SET (VOIDmode,
2371
                               operand_subword (dest, 0, TRUE, mode), mem);
2372
              insn = emit_insn (insn);
2373
              if (GET_CODE (XEXP (mem, 0)) == POST_INC)
2374
                REG_NOTES (insn)
2375
                  = alloc_EXPR_LIST (REG_INC, XEXP (XEXP (mem, 0), 0),
2376
                                     REG_NOTES (insn));
2377
 
2378
              mem = change_address (src, SImode, addr);
2379
              insn
2380
                = gen_rtx_SET (VOIDmode,
2381
                               operand_subword (dest, 1, TRUE, mode), mem);
2382
              insn = emit_insn (insn);
2383
              if (GET_CODE (XEXP (mem, 0)) == POST_INC)
2384
                REG_NOTES (insn)
2385
                  = alloc_EXPR_LIST (REG_INC, XEXP (XEXP (mem, 0), 0),
2386
                                     REG_NOTES (insn));
2387
            }
2388
          else
2389
            {
2390
              /* Make sure we don't get any other addresses with
2391
                 embedded postincrements.  They should be stopped in
2392
                 GO_IF_LEGITIMATE_ADDRESS, but we're here for your
2393
                 safety.  */
2394
              if (side_effects_p (addr))
2395
                fatal_insn ("unexpected side-effects in address", addr);
2396
 
2397
              emit_insn (gen_rtx_SET
2398
                         (VOIDmode,
2399
                          operand_subword (dest, reverse, TRUE, mode),
2400
                          change_address
2401
                          (src, SImode,
2402
                           plus_constant (addr,
2403
                                          reverse * UNITS_PER_WORD))));
2404
              emit_insn (gen_rtx_SET
2405
                         (VOIDmode,
2406
                          operand_subword (dest, ! reverse, TRUE, mode),
2407
                          change_address
2408
                          (src, SImode,
2409
                           plus_constant (addr,
2410
                                          (! reverse) *
2411
                                          UNITS_PER_WORD))));
2412
            }
2413
        }
2414
      else
2415
        internal_error ("Unknown src");
2416
    }
2417
  /* Reg-to-mem copy or clear mem.  */
2418
  else if (GET_CODE (dest) == MEM
2419
           && (GET_CODE (src) == REG
2420
               || src == const0_rtx
2421
               || src == CONST0_RTX (DFmode)))
2422
    {
2423
      rtx addr = XEXP (dest, 0);
2424
 
2425
      if (GET_CODE (addr) == POST_INC)
2426
        {
2427
          rtx mem;
2428
          rtx insn;
2429
 
2430
          /* Whenever we emit insns with post-incremented addresses
2431
             ourselves, we must add a post-inc note manually.  */
2432
          mem = change_address (dest, SImode, addr);
2433
          insn
2434
            = gen_rtx_SET (VOIDmode,
2435
                           mem, operand_subword (src, 0, TRUE, mode));
2436
          insn = emit_insn (insn);
2437
          if (GET_CODE (XEXP (mem, 0)) == POST_INC)
2438
            REG_NOTES (insn)
2439
              = alloc_EXPR_LIST (REG_INC, XEXP (XEXP (mem, 0), 0),
2440
                                 REG_NOTES (insn));
2441
 
2442
          mem = change_address (dest, SImode, addr);
2443
          insn
2444
            = gen_rtx_SET (VOIDmode,
2445
                           mem,
2446
                           operand_subword (src, 1, TRUE, mode));
2447
          insn = emit_insn (insn);
2448
          if (GET_CODE (XEXP (mem, 0)) == POST_INC)
2449
            REG_NOTES (insn)
2450
              = alloc_EXPR_LIST (REG_INC, XEXP (XEXP (mem, 0), 0),
2451
                                 REG_NOTES (insn));
2452
        }
2453
      else
2454
        {
2455
          /* Make sure we don't get any other addresses with embedded
2456
             postincrements.  They should be stopped in
2457
             GO_IF_LEGITIMATE_ADDRESS, but we're here for your safety.  */
2458
          if (side_effects_p (addr))
2459
            fatal_insn ("unexpected side-effects in address", addr);
2460
 
2461
          emit_insn (gen_rtx_SET
2462
                     (VOIDmode,
2463
                      change_address (dest, SImode, addr),
2464
                      operand_subword (src, 0, TRUE, mode)));
2465
 
2466
          emit_insn (gen_rtx_SET
2467
                     (VOIDmode,
2468
                      change_address (dest, SImode,
2469
                                      plus_constant (addr,
2470
                                                     UNITS_PER_WORD)),
2471
                      operand_subword (src, 1, TRUE, mode)));
2472
        }
2473
    }
2474
 
2475
  else
2476
    internal_error ("Unknown dest");
2477
 
2478
  val = get_insns ();
2479
  end_sequence ();
2480
  return val;
2481
}
2482
 
2483
/* The expander for the prologue pattern name.  */
2484
 
2485
void
2486
cris_expand_prologue (void)
2487
{
2488
  int regno;
2489
  int size = get_frame_size ();
2490
  /* Shorten the used name for readability.  */
2491
  int cfoa_size = current_function_outgoing_args_size;
2492
  int last_movem_reg = -1;
2493
  int framesize = 0;
2494
  rtx mem, insn;
2495
  int return_address_on_stack = cris_return_address_on_stack ();
2496
  int got_really_used = false;
2497
  int n_movem_regs = 0;
2498
  int pretend = current_function_pretend_args_size;
2499
 
2500
  /* Don't do anything if no prologues or epilogues are wanted.  */
2501
  if (!TARGET_PROLOGUE_EPILOGUE)
2502
    return;
2503
 
2504
  CRIS_ASSERT (size >= 0);
2505
 
2506
  if (current_function_uses_pic_offset_table)
2507
    {
2508
      /* A reference may have been optimized out (like the abort () in
2509
         fde_split in unwind-dw2-fde.c, at least 3.2.1) so check that
2510
         it's still used.  */
2511
      push_topmost_sequence ();
2512
      got_really_used
2513
        = reg_used_between_p (pic_offset_table_rtx, get_insns (), NULL_RTX);
2514
      pop_topmost_sequence ();
2515
    }
2516
 
2517
  /* Align the size to what's best for the CPU model.  */
2518
  if (TARGET_STACK_ALIGN)
2519
    size = TARGET_ALIGN_BY_32 ? (size + 3) & ~3 : (size + 1) & ~1;
2520
 
2521
  if (pretend)
2522
    {
2523
      /* See also cris_setup_incoming_varargs where
2524
         cfun->machine->stdarg_regs is set.  There are other setters of
2525
         current_function_pretend_args_size than stdarg handling, like
2526
         for an argument passed with parts in R13 and stack.  We must
2527
         not store R13 into the pretend-area for that case, as GCC does
2528
         that itself.  "Our" store would be marked as redundant and GCC
2529
         will attempt to remove it, which will then be flagged as an
2530
         internal error; trying to remove a frame-related insn.  */
2531
      int stdarg_regs = cfun->machine->stdarg_regs;
2532
 
2533
      framesize += pretend;
2534
 
2535
      for (regno = CRIS_FIRST_ARG_REG + CRIS_MAX_ARGS_IN_REGS - 1;
2536
           stdarg_regs > 0;
2537
           regno--, pretend -= 4, stdarg_regs--)
2538
        {
2539
          insn = emit_insn (gen_rtx_SET (VOIDmode,
2540
                                         stack_pointer_rtx,
2541
                                         plus_constant (stack_pointer_rtx,
2542
                                                        -4)));
2543
          /* FIXME: When dwarf2 frame output and unless asynchronous
2544
             exceptions, make dwarf2 bundle together all stack
2545
             adjustments like it does for registers between stack
2546
             adjustments.  */
2547
          RTX_FRAME_RELATED_P (insn) = 1;
2548
 
2549
          mem = gen_rtx_MEM (SImode, stack_pointer_rtx);
2550
          set_mem_alias_set (mem, get_varargs_alias_set ());
2551
          insn = emit_move_insn (mem, gen_rtx_raw_REG (SImode, regno));
2552
 
2553
          /* Note the absence of RTX_FRAME_RELATED_P on the above insn:
2554
             the value isn't restored, so we don't want to tell dwarf2
2555
             that it's been stored to stack, else EH handling info would
2556
             get confused.  */
2557
        }
2558
 
2559
      /* For other setters of current_function_pretend_args_size, we
2560
         just adjust the stack by leaving the remaining size in
2561
         "pretend", handled below.  */
2562
    }
2563
 
2564
  /* Save SRP if not a leaf function.  */
2565
  if (return_address_on_stack)
2566
    {
2567
      insn = emit_insn (gen_rtx_SET (VOIDmode,
2568
                                     stack_pointer_rtx,
2569
                                     plus_constant (stack_pointer_rtx,
2570
                                                    -4 - pretend)));
2571
      pretend = 0;
2572
      RTX_FRAME_RELATED_P (insn) = 1;
2573
 
2574
      mem = gen_rtx_MEM (SImode, stack_pointer_rtx);
2575
      set_mem_alias_set (mem, get_frame_alias_set ());
2576
      insn = emit_move_insn (mem, gen_rtx_raw_REG (SImode, CRIS_SRP_REGNUM));
2577
      RTX_FRAME_RELATED_P (insn) = 1;
2578
      framesize += 4;
2579
    }
2580
 
2581
  /* Set up the frame pointer, if needed.  */
2582
  if (frame_pointer_needed)
2583
    {
2584
      insn = emit_insn (gen_rtx_SET (VOIDmode,
2585
                                     stack_pointer_rtx,
2586
                                     plus_constant (stack_pointer_rtx,
2587
                                                    -4 - pretend)));
2588
      pretend = 0;
2589
      RTX_FRAME_RELATED_P (insn) = 1;
2590
 
2591
      mem = gen_rtx_MEM (SImode, stack_pointer_rtx);
2592
      set_mem_alias_set (mem, get_frame_alias_set ());
2593
      insn = emit_move_insn (mem, frame_pointer_rtx);
2594
      RTX_FRAME_RELATED_P (insn) = 1;
2595
 
2596
      insn = emit_move_insn (frame_pointer_rtx, stack_pointer_rtx);
2597
      RTX_FRAME_RELATED_P (insn) = 1;
2598
 
2599
      framesize += 4;
2600
    }
2601
 
2602
  /* Between frame-pointer and saved registers lie the area for local
2603
     variables.  If we get here with "pretended" size remaining, count
2604
     it into the general stack size.  */
2605
  size += pretend;
2606
 
2607
  /* Get a contiguous sequence of registers, starting with R0, that need
2608
     to be saved.  */
2609
  for (regno = 0; regno < FIRST_PSEUDO_REGISTER; regno++)
2610
    {
2611
      if (cris_reg_saved_in_regsave_area (regno, got_really_used))
2612
        {
2613
          n_movem_regs++;
2614
 
2615
          /* Check if movem may be used for registers so far.  */
2616
          if (regno == last_movem_reg + 1)
2617
            /* Yes, update next expected register.  */
2618
            last_movem_reg = regno;
2619
          else
2620
            {
2621
              /* We cannot use movem for all registers.  We have to flush
2622
                 any movem:ed registers we got so far.  */
2623
              if (last_movem_reg != -1)
2624
                {
2625
                  int n_saved
2626
                    = (n_movem_regs == 1) ? 1 : last_movem_reg + 1;
2627
 
2628
                  /* It is a win to use a side-effect assignment for
2629
                     64 <= size <= 128.  But side-effect on movem was
2630
                     not usable for CRIS v0..3.  Also only do it if
2631
                     side-effects insns are allowed.  */
2632
                  if ((last_movem_reg + 1) * 4 + size >= 64
2633
                      && (last_movem_reg + 1) * 4 + size <= 128
2634
                      && (cris_cpu_version >= CRIS_CPU_SVINTO || n_saved == 1)
2635
                      && TARGET_SIDE_EFFECT_PREFIXES)
2636
                    {
2637
                      mem
2638
                        = gen_rtx_MEM (SImode,
2639
                                       plus_constant (stack_pointer_rtx,
2640
                                                      -(n_saved * 4 + size)));
2641
                      set_mem_alias_set (mem, get_frame_alias_set ());
2642
                      insn
2643
                        = cris_emit_movem_store (mem, GEN_INT (n_saved),
2644
                                                 -(n_saved * 4 + size),
2645
                                                 true);
2646
                    }
2647
                  else
2648
                    {
2649
                      insn
2650
                        = gen_rtx_SET (VOIDmode,
2651
                                       stack_pointer_rtx,
2652
                                       plus_constant (stack_pointer_rtx,
2653
                                                      -(n_saved * 4 + size)));
2654
                      insn = emit_insn (insn);
2655
                      RTX_FRAME_RELATED_P (insn) = 1;
2656
 
2657
                      mem = gen_rtx_MEM (SImode, stack_pointer_rtx);
2658
                      set_mem_alias_set (mem, get_frame_alias_set ());
2659
                      insn = cris_emit_movem_store (mem, GEN_INT (n_saved),
2660
                                                    0, true);
2661
                    }
2662
 
2663
                  framesize += n_saved * 4 + size;
2664
                  last_movem_reg = -1;
2665
                  size = 0;
2666
                }
2667
 
2668
              insn = emit_insn (gen_rtx_SET (VOIDmode,
2669
                                             stack_pointer_rtx,
2670
                                             plus_constant (stack_pointer_rtx,
2671
                                                            -4 - size)));
2672
              RTX_FRAME_RELATED_P (insn) = 1;
2673
 
2674
              mem = gen_rtx_MEM (SImode, stack_pointer_rtx);
2675
              set_mem_alias_set (mem, get_frame_alias_set ());
2676
              insn = emit_move_insn (mem, gen_rtx_raw_REG (SImode, regno));
2677
              RTX_FRAME_RELATED_P (insn) = 1;
2678
 
2679
              framesize += 4 + size;
2680
              size = 0;
2681
            }
2682
        }
2683
    }
2684
 
2685
  /* Check after, if we could movem all registers.  This is the normal case.  */
2686
  if (last_movem_reg != -1)
2687
    {
2688
      int n_saved
2689
        = (n_movem_regs == 1) ? 1 : last_movem_reg + 1;
2690
 
2691
      /* Side-effect on movem was not usable for CRIS v0..3.  Also only
2692
         do it if side-effects insns are allowed.  */
2693
      if ((last_movem_reg + 1) * 4 + size >= 64
2694
          && (last_movem_reg + 1) * 4 + size <= 128
2695
          && (cris_cpu_version >= CRIS_CPU_SVINTO || n_saved == 1)
2696
          && TARGET_SIDE_EFFECT_PREFIXES)
2697
        {
2698
          mem
2699
            = gen_rtx_MEM (SImode,
2700
                           plus_constant (stack_pointer_rtx,
2701
                                          -(n_saved * 4 + size)));
2702
          set_mem_alias_set (mem, get_frame_alias_set ());
2703
          insn = cris_emit_movem_store (mem, GEN_INT (n_saved),
2704
                                        -(n_saved * 4 + size), true);
2705
        }
2706
      else
2707
        {
2708
          insn
2709
            = gen_rtx_SET (VOIDmode,
2710
                           stack_pointer_rtx,
2711
                           plus_constant (stack_pointer_rtx,
2712
                                          -(n_saved * 4 + size)));
2713
          insn = emit_insn (insn);
2714
          RTX_FRAME_RELATED_P (insn) = 1;
2715
 
2716
          mem = gen_rtx_MEM (SImode, stack_pointer_rtx);
2717
          set_mem_alias_set (mem, get_frame_alias_set ());
2718
          insn = cris_emit_movem_store (mem, GEN_INT (n_saved), 0, true);
2719
        }
2720
 
2721
      framesize += n_saved * 4 + size;
2722
      /* We have to put outgoing argument space after regs.  */
2723
      if (cfoa_size)
2724
        {
2725
          insn = emit_insn (gen_rtx_SET (VOIDmode,
2726
                                         stack_pointer_rtx,
2727
                                         plus_constant (stack_pointer_rtx,
2728
                                                        -cfoa_size)));
2729
          RTX_FRAME_RELATED_P (insn) = 1;
2730
          framesize += cfoa_size;
2731
        }
2732
    }
2733
  else if ((size + cfoa_size) > 0)
2734
    {
2735
      insn = emit_insn (gen_rtx_SET (VOIDmode,
2736
                                     stack_pointer_rtx,
2737
                                     plus_constant (stack_pointer_rtx,
2738
                                                    -(cfoa_size + size))));
2739
      RTX_FRAME_RELATED_P (insn) = 1;
2740
      framesize += size + cfoa_size;
2741
    }
2742
 
2743
  /* Set up the PIC register, if it is used.  */
2744
  if (got_really_used)
2745
    {
2746
      rtx got
2747
        = gen_rtx_UNSPEC (SImode, gen_rtvec (1, const0_rtx), CRIS_UNSPEC_GOT);
2748
      emit_move_insn (pic_offset_table_rtx, got);
2749
 
2750
      /* FIXME: This is a cover-up for flow2 messing up; it doesn't
2751
         follow exceptional paths and tries to delete the GOT load as
2752
         unused, if it isn't used on the non-exceptional paths.  Other
2753
         ports have similar or other cover-ups, or plain bugs marking
2754
         the GOT register load as maybe-dead.  To see this, remove the
2755
         line below and try libsupc++/vec.cc or a trivial
2756
         "static void y (); void x () {try {y ();} catch (...) {}}".  */
2757
      emit_insn (gen_rtx_USE (VOIDmode, pic_offset_table_rtx));
2758
    }
2759
 
2760
  if (cris_max_stackframe && framesize > cris_max_stackframe)
2761
    warning (0, "stackframe too big: %d bytes", framesize);
2762
}
2763
 
2764
/* The expander for the epilogue pattern.  */
2765
 
2766
void
2767
cris_expand_epilogue (void)
2768
{
2769
  int regno;
2770
  int size = get_frame_size ();
2771
  int last_movem_reg = -1;
2772
  int argspace_offset = current_function_outgoing_args_size;
2773
  int pretend =  current_function_pretend_args_size;
2774
  rtx mem;
2775
  bool return_address_on_stack = cris_return_address_on_stack ();
2776
  /* A reference may have been optimized out
2777
     (like the abort () in fde_split in unwind-dw2-fde.c, at least 3.2.1)
2778
     so check that it's still used.  */
2779
  int got_really_used = false;
2780
  int n_movem_regs = 0;
2781
 
2782
  if (!TARGET_PROLOGUE_EPILOGUE)
2783
    return;
2784
 
2785
  if (current_function_uses_pic_offset_table)
2786
    {
2787
      /* A reference may have been optimized out (like the abort () in
2788
         fde_split in unwind-dw2-fde.c, at least 3.2.1) so check that
2789
         it's still used.  */
2790
      push_topmost_sequence ();
2791
      got_really_used
2792
        = reg_used_between_p (pic_offset_table_rtx, get_insns (), NULL_RTX);
2793
      pop_topmost_sequence ();
2794
    }
2795
 
2796
  /* Align byte count of stack frame.  */
2797
  if (TARGET_STACK_ALIGN)
2798
    size = TARGET_ALIGN_BY_32 ? (size + 3) & ~3 : (size + 1) & ~1;
2799
 
2800
  /* Check how many saved regs we can movem.  They start at r0 and must
2801
     be contiguous.  */
2802
  for (regno = 0;
2803
       regno < FIRST_PSEUDO_REGISTER;
2804
       regno++)
2805
    if (cris_reg_saved_in_regsave_area (regno, got_really_used))
2806
      {
2807
        n_movem_regs++;
2808
 
2809
        if (regno == last_movem_reg + 1)
2810
          last_movem_reg = regno;
2811
        else
2812
          break;
2813
      }
2814
 
2815
  /* If there was only one register that really needed to be saved
2816
     through movem, don't use movem.  */
2817
  if (n_movem_regs == 1)
2818
    last_movem_reg = -1;
2819
 
2820
  /* Now emit "normal" move insns for all regs higher than the movem
2821
     regs.  */
2822
  for (regno = FIRST_PSEUDO_REGISTER - 1;
2823
       regno > last_movem_reg;
2824
       regno--)
2825
    if (cris_reg_saved_in_regsave_area (regno, got_really_used))
2826
      {
2827
        rtx insn;
2828
 
2829
        if (argspace_offset)
2830
          {
2831
            /* There is an area for outgoing parameters located before
2832
               the saved registers.  We have to adjust for that.  */
2833
            emit_insn (gen_rtx_SET (VOIDmode,
2834
                                    stack_pointer_rtx,
2835
                                    plus_constant (stack_pointer_rtx,
2836
                                                   argspace_offset)));
2837
            /* Make sure we only do this once.  */
2838
            argspace_offset = 0;
2839
          }
2840
 
2841
        mem = gen_rtx_MEM (SImode, gen_rtx_POST_INC (SImode,
2842
                                                     stack_pointer_rtx));
2843
        set_mem_alias_set (mem, get_frame_alias_set ());
2844
        insn = emit_move_insn (gen_rtx_raw_REG (SImode, regno), mem);
2845
 
2846
        /* Whenever we emit insns with post-incremented addresses
2847
           ourselves, we must add a post-inc note manually.  */
2848
        REG_NOTES (insn)
2849
          = alloc_EXPR_LIST (REG_INC, stack_pointer_rtx, REG_NOTES (insn));
2850
      }
2851
 
2852
  /* If we have any movem-restore, do it now.  */
2853
  if (last_movem_reg != -1)
2854
    {
2855
      rtx insn;
2856
 
2857
      if (argspace_offset)
2858
        {
2859
          emit_insn (gen_rtx_SET (VOIDmode,
2860
                                  stack_pointer_rtx,
2861
                                  plus_constant (stack_pointer_rtx,
2862
                                                 argspace_offset)));
2863
          argspace_offset = 0;
2864
        }
2865
 
2866
      mem = gen_rtx_MEM (SImode,
2867
                         gen_rtx_POST_INC (SImode, stack_pointer_rtx));
2868
      set_mem_alias_set (mem, get_frame_alias_set ());
2869
      insn
2870
        = emit_insn (cris_gen_movem_load (mem,
2871
                                          GEN_INT (last_movem_reg + 1), 0));
2872
      /* Whenever we emit insns with post-incremented addresses
2873
         ourselves, we must add a post-inc note manually.  */
2874
      if (side_effects_p (PATTERN (insn)))
2875
        REG_NOTES (insn)
2876
          = alloc_EXPR_LIST (REG_INC, stack_pointer_rtx, REG_NOTES (insn));
2877
    }
2878
 
2879
  /* If we don't clobber all of the allocated stack area (we've already
2880
     deallocated saved registers), GCC might want to schedule loads from
2881
     the stack to *after* the stack-pointer restore, which introduces an
2882
     interrupt race condition.  This happened for the initial-value
2883
     SRP-restore for g++.dg/eh/registers1.C (noticed by inspection of
2884
     other failure for that test).  It also happened for the stack slot
2885
     for the return value in (one version of)
2886
     linux/fs/dcache.c:__d_lookup, at least with "-O2
2887
     -fno-omit-frame-pointer".  */
2888
 
2889
  /* Restore frame pointer if necessary.  */
2890
  if (frame_pointer_needed)
2891
    {
2892
      rtx insn;
2893
 
2894
      emit_insn (gen_cris_frame_deallocated_barrier ());
2895
 
2896
      emit_move_insn (stack_pointer_rtx, frame_pointer_rtx);
2897
      mem = gen_rtx_MEM (SImode, gen_rtx_POST_INC (SImode,
2898
                                                   stack_pointer_rtx));
2899
      set_mem_alias_set (mem, get_frame_alias_set ());
2900
      insn = emit_move_insn (frame_pointer_rtx, mem);
2901
 
2902
      /* Whenever we emit insns with post-incremented addresses
2903
         ourselves, we must add a post-inc note manually.  */
2904
      REG_NOTES (insn)
2905
        = alloc_EXPR_LIST (REG_INC, stack_pointer_rtx, REG_NOTES (insn));
2906
    }
2907
  else if ((size + argspace_offset) != 0)
2908
    {
2909
      emit_insn (gen_cris_frame_deallocated_barrier ());
2910
 
2911
      /* If there was no frame-pointer to restore sp from, we must
2912
         explicitly deallocate local variables.  */
2913
 
2914
      /* Handle space for outgoing parameters that hasn't been handled
2915
         yet.  */
2916
      size += argspace_offset;
2917
 
2918
      emit_insn (gen_rtx_SET (VOIDmode,
2919
                              stack_pointer_rtx,
2920
                              plus_constant (stack_pointer_rtx, size)));
2921
    }
2922
 
2923
  /* If this function has no pushed register parameters
2924
     (stdargs/varargs), and if it is not a leaf function, then we have
2925
     the return address on the stack.  */
2926
  if (return_address_on_stack && pretend == 0)
2927
    {
2928
      if (current_function_calls_eh_return)
2929
        {
2930
          rtx mem;
2931
          rtx insn;
2932
          rtx srpreg = gen_rtx_raw_REG (SImode, CRIS_SRP_REGNUM);
2933
          mem = gen_rtx_MEM (SImode,
2934
                             gen_rtx_POST_INC (SImode,
2935
                                               stack_pointer_rtx));
2936
          set_mem_alias_set (mem, get_frame_alias_set ());
2937
          insn = emit_move_insn (srpreg, mem);
2938
 
2939
          /* Whenever we emit insns with post-incremented addresses
2940
             ourselves, we must add a post-inc note manually.  */
2941
          REG_NOTES (insn)
2942
            = alloc_EXPR_LIST (REG_INC, stack_pointer_rtx, REG_NOTES (insn));
2943
 
2944
          emit_insn (gen_addsi3 (stack_pointer_rtx,
2945
                                 stack_pointer_rtx,
2946
                                 gen_rtx_raw_REG (SImode,
2947
                                                  CRIS_STACKADJ_REG)));
2948
          cris_expand_return (false);
2949
        }
2950
      else
2951
        cris_expand_return (true);
2952
 
2953
      return;
2954
    }
2955
 
2956
  /* If we pushed some register parameters, then adjust the stack for
2957
     them.  */
2958
  if (pretend != 0)
2959
    {
2960
      /* If SRP is stored on the way, we need to restore it first.  */
2961
      if (return_address_on_stack)
2962
        {
2963
          rtx mem;
2964
          rtx srpreg = gen_rtx_raw_REG (SImode, CRIS_SRP_REGNUM);
2965
          rtx insn;
2966
 
2967
          mem = gen_rtx_MEM (SImode,
2968
                             gen_rtx_POST_INC (SImode,
2969
                                               stack_pointer_rtx));
2970
          set_mem_alias_set (mem, get_frame_alias_set ());
2971
          insn = emit_move_insn (srpreg, mem);
2972
 
2973
          /* Whenever we emit insns with post-incremented addresses
2974
             ourselves, we must add a post-inc note manually.  */
2975
          REG_NOTES (insn)
2976
            = alloc_EXPR_LIST (REG_INC, stack_pointer_rtx, REG_NOTES (insn));
2977
        }
2978
 
2979
      emit_insn (gen_rtx_SET (VOIDmode,
2980
                              stack_pointer_rtx,
2981
                              plus_constant (stack_pointer_rtx, pretend)));
2982
    }
2983
 
2984
  /* Perform the "physical" unwinding that the EH machinery calculated.  */
2985
  if (current_function_calls_eh_return)
2986
    emit_insn (gen_addsi3 (stack_pointer_rtx,
2987
                           stack_pointer_rtx,
2988
                           gen_rtx_raw_REG (SImode,
2989
                                            CRIS_STACKADJ_REG)));
2990
  cris_expand_return (false);
2991
}
2992
 
2993
/* Worker function for generating movem from mem for load_multiple.  */
2994
 
2995
rtx
2996
cris_gen_movem_load (rtx src, rtx nregs_rtx, int nprefix)
2997
{
2998
  int nregs = INTVAL (nregs_rtx);
2999
  rtvec vec;
3000
  int eltno = 1;
3001
  int i;
3002
  rtx srcreg = XEXP (src, 0);
3003
  unsigned int regno = nregs - 1;
3004
  int regno_inc = -1;
3005
 
3006
  if (GET_CODE (srcreg) == POST_INC)
3007
    srcreg = XEXP (srcreg, 0);
3008
 
3009
  CRIS_ASSERT (REG_P (srcreg));
3010
 
3011
  /* Don't use movem for just one insn.  The insns are equivalent except
3012
     for the pipeline hazard (on v32); movem does not forward the loaded
3013
     registers so there's a three cycles penalty for their use.  */
3014
  if (nregs == 1)
3015
    return gen_movsi (gen_rtx_REG (SImode, 0), src);
3016
 
3017
  vec = rtvec_alloc (nprefix + nregs
3018
                     + (GET_CODE (XEXP (src, 0)) == POST_INC));
3019
 
3020
  if (GET_CODE (XEXP (src, 0)) == POST_INC)
3021
    {
3022
      RTVEC_ELT (vec, nprefix + 1)
3023
        = gen_rtx_SET (VOIDmode, srcreg, plus_constant (srcreg, nregs * 4));
3024
      eltno++;
3025
    }
3026
 
3027
  src = replace_equiv_address (src, srcreg);
3028
  RTVEC_ELT (vec, nprefix)
3029
    = gen_rtx_SET (VOIDmode, gen_rtx_REG (SImode, regno), src);
3030
  regno += regno_inc;
3031
 
3032
  for (i = 1; i < nregs; i++, eltno++)
3033
    {
3034
      RTVEC_ELT (vec, nprefix + eltno)
3035
        = gen_rtx_SET (VOIDmode, gen_rtx_REG (SImode, regno),
3036
                       adjust_address_nv (src, SImode, i * 4));
3037
      regno += regno_inc;
3038
    }
3039
 
3040
  return gen_rtx_PARALLEL (VOIDmode, vec);
3041
}
3042
 
3043
/* Worker function for generating movem to mem.  If FRAME_RELATED, notes
3044
   are added that the dwarf2 machinery understands.  */
3045
 
3046
rtx
3047
cris_emit_movem_store (rtx dest, rtx nregs_rtx, int increment,
3048
                       bool frame_related)
3049
{
3050
  int nregs = INTVAL (nregs_rtx);
3051
  rtvec vec;
3052
  int eltno = 1;
3053
  int i;
3054
  rtx insn;
3055
  rtx destreg = XEXP (dest, 0);
3056
  unsigned int regno = nregs - 1;
3057
  int regno_inc = -1;
3058
 
3059
  if (GET_CODE (destreg) == POST_INC)
3060
    increment += nregs * 4;
3061
 
3062
  if (GET_CODE (destreg) == POST_INC || GET_CODE (destreg) == PLUS)
3063
    destreg = XEXP (destreg, 0);
3064
 
3065
  CRIS_ASSERT (REG_P (destreg));
3066
 
3067
  /* Don't use movem for just one insn.  The insns are equivalent except
3068
     for the pipeline hazard (on v32); movem does not forward the loaded
3069
     registers so there's a three cycles penalty for use.  */
3070
  if (nregs == 1)
3071
    {
3072
      rtx mov = gen_rtx_SET (VOIDmode, dest, gen_rtx_REG (SImode, 0));
3073
 
3074
      if (increment == 0)
3075
        {
3076
          insn = emit_insn (mov);
3077
          if (frame_related)
3078
            RTX_FRAME_RELATED_P (insn) = 1;
3079
          return insn;
3080
        }
3081
 
3082
      /* If there was a request for a side-effect, create the ordinary
3083
         parallel.  */
3084
      vec = rtvec_alloc (2);
3085
 
3086
      RTVEC_ELT (vec, 0) = mov;
3087
      RTVEC_ELT (vec, 1) = gen_rtx_SET (VOIDmode, destreg,
3088
                                        plus_constant (destreg, increment));
3089
      if (frame_related)
3090
        {
3091
          RTX_FRAME_RELATED_P (mov) = 1;
3092
          RTX_FRAME_RELATED_P (RTVEC_ELT (vec, 1)) = 1;
3093
        }
3094
    }
3095
  else
3096
    {
3097
      vec = rtvec_alloc (nregs + (increment != 0 ? 1 : 0));
3098
      RTVEC_ELT (vec, 0)
3099
        = gen_rtx_SET (VOIDmode,
3100
                       replace_equiv_address (dest,
3101
                                              plus_constant (destreg,
3102
                                                             increment)),
3103
                       gen_rtx_REG (SImode, regno));
3104
      regno += regno_inc;
3105
 
3106
      /* The dwarf2 info wants this mark on each component in a parallel
3107
         that's part of the prologue (though it's optional on the first
3108
         component).  */
3109
      if (frame_related)
3110
        RTX_FRAME_RELATED_P (RTVEC_ELT (vec, 0)) = 1;
3111
 
3112
      if (increment != 0)
3113
        {
3114
          RTVEC_ELT (vec, 1)
3115
            = gen_rtx_SET (VOIDmode, destreg,
3116
                           plus_constant (destreg,
3117
                                          increment != 0
3118
                                          ? increment : nregs * 4));
3119
          eltno++;
3120
 
3121
          if (frame_related)
3122
            RTX_FRAME_RELATED_P (RTVEC_ELT (vec, 1)) = 1;
3123
 
3124
          /* Don't call adjust_address_nv on a post-incremented address if
3125
             we can help it.  */
3126
          if (GET_CODE (XEXP (dest, 0)) == POST_INC)
3127
            dest = replace_equiv_address (dest, destreg);
3128
        }
3129
 
3130
      for (i = 1; i < nregs; i++, eltno++)
3131
        {
3132
          RTVEC_ELT (vec, eltno)
3133
            = gen_rtx_SET (VOIDmode, adjust_address_nv (dest, SImode, i * 4),
3134
                           gen_rtx_REG (SImode, regno));
3135
          if (frame_related)
3136
            RTX_FRAME_RELATED_P (RTVEC_ELT (vec, eltno)) = 1;
3137
          regno += regno_inc;
3138
        }
3139
    }
3140
 
3141
  insn = emit_insn (gen_rtx_PARALLEL (VOIDmode, vec));
3142
 
3143
  /* Because dwarf2out.c handles the insns in a parallel as a sequence,
3144
     we need to keep the stack adjustment separate, after the
3145
     MEM-setters.  Else the stack-adjustment in the second component of
3146
     the parallel would be mishandled; the offsets for the SETs that
3147
     follow it would be wrong.  We prepare for this by adding a
3148
     REG_FRAME_RELATED_EXPR with the MEM-setting parts in a SEQUENCE
3149
     followed by the increment.  Note that we have FRAME_RELATED_P on
3150
     all the SETs, including the original stack adjustment SET in the
3151
     parallel.  */
3152
  if (frame_related)
3153
    {
3154
      if (increment != 0)
3155
        {
3156
          rtx seq = gen_rtx_SEQUENCE (VOIDmode, rtvec_alloc (nregs + 1));
3157
          XVECEXP (seq, 0, 0) = XVECEXP (PATTERN (insn), 0, 0);
3158
          for (i = 1; i < nregs; i++)
3159
            XVECEXP (seq, 0, i) = XVECEXP (PATTERN (insn), 0, i + 1);
3160
          XVECEXP (seq, 0, nregs) = XVECEXP (PATTERN (insn), 0, 1);
3161
          REG_NOTES (insn)
3162
            = gen_rtx_EXPR_LIST (REG_FRAME_RELATED_EXPR, seq,
3163
                                 REG_NOTES (insn));
3164
        }
3165
 
3166
      RTX_FRAME_RELATED_P (insn) = 1;
3167
    }
3168
 
3169
  return insn;
3170
}
3171
 
3172
/* Worker function for expanding the address for PIC function calls.  */
3173
 
3174
void
3175
cris_expand_pic_call_address (rtx *opp)
3176
{
3177
  rtx op = *opp;
3178
 
3179
  gcc_assert (MEM_P (op));
3180
  op = XEXP (op, 0);
3181
 
3182
  /* It might be that code can be generated that jumps to 0 (or to a
3183
     specific address).  Don't die on that.  (There is a
3184
     testcase.)  */
3185
  if (CONSTANT_ADDRESS_P (op) && GET_CODE (op) != CONST_INT)
3186
    {
3187
      enum cris_pic_symbol_type t = cris_pic_symbol_type_of (op);
3188
 
3189
      CRIS_ASSERT (!no_new_pseudos);
3190
 
3191
      /* For local symbols (non-PLT), just get the plain symbol
3192
         reference into a register.  For symbols that can be PLT, make
3193
         them PLT.  */
3194
      if (t == cris_gotrel_symbol)
3195
        op = force_reg (Pmode, op);
3196
      else if (t == cris_got_symbol)
3197
        {
3198
          if (TARGET_AVOID_GOTPLT)
3199
            {
3200
              /* Change a "jsr sym" into (allocate register rM, rO)
3201
                 "move.d (const (unspec [sym] CRIS_UNSPEC_PLT)),rM"
3202
                 "add.d rPIC,rM,rO", "jsr rO".  */
3203
              rtx tem, rm, ro;
3204
              gcc_assert (! no_new_pseudos);
3205
              current_function_uses_pic_offset_table = 1;
3206
              tem = gen_rtx_UNSPEC (Pmode, gen_rtvec (1, op), CRIS_UNSPEC_PLT);
3207
              rm = gen_reg_rtx (Pmode);
3208
              emit_move_insn (rm, gen_rtx_CONST (Pmode, tem));
3209
              ro = gen_reg_rtx (Pmode);
3210
              if (expand_binop (Pmode, add_optab, rm,
3211
                                pic_offset_table_rtx,
3212
                                ro, 0, OPTAB_LIB_WIDEN) != ro)
3213
                internal_error ("expand_binop failed in movsi got");
3214
              op = ro;
3215
            }
3216
          else
3217
            {
3218
              /* Change a "jsr sym" into (allocate register rM, rO)
3219
                 "move.d (const (unspec [sym] CRIS_UNSPEC_PLTGOT)),rM"
3220
                 "add.d rPIC,rM,rO" "jsr [rO]" with the memory access
3221
                 marked as not trapping and not aliasing.  No "move.d
3222
                 [rO],rP" as that would invite to re-use of a value
3223
                 that should not be reused.  FIXME: Need a peephole2
3224
                 for cases when this is cse:d from the call, to change
3225
                 back to just get the PLT entry address, so we don't
3226
                 resolve the same symbol over and over (the memory
3227
                 access of the PLTGOT isn't constant).  */
3228
              rtx tem, mem, rm, ro;
3229
 
3230
              gcc_assert (! no_new_pseudos);
3231
              current_function_uses_pic_offset_table = 1;
3232
              tem = gen_rtx_UNSPEC (Pmode, gen_rtvec (1, op),
3233
                                    CRIS_UNSPEC_PLTGOTREAD);
3234
              rm = gen_reg_rtx (Pmode);
3235
              emit_move_insn (rm, gen_rtx_CONST (Pmode, tem));
3236
              ro = gen_reg_rtx (Pmode);
3237
              if (expand_binop (Pmode, add_optab, rm,
3238
                                pic_offset_table_rtx,
3239
                                ro, 0, OPTAB_LIB_WIDEN) != ro)
3240
                internal_error ("expand_binop failed in movsi got");
3241
              mem = gen_rtx_MEM (Pmode, ro);
3242
 
3243
              /* This MEM doesn't alias anything.  Whether it aliases
3244
                 other same symbols is unimportant.  */
3245
              set_mem_alias_set (mem, new_alias_set ());
3246
              MEM_NOTRAP_P (mem) = 1;
3247
              op = mem;
3248
            }
3249
        }
3250
      else
3251
        /* Can't possibly get a GOT-needing-fixup for a function-call,
3252
           right?  */
3253
        fatal_insn ("Unidentifiable call op", op);
3254
 
3255
      *opp = replace_equiv_address (*opp, op);
3256
    }
3257
}
3258
 
3259
/* Make sure operands are in the right order for an addsi3 insn as
3260
   generated by a define_split.  A MEM as the first operand isn't
3261
   recognized by addsi3 after reload.  OPERANDS contains the operands,
3262
   with the first at OPERANDS[N] and the second at OPERANDS[N+1].  */
3263
 
3264
void
3265
cris_order_for_addsi3 (rtx *operands, int n)
3266
{
3267
  if (MEM_P (operands[n]))
3268
    {
3269
      rtx tem = operands[n];
3270
      operands[n] = operands[n + 1];
3271
      operands[n + 1] = tem;
3272
    }
3273
}
3274
 
3275
/* Use from within code, from e.g. PRINT_OPERAND and
3276
   PRINT_OPERAND_ADDRESS.  Macros used in output_addr_const need to emit
3277
   different things depending on whether code operand or constant is
3278
   emitted.  */
3279
 
3280
static void
3281
cris_output_addr_const (FILE *file, rtx x)
3282
{
3283
  in_code++;
3284
  output_addr_const (file, x);
3285
  in_code--;
3286
}
3287
 
3288
/* Worker function for ASM_OUTPUT_SYMBOL_REF.  */
3289
 
3290
void
3291
cris_asm_output_symbol_ref (FILE *file, rtx x)
3292
{
3293
  gcc_assert (GET_CODE (x) == SYMBOL_REF);
3294
 
3295
  if (flag_pic && in_code > 0)
3296
    {
3297
     const char *origstr = XSTR (x, 0);
3298
     const char *str;
3299
     str = (* targetm.strip_name_encoding) (origstr);
3300
     assemble_name (file, str);
3301
 
3302
     /* Sanity check.  */
3303
     if (! current_function_uses_pic_offset_table)
3304
       output_operand_lossage ("PIC register isn't set up");
3305
    }
3306
  else
3307
    assemble_name (file, XSTR (x, 0));
3308
}
3309
 
3310
/* Worker function for ASM_OUTPUT_LABEL_REF.  */
3311
 
3312
void
3313
cris_asm_output_label_ref (FILE *file, char *buf)
3314
{
3315
  if (flag_pic && in_code > 0)
3316
    {
3317
      assemble_name (file, buf);
3318
 
3319
      /* Sanity check.  */
3320
      if (! current_function_uses_pic_offset_table)
3321
        internal_error ("emitting PIC operand, but PIC register isn't set up");
3322
    }
3323
  else
3324
    assemble_name (file, buf);
3325
}
3326
 
3327
/* Worker function for OUTPUT_ADDR_CONST_EXTRA.  */
3328
 
3329
bool
3330
cris_output_addr_const_extra (FILE *file, rtx xconst)
3331
{
3332
  switch (GET_CODE (xconst))
3333
    {
3334
      rtx x;
3335
 
3336
    case UNSPEC:
3337
      x = XVECEXP (xconst, 0, 0);
3338
      CRIS_ASSERT (GET_CODE (x) == SYMBOL_REF
3339
                   || GET_CODE (x) == LABEL_REF
3340
                   || GET_CODE (x) == CONST);
3341
      output_addr_const (file, x);
3342
      switch (XINT (xconst, 1))
3343
        {
3344
        case CRIS_UNSPEC_PLT:
3345
          fprintf (file, ":PLTG");
3346
          break;
3347
 
3348
        case CRIS_UNSPEC_GOTREL:
3349
          fprintf (file, ":GOTOFF");
3350
          break;
3351
 
3352
        case CRIS_UNSPEC_GOTREAD:
3353
          if (flag_pic == 1)
3354
            fprintf (file, ":GOT16");
3355
          else
3356
            fprintf (file, ":GOT");
3357
          break;
3358
 
3359
        case CRIS_UNSPEC_PLTGOTREAD:
3360
          if (flag_pic == 1)
3361
            fprintf (file, CRIS_GOTPLT_SUFFIX "16");
3362
          else
3363
            fprintf (file, CRIS_GOTPLT_SUFFIX);
3364
          break;
3365
 
3366
        default:
3367
          gcc_unreachable ();
3368
        }
3369
      return true;
3370
 
3371
    default:
3372
      return false;
3373
    }
3374
}
3375
 
3376
/* Worker function for TARGET_STRUCT_VALUE_RTX.  */
3377
 
3378
static rtx
3379
cris_struct_value_rtx (tree fntype ATTRIBUTE_UNUSED,
3380
                       int incoming ATTRIBUTE_UNUSED)
3381
{
3382
  return gen_rtx_REG (Pmode, CRIS_STRUCT_VALUE_REGNUM);
3383
}
3384
 
3385
/* Worker function for TARGET_SETUP_INCOMING_VARARGS.  */
3386
 
3387
static void
3388
cris_setup_incoming_varargs (CUMULATIVE_ARGS *ca,
3389
                             enum machine_mode mode ATTRIBUTE_UNUSED,
3390
                             tree type ATTRIBUTE_UNUSED,
3391
                             int *pretend_arg_size,
3392
                             int second_time)
3393
{
3394
  if (ca->regs < CRIS_MAX_ARGS_IN_REGS)
3395
    {
3396
      int stdarg_regs = CRIS_MAX_ARGS_IN_REGS - ca->regs;
3397
      cfun->machine->stdarg_regs = stdarg_regs;
3398
      *pretend_arg_size = stdarg_regs * 4;
3399
    }
3400
 
3401
  if (TARGET_PDEBUG)
3402
    fprintf (asm_out_file,
3403
             "\n; VA:: ANSI: %d args before, anon @ #%d, %dtime\n",
3404
             ca->regs, *pretend_arg_size, second_time);
3405
}
3406
 
3407
/* Return true if TYPE must be passed by invisible reference.
3408
   For cris, we pass <= 8 bytes by value, others by reference.  */
3409
 
3410
static bool
3411
cris_pass_by_reference (CUMULATIVE_ARGS *ca ATTRIBUTE_UNUSED,
3412
                        enum machine_mode mode, tree type,
3413
                        bool named ATTRIBUTE_UNUSED)
3414
{
3415
  return (targetm.calls.must_pass_in_stack (mode, type)
3416
          || CRIS_FUNCTION_ARG_SIZE (mode, type) > 8);
3417
}
3418
 
3419
 
3420
static int
3421
cris_arg_partial_bytes (CUMULATIVE_ARGS *ca, enum machine_mode mode,
3422
                        tree type, bool named ATTRIBUTE_UNUSED)
3423
{
3424
  if (ca->regs == CRIS_MAX_ARGS_IN_REGS - 1
3425
      && !targetm.calls.must_pass_in_stack (mode, type)
3426
      && CRIS_FUNCTION_ARG_SIZE (mode, type) > 4
3427
      && CRIS_FUNCTION_ARG_SIZE (mode, type) <= 8)
3428
    return UNITS_PER_WORD;
3429
  else
3430
    return 0;
3431
}
3432
 
3433
/* Worker function for TARGET_MD_ASM_CLOBBERS.  */
3434
 
3435
static tree
3436
cris_md_asm_clobbers (tree outputs, tree inputs, tree in_clobbers)
3437
{
3438
  HARD_REG_SET mof_set;
3439
  tree clobbers;
3440
  tree t;
3441
 
3442
  CLEAR_HARD_REG_SET (mof_set);
3443
  SET_HARD_REG_BIT (mof_set, CRIS_MOF_REGNUM);
3444
 
3445
  /* For the time being, all asms clobber condition codes.  Revisit when
3446
     there's a reasonable use for inputs/outputs that mention condition
3447
     codes.  */
3448
  clobbers
3449
    = tree_cons (NULL_TREE,
3450
                 build_string (strlen (reg_names[CRIS_CC0_REGNUM]),
3451
                               reg_names[CRIS_CC0_REGNUM]),
3452
                 in_clobbers);
3453
 
3454
  for (t = outputs; t != NULL; t = TREE_CHAIN (t))
3455
    {
3456
      tree val = TREE_VALUE (t);
3457
 
3458
      /* The constraint letter for the singleton register class of MOF
3459
         is 'h'.  If it's mentioned in the constraints, the asm is
3460
         MOF-aware and adding it to the clobbers would cause it to have
3461
         impossible constraints.  */
3462
      if (strchr (TREE_STRING_POINTER (TREE_VALUE (TREE_PURPOSE (t))),
3463
                  'h') != NULL
3464
          || tree_overlaps_hard_reg_set (val, &mof_set) != NULL_TREE)
3465
        return clobbers;
3466
    }
3467
 
3468
  for (t = inputs; t != NULL; t = TREE_CHAIN (t))
3469
    {
3470
      tree val = TREE_VALUE (t);
3471
 
3472
      if (strchr (TREE_STRING_POINTER (TREE_VALUE (TREE_PURPOSE (t))),
3473
                  'h') != NULL
3474
          || tree_overlaps_hard_reg_set (val, &mof_set) != NULL_TREE)
3475
        return clobbers;
3476
    }
3477
 
3478
  return tree_cons (NULL_TREE,
3479
                    build_string (strlen (reg_names[CRIS_MOF_REGNUM]),
3480
                                  reg_names[CRIS_MOF_REGNUM]),
3481
                    clobbers);
3482
}
3483
 
3484
#if 0
3485
/* Various small functions to replace macros.  Only called from a
3486
   debugger.  They might collide with gcc functions or system functions,
3487
   so only emit them when '#if 1' above.  */
3488
 
3489
enum rtx_code Get_code (rtx);
3490
 
3491
enum rtx_code
3492
Get_code (rtx x)
3493
{
3494
  return GET_CODE (x);
3495
}
3496
 
3497
const char *Get_mode (rtx);
3498
 
3499
const char *
3500
Get_mode (rtx x)
3501
{
3502
  return GET_MODE_NAME (GET_MODE (x));
3503
}
3504
 
3505
rtx Xexp (rtx, int);
3506
 
3507
rtx
3508
Xexp (rtx x, int n)
3509
{
3510
  return XEXP (x, n);
3511
}
3512
 
3513
rtx Xvecexp (rtx, int, int);
3514
 
3515
rtx
3516
Xvecexp (rtx x, int n, int m)
3517
{
3518
  return XVECEXP (x, n, m);
3519
}
3520
 
3521
int Get_rtx_len (rtx);
3522
 
3523
int
3524
Get_rtx_len (rtx x)
3525
{
3526
  return GET_RTX_LENGTH (GET_CODE (x));
3527
}
3528
 
3529
/* Use upper-case to distinguish from local variables that are sometimes
3530
   called next_insn and prev_insn.  */
3531
 
3532
rtx Next_insn (rtx);
3533
 
3534
rtx
3535
Next_insn (rtx insn)
3536
{
3537
  return NEXT_INSN (insn);
3538
}
3539
 
3540
rtx Prev_insn (rtx);
3541
 
3542
rtx
3543
Prev_insn (rtx insn)
3544
{
3545
  return PREV_INSN (insn);
3546
}
3547
#endif
3548
 
3549
#include "gt-cris.h"
3550
 
3551
/*
3552
 * Local variables:
3553
 * eval: (c-set-style "gnu")
3554
 * indent-tabs-mode: t
3555
 * End:
3556
 */

powered by: WebSVN 2.1.0

© copyright 1999-2024 OpenCores.org, equivalent to Oliscience, all rights reserved. OpenCores®, registered trademark.