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
 132   if (Subtarget->isTargetELF())
 133     O << "\t.type " << CurrentFnName << ",@function\n";
 134   else if (Subtarget->isTargetCygMing()) {
 135     O << "\t.def\t " << CurrentFnName
 136       << ";\t.scl\t" <<
 137       (F->getLinkage() == Function::InternalLinkage ? COFF::C_STAT : COFF::C_EXT)
 138       << ";\t.type\t" << (COFF::DT_FCN << COFF::N_BTSHFT)
 139       << ";\t.endef\n";
 140   }
 141
 142   O << CurrentFnName << ":\n";
 143   // Add some workaround for linkonce linkage on Cygwin\MinGW
 144   if (Subtarget->isTargetCygMing() &&
 145       (F->getLinkage() == Function::LinkOnceLinkage ||
 146        F->getLinkage() == Function::WeakLinkage))
 147     O << "Lllvm$workaround$fake$stub$" << CurrentFnName << ":\n";
 148
 149   if (Subtarget->isTargetDarwin() ||
 150       Subtarget->isTargetELF() ||
 151       Subtarget->isTargetCygMing()) {
 152     // Emit pre-function debug information.
 153     DW.BeginFunction(&MF);
 154   }
 155
 156   // Print out code for the function.
 157   for (MachineFunction::const_iterator I = MF.begin(), E = MF.end();
 158        I != E; ++I) {
 159     // Print a label for the basic block.
 160     if (I->pred_begin() != I->pred_end()) {
 161       printBasicBlockLabel(I, true);
 162       O << '\n';
 163     }
 164     for (MachineBasicBlock::const_iterator II = I->begin(), E = I->end();
 165          II != E; ++II) {
 166       // Print the assembly for the instruction.
 167       O << "\t";
 168       printMachineInstruction(II);
 169     }
 170   }
 171
 172   // Print out jump tables referenced by the function.
 173
 174   // Mac OS X requires that the jump table follow the function, so that the jump
 175   // table is part of the same atom that the function is in.
 176   EmitJumpTableInfo(MF.getJumpTableInfo(), MF);
 177
 178   if (TAI->hasDotTypeDotSizeDirective())
 179     O << "\t.size " << CurrentFnName << ", .-" << CurrentFnName << "\n";
 180
 181   if (Subtarget->isTargetDarwin() ||
 182       Subtarget->isTargetELF() ||
 183       Subtarget->isTargetCygMing()) {
 184     // Emit post-function debug information.
 185     DW.EndFunction();
 186   }
 187
 188   // We didn't modify anything.
 189   return false;
 190 }
 191
 192 static inline bool printGOT(TargetMachine &TM, const X86Subtarget* ST) {
 193   return ST->isPICStyleGOT() && TM.getRelocationModel() == Reloc::PIC_;
 194 }
 195
 196 static inline bool printStub(TargetMachine &TM, const X86Subtarget* ST) {
 197   return ST->isPICStyleStub() && TM.getRelocationModel() != Reloc::Static;
 198 }
 199
 200 void X86ATTAsmPrinter::printOperand(const MachineInstr *MI, unsigned OpNo,
 201                                     const char *Modifier, bool NotRIPRel) {
 202   const MachineOperand &MO = MI->getOperand(OpNo);
 203   const MRegisterInfo &RI = *TM.getRegisterInfo();
 204   switch (MO.getType()) {
 205   case MachineOperand::MO_Register: {
 206     assert(MRegisterInfo::isPhysicalRegister(MO.getReg()) &&
 207            "Virtual registers should not make it this far!");
 208     O << '%';
 209     unsigned Reg = MO.getReg();
 210     if (Modifier && strncmp(Modifier, "subreg", strlen("subreg")) == 0) {
 211       MVT::ValueType VT = (strcmp(Modifier+6,"64") == 0) ?
 212         MVT::i64 : ((strcmp(Modifier+6, "32") == 0) ? MVT::i32 :
 213                     ((strcmp(Modifier+6,"16") == 0) ? MVT::i16 : MVT::i8));
 214       Reg = getX86SubSuperRegister(Reg, VT);
 215     }
 216     for (const char *Name = RI.get(Reg).Name; *Name; ++Name)
 217       O << (char)tolower(*Name);
 218     return;
 219   }
 220
 221   case MachineOperand::MO_Immediate:
 222     if (!Modifier ||
 223         (strcmp(Modifier, "debug") && strcmp(Modifier, "mem")))
 224       O << '$';
 225     O << MO.getImmedValue();
 226     return;
 227   case MachineOperand::MO_MachineBasicBlock:
 228     printBasicBlockLabel(MO.getMachineBasicBlock());
 229     return;
 230   case MachineOperand::MO_JumpTableIndex: {
 231     bool isMemOp  = Modifier && !strcmp(Modifier, "mem");
 232     if (!isMemOp) O << '$';
 233     O << TAI->getPrivateGlobalPrefix() << "JTI" << getFunctionNumber() << "_"
 234       << MO.getJumpTableIndex();
 235
 236     if (TM.getRelocationModel() == Reloc::PIC_) {
 237       if (Subtarget->isPICStyleStub())
 238         O << "-\"" << TAI->getPrivateGlobalPrefix() << getFunctionNumber()
 239           << "$pb\"";
 240       else if (Subtarget->isPICStyleGOT())
 241         O << "@GOTOFF";
 242     }
 243
 244     if (isMemOp && Subtarget->isPICStyleRIPRel() && !NotRIPRel)
 245       O << "(%rip)";
 246     return;
 247   }
 248   case MachineOperand::MO_ConstantPoolIndex: {
 249     bool isMemOp  = Modifier && !strcmp(Modifier, "mem");
 250     if (!isMemOp) O << '$';
 251     O << TAI->getPrivateGlobalPrefix() << "CPI" << getFunctionNumber() << "_"
 252       << MO.getConstantPoolIndex();
 253
 254     if (TM.getRelocationModel() == Reloc::PIC_) {
 255       if (Subtarget->isPICStyleStub())
 256         O << "-\"" << TAI->getPrivateGlobalPrefix() << getFunctionNumber()
 257           << "$pb\"";
 258       else if (Subtarget->isPICStyleGOT())
 259         O << "@GOTOFF";
 260     }
 261
 262     int Offset = MO.getOffset();
 263     if (Offset > 0)
 264       O << "+" << Offset;
 265     else if (Offset < 0)
 266       O << Offset;
 267
 268     if (isMemOp && Subtarget->isPICStyleRIPRel() && !NotRIPRel)
 269       O << "(%rip)";
 270     return;
 271   }
 272   case MachineOperand::MO_GlobalAddress: {
 273     bool isCallOp = Modifier && !strcmp(Modifier, "call");
 274     bool isMemOp  = Modifier && !strcmp(Modifier, "mem");
 275     bool needCloseParen = false;
 276
 277     GlobalValue *GV = MO.getGlobal();
 278     GlobalVariable *GVar = dyn_cast<GlobalVariable>(GV);
 279     bool isThreadLocal = GVar && GVar->isThreadLocal();
 280
 281     std::string Name = Mang->getValueName(GV);
 282     X86SharedAsmPrinter::decorateName(Name, GV);
 283
 284     if (!isMemOp && !isCallOp)
 285       O << '$';
 286     else if (Name[0] == '$') {
 287       // The name begins with a dollar-sign. In order to avoid having it look
 288       // like an integer immediate to the assembler, enclose it in parens.
 289       O << '(';
 290       needCloseParen = true;
 291     }
 292
 293     if (printStub(TM, Subtarget)) {
 294       // Link-once, External, or Weakly-linked global variables need
 295       // non-lazily-resolved stubs
 296       if (GV->isDeclaration() ||
 297           GV->hasWeakLinkage() ||
 298           GV->hasLinkOnceLinkage()) {
 299         // Dynamically-resolved functions need a stub for the function.
 300         if (isCallOp && isa<Function>(GV)) {
 301           FnStubs.insert(Name);
 302           O << TAI->getPrivateGlobalPrefix() << Name << "$stub";
 303         } else {
 304           GVStubs.insert(Name);
 305           O << TAI->getPrivateGlobalPrefix() << Name << "$non_lazy_ptr";
 306         }
 307       } else {
 308         if (GV->hasDLLImportLinkage())
 309           O << "__imp_";
 310         O << Name;
 311       }
 312
 313       if (!isCallOp && TM.getRelocationModel() == Reloc::PIC_)
 314         O << "-\"" << TAI->getPrivateGlobalPrefix() << getFunctionNumber()
 315           << "$pb\"";
 316     } else {
 317       if (GV->hasDLLImportLinkage()) {
 318         O << "__imp_";
 319       }
 320       O << Name;
 321
 322       if (isCallOp && isa<Function>(GV)) {
 323         if (printGOT(TM, Subtarget)) {
 324           // Assemble call via PLT for non-local symbols
 325           if (!GV->hasHiddenVisibility() || GV->isDeclaration())
 326             O << "@PLT";
 327         }
 328         if (Subtarget->isTargetCygMing() && GV->isDeclaration())
 329           // Save function name for later type emission
 330           FnStubs.insert(Name);
 331       }
 332     }
 333
 334     if (GV->hasExternalWeakLinkage())
 335       ExtWeakSymbols.insert(GV);
 336
 337     int Offset = MO.getOffset();
 338     if (Offset > 0)
 339       O << "+" << Offset;
 340     else if (Offset < 0)
 341       O << Offset;
 342
 343     if (isThreadLocal) {
 344       if (TM.getRelocationModel() == Reloc::PIC_)
 345         O << "@TLSGD"; // general dynamic TLS model
 346       else
 347         if (GV->isDeclaration())
 348           O << "@INDNTPOFF"; // initial exec TLS model
 349         else
 350           O << "@NTPOFF"; // local exec TLS model
 351     } else if (isMemOp) {
 352       if (printGOT(TM, Subtarget)) {
 353         if (Subtarget->GVRequiresExtraLoad(GV, TM, false))
 354           O << "@GOT";
 355         else
 356           O << "@GOTOFF";
 357       } else if (Subtarget->isPICStyleRIPRel() && !NotRIPRel) {
 358         if ((GV->hasExternalLinkage() ||
 359              GV->hasWeakLinkage() ||
 360              GV->hasLinkOnceLinkage()) &&
 361             TM.getRelocationModel() != Reloc::Static)
 362           O << "@GOTPCREL";
 363
 364         if (needCloseParen) {
 365           needCloseParen = false;
 366           O << ')';
 367         }
 368
 369         // Use rip when possible to reduce code size, except when
 370         // index or base register are also part of the address. e.g.
 371         // foo(%rip)(%rcx,%rax,4) is not legal
 372         O << "(%rip)";
 373       }
 374     }
 375
 376     if (needCloseParen)
 377       O << ')';
 378
 379     return;
 380   }
 381   case MachineOperand::MO_ExternalSymbol: {
 382     bool isCallOp = Modifier && !strcmp(Modifier, "call");
 383     bool needCloseParen = false;
 384     std::string Name(TAI->getGlobalPrefix());
 385     Name += MO.getSymbolName();
 386     if (isCallOp && printStub(TM, Subtarget)) {
 387       FnStubs.insert(Name);
 388       O << TAI->getPrivateGlobalPrefix() << Name << "$stub";
 389       return;
 390     }
 391     if (!isCallOp)
 392       O << '$';
 393     else if (Name[0] == '$') {
 394       // The name begins with a dollar-sign. In order to avoid having it look
 395       // like an integer immediate to the assembler, enclose it in parens.
 396       O << '(';
 397       needCloseParen = true;
 398     }
 399
 400     O << Name;
 401
 402     if (printGOT(TM, Subtarget)) {
 403       std::string GOTName(TAI->getGlobalPrefix());
 404       GOTName+="_GLOBAL_OFFSET_TABLE_";
 405       if (Name == GOTName)
 406         // HACK! Emit extra offset to PC during printing GOT offset to
 407         // compensate for the size of popl instruction. The resulting code
 408         // should look like:
 409         //   call .piclabel
 410         // piclabel:
 411         //   popl %some_register
 412         //   addl $_GLOBAL_ADDRESS_TABLE_ + [.-piclabel], %some_register
 413         O << " + [.-"
 414           << computePICLabel(getFunctionNumber(), TAI, Subtarget) << "]";
 415
 416       if (isCallOp)
 417         O << "@PLT";
 418     }
 419
 420     if (needCloseParen)
 421       O << ')';
 422
 423     if (!isCallOp && Subtarget->isPICStyleRIPRel())
 424       O << "(%rip)";
 425
 426     return;
 427   }
 428   default:
 429     O << "<unknown operand type>"; return;
 430   }
 431 }
 432
 433 void X86ATTAsmPrinter::printSSECC(const MachineInstr *MI, unsigned Op) {
 434   unsigned char value = MI->getOperand(Op).getImmedValue();
 435   assert(value <= 7 && "Invalid ssecc argument!");
 436   switch (value) {
 437   case 0: O << "eq"; break;
 438   case 1: O << "lt"; break;
 439   case 2: O << "le"; break;
 440   case 3: O << "unord"; break;
 441   case 4: O << "neq"; break;
 442   case 5: O << "nlt"; break;
 443   case 6: O << "nle"; break;
 444   case 7: O << "ord"; break;
 445   }
 446 }
 447
 448 void X86ATTAsmPrinter::printMemReference(const MachineInstr *MI, unsigned Op,
 449                                          const char *Modifier){
 450   assert(isMem(MI, Op) && "Invalid memory reference!");
 451   MachineOperand BaseReg  = MI->getOperand(Op);
 452   MachineOperand IndexReg = MI->getOperand(Op+2);
 453   const MachineOperand &DispSpec = MI->getOperand(Op+3);
 454
 455   bool NotRIPRel = IndexReg.getReg() || BaseReg.getReg();
 456   if (DispSpec.isGlobalAddress() ||
 457       DispSpec.isConstantPoolIndex() ||
 458       DispSpec.isJumpTableIndex()) {
 459     printOperand(MI, Op+3, "mem", NotRIPRel);
 460   } else {
 461     int DispVal = DispSpec.getImmedValue();
 462     if (DispVal || (!IndexReg.getReg() && !BaseReg.getReg()))
 463       O << DispVal;
 464   }
 465
 466   if (IndexReg.getReg() || BaseReg.getReg()) {
 467     unsigned ScaleVal = MI->getOperand(Op+1).getImmedValue();
 468     unsigned BaseRegOperand = 0, IndexRegOperand = 2;
 469
 470     // There are cases where we can end up with ESP/RSP in the indexreg slot.
 471     // If this happens, swap the base/index register to support assemblers that
 472     // don't work when the index is *SP.
 473     if (IndexReg.getReg() == X86::ESP || IndexReg.getReg() == X86::RSP) {
 474       assert(ScaleVal == 1 && "Scale not supported for stack pointer!");
 475       std::swap(BaseReg, IndexReg);
 476       std::swap(BaseRegOperand, IndexRegOperand);
 477     }
 478
 479     O << "(";
 480     if (BaseReg.getReg())
 481       printOperand(MI, Op+BaseRegOperand, Modifier);
 482
 483     if (IndexReg.getReg()) {
 484       O << ",";
 485       printOperand(MI, Op+IndexRegOperand, Modifier);
 486       if (ScaleVal != 1)
 487         O << "," << ScaleVal;
 488     }
 489     O << ")";
 490   }
 491 }
 492
 493 void X86ATTAsmPrinter::printPICLabel(const MachineInstr *MI, unsigned Op) {
 494   std::string label = computePICLabel(getFunctionNumber(), TAI, Subtarget);
 495   O << label << "\n" << label << ":";
 496 }
 497
 498
 499 bool X86ATTAsmPrinter::printAsmMRegister(const MachineOperand &MO,
 500                                          const char Mode) {
 501   const MRegisterInfo &RI = *TM.getRegisterInfo();
 502   unsigned Reg = MO.getReg();
 503   switch (Mode) {
 504   default: return true;  // Unknown mode.
 505   case 'b': // Print QImode register
 506     Reg = getX86SubSuperRegister(Reg, MVT::i8);
 507     break;
 508   case 'h': // Print QImode high register
 509     Reg = getX86SubSuperRegister(Reg, MVT::i8, true);
 510     break;
 511   case 'w': // Print HImode register
 512     Reg = getX86SubSuperRegister(Reg, MVT::i16);
 513     break;
 514   case 'k': // Print SImode register
 515     Reg = getX86SubSuperRegister(Reg, MVT::i32);
 516     break;
 517   }
 518
 519   O << '%';
 520   for (const char *Name = RI.get(Reg).Name; *Name; ++Name)
 521     O << (char)tolower(*Name);
 522   return false;
 523 }
 524
 525 /// PrintAsmOperand - Print out an operand for an inline asm expression.
 526 ///
 527 bool X86ATTAsmPrinter::PrintAsmOperand(const MachineInstr *MI, unsigned OpNo,
 528                                        unsigned AsmVariant,
 529                                        const char *ExtraCode) {
 530   // Does this asm operand have a single letter operand modifier?
 531   if (ExtraCode && ExtraCode[0]) {
 532     if (ExtraCode[1] != 0) return true; // Unknown modifier.
 533
 534     switch (ExtraCode[0]) {
 535     default: return true;  // Unknown modifier.
 536     case 'c': // Don't print "$" before a global var name or constant.
 537       printOperand(MI, OpNo, "mem");
 538       return false;
 539     case 'b': // Print QImode register
 540     case 'h': // Print QImode high register
 541     case 'w': // Print HImode register
 542     case 'k': // Print SImode register
 543       if (MI->getOperand(OpNo).isReg())
 544         return printAsmMRegister(MI->getOperand(OpNo), ExtraCode[0]);
 545       printOperand(MI, OpNo);
 546       return false;
 547
 548     case 'P': // Don't print @PLT, but do print as memory.
 549       printOperand(MI, OpNo, "mem");
 550       return false;
 551     }
 552   }
 553
 554   printOperand(MI, OpNo);
 555   return false;
 556 }
 557
 558 bool X86ATTAsmPrinter::PrintAsmMemoryOperand(const MachineInstr *MI,
 559                                              unsigned OpNo,
 560                                              unsigned AsmVariant,
 561                                              const char *ExtraCode) {
 562   if (ExtraCode && ExtraCode[0])
 563     return true; // Unknown modifier.
 564   printMemReference(MI, OpNo);
 565   return false;
 566 }
 567
 568 /// printMachineInstruction -- Print out a single X86 LLVM instruction
 569 /// MI in Intel syntax to the current output stream.
 570 ///
 571 void X86ATTAsmPrinter::printMachineInstruction(const MachineInstr *MI) {
 572   ++EmittedInsts;
 573
 574   // See if a truncate instruction can be turned into a nop.
 575   switch (MI->getOpcode()) {
 576   default: break;
 577   case X86::TRUNC_64to32:
 578   case X86::TRUNC_64to16:
 579   case X86::TRUNC_32to16:
 580   case X86::TRUNC_32to8:
 581   case X86::TRUNC_16to8:
 582   case X86::TRUNC_32_to8:
 583   case X86::TRUNC_16_to8: {
 584     const MachineOperand &MO0 = MI->getOperand(0);
 585     const MachineOperand &MO1 = MI->getOperand(1);
 586     unsigned Reg0 = MO0.getReg();
 587     unsigned Reg1 = MO1.getReg();
 588     unsigned Opc = MI->getOpcode();
 589     if (Opc == X86::TRUNC_64to32)
 590       Reg1 = getX86SubSuperRegister(Reg1, MVT::i32);
 591     else if (Opc == X86::TRUNC_32to16 || Opc == X86::TRUNC_64to16)
 592       Reg1 = getX86SubSuperRegister(Reg1, MVT::i16);
 593     else
 594       Reg1 = getX86SubSuperRegister(Reg1, MVT::i8);
 595     O << TAI->getCommentString() << " TRUNCATE ";
 596     if (Reg0 != Reg1)
 597       O << "\n\t";
 598     break;
 599   }
 600   case X86::PsMOVZX64rr32:
 601     O << TAI->getCommentString() << " ZERO-EXTEND " << "\n\t";
 602     break;
 603   }
 604
 605   // Call the autogenerated instruction printer routines.
 606   printInstruction(MI);
 607 }
 608
 609 // Include the auto-generated portion of the assembly writer.
 610 #include "X86GenAsmWriter.inc"
 611