[llvm-commits] CVS: llvm/lib/VMCore/ConstantFolding.cpp ConstantFolding.h Constants.cpp

Chris Lattner lattner at cs.uiuc.edu
Mon Jan 12 15:14:03 PST 2004


Changes in directory llvm/lib/VMCore:

ConstantFolding.cpp updated: 1.47 -> 1.48
ConstantFolding.h updated: 1.39 -> 1.40
Constants.cpp updated: 1.68 -> 1.69

---
Log message:

Rename ConstantHandling.* -> ConstantFolding.*
Move a bunch of (now) private stuff from ConstantFolding.h into 
ConstantFolding.cpp.

This _finally_ gets us to a place where we have a sane constant folder.  The
rules are:

1. LLVM clients now use ConstantExpr::get* methods to fold constants.  If they
   cannot be folded, a constantexpr is created, so these methods always return
   valid Constant*'s.
2. The implementation of ConstantExpr::get* uses the functions exposed by
   ConstantFolding.h to try to fold constants.  If they cannot be folded,
   they should return a null pointer.
3. The implementation of ConstantFolding can do whatever it wants, and only
   has one client (Constants.cpp)

This cuts down on the wierd dependencies, and eliminates the two interfaces.
The old constanthandling interface was especially bad for clients to use 
because almost none of them took the failure condition into consideration,
thus leading to obscure problems.



---
Diffs of the changes:  (+66 -66)

Index: llvm/lib/VMCore/ConstantFolding.cpp
diff -u llvm/lib/VMCore/ConstantFolding.cpp:1.47 llvm/lib/VMCore/ConstantFolding.cpp:1.48
--- llvm/lib/VMCore/ConstantFolding.cpp:1.47	Mon Jan 12 15:02:29 2004
+++ llvm/lib/VMCore/ConstantFolding.cpp	Mon Jan 12 15:13:12 2004
@@ -1,4 +1,4 @@
-//===- ConstantHandling.cpp - Implement ConstantHandling.h ----------------===//
+//===- ConstantFolding.cpp - LLVM constant folder -------------------------===//
 // 
 //                     The LLVM Compiler Infrastructure
 //
@@ -7,11 +7,13 @@
 // 
 //===----------------------------------------------------------------------===//
 //
-// This file implements the various intrinsic operations, on constant values.
+// This file implements folding of constants for LLVM.  This implements the
+// (internal) ConstantFolding.h interface, which is used by the
+// ConstantExpr::get* methods to automatically fold constants when possible.
 //
 //===----------------------------------------------------------------------===//
 
-#include "ConstantHandling.h"
+#include "ConstantFolding.h"
 #include "llvm/Constants.h"
 #include "llvm/iPHINode.h"
 #include "llvm/InstrTypes.h"
@@ -24,6 +26,50 @@
   unsigned S = Ty->getPrimitiveSize();
   return S ? S : 8;  // Treat pointers at 8 bytes
 }
