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

llvm-svn: 45291

llvm-svn: 45290

of this patch is the last line).

llvm-svn: 45289

is best explained by illustration:

[ B2 ]
     1: x
     T: [B2.1] && ...
   Predecessors (1): B4
   Successors (2): B3 B1

Block "B3" should be the block where we evaluate "y" when "x" evaluates to
true. Previously we had the successor list reversed. Now this behavior matches
with how we handle other conditional branches.

Thanks to Nuno Lopes for reporting this problem.

llvm-svn: 45288

llvm-svn: 45287

as on functions.  Make it verify invokes and not just
ordinary calls.  As a (desired) side-effect, it is no
longer legal to have call attributes on arguments that
are being passed to the varargs part of a varargs
function (llvm-as drops them on the floor anyway).

llvm-svn: 45286

return attributes on the floor.  In the case of a call
to a varargs function where the varargs arguments are
being removed, any call attributes on those arguments
need to be dropped.  I didn't do this because I plan to
make it illegal to have such attributes (see next patch).
With this change, compiling the gcc filter2 eh test at -O0
and then running opt -std-compile-opts on it results in
a correctly working program (compiling at -O1 or higher
results in the test failing due to a problem with how we
output eh info into the IR).

llvm-svn: 45285

Update addPaddingFields() interface.

llvm-svn: 45284

(but not both) may be a protocol qualified static type.

llvm-svn: 45283

llvm-svn: 45282

llvm-svn: 45281

llvm-svn: 45280

llvm-svn: 45278

llvm-svn: 45277

of conforming protocols (or not).

llvm-svn: 45276

llvm-svn: 45274

are generated by transfer functions used by the path-sensitive dataflow solver.

llvm-svn: 45273