OSDN Git Service
Chris Lattner [Tue, 16 Jun 2009 06:11:35 +0000 (06:11 +0000)]
I think instcombine should unconditionally do this xform.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73471
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Tue, 16 Jun 2009 05:15:21 +0000 (05:15 +0000)]
Fix PR4336: Iterating over use-def chains doesn't seem to be deterministic.
The problem was that BitcodeReader::materializeModule would read functions
from the bc file in densemap pointer key order (doubly non-deterministic!),
which would cause the use-def chains to be set up for globals in
non-determinstic order. Non-determinstic use/def chains can cause
nondeterminism in many places down-stream.
Many thanks to Julien Lerouge for putting together the pass in the PR that
shows the issue!
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73470
91177308-0d34-0410-b5e6-
96231b3b80d8
Bill Wendling [Tue, 16 Jun 2009 04:12:45 +0000 (04:12 +0000)]
There doesn't seem to be a reason to move the save FP stuff.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73468
91177308-0d34-0410-b5e6-
96231b3b80d8
Bill Wendling [Tue, 16 Jun 2009 04:06:15 +0000 (04:06 +0000)]
The DWARF to compact encoding converter assumes that the DW_CFA_def_cfa_offset
comes after the DW_CFA_def_cfa_register, because the CFA is really ESP from the
start of the function and only gets an offset when the "subl $xxx,%esp"
instruction happens, not the other way around.
And reapply r72898:
The DWARF unwind info was incorrect. While compiling with
`-fomit-frame-pointer', we would lack the DW_CFA_advance_loc information for a
lot of function, and then they would be `0'. The linker (at least on Darwin)
needs to encode the stack size. In some cases, the stack size is too large to
directly encode. So the linker checks to see if there is a "subl $xxx,%esp"
instruction at the point where the `DW_CFA_def_cfa_offset' says the pc was. If
so, the compact encoding records the offset in the function to where the stack
size is embedded. But because the `DW_CFA_advance_loc' instructions are missing,
it looks before the function and dies.
So, instead of emitting the EH debug label before the stack adjustment
operations, emit it afterwards, right before the frame move stuff.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73465
91177308-0d34-0410-b5e6-
96231b3b80d8
Bill Wendling [Tue, 16 Jun 2009 04:02:03 +0000 (04:02 +0000)]
Fix typos.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73464
91177308-0d34-0410-b5e6-
96231b3b80d8
Devang Patel [Tue, 16 Jun 2009 02:09:30 +0000 (02:09 +0000)]
Use MainCU if it is available.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73457
91177308-0d34-0410-b5e6-
96231b3b80d8
Owen Anderson [Tue, 16 Jun 2009 01:17:16 +0000 (01:17 +0000)]
Add initial stab at documenting the use of LLVM with threaded clients.
Comments welcome!
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73456
91177308-0d34-0410-b5e6-
96231b3b80d8
Dan Gohman [Tue, 16 Jun 2009 01:02:32 +0000 (01:02 +0000)]
Add comments to ConstantInt::get and ConstantFP::get to more fully
describe their behavior.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73454
91177308-0d34-0410-b5e6-
96231b3b80d8
Dan Gohman [Tue, 16 Jun 2009 00:20:26 +0000 (00:20 +0000)]
Use Type::getScalarType.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73451
91177308-0d34-0410-b5e6-
96231b3b80d8
Mikhail Glushenkov [Tue, 16 Jun 2009 00:14:20 +0000 (00:14 +0000)]
Regenerate.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73449
91177308-0d34-0410-b5e6-
96231b3b80d8
Mikhail Glushenkov [Tue, 16 Jun 2009 00:13:52 +0000 (00:13 +0000)]
Documentation update.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73448
91177308-0d34-0410-b5e6-
96231b3b80d8
Owen Anderson [Mon, 15 Jun 2009 23:12:00 +0000 (23:12 +0000)]
Remove extraneous propset.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73441
91177308-0d34-0410-b5e6-
96231b3b80d8
Owen Anderson [Mon, 15 Jun 2009 22:54:48 +0000 (22:54 +0000)]
Owen Anderson 2009-06-15: Use a SmallPtrSet here, for speed and to match df_iterator.
Owen Anderson 2009-06-15: Remember to clear out our maps to prevent crashing.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73438
91177308-0d34-0410-b5e6-
96231b3b80d8
Dan Gohman [Mon, 15 Jun 2009 22:50:40 +0000 (22:50 +0000)]
Add a CreateFNeg function to IRBuilder.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73437
91177308-0d34-0410-b5e6-
96231b3b80d8
Dan Gohman [Mon, 15 Jun 2009 22:49:34 +0000 (22:49 +0000)]
Update this test to use fmul instead of mul.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73436
91177308-0d34-0410-b5e6-
96231b3b80d8
Dan Gohman [Mon, 15 Jun 2009 22:32:41 +0000 (22:32 +0000)]
Change this from an assert to a cerr+exit, since it's diagnosing an
unsupported inline asm construct, rather than verifying a code invariant.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73435
91177308-0d34-0410-b5e6-
96231b3b80d8
Evan Cheng [Mon, 15 Jun 2009 22:32:01 +0000 (22:32 +0000)]
On Darwin, frame pointer r7 is never available.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73434
91177308-0d34-0410-b5e6-
96231b3b80d8
Dan Gohman [Mon, 15 Jun 2009 22:25:12 +0000 (22:25 +0000)]
Use Type::isIntOrIntVector and Type::isFPOrFPVector.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73433
91177308-0d34-0410-b5e6-
96231b3b80d8
Dan Gohman [Mon, 15 Jun 2009 22:12:54 +0000 (22:12 +0000)]
Support vector casts in more places, fixing a variety of assertion
failures.
To support this, add some utility functions to Type to help support
vector/scalar-independent code. Change ConstantInt::get and
ConstantFP::get to support vector types, and add an overload to
ConstantInt::get that uses a static IntegerType type, for
convenience.
Introduce a new getConstant method for ScalarEvolution, to simplify
common use cases.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73431
91177308-0d34-0410-b5e6-
96231b3b80d8
Anton Korobeynikov [Mon, 15 Jun 2009 22:08:48 +0000 (22:08 +0000)]
Address more comments :)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73430
91177308-0d34-0410-b5e6-
96231b3b80d8
Dan Gohman [Mon, 15 Jun 2009 21:52:11 +0000 (21:52 +0000)]
Fix a typo in a diagnostic.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73429
91177308-0d34-0410-b5e6-
96231b3b80d8
Anton Korobeynikov [Mon, 15 Jun 2009 21:46:20 +0000 (21:46 +0000)]
Rename methods for the sake of consistency.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73428
91177308-0d34-0410-b5e6-
96231b3b80d8
Anton Korobeynikov [Mon, 15 Jun 2009 21:46:02 +0000 (21:46 +0000)]
Document ABIType enum. Patch by Sandeep Patel!
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73427
91177308-0d34-0410-b5e6-
96231b3b80d8
Devang Patel [Mon, 15 Jun 2009 21:45:50 +0000 (21:45 +0000)]
Gracefully handle imbalanced inline function begin and end markers.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73426
91177308-0d34-0410-b5e6-
96231b3b80d8
Evan Cheng [Mon, 15 Jun 2009 21:24:34 +0000 (21:24 +0000)]
ifcvt should ignore cfg where true and false successors are the same.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73423
91177308-0d34-0410-b5e6-
96231b3b80d8
Evan Cheng [Mon, 15 Jun 2009 21:18:20 +0000 (21:18 +0000)]
Typo.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73422
91177308-0d34-0410-b5e6-
96231b3b80d8
Dan Gohman [Mon, 15 Jun 2009 21:18:01 +0000 (21:18 +0000)]
Rewrite the noredzone description, attempting to avoid confusing language.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73421
91177308-0d34-0410-b5e6-
96231b3b80d8
Bill Wendling [Mon, 15 Jun 2009 20:59:31 +0000 (20:59 +0000)]
The Ls and Qs were mixed up. Patch by Sean.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73417
91177308-0d34-0410-b5e6-
96231b3b80d8
Dale Johannesen [Mon, 15 Jun 2009 20:59:27 +0000 (20:59 +0000)]
Fix the crash in this test. This is basically the same
problem addressed in 31284, but the patch there only
addressed the case where an invoke is the first thing in
a block.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73416
91177308-0d34-0410-b5e6-
96231b3b80d8
Evan Cheng [Mon, 15 Jun 2009 20:54:56 +0000 (20:54 +0000)]
Do not form ldrd / strd if the two dests / srcs are the same. Code clean up.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73413
91177308-0d34-0410-b5e6-
96231b3b80d8
Owen Anderson [Mon, 15 Jun 2009 20:50:26 +0000 (20:50 +0000)]
Merge PartialInliner changes.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73412
91177308-0d34-0410-b5e6-
96231b3b80d8
Bill Wendling [Mon, 15 Jun 2009 19:39:04 +0000 (19:39 +0000)]
"The Intel instruction tables should include the 64-bit and 32-bit instructions
that push immediate operands of 1, 2, and 4 bytes (extended to the native
register size in each case). The assembly mnemonics are "pushl" and "pushq."
One such instruction appears at the beginning of the "start" function , so this
is essential for accurate disassembly when unwinding."
Patch by Sean Callanan!
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73407
91177308-0d34-0410-b5e6-
96231b3b80d8
Evan Cheng [Mon, 15 Jun 2009 19:36:32 +0000 (19:36 +0000)]
Silence a warning.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73406
91177308-0d34-0410-b5e6-
96231b3b80d8
Bill Wendling [Mon, 15 Jun 2009 19:10:56 +0000 (19:10 +0000)]
This test is failing. Revert for now.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73404
91177308-0d34-0410-b5e6-
96231b3b80d8
Dan Gohman [Mon, 15 Jun 2009 18:38:59 +0000 (18:38 +0000)]
Code cleanups. getSCEVAtScope no longer uses SCEVCouldNotCompute.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73401
91177308-0d34-0410-b5e6-
96231b3b80d8
Bill Wendling [Mon, 15 Jun 2009 18:36:34 +0000 (18:36 +0000)]
Add another testcase for r71478.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73399
91177308-0d34-0410-b5e6-
96231b3b80d8
Dan Gohman [Mon, 15 Jun 2009 18:30:15 +0000 (18:30 +0000)]
Make the EnableLoadPRE variable static.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73398
91177308-0d34-0410-b5e6-
96231b3b80d8
Dan Gohman [Mon, 15 Jun 2009 18:22:49 +0000 (18:22 +0000)]
Fix a typo.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73397
91177308-0d34-0410-b5e6-
96231b3b80d8
Dan Gohman [Mon, 15 Jun 2009 18:05:46 +0000 (18:05 +0000)]
glibc has two versions of strerror_r, a standards compliant one and a GNU
specific one. The GNU one is chosen when _GNU_SOURCE is defined. g++ always
defines _GNU_SOURCE on linux platforms because glibc's headers won't compile
in C++ mode without it. The GNU strerror_r doesn't always modify the buffer
which causes empty error messages on linux.
This patch changes MakeErrMsg to use the return value of strerror_r to get
the string instead of assuming the buffer will be modified, on GLIBC.
Patch by Benjamin Kramer!
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73396
91177308-0d34-0410-b5e6-
96231b3b80d8
Dan Gohman [Mon, 15 Jun 2009 17:37:09 +0000 (17:37 +0000)]
Reword the description of the noredzone attribute.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73394
91177308-0d34-0410-b5e6-
96231b3b80d8
Arnold Schwaighofer [Mon, 15 Jun 2009 14:43:36 +0000 (14:43 +0000)]
CheckTailCallReturnConstraints is missing a check on the
incomming chain of the RETURN node. The incomming chain must
be the outgoing chain of the CALL node. This causes the
backend to identify tail calls that are not tail calls. This
patch fixes this.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73387
91177308-0d34-0410-b5e6-
96231b3b80d8
Torok Edwin [Mon, 15 Jun 2009 12:17:44 +0000 (12:17 +0000)]
x86_64 was completely missing from the target triples supported by the X86 code
generator!
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73385
91177308-0d34-0410-b5e6-
96231b3b80d8
Rafael Espindola [Mon, 15 Jun 2009 10:14:18 +0000 (10:14 +0000)]
Remove the gcc= option. llvm-gcc uses only as=
Look for as in the path. Doing it here instead
of llvm-gcc because llvm-gcc has nothing as
convenient as sys::Program::FindProgramByName.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73383
91177308-0d34-0410-b5e6-
96231b3b80d8
Evan Cheng [Mon, 15 Jun 2009 08:28:29 +0000 (08:28 +0000)]
Part 1.
- Change register allocation hint to a pair of unsigned integers. The hint type is zero (which means prefer the register specified as second part of the pair) or entirely target dependent.
- Allow targets to specify alternative register allocation orders based on allocation hint.
Part 2.
- Use the register allocation hint system to implement more aggressive load / store multiple formation.
- Aggressively form LDRD / STRD. These are formed *before* register allocation. It has to be done this way to shorten live interval of base and offset registers. e.g.
v1025 = LDR v1024, 0
v1026 = LDR v1024, 0
=>
v1025,v1026 = LDRD v1024, 0
If this transformation isn't done before allocation, v1024 will overlap v1025 which means it more difficult to allocate a register pair.
- Even with the register allocation hint, it may not be possible to get the desired allocation. In that case, the post-allocation load / store multiple pass must fix the ldrd / strd instructions. They can either become ldm / stm instructions or back to a pair of ldr / str instructions.
This is work in progress, not yet enabled.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73381
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Mon, 15 Jun 2009 05:46:02 +0000 (05:46 +0000)]
fix testcase to properly check for the patch in r73195.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73380
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Mon, 15 Jun 2009 05:38:04 +0000 (05:38 +0000)]
"This patch implements the method with the GetModuleFileName function for windows."
Patch by Benjamin Kramer!
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73379
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Mon, 15 Jun 2009 04:42:32 +0000 (04:42 +0000)]
remove extraneous const qualifier
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73373
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Mon, 15 Jun 2009 04:39:05 +0000 (04:39 +0000)]
I got J and K backward, many thanks to Eli for spotting this!
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73372
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Mon, 15 Jun 2009 04:18:54 +0000 (04:18 +0000)]
remove some old CVS-specific arguments that don't work with SVN.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73369
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Mon, 15 Jun 2009 04:17:07 +0000 (04:17 +0000)]
add a new static method to portably determine whether a patch is
absolute or not, based on a patch by Gregory Curfman!
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73368
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Mon, 15 Jun 2009 04:01:39 +0000 (04:01 +0000)]
implement support for the 'K' asm constraint, PR4347
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73366
91177308-0d34-0410-b5e6-
96231b3b80d8
Dan Gohman [Sun, 14 Jun 2009 23:30:43 +0000 (23:30 +0000)]
Fix old-style type names in comments.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73362
91177308-0d34-0410-b5e6-
96231b3b80d8
Dan Gohman [Sun, 14 Jun 2009 22:58:51 +0000 (22:58 +0000)]
Implement more aggressive folding of add operand lists when
they contain multiplications of constants with add operations.
This helps simplify several kinds of things; in particular it
helps simplify expressions like ((-1 * (%a + %b)) + %a) to %b,
as expressions like this often come up in loop trip count
computations.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73361
91177308-0d34-0410-b5e6-
96231b3b80d8
Dan Gohman [Sun, 14 Jun 2009 22:55:07 +0000 (22:55 +0000)]
Specialize DenseMapInfo for SCEVHandle, so that SCEVHandles can be
used as keys in DenseMaps.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73360
91177308-0d34-0410-b5e6-
96231b3b80d8
Dan Gohman [Sun, 14 Jun 2009 22:53:57 +0000 (22:53 +0000)]
Check for the short-circuiting condition before performing
the potentially expensive erase.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73359
91177308-0d34-0410-b5e6-
96231b3b80d8
Dan Gohman [Sun, 14 Jun 2009 22:51:25 +0000 (22:51 +0000)]
Do compare constant SCEV values in SCEVComplexityCompare, because
even though the order doesn't matter at the top level of an expression,
it does matter when the constant is a subexpression of an n-ary
expression, because n-ary expressions are sorted lexicographically.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73358
91177308-0d34-0410-b5e6-
96231b3b80d8
Dan Gohman [Sun, 14 Jun 2009 22:47:23 +0000 (22:47 +0000)]
Convert several parts of the ScalarEvolution framework to use
SmallVector instead of std::vector.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73357
91177308-0d34-0410-b5e6-
96231b3b80d8
Dan Gohman [Sun, 14 Jun 2009 22:38:41 +0000 (22:38 +0000)]
Add another item to the list of things that indvars does.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73355
91177308-0d34-0410-b5e6-
96231b3b80d8
Duncan Sands [Sun, 14 Jun 2009 22:22:42 +0000 (22:22 +0000)]
Testcase for PR4332.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73353
91177308-0d34-0410-b5e6-
96231b3b80d8
Evan Cheng [Sun, 14 Jun 2009 20:22:55 +0000 (20:22 +0000)]
Move register allocation preference (or hint) from LiveInterval to MachineRegisterInfo. This allows more passes to set them.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73346
91177308-0d34-0410-b5e6-
96231b3b80d8
Torok Edwin [Sun, 14 Jun 2009 13:39:56 +0000 (13:39 +0000)]
Fix CMake build. Patch from Ingmar Vanhassel.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73342
91177308-0d34-0410-b5e6-
96231b3b80d8
Owen Anderson [Sun, 14 Jun 2009 08:26:32 +0000 (08:26 +0000)]
Add an early implementation of a partial inlining pass. The idea behind this
is that, for functions whose bodies are entirely guarded by an if-statement, it
can be profitable to pull the test out of the callee and into the caller.
This code has had some cursory testing, but still has a number of known issues
on the LLVM test suite.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73338
91177308-0d34-0410-b5e6-
96231b3b80d8
Bruno Cardoso Lopes [Sun, 14 Jun 2009 07:53:21 +0000 (07:53 +0000)]
Introduce new BinaryObject (blob) class, ELF Writer modified to use it. BinaryObject.h by Aaron Gray
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73333
91177308-0d34-0410-b5e6-
96231b3b80d8
Douglas Gregor [Sun, 14 Jun 2009 07:24:49 +0000 (07:24 +0000)]
Add output of the SFINAE bit for Clang's diagnostics
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73331
91177308-0d34-0410-b5e6-
96231b3b80d8
Shantonu Sen [Sun, 14 Jun 2009 02:03:17 +0000 (02:03 +0000)]
Add myself, test commit
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73320
91177308-0d34-0410-b5e6-
96231b3b80d8
Nick Lewycky [Sat, 13 Jun 2009 19:09:52 +0000 (19:09 +0000)]
Unlike the other instructions, GEP really does need to look at the type of a
pointer. This fixes kimwitu++. Pointed out by Frits van Bommel on review!
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73299
91177308-0d34-0410-b5e6-
96231b3b80d8
Sanjiv Gupta [Sat, 13 Jun 2009 17:35:54 +0000 (17:35 +0000)]
The subprogram descriptor for a function may be missing (llvm-ld linking two static functions with same name), so pick up the compilation unit for the function from the first valid debug loc of its instructions.
This patch also emits debug info for structure (aggregate types in
general) types.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73295
91177308-0d34-0410-b5e6-
96231b3b80d8
Dan Gohman [Sat, 13 Jun 2009 16:25:49 +0000 (16:25 +0000)]
Teach SCEVExpander's visitAddRecExpr to reuse an existing canonical
induction variable when the addrec to be expanded does not require
a wider type. This eliminates the need for IndVarSimplify to
micro-manage SCEV expansions, because SCEVExpander now
automatically expands them in the form that IndVarSimplify considers
to be canonical. (LSR still micro-manages its SCEV expansions,
because it's optimizing for the target, rather than for
other optimizations.)
Also, this uses the new getAnyExtendExpr, which has more clever
expression simplification logic than the IndVarSimplify code it
replaces, and this cleans up some ugly expansions in code such as
the included masked-iv.ll testcase.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73294
91177308-0d34-0410-b5e6-
96231b3b80d8
Dan Gohman [Sat, 13 Jun 2009 15:56:47 +0000 (15:56 +0000)]
Add a ScalarEvolution::getAnyExtendExpr utility function for performing
extension with unspecified bits.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73293
91177308-0d34-0410-b5e6-
96231b3b80d8
Evan Cheng [Sat, 13 Jun 2009 09:12:55 +0000 (09:12 +0000)]
Add a ARM specific pre-allocation pass that re-schedule loads / stores from
consecutive addresses togther. This makes it easier for the post-allocation pass
to form ldm / stm.
This is step 1. We are still missing a lot of ldm / stm opportunities because
of register allocation are not done in the desired order. More enhancements
coming.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73291
91177308-0d34-0410-b5e6-
96231b3b80d8
Devang Patel [Sat, 13 Jun 2009 02:16:18 +0000 (02:16 +0000)]
llvm.dbg.region.end() intrinsic is not required to be in _last_ basic block in a function. If that happens then any basic block that follows (lexically) the block with regin.end will not have scope info available. LexicalScopeStack relies on processing basic block in CFG order, but this processing order is not guaranteed. Things get complicated when the optimizer gets a chance to optimizer IR with dbg intrinsics.
Apply defensive patch to preserve at least one lexical scope till the end of function.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73282
91177308-0d34-0410-b5e6-
96231b3b80d8
Bruno Cardoso Lopes [Fri, 12 Jun 2009 23:51:56 +0000 (23:51 +0000)]
Type change cleanup on JCE and MCE. Patch by Aaron Gray
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73271
91177308-0d34-0410-b5e6-
96231b3b80d8
Dan Gohman [Fri, 12 Jun 2009 23:31:14 +0000 (23:31 +0000)]
Adjust this test's regex strings so that they work regardless
of the target's pointer size. This avoids the need for -m32 on
the llvm-gcc command-line, which some targets may not support.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73270
91177308-0d34-0410-b5e6-
96231b3b80d8
Dan Gohman [Fri, 12 Jun 2009 23:02:02 +0000 (23:02 +0000)]
Add -m32 to llvm-gcc commands, so that this test behaves as expected
on systems which default to a 64-bit target.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73265
91177308-0d34-0410-b5e6-
96231b3b80d8
Owen Anderson [Fri, 12 Jun 2009 22:07:19 +0000 (22:07 +0000)]
Improve style.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73258
91177308-0d34-0410-b5e6-
96231b3b80d8
Owen Anderson [Fri, 12 Jun 2009 21:50:22 +0000 (21:50 +0000)]
This is supposed to be a preorder numbering of the dominator tree, not the CFG.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73257
91177308-0d34-0410-b5e6-
96231b3b80d8
Owen Anderson [Fri, 12 Jun 2009 21:41:29 +0000 (21:41 +0000)]
Now with less iterator invalidation, and other forms of crashing!
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73256
91177308-0d34-0410-b5e6-
96231b3b80d8
Evan Cheng [Fri, 12 Jun 2009 21:34:26 +0000 (21:34 +0000)]
If killed register is defined by implicit_def, do not clear it since it's live range may overlap another def of same register.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73255
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Fri, 12 Jun 2009 21:01:07 +0000 (21:01 +0000)]
second half of fix for PR4366: don't zap store to null of
non-default addrspaces.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73253
91177308-0d34-0410-b5e6-
96231b3b80d8
Evan Cheng [Fri, 12 Jun 2009 20:46:18 +0000 (20:46 +0000)]
Mark some pattern-less instructions as neverHasSideEffects.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73252
91177308-0d34-0410-b5e6-
96231b3b80d8
Devang Patel [Fri, 12 Jun 2009 19:45:19 +0000 (19:45 +0000)]
Document noredzone and noimplicitfloat function attributes.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73246
91177308-0d34-0410-b5e6-
96231b3b80d8
Devang Patel [Fri, 12 Jun 2009 19:24:05 +0000 (19:24 +0000)]
Clear AbstractInstanceRootMap at the end of the function.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73244
91177308-0d34-0410-b5e6-
96231b3b80d8
Dan Gohman [Fri, 12 Jun 2009 19:23:25 +0000 (19:23 +0000)]
Don't do (x - (y - z)) --> (x + (z - y)) on floating-point types, because
it may round differently. This fixes PR4374.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73243
91177308-0d34-0410-b5e6-
96231b3b80d8
Dan Gohman [Fri, 12 Jun 2009 19:03:05 +0000 (19:03 +0000)]
Give Instruction::isSameOperationAs a corresponding comment to note
the relationship with MergeFunctions.cpp's isEquivalentOperation,
and make a trivial code reordering so that the two functions are
easier to compare.
Fix the name of Instruction::isSameOperationAs in MergeFunction.cpp's
isEquivalentOperation's comment, and fix a nearby 80-column violation.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73241
91177308-0d34-0410-b5e6-
96231b3b80d8
Dale Johannesen [Fri, 12 Jun 2009 18:41:53 +0000 (18:41 +0000)]
Testcase for llvm-gcc patch 73238.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73239
91177308-0d34-0410-b5e6-
96231b3b80d8
Bill Wendling [Fri, 12 Jun 2009 18:02:40 +0000 (18:02 +0000)]
Waste time fixing something that should have been fixed before.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73236
91177308-0d34-0410-b5e6-
96231b3b80d8
Nick Lewycky [Fri, 12 Jun 2009 17:16:48 +0000 (17:16 +0000)]
Keep callers of a weak function calling it, instead of the non-weak equivalent.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73235
91177308-0d34-0410-b5e6-
96231b3b80d8
Arnold Schwaighofer [Fri, 12 Jun 2009 16:26:57 +0000 (16:26 +0000)]
Fix Bug 4278: X86-64 with -tailcallopt calling convention
out of sync with regular cc.
The only difference between the tail call cc and the normal
cc was that one parameter register - R9 - was reserved for
calling functions through a function pointer. After time the
tail call cc has gotten out of sync with the regular cc.
We can use R11 which is also caller saved but not used as
parameter register for potential function pointers and
remove the special tail call cc on x86-64.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73233
91177308-0d34-0410-b5e6-
96231b3b80d8
Nick Lewycky [Fri, 12 Jun 2009 16:04:00 +0000 (16:04 +0000)]
Don't forget to match the calling convention when producing a thunk.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73231
91177308-0d34-0410-b5e6-
96231b3b80d8
Nick Lewycky [Fri, 12 Jun 2009 15:56:56 +0000 (15:56 +0000)]
Given two identical weak functions, produce one internal function and two weak
thunks.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73230
91177308-0d34-0410-b5e6-
96231b3b80d8
Duncan Sands [Fri, 12 Jun 2009 14:23:42 +0000 (14:23 +0000)]
Tweak GenLibDeps.pl so it works on solaris.
Patch by Edward O'Callaghan.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73228
91177308-0d34-0410-b5e6-
96231b3b80d8
Nicolas Geoffray [Fri, 12 Jun 2009 14:11:08 +0000 (14:11 +0000)]
After obtaining the lock, look if the function has been codegen'd by
another thread.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73227
91177308-0d34-0410-b5e6-
96231b3b80d8
Nick Lewycky [Fri, 12 Jun 2009 13:24:41 +0000 (13:24 +0000)]
This test is wrong. If you have two weak functions F and G you can't make
either one call the other since either one can be replaced at link time, and
they need to be independent.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73225
91177308-0d34-0410-b5e6-
96231b3b80d8
Duncan Sands [Fri, 12 Jun 2009 13:02:52 +0000 (13:02 +0000)]
Add clang support to the nightly test script.
Patch by Edward O'Callaghan.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73224
91177308-0d34-0410-b5e6-
96231b3b80d8
Duncan Sands [Fri, 12 Jun 2009 12:52:24 +0000 (12:52 +0000)]
Credits for Edward O'Callaghan.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73223
91177308-0d34-0410-b5e6-
96231b3b80d8
Nick Lewycky [Fri, 12 Jun 2009 08:04:51 +0000 (08:04 +0000)]
Add an "are types equivalent" operation that ignores the types that a pointer
points to while analyzing all other fields.
Use FoldingSetNodeID to produce a good hash. This dramatically decreases run
times.
Emit thunks. This means that it can look at all functions regardless of what
the linkage is or if the address is taken, but unfortunately some small
functions can be even shorter than the thunk because our backend doesn't yet
realize it can just turn these into jumps. This means that this pass will
pessimize code on average.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73222
91177308-0d34-0410-b5e6-
96231b3b80d8
Nick Lewycky [Fri, 12 Jun 2009 05:39:02 +0000 (05:39 +0000)]
Fix regular expression.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73221
91177308-0d34-0410-b5e6-
96231b3b80d8
Nick Lewycky [Fri, 12 Jun 2009 05:20:12 +0000 (05:20 +0000)]
Don't remove aggregate-typed module level constants before encoding functions
since functions may contain aggregate constants too.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73220
91177308-0d34-0410-b5e6-
96231b3b80d8
Nick Lewycky [Fri, 12 Jun 2009 05:18:32 +0000 (05:18 +0000)]
In an XFAIL line, treat "XFAIL: foo*bar" as a regular expression to be matched
against the target triple, instead of equivalent to "XFAIL: *".
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73219
91177308-0d34-0410-b5e6-
96231b3b80d8
Oscar Fuentes [Fri, 12 Jun 2009 02:49:53 +0000 (02:49 +0000)]
CMake: New variable LLVM_LIBDIR_SUFFIX.
Patch by Ingmar Vanhassel!
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73216
91177308-0d34-0410-b5e6-
96231b3b80d8