modernc.org/ccgo/v3@v3.16.14/lib/testdata/gcc-9.1.0/gcc/testsuite/gcc.c-torture/execute/comp-goto-1.c (about)

     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