-extendIntCode :: PrimRep -> PrimRep -> StixTree -> NatM Register
-extendIntCode pks pkd x
- = coerceIntCode pks x `thenNat` \ register ->
- getNewRegNCG pks `thenNat` \ reg ->
- let
- code = registerCode register reg
- src = registerName register reg
- opc = case pkd of IntRep -> MOVSxL ; WordRep -> MOVZxL
- sz = primRepToSize pks
- code__2 dst = code `snocOL` opc sz (OpReg src) (OpReg dst)
- in
- returnNat (Any pkd code__2)
-
-------------