1 //===-- ARMTargetAsmInfo.cpp - ARM asm properties ---------------*- C++ -*-===//
3 // The LLVM Compiler Infrastructure
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
10 // This file contains the declarations of the ARMTargetAsmInfo properties.
12 //===----------------------------------------------------------------------===//
14 #include "ARMTargetAsmInfo.h"
15 #include "ARMTargetMachine.h"
20 static const char *const arm_asm_table[] = {
45 ARMTargetAsmInfo::ARMTargetAsmInfo(const ARMTargetMachine &TM) {
46 AsmTransCBE = arm_asm_table;
48 AlignmentIsInBytes = false;
49 Data64bitsDirective = 0;
51 ConstantPoolSection = "\t.text\n";
52 COMMDirectiveTakesAlignment = false;
53 InlineAsmStart = "@ InlineAsm Start";
54 InlineAsmEnd = "@ InlineAsm End";
55 LCOMMDirective = "\t.lcomm\t";
58 ARMDarwinTargetAsmInfo::ARMDarwinTargetAsmInfo(const ARMTargetMachine &TM):
59 ARMTargetAsmInfo(TM), DarwinTargetAsmInfo(TM) {
60 Subtarget = &DTM->getSubtarget<ARMSubtarget>();
63 PrivateGlobalPrefix = "L";
64 LessPrivateGlobalPrefix = "l";
65 StringConstantPrefix = "\1LC";
66 BSSSection = 0; // no BSS section
67 ZeroDirective = "\t.space\t";
68 ZeroFillDirective = "\t.zerofill\t"; // Uses .zerofill
69 SetDirective = "\t.set\t";
70 WeakRefDirective = "\t.weak_reference\t";
71 HiddenDirective = "\t.private_extern\t";
72 ProtectedDirective = NULL;
73 JumpTableDataSection = ".const";
74 CStringSection = "\t.cstring";
75 FourByteConstantSection = "\t.literal4\n";
76 EightByteConstantSection = "\t.literal8\n";
77 ReadOnlySection = "\t.const\n";
78 HasDotTypeDotSizeDirective = false;
79 NeedsIndirectEncoding = true;
80 if (TM.getRelocationModel() == Reloc::Static) {
81 StaticCtorsSection = ".constructor";
82 StaticDtorsSection = ".destructor";
84 StaticCtorsSection = ".mod_init_func";
85 StaticDtorsSection = ".mod_term_func";
88 // In non-PIC modes, emit a special label before jump tables so that the
89 // linker can perform more accurate dead code stripping.
90 if (TM.getRelocationModel() != Reloc::PIC_) {
91 // Emit a local label that is preserved until the linker runs.
92 JumpTableSpecialLabelPrefix = "l";
96 DwarfAbbrevSection = ".section __DWARF,__debug_abbrev,regular,debug";
97 DwarfInfoSection = ".section __DWARF,__debug_info,regular,debug";
98 DwarfLineSection = ".section __DWARF,__debug_line,regular,debug";
99 DwarfFrameSection = ".section __DWARF,__debug_frame,regular,debug";
100 DwarfPubNamesSection = ".section __DWARF,__debug_pubnames,regular,debug";
101 DwarfPubTypesSection = ".section __DWARF,__debug_pubtypes,regular,debug";
102 DwarfStrSection = ".section __DWARF,__debug_str,regular,debug";
103 DwarfLocSection = ".section __DWARF,__debug_loc,regular,debug";
104 DwarfARangesSection = ".section __DWARF,__debug_aranges,regular,debug";
105 DwarfRangesSection = ".section __DWARF,__debug_ranges,regular,debug";
106 DwarfMacInfoSection = ".section __DWARF,__debug_macinfo,regular,debug";
109 ARMELFTargetAsmInfo::ARMELFTargetAsmInfo(const ARMTargetMachine &TM):
110 ARMTargetAsmInfo(TM), ELFTargetAsmInfo(TM) {
111 Subtarget = &ETM->getSubtarget<ARMSubtarget>();
115 AbsoluteDebugSectionOffsets = true;
116 CStringSection = ".rodata.str";
117 ReadOnlySection = "\t.section\t.rodata\n";
118 FourByteConstantSection = "\t.section\t.rodata.cst4,\"aM\",@progbits,4";
119 EightByteConstantSection = "\t.section\t.rodata.cst8,\"aM\",@progbits,8";
120 SixteenByteConstantSection = "\t.section\t.rodata.cst16,\"aM\",@progbits,16";
121 PrivateGlobalPrefix = ".L";
122 WeakRefDirective = "\t.weak\t";
123 SetDirective = "\t.set\t";
124 DwarfRequiresFrameSection = false;
125 DwarfAbbrevSection = "\t.section\t.debug_abbrev,\"\",%progbits";
126 DwarfInfoSection = "\t.section\t.debug_info,\"\",%progbits";
127 DwarfLineSection = "\t.section\t.debug_line,\"\",%progbits";
128 DwarfFrameSection = "\t.section\t.debug_frame,\"\",%progbits";
129 DwarfPubNamesSection ="\t.section\t.debug_pubnames,\"\",%progbits";
130 DwarfPubTypesSection ="\t.section\t.debug_pubtypes,\"\",%progbits";
131 DwarfStrSection = "\t.section\t.debug_str,\"\",%progbits";
132 DwarfLocSection = "\t.section\t.debug_loc,\"\",%progbits";
133 DwarfARangesSection = "\t.section\t.debug_aranges,\"\",%progbits";
134 DwarfRangesSection = "\t.section\t.debug_ranges,\"\",%progbits";
135 DwarfMacInfoSection = "\t.section\t.debug_macinfo,\"\",%progbits";
137 if (Subtarget->isAAPCS_ABI()) {
138 StaticCtorsSection = "\t.section .init_array,\"aw\",%init_array";
139 StaticDtorsSection = "\t.section .fini_array,\"aw\",%fini_array";
141 StaticCtorsSection = "\t.section .ctors,\"aw\",%progbits";
142 StaticDtorsSection = "\t.section .dtors,\"aw\",%progbits";
144 TLSDataSection = "\t.section .tdata,\"awT\",%progbits";
145 TLSBSSSection = "\t.section .tbss,\"awT\",%nobits";
148 /// Count the number of comma-separated arguments.
149 /// Do not try to detect errors.
150 unsigned ARMTargetAsmInfo::countArguments(const char* p) const {
152 while (*p && isspace(*p) && *p != '\n')
155 while (*p && *p!='\n' &&
156 strncmp(p, CommentString, strlen(CommentString))!=0) {
164 /// Count the length of a string enclosed in quote characters.
165 /// Do not try to detect errors.
166 unsigned ARMTargetAsmInfo::countString(const char* p) const {
168 while (*p && isspace(*p) && *p!='\n')
170 if (!*p || *p != '\"')
172 while (*++p && *p != '\"')
177 /// ARM-specific version of TargetAsmInfo::getInlineAsmLength.
178 unsigned ARMTargetAsmInfo::getInlineAsmLength(const char *s) const {
179 // Make a lowercase-folded version of s for counting purposes.
180 char *q, *s_copy = (char *)malloc(strlen(s) + 1);
182 for (q=s_copy; *q; q++)
184 const char *Str = s_copy;
186 // Count the number of bytes in the asm.
187 bool atInsnStart = true;
188 bool inTextSection = true;
190 for (; *Str; ++Str) {
193 while (*Str && isspace(*Str) && *Str != '\n')
196 for (const char* p = Str; *p && !isspace(*p); p++)
199 while (*Str && isspace(*Str) && *Str != '\n')
203 // Ignore everything from comment char(s) to EOL
204 if (strncmp(Str, CommentString, strlen(CommentString))==-0)
206 // FIXME do something like the following for non-Darwin
207 else if (*Str == '.' && Subtarget->isTargetDarwin()) {
211 // Some change the section, but don't generate code.
212 if (strncmp(Str, ".literal4", strlen(".literal4"))==0 ||
213 strncmp(Str, ".literal8", strlen(".literal8"))==0 ||
214 strncmp(Str, ".const", strlen(".const"))==0 ||
215 strncmp(Str, ".constructor", strlen(".constructor"))==0 ||
216 strncmp(Str, ".cstring", strlen(".cstring"))==0 ||
217 strncmp(Str, ".data", strlen(".data"))==0 ||
218 strncmp(Str, ".destructor", strlen(".destructor"))==0 ||
219 strncmp(Str, ".fvmlib_init0", strlen(".fvmlib_init0"))==0 ||
220 strncmp(Str, ".fvmlib_init1", strlen(".fvmlib_init1"))==0 ||
221 strncmp(Str, ".mod_init_func", strlen(".mod_init_func"))==0 ||
222 strncmp(Str, ".mod_term_func", strlen(".mod_term_func"))==0 ||
223 strncmp(Str, ".picsymbol_stub", strlen(".picsymbol_stub"))==0 ||
224 strncmp(Str, ".symbol_stub", strlen(".symbol_stub"))==0 ||
225 strncmp(Str, ".static_data", strlen(".static_data"))==0 ||
226 strncmp(Str, ".section", strlen(".section"))==0 ||
227 strncmp(Str, ".lazy_symbol_pointer", strlen(".lazy_symbol_pointer"))==0 ||
228 strncmp(Str, ".non_lazy_symbol_pointer", strlen(".non_lazy_symbol_pointer"))==0 ||
229 strncmp(Str, ".dyld", strlen(".dyld"))==0 ||
230 strncmp(Str, ".const_data", strlen(".const_data"))==0 ||
231 strncmp(Str, ".objc", strlen(".objc"))==0 || //// many directives
232 strncmp(Str, ".static_const", strlen(".static_const"))==0)
234 else if (strncmp(Str, ".text", strlen(".text"))==0)
235 inTextSection = true;
236 // Some can't really be handled without implementing significant pieces
237 // of an assembler. Others require dynamic adjustment of block sizes in
238 // AdjustBBOffsetsAfter; it's a big compile-time speed hit to check every
239 // instruction in there, and none of these are currently used in the kernel.
240 else if (strncmp(Str, ".macro", strlen(".macro"))==0 ||
241 strncmp(Str, ".if", strlen(".if"))==0 ||
242 strncmp(Str, ".align", strlen(".align"))==0 ||
243 strncmp(Str, ".fill", strlen(".fill"))==0 ||
244 strncmp(Str, ".space", strlen(".space"))==0 ||
245 strncmp(Str, ".zerofill", strlen(".zerofill"))==0 ||
246 strncmp(Str, ".p2align", strlen(".p2align"))==0 ||
247 strncmp(Str, ".p2alignw", strlen(".p2alignw"))==0 ||
248 strncmp(Str, ".p2alignl", strlen(".p2alignl"))==0 ||
249 strncmp(Str, ".align32", strlen(".p2align32"))==0 ||
250 strncmp(Str, ".include", strlen(".include"))==0)
251 cerr << "Directive " << Str << " in asm may lead to invalid offsets for" <<
252 " constant pools (the assembler will tell you if this happens).\n";
253 // Some generate code, but this is only interesting in the text section.
254 else if (inTextSection) {
255 if (strncmp(Str, ".long", strlen(".long"))==0)
256 Length += 4*countArguments(Str+strlen(".long"));
257 else if (strncmp(Str, ".short", strlen(".short"))==0)
258 Length += 2*countArguments(Str+strlen(".short"));
259 else if (strncmp(Str, ".byte", strlen(".byte"))==0)
260 Length += 1*countArguments(Str+strlen(".byte"));
261 else if (strncmp(Str, ".single", strlen(".single"))==0)
262 Length += 4*countArguments(Str+strlen(".single"));
263 else if (strncmp(Str, ".double", strlen(".double"))==0)
264 Length += 8*countArguments(Str+strlen(".double"));
265 else if (strncmp(Str, ".quad", strlen(".quad"))==0)
266 Length += 16*countArguments(Str+strlen(".quad"));
267 else if (strncmp(Str, ".ascii", strlen(".ascii"))==0)
268 Length += countString(Str+strlen(".ascii"));
269 else if (strncmp(Str, ".asciz", strlen(".asciz"))==0)
270 Length += countString(Str+strlen(".asciz"))+1;
272 } else if (inTextSection) {
275 if (Subtarget->isThumb()) {
276 // BL and BLX <non-reg> are 4 bytes, all others 2.
277 if (strncmp(Str, "blx", strlen("blx"))==0) {
278 const char* p = Str+3;
279 while (*p && isspace(*p))
281 if (*p == 'r' || *p=='R')
282 Length += 2; // BLX reg
284 Length += 4; // BLX non-reg
285 } else if (strncmp(Str, "bl", strlen("bl"))==0)
288 Length += 2; // Thumb anything else
294 if (*Str == '\n' || *Str == SeparatorChar)