1 //===-- PPCTargetMachine.cpp - Define TargetMachine for PowerPC -----------===// 2 // 3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 4 // See https://llvm.org/LICENSE.txt for license information. 5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 6 // 7 //===----------------------------------------------------------------------===// 8 // 9 // Top-level implementation for the PowerPC target. 10 // 11 //===----------------------------------------------------------------------===// 12 13 #include "PPCTargetMachine.h" 14 #include "MCTargetDesc/PPCMCTargetDesc.h" 15 #include "PPC.h" 16 #include "PPCMachineScheduler.h" 17 #include "PPCSubtarget.h" 18 #include "PPCTargetObjectFile.h" 19 #include "PPCTargetTransformInfo.h" 20 #include "TargetInfo/PowerPCTargetInfo.h" 21 #include "llvm/ADT/Optional.h" 22 #include "llvm/ADT/STLExtras.h" 23 #include "llvm/ADT/StringRef.h" 24 #include "llvm/ADT/Triple.h" 25 #include "llvm/Analysis/TargetTransformInfo.h" 26 #include "llvm/CodeGen/Passes.h" 27 #include "llvm/CodeGen/TargetPassConfig.h" 28 #include "llvm/CodeGen/MachineScheduler.h" 29 #include "llvm/IR/Attributes.h" 30 #include "llvm/IR/DataLayout.h" 31 #include "llvm/IR/Function.h" 32 #include "llvm/Pass.h" 33 #include "llvm/Support/CodeGen.h" 34 #include "llvm/Support/CommandLine.h" 35 #include "llvm/Support/TargetRegistry.h" 36 #include "llvm/Target/TargetLoweringObjectFile.h" 37 #include "llvm/Target/TargetOptions.h" 38 #include "llvm/Transforms/Scalar.h" 39 #include <cassert> 40 #include <memory> 41 #include <string> 42 43 using namespace llvm; 44 45 46 static cl::opt<bool> 47 EnableBranchCoalescing("enable-ppc-branch-coalesce", cl::Hidden, 48 cl::desc("enable coalescing of duplicate branches for PPC")); 49 static cl:: 50 opt<bool> DisableCTRLoops("disable-ppc-ctrloops", cl::Hidden, 51 cl::desc("Disable CTR loops for PPC")); 52 53 static cl:: 54 opt<bool> DisablePreIncPrep("disable-ppc-preinc-prep", cl::Hidden, 55 cl::desc("Disable PPC loop preinc prep")); 56 57 static cl::opt<bool> 58 VSXFMAMutateEarly("schedule-ppc-vsx-fma-mutation-early", 59 cl::Hidden, cl::desc("Schedule VSX FMA instruction mutation early")); 60 61 static cl:: 62 opt<bool> DisableVSXSwapRemoval("disable-ppc-vsx-swap-removal", cl::Hidden, 63 cl::desc("Disable VSX Swap Removal for PPC")); 64 65 static cl:: 66 opt<bool> DisableQPXLoadSplat("disable-ppc-qpx-load-splat", cl::Hidden, 67 cl::desc("Disable QPX load splat simplification")); 68 69 static cl:: 70 opt<bool> DisableMIPeephole("disable-ppc-peephole", cl::Hidden, 71 cl::desc("Disable machine peepholes for PPC")); 72 73 static cl::opt<bool> 74 EnableGEPOpt("ppc-gep-opt", cl::Hidden, 75 cl::desc("Enable optimizations on complex GEPs"), 76 cl::init(true)); 77 78 static cl::opt<bool> 79 EnablePrefetch("enable-ppc-prefetching", 80 cl::desc("disable software prefetching on PPC"), 81 cl::init(false), cl::Hidden); 82 83 static cl::opt<bool> 84 EnableExtraTOCRegDeps("enable-ppc-extra-toc-reg-deps", 85 cl::desc("Add extra TOC register dependencies"), 86 cl::init(true), cl::Hidden); 87 88 static cl::opt<bool> 89 EnableMachineCombinerPass("ppc-machine-combiner", 90 cl::desc("Enable the machine combiner pass"), 91 cl::init(true), cl::Hidden); 92 93 static cl::opt<bool> 94 ReduceCRLogical("ppc-reduce-cr-logicals", 95 cl::desc("Expand eligible cr-logical binary ops to branches"), 96 cl::init(true), cl::Hidden); 97 extern "C" void LLVMInitializePowerPCTarget() { 98 // Register the targets 99 RegisterTargetMachine<PPCTargetMachine> A(getThePPC32Target()); 100 RegisterTargetMachine<PPCTargetMachine> B(getThePPC64Target()); 101 RegisterTargetMachine<PPCTargetMachine> C(getThePPC64LETarget()); 102 103 PassRegistry &PR = *PassRegistry::getPassRegistry(); 104 #ifndef NDEBUG 105 initializePPCCTRLoopsVerifyPass(PR); 106 #endif 107 initializePPCLoopPreIncPrepPass(PR); 108 initializePPCTOCRegDepsPass(PR); 109 initializePPCEarlyReturnPass(PR); 110 initializePPCVSXCopyPass(PR); 111 initializePPCVSXFMAMutatePass(PR); 112 initializePPCVSXSwapRemovalPass(PR); 113 initializePPCReduceCRLogicalsPass(PR); 114 initializePPCBSelPass(PR); 115 initializePPCBranchCoalescingPass(PR); 116 initializePPCQPXLoadSplatPass(PR); 117 initializePPCBoolRetToIntPass(PR); 118 initializePPCExpandISELPass(PR); 119 initializePPCPreEmitPeepholePass(PR); 120 initializePPCTLSDynamicCallPass(PR); 121 initializePPCMIPeepholePass(PR); 122 initializePPCLowerMASSVEntriesPass(PR); 123 } 124 125 /// Return the datalayout string of a subtarget. 126 static std::string getDataLayoutString(const Triple &T) { 127 bool is64Bit = T.getArch() == Triple::ppc64 || T.getArch() == Triple::ppc64le; 128 std::string Ret; 129 130 // Most PPC* platforms are big endian, PPC64LE is little endian. 131 if (T.getArch() == Triple::ppc64le) 132 Ret = "e"; 133 else 134 Ret = "E"; 135 136 Ret += DataLayout::getManglingComponent(T); 137 138 // PPC32 has 32 bit pointers. The PS3 (OS Lv2) is a PPC64 machine with 32 bit 139 // pointers. 140 if (!is64Bit || T.getOS() == Triple::Lv2) 141 Ret += "-p:32:32"; 142 143 // Note, the alignment values for f64 and i64 on ppc64 in Darwin 144 // documentation are wrong; these are correct (i.e. "what gcc does"). 145 if (is64Bit || !T.isOSDarwin()) 146 Ret += "-i64:64"; 147 else 148 Ret += "-f64:32:64"; 149 150 // PPC64 has 32 and 64 bit registers, PPC32 has only 32 bit ones. 151 if (is64Bit) 152 Ret += "-n32:64"; 153 else 154 Ret += "-n32"; 155 156 return Ret; 157 } 158 159 static std::string computeFSAdditions(StringRef FS, CodeGenOpt::Level OL, 160 const Triple &TT) { 161 std::string FullFS = FS; 162 163 // Make sure 64-bit features are available when CPUname is generic 164 if (TT.getArch() == Triple::ppc64 || TT.getArch() == Triple::ppc64le) { 165 if (!FullFS.empty()) 166 FullFS = "+64bit," + FullFS; 167 else 168 FullFS = "+64bit"; 169 } 170 171 if (OL >= CodeGenOpt::Default) { 172 if (!FullFS.empty()) 173 FullFS = "+crbits," + FullFS; 174 else 175 FullFS = "+crbits"; 176 } 177 178 if (OL != CodeGenOpt::None) { 179 if (!FullFS.empty()) 180 FullFS = "+invariant-function-descriptors," + FullFS; 181 else 182 FullFS = "+invariant-function-descriptors"; 183 } 184 185 return FullFS; 186 } 187 188 static std::unique_ptr<TargetLoweringObjectFile> createTLOF(const Triple &TT) { 189 if (TT.isOSDarwin()) 190 return std::make_unique<TargetLoweringObjectFileMachO>(); 191 192 if (TT.isOSAIX()) 193 return std::make_unique<TargetLoweringObjectFileXCOFF>(); 194 195 return std::make_unique<PPC64LinuxTargetObjectFile>(); 196 } 197 198 static PPCTargetMachine::PPCABI computeTargetABI(const Triple &TT, 199 const TargetOptions &Options) { 200 if (TT.isOSDarwin()) 201 report_fatal_error("Darwin is no longer supported for PowerPC"); 202 203 if (Options.MCOptions.getABIName().startswith("elfv1")) 204 return PPCTargetMachine::PPC_ABI_ELFv1; 205 else if (Options.MCOptions.getABIName().startswith("elfv2")) 206 return PPCTargetMachine::PPC_ABI_ELFv2; 207 208 assert(Options.MCOptions.getABIName().empty() && 209 "Unknown target-abi option!"); 210 211 if (TT.isMacOSX()) 212 return PPCTargetMachine::PPC_ABI_UNKNOWN; 213 214 switch (TT.getArch()) { 215 case Triple::ppc64le: 216 return PPCTargetMachine::PPC_ABI_ELFv2; 217 case Triple::ppc64: 218 if (TT.getEnvironment() == llvm::Triple::ELFv2) 219 return PPCTargetMachine::PPC_ABI_ELFv2; 220 return PPCTargetMachine::PPC_ABI_ELFv1; 221 default: 222 return PPCTargetMachine::PPC_ABI_UNKNOWN; 223 } 224 } 225 226 static Reloc::Model getEffectiveRelocModel(const Triple &TT, 227 Optional<Reloc::Model> RM) { 228 if (RM.hasValue()) 229 return *RM; 230 231 // Darwin defaults to dynamic-no-pic. 232 if (TT.isOSDarwin()) 233 return Reloc::DynamicNoPIC; 234 235 // Big Endian PPC is PIC by default. 236 if (TT.getArch() == Triple::ppc64) 237 return Reloc::PIC_; 238 239 // Rest are static by default. 240 return Reloc::Static; 241 } 242 243 static CodeModel::Model getEffectivePPCCodeModel(const Triple &TT, 244 Optional<CodeModel::Model> CM, 245 bool JIT) { 246 if (CM) { 247 if (*CM == CodeModel::Tiny) 248 report_fatal_error("Target does not support the tiny CodeModel", false); 249 if (*CM == CodeModel::Kernel) 250 report_fatal_error("Target does not support the kernel CodeModel", false); 251 return *CM; 252 } 253 254 if (JIT) 255 return CodeModel::Small; 256 if (TT.isOSAIX()) 257 return CodeModel::Small; 258 259 assert(TT.isOSBinFormatELF() && "All remaining PPC OSes are ELF based."); 260 261 if (TT.isArch32Bit()) 262 return CodeModel::Small; 263 264 assert(TT.isArch64Bit() && "Unsupported PPC architecture."); 265 return CodeModel::Medium; 266 } 267 268 269 static ScheduleDAGInstrs *createPPCMachineScheduler(MachineSchedContext *C) { 270 const PPCSubtarget &ST = C->MF->getSubtarget<PPCSubtarget>(); 271 ScheduleDAGMILive *DAG = 272 new ScheduleDAGMILive(C, ST.usePPCPreRASchedStrategy() ? 273 std::make_unique<PPCPreRASchedStrategy>(C) : 274 std::make_unique<GenericScheduler>(C)); 275 // add DAG Mutations here. 276 DAG->addMutation(createCopyConstrainDAGMutation(DAG->TII, DAG->TRI)); 277 return DAG; 278 } 279 280 static ScheduleDAGInstrs *createPPCPostMachineScheduler( 281 MachineSchedContext *C) { 282 const PPCSubtarget &ST = C->MF->getSubtarget<PPCSubtarget>(); 283 ScheduleDAGMI *DAG = 284 new ScheduleDAGMI(C, ST.usePPCPostRASchedStrategy() ? 285 std::make_unique<PPCPostRASchedStrategy>(C) : 286 std::make_unique<PostGenericScheduler>(C), true); 287 // add DAG Mutations here. 288 return DAG; 289 } 290 291 // The FeatureString here is a little subtle. We are modifying the feature 292 // string with what are (currently) non-function specific overrides as it goes 293 // into the LLVMTargetMachine constructor and then using the stored value in the 294 // Subtarget constructor below it. 295 PPCTargetMachine::PPCTargetMachine(const Target &T, const Triple &TT, 296 StringRef CPU, StringRef FS, 297 const TargetOptions &Options, 298 Optional<Reloc::Model> RM, 299 Optional<CodeModel::Model> CM, 300 CodeGenOpt::Level OL, bool JIT) 301 : LLVMTargetMachine(T, getDataLayoutString(TT), TT, CPU, 302 computeFSAdditions(FS, OL, TT), Options, 303 getEffectiveRelocModel(TT, RM), 304 getEffectivePPCCodeModel(TT, CM, JIT), OL), 305 TLOF(createTLOF(getTargetTriple())), 306 TargetABI(computeTargetABI(TT, Options)) { 307 initAsmInfo(); 308 } 309 310 PPCTargetMachine::~PPCTargetMachine() = default; 311 312 const PPCSubtarget * 313 PPCTargetMachine::getSubtargetImpl(const Function &F) const { 314 Attribute CPUAttr = F.getFnAttribute("target-cpu"); 315 Attribute FSAttr = F.getFnAttribute("target-features"); 316 317 std::string CPU = !CPUAttr.hasAttribute(Attribute::None) 318 ? CPUAttr.getValueAsString().str() 319 : TargetCPU; 320 std::string FS = !FSAttr.hasAttribute(Attribute::None) 321 ? FSAttr.getValueAsString().str() 322 : TargetFS; 323 324 // FIXME: This is related to the code below to reset the target options, 325 // we need to know whether or not the soft float flag is set on the 326 // function before we can generate a subtarget. We also need to use 327 // it as a key for the subtarget since that can be the only difference 328 // between two functions. 329 bool SoftFloat = 330 F.getFnAttribute("use-soft-float").getValueAsString() == "true"; 331 // If the soft float attribute is set on the function turn on the soft float 332 // subtarget feature. 333 if (SoftFloat) 334 FS += FS.empty() ? "-hard-float" : ",-hard-float"; 335 336 auto &I = SubtargetMap[CPU + FS]; 337 if (!I) { 338 // This needs to be done before we create a new subtarget since any 339 // creation will depend on the TM and the code generation flags on the 340 // function that reside in TargetOptions. 341 resetTargetOptions(F); 342 I = std::make_unique<PPCSubtarget>( 343 TargetTriple, CPU, 344 // FIXME: It would be good to have the subtarget additions here 345 // not necessary. Anything that turns them on/off (overrides) ends 346 // up being put at the end of the feature string, but the defaults 347 // shouldn't require adding them. Fixing this means pulling Feature64Bit 348 // out of most of the target cpus in the .td file and making it set only 349 // as part of initialization via the TargetTriple. 350 computeFSAdditions(FS, getOptLevel(), getTargetTriple()), *this); 351 } 352 return I.get(); 353 } 354 355 //===----------------------------------------------------------------------===// 356 // Pass Pipeline Configuration 357 //===----------------------------------------------------------------------===// 358 359 namespace { 360 361 /// PPC Code Generator Pass Configuration Options. 362 class PPCPassConfig : public TargetPassConfig { 363 public: 364 PPCPassConfig(PPCTargetMachine &TM, PassManagerBase &PM) 365 : TargetPassConfig(TM, PM) { 366 // At any optimization level above -O0 we use the Machine Scheduler and not 367 // the default Post RA List Scheduler. 368 if (TM.getOptLevel() != CodeGenOpt::None) 369 substitutePass(&PostRASchedulerID, &PostMachineSchedulerID); 370 } 371 372 PPCTargetMachine &getPPCTargetMachine() const { 373 return getTM<PPCTargetMachine>(); 374 } 375 376 void addIRPasses() override; 377 bool addPreISel() override; 378 bool addILPOpts() override; 379 bool addInstSelector() override; 380 void addMachineSSAOptimization() override; 381 void addPreRegAlloc() override; 382 void addPreSched2() override; 383 void addPreEmitPass() override; 384 ScheduleDAGInstrs * 385 createMachineScheduler(MachineSchedContext *C) const override { 386 return createPPCMachineScheduler(C); 387 } 388 ScheduleDAGInstrs * 389 createPostMachineScheduler(MachineSchedContext *C) const override { 390 return createPPCPostMachineScheduler(C); 391 } 392 }; 393 394 } // end anonymous namespace 395 396 TargetPassConfig *PPCTargetMachine::createPassConfig(PassManagerBase &PM) { 397 return new PPCPassConfig(*this, PM); 398 } 399 400 void PPCPassConfig::addIRPasses() { 401 if (TM->getOptLevel() != CodeGenOpt::None) 402 addPass(createPPCBoolRetToIntPass()); 403 addPass(createAtomicExpandPass()); 404 405 // Lower generic MASSV routines to PowerPC subtarget-specific entries. 406 addPass(createPPCLowerMASSVEntriesPass()); 407 408 // For the BG/Q (or if explicitly requested), add explicit data prefetch 409 // intrinsics. 410 bool UsePrefetching = TM->getTargetTriple().getVendor() == Triple::BGQ && 411 getOptLevel() != CodeGenOpt::None; 412 if (EnablePrefetch.getNumOccurrences() > 0) 413 UsePrefetching = EnablePrefetch; 414 if (UsePrefetching) 415 addPass(createLoopDataPrefetchPass()); 416 417 if (TM->getOptLevel() >= CodeGenOpt::Default && EnableGEPOpt) { 418 // Call SeparateConstOffsetFromGEP pass to extract constants within indices 419 // and lower a GEP with multiple indices to either arithmetic operations or 420 // multiple GEPs with single index. 421 addPass(createSeparateConstOffsetFromGEPPass(true)); 422 // Call EarlyCSE pass to find and remove subexpressions in the lowered 423 // result. 424 addPass(createEarlyCSEPass()); 425 // Do loop invariant code motion in case part of the lowered result is 426 // invariant. 427 addPass(createLICMPass()); 428 } 429 430 TargetPassConfig::addIRPasses(); 431 } 432 433 bool PPCPassConfig::addPreISel() { 434 if (!DisablePreIncPrep && getOptLevel() != CodeGenOpt::None) 435 addPass(createPPCLoopPreIncPrepPass(getPPCTargetMachine())); 436 437 if (!DisableCTRLoops && getOptLevel() != CodeGenOpt::None) 438 addPass(createHardwareLoopsPass()); 439 440 return false; 441 } 442 443 bool PPCPassConfig::addILPOpts() { 444 addPass(&EarlyIfConverterID); 445 446 if (EnableMachineCombinerPass) 447 addPass(&MachineCombinerID); 448 449 return true; 450 } 451 452 bool PPCPassConfig::addInstSelector() { 453 // Install an instruction selector. 454 addPass(createPPCISelDag(getPPCTargetMachine(), getOptLevel())); 455 456 #ifndef NDEBUG 457 if (!DisableCTRLoops && getOptLevel() != CodeGenOpt::None) 458 addPass(createPPCCTRLoopsVerify()); 459 #endif 460 461 addPass(createPPCVSXCopyPass()); 462 return false; 463 } 464 465 void PPCPassConfig::addMachineSSAOptimization() { 466 // PPCBranchCoalescingPass need to be done before machine sinking 467 // since it merges empty blocks. 468 if (EnableBranchCoalescing && getOptLevel() != CodeGenOpt::None) 469 addPass(createPPCBranchCoalescingPass()); 470 TargetPassConfig::addMachineSSAOptimization(); 471 // For little endian, remove where possible the vector swap instructions 472 // introduced at code generation to normalize vector element order. 473 if (TM->getTargetTriple().getArch() == Triple::ppc64le && 474 !DisableVSXSwapRemoval) 475 addPass(createPPCVSXSwapRemovalPass()); 476 // Reduce the number of cr-logical ops. 477 if (ReduceCRLogical && getOptLevel() != CodeGenOpt::None) 478 addPass(createPPCReduceCRLogicalsPass()); 479 // Target-specific peephole cleanups performed after instruction 480 // selection. 481 if (!DisableMIPeephole) { 482 addPass(createPPCMIPeepholePass()); 483 addPass(&DeadMachineInstructionElimID); 484 } 485 } 486 487 void PPCPassConfig::addPreRegAlloc() { 488 if (getOptLevel() != CodeGenOpt::None) { 489 initializePPCVSXFMAMutatePass(*PassRegistry::getPassRegistry()); 490 insertPass(VSXFMAMutateEarly ? &RegisterCoalescerID : &MachineSchedulerID, 491 &PPCVSXFMAMutateID); 492 } 493 494 // FIXME: We probably don't need to run these for -fPIE. 495 if (getPPCTargetMachine().isPositionIndependent()) { 496 // FIXME: LiveVariables should not be necessary here! 497 // PPCTLSDynamicCallPass uses LiveIntervals which previously dependent on 498 // LiveVariables. This (unnecessary) dependency has been removed now, 499 // however a stage-2 clang build fails without LiveVariables computed here. 500 addPass(&LiveVariablesID, false); 501 addPass(createPPCTLSDynamicCallPass()); 502 } 503 if (EnableExtraTOCRegDeps) 504 addPass(createPPCTOCRegDepsPass()); 505 506 if (getOptLevel() != CodeGenOpt::None) 507 addPass(&MachinePipelinerID); 508 } 509 510 void PPCPassConfig::addPreSched2() { 511 if (getOptLevel() != CodeGenOpt::None) { 512 addPass(&IfConverterID); 513 514 // This optimization must happen after anything that might do store-to-load 515 // forwarding. Here we're after RA (and, thus, when spills are inserted) 516 // but before post-RA scheduling. 517 if (!DisableQPXLoadSplat) 518 addPass(createPPCQPXLoadSplatPass()); 519 } 520 } 521 522 void PPCPassConfig::addPreEmitPass() { 523 addPass(createPPCPreEmitPeepholePass()); 524 addPass(createPPCExpandISELPass()); 525 526 if (getOptLevel() != CodeGenOpt::None) 527 addPass(createPPCEarlyReturnPass(), false); 528 // Must run branch selection immediately preceding the asm printer. 529 addPass(createPPCBranchSelectionPass(), false); 530 } 531 532 TargetTransformInfo 533 PPCTargetMachine::getTargetTransformInfo(const Function &F) { 534 return TargetTransformInfo(PPCTTIImpl(this, F)); 535 } 536 537 static MachineSchedRegistry 538 PPCPreRASchedRegistry("ppc-prera", 539 "Run PowerPC PreRA specific scheduler", 540 createPPCMachineScheduler); 541 542 static MachineSchedRegistry 543 PPCPostRASchedRegistry("ppc-postra", 544 "Run PowerPC PostRA specific scheduler", 545 createPPCPostMachineScheduler); 546