1 when the operand addresses its own record's payload.
1081def nativePhysicalImageOperandReadsPayload =
1082 (lambda unrestricted operand : (family NativePhysicalOperand) .
1083 (eliminate
1084 NativePhysicalOperand
1085 (lambda unrestricted current : (family NativePhysicalOperand) . Nat)
1086 operand
1087 (branch NativePhysicalImmediate value . zero)
1088 (branch NativePhysicalResultValue slot . zero)
1089 (branch NativePhysicalResultAddress slot offset . zero)
1090 (branch NativePhysicalStateAddress offset . zero)
1091 (branch NativePhysicalStateLoad64 offset . zero)
1092 (branch NativePhysicalPayloadAddress offset . (succ zero))
1093 (branch NativePhysicalPayloadLoad64 offset . (succ zero))
1094 (branch NativePhysicalProcessArgument index . zero)
1095 (branch NativePhysicalLoopAffine base stride . zero)))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.