llvm-svn: 47329

llvm-svn: 47328

llvm-svn: 47325

llvm-svn: 47324

llvm-svn: 47323

could work don't work fully.  This fixes PR1705.  Oh yeah, we don't have
packed types anymore either ;-)

llvm-svn: 47322

Refactor this method a bit, and correct a test that was completely wrong but happened to work out anyways. :-)

llvm-svn: 47321

llvm-svn: 47320

llvm-svn: 47319

llvm-svn: 47318

In addition to arguments passed to it, memcpy (and all other calls) can ModRef pointers that alias their arguments as well.  This fixes PR2057.

llvm-svn: 47317

restrict isn't.

llvm-svn: 47316

and add some others that should have been in from the first place.  Document the whole thing better.

llvm-svn: 47315

llvm-svn: 47314

can be a SNaN.  We could be more aggressive and turn this into 
unreachable, but that is less nice, and not really worth it.

llvm-svn: 47313

llvm-svn: 47312

llvm-svn: 47311

At some point in the future, this check will become smarter.

llvm-svn: 47310

over all the parameters of the callee looking for it.

llvm-svn: 47309

llvm-svn: 47308

to apply to a memcpy into processInstruction.  Also, fix a bug in the check due to
missing braces.

llvm-svn: 47307

llc: for the -info-output-file option:  requires a value!

llvm-svn: 47306

Fix Transforms/GVN/memcpy.ll, which Chris broke in r47275 by reordering the branches.  memcpy's are a kind of CallInst.

llvm-svn: 47305

or UnknownVal to be interpreted as an actual NonLValue/LValue.

llvm-svn: 47304

llvm-svn: 47303

llvm-svn: 47302

PR1909: Tail merging pass ran wild. It makes no sense to merge blocks in order to save a single instruction since a branch will be inserted for each BB.

llvm-svn: 47301

llvm-svn: 47300

CharacterLiterals.  This may not be a permanent solution; it doesn't cost that
much, however, to create a few additional states, and solves a whole bunch
of edge cases when handling ?, ||, and &&.

llvm-svn: 47299

llvm-svn: 47298

llvm-svn: 47297

llvm-svn: 47296

allows you to do things like 
typedef __attribute__(( ocu_vector_type(4))) float float4;
float4 *x;
float y = x[0][2];

llvm-svn: 47295

For now we just treat their values as "Unknown."

llvm-svn: 47294

an analyzed function.

GRExprEngine now records stores to "uninitialized lvalues" (which are sinks in
the ExplodedGraph).

llvm-svn: 47293

Fix Olden/bh test.

llvm-svn: 47292

- When DAG combiner is folding a bit convert into a BUILD_VECTOR, it should check if it's essentially a SCALAR_TO_VECTOR. Avoid turning (v8i16) <10, u, u, u> to <10, 0, u, u, u, u, u, u>. Instead, simply convert it to a SCALAR_TO_VECTOR of the proper type.
- X86 now normalize SCALAR_TO_VECTOR to (BIT_CONVERT (v4i32 SCALAR_TO_VECTOR)). Get rid of X86ISD::S2VEC.

llvm-svn: 47290

llvm-svn: 47289

UninitializedVals and UnknownVals.

llvm-svn: 47288

llvm-svn: 47287