Customizing LLVMC: Reference Manual

+ + + + LLVM Compiler Infrastructure + Last modified: $Date: 2009/03/03 05:17:41 $ + · tgmath.h

-  declare i8 @llvm.ctpop.i8 (i8  <src>)
+  declare i8 @llvm.ctpop.i8(i8  <src>)
   declare i16 @llvm.ctpop.i16(i16 <src>)
   declare i32 @llvm.ctpop.i32(i32 <src>)
   declare i64 @llvm.ctpop.i64(i64 <src>)
@@ -5753,8 +5762,8 @@
 with the replaced bits.
 
 Arguments:
-The first argument, %val and the result may be integer types of 
-any bit width but they must have the same bit width. %val is the value
+
The first argument, %val, and the result may be integer types of 
+any bit width, but they must have the same bit width. %val is the value
 whose bits will be replaced.  The second argument, %repl may be an
 integer of any bit width. The third and fourth arguments must be i32 
 type since they specify only a bit index.
@@ -5764,17 +5773,22 @@
 of operation: forwards and reverse. If %lo is greater than
 %hi then the intrinsic operates in reverse mode. Otherwise it
 operates in forward mode.
+
 For both modes, the %repl value is prepared for use by either
 truncating it down to the size of the replacement area or zero extending it 
 up to that size.
+
 In forward mode, the bits between %lo and %hi (inclusive)
 are replaced with corresponding bits from %repl. That is the 0th bit
 in %repl replaces the %loth bit in %val and etc. up
 to the %hith bit.
+
 In reverse mode, a similar computation is made except that the bits are
 reversed.  That is, the 0th bit in %repl replaces the 
 %hi bit in %val and etc. down to the %loth bit.
+
 Examples:
+
    llvm.part.set(0xFFFF, 0, 4, 7) -> 0xFF0F
   llvm.part.set(0xFFFF, 0, 7, 4) -> 0xFF0F
@@ -5782,6 +5796,248 @@
   llvm.part.set(0xFFFF, F, 8, 3) -> 0xFFE7
   llvm.part.set(0xFFFF, 0, 3, 8) -> 0xFE07
 
