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

Subversion Repositories or1k

[/] [or1k/] [tags/] [nog_patch_47/] [or1ksim/] [cpu/] [or1k/] [except.c] - Blame information for rev 344

Go to most recent revision | Details | Compare with Previous | View Log

Line No. Rev Author Line
1 33 lampret
/* except.c -- Simulation of OR1K exceptions
2
   Copyright (C) 1999 Damjan Lampret, lampret@opencores.org
3
 
4
This file is part of OpenRISC 1000 Architectural Simulator.
5
 
6
This program is free software; you can redistribute it and/or modify
7
it under the terms of the GNU General Public License as published by
8
the Free Software Foundation; either version 2 of the License, or
9
(at your option) any later version.
10
 
11
This program is distributed in the hope that it will be useful,
12
but WITHOUT ANY WARRANTY; without even the implied warranty of
13
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
14
GNU General Public License for more details.
15
 
16
You should have received a copy of the GNU General Public License
17
along with this program; if not, write to the Free Software
18
Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. */
19
 
20
#include <stdlib.h>
21
#include <stdio.h>
22
#include <string.h>
23
 
24
#include "abstract.h"
25
#include "except.h"
26
#include "sprs.h"
27 344 markom
#include "sim-config.h"
28 33 lampret
 
29 139 chris
static void except_handle_backend(int,unsigned long,unsigned long);
30
 
31 33 lampret
extern int cont_run;
32
extern struct iqueue_entry iqueue[20];
33
extern unsigned long pc;
34 82 lampret
extern unsigned long pcnext;
35 123 markom
extern unsigned long pc_phy;
36 51 lampret
extern struct iqueue_entry iqueue[];
37 33 lampret
 
38 82 lampret
extern int delay_insn;
39 123 markom
int cycle_delay = 0;  /* Added by CZ 27/05/01 */
40 82 lampret
 
41 139 chris
static struct {
42
  int valid;
43
  int type;
44
  unsigned long address;
45
  unsigned long saved;
46
} pending;
47
 
48
void ClearPendingException()
49
{
50
  if(pending.valid && pending.type != EXCEPT_RESET)
51
    {
52
      pending.valid = 0;
53
      pending.type = 0;
54
      pending.address = 0;
55
      pending.saved = 0;
56
    }
57
}
58
 
59
/* The delayed_pc and delayed_pcnext are fields which hold
60
   the original value of the PC across breakpoint exceptions
61
   in the case of a development interface. Due to an implementation
62
   issues, DIR injected instructions can modify these values
63
   when in fact they should not. So we save and restore them
64
   later on. */
65
static unsigned long delayed_pc = 0;
66
static unsigned long delayed_pcnext = 0;
67
static int delayed_pc_valid = 0;
68
 
69 182 chris
void ClearPreparedPCState()
70
{
71
  delayed_pc_valid = 0;
72
}
73
 
74
/* This routine is never called if the cpu is not stalled...
75
   i.e. cpu_stalled == 0. _execute_update_pc is called
76
   directly in that case. This routine exists to sort out
77
   the difference between a single step break and a full
78
   software break. */
79 139 chris
void PrepareExceptionPC(unsigned long t_pc,unsigned long t_pcnext)
80
{
81
  /* If a real exception occurred which has stalled
82
     the CPU, we are expecting to halt before the end
83
     of the instruction. Otherwise, if it is a single
84
     step that has caused the halt, we are expected to
85
     complete the entire instruction and stop after
86
     it is finished. */
87
 
88
  if(pending.valid)
89
    {
90
      delayed_pc = t_pc;
91
      delayed_pcnext = t_pcnext;
92
      delayed_pc_valid = 1;
93
    }
94
  else
95
    _execute_update_pc(t_pc,t_pcnext);
96
}
97
 
98
void PrepareException()
99
{
100
  if(delayed_pc_valid)
101
    {
102
      pc = delayed_pc;
103
      pcnext = delayed_pcnext;
104
      pc_phy = simulate_ic_mmu_fetch(pc);
105 221 markom
      if (verify_memoryarea(pc_phy))
106
              except_handle(EXCEPT_BUSERR, pc);
107 139 chris
      delayed_pc_valid = delayed_pc = delayed_pcnext = 0;
108
    }
109
 
110
  if(pending.valid)
111
    except_handle_backend(pending.type,pending.address,pending.saved);
112
}
113
 
