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 | |
Benjamin Kramer | 00e08fc | 2014-08-13 16:26:38 +0000 | [diff] [blame] | 19 | #ifndef LLVM_LIB_IR_CONSTANTFOLD_H |
| 20 | #define LLVM_LIB_IR_CONSTANTFOLD_H |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 21 | |
Peter Collingbourne | ca668e1 | 2016-11-10 22:34:55 +0000 | [diff] [blame] | 22 | #include "llvm/ADT/Optional.h" |
| 23 | |
Brian Gaeke | d0fde30 | 2003-11-11 22:41:34 +0000 | [diff] [blame] | 24 | namespace llvm { |
Mehdi Amini | f6071e1 | 2016-04-18 09:17:29 +0000 | [diff] [blame] | 25 | template <typename T> class ArrayRef; |
Chris Lattner | 7fa6e66 | 2004-10-11 22:52:25 +0000 | [diff] [blame] | 26 | class Value; |
Chris Lattner | 8b0f0cb | 2004-01-12 21:02:29 +0000 | [diff] [blame] | 27 | class Constant; |
Chris Lattner | 1fca5ff | 2004-10-27 16:14:51 +0000 | [diff] [blame] | 28 | class Type; |
Misha Brukman | fd93908 | 2005-04-21 23:48:37 +0000 | [diff] [blame] | 29 | |
Chris Lattner | cbfd406 | 2004-01-12 21:13:12 +0000 | [diff] [blame] | 30 | // Constant fold various types of instruction... |
Reid Spencer | 3da59db | 2006-11-27 01:05:10 +0000 | [diff] [blame] | 31 | Constant *ConstantFoldCastInstruction( |
| 32 | unsigned opcode, ///< The opcode of the cast |
Nick Lewycky | 33c06ad | 2009-09-20 01:35:59 +0000 | [diff] [blame] | 33 | Constant *V, ///< The source constant |
Chris Lattner | db125cf | 2011-07-18 04:54:35 +0000 | [diff] [blame] | 34 | Type *DestTy ///< The destination type |
Reid Spencer | 3da59db | 2006-11-27 01:05:10 +0000 | [diff] [blame] | 35 | ); |
Chris Lattner | b29d596 | 2010-02-01 20:48:08 +0000 | [diff] [blame] | 36 | Constant *ConstantFoldSelectInstruction(Constant *Cond, |
Nick Lewycky | 33c06ad | 2009-09-20 01:35:59 +0000 | [diff] [blame] | 37 | Constant *V1, Constant *V2); |
Chris Lattner | b29d596 | 2010-02-01 20:48:08 +0000 | [diff] [blame] | 38 | Constant *ConstantFoldExtractElementInstruction(Constant *Val, Constant *Idx); |
| 39 | Constant *ConstantFoldInsertElementInstruction(Constant *Val, Constant *Elt, |
Nick Lewycky | 33c06ad | 2009-09-20 01:35:59 +0000 | [diff] [blame] | 40 | Constant *Idx); |
Chris Lattner | b29d596 | 2010-02-01 20:48:08 +0000 | [diff] [blame] | 41 | Constant *ConstantFoldShuffleVectorInstruction(Constant *V1, Constant *V2, |
Nick Lewycky | 33c06ad | 2009-09-20 01:35:59 +0000 | [diff] [blame] | 42 | Constant *Mask); |
Chris Lattner | b29d596 | 2010-02-01 20:48:08 +0000 | [diff] [blame] | 43 | Constant *ConstantFoldExtractValueInstruction(Constant *Agg, |
Jay Foad | fc6d3a4 | 2011-07-13 10:26:04 +0000 | [diff] [blame] | 44 | ArrayRef<unsigned> Idxs); |
Chris Lattner | b29d596 | 2010-02-01 20:48:08 +0000 | [diff] [blame] | 45 | Constant *ConstantFoldInsertValueInstruction(Constant *Agg, Constant *Val, |
Jay Foad | fc6d3a4 | 2011-07-13 10:26:04 +0000 | [diff] [blame] | 46 | ArrayRef<unsigned> Idxs); |
Chris Lattner | b29d596 | 2010-02-01 20:48:08 +0000 | [diff] [blame] | 47 | Constant *ConstantFoldBinaryInstruction(unsigned Opcode, Constant *V1, |
Nick Lewycky | 33c06ad | 2009-09-20 01:35:59 +0000 | [diff] [blame] | 48 | Constant *V2); |
Junmo Park | f04d589 | 2016-03-22 04:37:32 +0000 | [diff] [blame] | 49 | Constant *ConstantFoldCompareInstruction(unsigned short predicate, |
Nick Lewycky | 33c06ad | 2009-09-20 01:35:59 +0000 | [diff] [blame] | 50 | Constant *C1, Constant *C2); |
Peter Collingbourne | ca668e1 | 2016-11-10 22:34:55 +0000 | [diff] [blame] | 51 | Constant *ConstantFoldGetElementPtr(Type *Ty, Constant *C, bool InBounds, |
| 52 | Optional<unsigned> InRangeIndex, |
David Blaikie | ad80c2d | 2015-05-07 17:28:58 +0000 | [diff] [blame] | 53 | ArrayRef<Value *> Idxs); |
Alexander Kornienko | cd52a7a | 2015-06-23 09:49:53 +0000 | [diff] [blame] | 54 | } // End llvm namespace |
Brian Gaeke | d0fde30 | 2003-11-11 22:41:34 +0000 | [diff] [blame] | 55 | |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 56 | #endif |