+
+
+
+
+
+  'llvm.sadd.with.overflow.*' Intrinsics
+
+
+
+
+Syntax:
+
+This is an overloaded intrinsic. You can use llvm.sadd.with.overflow
+on any integer bit width. However, not all targets support all bit widths.
+
++  declare {i16, i1} @llvm.sadd.with.overflow.i16(i16 %a, i16 %b)
+  declare {i32, i1} @llvm.sadd.with.overflow.i32(i32 %a, i32 %b)
+  declare {i64, i1} @llvm.sadd.with.overflow.i64(i64 %a, i64 %b)
+
+
+Overview:
+
+The 'llvm.sadd.with.overflow' family of intrinsic functions perform
+a signed addition of the two arguments, and indicate whether an overflow
+occurred during the signed summation.
+
+Arguments:
+
+The arguments (%a and %b) and the first element of the result structure may
+be of integer types of any bit width, but they must have the same bit width. The
+second element of the result structure must be of type i1. %a
+and %b are the two values that will undergo signed addition.
+
+Semantics:
+
+The 'llvm.sadd.with.overflow' family of intrinsic functions perform
+a signed addition of the two variables. They return a structure — the
+first element of which is the signed summation, and the second element of which
+is a bit specifying if the signed summation resulted in an overflow.
+
+Examples:
++  %res = call {i32, i1} @llvm.sadd.with.overflow.i32(i32 %a, i32 %b)
+  %sum = extractvalue {i32, i1} %res, 0
+  %obit = extractvalue {i32, i1} %res, 1
+  br i1 %obit, label %overflow, label %normal
+
+
+
+
+
+
+  'llvm.uadd.with.overflow.*' Intrinsics
+
+
+
+
+Syntax:
+
+This is an overloaded intrinsic. You can use llvm.uadd.with.overflow
+on any integer bit width. However, not all targets support all bit widths.
+
++  declare {i16, i1} @llvm.uadd.with.overflow.i16(i16 %a, i16 %b)
+  declare {i32, i1} @llvm.uadd.with.overflow.i32(i32 %a, i32 %b)
+  declare {i64, i1} @llvm.uadd.with.overflow.i64(i64 %a, i64 %b)
+
+
+Overview:
+
+The 'llvm.uadd.with.overflow' family of intrinsic functions perform
+an unsigned addition of the two arguments, and indicate whether a carry occurred
+during the unsigned summation.
+
+Arguments:
+
+The arguments (%a and %b) and the first element of the result structure may
+be of integer types of any bit width, but they must have the same bit width. The
+second element of the result structure must be of type i1. %a
+and %b are the two values that will undergo unsigned addition.
+
+Semantics:
+
+The 'llvm.uadd.with.overflow' family of intrinsic functions perform
+an unsigned addition of the two arguments. They return a structure — the
+first element of which is the sum, and the second element of which is a bit
+specifying if the unsigned summation resulted in a carry.
+
+Examples:
++  %res = call {i32, i1} @llvm.uadd.with.overflow.i32(i32 %a, i32 %b)
+  %sum = extractvalue {i32, i1} %res, 0
+  %obit = extractvalue {i32, i1} %res, 1
+  br i1 %obit, label %carry, label %normal
+
+
+
+
+
+
+  'llvm.ssub.with.overflow.*' Intrinsics
+
+
+
+
+Syntax:
+
+This is an overloaded intrinsic. You can use llvm.ssub.with.overflow
+on any integer bit width. However, not all targets support all bit widths.
+
++  declare {i16, i1} @llvm.ssub.with.overflow.i16(i16 %a, i16 %b)
+  declare {i32, i1} @llvm.ssub.with.overflow.i32(i32 %a, i32 %b)
+  declare {i64, i1} @llvm.ssub.with.overflow.i64(i64 %a, i64 %b)
+
+
+Overview:
+
+The 'llvm.ssub.with.overflow' family of intrinsic functions perform
+a signed subtraction of the two arguments, and indicate whether an overflow
+occurred during the signed subtraction.
+
+Arguments:
+
+The arguments (%a and %b) and the first element of the result structure may
+be of integer types of any bit width, but they must have the same bit width. The
+second element of the result structure must be of type i1. %a
+and %b are the two values that will undergo signed subtraction.
+
+Semantics:
+
+The 'llvm.ssub.with.overflow' family of intrinsic functions perform
+a signed subtraction of the two arguments. They return a structure — the
+first element of which is the subtraction, and the second element of which is a bit
+specifying if the signed subtraction resulted in an overflow.
+
+Examples:
++  %res = call {i32, i1} @llvm.ssub.with.overflow.i32(i32 %a, i32 %b)
+  %sum = extractvalue {i32, i1} %res, 0
+  %obit = extractvalue {i32, i1} %res, 1
+  br i1 %obit, label %overflow, label %normal
+
+
+
+
+
+
+  'llvm.usub.with.overflow.*' Intrinsics
+
+
+
+
+Syntax:
+
+This is an overloaded intrinsic. You can use llvm.usub.with.overflow
+on any integer bit width. However, not all targets support all bit widths.
+
++  declare {i16, i1} @llvm.usub.with.overflow.i16(i16 %a, i16 %b)
+  declare {i32, i1} @llvm.usub.with.overflow.i32(i32 %a, i32 %b)
+  declare {i64, i1} @llvm.usub.with.overflow.i64(i64 %a, i64 %b)
+
+
+Overview:
+
+The 'llvm.usub.with.overflow' family of intrinsic functions perform
+an unsigned subtraction of the two arguments, and indicate whether an overflow
+occurred during the unsigned subtraction.
+
+Arguments:
+
+The arguments (%a and %b) and the first element of the result structure may
+be of integer types of any bit width, but they must have the same bit width. The
+second element of the result structure must be of type i1. %a
+and %b are the two values that will undergo unsigned subtraction.
+
+Semantics:
+
+The 'llvm.usub.with.overflow' family of intrinsic functions perform
+an unsigned subtraction of the two arguments. They return a structure — the
+first element of which is the subtraction, and the second element of which is a bit
+specifying if the unsigned subtraction resulted in an overflow.
+
+Examples:
++  %res = call {i32, i1} @llvm.usub.with.overflow.i32(i32 %a, i32 %b)
+  %sum = extractvalue {i32, i1} %res, 0
+  %obit = extractvalue {i32, i1} %res, 1
+  br i1 %obit, label %overflow, label %normal
+
+
+
+
+
+
+  'llvm.smul.with.overflow.*' Intrinsics
+
+
+
+
+Syntax:
+
+This is an overloaded intrinsic. You can use llvm.smul.with.overflow
+on any integer bit width. However, not all targets support all bit widths.
+
++  declare {i16, i1} @llvm.smul.with.overflow.i16(i16 %a, i16 %b)
+  declare {i32, i1} @llvm.smul.with.overflow.i32(i32 %a, i32 %b)
+  declare {i64, i1} @llvm.smul.with.overflow.i64(i64 %a, i64 %b)
+
+
+Overview:
+
+The 'llvm.smul.with.overflow' family of intrinsic functions perform
+a signed multiplication of the two arguments, and indicate whether an overflow
+occurred during the signed multiplication.
+
+Arguments:
+
+The arguments (%a and %b) and the first element of the result structure may
+be of integer types of any bit width, but they must have the same bit width. The
+second element of the result structure must be of type i1. %a
+and %b are the two values that will undergo signed multiplication.
+
+Semantics:
+
+The 'llvm.smul.with.overflow' family of intrinsic functions perform
+a signed multiplication of the two arguments. They return a structure —
+the first element of which is the multiplication, and the second element of
+which is a bit specifying if the signed multiplication resulted in an
+overflow.
+
+Examples:
++  %res = call {i32, i1} @llvm.smul.with.overflow.i32(i32 %a, i32 %b)
+  %sum = extractvalue {i32, i1} %res, 0
+  %obit = extractvalue {i32, i1} %res, 1
+  br i1 %obit, label %overflow, label %normal
+
+
 
 
 




From gohman at apple.com  Mon Mar  2 20:55:14 2009
From: gohman at apple.com (Dan Gohman)
Date: Tue, 03 Mar 2009 02:55:14 -0000
Subject: [llvm-commits] [llvm] r65920 - in /llvm/trunk: include/llvm/
 include/llvm/CodeGen/ include/llvm/System/ include/llvm/Target/
 lib/Target/ARM/AsmPrinter/ lib/Target/CellSPU/AsmPrinter/
 lib/Target/PowerPC/ lib/Target/PowerPC/AsmPrinter/
 lib/Target/X86/AsmPrinter/ lib/Transforms/Scalar/ lib/Transforms/Utils/
 lib/VMCore/
Message-ID: <200903030255.n232tFI8015741@zion.cs.uiuc.edu>

Author: djg
Date: Mon Mar  2 20:55:14 2009
New Revision: 65920

URL: http://llvm.org/viewvc/llvm-project?rev=65920&view=rev
Log:
Fix a bunch of Doxygen syntax issues. Escape special characters,
and put @file directives on their own comment line.

