llvm-svn: 47189

tblgen will complain if a sign-extended constant does not fit into a
data type smaller than i32, e.g., i16. This causes a problem when certain
hex constants are used, such as 0xff for byte masks or immediate xor
values.

tblgen will try the sign-extended value first and, if the sign extended
value would overflow, it tries to see if the unsigned value will fit.
Consequently, a software developer can now safely incant:

	(XORHIr16 R16C:$rA, 0xffff)

which is somewhat clearer and more informative than incanting:

	(XORHIr16 R16C:$rA, (i16 -1))

even if the two are bitwise equivalent.

Tblgen also outputs the 64-bit unsigned constant in the generated ISel code
when getTargetConstant() is invoked.

llvm-svn: 47188

llvm-svn: 47187

llvm-svn: 47186

llvm-svn: 47185

Fixed bug in transfer function for compound assignment operators when both operands where variables but had a non-pointer type (we fired an assertion).

llvm-svn: 47184

Added more boilerplate transfer function support for pointer arithmetic.
Added more pretty-printing support for symbolic constraints.
Added transfer function support for handling enum values.
Minor pointer types cleanup in ExplodedGraphImpl.

llvm-svn: 47183

llvm-svn: 47182

llvm-svn: 47181

llvm-svn: 47179

we had reached the "fake bucket" after the last bucket, allowing the iterator
in some cases to run off the end of the hashtable.

llvm-svn: 47178

with the TIED_TO attribute.

llvm-svn: 47177

that should be checked for the TIED_TO attribute instead of
using CountOperands.

llvm-svn: 47176

trivial, but I forgot that method doesn't exist yet.

llvm-svn: 47175

llvm-svn: 47174

using sret.

llvm-svn: 47173

in a ret node.  These are created as i32 constants
but on some platforms i32 is not legal.  This
fixes 26 "make check" failures, for example
Alpha/2005-07-12-TwoMallocCalls.ll.

llvm-svn: 47172

really really really need refactoring :(

llvm-svn: 47171

the global comment.  This prevents printing things like:

...  # foo
bar

when the name is "foo\nbar".

llvm-svn: 47170

when they occur in the name, just like " is escaped.

llvm-svn: 47169

llvm-svn: 47168

register defs and uses after each successful coalescing.
- Also removed a number of hacks and fixed some subtle kill information bugs.

llvm-svn: 47167

machine instr will change its definition register.

llvm-svn: 47166

IncompleteArrayType.  This should make code dealing with both incomplete 
and variable length arrays much more readable, plus it allows properly 
making the distinction between isVariableArrayType() and 
isVariablyModifiedType().  The patch is a little big, but it's 
strightforward. so I don't think there should be any issues.

llvm-svn: 47165

llvm-svn: 47164

with a hard-coded operand number.

llvm-svn: 47163

that doesn't support it.  Per Chris.

llvm-svn: 47162

llvm-svn: 47161

llvm-svn: 47160

thing.  Some cleanups that can be done independently of the fix.

llvm-svn: 47158

llvm-svn: 47157

llvm-svn: 47156

llvm-svn: 47155

llvm-svn: 47154

llvm-svn: 47153

going on with mixing scopes, though.

llvm-svn: 47152

llvm-svn: 47151

llvm-svn: 47150

llvm-svn: 47149

llvm-svn: 47148