| Akira Hatanaka | d8fb032 | 2013-04-22 20:13:37 +0000 | [diff] [blame] | 1 | //===---- MipsOs16.cpp for Mips Option -Os16                       --------===// | 
| Reed Kotler | fe94cc3 | 2013-04-10 16:58:04 +0000 | [diff] [blame] | 2 | // | 
|  | 3 | //                     The LLVM Compiler Infrastructure | 
|  | 4 | // | 
|  | 5 | // This file is distributed under the University of Illinois Open Source | 
|  | 6 | // License. See LICENSE.TXT for details. | 
|  | 7 | // | 
|  | 8 | //===----------------------------------------------------------------------===// | 
|  | 9 | // | 
|  | 10 | // This file defines an optimization phase for the MIPS target. | 
|  | 11 | // | 
|  | 12 | //===----------------------------------------------------------------------===// | 
|  | 13 |  | 
| Benjamin Kramer | a52f696 | 2015-03-09 15:50:58 +0000 | [diff] [blame] | 14 | #include "llvm/IR/Instructions.h" | 
| Benjamin Kramer | 799003b | 2015-03-23 19:32:43 +0000 | [diff] [blame] | 15 | #include "Mips.h" | 
| Reed Kotler | fe94cc3 | 2013-04-10 16:58:04 +0000 | [diff] [blame] | 16 | #include "llvm/IR/Module.h" | 
| Reed Kotler | d8f3362 | 2013-08-20 20:53:09 +0000 | [diff] [blame] | 17 | #include "llvm/Support/CommandLine.h" | 
| Reed Kotler | fe94cc3 | 2013-04-10 16:58:04 +0000 | [diff] [blame] | 18 | #include "llvm/Support/Debug.h" | 
| Benjamin Kramer | 799003b | 2015-03-23 19:32:43 +0000 | [diff] [blame] | 19 | #include "llvm/Support/raw_ostream.h" | 
| Vasileios Kalintiris | 6312f51 | 2015-03-14 08:34:25 +0000 | [diff] [blame] | 20 |  | 
| Benjamin Kramer | a52f696 | 2015-03-09 15:50:58 +0000 | [diff] [blame] | 21 | using namespace llvm; | 
| Reed Kotler | fe94cc3 | 2013-04-10 16:58:04 +0000 | [diff] [blame] | 22 |  | 
| Chandler Carruth | 84e68b2 | 2014-04-22 02:41:26 +0000 | [diff] [blame] | 23 | #define DEBUG_TYPE "mips-os16" | 
|  | 24 |  | 
| Reed Kotler | d8f3362 | 2013-08-20 20:53:09 +0000 | [diff] [blame] | 25 | static cl::opt<std::string> Mips32FunctionMask( | 
|  | 26 | "mips32-function-mask", | 
|  | 27 | cl::init(""), | 
|  | 28 | cl::desc("Force function to be mips32"), | 
|  | 29 | cl::Hidden); | 
|  | 30 |  | 
| Reed Kotler | fe94cc3 | 2013-04-10 16:58:04 +0000 | [diff] [blame] | 31 | namespace { | 
| Vasileios Kalintiris | 6312f51 | 2015-03-14 08:34:25 +0000 | [diff] [blame] | 32 | class MipsOs16 : public ModulePass { | 
|  | 33 | public: | 
|  | 34 | static char ID; | 
| Reed Kotler | fe94cc3 | 2013-04-10 16:58:04 +0000 | [diff] [blame] | 35 |  | 
| Vasileios Kalintiris | 6312f51 | 2015-03-14 08:34:25 +0000 | [diff] [blame] | 36 | MipsOs16() : ModulePass(ID) {} | 
|  | 37 |  | 
|  | 38 | const char *getPassName() const override { | 
|  | 39 | return "MIPS Os16 Optimization"; | 
|  | 40 | } | 
|  | 41 |  | 
|  | 42 | bool runOnModule(Module &M) override; | 
|  | 43 | }; | 
|  | 44 |  | 
|  | 45 | char MipsOs16::ID = 0; | 
| Alexander Kornienko | f00654e | 2015-06-23 09:49:53 +0000 | [diff] [blame] | 46 | } | 
| Vasileios Kalintiris | 6312f51 | 2015-03-14 08:34:25 +0000 | [diff] [blame] | 47 |  | 
|  | 48 | // Figure out if we need float point based on the function signature. | 
|  | 49 | // We need to move variables in and/or out of floating point | 
|  | 50 | // registers because of the ABI | 
|  | 51 | // | 
|  | 52 | static  bool needsFPFromSig(Function &F) { | 
|  | 53 | Type* RetType = F.getReturnType(); | 
|  | 54 | switch (RetType->getTypeID()) { | 
|  | 55 | case Type::FloatTyID: | 
|  | 56 | case Type::DoubleTyID: | 
|  | 57 | return true; | 
|  | 58 | default: | 
|  | 59 | ; | 
|  | 60 | } | 
|  | 61 | if (F.arg_size() >=1) { | 
|  | 62 | Argument &Arg = F.getArgumentList().front(); | 
|  | 63 | switch (Arg.getType()->getTypeID()) { | 
| Reed Kotler | fe94cc3 | 2013-04-10 16:58:04 +0000 | [diff] [blame] | 64 | case Type::FloatTyID: | 
|  | 65 | case Type::DoubleTyID: | 
|  | 66 | return true; | 
|  | 67 | default: | 
|  | 68 | ; | 
|  | 69 | } | 
| Reed Kotler | fe94cc3 | 2013-04-10 16:58:04 +0000 | [diff] [blame] | 70 | } | 
| Vasileios Kalintiris | 6312f51 | 2015-03-14 08:34:25 +0000 | [diff] [blame] | 71 | return false; | 
| Reed Kotler | fe94cc3 | 2013-04-10 16:58:04 +0000 | [diff] [blame] | 72 | } | 
| Reed Kotler | fe94cc3 | 2013-04-10 16:58:04 +0000 | [diff] [blame] | 73 |  | 
| Vasileios Kalintiris | 6312f51 | 2015-03-14 08:34:25 +0000 | [diff] [blame] | 74 | // Figure out if the function will need floating point operations | 
|  | 75 | // | 
|  | 76 | static bool needsFP(Function &F) { | 
|  | 77 | if (needsFPFromSig(F)) | 
|  | 78 | return true; | 
|  | 79 | for (Function::const_iterator BB = F.begin(), E = F.end(); BB != E; ++BB) | 
|  | 80 | for (BasicBlock::const_iterator I = BB->begin(), E = BB->end(); | 
|  | 81 | I != E; ++I) { | 
|  | 82 | const Instruction &Inst = *I; | 
|  | 83 | switch (Inst.getOpcode()) { | 
|  | 84 | case Instruction::FAdd: | 
|  | 85 | case Instruction::FSub: | 
|  | 86 | case Instruction::FMul: | 
|  | 87 | case Instruction::FDiv: | 
|  | 88 | case Instruction::FRem: | 
|  | 89 | case Instruction::FPToUI: | 
|  | 90 | case Instruction::FPToSI: | 
|  | 91 | case Instruction::UIToFP: | 
|  | 92 | case Instruction::SIToFP: | 
|  | 93 | case Instruction::FPTrunc: | 
|  | 94 | case Instruction::FPExt: | 
|  | 95 | case Instruction::FCmp: | 
|  | 96 | return true; | 
|  | 97 | default: | 
|  | 98 | ; | 
|  | 99 | } | 
|  | 100 | if (const CallInst *CI = dyn_cast<CallInst>(I)) { | 
|  | 101 | DEBUG(dbgs() << "Working on call" << "\n"); | 
|  | 102 | Function &F_ =  *CI->getCalledFunction(); | 
|  | 103 | if (needsFPFromSig(F_)) | 
|  | 104 | return true; | 
|  | 105 | } | 
|  | 106 | } | 
|  | 107 | return false; | 
|  | 108 | } | 
| Benjamin Kramer | a52f696 | 2015-03-09 15:50:58 +0000 | [diff] [blame] | 109 |  | 
| Reed Kotler | fe94cc3 | 2013-04-10 16:58:04 +0000 | [diff] [blame] | 110 |  | 
|  | 111 | bool MipsOs16::runOnModule(Module &M) { | 
| Reed Kotler | d8f3362 | 2013-08-20 20:53:09 +0000 | [diff] [blame] | 112 | bool usingMask = Mips32FunctionMask.length() > 0; | 
| Reed Kotler | e883f50 | 2013-09-23 22:36:11 +0000 | [diff] [blame] | 113 | bool doneUsingMask = false; // this will make it stop repeating | 
| Vasileios Kalintiris | 957d849 | 2016-04-08 10:33:00 +0000 | [diff] [blame] | 114 |  | 
| Reed Kotler | d8f3362 | 2013-08-20 20:53:09 +0000 | [diff] [blame] | 115 | DEBUG(dbgs() << "Run on Module MipsOs16 \n" << Mips32FunctionMask << "\n"); | 
|  | 116 | if (usingMask) | 
|  | 117 | DEBUG(dbgs() << "using mask \n" << Mips32FunctionMask << "\n"); | 
| Vasileios Kalintiris | 957d849 | 2016-04-08 10:33:00 +0000 | [diff] [blame] | 118 |  | 
| Reed Kotler | d8f3362 | 2013-08-20 20:53:09 +0000 | [diff] [blame] | 119 | unsigned int functionIndex = 0; | 
| Reed Kotler | fe94cc3 | 2013-04-10 16:58:04 +0000 | [diff] [blame] | 120 | bool modified = false; | 
| Vasileios Kalintiris | 957d849 | 2016-04-08 10:33:00 +0000 | [diff] [blame] | 121 |  | 
|  | 122 | for (auto &F : M) { | 
|  | 123 | if (F.isDeclaration()) | 
|  | 124 | continue; | 
|  | 125 |  | 
|  | 126 | DEBUG(dbgs() << "Working on " << F.getName() << "\n"); | 
| Reed Kotler | d8f3362 | 2013-08-20 20:53:09 +0000 | [diff] [blame] | 127 | if (usingMask) { | 
| Reed Kotler | e883f50 | 2013-09-23 22:36:11 +0000 | [diff] [blame] | 128 | if (!doneUsingMask) { | 
|  | 129 | if (functionIndex == Mips32FunctionMask.length()) | 
|  | 130 | functionIndex = 0; | 
|  | 131 | switch (Mips32FunctionMask[functionIndex]) { | 
|  | 132 | case '1': | 
| Vasileios Kalintiris | 957d849 | 2016-04-08 10:33:00 +0000 | [diff] [blame] | 133 | DEBUG(dbgs() << "mask forced mips32: " << F.getName() << "\n"); | 
|  | 134 | F.addFnAttr("nomips16"); | 
| Reed Kotler | e883f50 | 2013-09-23 22:36:11 +0000 | [diff] [blame] | 135 | break; | 
|  | 136 | case '.': | 
|  | 137 | doneUsingMask = true; | 
|  | 138 | break; | 
|  | 139 | default: | 
|  | 140 | break; | 
|  | 141 | } | 
|  | 142 | functionIndex++; | 
| Reed Kotler | d8f3362 | 2013-08-20 20:53:09 +0000 | [diff] [blame] | 143 | } | 
| Reed Kotler | fe94cc3 | 2013-04-10 16:58:04 +0000 | [diff] [blame] | 144 | } | 
|  | 145 | else { | 
| Vasileios Kalintiris | 957d849 | 2016-04-08 10:33:00 +0000 | [diff] [blame] | 146 | if (needsFP(F)) { | 
|  | 147 | DEBUG(dbgs() << "os16 forced mips32: " << F.getName() << "\n"); | 
|  | 148 | F.addFnAttr("nomips16"); | 
| Reed Kotler | d8f3362 | 2013-08-20 20:53:09 +0000 | [diff] [blame] | 149 | } | 
|  | 150 | else { | 
| Vasileios Kalintiris | 957d849 | 2016-04-08 10:33:00 +0000 | [diff] [blame] | 151 | DEBUG(dbgs() << "os16 forced mips16: " << F.getName() << "\n"); | 
|  | 152 | F.addFnAttr("mips16"); | 
| Reed Kotler | d8f3362 | 2013-08-20 20:53:09 +0000 | [diff] [blame] | 153 | } | 
| Reed Kotler | fe94cc3 | 2013-04-10 16:58:04 +0000 | [diff] [blame] | 154 | } | 
|  | 155 | } | 
| Vasileios Kalintiris | 957d849 | 2016-04-08 10:33:00 +0000 | [diff] [blame] | 156 |  | 
| Reed Kotler | fe94cc3 | 2013-04-10 16:58:04 +0000 | [diff] [blame] | 157 | return modified; | 
|  | 158 | } | 
|  | 159 |  | 
| Vasileios Kalintiris | 6312f51 | 2015-03-14 08:34:25 +0000 | [diff] [blame] | 160 | ModulePass *llvm::createMipsOs16Pass(MipsTargetMachine &TM) { | 
| Reed Kotler | fe94cc3 | 2013-04-10 16:58:04 +0000 | [diff] [blame] | 161 | return new MipsOs16; | 
|  | 162 | } |