lib/VMCore/IntrinsicLowering.cpp

   1 //===-- IntrinsicLowering.cpp - Intrinsic Lowering default implementation -===//
   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 implements the default intrinsic lowering implementation.
  11 //
  12 //===----------------------------------------------------------------------===//
  13
  14 #include "llvm/IntrinsicLowering.h"
  15 #include "llvm/Constant.h"
  16 #include "llvm/Module.h"
  17 #include "llvm/Type.h"
  18 #include "llvm/iOther.h"
  19 using namespace llvm;
  20
  21 void DefaultIntrinsicLowering::LowerIntrinsicCall(CallInst *CI) {
  22   Function *Callee = CI->getCalledFunction();
  23   assert(Callee && "Cannot lower an indirect call!");
  24
  25   Module *M = Callee->getParent();
  26
  27   switch (Callee->getIntrinsicID()) {
  28   case Intrinsic::not_intrinsic:
  29     std::cerr << "Cannot lower a call to a non-intrinsic function '"
  30               << Callee->getName() << "'!\n";
  31     abort();
  32   default:
  33     std::cerr << "Error: Code generator does not support intrinsic function '"
  34               << Callee->getName() << "'!\n";
  35     abort();
  36
  37     // The default implementation of setjmp/longjmp transforms setjmp into a
  38     // noop that always returns zero and longjmp into a call to abort.  This
  39     // allows code that never longjmps to work correctly.
  40   case Intrinsic::setjmp:
  41   case Intrinsic::sigsetjmp:
  42     if (CI->getType() != Type::VoidTy)
  43       CI->replaceAllUsesWith(Constant::getNullValue(CI->getType()));
  44     break;
  45
  46   case Intrinsic::longjmp:
  47   case Intrinsic::siglongjmp:
  48     // Insert the call to abort
  49     new CallInst(M->getOrInsertFunction("abort", Type::VoidTy, 0), "", CI);
  50     break;
  51
  52   case Intrinsic::dbg_stoppoint:
  53   case Intrinsic::dbg_region_start:
  54   case Intrinsic::dbg_region_end:
  55   case Intrinsic::dbg_declare:
  56   case Intrinsic::dbg_func_start:
  57     if (CI->getType() != Type::VoidTy)
  58       CI->replaceAllUsesWith(Constant::getNullValue(CI->getType()));
  59     break;    // Simply strip out debugging intrinsics
  60   }
  61
  62   assert(CI->use_empty() &&
  63          "Lowering should have eliminated any uses of the intrinsic call!");
  64   CI->getParent()->getInstList().erase(CI);
  65 }