Volume 3: Pseudo-Code Functions
3:285
is_read_only_reg(rtype, raddr)
Returns a one if the register addressed by
raddr
in the register bank of type
rtype
is a read only register.
is_reserved_field(regclass, arg2, arg3)
Returns true if the specified data would write a one in a reserved field.
is_reserved_reg(regclass, regnum)
Returns true if register
regnum
is reserved in the
regclass
register file.
is_supported_hint(hint)
Returns true if the implementation supports the specified
hint
. This function may
depend on factors other than the
hint
value, such as which execution unit it is
executed on or the slot number the instruction was encoded in.
itlb_ar()
Returns the page access rights from the ITLB for the page addressed by the current
IP, or INVALID_AR if PSR.it is 0.
make_icache_coherent(paddr)
The cache line addressed by the physical address
paddr
is flushed in an
implementation-specific manner that ensures that the instruction cache is coherent
with the data caches.
mem_flush(paddr)
The line addressed by the physical address
paddr
is invalidated in all levels of the
memory hierarchy above memory and written back to memory if it is inconsistent with
memory.
mem_flush_pending_stores()
The processor is instructed to start draining pending stores in write coalescing and
write buffers. This operation is a hint. There is no indication when prior stores have
actually been drained.
mem_implicit_prefetch(vaddr, hint, type)
Moves the line addressed by
vaddr
to the location of the memory hierarchy specified
by
hint
. This function is implementation dependent and can be ignored. The
type
allows the implementation to distinguish prefetches for different instruction types.
mem_promote(paddr, mtype, hint)
Moves the line addressed by
paddr
to the highest level of the memory hierarchy
conditioned by the access hints specified by
hint
. Implementation dependent and
can be ignored.
mem_read(paddr, size, border, mattr,
otype, hint)
Returns the
size
bytes starting at the physical memory location specified by
paddr
with byte order specified by
border
, memory attributes specified by
mattr
, and
access hint specified by
hint
.
otype
specifies the memory ordering attribute of this
access, and must be UNORDERED or ACQUIRE.
mem_read_pair(*low_value, *high_value,
paddr, size, border, mattr, otype, hint)
Reads the
size
/ 2 bytes of memory starting at the physical memory address
specified by
paddr
into
low_value
, and the
size
/ 2 bytes of memory starting at the
physical memory address specified by (
paddr
+
size
/ 2) into
high_value
, with
byte order specified by
border
, memory attributes specified by
mattr
, and access
hint specified by
hint
.
otype
specifies the memory ordering attribute of this access,
and must be UNORDERED or ACQUIRE. No value is returned.
mem_write(value, paddr, size, border,
mattr, otype, hint)
Writes the least significant
size
bytes of
value
into memory starting at the physical
memory address specified by
paddr
with byte order specified by
border
, memory
attributes specified by
mattr
, and access hint specified by
hint
.
otype
specifies the
memory ordering attribute of this access, and must be UNORDERED or RELEASE.
No value is returned.
mem_write16(gr_value, ar_value, paddr,
border, mattr, otype, hint)
Writes the 8 bytes of
gr_value
into memory starting at the physical memory address
specified by
paddr
, and the 8 bytes of
ar_value
into memory starting at the physical
memory address specified by (
paddr
+ 8), with byte order specified by
border
,
memory attributes specified by
mattr
, and access hint specified by
hint
.
otype
specifies the memory ordering attribute of this access, and must be UNORDERED or
RELEASE. No value is returned.
mem_xchg(data, paddr, size, byte_order,
mattr, otype, hint)
Returns size bytes from memory starting at the physical address specified by
paddr
.
The read is conditioned by the locality hint specified by
hint
. After the read, the least
significant
size
bytes of data are written to
size
bytes in memory starting at the
physical address specified by
paddr
. The read and write are performed atomically.
Both the read and the write are conditioned by the memory attribute specified by
mattr
and the byte ordering in memory is specified by
byte_order
.
otype
specifies
the memory ordering attribute of this access, and must be ACQUIRE.
Table 3-1.
Pseudo-code Functions (Continued)
Function
Operation
Summary of Contents for Itanium 9150M
Page 1: ......
Page 209: ...3 200 Volume 3 Instruction Reference padd Interruptions Illegal Operation fault...
Page 405: ...3 396 Volume 3 Resource and Dependency Semantics...
Page 406: ...3 397 Intel Itanium Architecture Software Developer s Manual Rev 2 3 Index...
Page 407: ...3 398 Intel Itanium Architecture Software Developer s Manual Rev 2 3...
Page 419: ...INDEX Index 12 Index for Volumes 1 2 3 and 4...
Page 420: ......