1077def livenessAlignUp =
1078 (lambda unrestricted value : (family ModelWord64) .
1079 (lambda unrestricted alignment : (family ModelWord64) .
1080 (app
1081 (lambda unrestricted mask : (family ModelWord64) .
1082 (eliminate
1083 ModelWord64CheckedResult
1084 (lambda unrestricted result : (family ModelWord64CheckedResult) .
1085 (family ModelWord64CheckedResult))
1086 (modelWord64AddChecked value mask)
1087 (branch
1088 ModelWord64CheckedSucceeded
1089 candidate
1090 .
1091 (constructor
1092 ModelWord64CheckedResult
1093 ModelWord64CheckedSucceeded
1094 (modelWord64And candidate (modelWord64Complement mask))))
1095 (branch
1096 ModelWord64CheckedFailed
1097 error
1098 .
1099 (constructor ModelWord64CheckedResult ModelWord64CheckedFailed error))))
1100 (modelWord64Subtract alignment modelWord64One))))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.