Writing it twice in the same day was too much for me.

llvm-svn: 35978

llvm-svn: 35950

Implement the "part_set" intrinsic.

llvm-svn: 35938

not retain that name. Not noticed because AsmParser always sets name after
construction. However, llvm2cpp noticed.

llvm-svn: 35903

Put the parameter attributes in their own ParamAttr name space. Adjust the
rest of llvm as a result.

llvm-svn: 35877

llvm-svn: 35857

llvm-svn: 35856

* Add ParamAttrs to InvokeInst class too.
* Make sure all initializes of ParamAttrs in CallInst and InvokeInst are 0
* Destruct the ParamAttrs in Call/Invoke destructors to avoid memory
  leaks. This will change when ParamAttrsList is uniquified but needs to
  be correct until then.

llvm-svn: 35824

llvm-svn: 35823

* Add ParamAttrList pointers to Function and CallInst.
* Move the implementation of ParamAttrList from Type.cpp to Function.cpp

llvm-svn: 35818

llvm-svn: 35815

Simplify construction of FunctionType to use default arguments.

llvm-svn: 35810

Parameter attributes can now be defaulted for intrinsics.

llvm-svn: 35809

Adjust writing of parameter attributes to use ParamAttrList class.

llvm-svn: 35808

llvm-svn: 35807

Move parameter attributes functionality to ParamAttrsList class.

llvm-svn: 35806

llvm-svn: 35797

llvm-svn: 35775

llvm-svn: 35756

ETForest updating mechanisms don't work as I thought they did.  These changes
will be reapplied once the issue is worked out.

llvm-svn: 35741

llvm-svn: 35731

Implement Type class's ContainedTys without using a std::vector.

llvm-svn: 35693

llvm-svn: 35678

Implement "actual" argument types for the Intrinsic member functions. This
involves changing the getName, getType, and getDeclaration methods to have
optional parameters for the actual types. These are necessary in order for
the type/name to be constructed properly for overloaded intrinsics. Only
the caller knows the actual argument types desired.

llvm-svn: 35541

1. Clear up confusion between "GotBits" and "ExpectBits". GotBits is the
   type actually provided. ExpectedBits is the type expected for the
   intrinsics. Before this patch, it was reversed!
2. Implement checks for overloaded intrinsics. This involves computing the
   suffix expected and making sure the suffix matches the function name. It
   also includes some intrinsic-specific checks such as ensuring that the
   bswap parameter and result are the same width and an even number of bytes.

llvm-svn: 35540

llvm-svn: 35526

based on their ordering. This is applicable to ETForest::dominates() also.

llvm-svn: 35423

llvm-svn: 35405

llvm-svn: 35388

llvm-svn: 35374

based on their ordering.

llvm-svn: 35369

std::vector<DFCalculateWorkObject *> to reduce malloc/free traffic.

llvm-svn: 35368

llvm-svn: 35360

llvm-svn: 35336

llvm-svn: 35298

requirements. We must return NaN in some cases and correctly signed
infinity in other cases. Passes CFP2006 (not that that says much).

llvm-svn: 35277

llvm-svn: 35265

llvm-svn: 35260

Avoid recursion, Use iterative algorithm.

llvm-svn: 35225

Use ETForest instead of DominatorSet.

llvm-svn: 35221