Chris Lattner | bcdadf3 | 2004-06-20 07:49:54 +0000 | [diff] [blame] | 1 | //===-- IntrinsicLowering.cpp - Intrinsic Lowering default implementation -===// |
Misha Brukman | 835702a | 2005-04-21 22:36:52 +0000 | [diff] [blame] | 2 | // |
Chandler Carruth | 2946cd7 | 2019-01-19 08:50:56 +0000 | [diff] [blame] | 3 | // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
| 4 | // See https://llvm.org/LICENSE.txt for license information. |
| 5 | // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
Misha Brukman | 835702a | 2005-04-21 22:36:52 +0000 | [diff] [blame] | 6 | // |
Chris Lattner | bcdadf3 | 2004-06-20 07:49:54 +0000 | [diff] [blame] | 7 | //===----------------------------------------------------------------------===// |
| 8 | // |
Chris Lattner | 2775aba | 2006-11-15 18:00:10 +0000 | [diff] [blame] | 9 | // This file implements the IntrinsicLowering class. |
Chris Lattner | bcdadf3 | 2004-06-20 07:49:54 +0000 | [diff] [blame] | 10 | // |
| 11 | //===----------------------------------------------------------------------===// |
| 12 | |
Chandler Carruth | aafe091 | 2012-06-29 12:38:19 +0000 | [diff] [blame] | 13 | #include "llvm/CodeGen/IntrinsicLowering.h" |
Chandler Carruth | ed0881b | 2012-12-03 16:50:05 +0000 | [diff] [blame] | 14 | #include "llvm/ADT/SmallVector.h" |
Chandler Carruth | 219b89b | 2014-03-04 11:01:28 +0000 | [diff] [blame] | 15 | #include "llvm/IR/CallSite.h" |
Chandler Carruth | 9fb823b | 2013-01-02 11:36:10 +0000 | [diff] [blame] | 16 | #include "llvm/IR/Constants.h" |
| 17 | #include "llvm/IR/DataLayout.h" |
| 18 | #include "llvm/IR/DerivedTypes.h" |
| 19 | #include "llvm/IR/IRBuilder.h" |
| 20 | #include "llvm/IR/Module.h" |
| 21 | #include "llvm/IR/Type.h" |
Torok Edwin | ccb29cd | 2009-07-11 13:10:19 +0000 | [diff] [blame] | 22 | #include "llvm/Support/ErrorHandling.h" |
Chris Lattner | 1362602 | 2009-08-23 06:03:38 +0000 | [diff] [blame] | 23 | #include "llvm/Support/raw_ostream.h" |
Chris Lattner | bcdadf3 | 2004-06-20 07:49:54 +0000 | [diff] [blame] | 24 | using namespace llvm; |
| 25 | |
Sanjay Patel | 76657f8 | 2017-12-15 18:34:45 +0000 | [diff] [blame] | 26 | /// This function is used when we want to lower an intrinsic call to a call of |
| 27 | /// an external function. This handles hard cases such as when there was already |
| 28 | /// a prototype for the external function, but that prototype doesn't match the |
| 29 | /// arguments we expect to pass in. |
Chris Lattner | bcdadf3 | 2004-06-20 07:49:54 +0000 | [diff] [blame] | 30 | template <class ArgIt> |
| 31 | static CallInst *ReplaceCallWith(const char *NewFn, CallInst *CI, |
Chris Lattner | 34acba4 | 2007-01-07 08:12:01 +0000 | [diff] [blame] | 32 | ArgIt ArgBegin, ArgIt ArgEnd, |
Chris Lattner | 229907c | 2011-07-18 04:54:35 +0000 | [diff] [blame] | 33 | Type *RetTy) { |
Owen Anderson | 4c472e1 | 2009-06-26 20:33:47 +0000 | [diff] [blame] | 34 | // If we haven't already looked up this function, check to see if the |
| 35 | // program already contains a function with this name. |
Sanjay Patel | af674fb | 2015-12-14 17:24:23 +0000 | [diff] [blame] | 36 | Module *M = CI->getModule(); |
Owen Anderson | 4c472e1 | 2009-06-26 20:33:47 +0000 | [diff] [blame] | 37 | // Get or insert the definition now. |
Jay Foad | b804a2b | 2011-07-12 14:06:48 +0000 | [diff] [blame] | 38 | std::vector<Type *> ParamTys; |
Owen Anderson | 4c472e1 | 2009-06-26 20:33:47 +0000 | [diff] [blame] | 39 | for (ArgIt I = ArgBegin; I != ArgEnd; ++I) |
| 40 | ParamTys.push_back((*I)->getType()); |
James Y Knight | 1368022 | 2019-02-01 02:28:03 +0000 | [diff] [blame] | 41 | FunctionCallee FCache = |
| 42 | M->getOrInsertFunction(NewFn, FunctionType::get(RetTy, ParamTys, false)); |
Chris Lattner | bcdadf3 | 2004-06-20 07:49:54 +0000 | [diff] [blame] | 43 | |
Duncan P. N. Exon Smith | 5ae5939 | 2015-10-09 19:13:58 +0000 | [diff] [blame] | 44 | IRBuilder<> Builder(CI->getParent(), CI->getIterator()); |
David Greene | 17a5dfe | 2007-08-01 03:43:44 +0000 | [diff] [blame] | 45 | SmallVector<Value *, 8> Args(ArgBegin, ArgEnd); |
Jay Foad | 5bd375a | 2011-07-15 08:37:34 +0000 | [diff] [blame] | 46 | CallInst *NewCI = Builder.CreateCall(FCache, Args); |
Jay Foad | 9a968a8 | 2009-05-12 20:27:44 +0000 | [diff] [blame] | 47 | NewCI->setName(CI->getName()); |
Chris Lattner | 34acba4 | 2007-01-07 08:12:01 +0000 | [diff] [blame] | 48 | if (!CI->use_empty()) |
| 49 | CI->replaceAllUsesWith(NewCI); |
Chris Lattner | bcdadf3 | 2004-06-20 07:49:54 +0000 | [diff] [blame] | 50 | return NewCI; |
| 51 | } |
| 52 | |
Douglas Gregor | 6739a89 | 2010-05-11 06:17:44 +0000 | [diff] [blame] | 53 | // VisualStudio defines setjmp as _setjmp |
Michael J. Spencer | ded5f66 | 2010-09-24 19:48:47 +0000 | [diff] [blame] | 54 | #if defined(_MSC_VER) && defined(setjmp) && \ |
| 55 | !defined(setjmp_undefined_for_msvc) |
| 56 | # pragma push_macro("setjmp") |
| 57 | # undef setjmp |
| 58 | # define setjmp_undefined_for_msvc |
Douglas Gregor | 6739a89 | 2010-05-11 06:17:44 +0000 | [diff] [blame] | 59 | #endif |
| 60 | |
Sanjay Patel | 76657f8 | 2017-12-15 18:34:45 +0000 | [diff] [blame] | 61 | /// Emit the code to lower bswap of V before the specified instruction IP. |
Owen Anderson | b6b2530 | 2009-07-14 23:09:55 +0000 | [diff] [blame] | 62 | static Value *LowerBSWAP(LLVMContext &Context, Value *V, Instruction *IP) { |
Serge Guelton | 2438686 | 2017-11-30 11:06:22 +0000 | [diff] [blame] | 63 | assert(V->getType()->isIntOrIntVectorTy() && "Can't bswap a non-integer type!"); |
Nate Begeman | 7d831fa | 2006-01-16 07:57:00 +0000 | [diff] [blame] | 64 | |
Serge Guelton | 2438686 | 2017-11-30 11:06:22 +0000 | [diff] [blame] | 65 | unsigned BitSize = V->getType()->getScalarSizeInBits(); |
Duncan P. N. Exon Smith | 5ae5939 | 2015-10-09 19:13:58 +0000 | [diff] [blame] | 66 | |
| 67 | IRBuilder<> Builder(IP); |
Jay Foad | 9a968a8 | 2009-05-12 20:27:44 +0000 | [diff] [blame] | 68 | |
Nate Begeman | 7d831fa | 2006-01-16 07:57:00 +0000 | [diff] [blame] | 69 | switch(BitSize) { |
Torok Edwin | fbcc663 | 2009-07-14 16:55:14 +0000 | [diff] [blame] | 70 | default: llvm_unreachable("Unhandled type size of value to byteswap!"); |
Nate Begeman | 7d831fa | 2006-01-16 07:57:00 +0000 | [diff] [blame] | 71 | case 16: { |
Owen Anderson | edb4a70 | 2009-07-24 23:12:02 +0000 | [diff] [blame] | 72 | Value *Tmp1 = Builder.CreateShl(V, ConstantInt::get(V->getType(), 8), |
Jay Foad | 9a968a8 | 2009-05-12 20:27:44 +0000 | [diff] [blame] | 73 | "bswap.2"); |
Owen Anderson | edb4a70 | 2009-07-24 23:12:02 +0000 | [diff] [blame] | 74 | Value *Tmp2 = Builder.CreateLShr(V, ConstantInt::get(V->getType(), 8), |
Jay Foad | 9a968a8 | 2009-05-12 20:27:44 +0000 | [diff] [blame] | 75 | "bswap.1"); |
| 76 | V = Builder.CreateOr(Tmp1, Tmp2, "bswap.i16"); |
Nate Begeman | 7d831fa | 2006-01-16 07:57:00 +0000 | [diff] [blame] | 77 | break; |
| 78 | } |
| 79 | case 32: { |
Owen Anderson | edb4a70 | 2009-07-24 23:12:02 +0000 | [diff] [blame] | 80 | Value *Tmp4 = Builder.CreateShl(V, ConstantInt::get(V->getType(), 24), |
Jay Foad | 9a968a8 | 2009-05-12 20:27:44 +0000 | [diff] [blame] | 81 | "bswap.4"); |
Owen Anderson | edb4a70 | 2009-07-24 23:12:02 +0000 | [diff] [blame] | 82 | Value *Tmp3 = Builder.CreateShl(V, ConstantInt::get(V->getType(), 8), |
Jay Foad | 9a968a8 | 2009-05-12 20:27:44 +0000 | [diff] [blame] | 83 | "bswap.3"); |
Owen Anderson | edb4a70 | 2009-07-24 23:12:02 +0000 | [diff] [blame] | 84 | Value *Tmp2 = Builder.CreateLShr(V, ConstantInt::get(V->getType(), 8), |
Jay Foad | 9a968a8 | 2009-05-12 20:27:44 +0000 | [diff] [blame] | 85 | "bswap.2"); |
Owen Anderson | edb4a70 | 2009-07-24 23:12:02 +0000 | [diff] [blame] | 86 | Value *Tmp1 = Builder.CreateLShr(V,ConstantInt::get(V->getType(), 24), |
Jay Foad | 9a968a8 | 2009-05-12 20:27:44 +0000 | [diff] [blame] | 87 | "bswap.1"); |
Owen Anderson | b6b2530 | 2009-07-14 23:09:55 +0000 | [diff] [blame] | 88 | Tmp3 = Builder.CreateAnd(Tmp3, |
Serge Guelton | 2438686 | 2017-11-30 11:06:22 +0000 | [diff] [blame] | 89 | ConstantInt::get(V->getType(), 0xFF0000), |
Jay Foad | 9a968a8 | 2009-05-12 20:27:44 +0000 | [diff] [blame] | 90 | "bswap.and3"); |
Owen Anderson | b6b2530 | 2009-07-14 23:09:55 +0000 | [diff] [blame] | 91 | Tmp2 = Builder.CreateAnd(Tmp2, |
Serge Guelton | 2438686 | 2017-11-30 11:06:22 +0000 | [diff] [blame] | 92 | ConstantInt::get(V->getType(), 0xFF00), |
Jay Foad | 9a968a8 | 2009-05-12 20:27:44 +0000 | [diff] [blame] | 93 | "bswap.and2"); |
| 94 | Tmp4 = Builder.CreateOr(Tmp4, Tmp3, "bswap.or1"); |
| 95 | Tmp2 = Builder.CreateOr(Tmp2, Tmp1, "bswap.or2"); |
| 96 | V = Builder.CreateOr(Tmp4, Tmp2, "bswap.i32"); |
Nate Begeman | 7d831fa | 2006-01-16 07:57:00 +0000 | [diff] [blame] | 97 | break; |
| 98 | } |
| 99 | case 64: { |
Owen Anderson | edb4a70 | 2009-07-24 23:12:02 +0000 | [diff] [blame] | 100 | Value *Tmp8 = Builder.CreateShl(V, ConstantInt::get(V->getType(), 56), |
Jay Foad | 9a968a8 | 2009-05-12 20:27:44 +0000 | [diff] [blame] | 101 | "bswap.8"); |
Owen Anderson | edb4a70 | 2009-07-24 23:12:02 +0000 | [diff] [blame] | 102 | Value *Tmp7 = Builder.CreateShl(V, ConstantInt::get(V->getType(), 40), |
Jay Foad | 9a968a8 | 2009-05-12 20:27:44 +0000 | [diff] [blame] | 103 | "bswap.7"); |
Owen Anderson | edb4a70 | 2009-07-24 23:12:02 +0000 | [diff] [blame] | 104 | Value *Tmp6 = Builder.CreateShl(V, ConstantInt::get(V->getType(), 24), |
Jay Foad | 9a968a8 | 2009-05-12 20:27:44 +0000 | [diff] [blame] | 105 | "bswap.6"); |
Owen Anderson | edb4a70 | 2009-07-24 23:12:02 +0000 | [diff] [blame] | 106 | Value *Tmp5 = Builder.CreateShl(V, ConstantInt::get(V->getType(), 8), |
Jay Foad | 9a968a8 | 2009-05-12 20:27:44 +0000 | [diff] [blame] | 107 | "bswap.5"); |
Owen Anderson | edb4a70 | 2009-07-24 23:12:02 +0000 | [diff] [blame] | 108 | Value* Tmp4 = Builder.CreateLShr(V, ConstantInt::get(V->getType(), 8), |
Jay Foad | 9a968a8 | 2009-05-12 20:27:44 +0000 | [diff] [blame] | 109 | "bswap.4"); |
Fangrui Song | f78650a | 2018-07-30 19:41:25 +0000 | [diff] [blame] | 110 | Value* Tmp3 = Builder.CreateLShr(V, |
Owen Anderson | edb4a70 | 2009-07-24 23:12:02 +0000 | [diff] [blame] | 111 | ConstantInt::get(V->getType(), 24), |
Jay Foad | 9a968a8 | 2009-05-12 20:27:44 +0000 | [diff] [blame] | 112 | "bswap.3"); |
Fangrui Song | f78650a | 2018-07-30 19:41:25 +0000 | [diff] [blame] | 113 | Value* Tmp2 = Builder.CreateLShr(V, |
Owen Anderson | edb4a70 | 2009-07-24 23:12:02 +0000 | [diff] [blame] | 114 | ConstantInt::get(V->getType(), 40), |
Jay Foad | 9a968a8 | 2009-05-12 20:27:44 +0000 | [diff] [blame] | 115 | "bswap.2"); |
Fangrui Song | f78650a | 2018-07-30 19:41:25 +0000 | [diff] [blame] | 116 | Value* Tmp1 = Builder.CreateLShr(V, |
Owen Anderson | edb4a70 | 2009-07-24 23:12:02 +0000 | [diff] [blame] | 117 | ConstantInt::get(V->getType(), 56), |
Jay Foad | 9a968a8 | 2009-05-12 20:27:44 +0000 | [diff] [blame] | 118 | "bswap.1"); |
| 119 | Tmp7 = Builder.CreateAnd(Tmp7, |
Serge Guelton | 2438686 | 2017-11-30 11:06:22 +0000 | [diff] [blame] | 120 | ConstantInt::get(V->getType(), |
Jay Foad | 9a968a8 | 2009-05-12 20:27:44 +0000 | [diff] [blame] | 121 | 0xFF000000000000ULL), |
| 122 | "bswap.and7"); |
| 123 | Tmp6 = Builder.CreateAnd(Tmp6, |
Serge Guelton | 2438686 | 2017-11-30 11:06:22 +0000 | [diff] [blame] | 124 | ConstantInt::get(V->getType(), |
Jay Foad | 9a968a8 | 2009-05-12 20:27:44 +0000 | [diff] [blame] | 125 | 0xFF0000000000ULL), |
| 126 | "bswap.and6"); |
| 127 | Tmp5 = Builder.CreateAnd(Tmp5, |
Serge Guelton | 2438686 | 2017-11-30 11:06:22 +0000 | [diff] [blame] | 128 | ConstantInt::get(V->getType(), |
Owen Anderson | 55f1c09 | 2009-08-13 21:58:54 +0000 | [diff] [blame] | 129 | 0xFF00000000ULL), |
Jay Foad | 9a968a8 | 2009-05-12 20:27:44 +0000 | [diff] [blame] | 130 | "bswap.and5"); |
| 131 | Tmp4 = Builder.CreateAnd(Tmp4, |
Serge Guelton | 2438686 | 2017-11-30 11:06:22 +0000 | [diff] [blame] | 132 | ConstantInt::get(V->getType(), |
Owen Anderson | 55f1c09 | 2009-08-13 21:58:54 +0000 | [diff] [blame] | 133 | 0xFF000000ULL), |
Jay Foad | 9a968a8 | 2009-05-12 20:27:44 +0000 | [diff] [blame] | 134 | "bswap.and4"); |
| 135 | Tmp3 = Builder.CreateAnd(Tmp3, |
Serge Guelton | 2438686 | 2017-11-30 11:06:22 +0000 | [diff] [blame] | 136 | ConstantInt::get(V->getType(), |
Owen Anderson | 55f1c09 | 2009-08-13 21:58:54 +0000 | [diff] [blame] | 137 | 0xFF0000ULL), |
Jay Foad | 9a968a8 | 2009-05-12 20:27:44 +0000 | [diff] [blame] | 138 | "bswap.and3"); |
| 139 | Tmp2 = Builder.CreateAnd(Tmp2, |
Serge Guelton | 2438686 | 2017-11-30 11:06:22 +0000 | [diff] [blame] | 140 | ConstantInt::get(V->getType(), |
Owen Anderson | 55f1c09 | 2009-08-13 21:58:54 +0000 | [diff] [blame] | 141 | 0xFF00ULL), |
Jay Foad | 9a968a8 | 2009-05-12 20:27:44 +0000 | [diff] [blame] | 142 | "bswap.and2"); |
| 143 | Tmp8 = Builder.CreateOr(Tmp8, Tmp7, "bswap.or1"); |
| 144 | Tmp6 = Builder.CreateOr(Tmp6, Tmp5, "bswap.or2"); |
| 145 | Tmp4 = Builder.CreateOr(Tmp4, Tmp3, "bswap.or3"); |
| 146 | Tmp2 = Builder.CreateOr(Tmp2, Tmp1, "bswap.or4"); |
| 147 | Tmp8 = Builder.CreateOr(Tmp8, Tmp6, "bswap.or5"); |
| 148 | Tmp4 = Builder.CreateOr(Tmp4, Tmp2, "bswap.or6"); |
| 149 | V = Builder.CreateOr(Tmp8, Tmp4, "bswap.i64"); |
Nate Begeman | 7d831fa | 2006-01-16 07:57:00 +0000 | [diff] [blame] | 150 | break; |
| 151 | } |
| 152 | } |
Nate Begeman | 7d831fa | 2006-01-16 07:57:00 +0000 | [diff] [blame] | 153 | return V; |
| 154 | } |
| 155 | |
Sanjay Patel | 76657f8 | 2017-12-15 18:34:45 +0000 | [diff] [blame] | 156 | /// Emit the code to lower ctpop of V before the specified instruction IP. |
Owen Anderson | b6b2530 | 2009-07-14 23:09:55 +0000 | [diff] [blame] | 157 | static Value *LowerCTPOP(LLVMContext &Context, Value *V, Instruction *IP) { |
Duncan Sands | 9dff9be | 2010-02-15 16:12:20 +0000 | [diff] [blame] | 158 | assert(V->getType()->isIntegerTy() && "Can't ctpop a non-integer type!"); |
Chris Lattner | 9ec975a | 2005-05-11 19:42:05 +0000 | [diff] [blame] | 159 | |
| 160 | static const uint64_t MaskValues[6] = { |
| 161 | 0x5555555555555555ULL, 0x3333333333333333ULL, |
| 162 | 0x0F0F0F0F0F0F0F0FULL, 0x00FF00FF00FF00FFULL, |
| 163 | 0x0000FFFF0000FFFFULL, 0x00000000FFFFFFFFULL |
| 164 | }; |
| 165 | |
Duncan P. N. Exon Smith | 5ae5939 | 2015-10-09 19:13:58 +0000 | [diff] [blame] | 166 | IRBuilder<> Builder(IP); |
Jay Foad | 9a968a8 | 2009-05-12 20:27:44 +0000 | [diff] [blame] | 167 | |
Chris Lattner | 991ce36 | 2005-05-11 20:24:12 +0000 | [diff] [blame] | 168 | unsigned BitSize = V->getType()->getPrimitiveSizeInBits(); |
Zhou Sheng | 0a0ae93 | 2007-06-02 04:10:33 +0000 | [diff] [blame] | 169 | unsigned WordSize = (BitSize + 63) / 64; |
Owen Anderson | edb4a70 | 2009-07-24 23:12:02 +0000 | [diff] [blame] | 170 | Value *Count = ConstantInt::get(V->getType(), 0); |
Reid Spencer | fdff938 | 2006-11-08 06:47:33 +0000 | [diff] [blame] | 171 | |
Zhou Sheng | 0a0ae93 | 2007-06-02 04:10:33 +0000 | [diff] [blame] | 172 | for (unsigned n = 0; n < WordSize; ++n) { |
| 173 | Value *PartValue = V; |
Fangrui Song | f78650a | 2018-07-30 19:41:25 +0000 | [diff] [blame] | 174 | for (unsigned i = 1, ct = 0; i < (BitSize>64 ? 64 : BitSize); |
Zhou Sheng | 0a0ae93 | 2007-06-02 04:10:33 +0000 | [diff] [blame] | 175 | i <<= 1, ++ct) { |
Owen Anderson | edb4a70 | 2009-07-24 23:12:02 +0000 | [diff] [blame] | 176 | Value *MaskCst = ConstantInt::get(V->getType(), MaskValues[ct]); |
Jay Foad | 9a968a8 | 2009-05-12 20:27:44 +0000 | [diff] [blame] | 177 | Value *LHS = Builder.CreateAnd(PartValue, MaskCst, "cppop.and1"); |
| 178 | Value *VShift = Builder.CreateLShr(PartValue, |
Owen Anderson | edb4a70 | 2009-07-24 23:12:02 +0000 | [diff] [blame] | 179 | ConstantInt::get(V->getType(), i), |
Jay Foad | 9a968a8 | 2009-05-12 20:27:44 +0000 | [diff] [blame] | 180 | "ctpop.sh"); |
| 181 | Value *RHS = Builder.CreateAnd(VShift, MaskCst, "cppop.and2"); |
| 182 | PartValue = Builder.CreateAdd(LHS, RHS, "ctpop.step"); |
Zhou Sheng | 0a0ae93 | 2007-06-02 04:10:33 +0000 | [diff] [blame] | 183 | } |
Jay Foad | 9a968a8 | 2009-05-12 20:27:44 +0000 | [diff] [blame] | 184 | Count = Builder.CreateAdd(PartValue, Count, "ctpop.part"); |
Zhou Sheng | 0a0ae93 | 2007-06-02 04:10:33 +0000 | [diff] [blame] | 185 | if (BitSize > 64) { |
Owen Anderson | edb4a70 | 2009-07-24 23:12:02 +0000 | [diff] [blame] | 186 | V = Builder.CreateLShr(V, ConstantInt::get(V->getType(), 64), |
Jay Foad | 9a968a8 | 2009-05-12 20:27:44 +0000 | [diff] [blame] | 187 | "ctpop.part.sh"); |
Zhou Sheng | 0a0ae93 | 2007-06-02 04:10:33 +0000 | [diff] [blame] | 188 | BitSize -= 64; |
| 189 | } |
Chris Lattner | 9ec975a | 2005-05-11 19:42:05 +0000 | [diff] [blame] | 190 | } |
| 191 | |
Chris Lattner | 079ebcf | 2007-08-06 16:36:18 +0000 | [diff] [blame] | 192 | return Count; |
Chris Lattner | 9ec975a | 2005-05-11 19:42:05 +0000 | [diff] [blame] | 193 | } |
| 194 | |
Sanjay Patel | 76657f8 | 2017-12-15 18:34:45 +0000 | [diff] [blame] | 195 | /// Emit the code to lower ctlz of V before the specified instruction IP. |
Owen Anderson | b6b2530 | 2009-07-14 23:09:55 +0000 | [diff] [blame] | 196 | static Value *LowerCTLZ(LLVMContext &Context, Value *V, Instruction *IP) { |
Chris Lattner | 991ce36 | 2005-05-11 20:24:12 +0000 | [diff] [blame] | 197 | |
Duncan P. N. Exon Smith | 5ae5939 | 2015-10-09 19:13:58 +0000 | [diff] [blame] | 198 | IRBuilder<> Builder(IP); |
Jay Foad | 9a968a8 | 2009-05-12 20:27:44 +0000 | [diff] [blame] | 199 | |
Chris Lattner | 991ce36 | 2005-05-11 20:24:12 +0000 | [diff] [blame] | 200 | unsigned BitSize = V->getType()->getPrimitiveSizeInBits(); |
Zhou Sheng | 0a0ae93 | 2007-06-02 04:10:33 +0000 | [diff] [blame] | 201 | for (unsigned i = 1; i < BitSize; i <<= 1) { |
Owen Anderson | edb4a70 | 2009-07-24 23:12:02 +0000 | [diff] [blame] | 202 | Value *ShVal = ConstantInt::get(V->getType(), i); |
Jay Foad | 9a968a8 | 2009-05-12 20:27:44 +0000 | [diff] [blame] | 203 | ShVal = Builder.CreateLShr(V, ShVal, "ctlz.sh"); |
| 204 | V = Builder.CreateOr(V, ShVal, "ctlz.step"); |
Chris Lattner | 991ce36 | 2005-05-11 20:24:12 +0000 | [diff] [blame] | 205 | } |
| 206 | |
Jay Foad | 9a968a8 | 2009-05-12 20:27:44 +0000 | [diff] [blame] | 207 | V = Builder.CreateNot(V); |
Owen Anderson | b6b2530 | 2009-07-14 23:09:55 +0000 | [diff] [blame] | 208 | return LowerCTPOP(Context, V, IP); |
Chris Lattner | 991ce36 | 2005-05-11 20:24:12 +0000 | [diff] [blame] | 209 | } |
| 210 | |
Owen Anderson | 4c472e1 | 2009-06-26 20:33:47 +0000 | [diff] [blame] | 211 | static void ReplaceFPIntrinsicWithCall(CallInst *CI, const char *Fname, |
| 212 | const char *Dname, |
Dale Johannesen | f1acc4d | 2008-09-22 20:51:30 +0000 | [diff] [blame] | 213 | const char *LDname) { |
Gabor Greif | ed9ae7b | 2010-06-25 09:03:52 +0000 | [diff] [blame] | 214 | CallSite CS(CI); |
| 215 | switch (CI->getArgOperand(0)->getType()->getTypeID()) { |
Torok Edwin | fbcc663 | 2009-07-14 16:55:14 +0000 | [diff] [blame] | 216 | default: llvm_unreachable("Invalid type in intrinsic"); |
Dale Johannesen | f1acc4d | 2008-09-22 20:51:30 +0000 | [diff] [blame] | 217 | case Type::FloatTyID: |
Gabor Greif | ed9ae7b | 2010-06-25 09:03:52 +0000 | [diff] [blame] | 218 | ReplaceCallWith(Fname, CI, CS.arg_begin(), CS.arg_end(), |
Owen Anderson | 55f1c09 | 2009-08-13 21:58:54 +0000 | [diff] [blame] | 219 | Type::getFloatTy(CI->getContext())); |
Dale Johannesen | f1acc4d | 2008-09-22 20:51:30 +0000 | [diff] [blame] | 220 | break; |
| 221 | case Type::DoubleTyID: |
Gabor Greif | ed9ae7b | 2010-06-25 09:03:52 +0000 | [diff] [blame] | 222 | ReplaceCallWith(Dname, CI, CS.arg_begin(), CS.arg_end(), |
Owen Anderson | 55f1c09 | 2009-08-13 21:58:54 +0000 | [diff] [blame] | 223 | Type::getDoubleTy(CI->getContext())); |
Dale Johannesen | f1acc4d | 2008-09-22 20:51:30 +0000 | [diff] [blame] | 224 | break; |
| 225 | case Type::X86_FP80TyID: |
| 226 | case Type::FP128TyID: |
| 227 | case Type::PPC_FP128TyID: |
Gabor Greif | ed9ae7b | 2010-06-25 09:03:52 +0000 | [diff] [blame] | 228 | ReplaceCallWith(LDname, CI, CS.arg_begin(), CS.arg_end(), |
| 229 | CI->getArgOperand(0)->getType()); |
Dale Johannesen | f1acc4d | 2008-09-22 20:51:30 +0000 | [diff] [blame] | 230 | break; |
| 231 | } |
| 232 | } |
Reid Spencer | cce90f5 | 2007-04-04 23:48:25 +0000 | [diff] [blame] | 233 | |
Chris Lattner | 2775aba | 2006-11-15 18:00:10 +0000 | [diff] [blame] | 234 | void IntrinsicLowering::LowerIntrinsicCall(CallInst *CI) { |
Duncan P. N. Exon Smith | 5ae5939 | 2015-10-09 19:13:58 +0000 | [diff] [blame] | 235 | IRBuilder<> Builder(CI); |
Owen Anderson | 47db941 | 2009-07-22 00:24:57 +0000 | [diff] [blame] | 236 | LLVMContext &Context = CI->getContext(); |
Jay Foad | 9a968a8 | 2009-05-12 20:27:44 +0000 | [diff] [blame] | 237 | |
Dan Gohman | bcaf681 | 2010-04-15 01:51:59 +0000 | [diff] [blame] | 238 | const Function *Callee = CI->getCalledFunction(); |
Chris Lattner | bcdadf3 | 2004-06-20 07:49:54 +0000 | [diff] [blame] | 239 | assert(Callee && "Cannot lower an indirect call!"); |
Misha Brukman | 835702a | 2005-04-21 22:36:52 +0000 | [diff] [blame] | 240 | |
Gabor Greif | ed9ae7b | 2010-06-25 09:03:52 +0000 | [diff] [blame] | 241 | CallSite CS(CI); |
Chris Lattner | bcdadf3 | 2004-06-20 07:49:54 +0000 | [diff] [blame] | 242 | switch (Callee->getIntrinsicID()) { |
| 243 | case Intrinsic::not_intrinsic: |
Chris Lattner | 2104b8d | 2010-04-07 22:58:41 +0000 | [diff] [blame] | 244 | report_fatal_error("Cannot lower a call to a non-intrinsic function '"+ |
Torok Edwin | ccb29cd | 2009-07-11 13:10:19 +0000 | [diff] [blame] | 245 | Callee->getName() + "'!"); |
Chris Lattner | bcdadf3 | 2004-06-20 07:49:54 +0000 | [diff] [blame] | 246 | default: |
Chris Lattner | 2104b8d | 2010-04-07 22:58:41 +0000 | [diff] [blame] | 247 | report_fatal_error("Code generator does not support intrinsic function '"+ |
Torok Edwin | ccb29cd | 2009-07-11 13:10:19 +0000 | [diff] [blame] | 248 | Callee->getName()+"'!"); |
Chris Lattner | bcdadf3 | 2004-06-20 07:49:54 +0000 | [diff] [blame] | 249 | |
Jakub Staszak | 3f158fd | 2011-07-06 18:22:43 +0000 | [diff] [blame] | 250 | case Intrinsic::expect: { |
| 251 | // Just replace __builtin_expect(exp, c) with EXP. |
| 252 | Value *V = CI->getArgOperand(0); |
| 253 | CI->replaceAllUsesWith(V); |
| 254 | break; |
| 255 | } |
| 256 | |
Chris Lattner | bcdadf3 | 2004-06-20 07:49:54 +0000 | [diff] [blame] | 257 | // The setjmp/longjmp intrinsics should only exist in the code if it was |
| 258 | // never optimized (ie, right out of the CFE), or if it has been hacked on |
| 259 | // by the lowerinvoke pass. In both cases, the right thing to do is to |
| 260 | // convert the call to an explicit setjmp or longjmp call. |
| 261 | case Intrinsic::setjmp: { |
Gabor Greif | ed9ae7b | 2010-06-25 09:03:52 +0000 | [diff] [blame] | 262 | Value *V = ReplaceCallWith("setjmp", CI, CS.arg_begin(), CS.arg_end(), |
Owen Anderson | 55f1c09 | 2009-08-13 21:58:54 +0000 | [diff] [blame] | 263 | Type::getInt32Ty(Context)); |
Benjamin Kramer | ccce8ba | 2010-01-05 13:12:22 +0000 | [diff] [blame] | 264 | if (!CI->getType()->isVoidTy()) |
Chris Lattner | bcdadf3 | 2004-06-20 07:49:54 +0000 | [diff] [blame] | 265 | CI->replaceAllUsesWith(V); |
| 266 | break; |
| 267 | } |
Misha Brukman | 835702a | 2005-04-21 22:36:52 +0000 | [diff] [blame] | 268 | case Intrinsic::sigsetjmp: |
Benjamin Kramer | ccce8ba | 2010-01-05 13:12:22 +0000 | [diff] [blame] | 269 | if (!CI->getType()->isVoidTy()) |
Owen Anderson | 5a1acd9 | 2009-07-31 20:28:14 +0000 | [diff] [blame] | 270 | CI->replaceAllUsesWith(Constant::getNullValue(CI->getType())); |
Chris Lattner | bcdadf3 | 2004-06-20 07:49:54 +0000 | [diff] [blame] | 271 | break; |
| 272 | |
| 273 | case Intrinsic::longjmp: { |
Gabor Greif | ed9ae7b | 2010-06-25 09:03:52 +0000 | [diff] [blame] | 274 | ReplaceCallWith("longjmp", CI, CS.arg_begin(), CS.arg_end(), |
Owen Anderson | 55f1c09 | 2009-08-13 21:58:54 +0000 | [diff] [blame] | 275 | Type::getVoidTy(Context)); |
Chris Lattner | bcdadf3 | 2004-06-20 07:49:54 +0000 | [diff] [blame] | 276 | break; |
| 277 | } |
| 278 | |
| 279 | case Intrinsic::siglongjmp: { |
| 280 | // Insert the call to abort |
Fangrui Song | f78650a | 2018-07-30 19:41:25 +0000 | [diff] [blame] | 281 | ReplaceCallWith("abort", CI, CS.arg_end(), CS.arg_end(), |
Owen Anderson | 55f1c09 | 2009-08-13 21:58:54 +0000 | [diff] [blame] | 282 | Type::getVoidTy(Context)); |
Chris Lattner | bcdadf3 | 2004-06-20 07:49:54 +0000 | [diff] [blame] | 283 | break; |
| 284 | } |
Reid Spencer | 6bba6c8 | 2007-04-01 07:35:23 +0000 | [diff] [blame] | 285 | case Intrinsic::ctpop: |
Gabor Greif | ed9ae7b | 2010-06-25 09:03:52 +0000 | [diff] [blame] | 286 | CI->replaceAllUsesWith(LowerCTPOP(Context, CI->getArgOperand(0), CI)); |
Reid Spencer | b4f9a6f | 2006-01-16 21:12:35 +0000 | [diff] [blame] | 287 | break; |
| 288 | |
Reid Spencer | 6bba6c8 | 2007-04-01 07:35:23 +0000 | [diff] [blame] | 289 | case Intrinsic::bswap: |
Gabor Greif | ed9ae7b | 2010-06-25 09:03:52 +0000 | [diff] [blame] | 290 | CI->replaceAllUsesWith(LowerBSWAP(Context, CI->getArgOperand(0), CI)); |
Nate Begeman | 7d831fa | 2006-01-16 07:57:00 +0000 | [diff] [blame] | 291 | break; |
Fangrui Song | f78650a | 2018-07-30 19:41:25 +0000 | [diff] [blame] | 292 | |
Reid Spencer | 6bba6c8 | 2007-04-01 07:35:23 +0000 | [diff] [blame] | 293 | case Intrinsic::ctlz: |
Gabor Greif | ed9ae7b | 2010-06-25 09:03:52 +0000 | [diff] [blame] | 294 | CI->replaceAllUsesWith(LowerCTLZ(Context, CI->getArgOperand(0), CI)); |
Andrew Lenharth | 5e17782 | 2005-05-03 17:19:30 +0000 | [diff] [blame] | 295 | break; |
Nate Begeman | 7d831fa | 2006-01-16 07:57:00 +0000 | [diff] [blame] | 296 | |
Reid Spencer | 6bba6c8 | 2007-04-01 07:35:23 +0000 | [diff] [blame] | 297 | case Intrinsic::cttz: { |
Chris Lattner | fe5759b | 2005-05-11 20:02:14 +0000 | [diff] [blame] | 298 | // cttz(x) -> ctpop(~X & (X-1)) |
Gabor Greif | ed9ae7b | 2010-06-25 09:03:52 +0000 | [diff] [blame] | 299 | Value *Src = CI->getArgOperand(0); |
Jay Foad | 9a968a8 | 2009-05-12 20:27:44 +0000 | [diff] [blame] | 300 | Value *NotSrc = Builder.CreateNot(Src); |
| 301 | NotSrc->setName(Src->getName() + ".not"); |
Owen Anderson | edb4a70 | 2009-07-24 23:12:02 +0000 | [diff] [blame] | 302 | Value *SrcM1 = ConstantInt::get(Src->getType(), 1); |
Jay Foad | 9a968a8 | 2009-05-12 20:27:44 +0000 | [diff] [blame] | 303 | SrcM1 = Builder.CreateSub(Src, SrcM1); |
Owen Anderson | 47db941 | 2009-07-22 00:24:57 +0000 | [diff] [blame] | 304 | Src = LowerCTPOP(Context, Builder.CreateAnd(NotSrc, SrcM1), CI); |
Andrew Lenharth | 5e17782 | 2005-05-03 17:19:30 +0000 | [diff] [blame] | 305 | CI->replaceAllUsesWith(Src); |
| 306 | break; |
| 307 | } |
Chris Lattner | bcdadf3 | 2004-06-20 07:49:54 +0000 | [diff] [blame] | 308 | |
Chris Lattner | 3b2b0af | 2006-01-13 02:22:08 +0000 | [diff] [blame] | 309 | case Intrinsic::stacksave: |
Bob Wilson | bfb44ef | 2013-02-08 21:48:29 +0000 | [diff] [blame] | 310 | case Intrinsic::stackrestore: { |
Chris Lattner | 3b2b0af | 2006-01-13 02:22:08 +0000 | [diff] [blame] | 311 | if (!Warned) |
Bob Wilson | bfb44ef | 2013-02-08 21:48:29 +0000 | [diff] [blame] | 312 | errs() << "WARNING: this target does not support the llvm.stack" |
| 313 | << (Callee->getIntrinsicID() == Intrinsic::stacksave ? |
| 314 | "save" : "restore") << " intrinsic.\n"; |
Chris Lattner | 3b2b0af | 2006-01-13 02:22:08 +0000 | [diff] [blame] | 315 | Warned = true; |
Bob Wilson | bfb44ef | 2013-02-08 21:48:29 +0000 | [diff] [blame] | 316 | if (Callee->getIntrinsicID() == Intrinsic::stacksave) |
| 317 | CI->replaceAllUsesWith(Constant::getNullValue(CI->getType())); |
Chris Lattner | 3b2b0af | 2006-01-13 02:22:08 +0000 | [diff] [blame] | 318 | break; |
Bob Wilson | bfb44ef | 2013-02-08 21:48:29 +0000 | [diff] [blame] | 319 | } |
Fangrui Song | f78650a | 2018-07-30 19:41:25 +0000 | [diff] [blame] | 320 | |
Yury Gribov | d7dbb66 | 2015-12-01 11:40:55 +0000 | [diff] [blame] | 321 | case Intrinsic::get_dynamic_area_offset: |
| 322 | errs() << "WARNING: this target does not support the custom llvm.get." |
| 323 | "dynamic.area.offset. It is being lowered to a constant 0\n"; |
| 324 | // Just lower it to a constant 0 because for most targets |
| 325 | // @llvm.get.dynamic.area.offset is lowered to zero. |
| 326 | CI->replaceAllUsesWith(ConstantInt::get(CI->getType(), 0)); |
| 327 | break; |
Chris Lattner | bcdadf3 | 2004-06-20 07:49:54 +0000 | [diff] [blame] | 328 | case Intrinsic::returnaddress: |
| 329 | case Intrinsic::frameaddress: |
Bob Wilson | bfb44ef | 2013-02-08 21:48:29 +0000 | [diff] [blame] | 330 | errs() << "WARNING: this target does not support the llvm." |
| 331 | << (Callee->getIntrinsicID() == Intrinsic::returnaddress ? |
| 332 | "return" : "frame") << "address intrinsic.\n"; |
Albert Gutowski | 795d7d6 | 2016-10-12 22:13:19 +0000 | [diff] [blame] | 333 | CI->replaceAllUsesWith( |
| 334 | ConstantPointerNull::get(cast<PointerType>(CI->getType()))); |
| 335 | break; |
| 336 | case Intrinsic::addressofreturnaddress: |
| 337 | errs() << "WARNING: this target does not support the " |
| 338 | "llvm.addressofreturnaddress intrinsic.\n"; |
| 339 | CI->replaceAllUsesWith( |
| 340 | ConstantPointerNull::get(cast<PointerType>(CI->getType()))); |
Chris Lattner | bcdadf3 | 2004-06-20 07:49:54 +0000 | [diff] [blame] | 341 | break; |
| 342 | |
Chris Lattner | c87e03a | 2005-02-28 19:27:23 +0000 | [diff] [blame] | 343 | case Intrinsic::prefetch: |
| 344 | break; // Simply strip out prefetches on unsupported architectures |
| 345 | |
Andrew Lenharth | b442791 | 2005-03-28 20:05:49 +0000 | [diff] [blame] | 346 | case Intrinsic::pcmarker: |
| 347 | break; // Simply strip out pcmarker on unsupported architectures |
Bob Wilson | bfb44ef | 2013-02-08 21:48:29 +0000 | [diff] [blame] | 348 | case Intrinsic::readcyclecounter: { |
| 349 | errs() << "WARNING: this target does not support the llvm.readcyclecoun" |
| 350 | << "ter intrinsic. It is being lowered to a constant 0\n"; |
Owen Anderson | 55f1c09 | 2009-08-13 21:58:54 +0000 | [diff] [blame] | 351 | CI->replaceAllUsesWith(ConstantInt::get(Type::getInt64Ty(Context), 0)); |
Andrew Lenharth | 01aa563 | 2005-11-11 16:47:30 +0000 | [diff] [blame] | 352 | break; |
Bob Wilson | bfb44ef | 2013-02-08 21:48:29 +0000 | [diff] [blame] | 353 | } |
Andrew Lenharth | b442791 | 2005-03-28 20:05:49 +0000 | [diff] [blame] | 354 | |
Jim Laskey | a8bdac8 | 2006-03-23 18:06:46 +0000 | [diff] [blame] | 355 | case Intrinsic::dbg_declare: |
Shiva Chen | 2c86455 | 2018-05-09 02:40:45 +0000 | [diff] [blame] | 356 | case Intrinsic::dbg_label: |
Duncan Sands | 9d97420 | 2007-07-06 14:46:23 +0000 | [diff] [blame] | 357 | break; // Simply strip out debugging intrinsics |
| 358 | |
Duncan Sands | 8e6ccb6 | 2009-10-14 16:11:37 +0000 | [diff] [blame] | 359 | case Intrinsic::eh_typeid_for: |
Duncan Sands | 9d97420 | 2007-07-06 14:46:23 +0000 | [diff] [blame] | 360 | // Return something different to eh_selector. |
Owen Anderson | edb4a70 | 2009-07-24 23:12:02 +0000 | [diff] [blame] | 361 | CI->replaceAllUsesWith(ConstantInt::get(CI->getType(), 1)); |
Duncan Sands | 9d97420 | 2007-07-06 14:46:23 +0000 | [diff] [blame] | 362 | break; |
Chris Lattner | bcdadf3 | 2004-06-20 07:49:54 +0000 | [diff] [blame] | 363 | |
Justin Holewinski | fff1f5f | 2013-05-21 14:37:16 +0000 | [diff] [blame] | 364 | case Intrinsic::annotation: |
| 365 | case Intrinsic::ptr_annotation: |
| 366 | // Just drop the annotation, but forward the value |
| 367 | CI->replaceAllUsesWith(CI->getOperand(0)); |
| 368 | break; |
| 369 | |
Hal Finkel | 9304691 | 2014-07-25 21:13:35 +0000 | [diff] [blame] | 370 | case Intrinsic::assume: |
Tanya Lattner | e199f97 | 2007-06-15 22:26:58 +0000 | [diff] [blame] | 371 | case Intrinsic::var_annotation: |
Hal Finkel | 9304691 | 2014-07-25 21:13:35 +0000 | [diff] [blame] | 372 | break; // Strip out these intrinsics |
Fangrui Song | f78650a | 2018-07-30 19:41:25 +0000 | [diff] [blame] | 373 | |
Chris Lattner | dd70834 | 2008-11-21 16:42:48 +0000 | [diff] [blame] | 374 | case Intrinsic::memcpy: { |
Rafael Espindola | 7c68beb | 2014-02-18 15:33:12 +0000 | [diff] [blame] | 375 | Type *IntPtr = DL.getIntPtrType(Context); |
Gabor Greif | ed9ae7b | 2010-06-25 09:03:52 +0000 | [diff] [blame] | 376 | Value *Size = Builder.CreateIntCast(CI->getArgOperand(2), IntPtr, |
Jay Foad | 9a968a8 | 2009-05-12 20:27:44 +0000 | [diff] [blame] | 377 | /* isSigned */ false); |
Chris Lattner | dc0a9a7 | 2007-02-06 19:06:38 +0000 | [diff] [blame] | 378 | Value *Ops[3]; |
Gabor Greif | ed9ae7b | 2010-06-25 09:03:52 +0000 | [diff] [blame] | 379 | Ops[0] = CI->getArgOperand(0); |
| 380 | Ops[1] = CI->getArgOperand(1); |
Chris Lattner | dc0a9a7 | 2007-02-06 19:06:38 +0000 | [diff] [blame] | 381 | Ops[2] = Size; |
Gabor Greif | ed9ae7b | 2010-06-25 09:03:52 +0000 | [diff] [blame] | 382 | ReplaceCallWith("memcpy", CI, Ops, Ops+3, CI->getArgOperand(0)->getType()); |
Reid Spencer | 6c38f0b | 2006-11-27 01:05:10 +0000 | [diff] [blame] | 383 | break; |
| 384 | } |
Chris Lattner | dd70834 | 2008-11-21 16:42:48 +0000 | [diff] [blame] | 385 | case Intrinsic::memmove: { |
Rafael Espindola | 7c68beb | 2014-02-18 15:33:12 +0000 | [diff] [blame] | 386 | Type *IntPtr = DL.getIntPtrType(Context); |
Gabor Greif | ed9ae7b | 2010-06-25 09:03:52 +0000 | [diff] [blame] | 387 | Value *Size = Builder.CreateIntCast(CI->getArgOperand(2), IntPtr, |
Jay Foad | 9a968a8 | 2009-05-12 20:27:44 +0000 | [diff] [blame] | 388 | /* isSigned */ false); |
Chris Lattner | dc0a9a7 | 2007-02-06 19:06:38 +0000 | [diff] [blame] | 389 | Value *Ops[3]; |
Gabor Greif | ed9ae7b | 2010-06-25 09:03:52 +0000 | [diff] [blame] | 390 | Ops[0] = CI->getArgOperand(0); |
| 391 | Ops[1] = CI->getArgOperand(1); |
Chris Lattner | dc0a9a7 | 2007-02-06 19:06:38 +0000 | [diff] [blame] | 392 | Ops[2] = Size; |
Gabor Greif | ed9ae7b | 2010-06-25 09:03:52 +0000 | [diff] [blame] | 393 | ReplaceCallWith("memmove", CI, Ops, Ops+3, CI->getArgOperand(0)->getType()); |
Chris Lattner | bcdadf3 | 2004-06-20 07:49:54 +0000 | [diff] [blame] | 394 | break; |
| 395 | } |
Chris Lattner | dd70834 | 2008-11-21 16:42:48 +0000 | [diff] [blame] | 396 | case Intrinsic::memset: { |
Matt Arsenault | c900303 | 2013-11-10 04:46:57 +0000 | [diff] [blame] | 397 | Value *Op0 = CI->getArgOperand(0); |
Rafael Espindola | 7c68beb | 2014-02-18 15:33:12 +0000 | [diff] [blame] | 398 | Type *IntPtr = DL.getIntPtrType(Op0->getType()); |
Gabor Greif | ed9ae7b | 2010-06-25 09:03:52 +0000 | [diff] [blame] | 399 | Value *Size = Builder.CreateIntCast(CI->getArgOperand(2), IntPtr, |
Jay Foad | 9a968a8 | 2009-05-12 20:27:44 +0000 | [diff] [blame] | 400 | /* isSigned */ false); |
Chris Lattner | dc0a9a7 | 2007-02-06 19:06:38 +0000 | [diff] [blame] | 401 | Value *Ops[3]; |
Matt Arsenault | c900303 | 2013-11-10 04:46:57 +0000 | [diff] [blame] | 402 | Ops[0] = Op0; |
Chris Lattner | dc0a9a7 | 2007-02-06 19:06:38 +0000 | [diff] [blame] | 403 | // Extend the amount to i32. |
Gabor Greif | 3e44ea1 | 2010-07-22 10:37:47 +0000 | [diff] [blame] | 404 | Ops[1] = Builder.CreateIntCast(CI->getArgOperand(1), |
| 405 | Type::getInt32Ty(Context), |
Jay Foad | 9a968a8 | 2009-05-12 20:27:44 +0000 | [diff] [blame] | 406 | /* isSigned */ false); |
Chris Lattner | dc0a9a7 | 2007-02-06 19:06:38 +0000 | [diff] [blame] | 407 | Ops[2] = Size; |
Gabor Greif | ed9ae7b | 2010-06-25 09:03:52 +0000 | [diff] [blame] | 408 | ReplaceCallWith("memset", CI, Ops, Ops+3, CI->getArgOperand(0)->getType()); |
Chris Lattner | bcdadf3 | 2004-06-20 07:49:54 +0000 | [diff] [blame] | 409 | break; |
| 410 | } |
Dale Johannesen | 4d4e77a | 2007-10-02 17:43:59 +0000 | [diff] [blame] | 411 | case Intrinsic::sqrt: { |
Owen Anderson | 4c472e1 | 2009-06-26 20:33:47 +0000 | [diff] [blame] | 412 | ReplaceFPIntrinsicWithCall(CI, "sqrtf", "sqrt", "sqrtl"); |
Dale Johannesen | 6bf69ed | 2007-09-28 18:06:58 +0000 | [diff] [blame] | 413 | break; |
| 414 | } |
Dale Johannesen | da2d806 | 2008-09-04 00:47:13 +0000 | [diff] [blame] | 415 | case Intrinsic::log: { |
Owen Anderson | 4c472e1 | 2009-06-26 20:33:47 +0000 | [diff] [blame] | 416 | ReplaceFPIntrinsicWithCall(CI, "logf", "log", "logl"); |
Dale Johannesen | da2d806 | 2008-09-04 00:47:13 +0000 | [diff] [blame] | 417 | break; |
| 418 | } |
| 419 | case Intrinsic::log2: { |
Owen Anderson | 4c472e1 | 2009-06-26 20:33:47 +0000 | [diff] [blame] | 420 | ReplaceFPIntrinsicWithCall(CI, "log2f", "log2", "log2l"); |
Dale Johannesen | da2d806 | 2008-09-04 00:47:13 +0000 | [diff] [blame] | 421 | break; |
| 422 | } |
| 423 | case Intrinsic::log10: { |
Owen Anderson | 4c472e1 | 2009-06-26 20:33:47 +0000 | [diff] [blame] | 424 | ReplaceFPIntrinsicWithCall(CI, "log10f", "log10", "log10l"); |
Dale Johannesen | da2d806 | 2008-09-04 00:47:13 +0000 | [diff] [blame] | 425 | break; |
| 426 | } |
| 427 | case Intrinsic::exp: { |
Owen Anderson | 4c472e1 | 2009-06-26 20:33:47 +0000 | [diff] [blame] | 428 | ReplaceFPIntrinsicWithCall(CI, "expf", "exp", "expl"); |
Dale Johannesen | da2d806 | 2008-09-04 00:47:13 +0000 | [diff] [blame] | 429 | break; |
| 430 | } |
| 431 | case Intrinsic::exp2: { |
Owen Anderson | 4c472e1 | 2009-06-26 20:33:47 +0000 | [diff] [blame] | 432 | ReplaceFPIntrinsicWithCall(CI, "exp2f", "exp2", "exp2l"); |
Dale Johannesen | da2d806 | 2008-09-04 00:47:13 +0000 | [diff] [blame] | 433 | break; |
| 434 | } |
| 435 | case Intrinsic::pow: { |
Owen Anderson | 4c472e1 | 2009-06-26 20:33:47 +0000 | [diff] [blame] | 436 | ReplaceFPIntrinsicWithCall(CI, "powf", "pow", "powl"); |
Dale Johannesen | da2d806 | 2008-09-04 00:47:13 +0000 | [diff] [blame] | 437 | break; |
| 438 | } |
Josh Klontz | ac0d28d | 2014-08-08 15:00:12 +0000 | [diff] [blame] | 439 | case Intrinsic::sin: { |
| 440 | ReplaceFPIntrinsicWithCall(CI, "sinf", "sin", "sinl"); |
| 441 | break; |
| 442 | } |
| 443 | case Intrinsic::cos: { |
| 444 | ReplaceFPIntrinsicWithCall(CI, "cosf", "cos", "cosl"); |
| 445 | break; |
| 446 | } |
Josh Klontz | e1900dc | 2014-08-30 18:33:35 +0000 | [diff] [blame] | 447 | case Intrinsic::floor: { |
| 448 | ReplaceFPIntrinsicWithCall(CI, "floorf", "floor", "floorl"); |
| 449 | break; |
| 450 | } |
Josh Klontz | ac0d28d | 2014-08-08 15:00:12 +0000 | [diff] [blame] | 451 | case Intrinsic::ceil: { |
| 452 | ReplaceFPIntrinsicWithCall(CI, "ceilf", "ceil", "ceill"); |
| 453 | break; |
| 454 | } |
Josh Klontz | e1900dc | 2014-08-30 18:33:35 +0000 | [diff] [blame] | 455 | case Intrinsic::trunc: { |
| 456 | ReplaceFPIntrinsicWithCall(CI, "truncf", "trunc", "truncl"); |
| 457 | break; |
| 458 | } |
| 459 | case Intrinsic::round: { |
| 460 | ReplaceFPIntrinsicWithCall(CI, "roundf", "round", "roundl"); |
| 461 | break; |
| 462 | } |
| 463 | case Intrinsic::copysign: { |
| 464 | ReplaceFPIntrinsicWithCall(CI, "copysignf", "copysign", "copysignl"); |
| 465 | break; |
| 466 | } |
Anton Korobeynikov | 66b91e66e | 2007-11-15 23:25:33 +0000 | [diff] [blame] | 467 | case Intrinsic::flt_rounds: |
| 468 | // Lower to "round to the nearest" |
Benjamin Kramer | ccce8ba | 2010-01-05 13:12:22 +0000 | [diff] [blame] | 469 | if (!CI->getType()->isVoidTy()) |
Owen Anderson | edb4a70 | 2009-07-24 23:12:02 +0000 | [diff] [blame] | 470 | CI->replaceAllUsesWith(ConstantInt::get(CI->getType(), 1)); |
Anton Korobeynikov | 66b91e66e | 2007-11-15 23:25:33 +0000 | [diff] [blame] | 471 | break; |
Duncan Sands | dca0c28 | 2009-11-10 09:08:09 +0000 | [diff] [blame] | 472 | case Intrinsic::invariant_start: |
| 473 | case Intrinsic::lifetime_start: |
| 474 | // Discard region information. |
| 475 | CI->replaceAllUsesWith(UndefValue::get(CI->getType())); |
| 476 | break; |
| 477 | case Intrinsic::invariant_end: |
| 478 | case Intrinsic::lifetime_end: |
| 479 | // Discard region information. |
| 480 | break; |
Chris Lattner | bcdadf3 | 2004-06-20 07:49:54 +0000 | [diff] [blame] | 481 | } |
Misha Brukman | 835702a | 2005-04-21 22:36:52 +0000 | [diff] [blame] | 482 | |
Chris Lattner | bcdadf3 | 2004-06-20 07:49:54 +0000 | [diff] [blame] | 483 | assert(CI->use_empty() && |
| 484 | "Lowering should have eliminated any uses of the intrinsic call!"); |
Chris Lattner | 9ec975a | 2005-05-11 19:42:05 +0000 | [diff] [blame] | 485 | CI->eraseFromParent(); |
Chris Lattner | bcdadf3 | 2004-06-20 07:49:54 +0000 | [diff] [blame] | 486 | } |
Evan Cheng | 078b0b0 | 2011-01-08 01:24:27 +0000 | [diff] [blame] | 487 | |
| 488 | bool IntrinsicLowering::LowerToByteSwap(CallInst *CI) { |
| 489 | // Verify this is a simple bswap. |
| 490 | if (CI->getNumArgOperands() != 1 || |
| 491 | CI->getType() != CI->getArgOperand(0)->getType() || |
| 492 | !CI->getType()->isIntegerTy()) |
| 493 | return false; |
| 494 | |
Jay Foad | b804a2b | 2011-07-12 14:06:48 +0000 | [diff] [blame] | 495 | IntegerType *Ty = dyn_cast<IntegerType>(CI->getType()); |
Evan Cheng | 078b0b0 | 2011-01-08 01:24:27 +0000 | [diff] [blame] | 496 | if (!Ty) |
| 497 | return false; |
| 498 | |
| 499 | // Okay, we can do this xform, do so now. |
Sanjay Patel | af674fb | 2015-12-14 17:24:23 +0000 | [diff] [blame] | 500 | Module *M = CI->getModule(); |
James Y Knight | 7976eb5 | 2019-02-01 20:43:25 +0000 | [diff] [blame] | 501 | Function *Int = Intrinsic::getDeclaration(M, Intrinsic::bswap, Ty); |
Evan Cheng | 078b0b0 | 2011-01-08 01:24:27 +0000 | [diff] [blame] | 502 | |
| 503 | Value *Op = CI->getArgOperand(0); |
| 504 | Op = CallInst::Create(Int, Op, CI->getName(), CI); |
| 505 | |
| 506 | CI->replaceAllUsesWith(Op); |
| 507 | CI->eraseFromParent(); |
| 508 | return true; |
| 509 | } |