lib/Target/ARM/ARMTargetAsmInfo.cpp

   1
   2 //===-- ARMTargetAsmInfo.cpp - ARM asm properties ---------------*- C++ -*-===//
   3 //
   4 //                     The LLVM Compiler Infrastructure
   5 //
   6 // This file was developed by James M. Laskey and is distributed under the
   7 // University of Illinois Open Source License. See LICENSE.TXT for details.
   8 //
   9 //===----------------------------------------------------------------------===//
  10 //
  11 // This file contains the declarations of the ARMTargetAsmInfo properties.
  12 //
  13 //===----------------------------------------------------------------------===//
  14
  15 #include "ARMTargetAsmInfo.h"
  16 #include "ARMTargetMachine.h"
  17 #include <cstring>
  18 #include <cctype>
  19 using namespace llvm;
  20
  21 ARMTargetAsmInfo::ARMTargetAsmInfo(const ARMTargetMachine &TM) {
  22   Subtarget = &TM.getSubtarget<ARMSubtarget>();
  23   if (Subtarget->isTargetDarwin()) {
  24     GlobalPrefix = "_";
  25     PrivateGlobalPrefix = "L";
  26     BSSSection = 0;                       // no BSS section.
  27     ZeroFillDirective = "\t.zerofill\t";  // Uses .zerofill
  28     SetDirective = "\t.set";
  29     WeakRefDirective = "\t.weak_reference\t";
  30     HiddenDirective = "\t.private_extern\t";
  31     ProtectedDirective = NULL;
  32     JumpTableDataSection = ".const";
  33     CStringSection = "\t.cstring";
  34     FourByteConstantSection = "\t.literal4\n";
  35     EightByteConstantSection = "\t.literal8\n";
  36     ReadOnlySection = "\t.const\n";
  37     HasDotTypeDotSizeDirective = false;
  38     if (TM.getRelocationModel() == Reloc::Static) {
  39       StaticCtorsSection = ".constructor";
  40       StaticDtorsSection = ".destructor";
  41     } else {
  42       StaticCtorsSection = ".mod_init_func";
  43       StaticDtorsSection = ".mod_term_func";
  44     }
  45
  46     // In non-PIC modes, emit a special label before jump tables so that the
  47     // linker can perform more accurate dead code stripping.
  48     if (TM.getRelocationModel() != Reloc::PIC_) {
  49       // Emit a local label that is preserved until the linker runs.
  50       JumpTableSpecialLabelPrefix = "l";
  51     }
  52
  53     NeedsSet = true;
  54     DwarfAbbrevSection = ".section __DWARF,__debug_abbrev,regular,debug";
  55     DwarfInfoSection = ".section __DWARF,__debug_info,regular,debug";
  56     DwarfLineSection = ".section __DWARF,__debug_line,regular,debug";
  57     DwarfFrameSection = ".section __DWARF,__debug_frame,regular,debug";
  58     DwarfPubNamesSection = ".section __DWARF,__debug_pubnames,regular,debug";
  59     DwarfPubTypesSection = ".section __DWARF,__debug_pubtypes,regular,debug";
  60     DwarfStrSection = ".section __DWARF,__debug_str,regular,debug";
  61     DwarfLocSection = ".section __DWARF,__debug_loc,regular,debug";
  62     DwarfARangesSection = ".section __DWARF,__debug_aranges,regular,debug";
  63     DwarfRangesSection = ".section __DWARF,__debug_ranges,regular,debug";
  64     DwarfMacInfoSection = ".section __DWARF,__debug_macinfo,regular,debug";
  65   } else {
  66     PrivateGlobalPrefix = ".L";
  67     WeakRefDirective = "\t.weak\t";
  68     if (Subtarget->isAAPCS_ABI()) {
  69       StaticCtorsSection = "\t.section .init_array,\"aw\",%init_array";
  70       StaticDtorsSection = "\t.section .fini_array,\"aw\",%fini_array";
  71     } else {
  72       StaticCtorsSection = "\t.section .ctors,\"aw\",%progbits";
  73       StaticDtorsSection = "\t.section .dtors,\"aw\",%progbits";
  74     }
  75     TLSDataSection = "\t.section .tdata,\"awT\",%progbits";
  76     TLSBSSSection = "\t.section .tbss,\"awT\",%nobits";
  77   }
  78
  79   ZeroDirective = "\t.space\t";
  80   AlignmentIsInBytes = false;
  81   Data64bitsDirective = 0;
  82   CommentString = "@";
  83   DataSection = "\t.data";
  84   ConstantPoolSection = "\t.text\n";
  85   COMMDirectiveTakesAlignment = false;
  86   InlineAsmStart = "@ InlineAsm Start";
  87   InlineAsmEnd = "@ InlineAsm End";
  88   LCOMMDirective = "\t.lcomm\t";
  89 }
  90
  91 /// Count the number of comma-separated arguments.
  92 /// Do not try to detect errors.
  93 unsigned ARMTargetAsmInfo::countArguments(const char* p) const {
  94   unsigned count = 0;
  95   while (*p && isspace(*p) && *p != '\n')
  96     p++;
  97   count++;
  98   while (*p && *p!='\n' &&
  99          strncmp(p, CommentString, strlen(CommentString))!=0) {
 100     if (*p==',')
 101       count++;
 102     p++;
 103   }
 104   return count;
 105 }
 106
 107 /// Count the length of a string enclosed in quote characters.
 108 /// Do not try to detect errors.
 109 unsigned ARMTargetAsmInfo::countString(const char* p) const {
 110   unsigned count = 0;
 111   while (*p && isspace(*p) && *p!='\n')
 112     p++;
 113   if (!*p || *p != '\"')
 114     return count;
 115   while (*++p && *p != '\"')
 116     count++;
 117   return count;
 118 }
 119
 120 /// ARM-specific version of TargetAsmInfo::getInlineAsmLength.
 121 unsigned ARMTargetAsmInfo::getInlineAsmLength(const char *Str) const {
 122   // Count the number of bytes in the asm.
 123   bool atInsnStart = true;
 124   bool inTextSection = true;
 125   unsigned Length = 0;
 126   for (; *Str; ++Str) {
 127     if (atInsnStart) {
 128       // Skip whitespace
 129       while (*Str && isspace(*Str) && *Str != '\n')
 130         Str++;
 131       // Skip label
 132       for (const char* p = Str; *p && !isspace(*p); p++)
 133         if (*p == ':') {
 134           Str = p+1;
 135           while (*Str && isspace(*Str) && *Str != '\n')
 136             Str++;
 137           break;
 138         }
 139       // Ignore everything from comment char(s) to EOL
 140       if (strncmp(Str, CommentString, strlen(CommentString))==-0)
 141         atInsnStart = false;
 142       // FIXME do something like the following for non-Darwin
 143       else if (*Str == '.' && Subtarget->isTargetDarwin()) {
 144         // Directive.
 145         atInsnStart = false;
 146         // Some change the section, but don't generate code.
 147         if (strncasecmp(Str, ".literal4", strlen(".literal4"))==0 ||
 148             strncasecmp(Str, ".literal8", strlen(".literal8"))==0 ||
 149             strncasecmp(Str, ".const", strlen(".const"))==0 ||
 150             strncasecmp(Str, ".constructor", strlen(".constructor"))==0 ||
 151             strncasecmp(Str, ".cstring", strlen(".cstring"))==0 ||
 152             strncasecmp(Str, ".data", strlen(".data"))==0 ||
 153             strncasecmp(Str, ".destructor", strlen(".destructor"))==0 ||
 154             strncasecmp(Str, ".fvmlib_init0", strlen(".fvmlib_init0"))==0 ||
 155             strncasecmp(Str, ".fvmlib_init1", strlen(".fvmlib_init1"))==0 ||
 156             strncasecmp(Str, ".mod_init_func", strlen(".mod_init_func"))==0 ||
 157             strncasecmp(Str, ".mod_term_func", strlen(".mod_term_func"))==0 ||
 158             strncasecmp(Str, ".picsymbol_stub", strlen(".picsymbol_stub"))==0 ||
 159             strncasecmp(Str, ".symbol_stub", strlen(".symbol_stub"))==0 ||
 160             strncasecmp(Str, ".static_data", strlen(".static_data"))==0 ||
 161             strncasecmp(Str, ".section", strlen(".section"))==0 ||
 162             strncasecmp(Str, ".lazy_symbol_pointer", strlen(".lazy_symbol_pointer"))==0 ||
 163             strncasecmp(Str, ".non_lazy_symbol_pointer", strlen(".non_lazy_symbol_pointer"))==0 ||
 164             strncasecmp(Str, ".dyld", strlen(".dyld"))==0 ||
 165             strncasecmp(Str, ".const_data", strlen(".const_data"))==0 ||
 166             strncasecmp(Str, ".objc", strlen(".objc"))==0 ||       //// many directives
 167             strncasecmp(Str, ".static_const", strlen(".static_const"))==0)
 168           inTextSection=false;
 169         else if (strncasecmp(Str, ".text", strlen(".text"))==0)
 170           inTextSection = true;
 171         // Some can't really be handled without implementing significant pieces
 172         // of an assembler.  Others require dynamic adjustment of block sizes in
 173         // AdjustBBOffsetsAfter; it's a big compile-time speed hit to check every
 174         // instruction in there, and none of these are currently used in the kernel.
 175         else if (strncasecmp(Str, ".macro", strlen(".macro"))==0 ||
 176                  strncasecmp(Str, ".if", strlen(".if"))==0 ||
 177                  strncasecmp(Str, ".align", strlen(".align"))==0 ||
 178                  strncasecmp(Str, ".fill", strlen(".fill"))==0 ||
 179                  strncasecmp(Str, ".space", strlen(".space"))==0 ||
 180                  strncasecmp(Str, ".zerofill", strlen(".zerofill"))==0 ||
 181                  strncasecmp(Str, ".p2align", strlen(".p2align"))==0 ||
 182                  strncasecmp(Str, ".p2alignw", strlen(".p2alignw"))==0 ||
 183                  strncasecmp(Str, ".p2alignl", strlen(".p2alignl"))==0 ||
 184                  strncasecmp(Str, ".align32", strlen(".p2align32"))==0 ||
 185                  strncasecmp(Str, ".include", strlen(".include"))==0)
 186           cerr << "Directive " << Str << " in asm may lead to invalid offsets for" <<
 187                    " constant pools (the assembler will tell you if this happens).\n";
 188         // Some generate code, but this is only interesting in the text section.
 189         else if (inTextSection) {
 190           if (strncasecmp(Str, ".long", strlen(".long"))==0)
 191             Length += 4*countArguments(Str+strlen(".long"));
 192           else if (strncasecmp(Str, ".short", strlen(".short"))==0)
 193             Length += 2*countArguments(Str+strlen(".short"));
 194           else if (strncasecmp(Str, ".byte", strlen(".byte"))==0)
 195             Length += 1*countArguments(Str+strlen(".byte"));
 196           else if (strncasecmp(Str, ".single", strlen(".single"))==0)
 197             Length += 4*countArguments(Str+strlen(".single"));
 198           else if (strncasecmp(Str, ".double", strlen(".double"))==0)
 199             Length += 8*countArguments(Str+strlen(".double"));
 200           else if (strncasecmp(Str, ".quad", strlen(".quad"))==0)
 201             Length += 16*countArguments(Str+strlen(".quad"));
 202           else if (strncasecmp(Str, ".ascii", strlen(".ascii"))==0)
 203             Length += countString(Str+strlen(".ascii"));
 204           else if (strncasecmp(Str, ".asciz", strlen(".asciz"))==0)
 205             Length += countString(Str+strlen(".asciz"))+1;
 206         }
 207       } else if (inTextSection) {
 208         // An instruction
 209         atInsnStart = false;
 210         if (Subtarget->isThumb()) {
 211           // BL and BLX <non-reg> are 4 bytes, all others 2.
 212           if (strncasecmp(Str, "blx", strlen("blx"))==0) {
 213             const char* p = Str+3;
 214             while (*p && isspace(*p))
 215               p++;
 216             if (*p == 'r' || *p=='R')
 217               Length += 2;    // BLX reg
 218             else
 219               Length += 4;    // BLX non-reg
 220           } else if (strncasecmp(Str, "bl", strlen("bl"))==0)
 221             Length += 4;    // BL
 222           else
 223             Length += 2;    // Thumb anything else
 224         }
 225         else
 226           Length += 4;    // ARM
 227       }
 228     }
 229     if (*Str == '\n' || *Str == SeparatorChar)
 230       atInsnStart = true;
 231   }
 232   return Length;
 233 }