llvm-svn: 45334

llvm-svn: 45333

llvm-svn: 45330

llvm-svn: 45329

llvm-svn: 45328

llvm-svn: 45327

llvm-svn: 45326

llvm-svn: 45325

llvm-svn: 45324

legalizer support goes in.

llvm-svn: 45323

llvm-svn: 45322

or after legalize.

llvm-svn: 45321

targets.

llvm-svn: 45320

llvm-svn: 45319

llvm-svn: 45318

llvm-svn: 45317

fixes a bug with indirect calls. (Test case will be included with
ocaml collector patch.)

llvm-svn: 45316

llvm-svn: 45315

llvm-svn: 45314

llvm-svn: 45313

llvm-svn: 45312

us to compile:
#include <math.h>
int t1(double d) { return signbit(d); }

into:

_t1:
	movd	%xmm0, %rax
	shrq	$63, %rax
	ret

instead of:

_t1:
	movd	%xmm0, %rax
	shrq	$32, %rax
	shrl	$31, %eax
	ret

on x86-64.

llvm-svn: 45311

llvm-svn: 45310

Remove critical edge breaking.  It won't be necessary as long as we are very careful when inserting copies.

llvm-svn: 45309

llvm-svn: 45308

llvm-svn: 45307

solver for path-sensitive, intra-procedural analysis.

llvm-svn: 45306

not merge current bb and succ even if bb's terminator is
unconditional branch to succ.

llvm-svn: 45305

llvm-svn: 45304

llvm-svn: 45302

llvm-svn: 45301

llvm-svn: 45300

the ability to refer to the vertex set for all the vertices associated with an
edge. This will allow some nice queries over the graph, and (hopefully) will
reduce the memory footprint of SimulVertex.

llvm-svn: 45299

intra-procedural supergraph of a path-sensitive dataflow analysis.

llvm-svn: 45298

memory representation).

llvm-svn: 45297

llvm-svn: 45296

llvm-svn: 45295

'id' quallified with protocols and static types which have categories and
inheritance which implement these protocols.

llvm-svn: 45294

introduced in r45292 (http://llvm.org/viewvc/llvm-project?rev=45292&view=rev)

llvm-svn: 45293

Created include/clang/Analysis/Analyses directory.
  - Moved LiveVariables.h and UninitializedValues.h into this dir.
  
Moved ExprDeclBitVector.h into Analysis/Support.

Updated all clients who use these headers to reflect the new paths.

llvm-svn: 45292