-{-
--- This seems pretty dubious to me. JRS, 000125.
-trivialCode instr x y
- | maybeToBool imm
- = getRegister y `thenUs` \ register1 ->
- let
- code__2 dst = let code1 = registerCode register1 dst
- src1 = registerName register1 dst
- in code1 .
- if isFixed register1 && src1 /= dst
- then mkSeqInstrs [MOV L (OpImm imm__2) (OpReg dst),
- instr (OpReg src1) (OpReg dst)]
- else
- -- can't possibly be right, if instr is
- -- non-commutative
- mkSeqInstr (instr (OpImm imm__2) (OpReg src1))
- in
- returnUs (Any IntRep code__2)
- where
- imm = maybeImm x
- imm__2 = case imm of Just x -> x
--}