Chris Lattner | 02a3d83 | 2002-10-29 22:37:54 +0000 | [diff] [blame] | 1 | //===-- X86TargetMachine.cpp - Define TargetMachine for the X86 -----------===// |
Misha Brukman | c88330a | 2005-04-21 23:38:14 +0000 | [diff] [blame] | 2 | // |
John Criswell | 482202a | 2003-10-20 19:43:21 +0000 | [diff] [blame] | 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
Chris Lattner | f3ebc3f | 2007-12-29 20:36:04 +0000 | [diff] [blame] | 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
Misha Brukman | c88330a | 2005-04-21 23:38:14 +0000 | [diff] [blame] | 7 | // |
John Criswell | 482202a | 2003-10-20 19:43:21 +0000 | [diff] [blame] | 8 | //===----------------------------------------------------------------------===// |
Misha Brukman | c88330a | 2005-04-21 23:38:14 +0000 | [diff] [blame] | 9 | // |
Chris Lattner | 02a3d83 | 2002-10-29 22:37:54 +0000 | [diff] [blame] | 10 | // This file defines the X86 specific subclass of TargetMachine. |
| 11 | // |
| 12 | //===----------------------------------------------------------------------===// |
| 13 | |
| 14 | #include "X86TargetMachine.h" |
Chris Lattner | a32b405 | 2002-12-24 00:04:01 +0000 | [diff] [blame] | 15 | #include "X86.h" |
Aditya Nandakumar | a271932 | 2014-11-13 09:26:31 +0000 | [diff] [blame] | 16 | #include "X86TargetObjectFile.h" |
Chandler Carruth | 93dcdc4 | 2015-01-31 11:17:59 +0000 | [diff] [blame] | 17 | #include "X86TargetTransformInfo.h" |
Chris Lattner | 962d5be | 2003-01-13 00:51:23 +0000 | [diff] [blame] | 18 | #include "llvm/CodeGen/Passes.h" |
Matthias Braun | 31d19d4 | 2016-05-10 03:21:59 +0000 | [diff] [blame] | 19 | #include "llvm/CodeGen/TargetPassConfig.h" |
Eric Christopher | 3faf2f1 | 2014-10-06 06:45:36 +0000 | [diff] [blame] | 20 | #include "llvm/IR/Function.h" |
Chandler Carruth | 30d69c2 | 2015-02-13 10:01:29 +0000 | [diff] [blame] | 21 | #include "llvm/IR/LegacyPassManager.h" |
Bruno Cardoso Lopes | 2a3ffb5 | 2011-08-23 01:14:17 +0000 | [diff] [blame] | 22 | #include "llvm/Support/CommandLine.h" |
David Greene | a31f96c | 2009-07-14 20:18:05 +0000 | [diff] [blame] | 23 | #include "llvm/Support/FormattedStream.h" |
Evan Cheng | 2bb4035 | 2011-08-24 18:08:43 +0000 | [diff] [blame] | 24 | #include "llvm/Support/TargetRegistry.h" |
Chandler Carruth | ed0881b | 2012-12-03 16:50:05 +0000 | [diff] [blame] | 25 | #include "llvm/Target/TargetOptions.h" |
Chris Lattner | 833c3c2 | 2003-12-20 01:22:19 +0000 | [diff] [blame] | 26 | using namespace llvm; |
Brian Gaeke | 960707c | 2003-11-11 22:41:34 +0000 | [diff] [blame] | 27 | |
Sanjay Patel | 08829ba | 2015-06-10 20:32:21 +0000 | [diff] [blame] | 28 | static cl::opt<bool> EnableMachineCombinerPass("x86-machine-combiner", |
| 29 | cl::desc("Enable the machine combiner pass"), |
| 30 | cl::init(true), cl::Hidden); |
| 31 | |
David Majnemer | 0ad363e | 2015-08-18 19:07:12 +0000 | [diff] [blame] | 32 | namespace llvm { |
| 33 | void initializeWinEHStatePassPass(PassRegistry &); |
| 34 | } |
| 35 | |
NAKAMURA Takumi | 0544fe7 | 2011-02-17 12:23:50 +0000 | [diff] [blame] | 36 | extern "C" void LLVMInitializeX86Target() { |
Daniel Dunbar | 5680b4f | 2009-07-25 06:49:55 +0000 | [diff] [blame] | 37 | // Register the target. |
David Woodhouse | 1c3996a | 2014-01-08 00:08:50 +0000 | [diff] [blame] | 38 | RegisterTargetMachine<X86TargetMachine> X(TheX86_32Target); |
| 39 | RegisterTargetMachine<X86TargetMachine> Y(TheX86_64Target); |
David Majnemer | 0ad363e | 2015-08-18 19:07:12 +0000 | [diff] [blame] | 40 | |
| 41 | PassRegistry &PR = *PassRegistry::getPassRegistry(); |
| 42 | initializeWinEHStatePassPass(PR); |
Ahmed Bougacha | 068ac4a | 2016-05-07 01:11:10 +0000 | [diff] [blame] | 43 | initializeFixupBWInstPassPass(PR); |
Daniel Dunbar | e833810 | 2009-07-15 20:24:03 +0000 | [diff] [blame] | 44 | } |
Douglas Gregor | 1b731d5 | 2009-06-16 20:12:29 +0000 | [diff] [blame] | 45 | |
Aditya Nandakumar | a271932 | 2014-11-13 09:26:31 +0000 | [diff] [blame] | 46 | static std::unique_ptr<TargetLoweringObjectFile> createTLOF(const Triple &TT) { |
| 47 | if (TT.isOSBinFormatMachO()) { |
| 48 | if (TT.getArch() == Triple::x86_64) |
| 49 | return make_unique<X86_64MachoTargetObjectFile>(); |
| 50 | return make_unique<TargetLoweringObjectFileMachO>(); |
| 51 | } |
| 52 | |
Derek Schuff | 072f93f | 2015-03-11 16:16:09 +0000 | [diff] [blame] | 53 | if (TT.isOSLinux() || TT.isOSNaCl()) |
| 54 | return make_unique<X86LinuxNaClTargetObjectFile>(); |
Aditya Nandakumar | a271932 | 2014-11-13 09:26:31 +0000 | [diff] [blame] | 55 | if (TT.isOSBinFormatELF()) |
Paul Robinson | 06a8eb8 | 2015-03-03 21:01:27 +0000 | [diff] [blame] | 56 | return make_unique<X86ELFTargetObjectFile>(); |
Pat Gavlin | b399095 | 2015-08-14 22:41:43 +0000 | [diff] [blame] | 57 | if (TT.isKnownWindowsMSVCEnvironment() || TT.isWindowsCoreCLREnvironment()) |
Aditya Nandakumar | a271932 | 2014-11-13 09:26:31 +0000 | [diff] [blame] | 58 | return make_unique<X86WindowsTargetObjectFile>(); |
| 59 | if (TT.isOSBinFormatCOFF()) |
| 60 | return make_unique<TargetLoweringObjectFileCOFF>(); |
| 61 | llvm_unreachable("unknown subtarget type"); |
| 62 | } |
| 63 | |
Eric Christopher | 8b77065 | 2015-01-26 19:03:15 +0000 | [diff] [blame] | 64 | static std::string computeDataLayout(const Triple &TT) { |
| 65 | // X86 is little endian |
| 66 | std::string Ret = "e"; |
| 67 | |
| 68 | Ret += DataLayout::getManglingComponent(TT); |
| 69 | // X86 and x32 have 32 bit pointers. |
| 70 | if ((TT.isArch64Bit() && |
| 71 | (TT.getEnvironment() == Triple::GNUX32 || TT.isOSNaCl())) || |
| 72 | !TT.isArch64Bit()) |
| 73 | Ret += "-p:32:32"; |
| 74 | |
| 75 | // Some ABIs align 64 bit integers and doubles to 64 bits, others to 32. |
| 76 | if (TT.isArch64Bit() || TT.isOSWindows() || TT.isOSNaCl()) |
| 77 | Ret += "-i64:64"; |
Andrey Turetskiy | 2396c38 | 2016-02-10 11:57:06 +0000 | [diff] [blame] | 78 | else if (TT.isOSIAMCU()) |
| 79 | Ret += "-i64:32-f64:32"; |
Eric Christopher | 8b77065 | 2015-01-26 19:03:15 +0000 | [diff] [blame] | 80 | else |
| 81 | Ret += "-f64:32:64"; |
| 82 | |
| 83 | // Some ABIs align long double to 128 bits, others to 32. |
Andrey Turetskiy | 2396c38 | 2016-02-10 11:57:06 +0000 | [diff] [blame] | 84 | if (TT.isOSNaCl() || TT.isOSIAMCU()) |
Eric Christopher | 8b77065 | 2015-01-26 19:03:15 +0000 | [diff] [blame] | 85 | ; // No f80 |
| 86 | else if (TT.isArch64Bit() || TT.isOSDarwin()) |
| 87 | Ret += "-f80:128"; |
| 88 | else |
| 89 | Ret += "-f80:32"; |
| 90 | |
Andrey Turetskiy | 2396c38 | 2016-02-10 11:57:06 +0000 | [diff] [blame] | 91 | if (TT.isOSIAMCU()) |
| 92 | Ret += "-f128:32"; |
| 93 | |
Eric Christopher | 8b77065 | 2015-01-26 19:03:15 +0000 | [diff] [blame] | 94 | // The registers can hold 8, 16, 32 or, in x86-64, 64 bits. |
| 95 | if (TT.isArch64Bit()) |
| 96 | Ret += "-n8:16:32:64"; |
| 97 | else |
| 98 | Ret += "-n8:16:32"; |
| 99 | |
| 100 | // The stack is aligned to 32 bits on some ABIs and 128 bits on others. |
Andrey Turetskiy | 2396c38 | 2016-02-10 11:57:06 +0000 | [diff] [blame] | 101 | if ((!TT.isArch64Bit() && TT.isOSWindows()) || TT.isOSIAMCU()) |
Reid Kleckner | 60d5232 | 2015-04-30 22:11:59 +0000 | [diff] [blame] | 102 | Ret += "-a:0:32-S32"; |
Eric Christopher | 8b77065 | 2015-01-26 19:03:15 +0000 | [diff] [blame] | 103 | else |
| 104 | Ret += "-S128"; |
| 105 | |
| 106 | return Ret; |
| 107 | } |
| 108 | |
Rafael Espindola | 8c34dd8 | 2016-05-18 22:04:49 +0000 | [diff] [blame] | 109 | static Reloc::Model getEffectiveRelocModel(const Triple &TT, |
| 110 | Optional<Reloc::Model> RM) { |
| 111 | bool is64Bit = TT.getArch() == Triple::x86_64; |
| 112 | if (!RM.hasValue()) { |
| 113 | // Darwin defaults to PIC in 64 bit mode and dynamic-no-pic in 32 bit mode. |
| 114 | // Win64 requires rip-rel addressing, thus we force it to PIC. Otherwise we |
| 115 | // use static relocation model by default. |
| 116 | if (TT.isOSDarwin()) { |
| 117 | if (is64Bit) |
| 118 | return Reloc::PIC_; |
| 119 | return Reloc::DynamicNoPIC; |
| 120 | } |
| 121 | if (TT.isOSWindows() && is64Bit) |
| 122 | return Reloc::PIC_; |
| 123 | return Reloc::Static; |
| 124 | } |
| 125 | |
| 126 | // ELF and X86-64 don't have a distinct DynamicNoPIC model. DynamicNoPIC |
| 127 | // is defined as a model for code which may be used in static or dynamic |
| 128 | // executables but not necessarily a shared library. On X86-32 we just |
| 129 | // compile in -static mode, in x86-64 we use PIC. |
| 130 | if (*RM == Reloc::DynamicNoPIC) { |
| 131 | if (is64Bit) |
| 132 | return Reloc::PIC_; |
| 133 | if (!TT.isOSDarwin()) |
| 134 | return Reloc::Static; |
| 135 | } |
| 136 | |
| 137 | // If we are on Darwin, disallow static relocation model in X86-64 mode, since |
| 138 | // the Mach-O file format doesn't support it. |
| 139 | if (*RM == Reloc::Static && TT.isOSDarwin() && is64Bit) |
| 140 | return Reloc::PIC_; |
| 141 | |
| 142 | return *RM; |
| 143 | } |
| 144 | |
Rafael Espindola | 38af4d6 | 2016-05-18 16:00:24 +0000 | [diff] [blame] | 145 | /// Create an X86 target. |
Chris Lattner | 02a3d83 | 2002-10-29 22:37:54 +0000 | [diff] [blame] | 146 | /// |
Daniel Sanders | 3e5de88 | 2015-06-11 19:41:26 +0000 | [diff] [blame] | 147 | X86TargetMachine::X86TargetMachine(const Target &T, const Triple &TT, |
| 148 | StringRef CPU, StringRef FS, |
| 149 | const TargetOptions &Options, |
Rafael Espindola | 8c34dd8 | 2016-05-18 22:04:49 +0000 | [diff] [blame] | 150 | Optional<Reloc::Model> RM, |
| 151 | CodeModel::Model CM, CodeGenOpt::Level OL) |
| 152 | : LLVMTargetMachine(T, computeDataLayout(TT), TT, CPU, FS, Options, |
| 153 | getEffectiveRelocModel(TT, RM), CM, OL), |
Daniel Sanders | c81f450 | 2015-06-16 15:44:21 +0000 | [diff] [blame] | 154 | TLOF(createTLOF(getTargetTriple())), |
Daniel Sanders | 3e5de88 | 2015-06-11 19:41:26 +0000 | [diff] [blame] | 155 | Subtarget(TT, CPU, FS, *this, Options.StackAlignmentOverride) { |
Reid Kleckner | ae44e87 | 2015-10-09 01:13:17 +0000 | [diff] [blame] | 156 | // Windows stack unwinder gets confused when execution flow "falls through" |
| 157 | // after a call to 'noreturn' function. |
| 158 | // To prevent that, we emit a trap for 'unreachable' IR instructions. |
| 159 | // (which on X86, happens to be the 'ud2' instruction) |
Paul Robinson | f81836b | 2016-03-24 00:10:03 +0000 | [diff] [blame] | 160 | // On PS4, the "return address" of a 'noreturn' call must still be within |
| 161 | // the calling function, and TrapUnreachable is an easy way to get that. |
| 162 | if (Subtarget.isTargetWin64() || Subtarget.isTargetPS4()) |
Reid Kleckner | ae44e87 | 2015-10-09 01:13:17 +0000 | [diff] [blame] | 163 | this->Options.TrapUnreachable = true; |
| 164 | |
Sanjay Patel | 09b2c89 | 2015-06-22 18:29:44 +0000 | [diff] [blame] | 165 | // By default (and when -ffast-math is on), enable estimate codegen for |
| 166 | // everything except scalar division. By default, use 1 refinement step for |
| 167 | // all operations. Defaults may be overridden by using command-line options. |
| 168 | // Scalar division estimates are disabled because they break too much |
| 169 | // real-world code. These defaults match GCC behavior. |
| 170 | this->Options.Reciprocals.setDefaults("sqrtf", true, 1); |
| 171 | this->Options.Reciprocals.setDefaults("divf", false, 1); |
| 172 | this->Options.Reciprocals.setDefaults("vec-sqrtf", true, 1); |
| 173 | this->Options.Reciprocals.setDefaults("vec-divf", true, 1); |
Sanjay Patel | 667a7e2 | 2015-06-04 01:32:35 +0000 | [diff] [blame] | 174 | |
David Woodhouse | 1c3996a | 2014-01-08 00:08:50 +0000 | [diff] [blame] | 175 | initAsmInfo(); |
Chris Lattner | a1d312c | 2006-02-03 18:59:39 +0000 | [diff] [blame] | 176 | } |
Chris Lattner | 02a3d83 | 2002-10-29 22:37:54 +0000 | [diff] [blame] | 177 | |
Reid Kleckner | 357600e | 2014-11-20 23:37:18 +0000 | [diff] [blame] | 178 | X86TargetMachine::~X86TargetMachine() {} |
| 179 | |
Eric Christopher | 3faf2f1 | 2014-10-06 06:45:36 +0000 | [diff] [blame] | 180 | const X86Subtarget * |
| 181 | X86TargetMachine::getSubtargetImpl(const Function &F) const { |
Duncan P. N. Exon Smith | 5975a70 | 2015-02-14 01:59:52 +0000 | [diff] [blame] | 182 | Attribute CPUAttr = F.getFnAttribute("target-cpu"); |
| 183 | Attribute FSAttr = F.getFnAttribute("target-features"); |
Eric Christopher | 3faf2f1 | 2014-10-06 06:45:36 +0000 | [diff] [blame] | 184 | |
David Majnemer | 498f2fd | 2016-05-20 20:41:24 +0000 | [diff] [blame] | 185 | StringRef CPU = !CPUAttr.hasAttribute(Attribute::None) |
| 186 | ? CPUAttr.getValueAsString() |
| 187 | : (StringRef)TargetCPU; |
| 188 | StringRef FS = !FSAttr.hasAttribute(Attribute::None) |
| 189 | ? FSAttr.getValueAsString() |
| 190 | : (StringRef)TargetFS; |
| 191 | |
| 192 | SmallString<512> Key; |
| 193 | Key.reserve(CPU.size() + FS.size()); |
| 194 | Key += CPU; |
| 195 | Key += FS; |
Eric Christopher | 3faf2f1 | 2014-10-06 06:45:36 +0000 | [diff] [blame] | 196 | |
| 197 | // FIXME: This is related to the code below to reset the target options, |
| 198 | // we need to know whether or not the soft float flag is set on the |
| 199 | // function before we can generate a subtarget. We also need to use |
| 200 | // it as a key for the subtarget since that can be the only difference |
| 201 | // between two functions. |
Eric Christopher | 824f42f | 2015-05-12 01:26:05 +0000 | [diff] [blame] | 202 | bool SoftFloat = |
Eric Christopher | 824f42f | 2015-05-12 01:26:05 +0000 | [diff] [blame] | 203 | F.getFnAttribute("use-soft-float").getValueAsString() == "true"; |
| 204 | // If the soft float attribute is set on the function turn on the soft float |
| 205 | // subtarget feature. |
| 206 | if (SoftFloat) |
David Majnemer | 498f2fd | 2016-05-20 20:41:24 +0000 | [diff] [blame] | 207 | Key += FS.empty() ? "+soft-float" : ",+soft-float"; |
Eric Christopher | 3faf2f1 | 2014-10-06 06:45:36 +0000 | [diff] [blame] | 208 | |
David Majnemer | 498f2fd | 2016-05-20 20:41:24 +0000 | [diff] [blame] | 209 | FS = Key.substr(CPU.size()); |
David Majnemer | ca29023 | 2016-05-20 18:16:06 +0000 | [diff] [blame] | 210 | |
| 211 | auto &I = SubtargetMap[Key]; |
Eric Christopher | 3faf2f1 | 2014-10-06 06:45:36 +0000 | [diff] [blame] | 212 | if (!I) { |
| 213 | // This needs to be done before we create a new subtarget since any |
| 214 | // creation will depend on the TM and the code generation flags on the |
| 215 | // function that reside in TargetOptions. |
| 216 | resetTargetOptions(F); |
Daniel Sanders | c81f450 | 2015-06-16 15:44:21 +0000 | [diff] [blame] | 217 | I = llvm::make_unique<X86Subtarget>(TargetTriple, CPU, FS, *this, |
Eric Christopher | 3faf2f1 | 2014-10-06 06:45:36 +0000 | [diff] [blame] | 218 | Options.StackAlignmentOverride); |
| 219 | } |
| 220 | return I.get(); |
| 221 | } |
| 222 | |
Chris Lattner | 12e9730 | 2006-09-04 04:14:57 +0000 | [diff] [blame] | 223 | //===----------------------------------------------------------------------===// |
Bruno Cardoso Lopes | 2a3ffb5 | 2011-08-23 01:14:17 +0000 | [diff] [blame] | 224 | // Command line options for x86 |
| 225 | //===----------------------------------------------------------------------===// |
Benjamin Kramer | 7859d2e | 2011-09-03 03:45:06 +0000 | [diff] [blame] | 226 | static cl::opt<bool> |
Nadav Rotem | 7f27e0b | 2013-10-18 23:38:13 +0000 | [diff] [blame] | 227 | UseVZeroUpper("x86-use-vzeroupper", cl::Hidden, |
Bruno Cardoso Lopes | 2a3ffb5 | 2011-08-23 01:14:17 +0000 | [diff] [blame] | 228 | cl::desc("Minimize AVX to SSE transition penalty"), |
Eli Friedman | 20439a4 | 2011-11-17 00:21:52 +0000 | [diff] [blame] | 229 | cl::init(true)); |
Bruno Cardoso Lopes | 2a3ffb5 | 2011-08-23 01:14:17 +0000 | [diff] [blame] | 230 | |
| 231 | //===----------------------------------------------------------------------===// |
Chandler Carruth | 93dcdc4 | 2015-01-31 11:17:59 +0000 | [diff] [blame] | 232 | // X86 TTI query. |
Chandler Carruth | 664e354 | 2013-01-07 01:37:14 +0000 | [diff] [blame] | 233 | //===----------------------------------------------------------------------===// |
| 234 | |
Chandler Carruth | 8b04c0d | 2015-02-01 13:20:00 +0000 | [diff] [blame] | 235 | TargetIRAnalysis X86TargetMachine::getTargetIRAnalysis() { |
Eric Christopher | a4e5d3c | 2015-09-16 23:38:13 +0000 | [diff] [blame] | 236 | return TargetIRAnalysis([this](const Function &F) { |
| 237 | return TargetTransformInfo(X86TTIImpl(this, F)); |
| 238 | }); |
Chandler Carruth | 664e354 | 2013-01-07 01:37:14 +0000 | [diff] [blame] | 239 | } |
| 240 | |
| 241 | |
| 242 | //===----------------------------------------------------------------------===// |
Chris Lattner | 12e9730 | 2006-09-04 04:14:57 +0000 | [diff] [blame] | 243 | // Pass Pipeline Configuration |
| 244 | //===----------------------------------------------------------------------===// |
Chris Lattner | 1d6ba3e | 2003-08-05 16:34:44 +0000 | [diff] [blame] | 245 | |
Andrew Trick | ccb6736 | 2012-02-03 05:12:41 +0000 | [diff] [blame] | 246 | namespace { |
| 247 | /// X86 Code Generator Pass Configuration Options. |
| 248 | class X86PassConfig : public TargetPassConfig { |
| 249 | public: |
Andrew Trick | f8ea108 | 2012-02-04 02:56:59 +0000 | [diff] [blame] | 250 | X86PassConfig(X86TargetMachine *TM, PassManagerBase &PM) |
| 251 | : TargetPassConfig(TM, PM) {} |
Andrew Trick | ccb6736 | 2012-02-03 05:12:41 +0000 | [diff] [blame] | 252 | |
| 253 | X86TargetMachine &getX86TargetMachine() const { |
| 254 | return getTM<X86TargetMachine>(); |
| 255 | } |
| 256 | |
Tim Northover | 277066a | 2014-07-01 18:53:31 +0000 | [diff] [blame] | 257 | void addIRPasses() override; |
Craig Topper | 2d9361e | 2014-03-09 07:44:38 +0000 | [diff] [blame] | 258 | bool addInstSelector() override; |
| 259 | bool addILPOpts() override; |
Reid Kleckner | 0738a9c | 2015-05-05 17:44:16 +0000 | [diff] [blame] | 260 | bool addPreISel() override; |
Michael Kuperstein | 13fbd45 | 2015-02-01 16:56:04 +0000 | [diff] [blame] | 261 | void addPreRegAlloc() override; |
Matthias Braun | 7e37a5f | 2014-12-11 21:26:47 +0000 | [diff] [blame] | 262 | void addPostRegAlloc() override; |
| 263 | void addPreEmitPass() override; |
Quentin Colombet | 494eb60 | 2015-05-22 18:10:47 +0000 | [diff] [blame] | 264 | void addPreSched2() override; |
Andrew Trick | ccb6736 | 2012-02-03 05:12:41 +0000 | [diff] [blame] | 265 | }; |
| 266 | } // namespace |
| 267 | |
Andrew Trick | f8ea108 | 2012-02-04 02:56:59 +0000 | [diff] [blame] | 268 | TargetPassConfig *X86TargetMachine::createPassConfig(PassManagerBase &PM) { |
Jakob Stoklund Olesen | 213a2f8 | 2013-01-17 00:58:38 +0000 | [diff] [blame] | 269 | return new X86PassConfig(this, PM); |
Andrew Trick | ccb6736 | 2012-02-03 05:12:41 +0000 | [diff] [blame] | 270 | } |
| 271 | |
Tim Northover | 277066a | 2014-07-01 18:53:31 +0000 | [diff] [blame] | 272 | void X86PassConfig::addIRPasses() { |
Robin Morisset | 25c8e31 | 2014-09-17 00:06:58 +0000 | [diff] [blame] | 273 | addPass(createAtomicExpandPass(&getX86TargetMachine())); |
Tim Northover | 277066a | 2014-07-01 18:53:31 +0000 | [diff] [blame] | 274 | |
| 275 | TargetPassConfig::addIRPasses(); |
| 276 | } |
| 277 | |
Andrew Trick | ccb6736 | 2012-02-03 05:12:41 +0000 | [diff] [blame] | 278 | bool X86PassConfig::addInstSelector() { |
Nate Begeman | be1f314 | 2005-08-18 23:53:15 +0000 | [diff] [blame] | 279 | // Install an instruction selector. |
Bob Wilson | bbd38dd | 2012-07-02 19:48:31 +0000 | [diff] [blame] | 280 | addPass(createX86ISelDag(getX86TargetMachine(), getOptLevel())); |
Dan Gohman | 1914531 | 2008-10-25 17:46:52 +0000 | [diff] [blame] | 281 | |
Hans Wennborg | 789acfb | 2012-06-01 16:27:21 +0000 | [diff] [blame] | 282 | // For ELF, cleanup any local-dynamic TLS accesses. |
Daniel Sanders | c81f450 | 2015-06-16 15:44:21 +0000 | [diff] [blame] | 283 | if (TM->getTargetTriple().isOSBinFormatELF() && |
Eric Christopher | 24f3f65 | 2015-02-05 19:27:04 +0000 | [diff] [blame] | 284 | getOptLevel() != CodeGenOpt::None) |
Bob Wilson | bbd38dd | 2012-07-02 19:48:31 +0000 | [diff] [blame] | 285 | addPass(createCleanupLocalDynamicTLSPass()); |
Hans Wennborg | 789acfb | 2012-06-01 16:27:21 +0000 | [diff] [blame] | 286 | |
Eric Christopher | 0d5c99e | 2014-05-22 01:46:02 +0000 | [diff] [blame] | 287 | addPass(createX86GlobalBaseRegPass()); |
Chris Lattner | 12e9730 | 2006-09-04 04:14:57 +0000 | [diff] [blame] | 288 | return false; |
Brian Gaeke | ac94bab | 2003-06-18 21:43:21 +0000 | [diff] [blame] | 289 | } |
| 290 | |
Jakob Stoklund Olesen | 213a2f8 | 2013-01-17 00:58:38 +0000 | [diff] [blame] | 291 | bool X86PassConfig::addILPOpts() { |
Eric Christopher | 6b0fcfe | 2014-05-21 23:40:26 +0000 | [diff] [blame] | 292 | addPass(&EarlyIfConverterID); |
Sanjay Patel | 08829ba | 2015-06-10 20:32:21 +0000 | [diff] [blame] | 293 | if (EnableMachineCombinerPass) |
| 294 | addPass(&MachineCombinerID); |
Eric Christopher | 6b0fcfe | 2014-05-21 23:40:26 +0000 | [diff] [blame] | 295 | return true; |
Jakob Stoklund Olesen | 213a2f8 | 2013-01-17 00:58:38 +0000 | [diff] [blame] | 296 | } |
| 297 | |
Reid Kleckner | 0738a9c | 2015-05-05 17:44:16 +0000 | [diff] [blame] | 298 | bool X86PassConfig::addPreISel() { |
Reid Kleckner | 5b8ebfb | 2015-05-29 20:43:10 +0000 | [diff] [blame] | 299 | // Only add this pass for 32-bit x86 Windows. |
Daniel Sanders | c81f450 | 2015-06-16 15:44:21 +0000 | [diff] [blame] | 300 | const Triple &TT = TM->getTargetTriple(); |
Reid Kleckner | 5b8ebfb | 2015-05-29 20:43:10 +0000 | [diff] [blame] | 301 | if (TT.isOSWindows() && TT.getArch() == Triple::x86) |
Reid Kleckner | 0738a9c | 2015-05-05 17:44:16 +0000 | [diff] [blame] | 302 | addPass(createX86WinEHStatePass()); |
| 303 | return true; |
| 304 | } |
| 305 | |
Michael Kuperstein | 13fbd45 | 2015-02-01 16:56:04 +0000 | [diff] [blame] | 306 | void X86PassConfig::addPreRegAlloc() { |
Michael Kuperstein | cfbac5f | 2016-07-11 20:40:44 +0000 | [diff] [blame^] | 307 | if (getOptLevel() != CodeGenOpt::None) { |
| 308 | addPass(createX86FixupSetCC()); |
| 309 | addPass(createX86OptimizeLEAs()); |
| 310 | } |
Alexey Bataev | 7cf3247 | 2015-12-04 10:53:15 +0000 | [diff] [blame] | 311 | |
Michael Kuperstein | 13fbd45 | 2015-02-01 16:56:04 +0000 | [diff] [blame] | 312 | addPass(createX86CallFrameOptimization()); |
Hans Wennborg | 8eb336c | 2016-05-18 16:10:17 +0000 | [diff] [blame] | 313 | addPass(createX86WinAllocaExpander()); |
Michael Kuperstein | 13fbd45 | 2015-02-01 16:56:04 +0000 | [diff] [blame] | 314 | } |
| 315 | |
Matthias Braun | 7e37a5f | 2014-12-11 21:26:47 +0000 | [diff] [blame] | 316 | void X86PassConfig::addPostRegAlloc() { |
Rafael Espindola | 01c7361 | 2014-12-11 20:03:57 +0000 | [diff] [blame] | 317 | addPass(createX86FloatingPointStackifierPass()); |
Rafael Espindola | 01c7361 | 2014-12-11 20:03:57 +0000 | [diff] [blame] | 318 | } |
Bruno Cardoso Lopes | 2a3ffb5 | 2011-08-23 01:14:17 +0000 | [diff] [blame] | 319 | |
Quentin Colombet | 494eb60 | 2015-05-22 18:10:47 +0000 | [diff] [blame] | 320 | void X86PassConfig::addPreSched2() { addPass(createX86ExpandPseudoPass()); } |
| 321 | |
Matthias Braun | 7e37a5f | 2014-12-11 21:26:47 +0000 | [diff] [blame] | 322 | void X86PassConfig::addPreEmitPass() { |
Eric Christopher | 24f3f65 | 2015-02-05 19:27:04 +0000 | [diff] [blame] | 323 | if (getOptLevel() != CodeGenOpt::None) |
Matthias Braun | b2f2388 | 2014-12-11 23:18:03 +0000 | [diff] [blame] | 324 | addPass(createExecutionDependencyFixPass(&X86::VR128RegClass)); |
Rafael Espindola | 01c7361 | 2014-12-11 20:03:57 +0000 | [diff] [blame] | 325 | |
Matthias Braun | 7e37a5f | 2014-12-11 21:26:47 +0000 | [diff] [blame] | 326 | if (UseVZeroUpper) |
Matthias Braun | b2f2388 | 2014-12-11 23:18:03 +0000 | [diff] [blame] | 327 | addPass(createX86IssueVZeroUpperPass()); |
Bruno Cardoso Lopes | 62d7987 | 2011-09-15 18:27:32 +0000 | [diff] [blame] | 328 | |
Eric Christopher | 0d5c99e | 2014-05-22 01:46:02 +0000 | [diff] [blame] | 329 | if (getOptLevel() != CodeGenOpt::None) { |
Kevin B. Smith | 6a83350 | 2016-02-11 19:43:04 +0000 | [diff] [blame] | 330 | addPass(createX86FixupBWInsts()); |
Matthias Braun | b2f2388 | 2014-12-11 23:18:03 +0000 | [diff] [blame] | 331 | addPass(createX86PadShortFunctions()); |
Preston Gurd | 8b7ab4b | 2013-04-25 20:29:37 +0000 | [diff] [blame] | 332 | addPass(createX86FixupLEAs()); |
Preston Gurd | 8b7ab4b | 2013-04-25 20:29:37 +0000 | [diff] [blame] | 333 | } |
Jakob Stoklund Olesen | 49e121d | 2010-03-25 17:25:00 +0000 | [diff] [blame] | 334 | } |