[AArch64] Add DAG combine for extract extend pattern

[oota-llvm.git] / utils / TableGen / CodeGenIntrinsics.h

diff --git a/utils/TableGen/CodeGenIntrinsics.h b/utils/TableGen/CodeGenIntrinsics.h
index dd99e319d6c77e089f47f007ce8883b48fc09235..7bdb7e1bc537cc7f621f6ac8b4ebcabc9dc8aca9 100644 (file)
--- a/utils/TableGen/CodeGenIntrinsics.h
+++ b/utils/TableGen/CodeGenIntrinsics.h
@@ -11,12 +11,12 @@
 //
 //===----------------------------------------------------------------------===//
 
-#ifndef CODEGEN_INTRINSIC_H
-#define CODEGEN_INTRINSIC_H
+#ifndef LLVM_UTILS_TABLEGEN_CODEGENINTRINSICS_H
+#define LLVM_UTILS_TABLEGEN_CODEGENINTRINSICS_H
 
+#include "llvm/CodeGen/MachineValueType.h"
 #include <string>
 #include <vector>
-#include "llvm/CodeGen/ValueTypes.h"
 
 namespace llvm {
   class Record;
@@ -28,13 +28,14 @@ namespace llvm {
     std::string Name;          // The name of the LLVM function "llvm.bswap.i32"
     std::string EnumName;      // The name of the enum "bswap_i32"
     std::string GCCBuiltinName;// Name of the corresponding GCC builtin, or "".
+    std::string MSBuiltinName; // Name of the corresponding MS builtin, or "".
     std::string TargetPrefix;  // Target prefix, e.g. "ppc" for t-s intrinsics.
 
     /// IntrinsicSignature - This structure holds the return values and
     /// parameter values of an intrinsic. If the number of return values is > 1,
     /// then the intrinsic implicitly returns a first-class aggregate. The
     /// numbering of the types starts at 0 with the first return value and
-    /// continues from there throug the parameter list. This is useful for
+    /// continues from there through the parameter list. This is useful for
     /// "matching" types.
     struct IntrinsicSignature {
       /// RetVTs - The MVT::SimpleValueType for each return type. Note that this
@@ -59,9 +60,10 @@ namespace llvm {
     IntrinsicSignature IS;
 
     // Memory mod/ref behavior of this intrinsic.
-    enum {
-      NoMem, ReadArgMem, ReadMem, WriteArgMem, WriteMem
-    } ModRef;
+    enum ModRefKind {
+      NoMem, ReadArgMem, ReadMem, ReadWriteArgMem, ReadWriteMem
+    };
+    ModRefKind ModRef;
 
     /// This is set to true if the intrinsic is overloaded by its argument
     /// types.
@@ -69,9 +71,23 @@ namespace llvm {
 
     /// isCommutative - True if the intrinsic is commutative.
     bool isCommutative;
-    
+
+    /// canThrow - True if the intrinsic can throw.
+    bool canThrow;
+
+    /// isNoDuplicate - True if the intrinsic is marked as noduplicate.
+    bool isNoDuplicate;
+
+    /// isNoReturn - True if the intrinsic is no-return.
+    bool isNoReturn;
+
+    /// isConvergent - True if the intrinsic is marked as convergent.
+    bool isConvergent;
+
     enum ArgAttribute {
-      NoCapture
+      NoCapture,
+      ReadOnly,
+      ReadNone
     };
     std::vector<std::pair<unsigned, ArgAttribute> > ArgumentAttributes;
 
@@ -80,7 +96,8 @@ namespace llvm {
 
   /// LoadIntrinsics - Read all of the intrinsics defined in the specified
   /// .td file.
-  std::vector<CodeGenIntrinsic> LoadIntrinsics(const RecordKeeper &RC);
+  std::vector<CodeGenIntrinsic> LoadIntrinsics(const RecordKeeper &RC,
+                                               bool TargetOnly);
 }
 
 #endif