Dan Gohman [Sat, 14 Feb 2009 02:26:50 +0000 (02:26 +0000)]
Clarify debug output.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64531
91177308-0d34-0410-b5e6-
96231b3b80d8
Dan Gohman [Sat, 14 Feb 2009 02:25:19 +0000 (02:25 +0000)]
Simplify some code. hasComputableLoopEvolution is overkill in this case.
No functionality change.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64530
91177308-0d34-0410-b5e6-
96231b3b80d8
Dale Johannesen [Sat, 14 Feb 2009 00:19:28 +0000 (00:19 +0000)]
Testcase for llvm-gcc 64510.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64511
91177308-0d34-0410-b5e6-
96231b3b80d8
Evan Cheng [Fri, 13 Feb 2009 22:36:38 +0000 (22:36 +0000)]
Teach x86 target -soft-float.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64496
91177308-0d34-0410-b5e6-
96231b3b80d8
Dan Gohman [Fri, 13 Feb 2009 17:45:12 +0000 (17:45 +0000)]
In CodeGenPrepare's debug output, use WriteAsOperand instead of
printing getName(), so that unnamed values are printed correctly.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64468
91177308-0d34-0410-b5e6-
96231b3b80d8
Dan Gohman [Fri, 13 Feb 2009 17:36:42 +0000 (17:36 +0000)]
Complete the sentance in this comment. I have reservations
about the code it describes, but at least now the comment
is right.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64465
91177308-0d34-0410-b5e6-
96231b3b80d8
Duncan Sands [Fri, 13 Feb 2009 17:36:13 +0000 (17:36 +0000)]
Correct a comment: since AccessArguments is now
being used for atomic intrinsics, it seems the
access may be volatile. No code was exploiting
the original non-volatile definition, so only
the comment needs changing.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64464
91177308-0d34-0410-b5e6-
96231b3b80d8
Duncan Sands [Fri, 13 Feb 2009 17:32:26 +0000 (17:32 +0000)]
If a function only reads memory, then we know that...
it only reads memory! The other change has no
functional effect, it just seems more logical to
go in order of decreasing knowledge.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64463
91177308-0d34-0410-b5e6-
96231b3b80d8
Nick Lewycky [Fri, 13 Feb 2009 17:08:33 +0000 (17:08 +0000)]
Mark strto* as readonly when the endptr is null.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64460
91177308-0d34-0410-b5e6-
96231b3b80d8
Nick Lewycky [Fri, 13 Feb 2009 15:31:46 +0000 (15:31 +0000)]
On strtod and friends, mark 'endptr' nocapture in the function prototype, and
mark the first argument nocapture if endptr=NULL for each particular call.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64453
91177308-0d34-0410-b5e6-
96231b3b80d8
Duncan Sands [Fri, 13 Feb 2009 09:42:34 +0000 (09:42 +0000)]
Reapply r64301. These uses of "inline" can cause strange
link-time failures when building with optimization. Just
get rid of them.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64449
91177308-0d34-0410-b5e6-
96231b3b80d8
Evan Cheng [Fri, 13 Feb 2009 08:24:55 +0000 (08:24 +0000)]
Switch from new[] + delete[] to malloc + free since llvm does not catch C++ exceptions.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64448
91177308-0d34-0410-b5e6-
96231b3b80d8
Evan Cheng [Fri, 13 Feb 2009 07:54:34 +0000 (07:54 +0000)]
If new[] fails, return 0 rather then trying to dereference a null pointer.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64444
91177308-0d34-0410-b5e6-
96231b3b80d8
Nick Lewycky [Fri, 13 Feb 2009 07:15:53 +0000 (07:15 +0000)]
Reapply r64300:
Make sure the SCC pass manager initializes any contained
function pass managers. Without this, simplify-libcalls
would add nocapture attributes when run on its own, but
not when run as part of -std-compile-opts or similar.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64443
91177308-0d34-0410-b5e6-
96231b3b80d8
Nick Lewycky [Fri, 13 Feb 2009 07:06:27 +0000 (07:06 +0000)]
BasicAA was making the assumption that a local allocation which hadn't escaped
couldn't ever be the return of call instruction. However, it's quite possible
that said local allocation is itself the return of a function call. That's
what malloc and calloc are for, actually.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64442
91177308-0d34-0410-b5e6-
96231b3b80d8
Dan Gohman [Fri, 13 Feb 2009 03:58:31 +0000 (03:58 +0000)]
Fix the code that checked if a SCEVAddRecExpr Start contains an
addrec in a different loop to check the value being added to
the accumulated Start value, not the Start value before it has
the new value added to it. This prevents LSR from going crazy
on the included testcase. Dale, please review.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64440
91177308-0d34-0410-b5e6-
96231b3b80d8
Dale Johannesen [Fri, 13 Feb 2009 02:35:20 +0000 (02:35 +0000)]
Remove non-DebugLoc versions of BuildMI.
"I got blisters on my fingers."
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64439
91177308-0d34-0410-b5e6-
96231b3b80d8
Dale Johannesen [Fri, 13 Feb 2009 02:34:39 +0000 (02:34 +0000)]
Remove non-DebugLoc versions of BuildMI from IA64, Mips.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64438
91177308-0d34-0410-b5e6-
96231b3b80d8
Dale Johannesen [Fri, 13 Feb 2009 02:33:27 +0000 (02:33 +0000)]
Remove non-DebugLoc versions of BuildMI from X86.
There were some that might even matter in X86FastISel.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64437
91177308-0d34-0410-b5e6-
96231b3b80d8
Dale Johannesen [Fri, 13 Feb 2009 02:32:04 +0000 (02:32 +0000)]
missed file
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64436
91177308-0d34-0410-b5e6-
96231b3b80d8
Dale Johannesen [Fri, 13 Feb 2009 02:31:35 +0000 (02:31 +0000)]
Remove non-DebugLoc versions of buildMI from Sparc.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64435
91177308-0d34-0410-b5e6-
96231b3b80d8
Dale Johannesen [Fri, 13 Feb 2009 02:30:42 +0000 (02:30 +0000)]
Remove non-DebugLoc versions of BuildMI from Alpha and Cell.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64433
91177308-0d34-0410-b5e6-
96231b3b80d8
Dale Johannesen [Fri, 13 Feb 2009 02:29:03 +0000 (02:29 +0000)]
Remove refs to non-DebugLoc version of BuildMI from XCore, PIC16.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64432
91177308-0d34-0410-b5e6-
96231b3b80d8
Dale Johannesen [Fri, 13 Feb 2009 02:27:39 +0000 (02:27 +0000)]
Remove refs to non-DebugLoc version of BuildMI from PowerPC.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64431
91177308-0d34-0410-b5e6-
96231b3b80d8
Dale Johannesen [Fri, 13 Feb 2009 02:26:21 +0000 (02:26 +0000)]
and one more file
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64430
91177308-0d34-0410-b5e6-
96231b3b80d8
Dale Johannesen [Fri, 13 Feb 2009 02:25:56 +0000 (02:25 +0000)]
Remove refs to non-DebugLoc versions of BuildMI from ARM.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64429
91177308-0d34-0410-b5e6-
96231b3b80d8
Bill Wendling [Fri, 13 Feb 2009 02:16:35 +0000 (02:16 +0000)]
Revert this. It was breaking stuff.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64428
91177308-0d34-0410-b5e6-
96231b3b80d8
Bill Wendling [Fri, 13 Feb 2009 02:01:04 +0000 (02:01 +0000)]
Turn off the old way of handling debug information in the code generator. Use
the new way, where all of the information is passed on SDNodes and machine
instructions.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64427
91177308-0d34-0410-b5e6-
96231b3b80d8
Dan Gohman [Fri, 13 Feb 2009 00:26:43 +0000 (00:26 +0000)]
Fix LSR's IV sorting function to explicitly sort by bitwidth
after sorting by stride value. This prevents it from missing
IV reuse opportunities in a host-sensitive manner.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64415
91177308-0d34-0410-b5e6-
96231b3b80d8
Mike Stump [Thu, 12 Feb 2009 23:45:11 +0000 (23:45 +0000)]
Avoid order files for now, as they aren't supported in 3.79.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64412
91177308-0d34-0410-b5e6-
96231b3b80d8
Dale Johannesen [Thu, 12 Feb 2009 23:24:44 +0000 (23:24 +0000)]
Check in missing file.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64410
91177308-0d34-0410-b5e6-
96231b3b80d8
Dale Johannesen [Thu, 12 Feb 2009 23:08:38 +0000 (23:08 +0000)]
Eliminate a couple of non-DebugLoc BuildMI variants.
Modify callers.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64409
91177308-0d34-0410-b5e6-
96231b3b80d8
Dan Gohman [Thu, 12 Feb 2009 22:19:27 +0000 (22:19 +0000)]
Teach IndVarSimplify to optimize code using the C "int" type for
loop induction on LP64 targets. When the induction variable is
used in addressing, IndVars now is usually able to inserst a
64-bit induction variable and eliminates the sign-extending cast.
This is also useful for code using C "short" types for
induction variables on targets with 32-bit addressing.
Inserting a wider induction variable is easy; the tricky part is
determining when trunc(sext(i)) expressions are no-ops. This
requires range analysis of the loop trip count. A common case is
when the original loop iteration starts at 0 and exits when the
induction variable is signed-less-than a fixed value; this case
is now handled.
This replaces IndVarSimplify's OptimizeCanonicalIVType. It was
doing the same optimization, but it was limited to loops with
constant trip counts, because it was running after the loop
rewrite, and the information about the original induction
variable is lost by that point.
Rename ScalarEvolution's executesAtLeastOnce to
isLoopGuardedByCond, generalize it to be able to test for
ICMP_NE conditions, and move it to be a public function so that
IndVars can use it.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64407
91177308-0d34-0410-b5e6-
96231b3b80d8
Nate Begeman [Thu, 12 Feb 2009 21:28:33 +0000 (21:28 +0000)]
Add suppport for ConstantExprs of shufflevectors whose result type is not equal to the
type of the vectors being shuffled.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64401
91177308-0d34-0410-b5e6-
96231b3b80d8
Dale Johannesen [Thu, 12 Feb 2009 20:58:09 +0000 (20:58 +0000)]
Arrange to print constants that match "n" and "i" constraints
in inline asm as signed (what gcc does). Add partial support
for x86-specific "e" and "Z" constraints, with appropriate
signedness for printing.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64400
91177308-0d34-0410-b5e6-
96231b3b80d8
Dan Gohman [Thu, 12 Feb 2009 20:53:27 +0000 (20:53 +0000)]
Rename bugpoint's error message file so that if it somehow
gets left behind, it's less cryptic.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64399
91177308-0d34-0410-b5e6-
96231b3b80d8
Dan Gohman [Thu, 12 Feb 2009 18:08:24 +0000 (18:08 +0000)]
Add a utility function to LoopInfo to return the exit block
when the loop has exactly one exit, and make use of it in
LoopIndexSplit.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64388
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Thu, 12 Feb 2009 17:38:23 +0000 (17:38 +0000)]
fix PR3538 for ARM.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64384
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Thu, 12 Feb 2009 17:37:15 +0000 (17:37 +0000)]
fix PR3538 for PPC
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64383
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Thu, 12 Feb 2009 17:33:11 +0000 (17:33 +0000)]
fix the X86 backend to just drop llvm.declare nodes for VLAs instead of
leaving them in the DAG and then getting selection errors. This is a
fix for PR3538.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64382
91177308-0d34-0410-b5e6-
96231b3b80d8
Dan Gohman [Thu, 12 Feb 2009 17:29:01 +0000 (17:29 +0000)]
Adjust the sizes for a few SmallVectors to reflect their usage.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64381
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Thu, 12 Feb 2009 17:23:20 +0000 (17:23 +0000)]
make fast isel fall back to selectiondags for VLA llvm.declare intrinsics.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64379
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Thu, 12 Feb 2009 17:14:49 +0000 (17:14 +0000)]
Add operator->, patch by Ben Laurie!
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64378
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Thu, 12 Feb 2009 17:04:57 +0000 (17:04 +0000)]
add PR
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64377
91177308-0d34-0410-b5e6-
96231b3b80d8
Dan Gohman [Thu, 12 Feb 2009 16:36:26 +0000 (16:36 +0000)]
This code doesn't actually use the ExitingBlocks list.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64376
91177308-0d34-0410-b5e6-
96231b3b80d8
Evan Cheng [Thu, 12 Feb 2009 10:32:17 +0000 (10:32 +0000)]
It's (currently) not safe to keep certain physical registers live across basic blocks, e.g. x86 fp stack registers.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64374
91177308-0d34-0410-b5e6-
96231b3b80d8
Evan Cheng [Thu, 12 Feb 2009 09:52:13 +0000 (09:52 +0000)]
Oops. Last second clean up messed things up.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64373
91177308-0d34-0410-b5e6-
96231b3b80d8
Evan Cheng [Thu, 12 Feb 2009 09:43:23 +0000 (09:43 +0000)]
If availability info is kept when fallthrough into a bb, add the available registers to live-in set.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64372
91177308-0d34-0410-b5e6-
96231b3b80d8
Evan Cheng [Thu, 12 Feb 2009 08:59:45 +0000 (08:59 +0000)]
Replace one of burr scheduling heuristic with something more sensible. Now calcMaxScratches simply compute the number of true data dependencies. This actually improve a couple of tests in dejagnu suite as many tests in llvm nightly test suite.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64369
91177308-0d34-0410-b5e6-
96231b3b80d8
Julien Lerouge [Thu, 12 Feb 2009 08:02:35 +0000 (08:02 +0000)]
Fix MingW build: define GTEST_OS_WINDOWS if OS is MingW, but disable
exceptions.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64367
91177308-0d34-0410-b5e6-
96231b3b80d8
Julien Lerouge [Thu, 12 Feb 2009 07:39:10 +0000 (07:39 +0000)]
Fix MingW build, patch by Kenneth Boyd!
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64366
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Thu, 12 Feb 2009 07:06:42 +0000 (07:06 +0000)]
Fix a nasty bug (PR3550) where the inline pass could incorrectly mark
calls with the tail marker when inlining them through an invoke. Patch,
testcase, and perfect analysis by Jay Foad!
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64364
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Thu, 12 Feb 2009 07:00:35 +0000 (07:00 +0000)]
improve naming of values in GVN, patch by Jay Foad!
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64363
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Thu, 12 Feb 2009 06:56:08 +0000 (06:56 +0000)]
fix PR3537: if resetting bbi back to the start of a block, we need to
forget about already inserted expressions.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64362
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Thu, 12 Feb 2009 06:54:55 +0000 (06:54 +0000)]
rename test to avoid messing with tab completion of dates.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64361
91177308-0d34-0410-b5e6-
96231b3b80d8
Ted Kremenek [Thu, 12 Feb 2009 05:17:02 +0000 (05:17 +0000)]
Add method 'isSingleton()' to ImmutableSet. This returns true if the set contains exactly one element.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64359
91177308-0d34-0410-b5e6-
96231b3b80d8
Nick Lewycky [Thu, 12 Feb 2009 03:18:34 +0000 (03:18 +0000)]
Don't mark all args to strtod and friends as nocapture.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64352
91177308-0d34-0410-b5e6-
96231b3b80d8
Bill Wendling [Thu, 12 Feb 2009 00:02:55 +0000 (00:02 +0000)]
Move debug loc info along when the spiller creates new instructions.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64342
91177308-0d34-0410-b5e6-
96231b3b80d8
Evan Cheng [Wed, 11 Feb 2009 23:42:39 +0000 (23:42 +0000)]
Apparently some MachineBasicBlock's don't have corresponding llvm basic blocks.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64340
91177308-0d34-0410-b5e6-
96231b3b80d8
Evan Cheng [Wed, 11 Feb 2009 23:41:57 +0000 (23:41 +0000)]
Remove a bogus assertion. It's possible a live-in available value is used by a previous instruction.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64339
91177308-0d34-0410-b5e6-
96231b3b80d8
Nate Begeman [Wed, 11 Feb 2009 22:36:25 +0000 (22:36 +0000)]
the two non-mask arguments to a shufflevector must be the same width, but they do not have to be the same
width as the result value.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64335
91177308-0d34-0410-b5e6-
96231b3b80d8
Dale Johannesen [Wed, 11 Feb 2009 22:14:51 +0000 (22:14 +0000)]
Edit description of floating point constants to
reflect reality. Acknowledgements to John Clements
for prodding me into this.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64332
91177308-0d34-0410-b5e6-
96231b3b80d8
Gabor Greif [Wed, 11 Feb 2009 22:09:00 +0000 (22:09 +0000)]
Fill in a glaring omission in derived User classes, namely
add efficient versions of op_begin and op_end. Up to now always those from User have been
called, which in most cases follow an indirection (OperandList) even if the exact Instruction
type is known.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64331
91177308-0d34-0410-b5e6-
96231b3b80d8
Bill Wendling [Wed, 11 Feb 2009 21:51:19 +0000 (21:51 +0000)]
Propagate DebugLoc info for spiller call-backs.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64329
91177308-0d34-0410-b5e6-
96231b3b80d8
Dan Gohman [Wed, 11 Feb 2009 21:32:08 +0000 (21:32 +0000)]
Fix a comment.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64328
91177308-0d34-0410-b5e6-
96231b3b80d8
Dan Gohman [Wed, 11 Feb 2009 21:29:39 +0000 (21:29 +0000)]
Don't use special heuristics for nodes with no data predecessors
unless they actually have data successors, and likewise for nodes
with no data successors unless they actually have data precessors.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64327
91177308-0d34-0410-b5e6-
96231b3b80d8
Ted Kremenek [Wed, 11 Feb 2009 20:53:17 +0000 (20:53 +0000)]
Add FoldingSet profile method for bools. Patch by Ben Laurie!
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64324
91177308-0d34-0410-b5e6-
96231b3b80d8
Daniel Dunbar [Wed, 11 Feb 2009 20:48:21 +0000 (20:48 +0000)]
Update to match space changes in .ll
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64322
91177308-0d34-0410-b5e6-
96231b3b80d8
Dan Gohman [Wed, 11 Feb 2009 20:25:59 +0000 (20:25 +0000)]
Delete the heuristic for non-livein CopyFromReg nodes. Non-liveinness
is determined by whether the node has a Flag operand. However, if the
node does have a Flag operand, it will be glued to its register's
def, so the heuristic would end up spuriously applying to whatever
node is the def.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64319
91177308-0d34-0410-b5e6-
96231b3b80d8
Dan Gohman [Wed, 11 Feb 2009 19:50:24 +0000 (19:50 +0000)]
Don't try to set an EFLAGS operand to dead if no instruction was created.
This fixes a bug introduced by r61215.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64316
91177308-0d34-0410-b5e6-
96231b3b80d8
Dale Johannesen [Wed, 11 Feb 2009 19:19:41 +0000 (19:19 +0000)]
Make a transformation added in 63266 a bit less aggressive.
It was transforming (x&y)==y to (x&y)!=0 in the case where
y is variable and known to have at most one bit set (e.g. z&1).
This is not correct; the expressions are not equivalent when y==0.
I believe this patch salvages what can be salvaged, including
all the cases in bt.ll. Dan, please review.
Fixes gcc.c-torture/execute/
20040709-[12].c
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64314
91177308-0d34-0410-b5e6-
96231b3b80d8
Bill Wendling [Wed, 11 Feb 2009 18:19:24 +0000 (18:19 +0000)]
Revert r64300 and r64301. These were causing the following errors respectively:
During llvm-gcc bootstrap:
Undefined symbols:
"llvm::FPPassManager::doFinalization(llvm::Module&)", referenced from:
(anonymous namespace)::CGPassManager::doFinalization(llvm::CallGraph&, llvm::Module&)
in libLLVMipa.a(CallGraphSCCPass.o)
"llvm::FPPassManager::doInitialization(llvm::Module&)", referenced from:
(anonymous namespace)::CGPassManager::doInitialization(llvm::CallGraph&, llvm::Module&)
in libLLVMipa.a(CallGraphSCCPass.o)
ld: symbol(s) not found
collect2: ld returned 1 exit status
make[3]: *** [/Volumes/Sandbox/Buildbot/llvm/full-llvm/build/llvmCore.roots/llvmCore~obj/obj-llvm/Release/bin/opt] Error 1
During an LLVM release build:
/Volumes/Sandbox/Buildbot/llvm/full-llvm/build/llvm.sh.build/Release/bin/tblgen -I /Volumes/Sandbox/Buildbot/llvm/full-llvm/build/llvmCore/lib/Target/X86 -I /Volumes/Sandbox/Buildbot/llvm/full-llvm/build/llvmCore/include -I /Volumes/Sandbox/Buildbot/llvm/full-llvm/build/llvmCore/include -I /Volumes/Sandbox/Buildbot/llvm/full-llvm/build/llvmCore/lib/Target -gen-register-desc -o /Volumes/Sandbox/Buildbot/llvm/full-llvm/build/llvm.sh.build/lib/Target/X86/Release/X86GenRegisterInfo.inc.tmp /Volumes/Sandbox/Buildbot/llvm/full-llvm/build/llvmCore/lib/Target/X86/X86.td
llvm[3]: Building X86.td instruction names with tblgen
/Volumes/Sandbox/Buildbot/llvm/full-llvm/build/llvm.sh.build/Release/bin/tblgen -I /Volumes/Sandbox/Buildbot/llvm/full-llvm/build/llvmCore/lib/Target/X86 -I /Volumes/Sandbox/Buildbot/llvm/full-llvm/build/llvmCore/include -I /Volumes/Sandbox/Buildbot/llvm/full-llvm/build/llvmCore/include -I /Volumes/Sandbox/Buildbot/llvm/full-llvm/build/llvmCore/lib/Target -gen-instr-enums -o /Volumes/Sandbox/Buildbot/llvm/full-llvm/build/llvm.sh.build/lib/Target/X86/Release/X86GenInstrNames.inc.tmp /Volumes/Sandbox/Buildbot/llvm/full-llvm/build/llvmCore/lib/Target/X86/X86.td
llvm[3]: Building X86.td instruction information with tblgen
/Volumes/Sandbox/Buildbot/llvm/full-llvm/build/llvm.sh.build/Release/bin/tblgen -I /Volumes/Sandbox/Buildbot/llvm/full-llvm/build/llvmCore/lib/Target/X86 -I /Volumes/Sandbox/Buildbot/llvm/full-llvm/build/llvmCore/include -I /Volumes/Sandbox/Buildbot/llvm/full-llvm/build/llvmCore/include -I /Volumes/Sandbox/Buildbot/llvm/full-llvm/build/llvmCore/lib/Target -gen-instr-desc -o /Volumes/Sandbox/Buildbot/llvm/full-llvm/build/llvm.sh.build/lib/Target/X86/Release/X86GenInstrInfo.inc.tmp /Volumes/Sandbox/Buildbot/llvm/full-llvm/build/llvmCore/lib/Target/X86/X86.td
llvm[3]: Building X86.td assembly writer with tblgen
/Volumes/Sandbox/Buildbot/llvm/full-llvm/build/llvm.sh.build/Release/bin/tblgen -I /Volumes/Sandbox/Buildbot/llvm/full-llvm/build/llvmCore/lib/Target/X86 -I /Volumes/Sandbox/Buildbot/llvm/full-llvm/build/llvmCore/include -I /Volumes/Sandbox/Buildbot/llvm/full-llvm/build/llvmCore/include -I /Volumes/Sandbox/Buildbot/llvm/full-llvm/build/llvmCore/lib/Target -gen-asm-writer -o /Volumes/Sandbox/Buildbot/llvm/full-llvm/build/llvm.sh.build/lib/Target/X86/Release/X86GenAsmWriter.inc.tmp /Volumes/Sandbox/Buildbot/llvm/full-llvm/build/llvmCore/lib/Target/X86/X86.td
llvm[3]: Compiling InstructionCombining.cpp for Release build
if /Volumes/Sandbox/Buildbot/llvm/full-llvm/build/llvmgcc42.roots/llvmgcc42~dst/Developer/usr/bin/llvm-g++-4.2 -I/Volumes/Sandbox/Buildbot/llvm/full-llvm/build/llvm.sh.build/include -I/Volumes/Sandbox/Buildbot/llvm/full-llvm/build/llvm.sh.build/lib/Transforms/Scalar -I/Volumes/Sandbox/Buildbot/llvm/full-llvm/build/llvmCore/include -I/Volumes/Sandbox/Buildbot/llvm/full-llvm/build/llvmCore/lib/Transforms/Scalar -D_DEBUG -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -O3 -fno-exceptions -Woverloaded-virtual -pedantic -Wall -W -Wwrite-strings -Wno-long-long -Wunused -Wno-unused-parameter -fstrict-aliasing -Wstrict-aliasing -c -MMD -MP -MF "/Volumes/Sandbox/Buildbot/llvm/full-llvm/build/llvm.sh.build/lib/Transforms/Scalar/Release/InstructionCombining.d.tmp" -MT "/Volumes/Sandbox/Buildbot/llvm/full-llvm/build/llvm.sh.build/lib/Transforms/Scalar/Release/InstructionCombining.lo" -MT "/Volumes/Sandbox/Buildbot/llvm/full-llvm/build/llvm.sh.build/lib/Transforms/Scalar/Release/InstructionCombining.o" -MT "/Volumes/Sandbox/Buildbot/llvm/full-llvm/build/llvm.sh.build/lib/Transforms/Scalar/Release/InstructionCombining.d" /Volumes/Sandbox/Buildbot/llvm/full-llvm/build/llvmCore/lib/Transforms/Scalar/InstructionCombining.cpp -o /Volumes/Sandbox/Buildbot/llvm/full-llvm/build/llvm.sh.build/lib/Transforms/Scalar/Release/InstructionCombining.o ; \
then /bin/mv -f "/Volumes/Sandbox/Buildbot/llvm/full-llvm/build/llvm.sh.build/lib/Transforms/Scalar/Release/InstructionCombining.d.tmp" "/Volumes/Sandbox/Buildbot/llvm/full-llvm/build/llvm.sh.build/lib/Trans
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64311
91177308-0d34-0410-b5e6-
96231b3b80d8
Duncan Sands [Wed, 11 Feb 2009 13:23:49 +0000 (13:23 +0000)]
Revert r64299: it breaks the build when configured
without --enable-pic, like my nightly tester.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64302
91177308-0d34-0410-b5e6-
96231b3b80d8
Duncan Sands [Wed, 11 Feb 2009 12:25:15 +0000 (12:25 +0000)]
These uses of "inline" can cause strange link-time
failures when building with optimization. Just get
rid of them.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64301
91177308-0d34-0410-b5e6-
96231b3b80d8
Duncan Sands [Wed, 11 Feb 2009 09:58:43 +0000 (09:58 +0000)]
Make sure the SCC pass manager initializes any contained
function pass managers. Without this, simplify-libcalls
would add nocapture attributes when run on its own, but
not when run as part of -std-compile-opts or similar.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64300
91177308-0d34-0410-b5e6-
96231b3b80d8
Nick Lewycky [Wed, 11 Feb 2009 08:44:13 +0000 (08:44 +0000)]
Try this. Darwin -> LTO, PIC -> LTO + possibly gold too.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64299
91177308-0d34-0410-b5e6-
96231b3b80d8
Evan Cheng [Wed, 11 Feb 2009 08:24:21 +0000 (08:24 +0000)]
Implement PR3495: local spiller optimization. The local spiller can now keep availability information over BB boundaries. It visits BB's in depth first order. After visiting a BB if it find a successor which has a single predecessor it visits the successor next without clearing the availability information. This allows the successor to omit reloads or change them into copies.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64298
91177308-0d34-0410-b5e6-
96231b3b80d8
Dan Gohman [Wed, 11 Feb 2009 04:27:20 +0000 (04:27 +0000)]
When scheduling a block in parts, keep track of the overall
instruction index across each part. Instruction indices are used
to make live range queries, and live ranges can extend beyond
scheduling region boundaries.
Refactor the ScheduleDAGSDNodes class some more so that it
doesn't have to worry about this additional information.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64288
91177308-0d34-0410-b5e6-
96231b3b80d8
Devang Patel [Wed, 11 Feb 2009 02:34:33 +0000 (02:34 +0000)]
62987 disables LTO build on darwin.
Revert 62987 for now. Nicolas please investigate.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64285
91177308-0d34-0410-b5e6-
96231b3b80d8
Devang Patel [Wed, 11 Feb 2009 01:29:06 +0000 (01:29 +0000)]
If llvm.dbg.region.end is disappearing then remove corresponding llvm.dbg.func.start also.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64278
91177308-0d34-0410-b5e6-
96231b3b80d8
Dan Gohman [Wed, 11 Feb 2009 00:25:25 +0000 (00:25 +0000)]
Don't print extra spaces in vector and array constants. This makes
them visually more consistent with vector and array types.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64267
91177308-0d34-0410-b5e6-
96231b3b80d8
Dan Gohman [Wed, 11 Feb 2009 00:18:15 +0000 (00:18 +0000)]
It isn't necessary to explicitly clear the contents of std::vector
and DenseMap members in a destructor. And tidy up a comment.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64265
91177308-0d34-0410-b5e6-
96231b3b80d8
Bill Wendling [Wed, 11 Feb 2009 00:14:53 +0000 (00:14 +0000)]
Don't try to strip a file we just moved.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64263
91177308-0d34-0410-b5e6-
96231b3b80d8
Dan Gohman [Wed, 11 Feb 2009 00:12:28 +0000 (00:12 +0000)]
Use iterators to iterate through the Preds array instead of
an index. This code is on the hot-path because the current
way SDep edges are uniqued has quadratic complexity.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64262
91177308-0d34-0410-b5e6-
96231b3b80d8
Dan Gohman [Tue, 10 Feb 2009 23:29:38 +0000 (23:29 +0000)]
Consider any instruction that modifies the stack pointer to be
a scheduling region boundary. This isn't necessary for
correctness; it helps with compile time, as it avoids the need
for data- and anti-dependencies from all spills and reloads on
the stack-pointer modification.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64255
91177308-0d34-0410-b5e6-
96231b3b80d8
Dan Gohman [Tue, 10 Feb 2009 23:27:53 +0000 (23:27 +0000)]
Factor out more code for computing register live-range informationfor
scheduling, and generalize is so that preserves state across
scheduling regions. This fixes incorrect live-range information around
terminators and labels, which are effective region boundaries.
In place of looking for terminators to anchor inter-block dependencies,
introduce special entry and exit scheduling units for this purpose.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64254
91177308-0d34-0410-b5e6-
96231b3b80d8
Devang Patel [Tue, 10 Feb 2009 22:14:17 +0000 (22:14 +0000)]
Ignore dbg intrinsic while folding unconditional branch.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64242
91177308-0d34-0410-b5e6-
96231b3b80d8
Evan Cheng [Tue, 10 Feb 2009 22:06:28 +0000 (22:06 +0000)]
Handle llvm.x86.sse2.maskmov.dqu in 64-bit.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64240
91177308-0d34-0410-b5e6-
96231b3b80d8
Evan Cheng [Tue, 10 Feb 2009 21:39:44 +0000 (21:39 +0000)]
80 col violations.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64237
91177308-0d34-0410-b5e6-
96231b3b80d8
Duncan Sands [Tue, 10 Feb 2009 20:44:15 +0000 (20:44 +0000)]
This is now done using a real i33, rather than
an emulated one. Adjust the check.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64236
91177308-0d34-0410-b5e6-
96231b3b80d8
Devang Patel [Tue, 10 Feb 2009 19:28:07 +0000 (19:28 +0000)]
Use early exits. Reduce indentation.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64226
91177308-0d34-0410-b5e6-
96231b3b80d8
Dan Gohman [Tue, 10 Feb 2009 17:56:28 +0000 (17:56 +0000)]
Use const, to support platforms where strrchr returns a const char *.
This fixes PR3535.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64224
91177308-0d34-0410-b5e6-
96231b3b80d8
Dan Gohman [Tue, 10 Feb 2009 17:26:53 +0000 (17:26 +0000)]
Answer a common FAQ:
"Can I compile C or C++ code to platform-independent LLVM bitcode?"
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64222
91177308-0d34-0410-b5e6-
96231b3b80d8
Duncan Sands [Tue, 10 Feb 2009 16:24:55 +0000 (16:24 +0000)]
Pacify gcc-4.3 (thinks IsConstant may be used
uninitialized).
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64220
91177308-0d34-0410-b5e6-
96231b3b80d8
Evan Cheng [Tue, 10 Feb 2009 08:30:11 +0000 (08:30 +0000)]
Fix PR3457: Ignore control successors when looking for closest scheduled successor. A control successor doesn't read result(s) produced by the scheduling unit being evaluated.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64210
91177308-0d34-0410-b5e6-
96231b3b80d8
Devang Patel [Tue, 10 Feb 2009 07:48:18 +0000 (07:48 +0000)]
Do not clone llvm.dbg.func.start and corresponding llvm.dbg.region.end during inlining.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64209
91177308-0d34-0410-b5e6-
96231b3b80d8
Devang Patel [Tue, 10 Feb 2009 07:00:59 +0000 (07:00 +0000)]
Enable scalar replacement of AllocaInst whose one of the user is dbg info.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64207
91177308-0d34-0410-b5e6-
96231b3b80d8
Devang Patel [Tue, 10 Feb 2009 06:04:08 +0000 (06:04 +0000)]
Validate file id.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64204
91177308-0d34-0410-b5e6-
96231b3b80d8
Sanjiv Gupta [Tue, 10 Feb 2009 04:20:26 +0000 (04:20 +0000)]
Function temporaries can not overlap with retval or args.See the comment in source code to know the reason. Anything having .auto. in its name is local to a function in nature irrespective of the linkage specified. print static local variables in module level IDATA section.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64199
91177308-0d34-0410-b5e6-
96231b3b80d8
Evan Cheng [Mon, 9 Feb 2009 23:32:07 +0000 (23:32 +0000)]
Implement FpSET_ST1_*.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64186
91177308-0d34-0410-b5e6-
96231b3b80d8