+
+namespace {
+  struct ConstRules {
+    ConstRules() {}
+    
+    // Binary Operators...
+    virtual Constant *add(const Constant *V1, const Constant *V2) const = 0;
+    virtual Constant *sub(const Constant *V1, const Constant *V2) const = 0;
+    virtual Constant *mul(const Constant *V1, const Constant *V2) const = 0;
+    virtual Constant *div(const Constant *V1, const Constant *V2) const = 0;
+    virtual Constant *rem(const Constant *V1, const Constant *V2) const = 0;
+    virtual Constant *op_and(const Constant *V1, const Constant *V2) const = 0;
+    virtual Constant *op_or (const Constant *V1, const Constant *V2) const = 0;
+    virtual Constant *op_xor(const Constant *V1, const Constant *V2) const = 0;
+    virtual Constant *shl(const Constant *V1, const Constant *V2) const = 0;
+    virtual Constant *shr(const Constant *V1, const Constant *V2) const = 0;
+    virtual Constant *lessthan(const Constant *V1, const Constant *V2) const =0;
+    virtual Constant *equalto(const Constant *V1, const Constant *V2) const = 0;
+
+    // Casting operators.
+    virtual Constant *castToBool  (const Constant *V) const = 0;
+    virtual Constant *castToSByte (const Constant *V) const = 0;
+    virtual Constant *castToUByte (const Constant *V) const = 0;
+    virtual Constant *castToShort (const Constant *V) const = 0;
+    virtual Constant *castToUShort(const Constant *V) const = 0;
+    virtual Constant *castToInt   (const Constant *V) const = 0;
+    virtual Constant *castToUInt  (const Constant *V) const = 0;
+    virtual Constant *castToLong  (const Constant *V) const = 0;
+    virtual Constant *castToULong (const Constant *V) const = 0;
+    virtual Constant *castToFloat (const Constant *V) const = 0;
+    virtual Constant *castToDouble(const Constant *V) const = 0;
+    virtual Constant *castToPointer(const Constant *V,
+                                    const PointerType *Ty) const = 0;
+    
+    // ConstRules::get - Return an instance of ConstRules for the specified
+    // constant operands.
+    //
+    static ConstRules &get(const Constant *V1, const Constant *V2);
+  private:
+    ConstRules(const ConstRules &);             // Do not implement
+    ConstRules &operator=(const ConstRules &);  // Do not implement
+  };
+}
+
 
 Constant *llvm::ConstantFoldCastInstruction(const Constant *V,
                                             const Type *DestTy) {


Index: llvm/lib/VMCore/ConstantFolding.h
diff -u llvm/lib/VMCore/ConstantFolding.h:1.39 llvm/lib/VMCore/ConstantFolding.h:1.40
--- llvm/lib/VMCore/ConstantFolding.h:1.39	Mon Jan 12 15:02:29 2004
+++ llvm/lib/VMCore/ConstantFolding.h	Mon Jan 12 15:13:12 2004
@@ -1,4 +1,4 @@
-//===-- ConstantHandling.h - Stuff for manipulating constants ---*- C++ -*-===//
+//===-- ConstantFolding.h - Internal Constant Folding Interface -*- C++ -*-===//
 // 
 //                     The LLVM Compiler Infrastructure
 //
@@ -7,76 +7,30 @@
 // 
 //===----------------------------------------------------------------------===//
 //
-// WARNING: These operators may return a null object if I don't know how to 
-//          perform the specified operation on the specified constant types.
+// This file defines the (internal) constant folding interfaces for LLVM.  These
+// interfaces are used by the ConstantExpr::get* methods to automatically fold
+// constants when possible.
+//
+// These operators may return a null object if I don't know how to perform the
+// specified operation on the specified constant types.
 //
 //===----------------------------------------------------------------------===//
 
-#ifndef CONSTANTHANDLING_H
-#define CONSTANTHANDLING_H
+#ifndef CONSTANTFOLDING_H
+#define CONSTANTFOLDING_H
 
 #include <vector>
 
 namespace llvm {
   class Constant;
   class Type;
-  class PointerType;
-
-struct ConstRules {
-  ConstRules() {}
-
-  // Binary Operators...
-  virtual Constant *add(const Constant *V1, const Constant *V2) const = 0;
-  virtual Constant *sub(const Constant *V1, const Constant *V2) const = 0;
-  virtual Constant *mul(const Constant *V1, const Constant *V2) const = 0;
-  virtual Constant *div(const Constant *V1, const Constant *V2) const = 0;
-  virtual Constant *rem(const Constant *V1, const Constant *V2) const = 0;
-  virtual Constant *op_and(const Constant *V1, const Constant *V2) const = 0;
-  virtual Constant *op_or (const Constant *V1, const Constant *V2) const = 0;
-  virtual Constant *op_xor(const Constant *V1, const Constant *V2) const = 0;
-  virtual Constant *shl(const Constant *V1, const Constant *V2) const = 0;
-  virtual Constant *shr(const Constant *V1, const Constant *V2) const = 0;
-
-  virtual Constant *lessthan(const Constant *V1, const Constant *V2) const = 0;
-                             
-  virtual Constant *equalto(const Constant *V1, const Constant *V2) const = 0;
-
-  // Casting operators.  ick
-  virtual Constant *castToBool  (const Constant *V) const = 0;
-  virtual Constant *castToSByte (const Constant *V) const = 0;
-  virtual Constant *castToUByte (const Constant *V) const = 0;
-  virtual Constant *castToShort (const Constant *V) const = 0;
-  virtual Constant *castToUShort(const Constant *V) const = 0;
-  virtual Constant *castToInt   (const Constant *V) const = 0;
-  virtual Constant *castToUInt  (const Constant *V) const = 0;
-  virtual Constant *castToLong  (const Constant *V) const = 0;
-  virtual Constant *castToULong (const Constant *V) const = 0;
-  virtual Constant *castToFloat (const Constant *V) const = 0;
-  virtual Constant *castToDouble(const Constant *V) const = 0;
-  virtual Constant *castToPointer(const Constant *V,
-                                  const PointerType *Ty) const = 0;
-
-  // ConstRules::get - Return an instance of ConstRules for the specified
-  // constant operands.
-  //
-  static ConstRules &get(const Constant *V1, const Constant *V2);
-private:
-  ConstRules(const ConstRules &);             // Do not implement
-  ConstRules &operator=(const ConstRules &);  // Do not implement
-};
-
-
-//===----------------------------------------------------------------------===//
-//  Implement higher level instruction folding type instructions
-//===----------------------------------------------------------------------===//
-
-// Constant fold various types of instruction...
-Constant *ConstantFoldCastInstruction(const Constant *V, const Type *DestTy);
-Constant *ConstantFoldBinaryInstruction(unsigned Opcode, const Constant *V1,
-                                        const Constant *V2);
-Constant *ConstantFoldGetElementPtr(const Constant *C,
-                                    const std::vector<Constant*> &IdxList);
-
+  
+  // Constant fold various types of instruction...
+  Constant *ConstantFoldCastInstruction(const Constant *V, const Type *DestTy);
+  Constant *ConstantFoldBinaryInstruction(unsigned Opcode, const Constant *V1,
+                                          const Constant *V2);
+  Constant *ConstantFoldGetElementPtr(const Constant *C,
+                                      const std::vector<Constant*> &IdxList);
 } // End llvm namespace
 
 #endif


Index: llvm/lib/VMCore/Constants.cpp
diff -u llvm/lib/VMCore/Constants.cpp:1.68 llvm/lib/VMCore/Constants.cpp:1.69
--- llvm/lib/VMCore/Constants.cpp:1.68	Mon Jan 12 14:48:11 2004
+++ llvm/lib/VMCore/Constants.cpp	Mon Jan 12 15:13:12 2004
@@ -12,7 +12,7 @@
 //===----------------------------------------------------------------------===//
 
 #include "llvm/Constants.h"
-#include "ConstantHandling.h"
+#include "ConstantFolding.h"
 #include "llvm/DerivedTypes.h"
 #include "llvm/iMemory.h"
 #include "llvm/SymbolTable.h"





More information about the llvm-commits mailing list