gcc/testsuite/gcc.c-torture/execute/comp-goto-1.c

   1 /* { dg-require-effective-target label_values } */
   2 /* { dg-require-stack-size "4000" } */
   3
   4 #include <stdlib.h>
   5
   6 #if __INT_MAX__ >= 2147483647
   7 typedef unsigned int uint32;
   8 typedef signed int sint32;
   9
  10 typedef uint32 reg_t;
  11
  12 typedef unsigned long int host_addr_t;
  13 typedef uint32 target_addr_t;
  14 typedef sint32 target_saddr_t;
  15
  16 typedef union
  17 {
  18   struct
  19     {
  20       signed int        offset:18;
  21       unsigned int      ignore:4;
  22       unsigned int      s1:8;
  23       int               :2;
  24       signed int        simm:14;
  25       unsigned int      s3:8;
  26       unsigned int      s2:8;
  27       int               pad2:2;
  28     } f1;
  29   long long ll;
  30   double d;
  31 } insn_t;
  32
  33 typedef struct
  34 {
  35   target_addr_t vaddr_tag;
  36   unsigned long int rigged_paddr;
  37 } tlb_entry_t;
  38
  39 typedef struct
  40 {
  41   insn_t *pc;
  42   reg_t registers[256];
  43   insn_t *program;
  44   tlb_entry_t tlb_tab[0x100];
  45 } environment_t;
  46
  47 enum operations
  48 {
  49   LOAD32_RR,
  50   METAOP_DONE
  51 };
  52
  53 host_addr_t
  54 f ()
  55 {
  56   abort ();
  57 }
  58
  59 reg_t
  60 simulator_kernel (int what, environment_t *env)
  61 {
  62   register insn_t *pc = env->pc;
  63   register reg_t *regs = env->registers;
  64   register insn_t insn;
  65   register int s1;
  66   register reg_t r2;
  67   register void *base_addr = &&sim_base_addr;
  68   register tlb_entry_t *tlb = env->tlb_tab;
  69
  70   if (what != 0)
  71     {
  72       int i;
  73       static void *op_map[] =
  74         {
  75           &&L_LOAD32_RR,
  76           &&L_METAOP_DONE,
  77         };
  78       insn_t *program = env->program;
  79       for (i = 0; i < what; i++)
  80         program[i].f1.offset = op_map[program[i].f1.offset] - base_addr;
  81     }
  82
  83  sim_base_addr:;
  84
  85   insn = *pc++;
  86   r2 = (*(reg_t *) (((char *) regs) + (insn.f1.s2 << 2)));
  87   s1 = (insn.f1.s1 << 2);
  88   goto *(base_addr + insn.f1.offset);
  89
  90  L_LOAD32_RR:
  91   {
  92     target_addr_t vaddr_page = r2 / 4096;
  93     unsigned int x = vaddr_page % 0x100;
  94     insn = *pc++;
  95
  96     for (;;)
  97       {
  98         target_addr_t tag = tlb[x].vaddr_tag;
  99         host_addr_t rigged_paddr = tlb[x].rigged_paddr;
 100
 101         if (tag == vaddr_page)
 102           {
 103             *(reg_t *) (((char *) regs) + s1) = *(uint32 *) (rigged_paddr + r2);
 104             r2 = *(reg_t *) (((char *) regs) + (insn.f1.s2 << 2));
 105             s1 = insn.f1.s1 << 2;
 106             goto *(base_addr + insn.f1.offset);
 107           }
 108
 109         if (((target_saddr_t) tag < 0))
 110           {
 111             *(reg_t *) (((char *) regs) + s1) = *(uint32 *) f ();
 112             r2 = *(reg_t *) (((char *) regs) + (insn.f1.s2 << 2));
 113             s1 = insn.f1.s1 << 2;
 114             goto *(base_addr + insn.f1.offset);
 115           }
 116
 117         x = (x - 1) % 0x100;
 118       }
 119
 120     L_METAOP_DONE:
 121       return (*(reg_t *) (((char *) regs) + s1));
 122   }
 123 }
 124
 125 insn_t program[2 + 1];
 126
 127 void *malloc ();
 128
 129 int
 130 main ()
 131 {
 132   environment_t env;
 133   insn_t insn;
 134   int i, res;
 135   host_addr_t a_page = (host_addr_t) malloc (2 * 4096);
 136   target_addr_t a_vaddr = 0x123450;
 137   target_addr_t vaddr_page = a_vaddr / 4096;
 138   a_page = (a_page + 4096 - 1) & -4096;
 139
 140   env.tlb_tab[((vaddr_page) % 0x100)].vaddr_tag = vaddr_page;
 141   env.tlb_tab[((vaddr_page) % 0x100)].rigged_paddr = a_page - vaddr_page * 4096;
 142   insn.f1.offset = LOAD32_RR;
 143   env.registers[0] = 0;
 144   env.registers[2] = a_vaddr;
 145   *(sint32 *) (a_page + a_vaddr % 4096) = 88;
 146   insn.f1.s1 = 0;
 147   insn.f1.s2 = 2;
 148
 149   for (i = 0; i < 2; i++)
 150     program[i] = insn;
 151
 152   insn.f1.offset = METAOP_DONE;
 153   insn.f1.s1 = 0;
 154   program[2] = insn;
 155
 156   env.pc = program;
 157   env.program = program;
 158
 159   res = simulator_kernel (2 + 1, &env);
 160
 161   if (res != 88)
 162     abort ();
 163   exit (0);
 164 }
 165 #else
 166 main(){ exit (0); }
 167 #endif