- Sep 20, 2008
-
-
Evan Cheng authored
Fix PR2808. When regalloc runs out of register, it spill a physical register around the live interval being allocated. Do not continue to try to spill another register, just grab the physical register and move on. llvm-svn: 56381
-
Evan Cheng authored
llvm-svn: 56380
-
Evan Cheng authored
llvm-svn: 56378
-
Evan Cheng authored
llvm-svn: 56377
-
Dan Gohman authored
llvm-svn: 56376
-
Daniel Dunbar authored
- Web based interface to static analyzer. llvm-svn: 56375
-
Daniel Dunbar authored
llvm-svn: 56373
-
Evan Cheng authored
llvm-svn: 56372
-
Dan Gohman authored
results in better code for globals. Also, unbreak the local CSE for GlobalValue stub loads. llvm-svn: 56371
-
- Sep 19, 2008
-
-
Ted Kremenek authored
llvm-svn: 56369
-
Ted Kremenek authored
Bug fix: for the base transfer function logic for casts, handle const casts as just propagating the value. llvm-svn: 56368
-
Ted Kremenek authored
llvm-svn: 56367
-
Dale Johannesen authored
have previously been assigned conflicting physreg. llvm-svn: 56364
-
Bill Wendling authored
llvm-svn: 56359
-
Dan Gohman authored
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
-
Ted Kremenek authored
llvm-svn: 56355
-
Ted Kremenek authored
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
-
rdar://6222856Chris Lattner authored
arbitrary expr, not just a assign expr. The grammar comment was right, the code was just wrong. llvm-svn: 56353
-
Evan Cheng authored
llvm-svn: 56352
-
Ted Kremenek authored
'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
-
Gabor Greif authored
llvm-svn: 56349
-
Gabor Greif authored
untested, Use::swap() is definitely not done yet llvm-svn: 56348
-
Duncan Sands authored
llvm-svn: 56345
-
Duncan Sands authored
and non-demotion of readnone to readonly. llvm-svn: 56344
-
Duncan Sands authored
llvm-svn: 56343
-
Duncan Sands authored
Unfortunately this means removing one regression test of GlobalsModRef because I couldn't work out how to perform it without MarkModRef. llvm-svn: 56342
-
Duncan Sands authored
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
-
Duncan Sands authored
llvm-svn: 56338
-
Duncan Sands authored
description says it does), not just when -analyze is used as well. This means printing to stderr, so adjust some tests. llvm-svn: 56337
-
Zhongxing Xu authored
llvm-svn: 56334
-
Ted Kremenek authored
llvm-svn: 56333
-
Ted Kremenek authored
llvm-svn: 56332
-
Ted Kremenek authored
llvm-svn: 56327
-
Dale Johannesen authored
and redo as linked list walk. Logic moved into RA. Per review feedback. llvm-svn: 56326
-
Devang Patel authored
Fixes PR 2805 llvm-svn: 56321
-
Dan Gohman authored
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
-
Ted Kremenek authored
llvm-svn: 56319
-
Ted Kremenek authored
Implement second part of PR 2600: NSError** parameter may be null, and should be checked before being dereferenced. llvm-svn: 56318
-
Ted Kremenek authored
llvm-svn: 56317
-
Bill Wendling authored
Thanks to Ji Young Park for the patch! llvm-svn: 56316
-