Modified:
    llvm/trunk/include/llvm/CodeGen/MachineConstantPool.h
    llvm/trunk/include/llvm/CodeGen/MachineFrameInfo.h
    llvm/trunk/include/llvm/CodeGen/RegisterCoalescer.h
    llvm/trunk/include/llvm/CodeGen/SelectionDAGNodes.h
    llvm/trunk/include/llvm/Constants.h
    llvm/trunk/include/llvm/Module.h
    llvm/trunk/include/llvm/System/IncludeFile.h
    llvm/trunk/include/llvm/Target/TargetLowering.h
    llvm/trunk/lib/Target/ARM/AsmPrinter/ARMAsmPrinter.cpp
    llvm/trunk/lib/Target/CellSPU/AsmPrinter/SPUAsmPrinter.cpp
    llvm/trunk/lib/Target/PowerPC/AsmPrinter/PPCAsmPrinter.cpp
    llvm/trunk/lib/Target/PowerPC/PPCRegisterInfo.cpp
    llvm/trunk/lib/Target/X86/AsmPrinter/X86ATTAsmPrinter.cpp
    llvm/trunk/lib/Transforms/Scalar/InstructionCombining.cpp
    llvm/trunk/lib/Transforms/Utils/BasicBlockUtils.cpp
    llvm/trunk/lib/VMCore/Constants.cpp

Modified: llvm/trunk/include/llvm/CodeGen/MachineConstantPool.h
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/include/llvm/CodeGen/MachineConstantPool.h?rev=65920&r1=65919&r2=65920&view=diff

==============================================================================

--- llvm/trunk/include/llvm/CodeGen/MachineConstantPool.h (original)
+++ llvm/trunk/include/llvm/CodeGen/MachineConstantPool.h Mon Mar  2 20:55:14 2009
@@ -7,7 +7,8 @@
 //
 //===----------------------------------------------------------------------===//
 //
-/// @file This file declares the MachineConstantPool class which is an abstract
+/// @file
+/// This file declares the MachineConstantPool class which is an abstract
 /// constant pool to keep track of constants referenced by a function.
 //
 //===----------------------------------------------------------------------===//

Modified: llvm/trunk/include/llvm/CodeGen/MachineFrameInfo.h
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/include/llvm/CodeGen/MachineFrameInfo.h?rev=65920&r1=65919&r2=65920&view=diff

==============================================================================
--- llvm/trunk/include/llvm/CodeGen/MachineFrameInfo.h (original)
+++ llvm/trunk/include/llvm/CodeGen/MachineFrameInfo.h Mon Mar  2 20:55:14 2009
@@ -119,7 +119,7 @@
   bool HasVarSizedObjects;
 
   /// FrameAddressTaken - This boolean keeps track of whether there is a call
-  /// to builtin @llvm.frameaddress.
+  /// to builtin \@llvm.frameaddress.
   bool FrameAddressTaken;
 
   /// StackSize - The prolog/epilog code inserter calculates the final stack
@@ -207,7 +207,7 @@
 
   /// isFrameAddressTaken - This method may be called any time after instruction
   /// selection is complete to determine if there is a call to
-  /// @llvm.frameaddress in this function.
+  /// \@llvm.frameaddress in this function.
   bool isFrameAddressTaken() const { return FrameAddressTaken; }
   void setFrameAddressIsTaken(bool T) { FrameAddressTaken = T; }
 

Modified: llvm/trunk/include/llvm/CodeGen/RegisterCoalescer.h
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/include/llvm/CodeGen/RegisterCoalescer.h?rev=65920&r1=65919&r2=65920&view=diff

==============================================================================
--- llvm/trunk/include/llvm/CodeGen/RegisterCoalescer.h (original)
+++ llvm/trunk/include/llvm/CodeGen/RegisterCoalescer.h Mon Mar  2 20:55:14 2009
@@ -64,7 +64,7 @@
   ///
   ///   class LinearScanRegallocQuery : public RegallocQuery {
   ///   private:
-  ///     const LiveIntervals &li;
+  ///     const LiveIntervals \&li;
   ///
   ///   public:
   ///     LinearScanRegallocQuery(LiveIntervals &intervals) 

Modified: llvm/trunk/include/llvm/CodeGen/SelectionDAGNodes.h
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/include/llvm/CodeGen/SelectionDAGNodes.h?rev=65920&r1=65919&r2=65920&view=diff

==============================================================================
--- llvm/trunk/include/llvm/CodeGen/SelectionDAGNodes.h (original)
+++ llvm/trunk/include/llvm/CodeGen/SelectionDAGNodes.h Mon Mar  2 20:55:14 2009
@@ -1125,7 +1125,7 @@
   unsigned getOpcode()  const { return (unsigned short)NodeType; }
 
   /// isTargetOpcode - Test if this node has a target-specific opcode (in the
-  /// ISD namespace).
+  /// \ISD namespace).
   bool isTargetOpcode() const { return NodeType >= ISD::BUILTIN_OP_END; }
 
   /// isMachineOpcode - Test if this node has a post-isel opcode, directly

Modified: llvm/trunk/include/llvm/Constants.h
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/include/llvm/Constants.h?rev=65920&r1=65919&r2=65920&view=diff

==============================================================================
--- llvm/trunk/include/llvm/Constants.h (original)
+++ llvm/trunk/include/llvm/Constants.h Mon Mar  2 20:55:14 2009
@@ -7,7 +7,8 @@
 //
 //===----------------------------------------------------------------------===//
 //
-/// @file This file contains the declarations for the subclasses of Constant, 
+/// @file
+/// This file contains the declarations for the subclasses of Constant, 
 /// which represent the different flavors of constant values that live in LLVM.
 /// Note that Constants are immutable (once created they never change) and are 
 /// fully shared by structural equivalence.  This means that two structurally

Modified: llvm/trunk/include/llvm/Module.h
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/include/llvm/Module.h?rev=65920&r1=65919&r2=65920&view=diff

==============================================================================
--- llvm/trunk/include/llvm/Module.h (original)
+++ llvm/trunk/include/llvm/Module.h Mon Mar  2 20:55:14 2009
@@ -7,7 +7,8 @@
 //
 //===----------------------------------------------------------------------===//
 //
