Move immediate constant predicate templates from the Blackfin target to MathExtras.h
[oota-llvm.git] / lib / MC / MCAsmStreamer.cpp
index a4a1525bee5c97826481982aee6b3382dbbba64d..5457913b942c0bffb00ea151e59c41cd2f195cb7 100644 (file)
@@ -11,7 +11,7 @@
 
 #include "llvm/MC/MCContext.h"
 #include "llvm/MC/MCInst.h"
-#include "llvm/MC/MCSection.h"
+#include "llvm/MC/MCSectionMachO.h"
 #include "llvm/MC/MCSymbol.h"
 #include "llvm/MC/MCValue.h"
 #include "llvm/Support/ErrorHandling.h"
@@ -55,9 +55,7 @@ namespace {
     virtual void EmitZerofill(MCSection *Section, MCSymbol *Symbol = NULL,
                               unsigned Size = 0, unsigned Pow2Alignment = 0);
 
-    virtual void AbortAssembly(const char *AbortReason = NULL);
-
-    virtual void EmitBytes(const char *Data, unsigned Length);
+    virtual void EmitBytes(const StringRef &Data);
 
     virtual void EmitValue(const MCValue &Value, unsigned Size);
 
@@ -77,12 +75,44 @@ namespace {
 
 }
 
+/// NeedsQuoting - Return true if the string \arg Str needs quoting, i.e., it
+/// does not match [a-zA-Z_.][a-zA-Z0-9_.]*.
+//
+// FIXME: This could be more permissive, do we care?
+static inline bool NeedsQuoting(const StringRef &Str) {
+  if (Str.empty())
+    return true;
+
+  // Check that first character is in [a-zA-Z_.].
+  if (!((Str[0] >= 'a' && Str[0] <= 'z') ||
+        (Str[0] >= 'A' && Str[0] <= 'Z') ||
+        (Str[0] == '_' || Str[0] == '.')))
+    return true;
+
+  // Check subsequent characters are in [a-zA-Z0-9_.].
+  for (unsigned i = 1, e = Str.size(); i != e; ++i)
+    if (!((Str[i] >= 'a' && Str[i] <= 'z') ||
+          (Str[i] >= 'A' && Str[i] <= 'Z') ||
+          (Str[i] >= '0' && Str[i] <= '9') ||
+          (Str[i] == '_' || Str[i] == '.')))
+      return true;
+
+  return false;
+}
+
+/// Allow printing symbols directly to a raw_ostream with proper quoting.
+static inline raw_ostream &operator<<(raw_ostream &os, const MCSymbol *S) {
+  if (NeedsQuoting(S->getName()))
+    return os << '"' << S->getName() << '"';
+  return os << S->getName();
+}
+
 /// Allow printing values directly to a raw_ostream.
 static inline raw_ostream &operator<<(raw_ostream &os, const MCValue &Value) {
   if (Value.getSymA()) {
-    os << Value.getSymA()->getName();
+    os << Value.getSymA();
     if (Value.getSymB())
-      os << " - " << Value.getSymB()->getName();
+      os << " - " << Value.getSymB();
     if (Value.getConstant())
       os << " + " << Value.getConstant();
   } else {
@@ -107,10 +137,8 @@ void MCAsmStreamer::SwitchSection(MCSection *Section) {
   if (Section != CurSection) {
     CurSection = Section;
 
-    // FIXME: Really we would like the segment, flags, etc. to be separate
-    // values instead of embedded in the name. Not all assemblers understand all
-    // this stuff though.
-    OS << ".section " << Section->getName() << "\n";
+    // FIXME: Needs TargetAsmInfo!
+    Section->PrintSwitchToSection(*(const TargetAsmInfo*)0, OS);
   }
 }
 
@@ -120,7 +148,7 @@ void MCAsmStreamer::EmitLabel(MCSymbol *Symbol) {
   assert(!getContext().GetSymbolValue(Symbol) && 
          "Cannot emit symbol which was directly assigned to!");
 
-  OS << Symbol->getName() << ":\n";
+  OS << Symbol << ":\n";
   Symbol->setSection(CurSection);
   Symbol->setExternal(false);
 }
@@ -132,22 +160,14 @@ void MCAsmStreamer::EmitAssemblerFlag(AssemblerFlag Flag) {
   OS << '\n';
 }
 
-void MCAsmStreamer::AbortAssembly(const char *AbortReason) {
-  OS << ".abort";
-  if (AbortReason != NULL)
-    OS << ' ' << AbortReason;
-  OS << '\n';
-  
-}
-
 void MCAsmStreamer::EmitAssignment(MCSymbol *Symbol, const MCValue &Value,
                                    bool MakeAbsolute) {
   assert(!Symbol->getSection() && "Cannot assign to a label!");
 
   if (MakeAbsolute) {
-    OS << ".set " << Symbol->getName() << ", " << Value << '\n';
+    OS << ".set " << Symbol << ", " << Value << '\n';
   } else {
-    OS << Symbol->getName() << " = " << Value << '\n';
+    OS << Symbol << " = " << Value << '\n';
   }
 
   getContext().SetSymbolValue(Symbol, Value);
@@ -170,15 +190,15 @@ void MCAsmStreamer::EmitSymbolAttribute(MCSymbol *Symbol,
   case WeakReference: OS << ".weak_reference"; break;
   }
 
-  OS << ' ' << Symbol->getName() << '\n';
+  OS << ' ' << Symbol << '\n';
 }
 
 void MCAsmStreamer::EmitSymbolDesc(MCSymbol *Symbol, unsigned DescValue) {
-  OS << ".desc" << ' ' << Symbol->getName() << ',' << DescValue << '\n';
+  OS << ".desc" << ' ' << Symbol << ',' << DescValue << '\n';
 }
 
 void MCAsmStreamer::EmitLocalSymbol(MCSymbol *Symbol, const MCValue &Value) {
-  OS << ".lsym" << ' ' << Symbol->getName() << ',' << Value << '\n';
+  OS << ".lsym" << ' ' << Symbol << ',' << Value << '\n';
 }
 
 void MCAsmStreamer::EmitCommonSymbol(MCSymbol *Symbol, unsigned Size,
@@ -187,7 +207,7 @@ void MCAsmStreamer::EmitCommonSymbol(MCSymbol *Symbol, unsigned Size,
     OS << ".lcomm";
   else
     OS << ".comm";
-  OS << ' ' << Symbol->getName() << ',' << Size;
+  OS << ' ' << Symbol << ',' << Size;
   if (Pow2Alignment != 0)
     OS << ',' << Pow2Alignment;
   OS << '\n';
@@ -199,18 +219,25 @@ void MCAsmStreamer::EmitZerofill(MCSection *Section, MCSymbol *Symbol,
   // FIXME: Really we would like the segment and section names as well as the
   // section type to be separate values instead of embedded in the name. Not
   // all assemblers understand all this stuff though.
-  OS << ".zerofill " << Section->getName();
+  OS << ".zerofill ";
+  
+  // This is a mach-o specific directive.
+  const MCSectionMachO *MOSection = ((const MCSectionMachO*)Section);
+  OS << '"' << MOSection->getSegmentName() << ","
+     << MOSection->getSectionName() << '"';
+  
+  
   if (Symbol != NULL) {
-    OS << ',' << Symbol->getName() << ',' << Size;
+    OS << ',' << Symbol << ',' << Size;
     if (Pow2Alignment != 0)
       OS << ',' << Pow2Alignment;
   }
   OS << '\n';
 }
 
-void MCAsmStreamer::EmitBytes(const char *Data, unsigned Length) {
+void MCAsmStreamer::EmitBytes(const StringRef &Data) {
   assert(CurSection && "Cannot emit contents before setting section!");
-  for (unsigned i = 0; i != Length; ++i)
+  for (unsigned i = 0, e = Data.size(); i != e; ++i)
     OS << ".byte " << (unsigned) Data[i] << '\n';
 }