114 33 lampret
/* Handle OR1K exceptions. */
115
void except_handle(int except, unsigned long ea)
116
{
117 139 chris
  pending.valid = 1;
118
  pending.type = except;
119
  pending.address = ea;
120
  pending.saved = pc;
121
 
122
  if(DebugCheckException(except))
123
    {
124
      pending.valid = 0;
125
      pending.type = 0;
126
      pending.address = 0;
127
      pending.saved = 0;
128
    }
129 152 chris
  else
130
    {
131
      printf("Exception 0x%x (%s): ", except, EXCEPT_NAME(except));
132
      printf("Iqueue[0].insn_addr: 0x%x  Eff ADDR: 0x%x\n",  iqueue[0].insn_addr, ea);
133
      printf("  pc: 0x%x  pcnext: 0x%x\n",  pc, pcnext);
134
    }
135 139 chris
 
136
  cycle_delay = 0;  /* An exception stalls the CPU 0 clock cycles */
137
}
138
 
139
static void except_handle_backend(int except, unsigned long ea, unsigned long pc_saved)
140
{
141 344 markom
  /* Ignore masked exceptions */
142
  if (! IS_NME(except) && (!(mfspr(SPR_SR) & SPR_SR_EXR))) {
143
    if (config.sim.verbose)
144
                  printf("INFO: Exception occured while exception detection was disabled.\n");
145
                return;
146
        }
147
  pending.valid = 0;
148
  pending.type = 0;
149
  pending.address = 0;
150
  pending.saved = 0;
151 139 chris
 
152 33 lampret
#if ONLY_VIRTUAL_MACHINE
153 344 markom
        fprintf(stderr, "WARNING: No exception processing while ONLY_VIRTUAL_MACHINE is defined.\n");
154 51 lampret
        cont_run = 0;
155 33 lampret
#else
156 51 lampret
 
157 82 lampret
        if (delay_insn) {
158 344 markom
                printf("INFO: Exception during execution of delay slot insn.\n");
159 82 lampret
                pc -= 4;
160
        }
161
#if 0
162
        if ((pcnext != (pc + 4)) && (except != EXCEPT_ITLBMISS)) {      /* Always execute delay slot insn */
163
                printf("XXXXXXXXXXXXXX\n");
164 77 lampret
                fetch();                                                /* before starting with exception */
165
                decode(&iqueue[0]);                                      /* (itlbmiss is special case) */
166 51 lampret
                execute();
167
        }
168 82 lampret
#endif
169 123 markom
 
170 64 lampret
        pc_saved = pc & ~0x3;
171 51 lampret
        mtspr(SPR_EPCR_BASE, pc_saved);
172 33 lampret
        mtspr(SPR_EEAR_BASE, ea);
173 64 lampret
        mtspr(SPR_ESR_BASE, mfspr(SPR_SR));
174
 
175
        /* Address translation is always disabled when starting exception. */
176
        mtspr(SPR_SR, mfspr(SPR_SR) & ~(SPR_SR_DME));
177
        mtspr(SPR_SR, mfspr(SPR_SR) & ~(SPR_SR_IME));
178
 
179 33 lampret
        mtspr(SPR_SR, mfspr(SPR_SR) | SPR_SR_SUPV);     /* SUPV mode */
180 51 lampret
        mtspr(SPR_SR, mfspr(SPR_SR) & ~SPR_SR_EXR);     /* Disable except. */
181 167 markom
 
182 33 lampret
        pc = (unsigned long)except;
183 123 markom
 
184 139 chris
        /* This has been removed. All exceptions (not just SYSCALL) suffer
185
           from the same problem. The solution is to continue just like
186
           the pipeline would, and issue the exception on the next
187
           clock cycle. We assume now that this function is being called
188
           ->BEFORE<- the instruction fetch and after the previous update
189
           which always yields the correct behavior. This has the added
190
           advantage that a debugger can prevent an exception from
191
           taking place by resetting the pc. */
192
#if 0
193 123 markom
        /* MM: We do pc update after the execute (in the simulator), so we
194
           decrease it by 4 so that next instruction points to first exception
195 167 markom
           instruction.  Do NOT comment this out. */
196 123 markom
        if (except == EXCEPT_SYSCALL)
197
          pc -= 4;
198 139 chris
#endif
199 123 markom
        pcnext = pc+4;
200
 
201
        /* Added by CZ 27/05/01 */
202 139 chris
        pc_phy = pc;      /* An exception always turns off the MMU, so
203
                             pc is always pc_phy */
204
 
205 33 lampret
#endif
206
}

powered by: WebSVN 2.1.0

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