is not passed as an argument to a trampoline intrinsic.

llvm-svn: 47220

llvm-svn: 47219

llvm-svn: 47217

llvm-svn: 47216

I cannot find a libgcc function for this builtin.  Therefor expanding it to a noop (which is how it use to be treated).  If someone who knows the x86 backend better than me could tell me how to get a lock prefix on an instruction, that would be nice to complete x86 support.

llvm-svn: 47213

br_cc.  This fixes 5 "make check" failures.

llvm-svn: 47212

build.

llvm-svn: 47211

llvm-svn: 47210

llvm-svn: 47208

llvm-svn: 47204

zero tokens.  This fixes PR2045, thanks to Neil for finding another 
incredibly subtle corner case :)

llvm-svn: 47203

llvm-svn: 47202

their own [.cpp;.h] files.

llvm-svn: 47201

llvm-svn: 47200

llvm-svn: 47199

it actually does. Simplify CountOperands a little by reusing
ComputeMemOperandsEnd. And reword some comments for both.

llvm-svn: 47198

llvm-svn: 47197

llvm-svn: 47196

llvm-svn: 47195

llvm-svn: 47194

llvm-svn: 47193

llvm-svn: 47192

llvm-svn: 47191

Fixed bug in transfer functions for sizeof(*); we were incorrectly evaluating to
a value of the wrong type.

Fixed bug in transfer functions for compound assignments where we did not properly
handle assignments involving dereferences of symbolic values.

llvm-svn: 47190

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