Skip to content

Instantly share code, notes, and snippets.

@koba-e964
Created June 10, 2018 08:36
Show Gist options
  • Save koba-e964/a4d262af77cda753090fa2c4588d550a to your computer and use it in GitHub Desktop.
Save koba-e964/a4d262af77cda753090fa2c4588d550a to your computer and use it in GitHub Desktop.
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