REGIMM 000001 |
base |
ATOMIC 00111 |
0 |
Bit |
offset |
6 |
5 |
5 |
1 |
3 |
12 |
ACLR bit, offset(base) |
MIPS32, MCU ASE |
Atomically Clear Bit within Byte |
Atomically Clear Bit within Byte
Disable interrupts; temp = memory[GPR[base] + offset]; temp = (temp and ~(1<< bit)) ; memory[GPR[base] + offset] = temp; Enable Interrupts
The contents ofthe byte atthe memory location speciied by the effective address are fetched. The speciied bit within the byte is cleared to zero. The modiied byte is stored in memory at the location speciied by the effective address. The 12-bit signed offset is added to the contents of GPR base to form the effective address. The read-modifywrite sequence cannot be interrupted.
Transactions with locking semantics occurin some memory interconnects/busses.Itisimplementation-speciic whether this instruction uses such locking transactions.
is UNPREDICTABLE if an ACLR instruction is executed in the delay slot of aThe operation ofthe processor branch or jump instruction.
vAddr = sign_extend(offset) + GPR[base] (pAddr, CCA) = AddressTranslation (vAddr, DATA, STORE) pAddr = pAddrPSIZE-1..2 || (pAddr1..0 xor ReverseEndian2) TempIE = StatusIE StatusIE = 0 memword = LoadMemory (CCA, BYTE, pAddr, vAddr, DATA) byte = vAddr1..0 xor BigEndianCPU2 temp = memword7+8*byte..8*byte temp = temp and (( 1 || 0bit) xor 0xFF)) dataword = temp || 08*byte StoreMemory (CCA, BYTE, dataword, pAddr, vAddr, DATA) StatusIE = TempIE
TLB Reill, TLB Invalid, TLB Modiied, Address Error, Watch
Upon a TLB miss, a TLBS exception is signalled in the ExcCode ield ofthe Cause register. For address error, a
ADES exception is signalled in the ExcCode ield of the Cause register. For other data-stream related exceptions such as Debug Data Break exceptions and Watch exceptions, it is implementation-speciic whether this instruction is treated as a load or as a store.
REGIMM 000001 |
base |
ATOMIC 00111 |
1 |
Bit |
offset |
6 |
5 |
5 |
1 |
3 |
12 |
ASET bit, offset(base) |
MIPS32, MCU ASE |
Atomically Set Bit within Byte |
Atomically Set Bit within Byte
Disable interrupts;temp = memory[GPR[base] + offset]; temp = (temp or (1 <<bit)) ; memory[GPR[base] + offset] = temp; Enable Interrupts
The contents ofthe byte atthe memory location speciied by the effective address are fetched. The speciied bit within the byte is set to one. The modiied byte is stored in memory at the location speciied by the effective address.
The 12-bit signed offsetis added to the contents of GPR base to form the effective address. The read-modify-write sequence cannot be interrupted.
Transactions with locking semantics occurin some memory interconnects/busses.Itisimplementation-speciic whether this instruction uses such locking transactions.
is UNPREDICTABLE if an ASET instruction is executed in the delay slot of aThe operation ofthe processor branch or jump instruction.
vAddr = sign_extend(offset) + GPR[base] (pAddr, CCA) = AddressTranslation (vAddr, DATA, STORE) pAddr = pAddrPSIZE-1..2 || (pAddr1..0 xor ReverseEndian2) TempIE = StatusIE StatusIE = 0 memword = LoadMemory (CCA, BYTE, pAddr, vAddr, DATA) byte = vAddr1..0 xor BigEndianCPU2 temp = memword7+8*byte..8*byte temp = temp or ( 1 || 0bit) dataword = temp || 08*byte StoreMemory (CCA, BYTE, dataword, pAddr, vAddr, DATA) StatusIE = TempIE
TLB Reill, TLB Invalid, TLB Modiied, Address Error, Watch
Upon a TLB miss, a TLBS exception is signalled in the ExcCode ield ofthe Cause register. For address error, a
ADES exception is signalled in the ExcCode ield of the Cause register. For other data-stream related exceptions such as Debug Data Break exceptions and Watch exceptions, it is implementation-speciic whether this instruction is treated as a load or as a store.
COP0 010000 |
C0 1 |
0 00 0000 0000 0000 0000 |
IRET 111000 |
6 |
1 |
20 |
6 |
IRET |
MIPS32, MCU ASE |
Interrupt Return with automated interrupt epilogue handling |
Interrupt Return with automated interrupt epilogue handling
Optionally jump directly to another interrupt vector without returning to original return address.
IRET automates some of the operations that are required when returning from an interrupt handler and can be used in place of the ERET instruction at the end of interrupt handlers. IRET is only appropriate when using Shadow Register
Sets and the EIC Interrupt mode. The automated operations of this instruction can be used to reverse the effects of the automated operations of the Auto-Prologue feature.
If the EIC interrupt mode and the Interrupt Chaining feature are used, the IRET instruction can be used to shorten the time between returning from the current interrupt handler and handling the next requested interrupt.
If the Automated Prologue feature is disabled, then IRET behaves exactly like ERET.
If either the StatusERL or StatusBEV bits are set, then IRET behaves exactly like ERET.
If Interrupt Chaining is disabled:
Interrupts are disabled. COP0 Status, SRSCtl, and EPC registers are restored from the stack. GPR 29 is incremented for the stack frame size. IRET then clears execution and instruction hazards, conditionally restores
SRSCtlCSS from SRSCtlPSS, and returns at the completion of interrupt processing to the interrupted instruction
pointed to by the EPC register.
If Interrupt Chaining is enabled:
Interrupts are disabled. COP0 Status register is restored from the stack. The priority output of the External Interrupt Controller is compared with the IPL field of the Status register.
If StatusIPL has a higher priority than or equal to the External Interrupt Controller value:
COP0 SRSCtl and EPC registers are restored from the stack. GPR 29 is incremented for the stack frame size.
IRET then clears execution and instruction hazards, conditionally restores SRSCtlCSS from SRSCtlPSS, and returns to the interrupted instruction pointed to by the EPC register at the completion of interrupt processing.
If StatusIPL has a lower priority than the External Interrupt Controller value:
The value of GPR 29 is first saved to a temporary register then GPR 29 is incremented for the stack frame size. The EIC is signalled that the next pending interrupt has been accepted. This signalling will update the
CauseRIPL and SRSCtlEICSS fields from the EIC output values. The SRSCtlEICSS field is copied to the
SRSCtlCSS field, while the CauseRIPL field is copied to the StatusIPL field. The saved temporary register is
copied to the GPR 29 of the current SRS. The KSU and EXL fields of the Status register are optionally set to zero. No barrier for execution hazards or instruction hazards is created. IRET finishes by jumping to the interrupt vector driven by the EIC.
IRET does not execute the next instruction (i.e., it has no delay slot).
The operation of the processor is UNDEFINED if IRET is executed in the delay slot of a branch or jump instruction.
The operation ofthe processor is UNDEFINED ifIRET is executed when either Shadow Register Sets are not enabled, or when the EIC interrupt mode is not enabled.
An IRET placed between an LL and SC instruction will always cause the SC to fail.
The effective addresses used for stack transactions must be naturally-aligned. If either of the two least-significant bits of the address is non-zero, an Address Error exception occurs.
IRET implements a software barrier that resolves all execution and instruction hazards created by Coprocessor 0 state changes
(for Release 2 implementations,referto the SYNCIinstruction for additionalinformation on resolving instruction hazards created by writing the instruction stream). The effects of this barrier begin with the instruction fetch and decode of the instruction at the PC to which the IRET returns.
In a Release 2 implementation, IRET does not restore SRSCtlCSS from SRSCtlPSS if StatusBEV = 1 or StatusERL = 1, because any exception that sets StatusERL to 1 (Reset, Soft Reset, NMI, or cache error) does not save SRSCtlCSS in
SRSCtlPSS. If software sets StatusERL to 1,it must be aware of the operation of an IRET that may be subsequently executed.
The stack memory transactions behave as individual LW operations with respectto exception reporting. BadVAddr would report the faulting address for an unaligned access, and the faulting word address for unprivileged access, TLB
Refill, and TLB Invalid exceptions. For TLB exceptions, the faulting word address would be reflected in the Context and EntryHi registers. The CacheError register would reflect the faulting word address for Cache Errors.
if (( IntCtlAPE == 0) | (StatusERL == 1) | (StatusBEV== 1)) Act as ERET // read Operation section of ERET description else temp = 0x4 + GPR[29] tempStatus = LoadStackWord(temp) ClearHazards() if ( (IntCtlICE == 0) | ((IntCtlICE == 1) & (tempStatusIPL≥ EICRIPL)) ) temp = 0x8 + GPR[29] tempSRSCtl = LoadStackWord(temp) temp = 0x0 + GPR[29] tempEPC = LoadStackWord(temp) endif Status = tempStatus if ( (IntCtlICE == 0) | ((IntCtlICE == 1) & (tempStatusIPL≥ EICRIPL)) ) GPR[29] = GPR[29] + DecodedValue(IntCtlStkDec) SRSCtlPSS = tempSRSCtlPSS SRSCtlESS = tempSRSCtlESS EPC = tempEPC temp = EPC StatusEXL = 0 if (ArchitectureRevision ≥ 2) and (SRSCtlHSS > 0) and (StatusBEV = 0) then SRSCtlCSS = SRSCtlPSS endif if IsMicroMIPSImplemented() then PC = temp31..1 || 0 ISAMode = temp0 else endif LLbit = 0 CauseIC = 0 ClearHazards() else CauseRIPL = EICRIPL SRSCtlEICSS = EICSS temp29 = GPR[29] GPR[29] = GPR[29] + DecodedValue(IntCtlStkDec) StatusIPL = CauseRIPL SRSCtlCSS = SRSCtlEICSS NewShadowSet = SRSCtlEICSS GPR[29] = temp29 if (IntCtlClrEXL == 1) StatusEXL = 0 StatusKSU = 0 endif LLbit = 0 CauseIC = 1 ClearHazards() PC = CalcIntrptAddress() endif endif function LoadStackWord(vaddr) if vAddr1..0 != 02 then SignalException(AddressError) endif (pAddr, CCA) = AddressTranslation (vAddr, DATA, LOAD) memword = LoadMemory (CCA, WORD, pAddr, vAddr, DATA) LoadStackWord = memword endfunction LoadStackWord function CalcIntrptAddress() if StatusBEV == 1 vectorBase = 0xBFC0.0200 else if ( ArchitectureRevision ≥ 2) vectorBase = EBase31..12 || 011) else vectorBase = 0x8000.0000 endif endif if (CauseIV == 0) vectorOffset = 0x180 else if (StatusBEV = 1) or (IntCtlVS = 0) vectorOffset = 0x200 else if ( Config3VEIC == 1 and EIC_Option == 1) VectorNum = CauseRIPL elseif (Config3VEIC == 1 and EIC_Option == 2) VectorNum = EIC_VectorNum elseif (Config3VEIC == 0 ) endif if (Config3VEIC == 1 and EIC_Option == 3) vectorOffset = EIC_VectorOffset else vectorOffset = 0x200 + (VectorNum x (IntCtlVS || 05)) endif endif endif CalcIntrptAddress = vectorBase | vectorOffset if (Config3ISAOnExec) CalcIntrptAddress = CalcIntrptAddress31..1 || 1 endif endfunction CalcIntrptAddress
Coprocessor Unusable Exception, TLB Refill, TLB Invalid, Address Error, Watch, Cache Error, Bus Error
Exceptions