blob: 5ba4deba2e0979fe26801c2a7f091da3ad5c41c7 [file] [log] [blame]
Rafael Espindolaffdc24b2006-05-14 22:18:28 +00001//===- 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 Espindola185c5c22006-07-11 11:36:48 +000015// Address operands
16def memri : Operand<iPTR> {
17 let PrintMethod = "printMemRegImm";
18 let NumMIOperands = 2;
19 let MIOperandInfo = (ops i32imm, ptr_rc);
20}
21
Rafael Espindolae40a7e22006-07-10 01:41:35 +000022// Define ARM specific addressing mode.
Rafael Espindola185c5c22006-07-11 11:36:48 +000023//register plus/minus 12 bit offset
24def iaddr : ComplexPattern<iPTR, 2, "SelectAddrRegImm", []>;
25//register plus scaled register
26//def raddr : ComplexPattern<iPTR, 2, "SelectAddrRegReg", []>;
Rafael Espindolaffdc24b2006-05-14 22:18:28 +000027
28//===----------------------------------------------------------------------===//
29// Instructions
30//===----------------------------------------------------------------------===//
31
32class 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
40def SDT_ARMCallSeq : SDTypeProfile<0, 1, [ SDTCisVT<0, i32> ]>;
41def callseq_start : SDNode<"ISD::CALLSEQ_START", SDT_ARMCallSeq, [SDNPHasChain]>;
42def callseq_end : SDNode<"ISD::CALLSEQ_END", SDT_ARMCallSeq, [SDNPHasChain]>;
43
Rafael Espindola75269be2006-07-16 01:02:57 +000044def SDT_ARMcall : SDTypeProfile<0, -1, [SDTCisInt<0>]>;
45def ARMcall : SDNode<"ARMISD::CALL", SDT_ARMcall,
46 [SDNPHasChain, SDNPOptInFlag, SDNPOutFlag]>;
Rafael Espindolaa94b9e32006-08-03 17:02:20 +000047def retflag : SDNode<"ARMISD::RET_FLAG", SDTRet,
48 [SDNPHasChain, SDNPOptInFlag]>;
Rafael Espindola75269be2006-07-16 01:02:57 +000049
Rafael Espindolaffdc24b2006-05-14 22:18:28 +000050def ADJCALLSTACKUP : InstARM<(ops i32imm:$amt),
51 "!ADJCALLSTACKUP $amt",
52 [(callseq_end imm:$amt)]>;
53
54def ADJCALLSTACKDOWN : InstARM<(ops i32imm:$amt),
55 "!ADJCALLSTACKDOWN $amt",
56 [(callseq_start imm:$amt)]>;
57
Rafael Espindolabf3a17c2006-07-18 17:00:30 +000058let isReturn = 1 in {
Rafael Espindolaa94b9e32006-08-03 17:02:20 +000059 def bx: InstARM<(ops), "bx r14", [(retflag)]>;
Rafael Espindolabf3a17c2006-07-18 17:00:30 +000060}
Rafael Espindolab15597b2006-05-18 21:45:49 +000061
Rafael Espindola8b7bd822006-08-01 18:53:10 +000062let Defs = [R0, R1, R2, R3] in {
63 def bl: InstARM<(ops i32imm:$func, variable_ops), "bl $func", [(ARMcall tglobaladdr:$func)]>;
64}
Rafael Espindola75269be2006-07-16 01:02:57 +000065
Rafael Espindola185c5c22006-07-11 11:36:48 +000066def ldr : InstARM<(ops IntRegs:$dst, memri:$addr),
Rafael Espindola8b7bd822006-08-01 18:53:10 +000067 "ldr $dst, $addr",
Rafael Espindola185c5c22006-07-11 11:36:48 +000068 [(set IntRegs:$dst, (load iaddr:$addr))]>;
Rafael Espindolaffdc24b2006-05-14 22:18:28 +000069
70def str : InstARM<(ops IntRegs:$src, IntRegs:$addr),
71 "str $src, [$addr]",
72 [(store IntRegs:$src, IntRegs:$addr)]>;
73
Rafael Espindolab15597b2006-05-18 21:45:49 +000074def movrr : InstARM<(ops IntRegs:$dst, IntRegs:$src),
75 "mov $dst, $src", []>;
76
77def movri : InstARM<(ops IntRegs:$dst, i32imm:$src),
78 "mov $dst, $src", [(set IntRegs:$dst, imm:$src)]>;
Rafael Espindolaa88966f2006-06-18 00:08:07 +000079
80def addri : InstARM<(ops IntRegs:$dst, IntRegs:$a, i32imm:$b),
81 "add $dst, $a, $b",
82 [(set IntRegs:$dst, (add IntRegs:$a, imm:$b))]>;
Rafael Espindola976c93a2006-07-21 12:26:16 +000083
84def subri : InstARM<(ops IntRegs:$dst, IntRegs:$a, i32imm:$b),
85 "sub $dst, $a, $b",
86 [(set IntRegs:$dst, (sub IntRegs:$a, imm:$b))]>;