add an assertion
[oota-llvm.git] / include / llvm / Intrinsics.h
index 6a9ea809b14c8e852a55511c3202260637865adb..dd490f45b9898e73e9e2c33b30e44133b85c8c1b 100644 (file)
@@ -26,27 +26,27 @@ namespace Intrinsic {
   enum ID {
     not_intrinsic = 0,   // Must be zero
 
-    // Varargs handling intrinsics...
+    // Varargs handling intrinsics.
     vastart,        // Used to implement the va_start macro in C
     vaend,          // Used to implement the va_end macro in C
     vacopy,         // Used to implement the va_copy macro in C
 
-    // Code generator intrinsics...
+    // Code generator intrinsics.
     returnaddress,  // Yields the return address of a dynamic call frame
     frameaddress,   // Yields the frame address of a dynamic call frame
 
-    // Standard libc functions...
-    memcpy,         // Copy non-overlapping memory blocks
-    memmove,        // Copy potentially overlapping memory blocks
-    memset,         // Fill memory with a byte value
-
-    // Setjmp/Longjmp intrinsics...
+    // setjmp/longjmp intrinsics.
     setjmp,         // Used to represent a setjmp call in C
     longjmp,        // Used to represent a longjmp call in C
     sigsetjmp,      // Used to represent a sigsetjmp call in C
     siglongjmp,     // Used to represent a siglongjmp call in C
 
-    // Debugging intrinsics...
+    // Garbage Collection intrinsics.
+    gcroot,         // Defines a new GC root on the stack
+    gcread,         // Defines a read of a heap object  (for read barriers)
+    gcwrite,        // Defines a write to a heap object (for write barriers)
+
+    // Debugging intrinsics.
     dbg_stoppoint,    // Represents source lines and breakpointable places
     dbg_region_start, // Start of a region
     dbg_region_end,   // End of a region
@@ -54,102 +54,19 @@ namespace Intrinsic {
     dbg_declare,      // Declare a local object
 
 
-    // Standard libm functions...
-    
+    // Standard libc functions.
+    memcpy,         // Copy non-overlapping memory blocks
+    memmove,        // Copy potentially overlapping memory blocks
+    memset,         // Fill memory with a byte value
+
+    // libm related functions.
+    isunordered,    // Return true if either argument is a NaN
 
-    // Input/Output intrinsics
+    // Input/Output intrinsics.
     readport,
     writeport,
-
-    //===------------------------------------------------------------------===//
-    // This section defines intrinsic functions used to represent Alpha
-    // instructions...
-    //
-    alpha_ctlz,     // CTLZ (count leading zero): counts the number of leading
-                    // zeros in the given ulong value
-
-    alpha_cttz,     // CTTZ (count trailing zero): counts the number of trailing
-                    // zeros in the given ulong value 
-
-    alpha_ctpop,    // CTPOP (count population): counts the number of ones in
-                    // the given ulong value 
-
-    alpha_umulh,    // UMULH (unsigned multiply quadword high): Takes two 64-bit
-                    // (ulong) values, and returns the upper 64 bits of their
-                    // 128 bit product as a ulong
-
-    alpha_vecop,    // A generic vector operation. This function is used to
-                    // represent various Alpha vector/multimedia instructions.
-                    // It takes 4 parameters:
-                    //  - the first two are 2 ulong vectors
-                    //  - the third (uint) is the size (in bytes) of each 
-                    //    vector element. Thus a value of 1 means that the two
-                    //    input vectors consist of 8 bytes
-                    //  - the fourth (uint) is the operation to be performed on
-                    //    the vectors. Its possible values are defined in the
-                    //    enumeration AlphaVecOps.
-
-    alpha_pup,      // A pack/unpack operation. This function is used to
-                    // represent Alpha pack/unpack operations. 
-                    // It takes 3 parameters:
-                    //  - the first is an ulong to pack/unpack
-                    //  - the second (uint) is the size of each component
-                    //    Valid values are 2 (word) or 4 (longword)
-                    //  - the third (uint) is the operation to be performed.
-                    //    Possible values defined in the enumeration 
-                    //    AlphaPupOps
-
-    alpha_bytezap,  // This intrinsic function takes two parameters: a ulong 
-                    // (64-bit) value and a ubyte value, and returns a ulong.
-                    // Each bit in the ubyte corresponds to a byte in the 
-                    // ulong. If the bit is 0, the byte in the output equals
-                    // the corresponding byte in the input, else the byte in
-                    // the output is zero.
-
-    alpha_bytemanip,// This intrinsic function represents all Alpha byte
-                    // manipulation instructions. It takes 3 parameters:
-                    //  - The first two are ulong inputs to operate on
-                    //  - The third (uint) is the operation to perform. 
-                    //    Possible values defined in the enumeration
-                    //    AlphaByteManipOps
-
-    alpha_dfpbop,   // This intrinsic function represents Alpha instructions
-                    // that operate on two doubles and return a double. The
-                    // first two parameters are the two double values to
-                    // operate on, and the third is a uint that specifies the
-                    // operation to perform. Its possible values are defined in
-                    // the enumeration AlphaFloatingBinaryOps
-
-    alpha_dfpuop,   // This intrinsic function represents operation on a single
-                    // double precision floating point value. The first 
-                    // paramters is the value and the second is the operation.
-                    // The possible values for the operations are defined in the
-                    // enumeration AlphaFloatingUnaryOps
-
-    alpha_unordered,// This intrinsic function tests if two double precision
-                    // floating point values are unordered. It has two
-                    // parameters: the two values to be tested. It return a
-                    // boolean true if the two are unordered, else false.
-
-    alpha_uqtodfp,  // A generic function that converts a ulong to a double.
-                    // How the conversion is performed is specified by the
-                    // second parameter, the possible values for which are
-                    // defined in the AlphaUqToDfpOps enumeration
-
-    alpha_uqtosfp,  // A generic function that converts a ulong to a float.
-                    // How the conversion is performed is specified by the
-                    // second parameter, the possible values for which are
-                    // defined in the AlphaUqToSfpOps enumeration
-
-    alpha_dfptosq,  // A generic function that converts double to a long.
-                    // How the conversion is performed is specified by the
-                    // second parameter, the possible values for which are
-                    // defined in the AlphaDfpToSqOps enumeration
-
-    alpha_sfptosq,  // A generic function that converts a float to a long.
-                    // How the conversion is performed is specified by the
-                    // second parameter, the possible values for which are
-                    // defined in the AlphaSfpToSq enumeration
+    readio,
+    writeio
   };
 
 } // End Intrinsic namespace