llvm-svn: 56359

use ARG_FLAGSSDNode as the most aligned node type,
as it contains an int64_t, which is 8-byte
aligned on mingw.

llvm-svn: 56358

llvm-svn: 56355

For checking if a symbol >= value, we need to check if symbol == value || symbol
> value. When checking symbol > value and we know that symbol != value, the path
is infeasible only if value == maximum integer.

For checking if a symbol <= value, we need to check if symbol == value || symbol
< value. When checking symbol < value and we know that symbol != value, the path
is infeasible only if value == minimum integer.

Updated test case exercising this logic: we only prune paths if the values are
unsigned.

llvm-svn: 56354

arbitrary expr, not just a assign expr.  The grammar comment
was right, the code was just wrong.

llvm-svn: 56353

llvm-svn: 56352

'symbol operator-reverse int'. This patch is a combination of code from
Zhongxing Xu and myself (Zhongxing noticed this bug for the cases of
relational operators).

llvm-svn: 56351

llvm-svn: 56349

untested, Use::swap() is definitely not done yet

llvm-svn: 56348

llvm-svn: 56345

and non-demotion of readnone to readonly.

llvm-svn: 56344

llvm-svn: 56343

Unfortunately this means removing one regression test
of GlobalsModRef because I couldn't work out how to
perform it without MarkModRef.

llvm-svn: 56342

can get the readnone/readonly attributes, and gives them it.
The plan is to remove markmodref (which did the same thing
by querying GlobalsModRef) and delete the analogous
functionality from GlobalsModRef.

llvm-svn: 56341

llvm-svn: 56338

description says it does), not just when -analyze is
used as well.  This means printing to stderr, so adjust
some tests.

llvm-svn: 56337

llvm-svn: 56334

llvm-svn: 56333

llvm-svn: 56332

llvm-svn: 56327

and redo as linked list walk.  Logic moved into RA.
Per review feedback.

llvm-svn: 56326

Fixes PR 2805

llvm-svn: 56321

catches a fair number of common cases. Note that this currently
causes Fast-ISel to leave behind lots of dead instructions.
Those will be dealt with in subsequent commits.

llvm-svn: 56320

llvm-svn: 56319

Implement second part of PR 2600: NSError** parameter may be null, and should be checked before being dereferenced.

llvm-svn: 56318

llvm-svn: 56317

Thanks to Ji Young Park for the patch!

llvm-svn: 56316

llvm-svn: 56315

llvm-svn: 56314

Analysis option -warn-objc-nserror-methods is no longer available. (check is done automatically with -checker-cfref)

llvm-svn: 56313

Change implementation of NSError** coding-style check to be invoked at the end of the retain/release analysis.

llvm-svn: 56312

llvm-svn: 56311

defs to be necessarily live.

llvm-svn: 56310

Also added a couple simple tests from the "gcc.apple" test suite.

llvm-svn: 56309

llvm-svn: 56308

copy of the BURRList scheduler, but with several parts ripped
out, such as backtracking, online topological sort maintenance
(needed by backtracking), the priority queue, and Sethi-Ullman
number computation and maintenance (needed by the priority
queue). As a result of all this, it generates somewhat lower
quality code, but that's its tradeoff for running about 30%
faster than list-burr in -fast mode in many cases.

This is somewhat experimental. Moving forward, major pieces of
this can be refactored with pieces in common with
ScheduleDAGRRList.cpp.

llvm-svn: 56307

Also tweaked the create function to take an explicit output file.

llvm-svn: 56305

Preliminary support for systems which require changing JIT memory regions privilege from read / write to read / executable.

llvm-svn: 56303

llvm-svn: 56301

llvm-svn: 56300