lib/Target/X86/X86ATTAsmPrinter.cpp

   1 //===-- X86ATTAsmPrinter.cpp - Convert X86 LLVM code to Intel assembly ----===//
   2 //
   3 //                     The LLVM Compiler Infrastructure
   4 //
   5 // This file was developed by the LLVM research group and is distributed under
   6 // the University of Illinois Open Source License. See LICENSE.TXT for details.
   7 //
   8 //===----------------------------------------------------------------------===//
   9 //
  10 // This file contains a printer that converts from our internal representation
  11 // of machine-dependent LLVM code to AT&T format assembly
  12 // language. This printer is the output mechanism used by `llc'.
  13 //
  14 //===----------------------------------------------------------------------===//
  15
  16 #define DEBUG_TYPE "asm-printer"
  17 #include "X86ATTAsmPrinter.h"
  18 #include "X86.h"
  19 #include "X86COFF.h"
  20 #include "X86MachineFunctionInfo.h"
  21 #include "X86TargetMachine.h"
  22 #include "X86TargetAsmInfo.h"
  23 #include "llvm/ADT/StringExtras.h"
  24 #include "llvm/CallingConv.h"
  25 #include "llvm/Module.h"
  26 #include "llvm/Support/Mangler.h"
  27 #include "llvm/Target/TargetAsmInfo.h"
  28 #include "llvm/Target/TargetOptions.h"
  29 #include "llvm/ADT/Statistic.h"
  30 using namespace llvm;
  31
  32 STATISTIC(EmittedInsts, "Number of machine instrs printed");
  33
  34 static std::string computePICLabel(unsigned FnNum,
  35                                    const TargetAsmInfo *TAI,
  36                                    const X86Subtarget* Subtarget)  {
  37   std::string label;
  38   if (Subtarget->isTargetDarwin())
  39     label =  "\"L" + utostr_32(FnNum) + "$pb\"";
  40   else if (Subtarget->isTargetELF())
  41     label = ".Lllvm$" + utostr_32(FnNum) + "$piclabel";
  42   else
  43     assert(0 && "Don't know how to print PIC label!\n");
  44
  45   return label;
  46 }
  47
  48 /// getSectionForFunction - Return the section that we should emit the
  49 /// specified function body into.
  50 std::string X86ATTAsmPrinter::getSectionForFunction(const Function &F) const {
  51   switch (F.getLinkage()) {
  52   default: assert(0 && "Unknown linkage type!");
  53   case Function::InternalLinkage:
  54   case Function::DLLExportLinkage:
  55   case Function::ExternalLinkage:
  56     return TAI->getTextSection();
  57   case Function::WeakLinkage:
  58   case Function::LinkOnceLinkage:
  59     if (Subtarget->isTargetDarwin()) {
  60       return ".section __TEXT,__textcoal_nt,coalesced,pure_instructions";
  61     } else if (Subtarget->isTargetCygMing()) {
  62       return "\t.section\t.text$linkonce." + CurrentFnName + ",\"ax\"\n";
  63     } else {
  64       return "\t.section\t.llvm.linkonce.t." + CurrentFnName +
  65              ",\"ax\",@progbits\n";
  66     }
  67   }
  68 }
  69
  70 /// runOnMachineFunction - This uses the printMachineInstruction()
  71 /// method to print assembly for each instruction.
  72 ///
  73 bool X86ATTAsmPrinter::runOnMachineFunction(MachineFunction &MF) {
  74   if (Subtarget->isTargetDarwin() ||
  75       Subtarget->isTargetELF() ||
  76       Subtarget->isTargetCygMing()) {
  77     // Let PassManager know we need debug information and relay
  78     // the MachineModuleInfo address on to DwarfWriter.
  79     DW.SetModuleInfo(&getAnalysis<MachineModuleInfo>());
  80   }
  81
  82   SetupMachineFunction(MF);
  83   O << "\n\n";
  84
  85   // Print out constants referenced by the function
  86   EmitConstantPool(MF.getConstantPool());
  87
  88   // Print out labels for the function.
  89   const Function *F = MF.getFunction();
  90   unsigned CC = F->getCallingConv();
  91
  92   // Populate function information map.  Actually, We don't want to populate
  93   // non-stdcall or non-fastcall functions' information right now.
  94   if (CC == CallingConv::X86_StdCall || CC == CallingConv::X86_FastCall)
  95     FunctionInfoMap[F] = *MF.getInfo<X86MachineFunctionInfo>();
  96
  97   X86SharedAsmPrinter::decorateName(CurrentFnName, F);
  98
  99   SwitchToTextSection(getSectionForFunction(*F).c_str(), F);
 100
 101   switch (F->getLinkage()) {
 102   default: assert(0 && "Unknown linkage type!");
 103   case Function::InternalLinkage:  // Symbols default to internal.
 104     EmitAlignment(4, F);     // FIXME: This should be parameterized somewhere.
 105     break;
 106   case Function::DLLExportLinkage:
 107     DLLExportedFns.insert(Mang->makeNameProper(F->getName(), ""));
 108     //FALLS THROUGH
 109   case Function::ExternalLinkage:
 110     EmitAlignment(4, F);     // FIXME: This should be parameterized somewhere.
 111     O << "\t.globl\t" << CurrentFnName << "\n";
 112     break;
 113   case Function::LinkOnceLinkage:
 114   case Function::WeakLinkage:
 115     if (Subtarget->isTargetDarwin()) {
 116       O << "\t.globl\t" << CurrentFnName << "\n";
 117       O << "\t.weak_definition\t" << CurrentFnName << "\n";
 118     } else if (Subtarget->isTargetCygMing()) {
 119       EmitAlignment(4, F);     // FIXME: This should be parameterized somewhere.
 120       O << "\t.globl " << CurrentFnName << "\n";
 121       O << "\t.linkonce discard\n";
 122     } else {
 123       EmitAlignment(4, F);     // FIXME: This should be parameterized somewhere.
 124       O << "\t.weak " << CurrentFnName << "\n";
 125     }
 126     break;
 127   }
 128   if (F->hasHiddenVisibility()) {
 129     if (const char *Directive = TAI->getHiddenDirective())
 130       O << Directive << CurrentFnName << "\n";
 131   } else if (F->hasProtectedVisibility()) {
 132     if (const char *Directive = TAI->getProtectedDirective())
 133       O << Directive << CurrentFnName << "\n";
 134   }
 135
 136   if (Subtarget->isTargetELF())
 137     O << "\t.type " << CurrentFnName << ",@function\n";
 138   else if (Subtarget->isTargetCygMing()) {
 139     O << "\t.def\t " << CurrentFnName
 140       << ";\t.scl\t" <<
 141       (F->getLinkage() == Function::InternalLinkage ? COFF::C_STAT : COFF::C_EXT)
 142       << ";\t.type\t" << (COFF::DT_FCN << COFF::N_BTSHFT)
 143       << ";\t.endef\n";
 144   }
 145
 146   O << CurrentFnName << ":\n";
 147   // Add some workaround for linkonce linkage on Cygwin\MinGW
 148   if (Subtarget->isTargetCygMing() &&
 149       (F->getLinkage() == Function::LinkOnceLinkage ||
 150        F->getLinkage() == Function::WeakLinkage))
 151     O << "Lllvm$workaround$fake$stub$" << CurrentFnName << ":\n";
 152
 153   if (Subtarget->isTargetDarwin() ||
 154       Subtarget->isTargetELF() ||
 155       Subtarget->isTargetCygMing()) {
 156     // Emit pre-function debug information.
 157     DW.BeginFunction(&MF);
 158   }
 159
 160   // Print out code for the function.
 161   for (MachineFunction::const_iterator I = MF.begin(), E = MF.end();
 162        I != E; ++I) {
 163     // Print a label for the basic block.
 164     if (I->pred_begin() != I->pred_end()) {
 165       printBasicBlockLabel(I, true);
 166       O << '\n';
 167     }
 168     for (MachineBasicBlock::const_iterator II = I->begin(), E = I->end();
 169          II != E; ++II) {
 170       // Print the assembly for the instruction.
 171       O << "\t";
 172       printMachineInstruction(II);
 173     }
 174   }
 175
 176   // Print out jump tables referenced by the function.
 177
 178   // Mac OS X requires that the jump table follow the function, so that the jump
 179   // table is part of the same atom that the function is in.
 180   EmitJumpTableInfo(MF.getJumpTableInfo(), MF);
 181
 182   if (TAI->hasDotTypeDotSizeDirective())
 183     O << "\t.size " << CurrentFnName << ", .-" << CurrentFnName << "\n";
 184
 185   if (Subtarget->isTargetDarwin() ||
 186       Subtarget->isTargetELF() ||
 187       Subtarget->isTargetCygMing()) {
 188     // Emit post-function debug information.
 189     DW.EndFunction();
 190   }
 191
 192   // We didn't modify anything.
 193   return false;
 194 }
 195
 196 static inline bool printGOT(TargetMachine &TM, const X86Subtarget* ST) {
 197   return ST->isPICStyleGOT() && TM.getRelocationModel() == Reloc::PIC_;
 198 }
 199
 200 static inline bool printStub(TargetMachine &TM, const X86Subtarget* ST) {
 201   return ST->isPICStyleStub() && TM.getRelocationModel() != Reloc::Static;
 202 }
 203
 204 void X86ATTAsmPrinter::printOperand(const MachineInstr *MI, unsigned OpNo,
 205                                     const char *Modifier, bool NotRIPRel) {
 206   const MachineOperand &MO = MI->getOperand(OpNo);
 207   const MRegisterInfo &RI = *TM.getRegisterInfo();
 208   switch (MO.getType()) {
 209   case MachineOperand::MO_Register: {
 210     assert(MRegisterInfo::isPhysicalRegister(MO.getReg()) &&
 211            "Virtual registers should not make it this far!");
 212     O << '%';
 213     unsigned Reg = MO.getReg();
 214     if (Modifier && strncmp(Modifier, "subreg", strlen("subreg")) == 0) {
 215       MVT::ValueType VT = (strcmp(Modifier+6,"64") == 0) ?
 216         MVT::i64 : ((strcmp(Modifier+6, "32") == 0) ? MVT::i32 :
 217                     ((strcmp(Modifier+6,"16") == 0) ? MVT::i16 : MVT::i8));
 218       Reg = getX86SubSuperRegister(Reg, VT);
 219     }
 220     for (const char *Name = RI.get(Reg).Name; *Name; ++Name)
 221       O << (char)tolower(*Name);
 222     return;
 223   }
 224
 225   case MachineOperand::MO_Immediate:
 226     if (!Modifier ||
 227         (strcmp(Modifier, "debug") && strcmp(Modifier, "mem")))
 228       O << '$';
 229     O << MO.getImmedValue();
 230     return;
 231   case MachineOperand::MO_MachineBasicBlock:
 232     printBasicBlockLabel(MO.getMachineBasicBlock());
 233     return;
 234   case MachineOperand::MO_JumpTableIndex: {
 235     bool isMemOp  = Modifier && !strcmp(Modifier, "mem");
 236     if (!isMemOp) O << '$';
 237     O << TAI->getPrivateGlobalPrefix() << "JTI" << getFunctionNumber() << "_"
 238       << MO.getJumpTableIndex();
 239
 240     if (TM.getRelocationModel() == Reloc::PIC_) {
 241       if (Subtarget->isPICStyleStub())
 242         O << "-\"" << TAI->getPrivateGlobalPrefix() << getFunctionNumber()
 243           << "$pb\"";
 244       else if (Subtarget->isPICStyleGOT())
 245         O << "@GOTOFF";
 246     }
 247
 248     if (isMemOp && Subtarget->isPICStyleRIPRel() && !NotRIPRel)
 249       O << "(%rip)";
 250     return;
 251   }
 252   case MachineOperand::MO_ConstantPoolIndex: {
 253     bool isMemOp  = Modifier && !strcmp(Modifier, "mem");
 254     if (!isMemOp) O << '$';
 255     O << TAI->getPrivateGlobalPrefix() << "CPI" << getFunctionNumber() << "_"
 256       << MO.getConstantPoolIndex();
 257
 258     if (TM.getRelocationModel() == Reloc::PIC_) {
 259       if (Subtarget->isPICStyleStub())
 260         O << "-\"" << TAI->getPrivateGlobalPrefix() << getFunctionNumber()
 261           << "$pb\"";
 262       else if (Subtarget->isPICStyleGOT())
 263         O << "@GOTOFF";
 264     }
 265
 266     int Offset = MO.getOffset();
 267     if (Offset > 0)
 268       O << "+" << Offset;
 269     else if (Offset < 0)
 270       O << Offset;
 271
 272     if (isMemOp && Subtarget->isPICStyleRIPRel() && !NotRIPRel)
 273       O << "(%rip)";
 274     return;
 275   }
 276   case MachineOperand::MO_GlobalAddress: {
 277     bool isCallOp = Modifier && !strcmp(Modifier, "call");
 278     bool isMemOp  = Modifier && !strcmp(Modifier, "mem");
 279     bool needCloseParen = false;
 280
 281     GlobalValue *GV = MO.getGlobal();
 282     GlobalVariable *GVar = dyn_cast<GlobalVariable>(GV);
 283     bool isThreadLocal = GVar && GVar->isThreadLocal();
 284
 285     std::string Name = Mang->getValueName(GV);
 286     X86SharedAsmPrinter::decorateName(Name, GV);
 287
 288     if (!isMemOp && !isCallOp)
 289       O << '$';
 290     else if (Name[0] == '$') {
 291       // The name begins with a dollar-sign. In order to avoid having it look
 292       // like an integer immediate to the assembler, enclose it in parens.
 293       O << '(';
 294       needCloseParen = true;
 295     }
 296
 297     if (printStub(TM, Subtarget)) {
 298       // Link-once, External, or Weakly-linked global variables need
 299       // non-lazily-resolved stubs
 300       if (GV->isDeclaration() ||
 301           GV->hasWeakLinkage() ||
 302           GV->hasLinkOnceLinkage()) {
 303         // Dynamically-resolved functions need a stub for the function.
 304         if (isCallOp && isa<Function>(GV)) {
 305           FnStubs.insert(Name);
 306           O << TAI->getPrivateGlobalPrefix() << Name << "$stub";
 307         } else {
 308           GVStubs.insert(Name);
 309           O << TAI->getPrivateGlobalPrefix() << Name << "$non_lazy_ptr";
 310         }
 311       } else {
 312         if (GV->hasDLLImportLinkage())
 313           O << "__imp_";
 314         O << Name;
 315       }
 316
 317       if (!isCallOp && TM.getRelocationModel() == Reloc::PIC_)
 318         O << "-\"" << TAI->getPrivateGlobalPrefix() << getFunctionNumber()
 319           << "$pb\"";
 320     } else {
 321       if (GV->hasDLLImportLinkage()) {
 322         O << "__imp_";
 323       }
 324       O << Name;
 325
 326       if (isCallOp && isa<Function>(GV)) {
 327         if (printGOT(TM, Subtarget)) {
 328           // Assemble call via PLT for non-local symbols
 329           if (!(GV->hasHiddenVisibility() || GV->hasProtectedVisibility()) ||
 330               GV->isDeclaration())
 331             O << "@PLT";
 332         }
 333         if (Subtarget->isTargetCygMing() && GV->isDeclaration())
 334           // Save function name for later type emission
 335           FnStubs.insert(Name);
 336       }
 337     }
 338
 339     if (GV->hasExternalWeakLinkage())
 340       ExtWeakSymbols.insert(GV);
 341
 342     int Offset = MO.getOffset();
 343     if (Offset > 0)
 344       O << "+" << Offset;
 345     else if (Offset < 0)
 346       O << Offset;
 347
 348     if (isThreadLocal) {
 349       if (TM.getRelocationModel() == Reloc::PIC_)
 350         O << "@TLSGD"; // general dynamic TLS model
 351       else
 352         if (GV->isDeclaration())
 353           O << "@INDNTPOFF"; // initial exec TLS model
 354         else
 355           O << "@NTPOFF"; // local exec TLS model
 356     } else if (isMemOp) {
 357       if (printGOT(TM, Subtarget)) {
 358         if (Subtarget->GVRequiresExtraLoad(GV, TM, false))
 359           O << "@GOT";
 360         else
 361           O << "@GOTOFF";
 362       } else if (Subtarget->isPICStyleRIPRel() && !NotRIPRel) {
 363         if ((GV->hasExternalLinkage() ||
 364              GV->hasWeakLinkage() ||
 365              GV->hasLinkOnceLinkage()) &&
 366             TM.getRelocationModel() != Reloc::Static)
 367           O << "@GOTPCREL";
 368
 369         if (needCloseParen) {
 370           needCloseParen = false;
 371           O << ')';
 372         }
 373
 374         // Use rip when possible to reduce code size, except when
 375         // index or base register are also part of the address. e.g.
 376         // foo(%rip)(%rcx,%rax,4) is not legal
 377         O << "(%rip)";
 378       }
 379     }
 380
 381     if (needCloseParen)
 382       O << ')';
 383
 384     return;
 385   }
 386   case MachineOperand::MO_ExternalSymbol: {
 387     bool isCallOp = Modifier && !strcmp(Modifier, "call");
 388     bool needCloseParen = false;
 389     std::string Name(TAI->getGlobalPrefix());
 390     Name += MO.getSymbolName();
 391     if (isCallOp && printStub(TM, Subtarget)) {
 392       FnStubs.insert(Name);
 393       O << TAI->getPrivateGlobalPrefix() << Name << "$stub";
 394       return;
 395     }
 396     if (!isCallOp)
 397       O << '$';
 398     else if (Name[0] == '$') {
 399       // The name begins with a dollar-sign. In order to avoid having it look
 400       // like an integer immediate to the assembler, enclose it in parens.
 401       O << '(';
 402       needCloseParen = true;
 403     }
 404
 405     O << Name;
 406
 407     if (printGOT(TM, Subtarget)) {
 408       std::string GOTName(TAI->getGlobalPrefix());
 409       GOTName+="_GLOBAL_OFFSET_TABLE_";
 410       if (Name == GOTName)
 411         // HACK! Emit extra offset to PC during printing GOT offset to
 412         // compensate for the size of popl instruction. The resulting code
 413         // should look like:
 414         //   call .piclabel
 415         // piclabel:
 416         //   popl %some_register
 417         //   addl $_GLOBAL_ADDRESS_TABLE_ + [.-piclabel], %some_register
 418         O << " + [.-"
 419           << computePICLabel(getFunctionNumber(), TAI, Subtarget) << "]";
 420
 421       if (isCallOp)
 422         O << "@PLT";
 423     }
 424
 425     if (needCloseParen)
 426       O << ')';
 427
 428     if (!isCallOp && Subtarget->isPICStyleRIPRel())
 429       O << "(%rip)";
 430
 431     return;
 432   }
 433   default:
 434     O << "<unknown operand type>"; return;
 435   }
 436 }
 437
 438 void X86ATTAsmPrinter::printSSECC(const MachineInstr *MI, unsigned Op) {
 439   unsigned char value = MI->getOperand(Op).getImmedValue();
 440   assert(value <= 7 && "Invalid ssecc argument!");
 441   switch (value) {
 442   case 0: O << "eq"; break;
 443   case 1: O << "lt"; break;
 444   case 2: O << "le"; break;
 445   case 3: O << "unord"; break;
 446   case 4: O << "neq"; break;
 447   case 5: O << "nlt"; break;
 448   case 6: O << "nle"; break;
 449   case 7: O << "ord"; break;
 450   }
 451 }
 452
 453 void X86ATTAsmPrinter::printMemReference(const MachineInstr *MI, unsigned Op,
 454                                          const char *Modifier){
 455   assert(isMem(MI, Op) && "Invalid memory reference!");
 456   MachineOperand BaseReg  = MI->getOperand(Op);
 457   MachineOperand IndexReg = MI->getOperand(Op+2);
 458   const MachineOperand &DispSpec = MI->getOperand(Op+3);
 459
 460   bool NotRIPRel = IndexReg.getReg() || BaseReg.getReg();
 461   if (DispSpec.isGlobalAddress() ||
 462       DispSpec.isConstantPoolIndex() ||
 463       DispSpec.isJumpTableIndex()) {
 464     printOperand(MI, Op+3, "mem", NotRIPRel);
 465   } else {
 466     int DispVal = DispSpec.getImmedValue();
 467     if (DispVal || (!IndexReg.getReg() && !BaseReg.getReg()))
 468       O << DispVal;
 469   }
 470
 471   if (IndexReg.getReg() || BaseReg.getReg()) {
 472     unsigned ScaleVal = MI->getOperand(Op+1).getImmedValue();
 473     unsigned BaseRegOperand = 0, IndexRegOperand = 2;
 474
 475     // There are cases where we can end up with ESP/RSP in the indexreg slot.
 476     // If this happens, swap the base/index register to support assemblers that
 477     // don't work when the index is *SP.
 478     if (IndexReg.getReg() == X86::ESP || IndexReg.getReg() == X86::RSP) {
 479       assert(ScaleVal == 1 && "Scale not supported for stack pointer!");
 480       std::swap(BaseReg, IndexReg);
 481       std::swap(BaseRegOperand, IndexRegOperand);
 482     }
 483
 484     O << "(";
 485     if (BaseReg.getReg())
 486       printOperand(MI, Op+BaseRegOperand, Modifier);
 487
 488     if (IndexReg.getReg()) {
 489       O << ",";
 490       printOperand(MI, Op+IndexRegOperand, Modifier);
 491       if (ScaleVal != 1)
 492         O << "," << ScaleVal;
 493     }
 494     O << ")";
 495   }
 496 }
 497
 498 void X86ATTAsmPrinter::printPICLabel(const MachineInstr *MI, unsigned Op) {
 499   std::string label = computePICLabel(getFunctionNumber(), TAI, Subtarget);
 500   O << label << "\n" << label << ":";
 501 }
 502
 503
 504 bool X86ATTAsmPrinter::printAsmMRegister(const MachineOperand &MO,
 505                                          const char Mode) {
 506   const MRegisterInfo &RI = *TM.getRegisterInfo();
 507   unsigned Reg = MO.getReg();
 508   switch (Mode) {
 509   default: return true;  // Unknown mode.
 510   case 'b': // Print QImode register
 511     Reg = getX86SubSuperRegister(Reg, MVT::i8);
 512     break;
 513   case 'h': // Print QImode high register
 514     Reg = getX86SubSuperRegister(Reg, MVT::i8, true);
 515     break;
 516   case 'w': // Print HImode register
 517     Reg = getX86SubSuperRegister(Reg, MVT::i16);
 518     break;
 519   case 'k': // Print SImode register
 520     Reg = getX86SubSuperRegister(Reg, MVT::i32);
 521     break;
 522   }
 523
 524   O << '%';
 525   for (const char *Name = RI.get(Reg).Name; *Name; ++Name)
 526     O << (char)tolower(*Name);
 527   return false;
 528 }
 529
 530 /// PrintAsmOperand - Print out an operand for an inline asm expression.
 531 ///
 532 bool X86ATTAsmPrinter::PrintAsmOperand(const MachineInstr *MI, unsigned OpNo,
 533                                        unsigned AsmVariant,
 534                                        const char *ExtraCode) {
 535   // Does this asm operand have a single letter operand modifier?
 536   if (ExtraCode && ExtraCode[0]) {
 537     if (ExtraCode[1] != 0) return true; // Unknown modifier.
 538
 539     switch (ExtraCode[0]) {
 540     default: return true;  // Unknown modifier.
 541     case 'c': // Don't print "$" before a global var name or constant.
 542       printOperand(MI, OpNo, "mem");
 543       return false;
 544     case 'b': // Print QImode register
 545     case 'h': // Print QImode high register
 546     case 'w': // Print HImode register
 547     case 'k': // Print SImode register
 548       if (MI->getOperand(OpNo).isReg())
 549         return printAsmMRegister(MI->getOperand(OpNo), ExtraCode[0]);
 550       printOperand(MI, OpNo);
 551       return false;
 552
 553     case 'P': // Don't print @PLT, but do print as memory.
 554       printOperand(MI, OpNo, "mem");
 555       return false;
 556     }
 557   }
 558
 559   printOperand(MI, OpNo);
 560   return false;
 561 }
 562
 563 bool X86ATTAsmPrinter::PrintAsmMemoryOperand(const MachineInstr *MI,
 564                                              unsigned OpNo,
 565                                              unsigned AsmVariant,
 566                                              const char *ExtraCode) {
 567   if (ExtraCode && ExtraCode[0])
 568     return true; // Unknown modifier.
 569   printMemReference(MI, OpNo);
 570   return false;
 571 }
 572
 573 /// printMachineInstruction -- Print out a single X86 LLVM instruction
 574 /// MI in Intel syntax to the current output stream.
 575 ///
 576 void X86ATTAsmPrinter::printMachineInstruction(const MachineInstr *MI) {
 577   ++EmittedInsts;
 578
 579   // See if a truncate instruction can be turned into a nop.
 580   switch (MI->getOpcode()) {
 581   default: break;
 582   case X86::TRUNC_64to32:
 583   case X86::TRUNC_64to16:
 584   case X86::TRUNC_32to16:
 585   case X86::TRUNC_32to8:
 586   case X86::TRUNC_16to8:
 587   case X86::TRUNC_32_to8:
 588   case X86::TRUNC_16_to8: {
 589     const MachineOperand &MO0 = MI->getOperand(0);
 590     const MachineOperand &MO1 = MI->getOperand(1);
 591     unsigned Reg0 = MO0.getReg();
 592     unsigned Reg1 = MO1.getReg();
 593     unsigned Opc = MI->getOpcode();
 594     if (Opc == X86::TRUNC_64to32)
 595       Reg1 = getX86SubSuperRegister(Reg1, MVT::i32);
 596     else if (Opc == X86::TRUNC_32to16 || Opc == X86::TRUNC_64to16)
 597       Reg1 = getX86SubSuperRegister(Reg1, MVT::i16);
 598     else
 599       Reg1 = getX86SubSuperRegister(Reg1, MVT::i8);
 600     O << TAI->getCommentString() << " TRUNCATE ";
 601     if (Reg0 != Reg1)
 602       O << "\n\t";
 603     break;
 604   }
 605   case X86::PsMOVZX64rr32:
 606     O << TAI->getCommentString() << " ZERO-EXTEND " << "\n\t";
 607     break;
 608   }
 609
 610   // Call the autogenerated instruction printer routines.
 611   printInstruction(MI);
 612 }
 613
 614 // Include the auto-generated portion of the assembly writer.
 615 #include "X86GenAsmWriter.inc"
 616