270def nativePhysicalProgramComposeShiftOperandValue =
271 (lambda unrestricted addressClass :
272 (family NativePhysicalProgramComposeAddressClass) .
273 (lambda unrestricted base : (family ModelWord64) .
274 (lambda unrestricted value : (family ModelWord64) .
275 (eliminate ModelWord64CheckedResult
276 (lambda unrestricted current : (family ModelWord64CheckedResult) .
277 (family NativePhysicalProgramComposeOperandResult))
278 (app (app modelWord64AddChecked base) value)
279 (branch ModelWord64CheckedSucceeded shifted .
280 (constructor NativePhysicalProgramComposeOperandResult
281 NativePhysicalProgramComposeOperandRelocated
282 (constructor NativePhysicalOperand NativePhysicalImmediate shifted)
283 (succ zero) (succ zero)))
284 (branch ModelWord64CheckedFailed error .
285 (constructor NativePhysicalProgramComposeOperandResult
286 NativePhysicalProgramComposeOperandRejected
287 (constructor NativePhysicalProgramComposeErrorCode
288 NativePhysicalProgramComposeArithmeticFailed
289 addressClass error)
290 zero (succ 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.