;==============================================================
; Intel Asm
;==============================================================
         .486
         .model flat, stdcall
         option casemap :none
         include \masm32\include\windows.inc
         include \masm32\include\masm32.inc
         include \masm32\include\kernel32.inc
         include \masm32\macros\macros.asm

         includelib \masm32\lib\masm32.lib
         includelib \masm32\lib\kernel32.lib

;==============================================================
         .data
Txt db ?, 0

;==============================================================
; Entry point:
         .code
start:
         FINIT
         PUSH  EBP
         MOV   EBP,  ESP
         SUB   ESP,  8
         ; Let Ti1_10 = 
         ; Integer 10000
         MOV   EAX,  10000
         MOV   [EBP-4],  EAX
         ; Let Ti2_9 = 
         ; Apply direct sum_7
         PUSH  dword ptr [EBP-4]
         CALL  sum_7
         ADD   ESP,  4
         MOV   [EBP-8],  EAX
         ; Apply direct min_caml_print_int
         PUSH  dword ptr [EBP-8]
         CALL  min_caml_print_int
         ADD   ESP,  4
         MOV   ESP,  EBP
         POP   EBP
         PUSH  0
         CALL  ExitProcess

;==============================================================
; Function sum_7:

sum_7 proc
         PUSH  EBP
         MOV   EBP,  ESP
         SUB   ESP,  16
         ; Let Ti3_11 = 
         ; Integer 0
         MOV   EAX,  0
         MOV   [EBP-4],  EAX
         ; If x_8 <= Ti3_11
         MOV   EAX,  [EBP+8]
         CMP   EAX,  [EBP-4]
         JG    else_15
         ; Integer 0
         MOV   EAX,  0
         MOV   ESP,  EBP
         POP   EBP
         RET
else_15:
         ; Let Ti4_14 = 
         ; Integer 1
         MOV   EAX,  1
         MOV   [EBP-8],  EAX
         ; Let Ti5_13 = 
         ; Sub x_8 - Ti4_14
         MOV   EAX,  [EBP+8]
         SUB   EAX,  [EBP-8]
         MOV   [EBP-12],  EAX
         ; Let Ti6_12 = 
         ; Apply direct sum_7
         PUSH  dword ptr [EBP-12]
         CALL  sum_7
         ADD   ESP,  4
         MOV   [EBP-16],  EAX
         ; Add Ti6_12 + x_8
         MOV   EAX,  [EBP-16]
         ADD   EAX,  [EBP+8]
         MOV   ESP,  EBP
         POP   EBP
         RET
sum_7 endp

;==============================================================
; need to copy min_caml_intel.asm from min-caml directory to output directoty
include min_caml_intel.asm

END start

;==============================================================

