gistfile1.fs

let rec findPivot (myArray : int[]) i =
    if i = 0 then 
        -1
    else
        System.Diagnostics.Trace.Assert false
        if myArray.[i] > myArray.[i-1] then i - 1
        else findPivot myArray (i - 1)
 
findPivot [| 1; 2; 3; 4 |] 3

gistfile2.asm

    if i = 0 then 
00000000  push        rbx 
00000001  push        rdi 
00000002  sub         rsp,28h 
00000006  mov         ebx,edx 
00000008  mov         rdi,rcx // prologue
0000000b  nop         dword ptr [rax+rax] 
00000010  test        ebx,ebx // ebx contains i
00000012  jne         0000000000000020 // check
        -1
00000014  mov         eax,0FFFFFFFFh // -1 to eax and jmp to epilogue
00000019  jmp         0000000000000056 
0000001b  nop         dword ptr [rax+rax] 
00000020  mov         rcx,1F013250h 
0000002a  mov         rcx,qword ptr [rcx] 
0000002d  call        000000004908C4F8 // System.Diagnostics.Trace.Assert false
        if myArray.[i] > myArray.[i-1] then i - 1
00000032  movsxd      rax,ebx 
00000035  mov         rcx,qword ptr [rdi+8] 
00000039  cmp         rax,rcx 
0000003c  jae         0000000000000061 // range check
0000003e  mov         edx,dword ptr [rdi+rax*4+10h] // myArray[i]
00000042  dec         ebx 
00000044  movsxd      rax,ebx 
00000047  cmp         rax,rcx 
0000004a  jae         0000000000000061 // range check
0000004c  mov         eax,dword ptr [rdi+rax*4+10h] // myArray[i - 1]
00000050  cmp         edx,eax 
00000052  jle         0000000000000058 
00000054  mov         eax,ebx // ebx (i - 1) to eax and jmp to the epilogue
00000056  jmp         000000000000005A 
        else findPivot myArray (i - 1) 
00000058  jmp         0000000000000010 // jmp to the beginning of the loop
0000005a  add         rsp,28h 
0000005e  pop         rdi 
0000005f  pop         rbx 
00000060  ret 
        if myArray.[i] > myArray.[i-1] then i - 1
00000061  call        000000005FA6A6D4 
00000066  nop