IntrinsicLowering.cpp revision 77b1330ece6ea40b3b7700fe13e2ca64bd494203
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"
19using namespace llvm;
20
21void 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_func_start:
56    if (CI->getType() != Type::VoidTy)
57      CI->replaceAllUsesWith(Constant::getNullValue(CI->getType()));
58    break;    // Simply strip out debugging intrinsics
59  }
60
61  assert(CI->use_empty() &&
62         "Lowering should have eliminated any uses of the intrinsic call!");
63  CI->getParent()->getInstList().erase(CI);
64}
65