- | munch_exp d (T.ARG(0)) = [X.MOV(d, X.REG X.EDI)]
- | munch_exp d (T.ARG(1)) = [X.MOV(d, X.REG X.ESI)]
- | munch_exp d (T.ARG(2)) = [X.MOV(d, X.REG X.EDX)]
- | munch_exp d (T.ARG(3)) = [X.MOV(d, X.REG X.ECX)]
- | munch_exp d (T.ARG(4)) = [X.MOV(d, X.REG X.R8D)]
- | munch_exp d (T.ARG(5)) = [X.MOV(d, X.REG X.R9D)]
- | munch_exp d (T.ARG(t)) = [X.MOV(d, X.STACKARG (t - 6))]
- | munch_exp d (T.CALL(name, l)) = (* Scary demons live here. *)
+ | munch_exp d (T.ARG(0, sz)) = [X.MOV(d, X.OSIZE (X.sts sz, X.REG X.EDI))]
+ | munch_exp d (T.ARG(1, sz)) = [X.MOV(d, X.OSIZE (X.sts sz, X.REG X.ESI))]
+ | munch_exp d (T.ARG(2, sz)) = [X.MOV(d, X.OSIZE (X.sts sz, X.REG X.EDX))]
+ | munch_exp d (T.ARG(3, sz)) = [X.MOV(d, X.OSIZE (X.sts sz, X.REG X.ECX))]
+ | munch_exp d (T.ARG(4, sz)) = [X.MOV(d, X.OSIZE (X.sts sz, X.REG X.R8D))]
+ | munch_exp d (T.ARG(5, sz)) = [X.MOV(d, X.OSIZE (X.sts sz, X.REG X.R9D))]
+ | munch_exp d (T.ARG(t, sz)) = [X.MOV(d, X.OSIZE (X.sts sz, X.STACKARG (t - 6)))]
+ | munch_exp d (T.CALL(name, l, rsz)) = (* Scary demons live here. *)