IntrinsicLowering.cpp revision f907bac06887abf84fd7b46cd54f8d53ff0272c5 
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_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}
66