Rafael Espindola | 7bc59bc | 2006-05-14 22:18:28 +0000 | [diff] [blame] | 1 | //===- ARMInstrInfo.td - Target Description for ARM Target ----------------===// |
| 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
| 5 | // This file was developed by the "Instituto Nokia de Tecnologia" and |
| 6 | // is distributed under the University of Illinois Open Source |
| 7 | // License. See LICENSE.TXT for details. |
| 8 | // |
| 9 | //===----------------------------------------------------------------------===// |
| 10 | // |
| 11 | // This file describes the ARM instructions in TableGen format. |
| 12 | // |
| 13 | //===----------------------------------------------------------------------===// |
| 14 | |
Rafael Espindola | a4e6435 | 2006-07-11 11:36:48 +0000 | [diff] [blame] | 15 | // Address operands |
| 16 | def memri : Operand<iPTR> { |
| 17 | let PrintMethod = "printMemRegImm"; |
| 18 | let NumMIOperands = 2; |
| 19 | let MIOperandInfo = (ops i32imm, ptr_rc); |
| 20 | } |
| 21 | |
Rafael Espindola | aefe142 | 2006-07-10 01:41:35 +0000 | [diff] [blame] | 22 | // Define ARM specific addressing mode. |
Rafael Espindola | a4e6435 | 2006-07-11 11:36:48 +0000 | [diff] [blame] | 23 | //register plus/minus 12 bit offset |
| 24 | def iaddr : ComplexPattern<iPTR, 2, "SelectAddrRegImm", []>; |
| 25 | //register plus scaled register |
| 26 | //def raddr : ComplexPattern<iPTR, 2, "SelectAddrRegReg", []>; |
Rafael Espindola | 7bc59bc | 2006-05-14 22:18:28 +0000 | [diff] [blame] | 27 | |
| 28 | //===----------------------------------------------------------------------===// |
| 29 | // Instructions |
| 30 | //===----------------------------------------------------------------------===// |
| 31 | |
| 32 | class InstARM<dag ops, string asmstr, list<dag> pattern> : Instruction { |
| 33 | let Namespace = "ARM"; |
| 34 | |
| 35 | dag OperandList = ops; |
| 36 | let AsmString = asmstr; |
| 37 | let Pattern = pattern; |
| 38 | } |
| 39 | |
| 40 | def SDT_ARMCallSeq : SDTypeProfile<0, 1, [ SDTCisVT<0, i32> ]>; |
| 41 | def callseq_start : SDNode<"ISD::CALLSEQ_START", SDT_ARMCallSeq, [SDNPHasChain]>; |
| 42 | def callseq_end : SDNode<"ISD::CALLSEQ_END", SDT_ARMCallSeq, [SDNPHasChain]>; |
| 43 | |
Rafael Espindola | 7bc59bc | 2006-05-14 22:18:28 +0000 | [diff] [blame] | 44 | def ADJCALLSTACKUP : InstARM<(ops i32imm:$amt), |
| 45 | "!ADJCALLSTACKUP $amt", |
| 46 | [(callseq_end imm:$amt)]>; |
| 47 | |
| 48 | def ADJCALLSTACKDOWN : InstARM<(ops i32imm:$amt), |
| 49 | "!ADJCALLSTACKDOWN $amt", |
| 50 | [(callseq_start imm:$amt)]>; |
| 51 | |
Rafael Espindola | 85ede37 | 2006-05-30 17:33:19 +0000 | [diff] [blame] | 52 | def bxr: InstARM<(ops IntRegs:$dst), "bx $dst", [(brind IntRegs:$dst)]>; |
Rafael Espindola | dc124a2 | 2006-05-18 21:45:49 +0000 | [diff] [blame] | 53 | |
Rafael Espindola | a4e6435 | 2006-07-11 11:36:48 +0000 | [diff] [blame] | 54 | def ldr : InstARM<(ops IntRegs:$dst, memri:$addr), |
Rafael Espindola | 7bc59bc | 2006-05-14 22:18:28 +0000 | [diff] [blame] | 55 | "ldr $dst, [$addr]", |
Rafael Espindola | a4e6435 | 2006-07-11 11:36:48 +0000 | [diff] [blame] | 56 | [(set IntRegs:$dst, (load iaddr:$addr))]>; |
Rafael Espindola | 7bc59bc | 2006-05-14 22:18:28 +0000 | [diff] [blame] | 57 | |
| 58 | def str : InstARM<(ops IntRegs:$src, IntRegs:$addr), |
| 59 | "str $src, [$addr]", |
| 60 | [(store IntRegs:$src, IntRegs:$addr)]>; |
| 61 | |
Rafael Espindola | dc124a2 | 2006-05-18 21:45:49 +0000 | [diff] [blame] | 62 | def movrr : InstARM<(ops IntRegs:$dst, IntRegs:$src), |
| 63 | "mov $dst, $src", []>; |
| 64 | |
| 65 | def movri : InstARM<(ops IntRegs:$dst, i32imm:$src), |
| 66 | "mov $dst, $src", [(set IntRegs:$dst, imm:$src)]>; |
Rafael Espindola | 58421d7 | 2006-06-18 00:08:07 +0000 | [diff] [blame] | 67 | |
| 68 | def addri : InstARM<(ops IntRegs:$dst, IntRegs:$a, i32imm:$b), |
| 69 | "add $dst, $a, $b", |
| 70 | [(set IntRegs:$dst, (add IntRegs:$a, imm:$b))]>; |