Chris Lattner | cbfd406 | 2004-01-12 21:13:12 +0000 | [diff] [blame] | 1 | //===-- ConstantFolding.h - Internal Constant Folding Interface -*- C++ -*-===// |
Misha Brukman | fd93908 | 2005-04-21 23:48:37 +0000 | [diff] [blame] | 2 | // |
John Criswell | 6fbcc26 | 2003-10-20 20:19:47 +0000 | [diff] [blame] | 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
Chris Lattner | 4ee451d | 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 | fd93908 | 2005-04-21 23:48:37 +0000 | [diff] [blame] | 7 | // |
John Criswell | 6fbcc26 | 2003-10-20 20:19:47 +0000 | [diff] [blame] | 8 | //===----------------------------------------------------------------------===// |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 9 | // |
Chris Lattner | cbfd406 | 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 | 58921fe | 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 | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 16 | // |
| 17 | //===----------------------------------------------------------------------===// |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 18 | |
Chris Lattner | cbfd406 | 2004-01-12 21:13:12 +0000 | [diff] [blame] | 19 | #ifndef CONSTANTFOLDING_H |
| 20 | #define CONSTANTFOLDING_H |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 21 | |
Jay Foad | fc6d3a4 | 2011-07-13 10:26:04 +0000 | [diff] [blame] | 22 | #include "llvm/ADT/ArrayRef.h" |
| 23 | |
Brian Gaeke | d0fde30 | 2003-11-11 22:41:34 +0000 | [diff] [blame] | 24 | namespace llvm { |
Chris Lattner | 7fa6e66 | 2004-10-11 22:52:25 +0000 | [diff] [blame] | 25 | class Value; |
Chris Lattner | 8b0f0cb | 2004-01-12 21:02:29 +0000 | [diff] [blame] | 26 | class Constant; |
Chris Lattner | 1fca5ff | 2004-10-27 16:14:51 +0000 | [diff] [blame] | 27 | class Type; |
Misha Brukman | fd93908 | 2005-04-21 23:48:37 +0000 | [diff] [blame] | 28 | |
Chris Lattner | cbfd406 | 2004-01-12 21:13:12 +0000 | [diff] [blame] | 29 | // Constant fold various types of instruction... |
Reid Spencer | 3da59db | 2006-11-27 01:05:10 +0000 | [diff] [blame] | 30 | Constant *ConstantFoldCastInstruction( |
| 31 | unsigned opcode, ///< The opcode of the cast |
Nick Lewycky | 33c06ad | 2009-09-20 01:35:59 +0000 | [diff] [blame] | 32 | Constant *V, ///< The source constant |
Chris Lattner | db125cf | 2011-07-18 04:54:35 +0000 | [diff] [blame] | 33 | Type *DestTy ///< The destination type |
Reid Spencer | 3da59db | 2006-11-27 01:05:10 +0000 | [diff] [blame] | 34 | ); |
Chris Lattner | b29d596 | 2010-02-01 20:48:08 +0000 | [diff] [blame] | 35 | Constant *ConstantFoldSelectInstruction(Constant *Cond, |
Nick Lewycky | 33c06ad | 2009-09-20 01:35:59 +0000 | [diff] [blame] | 36 | Constant *V1, Constant *V2); |
Chris Lattner | b29d596 | 2010-02-01 20:48:08 +0000 | [diff] [blame] | 37 | Constant *ConstantFoldExtractElementInstruction(Constant *Val, Constant *Idx); |
| 38 | Constant *ConstantFoldInsertElementInstruction(Constant *Val, Constant *Elt, |
Nick Lewycky | 33c06ad | 2009-09-20 01:35:59 +0000 | [diff] [blame] | 39 | Constant *Idx); |
Chris Lattner | b29d596 | 2010-02-01 20:48:08 +0000 | [diff] [blame] | 40 | Constant *ConstantFoldShuffleVectorInstruction(Constant *V1, Constant *V2, |
Nick Lewycky | 33c06ad | 2009-09-20 01:35:59 +0000 | [diff] [blame] | 41 | Constant *Mask); |
Chris Lattner | b29d596 | 2010-02-01 20:48:08 +0000 | [diff] [blame] | 42 | Constant *ConstantFoldExtractValueInstruction(Constant *Agg, |
Jay Foad | fc6d3a4 | 2011-07-13 10:26:04 +0000 | [diff] [blame] | 43 | ArrayRef<unsigned> Idxs); |
Chris Lattner | b29d596 | 2010-02-01 20:48:08 +0000 | [diff] [blame] | 44 | Constant *ConstantFoldInsertValueInstruction(Constant *Agg, Constant *Val, |
Jay Foad | fc6d3a4 | 2011-07-13 10:26:04 +0000 | [diff] [blame] | 45 | ArrayRef<unsigned> Idxs); |
Chris Lattner | b29d596 | 2010-02-01 20:48:08 +0000 | [diff] [blame] | 46 | Constant *ConstantFoldBinaryInstruction(unsigned Opcode, Constant *V1, |
Nick Lewycky | 33c06ad | 2009-09-20 01:35:59 +0000 | [diff] [blame] | 47 | Constant *V2); |
Chris Lattner | b29d596 | 2010-02-01 20:48:08 +0000 | [diff] [blame] | 48 | Constant *ConstantFoldCompareInstruction(unsigned short predicate, |
Nick Lewycky | 33c06ad | 2009-09-20 01:35:59 +0000 | [diff] [blame] | 49 | Constant *C1, Constant *C2); |
Chris Lattner | b29d596 | 2010-02-01 20:48:08 +0000 | [diff] [blame] | 50 | Constant *ConstantFoldGetElementPtr(Constant *C, bool inBounds, |
Jay Foad | 7fc52e2 | 2011-07-19 15:30:30 +0000 | [diff] [blame] | 51 | ArrayRef<Constant *> Idxs); |
Jay Foad | 25052d8 | 2011-01-14 08:07:43 +0000 | [diff] [blame] | 52 | Constant *ConstantFoldGetElementPtr(Constant *C, bool inBounds, |
Jay Foad | 7fc52e2 | 2011-07-19 15:30:30 +0000 | [diff] [blame] | 53 | ArrayRef<Value *> Idxs); |
Brian Gaeke | d0fde30 | 2003-11-11 22:41:34 +0000 | [diff] [blame] | 54 | } // End llvm namespace |
| 55 | |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 56 | #endif |