-/// @file This file contains the declarations for the Module class.
+/// @file
+/// Module.h This file contains the declarations for the Module class.
 //
 //===----------------------------------------------------------------------===//
 

Modified: llvm/trunk/include/llvm/System/IncludeFile.h
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/include/llvm/System/IncludeFile.h?rev=65920&r1=65919&r2=65920&view=diff

==============================================================================
--- llvm/trunk/include/llvm/System/IncludeFile.h (original)
+++ llvm/trunk/include/llvm/System/IncludeFile.h Mon Mar  2 20:55:14 2009
@@ -64,7 +64,8 @@
 /// helps to resolve that problem. The basic strategy is to use this class in
 /// a header file and pass the address of a variable to the constructor. If the
 /// variable is defined in the header file's corresponding .cpp file then all
-/// tools/libraries that #include the header file will require the .cpp as well.
+/// tools/libraries that \#include the header file will require the .cpp as
+/// well.
 /// For example:

 /// extern int LinkMyCodeStub;

 /// static IncludeFile LinkMyModule(&LinkMyCodeStub);


Modified: llvm/trunk/include/llvm/Target/TargetLowering.h
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/include/llvm/Target/TargetLowering.h?rev=65920&r1=65919&r2=65920&view=diff

==============================================================================
--- llvm/trunk/include/llvm/Target/TargetLowering.h (original)
+++ llvm/trunk/include/llvm/Target/TargetLowering.h Mon Mar  2 20:55:14 2009
@@ -1597,7 +1597,7 @@
   ISD::CondCode CmpLibcallCCs[RTLIB::UNKNOWN_LIBCALL];
 
 protected:
-  /// When lowering @llvm.memset this field specifies the maximum number of
+  /// When lowering \@llvm.memset this field specifies the maximum number of
   /// store operations that may be substituted for the call to memset. Targets
   /// must set this value based on the cost threshold for that target. Targets
   /// should assume that the memset will be done using as many of the largest
@@ -1608,7 +1608,7 @@
   /// @brief Specify maximum number of store instructions per memset call.
   unsigned maxStoresPerMemset;
 
-  /// When lowering @llvm.memcpy this field specifies the maximum number of
+  /// When lowering \@llvm.memcpy this field specifies the maximum number of
   /// store operations that may be substituted for a call to memcpy. Targets
   /// must set this value based on the cost threshold for that target. Targets
   /// should assume that the memcpy will be done using as many of the largest
@@ -1620,7 +1620,7 @@
   /// @brief Specify maximum bytes of store instructions per memcpy call.
   unsigned maxStoresPerMemcpy;
 
-  /// When lowering @llvm.memmove this field specifies the maximum number of
+  /// When lowering \@llvm.memmove this field specifies the maximum number of
   /// store instructions that may be substituted for a call to memmove. Targets
   /// must set this value based on the cost threshold for that target. Targets
   /// should assume that the memmove will be done using as many of the largest

Modified: llvm/trunk/lib/Target/ARM/AsmPrinter/ARMAsmPrinter.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Target/ARM/AsmPrinter/ARMAsmPrinter.cpp?rev=65920&r1=65919&r2=65920&view=diff

==============================================================================
--- llvm/trunk/lib/Target/ARM/AsmPrinter/ARMAsmPrinter.cpp (original)
+++ llvm/trunk/lib/Target/ARM/AsmPrinter/ARMAsmPrinter.cpp Mon Mar  2 20:55:14 2009
@@ -799,7 +799,7 @@
 }
 
 /// PrintUnmangledNameSafely - Print out the printable characters in the name.
-/// Don't print things like \n or \0.
+/// Don't print things like \\n or \\0.
 static void PrintUnmangledNameSafely(const Value *V, raw_ostream &OS) {
   for (const char *Name = V->getNameStart(), *E = Name+V->getNameLen();
        Name != E; ++Name)

Modified: llvm/trunk/lib/Target/CellSPU/AsmPrinter/SPUAsmPrinter.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Target/CellSPU/AsmPrinter/SPUAsmPrinter.cpp?rev=65920&r1=65919&r2=65920&view=diff

==============================================================================
--- llvm/trunk/lib/Target/CellSPU/AsmPrinter/SPUAsmPrinter.cpp (original)
+++ llvm/trunk/lib/Target/CellSPU/AsmPrinter/SPUAsmPrinter.cpp Mon Mar  2 20:55:14 2009
@@ -496,7 +496,7 @@
 }
 
 /// PrintUnmangledNameSafely - Print out the printable characters in the name.
-/// Don't print things like \n or \0.
+/// Don't print things like \\n or \\0.
 static void PrintUnmangledNameSafely(const Value *V, raw_ostream &OS) {
   for (const char *Name = V->getNameStart(), *E = Name+V->getNameLen();
        Name != E; ++Name)

Modified: llvm/trunk/lib/Target/PowerPC/AsmPrinter/PPCAsmPrinter.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Target/PowerPC/AsmPrinter/PPCAsmPrinter.cpp?rev=65920&r1=65919&r2=65920&view=diff

==============================================================================
--- llvm/trunk/lib/Target/PowerPC/AsmPrinter/PPCAsmPrinter.cpp (original)
+++ llvm/trunk/lib/Target/PowerPC/AsmPrinter/PPCAsmPrinter.cpp Mon Mar  2 20:55:14 2009
@@ -657,7 +657,7 @@
 }
 
 /// PrintUnmangledNameSafely - Print out the printable characters in the name.
