.
.
.
.
.
.
The following type defines the machine registers that can be referenced
as locations. These include:
-
Integer registers that can be allocated to RTL pseudo-registers.
-
Floating-point registers that can be allocated to RTL pseudo-registers.
-
The special FP0 register denoting the top of the X87 float stack.
The type
mreg does not include special-purpose or reserved
machine registers such as the stack pointer and the condition codes.
}.
Proof.
.
Proof.
.
Proof.
Two-address operations. Return true if the first argument and
the result must be in the same location *and* are unconstrained
by mregs_for_operation.
.