MipsOs16.cpp revision dce4a407a24b04eebc6a376f8e62b41aaa7b071f
15821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)//===---- MipsOs16.cpp for Mips Option -Os16                       --------===//
25821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)//
35821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)//                     The LLVM Compiler Infrastructure
45821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)//
55821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// This file is distributed under the University of Illinois Open Source
65821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// License. See LICENSE.TXT for details.
75821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)//
85821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)//===----------------------------------------------------------------------===//
95821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)//
105821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// This file defines an optimization phase for the MIPS target.
115821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)//
125821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)//===----------------------------------------------------------------------===//
135821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)
145821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)#include "MipsOs16.h"
155821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)#include "llvm/IR/Module.h"
165821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)#include "llvm/Support/CommandLine.h"
175821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)#include "llvm/Support/Debug.h"
185821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)#include "llvm/Support/raw_ostream.h"
192a99a7e74a7f215066514fe81d2bfa6639d9edddTorne (Richard Coles)
205821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)#define DEBUG_TYPE "mips-os16"
21eb525c5499e34cc9c4b825d6d9e75bb07cc06aceBen Murdoch
225821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)
235821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)static cl::opt<std::string> Mips32FunctionMask(
245821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)  "mips32-function-mask",
255821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)  cl::init(""),
26010d83a9304c5a91596085d917d248abff47903aTorne (Richard Coles)  cl::desc("Force function to be mips32"),
275821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)  cl::Hidden);
282a99a7e74a7f215066514fe81d2bfa6639d9edddTorne (Richard Coles)
292a99a7e74a7f215066514fe81d2bfa6639d9edddTorne (Richard Coles)namespace {
305821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)
315821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)  // Figure out if we need float point based on the function signature.
325821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)  // We need to move variables in and/or out of floating point
335821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)  // registers because of the ABI
345821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)  //
355821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)  bool needsFPFromSig(Function &F) {
36a1401311d1ab56c4ed0a474bd38c108f75cb0cd9Torne (Richard Coles)    Type* RetType = F.getReturnType();
375821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)    switch (RetType->getTypeID()) {
385821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)    case Type::FloatTyID:
395821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)    case Type::DoubleTyID:
40f2477e01787aa58f445919b809d89e252beef54fTorne (Richard Coles)      return true;
41f2477e01787aa58f445919b809d89e252beef54fTorne (Richard Coles)    default:
42f2477e01787aa58f445919b809d89e252beef54fTorne (Richard Coles)      ;
43f2477e01787aa58f445919b809d89e252beef54fTorne (Richard Coles)    }
445821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)    if (F.arg_size() >=1) {
455821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)      Argument &Arg = F.getArgumentList().front();
465821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)      switch (Arg.getType()->getTypeID()) {
475821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)        case Type::FloatTyID:
485821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)        case Type::DoubleTyID:
495821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)          return true;
505821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)        default:
512a99a7e74a7f215066514fe81d2bfa6639d9edddTorne (Richard Coles)          ;
525821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)      }
535821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)    }
545821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)    return false;
55a1401311d1ab56c4ed0a474bd38c108f75cb0cd9Torne (Richard Coles)  }
565821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)
575821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)  // Figure out if the function will need floating point operations
585821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)  //
595821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)  bool needsFP(Function &F) {
605821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)    if (needsFPFromSig(F))
615821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)      return true;
625821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)    for (Function::const_iterator BB = F.begin(), E = F.end(); BB != E; ++BB)
635821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)      for (BasicBlock::const_iterator I = BB->begin(), E = BB->end();
645821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)         I != E; ++I) {
655821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)        const Instruction &Inst = *I;
665821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)        switch (Inst.getOpcode()) {
675821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)        case Instruction::FAdd:
685821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)        case Instruction::FSub:
695821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)        case Instruction::FMul:
705821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)        case Instruction::FDiv:
715821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)        case Instruction::FRem:
725821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)        case Instruction::FPToUI:
735821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)        case Instruction::FPToSI:
745821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)        case Instruction::UIToFP:
755821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)        case Instruction::SIToFP:
765821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)        case Instruction::FPTrunc:
77a1401311d1ab56c4ed0a474bd38c108f75cb0cd9Torne (Richard Coles)        case Instruction::FPExt:
785821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)        case Instruction::FCmp:
795821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)          return true;
805821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)        default:
815821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)          ;
825821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)        }
835821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)        if (const CallInst *CI = dyn_cast<CallInst>(I)) {
84c2e0dbddbe15c98d52c4786dac06cb8952a8ae6dTorne (Richard Coles)          DEBUG(dbgs() << "Working on call" << "\n");
855821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)          Function &F_ =  *CI->getCalledFunction();
865821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)          if (needsFPFromSig(F_))
875821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)            return true;
882a99a7e74a7f215066514fe81d2bfa6639d9edddTorne (Richard Coles)        }
895821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)      }
905821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)    return false;
915821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)  }
922a99a7e74a7f215066514fe81d2bfa6639d9edddTorne (Richard Coles)}
932a99a7e74a7f215066514fe81d2bfa6639d9edddTorne (Richard Coles)namespace llvm {
945821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)
952a99a7e74a7f215066514fe81d2bfa6639d9edddTorne (Richard Coles)
965821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)bool MipsOs16::runOnModule(Module &M) {
97a1401311d1ab56c4ed0a474bd38c108f75cb0cd9Torne (Richard Coles)  bool usingMask = Mips32FunctionMask.length() > 0;
985821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)  bool doneUsingMask = false; // this will make it stop repeating
995821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)  DEBUG(dbgs() << "Run on Module MipsOs16 \n" << Mips32FunctionMask << "\n");
1005821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)  if (usingMask)
1015821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)    DEBUG(dbgs() << "using mask \n" << Mips32FunctionMask << "\n");
1022a99a7e74a7f215066514fe81d2bfa6639d9edddTorne (Richard Coles)  unsigned int functionIndex = 0;
1032a99a7e74a7f215066514fe81d2bfa6639d9edddTorne (Richard Coles)  bool modified = false;
1045821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)  for (Module::iterator F = M.begin(), E = M.end(); F != E; ++F) {
1055821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)    if (F->isDeclaration()) continue;
1065821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)    DEBUG(dbgs() << "Working on " << F->getName() << "\n");
1075821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)    if (usingMask) {
1085821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)      if (!doneUsingMask) {
1095821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)        if (functionIndex == Mips32FunctionMask.length())
1105821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)          functionIndex = 0;
1115821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)        switch (Mips32FunctionMask[functionIndex]) {
112eb525c5499e34cc9c4b825d6d9e75bb07cc06aceBen Murdoch        case '1':
113eb525c5499e34cc9c4b825d6d9e75bb07cc06aceBen Murdoch          DEBUG(dbgs() << "mask forced mips32: " << F->getName() << "\n");
1145821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)          F->addFnAttr("nomips16");
1155821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)          break;
1165821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)        case '.':
1175821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)          doneUsingMask = true;
1185821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)          break;
1195821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)        default:
1205821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)          break;
1215821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)        }
1225821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)        functionIndex++;
1235821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)      }
1245821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)    }
1255d1f7b1de12d16ceb2c938c56701a3e8bfa558f7Torne (Richard Coles)    else {
1265d1f7b1de12d16ceb2c938c56701a3e8bfa558f7Torne (Richard Coles)      if (needsFP(*F)) {
1275821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)        DEBUG(dbgs() << "os16 forced mips32: " << F->getName() << "\n");
1285d1f7b1de12d16ceb2c938c56701a3e8bfa558f7Torne (Richard Coles)        F->addFnAttr("nomips16");
1295d1f7b1de12d16ceb2c938c56701a3e8bfa558f7Torne (Richard Coles)      }
130d0247b1b59f9c528cb6df88b4f2b9afaf80d181eTorne (Richard Coles)      else {
131c2e0dbddbe15c98d52c4786dac06cb8952a8ae6dTorne (Richard Coles)        DEBUG(dbgs() << "os16 forced mips16: " << F->getName() << "\n");
132868fa2fe829687343ffae624259930155e16dbd8Torne (Richard Coles)        F->addFnAttr("mips16");
133868fa2fe829687343ffae624259930155e16dbd8Torne (Richard Coles)      }
134868fa2fe829687343ffae624259930155e16dbd8Torne (Richard Coles)    }
1355821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)  }
1362a99a7e74a7f215066514fe81d2bfa6639d9edddTorne (Richard Coles)  return modified;
1375821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)}
1385821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)
1395821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)char MipsOs16::ID = 0;
1405821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)
1415821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)}
1425821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)
1435821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)ModulePass *llvm::createMipsOs16(MipsTargetMachine &TM) {
1445821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)  return new MipsOs16;
1455821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)}
1465821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)
1472a99a7e74a7f215066514fe81d2bfa6639d9edddTorne (Richard Coles)
1485821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)