Runtime.NativeSocketRoutine

249def nativeSocketIO =
250  (lambda unrestricted flags : Nat .
251    (lambda unrestricted syscallNumber : Nat .
252      (lambda unrestricted tail : (family X86NativeAssembly) .
253        (nativePhysicalNativeEmit
254          (nativePhysicalNativeMove
255            (constructor X86NativeRegister64 X86NativeRBX)
256            (constructor X86NativeRegister64 X86NativeRDI))
257          (nativePhysicalNativeEmit
258            (nativePhysicalNativeMove
259              (constructor X86NativeRegister64 X86NativeR12)
260              (constructor X86NativeRegister64 X86NativeRSI))
261            (nativePhysicalNativeEmit
262              (nativePhysicalNativeMove
263                (constructor X86NativeRegister64 X86NativeR13)
264                (constructor X86NativeRegister64 X86NativeRDX))
265              (nativePhysicalNativeEmit
266                (nativePhysicalNativeMoveImmediate32
267                  (constructor X86NativeRegister64 X86NativeR10)
268                  (nativeSocketImmediate flags))
269                (nativePhysicalNativeEmit
270                  (constructor
271                    X86NativeInstruction
272                    X86NativeClear32
273                    (constructor X86NativeRegister64 X86NativeR8))
274                  (nativePhysicalNativeEmit
275                    (constructor
276                      X86NativeInstruction
277                      X86NativeClear32
278                      (constructor X86NativeRegister64 X86NativeR9))
279                    (nativePhysicalNativeEmit
280                      (nativePhysicalNativeMoveImmediate32
281                        (constructor X86NativeRegister64 X86NativeRAX)
282                        (nativeSocketImmediate syscallNumber))
283                      (nativePhysicalNativeEmit
284                        nativePhysicalNativeSystemCallInstruction
285                        (nativePhysicalNativeEmit
286                          (nativePhysicalNativeCompareImmediate
287                            (constructor X86NativeRegister64 X86NativeRAX)
288                            (nativeSocketImmediate (naturalSaturatingSubtract 4294967296 4)))
289                          (nativePhysicalNativeJumpCondition
290                            (constructor X86NativeCondition X86NativeConditionZero)
291                            b"socket-loop"
292                            (nativePhysicalNativeEmit
293                              (nativePhysicalNativeCompareImmediate
294                                (constructor X86NativeRegister64 X86NativeRAX)
295                                (nativeSocketImmediate (naturalSaturatingSubtract 4294967296 11)))
296                              (nativePhysicalNativeJumpCondition
297                                (constructor X86NativeCondition X86NativeConditionZero)
298                                b"socket-loop"
299                                (nativePhysicalNativeEmit
300                                  (nativePhysicalNativeTest
301                                    (constructor X86NativeRegister64 X86NativeRAX)
302                                    (constructor X86NativeRegister64 X86NativeRAX))
303                                  (nativePhysicalNativeJumpCondition
304                                    (constructor X86NativeCondition X86NativeConditionSign)
305                                    b"socket-return"
306                                    (nativePhysicalNativeJumpCondition
307                                      (constructor X86NativeCondition X86NativeConditionZero)
308                                      b"socket-eof"
309                                      (nativePhysicalNativeEmit
310                                        (nativePhysicalNativeCompare
311                                        (constructor X86NativeRegister64 X86NativeR13)
312                                        (constructor X86NativeRegister64 X86NativeRAX))
313                                        (nativePhysicalNativeJumpCondition
314                                        (constructor X86NativeCondition X86NativeConditionAbove)
315                                        b"socket-invalid"
316                                        (nativePhysicalNativeEmit
317                                        (nativePhysicalNativeAdd
318                                        (constructor X86NativeRegister64 X86NativeRAX)
319                                        (constructor X86NativeRegister64 X86NativeR12))
320                                        (nativePhysicalNativeEmit
321                                        (nativePhysicalNativeSubtract
322                                        (constructor X86NativeRegister64 X86NativeRAX)
323                                        (constructor X86NativeRegister64 X86NativeR13))
324                                        (nativePhysicalNativeJump b"socket-loop" tail)))))))))))))))))))))))