215def nativePhysicalGenerateNativeELF =
216 (lambda unrestricted program : (family NativePhysicalProgram) .
217 (eliminate
218 NativePhysicalImageResult
219 (lambda unrestricted current : (family NativePhysicalImageResult) .
220 (family NativePhysicalNativeELFResult))
221 (nativePhysicalGenerateImage program)
222 (branch
223 NativePhysicalImageGenerated
224 image
225 imageTelemetry
226 .
227 (eliminate
228 NativePhysicalImage
229 (lambda unrestricted current : (family NativePhysicalImage) .
230 (family NativePhysicalNativeELFResult))
231 image
232 (branch
233 NativePhysicalImageValue
234 imageBytes
235 bodyDigest
236 identity
237 commandCount
238 stateExtent
239 resultSlots
240 telemetry
241 .
242 (eliminate
243 X86NativeAssemblyResult
244 (lambda unrestricted current : (family X86NativeAssemblyResult) .
245 (family NativePhysicalNativeELFResult))
246 (x86NativeAssemble nativePhysicalNativeAssembly)
247 (branch
248 X86NativeAssemblyEncoded
249 codeBytes
250 .
251 (app
252 (lambda unrestricted machineBytes : Bytes .
253 (app
254 (lambda unrestricted elfBytes : Bytes .
255 (app
256 (lambda unrestricted codeSHA256 : Bytes .
257 (app
258 (lambda unrestricted imageSHA256 : Bytes .
259 (app
260 (lambda unrestricted machineSHA256 : Bytes .
261 (app
262 (lambda unrestricted elfSHA256 : Bytes .
263 (app
264 (lambda unrestricted artifactTelemetry : (family NativePhysicalNativeELFTelemetry) .
265 (constructor
266 NativePhysicalNativeELFResult
267 NativePhysicalNativeELFGenerated
268 (constructor
269 NativePhysicalNativeELFArtifact
270 NativePhysicalNativeELFArtifactValue
271 elfBytes
272 codeBytes
273 imageBytes
274 machineBytes
275 identity
276 codeSHA256
277 imageSHA256
278 machineSHA256
279 elfSHA256
280 commandCount
281 artifactTelemetry)
282 artifactTelemetry))
283 (nativePhysicalNativeELFTelemetryFor
284 codeBytes
285 imageBytes
286 machineBytes
287 elfBytes
288 identity
289 codeSHA256
290 imageSHA256
291 machineSHA256
292 elfSHA256)))
293 (sha256HexBytesOrEmpty (sha256Hex elfBytes))))
294 (sha256HexBytesOrEmpty (sha256Hex machineBytes))))
295 (sha256HexBytesOrEmpty (sha256Hex imageBytes))))
296 (sha256HexBytesOrEmpty (sha256Hex codeBytes))))
297 (wrapMachineCodeSparseLarge machineBytes)))
298 (bytes-append codeBytes imageBytes)))
299 (branch
300 X86NativeAssemblyEncodeDuplicateLabel
301 duplicateName
302 .
303 (nativePhysicalNativeELFFail
304 nativePhysicalNativeELFAssemblyFailurePhase
305 (constructor
306 NativePhysicalNativeELFErrorCode
307 NativePhysicalNativeELFDuplicateLabel
308 duplicateName)
309 b""
310 duplicateName))
311 (branch
312 X86NativeAssemblyEncodeOffsetOverflow
313 .
314 (nativePhysicalNativeELFFail
315 nativePhysicalNativeELFAssemblyFailurePhase
316 (constructor
317 NativePhysicalNativeELFErrorCode
318 NativePhysicalNativeELFAssemblyOffsetOverflow)
319 b""
320 b""))
321 (branch
322 X86NativeAssemblyMissingLabel
323 missingName
324 .
325 (nativePhysicalNativeELFFail
326 nativePhysicalNativeELFAssemblyFailurePhase
327 (constructor
328 NativePhysicalNativeELFErrorCode
329 NativePhysicalNativeELFMissingLabel
330 missingName)
331 b""
332 missingName))
333 (branch
334 X86NativeAssemblyDisplacementOutOfRange
335 distantName
336 .
337 (nativePhysicalNativeELFFail
338 nativePhysicalNativeELFAssemblyFailurePhase
339 (constructor
340 NativePhysicalNativeELFErrorCode
341 NativePhysicalNativeELFDisplacementOutOfRange
342 distantName)
343 b""
344 distantName))))))
345 (branch
346 NativePhysicalImageGenerationFailed
347 imageError
348 failureTelemetry
349 .
350 (nativePhysicalNativeELFFail
351 nativePhysicalNativeELFImageFailurePhase
352 (constructor
353 NativePhysicalNativeELFErrorCode
354 NativePhysicalNativeELFImageGenerationFailed
355 imageError)
356 (nativePhysicalNativeELFEncodeImageFailureTelemetry failureTelemetry)
357 b""))))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.