1248def livenessPlaceAll =
1249 (lambda unrestricted lifetimes : (family Lifetimes) .
1250 (eliminate
1251 Lifetimes
1252 (lambda unrestricted current : (family Lifetimes) .
1253 (pi unrestricted arenaBytes : (family ModelWord64) .
1254 (pi unrestricted state : (family LivenessPlacementState) . (family LivenessPlacementStep))))
1255 lifetimes
1256 (branch
1257 LifetimesEnd
1258 .
1259 (lambda unrestricted arenaBytes : (family ModelWord64) .
1260 (lambda unrestricted state : (family LivenessPlacementState) .
1261 (constructor LivenessPlacementStep LivenessPlacementAdvanced state))))
1262 (branch
1263 LifetimesNext
1264 head
1265 tail
1266 ih_tail
1267 .
1268 (lambda unrestricted arenaBytes : (family ModelWord64) .
1269 (lambda unrestricted state : (family LivenessPlacementState) .
1270 (eliminate
1271 LivenessPlacementStep
1272 (lambda unrestricted current : (family LivenessPlacementStep) .
1273 (family LivenessPlacementStep))
1274 (livenessPlaceOne arenaBytes head state)
1275 (branch LivenessPlacementAdvanced following . (ih_tail arenaBytes following))
1276 (branch
1277 LivenessPlacementStopped
1278 code
1279 stopped
1280 .
1281 (constructor LivenessPlacementStep LivenessPlacementStopped code stopped))))))))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.