Runtime.NativeSocketRoutine

76def nativeSocketEntry =
77  (lambda unrestricted tail : (family X86NativeAssembly) .
78    (nativePhysicalNativeEmit
79      (nativePhysicalNativeAddImmediate
80        (constructor X86NativeRegister64 X86NativeRSP)
81        (nativeSocketImmediate (naturalSaturatingSubtract 4294967296 nativeSocketStackBytes)))
82      (nativePhysicalNativeEmit
83        (nativePhysicalNativeStore64
84          (constructor X86NativeRegister64 X86NativeRSP)
85          (nativeSocketDisplacement nativeSocketSaveRBX)
86          (constructor X86NativeRegister64 X86NativeRBX))
87        (nativePhysicalNativeEmit
88          (nativePhysicalNativeStore64
89            (constructor X86NativeRegister64 X86NativeRSP)
90            (nativeSocketDisplacement nativeSocketSaveRBP)
91            (constructor X86NativeRegister64 X86NativeRBP))
92          (nativePhysicalNativeEmit
93            (nativePhysicalNativeStore64
94              (constructor X86NativeRegister64 X86NativeRSP)
95              (nativeSocketDisplacement nativeSocketSaveR12)
96              (constructor X86NativeRegister64 X86NativeR12))
97            (nativePhysicalNativeEmit
98              (nativePhysicalNativeStore64
99                (constructor X86NativeRegister64 X86NativeRSP)
100                (nativeSocketDisplacement nativeSocketSaveR13)
101                (constructor X86NativeRegister64 X86NativeR13))
102              (nativePhysicalNativeEmit
103                (nativePhysicalNativeStore64
104                  (constructor X86NativeRegister64 X86NativeRSP)
105                  (nativeSocketDisplacement nativeSocketSaveR14)
106                  (constructor X86NativeRegister64 X86NativeR14))
107                (nativePhysicalNativeEmit
108                  (nativePhysicalNativeStore64
109                    (constructor X86NativeRegister64 X86NativeRSP)
110                    (nativeSocketDisplacement nativeSocketSaveR15)
111                    (constructor X86NativeRegister64 X86NativeR15))
112                  (nativePhysicalNativeEmit
113                    (nativePhysicalNativeMove
114                      (constructor X86NativeRegister64 X86NativeRDI)
115                      (constructor X86NativeRegister64 X86NativeRBX))
116                    (nativePhysicalNativeEmit
117                      (nativePhysicalNativeMove
118                        (constructor X86NativeRegister64 X86NativeRSI)
119                        (constructor X86NativeRegister64 X86NativeR12))
120                      (nativePhysicalNativeEmit
121                        (nativePhysicalNativeMove
122                          (constructor X86NativeRegister64 X86NativeRDX)
123                          (constructor X86NativeRegister64 X86NativeR13))
124                        (nativePhysicalNativeEmit
125                          (nativePhysicalNativeMove
126                            (constructor X86NativeRegister64 X86NativeRDX)
127                            (constructor X86NativeRegister64 X86NativeRBP))
128                          (nativePhysicalNativeEmit
129                            (nativePhysicalNativeMove
130                              (constructor X86NativeRegister64 X86NativeRCX)
131                              (constructor X86NativeRegister64 X86NativeR14))
132                            (nativePhysicalNativeEmit
133                              (nativePhysicalNativeMove
134                                (constructor X86NativeRegister64 X86NativeR8)
135                                (constructor X86NativeRegister64 X86NativeR15))
136                              (nativePhysicalNativeEmit
137                                (nativePhysicalNativeCompareImmediate
138                                  (constructor X86NativeRegister64 X86NativeRBX)
139                                  (nativeSocketImmediate 2147483647))
140                                (nativePhysicalNativeJumpCondition
141                                  (constructor X86NativeCondition X86NativeConditionAbove)
142                                  b"socket-invalid"
143                                  (nativePhysicalNativeEmit
144                                    (nativePhysicalNativeCompareImmediate
145                                      (constructor X86NativeRegister64 X86NativeR14)
146                                      (nativeSocketImmediate 2147483647))
147                                    (nativePhysicalNativeJumpCondition
148                                      (constructor X86NativeCondition X86NativeConditionAbove)
149                                      b"socket-invalid"
150                                      (nativePhysicalNativeEmit
151                                        (nativePhysicalNativeTest
152                                        (constructor X86NativeRegister64 X86NativeR13)
153                                        (constructor X86NativeRegister64 X86NativeR13))
154                                        (nativePhysicalNativeJumpCondition
155                                        (constructor X86NativeCondition X86NativeConditionSign)
156                                        b"socket-invalid"
157                                        (nativePhysicalNativeEmit
158                                        (nativePhysicalNativeMove
159                                        (constructor X86NativeRegister64 X86NativeR12)
160                                        (constructor X86NativeRegister64 X86NativeRAX))
161                                        (nativePhysicalNativeEmit
162                                        (nativePhysicalNativeAdd
163                                        (constructor X86NativeRegister64 X86NativeR13)
164                                        (constructor X86NativeRegister64 X86NativeRAX))
165                                        (nativePhysicalNativeJumpCondition
166                                        (constructor X86NativeCondition X86NativeConditionBelow)
167                                        b"socket-invalid"
168                                        tail)))))))))))))))))))))))