Runtime.NativeSocketRoutine

170def nativeSocketPoll =
171  (lambda unrestricted events : Nat .
172    (lambda unrestricted tail : (family X86NativeAssembly) .
173      (nativePhysicalNativeLabel
174        b"socket-loop"
175        (nativePhysicalNativeEmit
176          (nativePhysicalNativeTest
177            (constructor X86NativeRegister64 X86NativeR13)
178            (constructor X86NativeRegister64 X86NativeR13))
179          (nativePhysicalNativeJumpCondition
180            (constructor X86NativeCondition X86NativeConditionZero)
181            b"socket-success"
182            (nativePhysicalNativeEmit
183              (nativePhysicalNativeTest
184                (constructor X86NativeRegister64 X86NativeR15)
185                (constructor X86NativeRegister64 X86NativeR15))
186              (nativePhysicalNativeJumpCondition
187                (constructor X86NativeCondition X86NativeConditionZero)
188                b"socket-timeout"
189                (nativePhysicalNativeEmit
190                  (nativePhysicalNativeAddImmediate
191                    (constructor X86NativeRegister64 X86NativeR15)
192                    (nativeSocketImmediate (naturalSaturatingSubtract 4294967296 1)))
193                  (nativePhysicalNativeEmit
194                    (nativePhysicalNativeStore64
195                      (constructor X86NativeRegister64 X86NativeRSP)
196                      (nativeSocketDisplacement nativeSocketPollSlot)
197                      (constructor X86NativeRegister64 X86NativeRBX))
198                    (nativePhysicalNativeEmit
199                      (nativePhysicalNativeMoveImmediate32
200                        (constructor X86NativeRegister64 X86NativeRAX)
201                        (nativeSocketImmediate events))
202                      (nativePhysicalNativeEmit
203                        (nativePhysicalNativeStore8
204                          (constructor X86NativeRegister64 X86NativeRSP)
205                          (nativeSocketDisplacement nativeSocketPollEventsSlot)
206                          (constructor X86NativeRegister64 X86NativeRAX))
207                        (nativePhysicalNativeEmit
208                          (nativePhysicalNativeMove
209                            (constructor X86NativeRegister64 X86NativeRSP)
210                            (constructor X86NativeRegister64 X86NativeRDI))
211                          (nativePhysicalNativeEmit
212                            (nativePhysicalNativeAddImmediate
213                              (constructor X86NativeRegister64 X86NativeRDI)
214                              (nativeSocketImmediate nativeSocketPollSlot))
215                            (nativePhysicalNativeEmit
216                              (nativePhysicalNativeMoveImmediate32
217                                (constructor X86NativeRegister64 X86NativeRSI)
218                                (nativeSocketImmediate 1))
219                              (nativePhysicalNativeEmit
220                                (nativePhysicalNativeMove
221                                  (constructor X86NativeRegister64 X86NativeR14)
222                                  (constructor X86NativeRegister64 X86NativeRDX))
223                                (nativePhysicalNativeEmit
224                                  (nativePhysicalNativeMoveImmediate32
225                                    (constructor X86NativeRegister64 X86NativeRAX)
226                                    (nativeSocketImmediate 7))
227                                  (nativePhysicalNativeEmit
228                                    nativePhysicalNativeSystemCallInstruction
229                                    (nativePhysicalNativeEmit
230                                      (nativePhysicalNativeCompareImmediate
231                                        (constructor X86NativeRegister64 X86NativeRAX)
232                                        (nativeSocketImmediate
233                                        (naturalSaturatingSubtract 4294967296 4)))
234                                      (nativePhysicalNativeJumpCondition
235                                        (constructor X86NativeCondition X86NativeConditionZero)
236                                        b"socket-loop"
237                                        (nativePhysicalNativeEmit
238                                        (nativePhysicalNativeTest
239                                        (constructor X86NativeRegister64 X86NativeRAX)
240                                        (constructor X86NativeRegister64 X86NativeRAX))
241                                        (nativePhysicalNativeJumpCondition
242                                        (constructor X86NativeCondition X86NativeConditionSign)
243                                        b"socket-return"
244                                        (nativePhysicalNativeJumpCondition
245                                        (constructor X86NativeCondition X86NativeConditionZero)
246                                        b"socket-timeout"
247                                        tail))))))))))))))))))))))