Chris Lattner | 5a945e3 | 2004-01-12 21:13:12 +0000 | [diff] [blame] | 1 | //===-- ConstantFolding.h - Internal Constant Folding Interface -*- C++ -*-===// |
Misha Brukman | b1c9317 | 2005-04-21 23:48:37 +0000 | [diff] [blame] | 2 | // |
John Criswell | b644598 | 2003-10-20 20:19:47 +0000 | [diff] [blame] | 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
Chris Lattner | f3ebc3f | 2007-12-29 20:36:04 +0000 | [diff] [blame] | 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
Misha Brukman | b1c9317 | 2005-04-21 23:48:37 +0000 | [diff] [blame] | 7 | // |
John Criswell | b644598 | 2003-10-20 20:19:47 +0000 | [diff] [blame] | 8 | //===----------------------------------------------------------------------===// |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 9 | // |
Chris Lattner | 5a945e3 | 2004-01-12 21:13:12 +0000 | [diff] [blame] | 10 | // This file defines the (internal) constant folding interfaces for LLVM. These |
| 11 | // interfaces are used by the ConstantExpr::get* methods to automatically fold |
| 12 | // constants when possible. |
| 13 | // |
Duncan Sands | c1e48b5 | 2008-08-01 12:23:49 +0000 | [diff] [blame] | 14 | // These operators may return a null object if they don't know how to perform |
| 15 | // the specified operation on the specified constant types. |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 16 | // |
| 17 | //===----------------------------------------------------------------------===// |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 18 | |
Chris Lattner | 5a945e3 | 2004-01-12 21:13:12 +0000 | [diff] [blame] | 19 | #ifndef CONSTANTFOLDING_H |
| 20 | #define CONSTANTFOLDING_H |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 21 | |
Brian Gaeke | 960707c | 2003-11-11 22:41:34 +0000 | [diff] [blame] | 22 | namespace llvm { |
Chris Lattner | 13128ab | 2004-10-11 22:52:25 +0000 | [diff] [blame] | 23 | class Value; |
Chris Lattner | 6ff6cea | 2004-01-12 21:02:29 +0000 | [diff] [blame] | 24 | class Constant; |
Chris Lattner | 7dfc2d2 | 2004-10-27 16:14:51 +0000 | [diff] [blame] | 25 | class Type; |
Benjamin Kramer | 78c3bcb | 2009-08-11 17:45:13 +0000 | [diff] [blame] | 26 | class LLVMContext; |
Misha Brukman | b1c9317 | 2005-04-21 23:48:37 +0000 | [diff] [blame] | 27 | |
Chris Lattner | 5a945e3 | 2004-01-12 21:13:12 +0000 | [diff] [blame] | 28 | // Constant fold various types of instruction... |
Reid Spencer | 6c38f0b | 2006-11-27 01:05:10 +0000 | [diff] [blame] | 29 | Constant *ConstantFoldCastInstruction( |
Owen Anderson | 53a5221 | 2009-07-13 04:09:18 +0000 | [diff] [blame] | 30 | LLVMContext &Context, |
Reid Spencer | 6c38f0b | 2006-11-27 01:05:10 +0000 | [diff] [blame] | 31 | unsigned opcode, ///< The opcode of the cast |
Nick Lewycky | e033298 | 2009-09-20 01:35:59 +0000 | [diff] [blame] | 32 | Constant *V, ///< The source constant |
Owen Anderson | 2cda7d7 | 2009-06-20 00:26:26 +0000 | [diff] [blame] | 33 | const Type *DestTy ///< The destination type |
Reid Spencer | 6c38f0b | 2006-11-27 01:05:10 +0000 | [diff] [blame] | 34 | ); |
Owen Anderson | 53a5221 | 2009-07-13 04:09:18 +0000 | [diff] [blame] | 35 | Constant *ConstantFoldSelectInstruction(LLVMContext &Context, |
Nick Lewycky | e033298 | 2009-09-20 01:35:59 +0000 | [diff] [blame] | 36 | Constant *Cond, |
| 37 | Constant *V1, Constant *V2); |
Owen Anderson | 53a5221 | 2009-07-13 04:09:18 +0000 | [diff] [blame] | 38 | Constant *ConstantFoldExtractElementInstruction(LLVMContext &Context, |
Nick Lewycky | e033298 | 2009-09-20 01:35:59 +0000 | [diff] [blame] | 39 | Constant *Val, |
| 40 | Constant *Idx); |
Owen Anderson | 53a5221 | 2009-07-13 04:09:18 +0000 | [diff] [blame] | 41 | Constant *ConstantFoldInsertElementInstruction(LLVMContext &Context, |
Nick Lewycky | e033298 | 2009-09-20 01:35:59 +0000 | [diff] [blame] | 42 | Constant *Val, |
| 43 | Constant *Elt, |
| 44 | Constant *Idx); |
Owen Anderson | 53a5221 | 2009-07-13 04:09:18 +0000 | [diff] [blame] | 45 | Constant *ConstantFoldShuffleVectorInstruction(LLVMContext &Context, |
Nick Lewycky | e033298 | 2009-09-20 01:35:59 +0000 | [diff] [blame] | 46 | Constant *V1, |
| 47 | Constant *V2, |
| 48 | Constant *Mask); |
Owen Anderson | 53a5221 | 2009-07-13 04:09:18 +0000 | [diff] [blame] | 49 | Constant *ConstantFoldExtractValueInstruction(LLVMContext &Context, |
Nick Lewycky | e033298 | 2009-09-20 01:35:59 +0000 | [diff] [blame] | 50 | Constant *Agg, |
Dan Gohman | 3db11c2 | 2008-06-03 00:15:20 +0000 | [diff] [blame] | 51 | const unsigned *Idxs, |
| 52 | unsigned NumIdx); |
Owen Anderson | 53a5221 | 2009-07-13 04:09:18 +0000 | [diff] [blame] | 53 | Constant *ConstantFoldInsertValueInstruction(LLVMContext &Context, |
Nick Lewycky | e033298 | 2009-09-20 01:35:59 +0000 | [diff] [blame] | 54 | Constant *Agg, |
| 55 | Constant *Val, |
| 56 | const unsigned *Idxs, |
Dan Gohman | 3db11c2 | 2008-06-03 00:15:20 +0000 | [diff] [blame] | 57 | unsigned NumIdx); |
Owen Anderson | 53a5221 | 2009-07-13 04:09:18 +0000 | [diff] [blame] | 58 | Constant *ConstantFoldBinaryInstruction(LLVMContext &Context, |
Nick Lewycky | e033298 | 2009-09-20 01:35:59 +0000 | [diff] [blame] | 59 | unsigned Opcode, Constant *V1, |
| 60 | Constant *V2); |
Owen Anderson | 53a5221 | 2009-07-13 04:09:18 +0000 | [diff] [blame] | 61 | Constant *ConstantFoldCompareInstruction(LLVMContext &Context, |
| 62 | unsigned short predicate, |
Nick Lewycky | e033298 | 2009-09-20 01:35:59 +0000 | [diff] [blame] | 63 | Constant *C1, Constant *C2); |
| 64 | Constant *ConstantFoldGetElementPtr(LLVMContext &Context, Constant *C, |
Dan Gohman | 21c6216 | 2009-09-11 00:04:14 +0000 | [diff] [blame] | 65 | bool inBounds, |
Owen Anderson | 2cda7d7 | 2009-06-20 00:26:26 +0000 | [diff] [blame] | 66 | Constant* const *Idxs, unsigned NumIdx); |
Brian Gaeke | 960707c | 2003-11-11 22:41:34 +0000 | [diff] [blame] | 67 | } // End llvm namespace |
| 68 | |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 69 | #endif |