1130def chCombineLocal =
1131 (lambda unrestricted layout : (family CoordinateHostLayout) .
1132 (lambda unrestricted forward : (pi unrestricted tail : (family NativePhysicalCommands) . (family NativePhysicalCommands)) .
1133 (lambda unrestricted operation : (family OrderedCombineOperation (family RegionFrameLayout)) .
1134 (eliminate
1135 OrderedCombineOperation
1136 (lambda unrestricted current : (family OrderedCombineOperation (family RegionFrameLayout)) .
1137 (pi unrestricted tail : (family NativePhysicalCommands) .
1138 (family NativePhysicalCommands)))
1139 operation
1140 (branch
1141 CombineReadLeaf
1142 destination
1143 .
1144 (lambda unrestricted tail : (family NativePhysicalCommands) .
1145 (forward
1146 (nativeFloat64RequireFinite
1147 (nativeMemoryLoad (chPartial layout))
1148 nativePeerScratchSlot
1149 b"coordinate-partial-nonfinite"
1150 tail))))
1151 (branch
1152 CombineCopy
1153 source
1154 destination
1155 .
1156 (chStore
1157 (chCombineAddress layout destination)
1158 (nativeMemoryLoad (chCombineAddress layout source))))
1159 (branch
1160 CombineApply
1161 left
1162 right
1163 destination
1164 .
1165 (lambda unrestricted tail : (family NativePhysicalCommands) .
1166 (let unrestricted a =
1167 (chCombineAddress layout left)
1168 in
1169 (let unrestricted z =
1170 (chCombineAddress layout right)
1171 in
1172 (let unrestricted out =
1173 (chCombineAddress layout destination)
1174 in
1175 (nativeFloat64RequireFinite
1176 (nativeMemoryLoad a)
1177 nativePeerScratchSlot
1178 b"coordinate-partial-nonfinite"
1179 (nativeFloat64RequireFinite
1180 (nativeMemoryLoad z)
1181 nativePeerScratchSlot
1182 b"coordinate-partial-nonfinite"
1183 (chBinary
1184 chAdd
1185 out
1186 a
1187 z
1188 (nativeFloat64RequireFinite
1189 (nativeMemoryLoad out)
1190 nativePeerScratchSlot
1191 b"coordinate-partial-nonfinite"
1192 tail)))))))))
1193 (branch
1194 CombinePrepare
1195 source
1196 frame
1197 .
1198 (chStore (framePayloadAt frame) (nativeMemoryLoad (chCombineAddress layout source))))
1199 (branch
1200 CombineConsume
1201 frame
1202 destination
1203 .
1204 (lambda unrestricted tail : (family NativePhysicalCommands) .
1205 (nativeFrameConsume
1206 frame
1207 (nativeFloat64RequireFinite
1208 (nativeMemoryLoad (framePayloadAt frame))
1209 nativePeerScratchSlot
1210 b"coordinate-partial-nonfinite"
1211 (chStore
1212 (chCombineAddress layout destination)
1213 (nativeMemoryLoad (framePayloadAt frame))
1214 tail)))))))))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.