326def nativeSocketReturn =
327 (lambda unrestricted tail : (family X86NativeAssembly) .
328 (nativePhysicalNativeLabel
329 b"socket-invalid"
330 (nativePhysicalNativeEmit
331 (constructor
332 X86NativeInstruction
333 X86NativeClear32
334 (constructor X86NativeRegister64 X86NativeRAX))
335 (nativePhysicalNativeEmit
336 (nativePhysicalNativeAddImmediate
337 (constructor X86NativeRegister64 X86NativeRAX)
338 (nativeSocketImmediate (naturalSaturatingSubtract 4294967296 22)))
339 (nativePhysicalNativeJump
340 b"socket-return"
341 (nativePhysicalNativeLabel
342 b"socket-timeout"
343 (nativePhysicalNativeEmit
344 (constructor
345 X86NativeInstruction
346 X86NativeClear32
347 (constructor X86NativeRegister64 X86NativeRAX))
348 (nativePhysicalNativeEmit
349 (nativePhysicalNativeAddImmediate
350 (constructor X86NativeRegister64 X86NativeRAX)
351 (nativeSocketImmediate (naturalSaturatingSubtract 4294967296 110)))
352 (nativePhysicalNativeJump
353 b"socket-return"
354 (nativePhysicalNativeLabel
355 b"socket-eof"
356 (nativePhysicalNativeEmit
357 (constructor
358 X86NativeInstruction
359 X86NativeClear32
360 (constructor X86NativeRegister64 X86NativeRAX))
361 (nativePhysicalNativeEmit
362 (nativePhysicalNativeAddImmediate
363 (constructor X86NativeRegister64 X86NativeRAX)
364 (nativeSocketImmediate (naturalSaturatingSubtract 4294967296 61)))
365 (nativePhysicalNativeJump
366 b"socket-return"
367 (nativePhysicalNativeLabel
368 b"socket-success"
369 (nativePhysicalNativeEmit
370 (nativePhysicalNativeMove
371 (constructor X86NativeRegister64 X86NativeRBP)
372 (constructor X86NativeRegister64 X86NativeRAX))
373 (nativePhysicalNativeLabel
374 b"socket-return"
375 (nativePhysicalNativeEmit
376 (nativePhysicalNativeLoad64
377 (constructor X86NativeRegister64 X86NativeRBX)
378 (constructor X86NativeRegister64 X86NativeRSP)
379 (nativeSocketDisplacement nativeSocketSaveRBX))
380 (nativePhysicalNativeEmit
381 (nativePhysicalNativeLoad64
382 (constructor X86NativeRegister64 X86NativeRBP)
383 (constructor X86NativeRegister64 X86NativeRSP)
384 (nativeSocketDisplacement nativeSocketSaveRBP))
385 (nativePhysicalNativeEmit
386 (nativePhysicalNativeLoad64
387 (constructor X86NativeRegister64 X86NativeR12)
388 (constructor X86NativeRegister64 X86NativeRSP)
389 (nativeSocketDisplacement nativeSocketSaveR12))
390 (nativePhysicalNativeEmit
391 (nativePhysicalNativeLoad64
392 (constructor X86NativeRegister64 X86NativeR13)
393 (constructor X86NativeRegister64 X86NativeRSP)
394 (nativeSocketDisplacement nativeSocketSaveR13))
395 (nativePhysicalNativeEmit
396 (nativePhysicalNativeLoad64
397 (constructor X86NativeRegister64 X86NativeR14)
398 (constructor X86NativeRegister64 X86NativeRSP)
399 (nativeSocketDisplacement nativeSocketSaveR14))
400 (nativePhysicalNativeEmit
401 (nativePhysicalNativeLoad64
402 (constructor X86NativeRegister64 X86NativeR15)
403 (constructor X86NativeRegister64 X86NativeRSP)
404 (nativeSocketDisplacement nativeSocketSaveR15))
405 (nativePhysicalNativeEmit
406 (nativePhysicalNativeAddImmediate
407 (constructor X86NativeRegister64 X86NativeRSP)
408 (nativeSocketImmediate nativeSocketStackBytes))
409 (nativePhysicalNativeEmit
410 nativePhysicalNativeReturnInstruction
411 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.