You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
1212 lines
50 KiB
1212 lines
50 KiB
//===-- MSP430InstrInfo.td - MSP430 Instruction defs -------*- tablegen -*-===//
|
|
//
|
|
// The LLVM Compiler Infrastructure
|
|
//
|
|
// This file is distributed under the University of Illinois Open Source
|
|
// License. See LICENSE.TXT for details.
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
//
|
|
// This file describes the MSP430 instructions in TableGen format.
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
include "MSP430InstrFormats.td"
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
// Type Constraints.
|
|
//===----------------------------------------------------------------------===//
|
|
class SDTCisI8<int OpNum> : SDTCisVT<OpNum, i8>;
|
|
class SDTCisI16<int OpNum> : SDTCisVT<OpNum, i16>;
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
// Type Profiles.
|
|
//===----------------------------------------------------------------------===//
|
|
def SDT_MSP430Call : SDTypeProfile<0, -1, [SDTCisVT<0, iPTR>]>;
|
|
def SDT_MSP430CallSeqStart : SDCallSeqStart<[SDTCisVT<0, i16>]>;
|
|
def SDT_MSP430CallSeqEnd : SDCallSeqEnd<[SDTCisVT<0, i16>, SDTCisVT<1, i16>]>;
|
|
def SDT_MSP430Wrapper : SDTypeProfile<1, 1, [SDTCisSameAs<0, 1>,
|
|
SDTCisPtrTy<0>]>;
|
|
def SDT_MSP430Cmp : SDTypeProfile<0, 2, [SDTCisSameAs<0, 1>]>;
|
|
def SDT_MSP430BrCC : SDTypeProfile<0, 2, [SDTCisVT<0, OtherVT>,
|
|
SDTCisVT<1, i8>]>;
|
|
def SDT_MSP430SelectCC : SDTypeProfile<1, 3, [SDTCisSameAs<0, 1>,
|
|
SDTCisSameAs<1, 2>,
|
|
SDTCisVT<3, i8>]>;
|
|
def SDT_MSP430Shift : SDTypeProfile<1, 2, [SDTCisSameAs<0, 1>,
|
|
SDTCisI8<2>]>;
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
// MSP430 Specific Node Definitions.
|
|
//===----------------------------------------------------------------------===//
|
|
def MSP430retflag : SDNode<"MSP430ISD::RET_FLAG", SDTNone,
|
|
[SDNPHasChain, SDNPOptInGlue, SDNPVariadic]>;
|
|
def MSP430retiflag : SDNode<"MSP430ISD::RETI_FLAG", SDTNone,
|
|
[SDNPHasChain, SDNPOptInGlue, SDNPVariadic]>;
|
|
|
|
def MSP430rra : SDNode<"MSP430ISD::RRA", SDTIntUnaryOp, []>;
|
|
def MSP430rla : SDNode<"MSP430ISD::RLA", SDTIntUnaryOp, []>;
|
|
def MSP430rrc : SDNode<"MSP430ISD::RRC", SDTIntUnaryOp, []>;
|
|
|
|
def MSP430call : SDNode<"MSP430ISD::CALL", SDT_MSP430Call,
|
|
[SDNPHasChain, SDNPOutGlue, SDNPOptInGlue, SDNPVariadic]>;
|
|
def MSP430callseq_start :
|
|
SDNode<"ISD::CALLSEQ_START", SDT_MSP430CallSeqStart,
|
|
[SDNPHasChain, SDNPOutGlue]>;
|
|
def MSP430callseq_end :
|
|
SDNode<"ISD::CALLSEQ_END", SDT_MSP430CallSeqEnd,
|
|
[SDNPHasChain, SDNPOptInGlue, SDNPOutGlue]>;
|
|
def MSP430Wrapper : SDNode<"MSP430ISD::Wrapper", SDT_MSP430Wrapper>;
|
|
def MSP430cmp : SDNode<"MSP430ISD::CMP", SDT_MSP430Cmp, [SDNPOutGlue]>;
|
|
def MSP430brcc : SDNode<"MSP430ISD::BR_CC", SDT_MSP430BrCC,
|
|
[SDNPHasChain, SDNPInGlue]>;
|
|
def MSP430selectcc: SDNode<"MSP430ISD::SELECT_CC", SDT_MSP430SelectCC,
|
|
[SDNPInGlue]>;
|
|
def MSP430shl : SDNode<"MSP430ISD::SHL", SDT_MSP430Shift, []>;
|
|
def MSP430sra : SDNode<"MSP430ISD::SRA", SDT_MSP430Shift, []>;
|
|
def MSP430srl : SDNode<"MSP430ISD::SRL", SDT_MSP430Shift, []>;
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
// MSP430 Operand Definitions.
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
// Address operands
|
|
def memsrc : Operand<i16> {
|
|
let PrintMethod = "printSrcMemOperand";
|
|
let MIOperandInfo = (ops GR16, i16imm);
|
|
}
|
|
|
|
def memdst : Operand<i16> {
|
|
let PrintMethod = "printSrcMemOperand";
|
|
let MIOperandInfo = (ops GR16, i16imm);
|
|
}
|
|
|
|
// Short jump targets have OtherVT type and are printed as pcrel imm values.
|
|
def jmptarget : Operand<OtherVT> {
|
|
let PrintMethod = "printPCRelImmOperand";
|
|
}
|
|
|
|
// Operand for printing out a condition code.
|
|
def cc : Operand<i8> {
|
|
let PrintMethod = "printCCOperand";
|
|
}
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
// MSP430 Complex Pattern Definitions.
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
def addr : ComplexPattern<iPTR, 2, "SelectAddr", [], []>;
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
// Pattern Fragments
|
|
def zextloadi16i8 : PatFrag<(ops node:$ptr), (i16 (zextloadi8 node:$ptr))>;
|
|
def extloadi16i8 : PatFrag<(ops node:$ptr), (i16 ( extloadi8 node:$ptr))>;
|
|
def and_su : PatFrag<(ops node:$lhs, node:$rhs), (and node:$lhs, node:$rhs), [{
|
|
return N->hasOneUse();
|
|
}]>;
|
|
//===----------------------------------------------------------------------===//
|
|
// Instruction list..
|
|
|
|
// ADJCALLSTACKDOWN/UP implicitly use/def SP because they may be expanded into
|
|
// a stack adjustment and the codegen must know that they may modify the stack
|
|
// pointer before prolog-epilog rewriting occurs.
|
|
// Pessimistically assume ADJCALLSTACKDOWN / ADJCALLSTACKUP will become
|
|
// sub / add which can clobber SR.
|
|
let Defs = [SP, SR], Uses = [SP] in {
|
|
def ADJCALLSTACKDOWN : Pseudo<(outs), (ins i16imm:$amt),
|
|
"#ADJCALLSTACKDOWN",
|
|
[(MSP430callseq_start timm:$amt)]>;
|
|
def ADJCALLSTACKUP : Pseudo<(outs), (ins i16imm:$amt1, i16imm:$amt2),
|
|
"#ADJCALLSTACKUP",
|
|
[(MSP430callseq_end timm:$amt1, timm:$amt2)]>;
|
|
}
|
|
|
|
let usesCustomInserter = 1 in {
|
|
def Select8 : Pseudo<(outs GR8:$dst), (ins GR8:$src, GR8:$src2, i8imm:$cc),
|
|
"# Select8 PSEUDO",
|
|
[(set GR8:$dst,
|
|
(MSP430selectcc GR8:$src, GR8:$src2, imm:$cc))]>;
|
|
def Select16 : Pseudo<(outs GR16:$dst), (ins GR16:$src, GR16:$src2, i8imm:$cc),
|
|
"# Select16 PSEUDO",
|
|
[(set GR16:$dst,
|
|
(MSP430selectcc GR16:$src, GR16:$src2, imm:$cc))]>;
|
|
let Defs = [SR] in {
|
|
def Shl8 : Pseudo<(outs GR8:$dst), (ins GR8:$src, GR8:$cnt),
|
|
"# Shl8 PSEUDO",
|
|
[(set GR8:$dst, (MSP430shl GR8:$src, GR8:$cnt))]>;
|
|
def Shl16 : Pseudo<(outs GR16:$dst), (ins GR16:$src, GR8:$cnt),
|
|
"# Shl16 PSEUDO",
|
|
[(set GR16:$dst, (MSP430shl GR16:$src, GR8:$cnt))]>;
|
|
def Sra8 : Pseudo<(outs GR8:$dst), (ins GR8:$src, GR8:$cnt),
|
|
"# Sra8 PSEUDO",
|
|
[(set GR8:$dst, (MSP430sra GR8:$src, GR8:$cnt))]>;
|
|
def Sra16 : Pseudo<(outs GR16:$dst), (ins GR16:$src, GR8:$cnt),
|
|
"# Sra16 PSEUDO",
|
|
[(set GR16:$dst, (MSP430sra GR16:$src, GR8:$cnt))]>;
|
|
def Srl8 : Pseudo<(outs GR8:$dst), (ins GR8:$src, GR8:$cnt),
|
|
"# Srl8 PSEUDO",
|
|
[(set GR8:$dst, (MSP430srl GR8:$src, GR8:$cnt))]>;
|
|
def Srl16 : Pseudo<(outs GR16:$dst), (ins GR16:$src, GR8:$cnt),
|
|
"# Srl16 PSEUDO",
|
|
[(set GR16:$dst, (MSP430srl GR16:$src, GR8:$cnt))]>;
|
|
|
|
}
|
|
}
|
|
|
|
let hasSideEffects = 0 in
|
|
def NOP : Pseudo<(outs), (ins), "nop", []>;
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
// Control Flow Instructions...
|
|
//
|
|
|
|
// FIXME: Provide proper encoding!
|
|
let isReturn = 1, isTerminator = 1, isBarrier = 1 in {
|
|
def RET : IForm16<0x0, DstReg, SrcPostInc, Size2Bytes,
|
|
(outs), (ins), "ret", [(MSP430retflag)]>;
|
|
def RETI : II16r<0x0, (outs), (ins), "reti", [(MSP430retiflag)]>;
|
|
}
|
|
|
|
let isBranch = 1, isTerminator = 1 in {
|
|
|
|
// FIXME: expand opcode & cond field for branches!
|
|
|
|
// Direct branch
|
|
let isBarrier = 1 in {
|
|
// Short branch
|
|
def JMP : CJForm<0, 0, (outs), (ins jmptarget:$dst),
|
|
"jmp\t$dst",
|
|
[(br bb:$dst)]>;
|
|
let isIndirectBranch = 1 in {
|
|
// Long branches
|
|
def Bi : I16ri<0, (outs), (ins i16imm:$brdst),
|
|
"br\t$brdst",
|
|
[(brind tblockaddress:$brdst)]>;
|
|
def Br : I16rr<0, (outs), (ins GR16:$brdst),
|
|
"br\t$brdst",
|
|
[(brind GR16:$brdst)]>;
|
|
def Bm : I16rm<0, (outs), (ins memsrc:$brdst),
|
|
"br\t$brdst",
|
|
[(brind (load addr:$brdst))]>;
|
|
}
|
|
}
|
|
|
|
// Conditional branches
|
|
let Uses = [SR] in
|
|
def JCC : CJForm<0, 0,
|
|
(outs), (ins jmptarget:$dst, cc:$cc),
|
|
"j$cc\t$dst",
|
|
[(MSP430brcc bb:$dst, imm:$cc)]>;
|
|
} // isBranch, isTerminator
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
// Call Instructions...
|
|
//
|
|
let isCall = 1 in
|
|
// All calls clobber the non-callee saved registers. SPW is marked as
|
|
// a use to prevent stack-pointer assignments that appear immediately
|
|
// before calls from potentially appearing dead. Uses for argument
|
|
// registers are added manually.
|
|
let Defs = [R12, R13, R14, R15, SR],
|
|
Uses = [SP] in {
|
|
def CALLi : II16i<0x0,
|
|
(outs), (ins i16imm:$dst),
|
|
"call\t$dst", [(MSP430call imm:$dst)]>;
|
|
def CALLr : II16r<0x0,
|
|
(outs), (ins GR16:$dst),
|
|
"call\t$dst", [(MSP430call GR16:$dst)]>;
|
|
def CALLm : II16m<0x0,
|
|
(outs), (ins memsrc:$dst),
|
|
"call\t${dst:mem}", [(MSP430call (load addr:$dst))]>;
|
|
}
|
|
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
// Miscellaneous Instructions...
|
|
//
|
|
let Defs = [SP], Uses = [SP], hasSideEffects=0 in {
|
|
let mayLoad = 1 in
|
|
def POP16r : IForm16<0x0, DstReg, SrcPostInc, Size2Bytes,
|
|
(outs GR16:$reg), (ins), "pop.w\t$reg", []>;
|
|
|
|
let mayStore = 1 in
|
|
def PUSH16r : II16r<0x0,
|
|
(outs), (ins GR16:$reg), "push.w\t$reg",[]>;
|
|
}
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
// Move Instructions
|
|
|
|
// FIXME: Provide proper encoding!
|
|
let hasSideEffects = 0 in {
|
|
def MOV8rr : I8rr<0x0,
|
|
(outs GR8:$dst), (ins GR8:$src),
|
|
"mov.b\t{$src, $dst}",
|
|
[]>;
|
|
def MOV16rr : I16rr<0x0,
|
|
(outs GR16:$dst), (ins GR16:$src),
|
|
"mov.w\t{$src, $dst}",
|
|
[]>;
|
|
}
|
|
|
|
// FIXME: Provide proper encoding!
|
|
let isReMaterializable = 1, isAsCheapAsAMove = 1 in {
|
|
def MOV8ri : I8ri<0x0,
|
|
(outs GR8:$dst), (ins i8imm:$src),
|
|
"mov.b\t{$src, $dst}",
|
|
[(set GR8:$dst, imm:$src)]>;
|
|
def MOV16ri : I16ri<0x0,
|
|
(outs GR16:$dst), (ins i16imm:$src),
|
|
"mov.w\t{$src, $dst}",
|
|
[(set GR16:$dst, imm:$src)]>;
|
|
}
|
|
|
|
let canFoldAsLoad = 1, isReMaterializable = 1 in {
|
|
def MOV8rm : I8rm<0x0,
|
|
(outs GR8:$dst), (ins memsrc:$src),
|
|
"mov.b\t{$src, $dst}",
|
|
[(set GR8:$dst, (load addr:$src))]>;
|
|
def MOV16rm : I16rm<0x0,
|
|
(outs GR16:$dst), (ins memsrc:$src),
|
|
"mov.w\t{$src, $dst}",
|
|
[(set GR16:$dst, (load addr:$src))]>;
|
|
}
|
|
|
|
def MOVZX16rr8 : I8rr<0x0,
|
|
(outs GR16:$dst), (ins GR8:$src),
|
|
"mov.b\t{$src, $dst}",
|
|
[(set GR16:$dst, (zext GR8:$src))]>;
|
|
def MOVZX16rm8 : I8rm<0x0,
|
|
(outs GR16:$dst), (ins memsrc:$src),
|
|
"mov.b\t{$src, $dst}",
|
|
[(set GR16:$dst, (zextloadi16i8 addr:$src))]>;
|
|
|
|
let mayLoad = 1, hasExtraDefRegAllocReq = 1, Constraints = "$base = $base_wb" in {
|
|
def MOV8rm_POST : IForm8<0x0, DstReg, SrcPostInc, Size2Bytes,
|
|
(outs GR8:$dst, GR16:$base_wb), (ins GR16:$base),
|
|
"mov.b\t{@$base+, $dst}", []>;
|
|
def MOV16rm_POST : IForm16<0x0, DstReg, SrcPostInc, Size2Bytes,
|
|
(outs GR16:$dst, GR16:$base_wb), (ins GR16:$base),
|
|
"mov.w\t{@$base+, $dst}", []>;
|
|
}
|
|
|
|
// Any instruction that defines a 8-bit result leaves the high half of the
|
|
// register. Truncate can be lowered to EXTRACT_SUBREG, and CopyFromReg may
|
|
// be copying from a truncate, but any other 8-bit operation will zero-extend
|
|
// up to 16 bits.
|
|
def def8 : PatLeaf<(i8 GR8:$src), [{
|
|
return N->getOpcode() != ISD::TRUNCATE &&
|
|
N->getOpcode() != TargetOpcode::EXTRACT_SUBREG &&
|
|
N->getOpcode() != ISD::CopyFromReg;
|
|
}]>;
|
|
|
|
// In the case of a 8-bit def that is known to implicitly zero-extend,
|
|
// we can use a SUBREG_TO_REG.
|
|
def : Pat<(i16 (zext def8:$src)),
|
|
(SUBREG_TO_REG (i16 0), GR8:$src, subreg_8bit)>;
|
|
|
|
def MOV8mi : I8mi<0x0,
|
|
(outs), (ins memdst:$dst, i8imm:$src),
|
|
"mov.b\t{$src, $dst}",
|
|
[(store (i8 imm:$src), addr:$dst)]>;
|
|
def MOV16mi : I16mi<0x0,
|
|
(outs), (ins memdst:$dst, i16imm:$src),
|
|
"mov.w\t{$src, $dst}",
|
|
[(store (i16 imm:$src), addr:$dst)]>;
|
|
|
|
def MOV8mr : I8mr<0x0,
|
|
(outs), (ins memdst:$dst, GR8:$src),
|
|
"mov.b\t{$src, $dst}",
|
|
[(store GR8:$src, addr:$dst)]>;
|
|
def MOV16mr : I16mr<0x0,
|
|
(outs), (ins memdst:$dst, GR16:$src),
|
|
"mov.w\t{$src, $dst}",
|
|
[(store GR16:$src, addr:$dst)]>;
|
|
|
|
def MOV8mm : I8mm<0x0,
|
|
(outs), (ins memdst:$dst, memsrc:$src),
|
|
"mov.b\t{$src, $dst}",
|
|
[(store (i8 (load addr:$src)), addr:$dst)]>;
|
|
def MOV16mm : I16mm<0x0,
|
|
(outs), (ins memdst:$dst, memsrc:$src),
|
|
"mov.w\t{$src, $dst}",
|
|
[(store (i16 (load addr:$src)), addr:$dst)]>;
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
// Arithmetic Instructions
|
|
|
|
let Constraints = "$src = $dst" in {
|
|
|
|
let Defs = [SR] in {
|
|
|
|
let isCommutable = 1 in { // X = ADD Y, Z == X = ADD Z, Y
|
|
|
|
def ADD8rr : I8rr<0x0,
|
|
(outs GR8:$dst), (ins GR8:$src, GR8:$src2),
|
|
"add.b\t{$src2, $dst}",
|
|
[(set GR8:$dst, (add GR8:$src, GR8:$src2)),
|
|
(implicit SR)]>;
|
|
def ADD16rr : I16rr<0x0,
|
|
(outs GR16:$dst), (ins GR16:$src, GR16:$src2),
|
|
"add.w\t{$src2, $dst}",
|
|
[(set GR16:$dst, (add GR16:$src, GR16:$src2)),
|
|
(implicit SR)]>;
|
|
}
|
|
|
|
def ADD8rm : I8rm<0x0,
|
|
(outs GR8:$dst), (ins GR8:$src, memsrc:$src2),
|
|
"add.b\t{$src2, $dst}",
|
|
[(set GR8:$dst, (add GR8:$src, (load addr:$src2))),
|
|
(implicit SR)]>;
|
|
def ADD16rm : I16rm<0x0,
|
|
(outs GR16:$dst), (ins GR16:$src, memsrc:$src2),
|
|
"add.w\t{$src2, $dst}",
|
|
[(set GR16:$dst, (add GR16:$src, (load addr:$src2))),
|
|
(implicit SR)]>;
|
|
|
|
let mayLoad = 1, hasExtraDefRegAllocReq = 1,
|
|
Constraints = "$base = $base_wb, $src = $dst" in {
|
|
def ADD8rm_POST : IForm8<0x0, DstReg, SrcPostInc, Size2Bytes,
|
|
(outs GR8:$dst, GR16:$base_wb),
|
|
(ins GR8:$src, GR16:$base),
|
|
"add.b\t{@$base+, $dst}", []>;
|
|
def ADD16rm_POST : IForm16<0x0, DstReg, SrcPostInc, Size2Bytes,
|
|
(outs GR16:$dst, GR16:$base_wb),
|
|
(ins GR16:$src, GR16:$base),
|
|
"add.w\t{@$base+, $dst}", []>;
|
|
}
|
|
|
|
|
|
def ADD8ri : I8ri<0x0,
|
|
(outs GR8:$dst), (ins GR8:$src, i8imm:$src2),
|
|
"add.b\t{$src2, $dst}",
|
|
[(set GR8:$dst, (add GR8:$src, imm:$src2)),
|
|
(implicit SR)]>;
|
|
def ADD16ri : I16ri<0x0,
|
|
(outs GR16:$dst), (ins GR16:$src, i16imm:$src2),
|
|
"add.w\t{$src2, $dst}",
|
|
[(set GR16:$dst, (add GR16:$src, imm:$src2)),
|
|
(implicit SR)]>;
|
|
|
|
let Constraints = "" in {
|
|
def ADD8mr : I8mr<0x0,
|
|
(outs), (ins memdst:$dst, GR8:$src),
|
|
"add.b\t{$src, $dst}",
|
|
[(store (add (load addr:$dst), GR8:$src), addr:$dst),
|
|
(implicit SR)]>;
|
|
def ADD16mr : I16mr<0x0,
|
|
(outs), (ins memdst:$dst, GR16:$src),
|
|
"add.w\t{$src, $dst}",
|
|
[(store (add (load addr:$dst), GR16:$src), addr:$dst),
|
|
(implicit SR)]>;
|
|
|
|
def ADD8mi : I8mi<0x0,
|
|
(outs), (ins memdst:$dst, i8imm:$src),
|
|
"add.b\t{$src, $dst}",
|
|
[(store (add (load addr:$dst), (i8 imm:$src)), addr:$dst),
|
|
(implicit SR)]>;
|
|
def ADD16mi : I16mi<0x0,
|
|
(outs), (ins memdst:$dst, i16imm:$src),
|
|
"add.w\t{$src, $dst}",
|
|
[(store (add (load addr:$dst), (i16 imm:$src)), addr:$dst),
|
|
(implicit SR)]>;
|
|
|
|
def ADD8mm : I8mm<0x0,
|
|
(outs), (ins memdst:$dst, memsrc:$src),
|
|
"add.b\t{$src, $dst}",
|
|
[(store (add (load addr:$dst),
|
|
(i8 (load addr:$src))), addr:$dst),
|
|
(implicit SR)]>;
|
|
def ADD16mm : I16mm<0x0,
|
|
(outs), (ins memdst:$dst, memsrc:$src),
|
|
"add.w\t{$src, $dst}",
|
|
[(store (add (load addr:$dst),
|
|
(i16 (load addr:$src))), addr:$dst),
|
|
(implicit SR)]>;
|
|
}
|
|
|
|
let Uses = [SR] in {
|
|
|
|
let isCommutable = 1 in { // X = ADDC Y, Z == X = ADDC Z, Y
|
|
def ADC8rr : I8rr<0x0,
|
|
(outs GR8:$dst), (ins GR8:$src, GR8:$src2),
|
|
"addc.b\t{$src2, $dst}",
|
|
[(set GR8:$dst, (adde GR8:$src, GR8:$src2)),
|
|
(implicit SR)]>;
|
|
def ADC16rr : I16rr<0x0,
|
|
(outs GR16:$dst), (ins GR16:$src, GR16:$src2),
|
|
"addc.w\t{$src2, $dst}",
|
|
[(set GR16:$dst, (adde GR16:$src, GR16:$src2)),
|
|
(implicit SR)]>;
|
|
} // isCommutable
|
|
|
|
def ADC8ri : I8ri<0x0,
|
|
(outs GR8:$dst), (ins GR8:$src, i8imm:$src2),
|
|
"addc.b\t{$src2, $dst}",
|
|
[(set GR8:$dst, (adde GR8:$src, imm:$src2)),
|
|
(implicit SR)]>;
|
|
def ADC16ri : I16ri<0x0,
|
|
(outs GR16:$dst), (ins GR16:$src, i16imm:$src2),
|
|
"addc.w\t{$src2, $dst}",
|
|
[(set GR16:$dst, (adde GR16:$src, imm:$src2)),
|
|
(implicit SR)]>;
|
|
|
|
def ADC8rm : I8rm<0x0,
|
|
(outs GR8:$dst), (ins GR8:$src, memsrc:$src2),
|
|
"addc.b\t{$src2, $dst}",
|
|
[(set GR8:$dst, (adde GR8:$src, (load addr:$src2))),
|
|
(implicit SR)]>;
|
|
def ADC16rm : I16rm<0x0,
|
|
(outs GR16:$dst), (ins GR16:$src, memsrc:$src2),
|
|
"addc.w\t{$src2, $dst}",
|
|
[(set GR16:$dst, (adde GR16:$src, (load addr:$src2))),
|
|
(implicit SR)]>;
|
|
|
|
let Constraints = "" in {
|
|
def ADC8mr : I8mr<0x0,
|
|
(outs), (ins memdst:$dst, GR8:$src),
|
|
"addc.b\t{$src, $dst}",
|
|
[(store (adde (load addr:$dst), GR8:$src), addr:$dst),
|
|
(implicit SR)]>;
|
|
def ADC16mr : I16mr<0x0,
|
|
(outs), (ins memdst:$dst, GR16:$src),
|
|
"addc.w\t{$src, $dst}",
|
|
[(store (adde (load addr:$dst), GR16:$src), addr:$dst),
|
|
(implicit SR)]>;
|
|
|
|
def ADC8mi : I8mi<0x0,
|
|
(outs), (ins memdst:$dst, i8imm:$src),
|
|
"addc.b\t{$src, $dst}",
|
|
[(store (adde (load addr:$dst), (i8 imm:$src)), addr:$dst),
|
|
(implicit SR)]>;
|
|
def ADC16mi : I16mi<0x0,
|
|
(outs), (ins memdst:$dst, i16imm:$src),
|
|
"addc.w\t{$src, $dst}",
|
|
[(store (adde (load addr:$dst), (i16 imm:$src)), addr:$dst),
|
|
(implicit SR)]>;
|
|
|
|
def ADC8mm : I8mm<0x0,
|
|
(outs), (ins memdst:$dst, memsrc:$src),
|
|
"addc.b\t{$src, $dst}",
|
|
[(store (adde (load addr:$dst),
|
|
(i8 (load addr:$src))), addr:$dst),
|
|
(implicit SR)]>;
|
|
def ADC16mm : I8mm<0x0,
|
|
(outs), (ins memdst:$dst, memsrc:$src),
|
|
"addc.w\t{$src, $dst}",
|
|
[(store (adde (load addr:$dst),
|
|
(i16 (load addr:$src))), addr:$dst),
|
|
(implicit SR)]>;
|
|
}
|
|
|
|
} // Uses = [SR]
|
|
|
|
let isCommutable = 1 in { // X = AND Y, Z == X = AND Z, Y
|
|
def AND8rr : I8rr<0x0,
|
|
(outs GR8:$dst), (ins GR8:$src, GR8:$src2),
|
|
"and.b\t{$src2, $dst}",
|
|
[(set GR8:$dst, (and GR8:$src, GR8:$src2)),
|
|
(implicit SR)]>;
|
|
def AND16rr : I16rr<0x0,
|
|
(outs GR16:$dst), (ins GR16:$src, GR16:$src2),
|
|
"and.w\t{$src2, $dst}",
|
|
[(set GR16:$dst, (and GR16:$src, GR16:$src2)),
|
|
(implicit SR)]>;
|
|
}
|
|
|
|
def AND8ri : I8ri<0x0,
|
|
(outs GR8:$dst), (ins GR8:$src, i8imm:$src2),
|
|
"and.b\t{$src2, $dst}",
|
|
[(set GR8:$dst, (and GR8:$src, imm:$src2)),
|
|
(implicit SR)]>;
|
|
def AND16ri : I16ri<0x0,
|
|
(outs GR16:$dst), (ins GR16:$src, i16imm:$src2),
|
|
"and.w\t{$src2, $dst}",
|
|
[(set GR16:$dst, (and GR16:$src, imm:$src2)),
|
|
(implicit SR)]>;
|
|
|
|
def AND8rm : I8rm<0x0,
|
|
(outs GR8:$dst), (ins GR8:$src, memsrc:$src2),
|
|
"and.b\t{$src2, $dst}",
|
|
[(set GR8:$dst, (and GR8:$src, (load addr:$src2))),
|
|
(implicit SR)]>;
|
|
def AND16rm : I16rm<0x0,
|
|
(outs GR16:$dst), (ins GR16:$src, memsrc:$src2),
|
|
"and.w\t{$src2, $dst}",
|
|
[(set GR16:$dst, (and GR16:$src, (load addr:$src2))),
|
|
(implicit SR)]>;
|
|
|
|
let mayLoad = 1, hasExtraDefRegAllocReq = 1,
|
|
Constraints = "$base = $base_wb, $src = $dst" in {
|
|
def AND8rm_POST : IForm8<0x0, DstReg, SrcPostInc, Size2Bytes,
|
|
(outs GR8:$dst, GR16:$base_wb),
|
|
(ins GR8:$src, GR16:$base),
|
|
"and.b\t{@$base+, $dst}", []>;
|
|
def AND16rm_POST : IForm16<0x0, DstReg, SrcPostInc, Size2Bytes,
|
|
(outs GR16:$dst, GR16:$base_wb),
|
|
(ins GR16:$src, GR16:$base),
|
|
"and.w\t{@$base+, $dst}", []>;
|
|
}
|
|
|
|
let Constraints = "" in {
|
|
def AND8mr : I8mr<0x0,
|
|
(outs), (ins memdst:$dst, GR8:$src),
|
|
"and.b\t{$src, $dst}",
|
|
[(store (and (load addr:$dst), GR8:$src), addr:$dst),
|
|
(implicit SR)]>;
|
|
def AND16mr : I16mr<0x0,
|
|
(outs), (ins memdst:$dst, GR16:$src),
|
|
"and.w\t{$src, $dst}",
|
|
[(store (and (load addr:$dst), GR16:$src), addr:$dst),
|
|
(implicit SR)]>;
|
|
|
|
def AND8mi : I8mi<0x0,
|
|
(outs), (ins memdst:$dst, i8imm:$src),
|
|
"and.b\t{$src, $dst}",
|
|
[(store (and (load addr:$dst), (i8 imm:$src)), addr:$dst),
|
|
(implicit SR)]>;
|
|
def AND16mi : I16mi<0x0,
|
|
(outs), (ins memdst:$dst, i16imm:$src),
|
|
"and.w\t{$src, $dst}",
|
|
[(store (and (load addr:$dst), (i16 imm:$src)), addr:$dst),
|
|
(implicit SR)]>;
|
|
|
|
def AND8mm : I8mm<0x0,
|
|
(outs), (ins memdst:$dst, memsrc:$src),
|
|
"and.b\t{$src, $dst}",
|
|
[(store (and (load addr:$dst),
|
|
(i8 (load addr:$src))), addr:$dst),
|
|
(implicit SR)]>;
|
|
def AND16mm : I16mm<0x0,
|
|
(outs), (ins memdst:$dst, memsrc:$src),
|
|
"and.w\t{$src, $dst}",
|
|
[(store (and (load addr:$dst),
|
|
(i16 (load addr:$src))), addr:$dst),
|
|
(implicit SR)]>;
|
|
}
|
|
|
|
let isCommutable = 1 in { // X = OR Y, Z == X = OR Z, Y
|
|
def OR8rr : I8rr<0x0,
|
|
(outs GR8:$dst), (ins GR8:$src, GR8:$src2),
|
|
"bis.b\t{$src2, $dst}",
|
|
[(set GR8:$dst, (or GR8:$src, GR8:$src2))]>;
|
|
def OR16rr : I16rr<0x0,
|
|
(outs GR16:$dst), (ins GR16:$src, GR16:$src2),
|
|
"bis.w\t{$src2, $dst}",
|
|
[(set GR16:$dst, (or GR16:$src, GR16:$src2))]>;
|
|
}
|
|
|
|
def OR8ri : I8ri<0x0,
|
|
(outs GR8:$dst), (ins GR8:$src, i8imm:$src2),
|
|
"bis.b\t{$src2, $dst}",
|
|
[(set GR8:$dst, (or GR8:$src, imm:$src2))]>;
|
|
def OR16ri : I16ri<0x0,
|
|
(outs GR16:$dst), (ins GR16:$src, i16imm:$src2),
|
|
"bis.w\t{$src2, $dst}",
|
|
[(set GR16:$dst, (or GR16:$src, imm:$src2))]>;
|
|
|
|
def OR8rm : I8rm<0x0,
|
|
(outs GR8:$dst), (ins GR8:$src, memsrc:$src2),
|
|
"bis.b\t{$src2, $dst}",
|
|
[(set GR8:$dst, (or GR8:$src, (load addr:$src2)))]>;
|
|
def OR16rm : I16rm<0x0,
|
|
(outs GR16:$dst), (ins GR16:$src, memsrc:$src2),
|
|
"bis.w\t{$src2, $dst}",
|
|
[(set GR16:$dst, (or GR16:$src, (load addr:$src2)))]>;
|
|
|
|
let mayLoad = 1, hasExtraDefRegAllocReq = 1,
|
|
Constraints = "$base = $base_wb, $src = $dst" in {
|
|
def OR8rm_POST : IForm8<0x0, DstReg, SrcPostInc, Size2Bytes,
|
|
(outs GR8:$dst, GR16:$base_wb),
|
|
(ins GR8:$src, GR16:$base),
|
|
"bis.b\t{@$base+, $dst}", []>;
|
|
def OR16rm_POST : IForm16<0x0, DstReg, SrcPostInc, Size2Bytes,
|
|
(outs GR16:$dst, GR16:$base_wb),
|
|
(ins GR16:$src, GR16:$base),
|
|
"bis.w\t{@$base+, $dst}", []>;
|
|
}
|
|
|
|
let Constraints = "" in {
|
|
def OR8mr : I8mr<0x0,
|
|
(outs), (ins memdst:$dst, GR8:$src),
|
|
"bis.b\t{$src, $dst}",
|
|
[(store (or (load addr:$dst), GR8:$src), addr:$dst)]>;
|
|
def OR16mr : I16mr<0x0,
|
|
(outs), (ins memdst:$dst, GR16:$src),
|
|
"bis.w\t{$src, $dst}",
|
|
[(store (or (load addr:$dst), GR16:$src), addr:$dst)]>;
|
|
|
|
def OR8mi : I8mi<0x0,
|
|
(outs), (ins memdst:$dst, i8imm:$src),
|
|
"bis.b\t{$src, $dst}",
|
|
[(store (or (load addr:$dst), (i8 imm:$src)), addr:$dst)]>;
|
|
def OR16mi : I16mi<0x0,
|
|
(outs), (ins memdst:$dst, i16imm:$src),
|
|
"bis.w\t{$src, $dst}",
|
|
[(store (or (load addr:$dst), (i16 imm:$src)), addr:$dst)]>;
|
|
|
|
def OR8mm : I8mm<0x0,
|
|
(outs), (ins memdst:$dst, memsrc:$src),
|
|
"bis.b\t{$src, $dst}",
|
|
[(store (or (i8 (load addr:$dst)),
|
|
(i8 (load addr:$src))), addr:$dst)]>;
|
|
def OR16mm : I16mm<0x0,
|
|
(outs), (ins memdst:$dst, memsrc:$src),
|
|
"bis.w\t{$src, $dst}",
|
|
[(store (or (i16 (load addr:$dst)),
|
|
(i16 (load addr:$src))), addr:$dst)]>;
|
|
}
|
|
|
|
// bic does not modify condition codes
|
|
def BIC8rr : I8rr<0x0,
|
|
(outs GR8:$dst), (ins GR8:$src, GR8:$src2),
|
|
"bic.b\t{$src2, $dst}",
|
|
[(set GR8:$dst, (and GR8:$src, (not GR8:$src2)))]>;
|
|
def BIC16rr : I16rr<0x0,
|
|
(outs GR16:$dst), (ins GR16:$src, GR16:$src2),
|
|
"bic.w\t{$src2, $dst}",
|
|
[(set GR16:$dst, (and GR16:$src, (not GR16:$src2)))]>;
|
|
|
|
def BIC8rm : I8rm<0x0,
|
|
(outs GR8:$dst), (ins GR8:$src, memsrc:$src2),
|
|
"bic.b\t{$src2, $dst}",
|
|
[(set GR8:$dst, (and GR8:$src, (not (i8 (load addr:$src2)))))]>;
|
|
def BIC16rm : I16rm<0x0,
|
|
(outs GR16:$dst), (ins GR16:$src, memsrc:$src2),
|
|
"bic.w\t{$src2, $dst}",
|
|
[(set GR16:$dst, (and GR16:$src, (not (i16 (load addr:$src2)))))]>;
|
|
|
|
let Constraints = "" in {
|
|
def BIC8mr : I8mr<0x0,
|
|
(outs), (ins memdst:$dst, GR8:$src),
|
|
"bic.b\t{$src, $dst}",
|
|
[(store (and (load addr:$dst), (not GR8:$src)), addr:$dst)]>;
|
|
def BIC16mr : I16mr<0x0,
|
|
(outs), (ins memdst:$dst, GR16:$src),
|
|
"bic.w\t{$src, $dst}",
|
|
[(store (and (load addr:$dst), (not GR16:$src)), addr:$dst)]>;
|
|
|
|
def BIC8mm : I8mm<0x0,
|
|
(outs), (ins memdst:$dst, memsrc:$src),
|
|
"bic.b\t{$src, $dst}",
|
|
[(store (and (load addr:$dst),
|
|
(not (i8 (load addr:$src)))), addr:$dst)]>;
|
|
def BIC16mm : I16mm<0x0,
|
|
(outs), (ins memdst:$dst, memsrc:$src),
|
|
"bic.w\t{$src, $dst}",
|
|
[(store (and (load addr:$dst),
|
|
(not (i16 (load addr:$src)))), addr:$dst)]>;
|
|
}
|
|
|
|
let isCommutable = 1 in { // X = XOR Y, Z == X = XOR Z, Y
|
|
def XOR8rr : I8rr<0x0,
|
|
(outs GR8:$dst), (ins GR8:$src, GR8:$src2),
|
|
"xor.b\t{$src2, $dst}",
|
|
[(set GR8:$dst, (xor GR8:$src, GR8:$src2)),
|
|
(implicit SR)]>;
|
|
def XOR16rr : I16rr<0x0,
|
|
(outs GR16:$dst), (ins GR16:$src, GR16:$src2),
|
|
"xor.w\t{$src2, $dst}",
|
|
[(set GR16:$dst, (xor GR16:$src, GR16:$src2)),
|
|
(implicit SR)]>;
|
|
}
|
|
|
|
def XOR8ri : I8ri<0x0,
|
|
(outs GR8:$dst), (ins GR8:$src, i8imm:$src2),
|
|
"xor.b\t{$src2, $dst}",
|
|
[(set GR8:$dst, (xor GR8:$src, imm:$src2)),
|
|
(implicit SR)]>;
|
|
def XOR16ri : I16ri<0x0,
|
|
(outs GR16:$dst), (ins GR16:$src, i16imm:$src2),
|
|
"xor.w\t{$src2, $dst}",
|
|
[(set GR16:$dst, (xor GR16:$src, imm:$src2)),
|
|
(implicit SR)]>;
|
|
|
|
def XOR8rm : I8rm<0x0,
|
|
(outs GR8:$dst), (ins GR8:$src, memsrc:$src2),
|
|
"xor.b\t{$src2, $dst}",
|
|
[(set GR8:$dst, (xor GR8:$src, (load addr:$src2))),
|
|
(implicit SR)]>;
|
|
def XOR16rm : I16rm<0x0,
|
|
(outs GR16:$dst), (ins GR16:$src, memsrc:$src2),
|
|
"xor.w\t{$src2, $dst}",
|
|
[(set GR16:$dst, (xor GR16:$src, (load addr:$src2))),
|
|
(implicit SR)]>;
|
|
|
|
let mayLoad = 1, hasExtraDefRegAllocReq = 1,
|
|
Constraints = "$base = $base_wb, $src = $dst" in {
|
|
def XOR8rm_POST : IForm8<0x0, DstReg, SrcPostInc, Size2Bytes,
|
|
(outs GR8:$dst, GR16:$base_wb),
|
|
(ins GR8:$src, GR16:$base),
|
|
"xor.b\t{@$base+, $dst}", []>;
|
|
def XOR16rm_POST : IForm16<0x0, DstReg, SrcPostInc, Size2Bytes,
|
|
(outs GR16:$dst, GR16:$base_wb),
|
|
(ins GR16:$src, GR16:$base),
|
|
"xor.w\t{@$base+, $dst}", []>;
|
|
}
|
|
|
|
let Constraints = "" in {
|
|
def XOR8mr : I8mr<0x0,
|
|
(outs), (ins memdst:$dst, GR8:$src),
|
|
"xor.b\t{$src, $dst}",
|
|
[(store (xor (load addr:$dst), GR8:$src), addr:$dst),
|
|
(implicit SR)]>;
|
|
def XOR16mr : I16mr<0x0,
|
|
(outs), (ins memdst:$dst, GR16:$src),
|
|
"xor.w\t{$src, $dst}",
|
|
[(store (xor (load addr:$dst), GR16:$src), addr:$dst),
|
|
(implicit SR)]>;
|
|
|
|
def XOR8mi : I8mi<0x0,
|
|
(outs), (ins memdst:$dst, i8imm:$src),
|
|
"xor.b\t{$src, $dst}",
|
|
[(store (xor (load addr:$dst), (i8 imm:$src)), addr:$dst),
|
|
(implicit SR)]>;
|
|
def XOR16mi : I16mi<0x0,
|
|
(outs), (ins memdst:$dst, i16imm:$src),
|
|
"xor.w\t{$src, $dst}",
|
|
[(store (xor (load addr:$dst), (i16 imm:$src)), addr:$dst),
|
|
(implicit SR)]>;
|
|
|
|
def XOR8mm : I8mm<0x0,
|
|
(outs), (ins memdst:$dst, memsrc:$src),
|
|
"xor.b\t{$src, $dst}",
|
|
[(store (xor (load addr:$dst), (i8 (load addr:$src))), addr:$dst),
|
|
(implicit SR)]>;
|
|
def XOR16mm : I16mm<0x0,
|
|
(outs), (ins memdst:$dst, memsrc:$src),
|
|
"xor.w\t{$src, $dst}",
|
|
[(store (xor (load addr:$dst), (i16 (load addr:$src))), addr:$dst),
|
|
(implicit SR)]>;
|
|
}
|
|
|
|
|
|
def SUB8rr : I8rr<0x0,
|
|
(outs GR8:$dst), (ins GR8:$src, GR8:$src2),
|
|
"sub.b\t{$src2, $dst}",
|
|
[(set GR8:$dst, (sub GR8:$src, GR8:$src2)),
|
|
(implicit SR)]>;
|
|
def SUB16rr : I16rr<0x0,
|
|
(outs GR16:$dst), (ins GR16:$src, GR16:$src2),
|
|
"sub.w\t{$src2, $dst}",
|
|
[(set GR16:$dst, (sub GR16:$src, GR16:$src2)),
|
|
(implicit SR)]>;
|
|
|
|
def SUB8ri : I8ri<0x0,
|
|
(outs GR8:$dst), (ins GR8:$src, i8imm:$src2),
|
|
"sub.b\t{$src2, $dst}",
|
|
[(set GR8:$dst, (sub GR8:$src, imm:$src2)),
|
|
(implicit SR)]>;
|
|
def SUB16ri : I16ri<0x0,
|
|
(outs GR16:$dst), (ins GR16:$src, i16imm:$src2),
|
|
"sub.w\t{$src2, $dst}",
|
|
[(set GR16:$dst, (sub GR16:$src, imm:$src2)),
|
|
(implicit SR)]>;
|
|
|
|
def SUB8rm : I8rm<0x0,
|
|
(outs GR8:$dst), (ins GR8:$src, memsrc:$src2),
|
|
"sub.b\t{$src2, $dst}",
|
|
[(set GR8:$dst, (sub GR8:$src, (load addr:$src2))),
|
|
(implicit SR)]>;
|
|
def SUB16rm : I16rm<0x0,
|
|
(outs GR16:$dst), (ins GR16:$src, memsrc:$src2),
|
|
"sub.w\t{$src2, $dst}",
|
|
[(set GR16:$dst, (sub GR16:$src, (load addr:$src2))),
|
|
(implicit SR)]>;
|
|
|
|
let mayLoad = 1, hasExtraDefRegAllocReq = 1,
|
|
Constraints = "$base = $base_wb, $src = $dst" in {
|
|
def SUB8rm_POST : IForm8<0x0, DstReg, SrcPostInc, Size2Bytes,
|
|
(outs GR8:$dst, GR16:$base_wb),
|
|
(ins GR8:$src, GR16:$base),
|
|
"sub.b\t{@$base+, $dst}", []>;
|
|
def SUB16rm_POST : IForm16<0x0, DstReg, SrcPostInc, Size2Bytes,
|
|
(outs GR16:$dst, GR16:$base_wb),
|
|
(ins GR16:$src, GR16:$base),
|
|
"sub.w\t{@$base+, $dst}", []>;
|
|
}
|
|
|
|
let Constraints = "" in {
|
|
def SUB8mr : I8mr<0x0,
|
|
(outs), (ins memdst:$dst, GR8:$src),
|
|
"sub.b\t{$src, $dst}",
|
|
[(store (sub (load addr:$dst), GR8:$src), addr:$dst),
|
|
(implicit SR)]>;
|
|
def SUB16mr : I16mr<0x0,
|
|
(outs), (ins memdst:$dst, GR16:$src),
|
|
"sub.w\t{$src, $dst}",
|
|
[(store (sub (load addr:$dst), GR16:$src), addr:$dst),
|
|
(implicit SR)]>;
|
|
|
|
def SUB8mi : I8mi<0x0,
|
|
(outs), (ins memdst:$dst, i8imm:$src),
|
|
"sub.b\t{$src, $dst}",
|
|
[(store (sub (load addr:$dst), (i8 imm:$src)), addr:$dst),
|
|
(implicit SR)]>;
|
|
def SUB16mi : I16mi<0x0,
|
|
(outs), (ins memdst:$dst, i16imm:$src),
|
|
"sub.w\t{$src, $dst}",
|
|
[(store (sub (load addr:$dst), (i16 imm:$src)), addr:$dst),
|
|
(implicit SR)]>;
|
|
|
|
def SUB8mm : I8mm<0x0,
|
|
(outs), (ins memdst:$dst, memsrc:$src),
|
|
"sub.b\t{$src, $dst}",
|
|
[(store (sub (load addr:$dst),
|
|
(i8 (load addr:$src))), addr:$dst),
|
|
(implicit SR)]>;
|
|
def SUB16mm : I16mm<0x0,
|
|
(outs), (ins memdst:$dst, memsrc:$src),
|
|
"sub.w\t{$src, $dst}",
|
|
[(store (sub (load addr:$dst),
|
|
(i16 (load addr:$src))), addr:$dst),
|
|
(implicit SR)]>;
|
|
}
|
|
|
|
let Uses = [SR] in {
|
|
def SBC8rr : I8rr<0x0,
|
|
(outs GR8:$dst), (ins GR8:$src, GR8:$src2),
|
|
"subc.b\t{$src2, $dst}",
|
|
[(set GR8:$dst, (sube GR8:$src, GR8:$src2)),
|
|
(implicit SR)]>;
|
|
def SBC16rr : I16rr<0x0,
|
|
(outs GR16:$dst), (ins GR16:$src, GR16:$src2),
|
|
"subc.w\t{$src2, $dst}",
|
|
[(set GR16:$dst, (sube GR16:$src, GR16:$src2)),
|
|
(implicit SR)]>;
|
|
|
|
def SBC8ri : I8ri<0x0,
|
|
(outs GR8:$dst), (ins GR8:$src, i8imm:$src2),
|
|
"subc.b\t{$src2, $dst}",
|
|
[(set GR8:$dst, (sube GR8:$src, imm:$src2)),
|
|
(implicit SR)]>;
|
|
def SBC16ri : I16ri<0x0,
|
|
(outs GR16:$dst), (ins GR16:$src, i16imm:$src2),
|
|
"subc.w\t{$src2, $dst}",
|
|
[(set GR16:$dst, (sube GR16:$src, imm:$src2)),
|
|
(implicit SR)]>;
|
|
|
|
def SBC8rm : I8rm<0x0,
|
|
(outs GR8:$dst), (ins GR8:$src, memsrc:$src2),
|
|
"subc.b\t{$src2, $dst}",
|
|
[(set GR8:$dst, (sube GR8:$src, (load addr:$src2))),
|
|
(implicit SR)]>;
|
|
def SBC16rm : I16rm<0x0,
|
|
(outs GR16:$dst), (ins GR16:$src, memsrc:$src2),
|
|
"subc.w\t{$src2, $dst}",
|
|
[(set GR16:$dst, (sube GR16:$src, (load addr:$src2))),
|
|
(implicit SR)]>;
|
|
|
|
let Constraints = "" in {
|
|
def SBC8mr : I8mr<0x0,
|
|
(outs), (ins memdst:$dst, GR8:$src),
|
|
"subc.b\t{$src, $dst}",
|
|
[(store (sube (load addr:$dst), GR8:$src), addr:$dst),
|
|
(implicit SR)]>;
|
|
def SBC16mr : I16mr<0x0,
|
|
(outs), (ins memdst:$dst, GR16:$src),
|
|
"subc.w\t{$src, $dst}",
|
|
[(store (sube (load addr:$dst), GR16:$src), addr:$dst),
|
|
(implicit SR)]>;
|
|
|
|
def SBC8mi : I8mi<0x0,
|
|
(outs), (ins memdst:$dst, i8imm:$src),
|
|
"subc.b\t{$src, $dst}",
|
|
[(store (sube (load addr:$dst), (i8 imm:$src)), addr:$dst),
|
|
(implicit SR)]>;
|
|
def SBC16mi : I16mi<0x0,
|
|
(outs), (ins memdst:$dst, i16imm:$src),
|
|
"subc.w\t{$src, $dst}",
|
|
[(store (sube (load addr:$dst), (i16 imm:$src)), addr:$dst),
|
|
(implicit SR)]>;
|
|
|
|
def SBC8mm : I8mm<0x0,
|
|
(outs), (ins memdst:$dst, memsrc:$src),
|
|
"subc.b\t{$src, $dst}",
|
|
[(store (sube (load addr:$dst),
|
|
(i8 (load addr:$src))), addr:$dst),
|
|
(implicit SR)]>;
|
|
def SBC16mm : I16mm<0x0,
|
|
(outs), (ins memdst:$dst, memsrc:$src),
|
|
"subc.w\t{$src, $dst}",
|
|
[(store (sube (load addr:$dst),
|
|
(i16 (load addr:$src))), addr:$dst),
|
|
(implicit SR)]>;
|
|
}
|
|
|
|
} // Uses = [SR]
|
|
|
|
// FIXME: memory variant!
|
|
def SAR8r1 : II8r<0x0,
|
|
(outs GR8:$dst), (ins GR8:$src),
|
|
"rra.b\t$dst",
|
|
[(set GR8:$dst, (MSP430rra GR8:$src)),
|
|
(implicit SR)]>;
|
|
def SAR16r1 : II16r<0x0,
|
|
(outs GR16:$dst), (ins GR16:$src),
|
|
"rra.w\t$dst",
|
|
[(set GR16:$dst, (MSP430rra GR16:$src)),
|
|
(implicit SR)]>;
|
|
|
|
def SHL8r1 : I8rr<0x0,
|
|
(outs GR8:$dst), (ins GR8:$src),
|
|
"rla.b\t$dst",
|
|
[(set GR8:$dst, (MSP430rla GR8:$src)),
|
|
(implicit SR)]>;
|
|
def SHL16r1 : I16rr<0x0,
|
|
(outs GR16:$dst), (ins GR16:$src),
|
|
"rla.w\t$dst",
|
|
[(set GR16:$dst, (MSP430rla GR16:$src)),
|
|
(implicit SR)]>;
|
|
|
|
def SAR8r1c : Pseudo<(outs GR8:$dst), (ins GR8:$src),
|
|
"clrc\n\t"
|
|
"rrc.b\t$dst",
|
|
[(set GR8:$dst, (MSP430rrc GR8:$src)),
|
|
(implicit SR)]>;
|
|
def SAR16r1c : Pseudo<(outs GR16:$dst), (ins GR16:$src),
|
|
"clrc\n\t"
|
|
"rrc.w\t$dst",
|
|
[(set GR16:$dst, (MSP430rrc GR16:$src)),
|
|
(implicit SR)]>;
|
|
|
|
// FIXME: Memory sext's ?
|
|
def SEXT16r : II16r<0x0,
|
|
(outs GR16:$dst), (ins GR16:$src),
|
|
"sxt\t$dst",
|
|
[(set GR16:$dst, (sext_inreg GR16:$src, i8)),
|
|
(implicit SR)]>;
|
|
|
|
} // Defs = [SR]
|
|
|
|
def ZEXT16r : I8rr<0x0,
|
|
(outs GR16:$dst), (ins GR16:$src),
|
|
"mov.b\t{$src, $dst}",
|
|
[(set GR16:$dst, (zext (trunc GR16:$src)))]>;
|
|
|
|
// FIXME: Memory bitswaps?
|
|
def SWPB16r : II16r<0x0,
|
|
(outs GR16:$dst), (ins GR16:$src),
|
|
"swpb\t$dst",
|
|
[(set GR16:$dst, (bswap GR16:$src))]>;
|
|
|
|
} // Constraints = "$src = $dst"
|
|
|
|
// Integer comparisons
|
|
let Defs = [SR] in {
|
|
def CMP8rr : I8rr<0x0,
|
|
(outs), (ins GR8:$src, GR8:$src2),
|
|
"cmp.b\t{$src2, $src}",
|
|
[(MSP430cmp GR8:$src, GR8:$src2), (implicit SR)]>;
|
|
def CMP16rr : I16rr<0x0,
|
|
(outs), (ins GR16:$src, GR16:$src2),
|
|
"cmp.w\t{$src2, $src}",
|
|
[(MSP430cmp GR16:$src, GR16:$src2), (implicit SR)]>;
|
|
|
|
def CMP8ri : I8ri<0x0,
|
|
(outs), (ins GR8:$src, i8imm:$src2),
|
|
"cmp.b\t{$src2, $src}",
|
|
[(MSP430cmp GR8:$src, imm:$src2), (implicit SR)]>;
|
|
def CMP16ri : I16ri<0x0,
|
|
(outs), (ins GR16:$src, i16imm:$src2),
|
|
"cmp.w\t{$src2, $src}",
|
|
[(MSP430cmp GR16:$src, imm:$src2), (implicit SR)]>;
|
|
|
|
def CMP8mi : I8mi<0x0,
|
|
(outs), (ins memsrc:$src, i8imm:$src2),
|
|
"cmp.b\t{$src2, $src}",
|
|
[(MSP430cmp (load addr:$src),
|
|
(i8 imm:$src2)), (implicit SR)]>;
|
|
def CMP16mi : I16mi<0x0,
|
|
(outs), (ins memsrc:$src, i16imm:$src2),
|
|
"cmp.w\t{$src2, $src}",
|
|
[(MSP430cmp (load addr:$src),
|
|
(i16 imm:$src2)), (implicit SR)]>;
|
|
|
|
def CMP8rm : I8rm<0x0,
|
|
(outs), (ins GR8:$src, memsrc:$src2),
|
|
"cmp.b\t{$src2, $src}",
|
|
[(MSP430cmp GR8:$src, (load addr:$src2)),
|
|
(implicit SR)]>;
|
|
def CMP16rm : I16rm<0x0,
|
|
(outs), (ins GR16:$src, memsrc:$src2),
|
|
"cmp.w\t{$src2, $src}",
|
|
[(MSP430cmp GR16:$src, (load addr:$src2)),
|
|
(implicit SR)]>;
|
|
|
|
def CMP8mr : I8mr<0x0,
|
|
(outs), (ins memsrc:$src, GR8:$src2),
|
|
"cmp.b\t{$src2, $src}",
|
|
[(MSP430cmp (load addr:$src), GR8:$src2),
|
|
(implicit SR)]>;
|
|
def CMP16mr : I16mr<0x0,
|
|
(outs), (ins memsrc:$src, GR16:$src2),
|
|
"cmp.w\t{$src2, $src}",
|
|
[(MSP430cmp (load addr:$src), GR16:$src2),
|
|
(implicit SR)]>;
|
|
|
|
|
|
// BIT TESTS, just sets condition codes
|
|
// Note that the C condition is set differently than when using CMP.
|
|
let isCommutable = 1 in {
|
|
def BIT8rr : I8rr<0x0,
|
|
(outs), (ins GR8:$src, GR8:$src2),
|
|
"bit.b\t{$src2, $src}",
|
|
[(MSP430cmp (and_su GR8:$src, GR8:$src2), 0),
|
|
(implicit SR)]>;
|
|
def BIT16rr : I16rr<0x0,
|
|
(outs), (ins GR16:$src, GR16:$src2),
|
|
"bit.w\t{$src2, $src}",
|
|
[(MSP430cmp (and_su GR16:$src, GR16:$src2), 0),
|
|
(implicit SR)]>;
|
|
}
|
|
def BIT8ri : I8ri<0x0,
|
|
(outs), (ins GR8:$src, i8imm:$src2),
|
|
"bit.b\t{$src2, $src}",
|
|
[(MSP430cmp (and_su GR8:$src, imm:$src2), 0),
|
|
(implicit SR)]>;
|
|
def BIT16ri : I16ri<0x0,
|
|
(outs), (ins GR16:$src, i16imm:$src2),
|
|
"bit.w\t{$src2, $src}",
|
|
[(MSP430cmp (and_su GR16:$src, imm:$src2), 0),
|
|
(implicit SR)]>;
|
|
|
|
def BIT8rm : I8rm<0x0,
|
|
(outs), (ins GR8:$src, memdst:$src2),
|
|
"bit.b\t{$src2, $src}",
|
|
[(MSP430cmp (and_su GR8:$src, (load addr:$src2)), 0),
|
|
(implicit SR)]>;
|
|
def BIT16rm : I16rm<0x0,
|
|
(outs), (ins GR16:$src, memdst:$src2),
|
|
"bit.w\t{$src2, $src}",
|
|
[(MSP430cmp (and_su GR16:$src, (load addr:$src2)), 0),
|
|
(implicit SR)]>;
|
|
|
|
def BIT8mr : I8mr<0x0,
|
|
(outs), (ins memsrc:$src, GR8:$src2),
|
|
"bit.b\t{$src2, $src}",
|
|
[(MSP430cmp (and_su (load addr:$src), GR8:$src2), 0),
|
|
(implicit SR)]>;
|
|
def BIT16mr : I16mr<0x0,
|
|
(outs), (ins memsrc:$src, GR16:$src2),
|
|
"bit.w\t{$src2, $src}",
|
|
[(MSP430cmp (and_su (load addr:$src), GR16:$src2), 0),
|
|
(implicit SR)]>;
|
|
|
|
def BIT8mi : I8mi<0x0,
|
|
(outs), (ins memsrc:$src, i8imm:$src2),
|
|
"bit.b\t{$src2, $src}",
|
|
[(MSP430cmp (and_su (load addr:$src), (i8 imm:$src2)), 0),
|
|
(implicit SR)]>;
|
|
def BIT16mi : I16mi<0x0,
|
|
(outs), (ins memsrc:$src, i16imm:$src2),
|
|
"bit.w\t{$src2, $src}",
|
|
[(MSP430cmp (and_su (load addr:$src), (i16 imm:$src2)), 0),
|
|
(implicit SR)]>;
|
|
|
|
def BIT8mm : I8mm<0x0,
|
|
(outs), (ins memsrc:$src, memsrc:$src2),
|
|
"bit.b\t{$src2, $src}",
|
|
[(MSP430cmp (and_su (i8 (load addr:$src)),
|
|
(load addr:$src2)),
|
|
0),
|
|
(implicit SR)]>;
|
|
def BIT16mm : I16mm<0x0,
|
|
(outs), (ins memsrc:$src, memsrc:$src2),
|
|
"bit.w\t{$src2, $src}",
|
|
[(MSP430cmp (and_su (i16 (load addr:$src)),
|
|
(load addr:$src2)),
|
|
0),
|
|
(implicit SR)]>;
|
|
} // Defs = [SR]
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
// Non-Instruction Patterns
|
|
|
|
// extload
|
|
def : Pat<(extloadi16i8 addr:$src), (MOVZX16rm8 addr:$src)>;
|
|
|
|
// anyext
|
|
def : Pat<(i16 (anyext GR8:$src)),
|
|
(SUBREG_TO_REG (i16 0), GR8:$src, subreg_8bit)>;
|
|
|
|
// truncs
|
|
def : Pat<(i8 (trunc GR16:$src)),
|
|
(EXTRACT_SUBREG GR16:$src, subreg_8bit)>;
|
|
|
|
// GlobalAddress, ExternalSymbol
|
|
def : Pat<(i16 (MSP430Wrapper tglobaladdr:$dst)), (MOV16ri tglobaladdr:$dst)>;
|
|
def : Pat<(i16 (MSP430Wrapper texternalsym:$dst)), (MOV16ri texternalsym:$dst)>;
|
|
def : Pat<(i16 (MSP430Wrapper tblockaddress:$dst)), (MOV16ri tblockaddress:$dst)>;
|
|
|
|
def : Pat<(add GR16:$src, (MSP430Wrapper tglobaladdr :$src2)),
|
|
(ADD16ri GR16:$src, tglobaladdr:$src2)>;
|
|
def : Pat<(add GR16:$src, (MSP430Wrapper texternalsym:$src2)),
|
|
(ADD16ri GR16:$src, texternalsym:$src2)>;
|
|
def : Pat<(add GR16:$src, (MSP430Wrapper tblockaddress:$src2)),
|
|
(ADD16ri GR16:$src, tblockaddress:$src2)>;
|
|
|
|
def : Pat<(store (i16 (MSP430Wrapper tglobaladdr:$src)), addr:$dst),
|
|
(MOV16mi addr:$dst, tglobaladdr:$src)>;
|
|
def : Pat<(store (i16 (MSP430Wrapper texternalsym:$src)), addr:$dst),
|
|
(MOV16mi addr:$dst, texternalsym:$src)>;
|
|
def : Pat<(store (i16 (MSP430Wrapper tblockaddress:$src)), addr:$dst),
|
|
(MOV16mi addr:$dst, tblockaddress:$src)>;
|
|
|
|
// calls
|
|
def : Pat<(MSP430call (i16 tglobaladdr:$dst)),
|
|
(CALLi tglobaladdr:$dst)>;
|
|
def : Pat<(MSP430call (i16 texternalsym:$dst)),
|
|
(CALLi texternalsym:$dst)>;
|
|
|
|
// add and sub always produce carry
|
|
def : Pat<(addc GR16:$src, GR16:$src2),
|
|
(ADD16rr GR16:$src, GR16:$src2)>;
|
|
def : Pat<(addc GR16:$src, (load addr:$src2)),
|
|
(ADD16rm GR16:$src, addr:$src2)>;
|
|
def : Pat<(addc GR16:$src, imm:$src2),
|
|
(ADD16ri GR16:$src, imm:$src2)>;
|
|
def : Pat<(store (addc (load addr:$dst), GR16:$src), addr:$dst),
|
|
(ADD16mr addr:$dst, GR16:$src)>;
|
|
def : Pat<(store (addc (load addr:$dst), (i16 (load addr:$src))), addr:$dst),
|
|
(ADD16mm addr:$dst, addr:$src)>;
|
|
|
|
def : Pat<(addc GR8:$src, GR8:$src2),
|
|
(ADD8rr GR8:$src, GR8:$src2)>;
|
|
def : Pat<(addc GR8:$src, (load addr:$src2)),
|
|
(ADD8rm GR8:$src, addr:$src2)>;
|
|
def : Pat<(addc GR8:$src, imm:$src2),
|
|
(ADD8ri GR8:$src, imm:$src2)>;
|
|
def : Pat<(store (addc (load addr:$dst), GR8:$src), addr:$dst),
|
|
(ADD8mr addr:$dst, GR8:$src)>;
|
|
def : Pat<(store (addc (load addr:$dst), (i8 (load addr:$src))), addr:$dst),
|
|
(ADD8mm addr:$dst, addr:$src)>;
|
|
|
|
def : Pat<(subc GR16:$src, GR16:$src2),
|
|
(SUB16rr GR16:$src, GR16:$src2)>;
|
|
def : Pat<(subc GR16:$src, (load addr:$src2)),
|
|
(SUB16rm GR16:$src, addr:$src2)>;
|
|
def : Pat<(subc GR16:$src, imm:$src2),
|
|
(SUB16ri GR16:$src, imm:$src2)>;
|
|
def : Pat<(store (subc (load addr:$dst), GR16:$src), addr:$dst),
|
|
(SUB16mr addr:$dst, GR16:$src)>;
|
|
def : Pat<(store (subc (load addr:$dst), (i16 (load addr:$src))), addr:$dst),
|
|
(SUB16mm addr:$dst, addr:$src)>;
|
|
|
|
def : Pat<(subc GR8:$src, GR8:$src2),
|
|
(SUB8rr GR8:$src, GR8:$src2)>;
|
|
def : Pat<(subc GR8:$src, (load addr:$src2)),
|
|
(SUB8rm GR8:$src, addr:$src2)>;
|
|
def : Pat<(subc GR8:$src, imm:$src2),
|
|
(SUB8ri GR8:$src, imm:$src2)>;
|
|
def : Pat<(store (subc (load addr:$dst), GR8:$src), addr:$dst),
|
|
(SUB8mr addr:$dst, GR8:$src)>;
|
|
def : Pat<(store (subc (load addr:$dst), (i8 (load addr:$src))), addr:$dst),
|
|
(SUB8mm addr:$dst, addr:$src)>;
|
|
|
|
// peephole patterns
|
|
def : Pat<(and GR16:$src, 255), (ZEXT16r GR16:$src)>;
|
|
def : Pat<(MSP430cmp (trunc (and_su GR16:$src, GR16:$src2)), 0),
|
|
(BIT8rr (EXTRACT_SUBREG GR16:$src, subreg_8bit),
|
|
(EXTRACT_SUBREG GR16:$src2, subreg_8bit))>;
|