-/// Don't print things like \n or \0.
+/// Don't print things like \\n or \\0.
 static void PrintUnmangledNameSafely(const Value *V, raw_ostream &OS) {
   for (const char *Name = V->getNameStart(), *E = Name+V->getNameLen();
        Name != E; ++Name)

Modified: llvm/trunk/lib/Target/PowerPC/PPCRegisterInfo.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Target/PowerPC/PPCRegisterInfo.cpp?rev=65920&r1=65919&r2=65920&view=diff

==============================================================================
--- llvm/trunk/lib/Target/PowerPC/PPCRegisterInfo.cpp (original)
+++ llvm/trunk/lib/Target/PowerPC/PPCRegisterInfo.cpp Mon Mar  2 20:55:14 2009
@@ -467,9 +467,9 @@
 /// lowerDynamicAlloc - Generate the code for allocating an object in the
 /// current frame.  The sequence of code with be in the general form
 ///
-///   addi   R0, SP, #frameSize ; get the address of the previous frame
+///   addi   R0, SP, \#frameSize ; get the address of the previous frame
 ///   stwxu  R0, SP, Rnegsize   ; add and update the SP with the negated size
-///   addi   Rnew, SP, #maxCalFrameSize ; get the top of the allocation
+///   addi   Rnew, SP, \#maxCalFrameSize ; get the top of the allocation
 ///
 void PPCRegisterInfo::lowerDynamicAlloc(MachineBasicBlock::iterator II,
                                         int SPAdj, RegScavenger *RS) const {

Modified: llvm/trunk/lib/Target/X86/AsmPrinter/X86ATTAsmPrinter.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Target/X86/AsmPrinter/X86ATTAsmPrinter.cpp?rev=65920&r1=65919&r2=65920&view=diff

==============================================================================
--- llvm/trunk/lib/Target/X86/AsmPrinter/X86ATTAsmPrinter.cpp (original)
+++ llvm/trunk/lib/Target/X86/AsmPrinter/X86ATTAsmPrinter.cpp Mon Mar  2 20:55:14 2009
@@ -85,7 +85,7 @@
 }
 
 /// PrintUnmangledNameSafely - Print out the printable characters in the name.
-/// Don't print things like \n or \0.
+/// Don't print things like \\n or \\0.
 static void PrintUnmangledNameSafely(const Value *V, raw_ostream &OS) {
   for (const char *Name = V->getNameStart(), *E = Name+V->getNameLen();
        Name != E; ++Name)

Modified: llvm/trunk/lib/Transforms/Scalar/InstructionCombining.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Transforms/Scalar/InstructionCombining.cpp?rev=65920&r1=65919&r2=65920&view=diff

==============================================================================
--- llvm/trunk/lib/Transforms/Scalar/InstructionCombining.cpp (original)
+++ llvm/trunk/lib/Transforms/Scalar/InstructionCombining.cpp Mon Mar  2 20:55:14 2009
@@ -11381,9 +11381,9 @@
 /// equivalentAddressValues - Test if A and B will obviously have the same
 /// value. This includes recognizing that %t0 and %t1 will have the same
 /// value in code like this:
-///   %t0 = getelementptr @a, 0, 3
+///   %t0 = getelementptr \@a, 0, 3
 ///   store i32 0, i32* %t0
-///   %t1 = getelementptr @a, 0, 3
+///   %t1 = getelementptr \@a, 0, 3
 ///   %t2 = load i32* %t1
 ///
 static bool equivalentAddressValues(Value *A, Value *B) {

Modified: llvm/trunk/lib/Transforms/Utils/BasicBlockUtils.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Transforms/Utils/BasicBlockUtils.cpp?rev=65920&r1=65919&r2=65920&view=diff

==============================================================================
--- llvm/trunk/lib/Transforms/Utils/BasicBlockUtils.cpp (original)
+++ llvm/trunk/lib/Transforms/Utils/BasicBlockUtils.cpp Mon Mar  2 20:55:14 2009
@@ -425,9 +425,9 @@
 /// AreEquivalentAddressValues - Test if A and B will obviously have the same
 /// value. This includes recognizing that %t0 and %t1 will have the same
 /// value in code like this:
-///   %t0 = getelementptr @a, 0, 3
+///   %t0 = getelementptr \@a, 0, 3
 ///   store i32 0, i32* %t0
-///   %t1 = getelementptr @a, 0, 3
+///   %t1 = getelementptr \@a, 0, 3
 ///   %t2 = load i32* %t1
 ///
 static bool AreEquivalentAddressValues(const Value *A, const Value *B) {

Modified: llvm/trunk/lib/VMCore/Constants.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/VMCore/Constants.cpp?rev=65920&r1=65919&r2=65920&view=diff

==============================================================================
--- llvm/trunk/lib/VMCore/Constants.cpp (original)
+++ llvm/trunk/lib/VMCore/Constants.cpp Mon Mar  2 20:55:14 2009
@@ -1277,8 +1277,8 @@
   return AggZeroConstants->getOrCreate(Ty, 0);
 }
 
-// destroyConstant - Remove the constant from the constant table...
-//
+/// destroyConstant - Remove the constant from the constant table...
+///
 void ConstantAggregateZero::destroyConstant() {
   AggZeroConstants->remove(this);
   destroyConstantImpl();
@@ -1328,8 +1328,8 @@
   return ConstantAggregateZero::get(Ty);
 }
 
-// destroyConstant - Remove the constant from the constant table...
-//
+/// destroyConstant - Remove the constant from the constant table...
+///
 void ConstantArray::destroyConstant() {
   ArrayConstants->remove(this);
   destroyConstantImpl();
@@ -1370,7 +1370,7 @@
 }
 
 /// isCString - This method returns true if the array is a string (see
-/// isString) and it ends in a null byte \0 and does not contains any other
+/// isString) and it ends in a null byte \\0 and does not contains any other
 /// null bytes except its terminator.
 bool ConstantArray::isCString() const {
   // Check the element type for i8...
@@ -1391,10 +1391,10 @@
 }
 
 
-// getAsString - If the sub-element type of this array is i8
-// then this method converts the array to an std::string and returns it.
-// Otherwise, it asserts out.
-//
+/// getAsString - If the sub-element type of this array is i8
+/// then this method converts the array to an std::string and returns it.
+/// Otherwise, it asserts out.
+///
 std::string ConstantArray::getAsString() const {
   assert(isString() && "Not a string!");
   std::string Result;




From nicholas at mxc.ca  Mon Mar  2 21:14:53 2009
From: nicholas at mxc.ca (Nick Lewycky)
Date: Mon, 02 Mar 2009 19:14:53 -0800
Subject: [llvm-commits] [llvm] r65846 -
	/llvm/trunk/docs/ReleaseNotes.html
In-Reply-To: <200903021658.n22Gw3Qe023616@zion.cs.uiuc.edu>
References: <200903021658.n22Gw3Qe023616@zion.cs.uiuc.edu>
Message-ID: <49ACA0AD.9040900@mxc.ca>

Duncan Sands wrote:
> Author: baldrick
> Date: Mon Mar  2 10:58:00 2009
> New Revision: 65846
> 
> URL: http://llvm.org/viewvc/llvm-project?rev=65846&view=rev
> Log:
> Try to make the meaning of 'nocapture' a bit clearer.  I
> commented out the line about simplifylibcalls because I
> think this doesn't work in the release (it was fixed in
> svn after the release branched).

Yes, I think that's right also.

> 
> Modified:
>     llvm/trunk/docs/ReleaseNotes.html
> 
> Modified: llvm/trunk/docs/ReleaseNotes.html
> URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/docs/ReleaseNotes.html?rev=65846&r1=65845&r2=65846&view=diff
> 
> ==============================================================================
> --- llvm/trunk/docs/ReleaseNotes.html (original)
> +++ llvm/trunk/docs/ReleaseNotes.html Mon Mar  2 10:58:00 2009
> @@ -368,13 +368,16 @@
>  LLVM IR supports two new attributes for better alias analysis.  The   href="LangRef.html#paramattrs">noalias attribute can now be used on the
>  return value of a function to indicate that it returns new memory (e.g.
> -'malloc', 'calloc', etc).
> -
> -The new nocapture attribute can be
> -used on pointer arguments to functions that access through but do not return the
> -pointer in a data structure that out lives the call (e.g. 'strlen', 'memcpy',
> -and many others).  The simplifylibcalls pass applies these attributes to
> -standard libc functions.
> +'malloc', 'calloc', etc).
> +The new nocapture attribute can be used
> +on pointer arguments to indicate that the function does not return the pointer,
> +store it in an object that outlives the call, or let the value of the pointer
> +escape from the function in any other way.

> +Note that it is the pointer itself that must not escape, not the value it
> +points to: loading a value out of the pointer is perfectly fine.
> +Many standard library functions (e.g. 'strlen', 'memcpy') have this property.

Does this note really belong in the release notes? Perhaps the link to 
the LangRef is enough?

Nick

> +
> +

0	Saved SP (r1)
4	Saved CR
8	Saved LR
12	Reserved
16	Reserved
20	Saved FP (r31)

0	Saved SP (r1)
8	Saved CR
16	Saved LR
24	Reserved
32	Reserved
40	Saved FP (r31)

Old Way	New Way
#include <iostream>	#include "llvm/Support/Streams.h"
DEBUG(std::cerr << ...); + DEBUG(dump(std::cerr));	DOUT << ...; + DEBUG(dump(DOUT));
std::cerr << "Hello world\n";	llvm::cerr << "Hello world\n";
std::cout << "Hello world\n";	llvm::cout << "Hello world\n";
std::cin >> Var;	llvm::cin >> Var;
std::ostream	llvm::OStream
std::istream	llvm::IStream
std::stringstream	llvm::StringStream
void print(std::ostream &Out); + // ... + print(std::cerr);	`void print(llvm::OStream Out);¹ + // ... + print(llvm::cerr);` +

Collector	`gc` attribute	Linkage	`gcroot`	`gcread`	`gcwrite`
SemiSpace	`gc "shadow-stack"`	TODO FIXME	required	optional	optional
Ocaml	`gc "ocaml"`	provided by ocamlopt	required	optional	optional

Algorithm	Done	shadow stack	refcount	mark-sweep	copying	incremental	threaded	concurrent
stack map	✔			✘	✘	✘	✘	✘
initialize roots	✔	✘	✘	✘	✘	✘	✘	✘
derived pointers	NO						✘*	✘*
custom lowering	✔
gcroot	✔	✘	✘
gcwrite	✔		✘			✘		✘
gcread	✔							✘
safe points
in calls	✔			✘	✘	✘	✘	✘
before calls	✔						✘	✘
for loops	NO						✘	✘
before escape	✔						✘	✘
emit code at safe points	NO						✘	✘
output
assembly	✔			✘	✘	✘	✘	✘
JIT	NO			✘	✘	✘	✘	✘
obj	NO			✘	✘	✘	✘	✘
live analysis	NO			✘	✘	✘	✘	✘
register map	NO			✘	✘	✘	✘	✘
+ * Derived pointers only pose a + hazard to copying collectors. + ✘ in gray denotes a feature which + could be utilized if available. +

OS	Arch	Compilers
Linux	x86¹	GCC
Solaris	V9 (Ultrasparc)	GCC
FreeBSD	x86¹	GCC
MacOS X²	PowerPC	GCC
MacOS X^2,9	x86	GCC
Cygwin/Win32	x86^1,8	GCC 3.4.X, binutils 2.15
MinGW/Win32	x86^1,6,8	GCC 3.4.X, binutils 2.15
Linux	amd64	GCC

OS	Arch	Compilers
Windows	x86¹	Visual Studio 2005 SP1 or higher^4,5
AIX^3,4	PowerPC	GCC
Linux^3,5	PowerPC	GCC
Linux⁷	Alpha	GCC
Linux⁷	Itanium (IA-64)	GCC
HP-UX⁷	Itanium (IA-64)	HP aCC

Package	Version	Notes
GNU Make	3.79, 3.79.1	Makefile/build processor
GCC	3.4.2	C/C++ compiler¹
TeXinfo	4.5	For building the CFE
SVN	≥1.3	Subversion access to LLVM²
DejaGnu	1.4.2	Automated test suite³
tcl	8.3, 8.4	Automated test suite³
expect	5.38.0	Automated test suite³
perl	≥5.6.0	Nightly tester, utilities
GNU M4 +	1.4	Macro processor for configuration⁴
GNU Autoconf	2.59	Configuration script builder⁴
GNU Automake	1.9.2	aclocal macro generator⁴
libtool	1.5.10	Shared library manager⁴

Variable	Purpose
CC	Tells `configure` which C compiler to use. By default, + `configure` will look for the first GCC C compiler in + `PATH`. Use this variable to override + `configure`'s default behavior.
CXX	Tells `configure` which C++ compiler to use. By default, + `configure` will look for the first GCC C++ compiler in + `PATH`. Use this variable to override + `configure`'s default behavior.

Classification	Types
integer	`i1, i2, i3, ... i8, ... i16, ... i32, ... i64, ...`
floating point	`float, double, x86_fp80, fp128, ppc_fp128`
first class	integer, + floating point, + pointer, + vector, + structure, + array, + label. +
primitive	label, + void, + floating point.
derived	integer, + array, + function, + pointer, + structure, + packed structure, + vector, + opaque. +

Type	Description
`float`	32-bit floating point value
`double`	64-bit floating point value
`fp128`	128-bit floating point value (112-bit mantissa)
`x86_fp80`	80-bit floating point value (X87)
`ppc_fp128`	128-bit floating point value (two 64-bits)

- A -
ADCE
- B -
BURS
- C -
CSE
- D -
DAG	Derived Pointer	DSA	DSE
- G -
GC
- I -
IPA	IPO	ISel
- L -
LCSSA	LICM	Load-VN
- O -
Object Pointer
- P -
PRE
- R -
RAUW	Reassociation	Root
- S -
Safe Point	SCC	SCCP	SDISel	SRoA	Stack Map

Target Name	Implied Targets	Target Description
`all`		Compile the software recursively. Default target. +
`all-local`		Compile the software in the local directory only. +
`check`		Change to the `test` directory in a project and run the + test suite there. +
`check-local`		Run a local test suite. Generally this is only defined in the + `Makefile` of the project's `test` directory. +
`clean`		Remove built objects recursively. +
`clean-local`		Remove built objects from the local directory only. +
`dist`	all	Prepare a source distribution tarball. +
`dist-check`	all	Prepare a source distribution tarball and check that it builds. +
`dist-clean`	clean	Clean source distribution tarball temporary files. +
`install`	all	Copy built objects to installation directory. +
`preconditions`	all	Check to make sure configuration and makefiles are up to date. +
`printvars`	all	Prints variables defined by the makefile system (for debugging). +
`tags`		Make C and C++ tags files for emacs and vi. +
`uninstall`		Remove built objects from installation directory. +

ANALYSIS PASSES
Option	Name
-aa-eval	Exhaustive Alias Analysis Precision Evaluator
-anders-aa	Andersen's Interprocedural Alias Analysis
-basicaa	Basic Alias Analysis (default AA impl)
-basiccg	Basic CallGraph Construction
-basicvn	Basic Value Numbering (default GVN impl)
-codegenprepare	Optimize for code generation
-count-aa	Count Alias Analysis Query Responses
-debug-aa	AA use debugger
-domfrontier	Dominance Frontier Construction
-domtree	Dominator Tree Construction
-dot-callgraph	Print Call Graph to 'dot' file
-dot-cfg	Print CFG of function to 'dot' file
-dot-cfg-only	Print CFG of function to 'dot' file (with no function bodies)
-globalsmodref-aa	Simple mod/ref analysis for globals
-instcount	Counts the various types of Instructions
-intervals	Interval Partition Construction
-load-vn	Load Value Numbering
-loops	Natural Loop Construction
-memdep	Memory Dependence Analysis
-no-aa	No Alias Analysis (always returns 'may' alias)
-no-profile	No Profile Information
-postdomfrontier	Post-Dominance Frontier Construction
-postdomtree	Post-Dominator Tree Construction
-print-alias-sets	Alias Set Printer
-print-callgraph	Print a call graph
-print-callgraph-sccs	Print SCCs of the Call Graph
-print-cfg-sccs	Print SCCs of each function CFG
-print-externalfnconstants	Print external fn callsites passed constants
-print-function	Print function to stderr
-print-module	Print module to stderr
-print-used-types	Find Used Types
-profile-loader	Load profile information from llvmprof.out
-scalar-evolution	Scalar Evolution Analysis
-targetdata	Target Data Layout
TRANSFORM PASSES
Option	Name
-adce	Aggressive Dead Code Elimination
-argpromotion	Promote 'by reference' arguments to scalars
-block-placement	Profile Guided Basic Block Placement
-break-crit-edges	Break critical edges in CFG
-codegenprepare	Prepare a function for code generation
-condprop	Conditional Propagation
-constmerge	Merge Duplicate Global Constants
-constprop	Simple constant propagation
-dce	Dead Code Elimination
-deadargelim	Dead Argument Elimination
-deadtypeelim	Dead Type Elimination
-die	Dead Instruction Elimination
-dse	Dead Store Elimination
-gcse	Global Common Subexpression Elimination
-globaldce	Dead Global Elimination
-globalopt	Global Variable Optimizer
-gvn	Global Value Numbering
-gvnpre	Global Value Numbering/Partial Redundancy Elimination
-indmemrem	Indirect Malloc and Free Removal
-indvars	Canonicalize Induction Variables
-inline	Function Integration/Inlining
-insert-block-profiling	Insert instrumentation for block profiling
-insert-edge-profiling	Insert instrumentation for edge profiling
-insert-function-profiling	Insert instrumentation for function profiling
-insert-null-profiling-rs	Measure profiling framework overhead
-insert-rs-profiling-framework	Insert random sampling instrumentation framework
-instcombine	Combine redundant instructions
-internalize	Internalize Global Symbols
-ipconstprop	Interprocedural constant propagation
-ipsccp	Interprocedural Sparse Conditional Constant Propagation
-jump-threading	Thread control through conditional blocks
-lcssa	Loop-Closed SSA Form Pass
-licm	Loop Invariant Code Motion
-loop-deletion	Dead Loop Deletion Pass
-loop-extract	Extract loops into new functions
-loop-extract-single	Extract at most one loop into a new function
-loop-index-split	Index Split Loops
-loop-reduce	Loop Strength Reduction
-loop-rotate	Rotate Loops
-loop-unroll	Unroll loops
-loop-unswitch	Unswitch loops
-loopsimplify	Canonicalize natural loops
-lowerallocs	Lower allocations from instructions to calls
-lowerinvoke	Lower invoke and unwind, for unwindless code generators
-lowersetjmp	Lower Set Jump
-lowerswitch	Lower SwitchInst's to branches
-mem2reg	Promote Memory to Register
-memcpyopt	Optimize use of memcpy and friends
-mergereturn	Unify function exit nodes
-predsimplify	Predicate Simplifier
-prune-eh	Remove unused exception handling info
-raiseallocs	Raise allocations from calls to instructions
-reassociate	Reassociate expressions
-reg2mem	Demote all values to stack slots
-scalarrepl	Scalar Replacement of Aggregates
-sccp	Sparse Conditional Constant Propagation
-simplify-libcalls	Simplify well-known library calls
-simplifycfg	Simplify the CFG
-strip	Strip all symbols from a module
-strip-dead-prototypes	Remove unused function declarations
-sretpromotion	Promote sret arguments
-tailcallelim	Tail Call Elimination
-tailduplicate	Tail Duplication
UTILITY PASSES
Option	Name
-deadarghaX0r	Dead Argument Hacking (BUGPOINT USE ONLY; DO NOT USE)
-extract-blocks	Extract Basic Blocks From Module (for bugpoint use)
-preverify	Preliminary module verification
-verify	Module Verifier
-view-cfg	View CFG of function
-view-cfg-only	View CFG of function (with no function bodies)

Library	Forms	Description
Core Libraries
LLVMArchive	`.a`	LLVM archive reading and writing
LLVMAsmParser	`.a`	LLVM assembly parsing
LLVMBCReader	`.a`	LLVM bitcode reading
LLVMBCWriter	`.a`	LLVM bitcode writing
LLVMCore	`.a`	LLVM core intermediate representation
LLVMDebugger	`.a`	Source level debugging support
LLVMLinker	`.a`	Bitcode and archive linking interface
LLVMSupport	`.a`	General support utilities
LLVMSystem	`.a`	Operating system abstraction layer
LLVMbzip2	`.a`	BZip2 compression library
Analysis Libraries
LLVMAnalysis	`.a`	Various analysis passes.
LLVMDataStructure	`.o`	Data structure analysis passes.
LLVMipa	`.a`	Inter-procedural analysis passes.
Transformation Libraries
LLVMInstrumentation	`.a`	Instrumentation passes.
LLVMipo	`.a`	All inter-procedural optimization passes.
LLVMScalarOpts	`.a`	All scalar optimization passes.
LLVMTransformUtils	`.a`	Transformation utilities used by many passes.
Code Generation Libraries
LLVMCodeGen	`.o`	Native code generation infrastructure
LLVMSelectionDAG	`.o`	Aggressive instruction selector for directed acyclic graphs
Target Libraries
LLVMAlpha	`.o`	Code generation for Alpha architecture
LLVMARM	`.o`	Code generation for ARM architecture
LLVMCBackend	`.o`	'C' language code generator.
LLVMIA64	`.o`	Code generation for IA64 architecture
LLVMPowerPC	`.o`	Code generation for PowerPC architecture
LLVMSparc	`.o`	Code generation for Sparc architecture
LLVMTarget	`.a`	Generic code generation utilities.
LLVMX86	`.o`	Code generation for Intel x86 architecture
Runtime Libraries
LLVMInterpreter	`.o`	Bitcode Interpreter
LLVMJIT	`.o`	Bitcode JIT Compiler
LLVMExecutionEngine	`.o`	Virtual machine engine

In0	In1	Out
0	0	0
0	1	0
1	0	0
1	1	1

In0	In1	Out
0	0	0
0	1	1
1	0	1
1	1	1

In0	In1	Out
0	0	0
0	1	1
1	0	1
1	1	0

Arguments:

Examples:

Syntax:

Overview:

Arguments:

Semantics:

Examples:

Syntax:

Overview:

Arguments:

Semantics:

Examples:

Syntax:

Overview:

Arguments:

Semantics:

Examples:

Syntax:

Overview:

Arguments:

Semantics:

Examples:

Syntax:

Overview:

Arguments:

Semantics:

Examples:

Customizing LLVMC: Reference Manual

Tutorial - Using LLVMC

Syntax:

Syntax:

Overview:

Syntax:

Overview:

Syntax:

Overview:

Syntax:

Examples:

Overview:

Syntax:

Examples:

Overview:

Syntax:

Examples:

Overview:

Syntax:

Examples:

Overview:

Syntax:

Examples:

Overview:

Syntax:

Examples:

Overview:

Syntax:

Examples:

Overview:

Syntax:

Examples:

Overview:

Syntax:

Examples:

Syntax:

Overview:

Arguments:

Semantics:

Example:

Syntax:

Overview:

Arguments:

Semantics:

Example:

Syntax:

Overview:

Arguments:

Semantics:

Implementation:

Example:

Syntax:

Overview: