Created
June 10, 2018 08:36
-
-
Save koba-e964/a4d262af77cda753090fa2c4588d550a to your computer and use it in GitHub Desktop.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
asm-define even28 (x29: intptr):int { | |
let t_26: int = ld even28 8 1 in | |
let f_27: int = ld even28 4 1 in | |
let i14_38: int = set 0 in | |
ret if le x29 i14_38 then | |
let i15_39: int = set 0 in | |
ret if le i15_39 x29 then | |
ret set t_26 | |
else | |
let i16_41: int = set 1 in | |
let i17_40: int = add x29 i16_41 in | |
let i20_32_46: int = set 0 in | |
ret if le i17_40 i20_32_46 then | |
let i21_33_47: int = set 0 in | |
ret if le i21_33_47 i17_40 then | |
ret set f_27 | |
else | |
let i22_35_48: int = set 1 in | |
let i23_34_49: int = add i17_40 i22_35_48 in | |
ret [even28] i23_34_49, | |
else | |
let i24_37_50: int = set 1 in | |
let i25_36_51: int = sub i17_40 i24_37_50 in | |
ret [even28] i25_36_51, | |
else | |
let i18_43: int = set 1 in | |
let i19_42: int = sub x29 i18_43 in | |
let i20_32_52: int = set 0 in | |
ret if le i19_42 i20_32_52 then | |
let i21_33_53: int = set 0 in | |
ret if le i21_33_53 i19_42 then | |
ret set f_27 | |
else | |
let i22_35_54: int = set 1 in | |
let i23_34_55: int = add i19_42 i22_35_54 in | |
ret [even28] i23_34_55, | |
else | |
let i24_37_56: int = set 1 in | |
let i25_36_57: int = sub i19_42 i24_37_56 in | |
ret [even28] i25_36_57, | |
} | |
let t_26: int = set 123 in | |
let f_27: int = set 456 in | |
let even28: {int} -> int = set min_caml_hp in | |
let min_caml_hp: int = add min_caml_hp 16 in | |
let l60: int = setl even28 in | |
let u61: () = st l60 even28 0 1 in | |
let u59: () = st t_26 even28 8 1 in | |
let u58: () = st f_27 even28 4 1 in | |
let i12_45: int = set 789 in | |
let i13_44: int = [even28] i12_45, in | |
ret min_caml_print_int i13_44 | |
kobas-MacBook-Air:min-caml-rust koba_mac$ |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment