sfence.inval.ir

Order implicit page table reads after invalidation

This instruction is defined by:

  • Svinval, version >= 0

This instruction is included in the following profiles:

  • RVA22S64 (Mandatory)

Encoding

svg

Assembly format

`sfence.inval.ir `

Synopsis

The sfence.inval.ir instruction guarantees that any previous sinval.vma instructions executed by the current hart are ordered before subsequent implicit references by that hart to the memory-management data structures.

Access

M HS U VS VU

Always

Sometimes

Never

Sometimes

Never

Decode Variables

Execution

  • IDL

if (mode() == PrivilegeMode::U) {
  raise(ExceptionCode::IllegalInstruction, mode(), $encoding);
}
if (CSR[misa].H == 1 && mode() == PrivilegeMode::VU) {
  raise(ExceptionCode::VirtualInstruction, mode(), $encoding);
}
VmaOrderType vma_type;
vma_type.global = true;
vma_type.smode = true;
if (CSR[misa].H == 1) {
  vma_type.vsmode = true;
  vma_type.gstage = true;
}
order_pgtbl_reads_after_vmafence(vma_type);

Exceptions

This instruction may result in the following synchronous exceptions:

  • IllegalInstruction

  • VirtualInstruction