OSDN Git Service
Jack Carter [Mon, 2 Jul 2012 23:21:22 +0000 (23:21 +0000)]
deleted test/CodeGen/Mips/inlineasm-cnstrnt-bad-r-1.ll
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159617
91177308-0d34-0410-b5e6-
96231b3b80d8
Chandler Carruth [Mon, 2 Jul 2012 22:56:41 +0000 (22:56 +0000)]
All glory to address sanitizer. ;]
It appears to have caught a use-after-free introduced as by r159567
and/or friends which call 'addPass' from many more places. The bug in
'addPass' doesn't appear to be new, and was spotted by inspection when
ASan shown a bright light of a stacktrace at these functions.
Hopefully this will fix the ASan failure -- I have no test case other
than running an ASan-built clang over the test suite.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159614
91177308-0d34-0410-b5e6-
96231b3b80d8
Evan Cheng [Mon, 2 Jul 2012 22:39:56 +0000 (22:39 +0000)]
Target option DisableJumpTables is a gross hack. Move it to TargetLowering instead.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159611
91177308-0d34-0410-b5e6-
96231b3b80d8
Jack Carter [Mon, 2 Jul 2012 22:39:45 +0000 (22:39 +0000)]
mips32 long long register inline asm constraint support.
inlineasm-cnstrnt-bad-r-1.ll is NOT supposed to fail, so it was removed. This resulted in the removal of a negative test (inlineasm-cnstrnt-bad-r-1.ll)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159610
91177308-0d34-0410-b5e6-
96231b3b80d8
Andrew Trick [Mon, 2 Jul 2012 21:55:12 +0000 (21:55 +0000)]
misched: allow NULL InstrItineraries.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159599
91177308-0d34-0410-b5e6-
96231b3b80d8
Chandler Carruth [Mon, 2 Jul 2012 21:45:22 +0000 (21:45 +0000)]
Extend the workaround from r159593 to cover a few explicit alias
targets.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159597
91177308-0d34-0410-b5e6-
96231b3b80d8
Chandler Carruth [Mon, 2 Jul 2012 21:31:03 +0000 (21:31 +0000)]
Revert r159588, and apply a more principled fix. Place the fix for this
in the abstraction for lit test suites so that the various other layers
of abstraction pick up the same behavioral fix, and so that we still get
a complete list of dependencies for the 'check-all' target.
This should fix the follow-on issues of the same nature with various
other build targets, including Clang targets. Sorry for the churn, and
again thanks to Matt for testing and breaking this more thoroughly.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159593
91177308-0d34-0410-b5e6-
96231b3b80d8
Eric Christopher [Mon, 2 Jul 2012 21:16:43 +0000 (21:16 +0000)]
Turn an assert into an error to make it a bit more friendly.
Part of rdar://
6880388 and rdar://
11766377
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159590
91177308-0d34-0410-b5e6-
96231b3b80d8
Chandler Carruth [Mon, 2 Jul 2012 21:14:06 +0000 (21:14 +0000)]
Work around a really frustrating apparant CMake bug.
No functionality changed here, except that the CMake installed by
default on Ubuntu Lucid should actually work with the makefile
generators now.
Thanks to Matt for the report and head-desking required to figure out
why it was failing.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159588
91177308-0d34-0410-b5e6-
96231b3b80d8
David Blaikie [Mon, 2 Jul 2012 21:00:00 +0000 (21:00 +0000)]
Fix -Wstring-conversion warning.
Patch by Matt Beaumont-Gay.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159583
91177308-0d34-0410-b5e6-
96231b3b80d8
Chandler Carruth [Mon, 2 Jul 2012 20:43:21 +0000 (20:43 +0000)]
Revert r159528 which taught lit's builtin shell test runner about the
'|&' bash syntax. We have lots of users with a bash on their system
which doesn't support this syntax, and as bash is still significantly
faster, we should support them.
The test suite has already been updated to cope with this.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159580
91177308-0d34-0410-b5e6-
96231b3b80d8
Chandler Carruth [Mon, 2 Jul 2012 20:14:54 +0000 (20:14 +0000)]
Switch from using a lit.cfg-generator variable that happens to be found
due to strange scoping rules to the actual canonical variable name
within the LLVM CMake build.
No functionality changed.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159575
91177308-0d34-0410-b5e6-
96231b3b80d8
Jack Carter [Mon, 2 Jul 2012 20:04:43 +0000 (20:04 +0000)]
Pass the correct ELFOSABI enumeration to the MipsELFObjectWriter constructor
Contributer: Sasa Stankovic
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159574
91177308-0d34-0410-b5e6-
96231b3b80d8
Bob Wilson [Mon, 2 Jul 2012 19:48:45 +0000 (19:48 +0000)]
Extend TargetPassConfig to allow running only a subset of the normal passes.
This is still a work in progress but I believe it is currently good enough
to fix PR13122 "Need unit test driver for codegen IR passes". For example,
you can run llc with -stop-after=loop-reduce to have it dump out the IR after
running LSR. Serializing machine-level IR is not yet supported but we have
some patches in progress for that.
The plan is to serialize the IR to a YAML file, containing separate sections
for the LLVM IR, machine-level IR, and whatever other info is needed. Chad
suggested that we stash the stop-after pass in the YAML file and use that
instead of the start-after option to figure out where to restart the
compilation. I think that's a great idea, but since it's not implemented yet
I put the -start-after option into this patch for testing purposes.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159570
91177308-0d34-0410-b5e6-
96231b3b80d8
Bob Wilson [Mon, 2 Jul 2012 19:48:39 +0000 (19:48 +0000)]
Move assertion with TargetPassConfig's Initialized flag.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159569
91177308-0d34-0410-b5e6-
96231b3b80d8
Bob Wilson [Mon, 2 Jul 2012 19:48:37 +0000 (19:48 +0000)]
Consistently use AnalysisID types in TargetPassConfig.
This makes it possible to just use a zero value to represent "no pass", so
the phony NoPassID global variable is no longer needed.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159568
91177308-0d34-0410-b5e6-
96231b3b80d8
Bob Wilson [Mon, 2 Jul 2012 19:48:31 +0000 (19:48 +0000)]
Add all codegen passes to the PassManager via TargetPassConfig.
This is a preliminary step toward having TargetPassConfig be able to
start and stop the compilation at specified passes for unit testing
and debugging. No functionality change.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159567
91177308-0d34-0410-b5e6-
96231b3b80d8
Bob Wilson [Mon, 2 Jul 2012 19:48:18 +0000 (19:48 +0000)]
Add a missing forward declaration of PassManagerBase.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159566
91177308-0d34-0410-b5e6-
96231b3b80d8
Evan Cheng [Mon, 2 Jul 2012 19:45:42 +0000 (19:45 +0000)]
Need a space.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159565
91177308-0d34-0410-b5e6-
96231b3b80d8
Andrew Trick [Mon, 2 Jul 2012 19:12:29 +0000 (19:12 +0000)]
Revert accidental checkin.
My last checkin was apparently not the branch I intended. It was missing one change (added by chandlerc), and contained a spurious change.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159548
91177308-0d34-0410-b5e6-
96231b3b80d8
Chandler Carruth [Mon, 2 Jul 2012 19:09:46 +0000 (19:09 +0000)]
Fix the remaining TCL-style quotes found in the testsuite. This is
another mechanical change accomplished though the power of terrible Perl
scripts.
I have manually switched some "s to 's to make escaping simpler.
While I started this to fix tests that aren't run in all configurations,
the massive number of tests is due to a really frustrating fragility of
our testing infrastructure: things like 'grep -v', 'not grep', and
'expected failures' can mask broken tests all too easily.
Essentially, I'm deeply disturbed that I can change the testsuite so
radically without causing any change in results for most platforms. =/
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159547
91177308-0d34-0410-b5e6-
96231b3b80d8
Duncan Sands [Mon, 2 Jul 2012 18:55:39 +0000 (18:55 +0000)]
GlobalOpt forgot to handle bitcast when analyzing globals. Found by inspection.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159546
91177308-0d34-0410-b5e6-
96231b3b80d8
Manman Ren [Mon, 2 Jul 2012 18:55:36 +0000 (18:55 +0000)]
Added assertion in getVRegDef of MachineRegisterInfo to make sure the virtual
register does not have multiple definitions. Modified TwoAddressInstructionPass
to use getUniqueVRegDef instead of getVRegDef.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159545
91177308-0d34-0410-b5e6-
96231b3b80d8
Chandler Carruth [Mon, 2 Jul 2012 18:37:59 +0000 (18:37 +0000)]
Convert the uses of '|&' to use '2>&1 |' instead, which works on old
versions of Bash. In addition, I can back out the change to the lit
built-in shell test runner to support this.
This should fix the majority of fallout on Darwin, but I suspect there
will be a few straggling issues.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159544
91177308-0d34-0410-b5e6-
96231b3b80d8
Chandler Carruth [Mon, 2 Jul 2012 18:28:34 +0000 (18:28 +0000)]
Fix the C++11 build. I hate narrowing conversions.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159543
91177308-0d34-0410-b5e6-
96231b3b80d8
Andrew Trick [Mon, 2 Jul 2012 18:10:42 +0000 (18:10 +0000)]
Reapply "Make NumMicroOps a variable in the subtarget's instruction itinerary."
Reapplies r159406 with minor cleanup. The regressions appear to have been spurious.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159541
91177308-0d34-0410-b5e6-
96231b3b80d8
Stepan Dyatkovskiy [Mon, 2 Jul 2012 17:42:46 +0000 (17:42 +0000)]
Fixed switch in IntRange::isSingleNumber method.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159540
91177308-0d34-0410-b5e6-
96231b3b80d8
Bob Wilson [Mon, 2 Jul 2012 17:22:47 +0000 (17:22 +0000)]
Do not attempt to use ROR for Thumb1.
Patch by Matt Fischer!
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159538
91177308-0d34-0410-b5e6-
96231b3b80d8
Nuno Lopes [Mon, 2 Jul 2012 16:14:47 +0000 (16:14 +0000)]
fix the regression I introduced in r159385 (it's necessary to update PHI nodes in unwind BB
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159534
91177308-0d34-0410-b5e6-
96231b3b80d8
Stepan Dyatkovskiy [Mon, 2 Jul 2012 14:10:46 +0000 (14:10 +0000)]
IntRange, fixed warning in isSingleNumber method
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159532
91177308-0d34-0410-b5e6-
96231b3b80d8
Chandler Carruth [Mon, 2 Jul 2012 13:35:01 +0000 (13:35 +0000)]
The built-in shell test runner for some reason doesn't like the quoting
and multi-line nature of this test. I don't really feel like bugging
this kind of edge-case, so just put it on one line and use single
quotes. With this, every test *really* passes with the built-in shell
test runner.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159530
91177308-0d34-0410-b5e6-
96231b3b80d8
Chandler Carruth [Mon, 2 Jul 2012 13:29:47 +0000 (13:29 +0000)]
Fix the TCL-style quoting in one random test that somehow slipped
through my perl nets.
With this, the test suite passes even if I force it to run with the
built-in shell test logic, except for a test which REQUIREs shell.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159529
91177308-0d34-0410-b5e6-
96231b3b80d8
Chandler Carruth [Mon, 2 Jul 2012 13:10:15 +0000 (13:10 +0000)]
Teach the built-in shell test runner in lit to handle '|&'-style pipes.
This is directly cloned from the logic in the TCL test bits of lit.
Hopefully will fix most of the windows build bot fallout.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159528
91177308-0d34-0410-b5e6-
96231b3b80d8
Stepan Dyatkovskiy [Mon, 2 Jul 2012 13:02:18 +0000 (13:02 +0000)]
IntRange:
- Changed isSingleNumber method behaviour. Now this flag is calculated on demand.
IntegersSubsetMapping
- Optimized diff operation.
- Replaced type of Items field from std::list with std::map.
- Added new methods:
bool isOverlapped(self &RHS)
void add(self& RHS, SuccessorClass *S)
void detachCase(self& NewMapping, SuccessorClass *Succ)
void removeCase(SuccessorClass *Succ)
SuccessorClass *findSuccessor(const IntTy& Val)
const IntTy* getCaseSingleNumber(SuccessorClass *Succ)
IntegersSubsetTest
- DiffTest: Added checks for successors.
SimplifyCFG
Updated SwitchInst usage (now it is case-ragnes compatible) for
- SimplifyEqualityComparisonWithOnlyPredecessor
- FoldValueComparisonIntoPredecessors
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159527
91177308-0d34-0410-b5e6-
96231b3b80d8
Chandler Carruth [Mon, 2 Jul 2012 12:47:22 +0000 (12:47 +0000)]
Convert all tests using TCL-style quoting to use shell-style quoting.
This was done through the aid of a terrible Perl creation. I will not
paste any of the horrors here. Suffice to say, it require multiple
staged rounds of replacements, state carried between, and a few
nested-construct-parsing hacks that I'm not proud of. It happens, by
luck, to be able to deal with all the TCL-quoting patterns in evidence
in the LLVM test suite.
If anyone is maintaining large out-of-tree test trees, feel free to poke
me and I'll send you the steps I used to convert things, as well as
answer any painful questions etc. IRC works best for this type of thing
I find.
Once converted, switch the LLVM lit config to use ShTests the same as
Clang. In addition to being able to delete large amounts of Python code
from 'lit', this will also simplify the entire test suite and some of
lit's architecture.
Finally, the test suite runs 33% faster on Linux now. ;]
For my 16-hardware-thread (2x 4-core xeon e5520): 36s -> 24s
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159525
91177308-0d34-0410-b5e6-
96231b3b80d8
Chandler Carruth [Mon, 2 Jul 2012 12:23:19 +0000 (12:23 +0000)]
Make tests which first provide a negative assertion via 'not', then
a pipeline, and then a positive assertion via grep, use two RUN lines
instead.
Supporting these complex ideas of 'success' and 'failure' across
multiple stages of a pipeline is brittle in the shell world, and would
block switching to ShTest format; it only worked due to contrivances
introduced by the TclTest format.
Writing this as two separate RUN lines seems clearer in any event.
This is another step toward completely removing TclTests from lit.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159524
91177308-0d34-0410-b5e6-
96231b3b80d8
Chandler Carruth [Mon, 2 Jul 2012 12:20:14 +0000 (12:20 +0000)]
Rewrite three tests that had truly egregious abuses of 'grep' in them to
use FileCheck.
Aside from removing a dependence on TCL-style quoting, this also makes
the tests ... significantly more robust. =] It would be really, *really*
great of the maintainer(s) of the CellSPU backend went through and
systematically rewrite these tests to use FileCheck. There are a lot
more that have nearly this bad of abuses.
Another step along the path to a TclTest-free testsuite.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159523
91177308-0d34-0410-b5e6-
96231b3b80d8
Kostya Serebryany [Mon, 2 Jul 2012 11:42:29 +0000 (11:42 +0000)]
[asan] small code simplification
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159522
91177308-0d34-0410-b5e6-
96231b3b80d8
Chandler Carruth [Mon, 2 Jul 2012 10:18:06 +0000 (10:18 +0000)]
Switch a bunch of Linker tests from using elaborate echo productions to
just provide and reference separate input files from an Inputs
subdirectory. This pattern works very well in the Clang tree and is
easier to understand in my opinion. It also has fewer limitations and
will remove one particularly annoying use of TCL-style {} quoting from
the testsuite.
Also teach the LLVM lit configuration to avoid recursing into 'Inputs'
subdirectories. This wasn't required for the previous 'Inputs'
subdirectories used due to fortuitous suffix patterns.
This is the first step to completely removing support for TCL-style tests.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159520
91177308-0d34-0410-b5e6-
96231b3b80d8
Alexey Samsonov [Mon, 2 Jul 2012 05:54:45 +0000 (05:54 +0000)]
This patch extends the libLLVMDebugInfo which contains a minimalistic DWARF parser:
1) DIContext is now able to return function name for a given instruction address (besides file/line info).
2) llvm-dwarfdump accepts flag --functions that prints the function name (if address is specified by --address flag).
3) test case that checks the basic functionality of llvm-dwarfdump added
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159512
91177308-0d34-0410-b5e6-
96231b3b80d8
Rafael Espindola [Sun, 1 Jul 2012 17:08:01 +0000 (17:08 +0000)]
Now that RegistersDefinedFromSameValue handles one instruction being an
implicit_def, the other instruction can be anything, including instructions
that define multiple values. Be careful about that and don't assume what operand
0 is.
Fixes pr13249.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159509
91177308-0d34-0410-b5e6-
96231b3b80d8
Elena Demikhovsky [Sun, 1 Jul 2012 06:12:26 +0000 (06:12 +0000)]
Optimization of shuffle node that can fit to the register form of VBROADCAST instruction on AVX2.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159504
91177308-0d34-0410-b5e6-
96231b3b80d8
Craig Topper [Sun, 1 Jul 2012 02:55:34 +0000 (02:55 +0000)]
Reduce code size by using a second switch statement to avoid extra calls to SelectAtomic64. Also catch cases where SelectAtomic64 fails.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159503
91177308-0d34-0410-b5e6-
96231b3b80d8
Craig Topper [Sun, 1 Jul 2012 02:18:18 +0000 (02:18 +0000)]
Add a break to the end of case statement missed in r159501.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159502
91177308-0d34-0410-b5e6-
96231b3b80d8
Craig Topper [Sun, 1 Jul 2012 02:17:08 +0000 (02:17 +0000)]
Fix a crash on release builds if gather intrinsics are passed a non-constant value for the last argument.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159501
91177308-0d34-0410-b5e6-
96231b3b80d8
Craig Topper [Sun, 1 Jul 2012 02:05:52 +0000 (02:05 +0000)]
Use a second switch statement to reduce number of calls to SelectGather in code. Reduces code size a bit.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159500
91177308-0d34-0410-b5e6-
96231b3b80d8
Benjamin Kramer [Sat, 30 Jun 2012 22:37:15 +0000 (22:37 +0000)]
Reduce use list thrashing by using DenseMap's find_as for maps with ValueHandle keys.
No functionality change.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159497
91177308-0d34-0410-b5e6-
96231b3b80d8
Bill Wendling [Sat, 30 Jun 2012 20:21:19 +0000 (20:21 +0000)]
Don't reinsert the 'atexit' function if it already exists.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159491
91177308-0d34-0410-b5e6-
96231b3b80d8
Chandler Carruth [Sat, 30 Jun 2012 10:14:14 +0000 (10:14 +0000)]
Hoist LLVM's lit testsuite infrastructure into module so that it can be
re-used. Also, build in direct support for accumulating a set of lit
parameters, arguments, and testsuites to run as part of a 'check-all'
rule. This sinks 'check-all' from a Clang-specific construct to
a generic construct of the project.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159482
91177308-0d34-0410-b5e6-
96231b3b80d8
Benjamin Kramer [Sat, 30 Jun 2012 10:02:08 +0000 (10:02 +0000)]
Avoid sign compare warning.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159481
91177308-0d34-0410-b5e6-
96231b3b80d8
Rafael Espindola [Sat, 30 Jun 2012 01:45:55 +0000 (01:45 +0000)]
Handle implicit_defs in the register coalescer. I am still trying to produce
a reduced testcase, but this fixes pr13209.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159479
91177308-0d34-0410-b5e6-
96231b3b80d8
Nuno Lopes [Fri, 29 Jun 2012 22:10:10 +0000 (22:10 +0000)]
revert r159440. As Duncan pointed out, the test for invoke is not needed at this point
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159471
91177308-0d34-0410-b5e6-
96231b3b80d8
Manman Ren [Fri, 29 Jun 2012 22:06:19 +0000 (22:06 +0000)]
ARM: Clean up optimizeCompare in peephole, no functional change.
Use getUniqueVRegDef.
Replace a loop with existing interfaces: modifiesRegister and readsRegister.
Factor out code into inline functions and simplify the code.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159470
91177308-0d34-0410-b5e6-
96231b3b80d8
Manman Ren [Fri, 29 Jun 2012 21:33:59 +0000 (21:33 +0000)]
Add SrcReg2 to analyzeCompare and optimizeCompareInstr to handle Compare
instructions with two register operands.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159465
91177308-0d34-0410-b5e6-
96231b3b80d8
Jakob Stoklund Olesen [Fri, 29 Jun 2012 21:00:03 +0000 (21:00 +0000)]
Clear kill flags in InstrEmitter::EmitSubregNode().
When a local virtual register is made global, make sure to clear any
existing kill flags.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159461
91177308-0d34-0410-b5e6-
96231b3b80d8
Jakob Stoklund Olesen [Fri, 29 Jun 2012 21:00:00 +0000 (21:00 +0000)]
Check for extra kill flags on live-out virtual registers.
This would previously get reported as the misleading "Virtual register
def doesn't dominate all uses."
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159460
91177308-0d34-0410-b5e6-
96231b3b80d8
Benjamin Kramer [Fri, 29 Jun 2012 19:58:21 +0000 (19:58 +0000)]
CodeGenPrepare: Don't crash when TLI is not available.
This happens when codegenprepare is invoked via opt.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159457
91177308-0d34-0410-b5e6-
96231b3b80d8
Manman Ren [Fri, 29 Jun 2012 19:16:05 +0000 (19:16 +0000)]
Add getUniqueVRegDef to MachineRegisterInfo.
This comes in handy during peephole optimization.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159453
91177308-0d34-0410-b5e6-
96231b3b80d8
Duncan Sands [Fri, 29 Jun 2012 19:03:05 +0000 (19:03 +0000)]
Rework this to clarify where the removal of nodes from the queue is
really happening. No intended functionality change.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159451
91177308-0d34-0410-b5e6-
96231b3b80d8
Nuno Lopes [Fri, 29 Jun 2012 17:49:32 +0000 (17:49 +0000)]
RefreshCallGraph: ignore 'invoke intrinsic'. IntrinsicInst doesnt not recognize invoke, and shouldnt at this point, since the rest of LLVM codebase doesnt expect invoke of intrinsics
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159441
91177308-0d34-0410-b5e6-
96231b3b80d8
Nuno Lopes [Fri, 29 Jun 2012 17:37:07 +0000 (17:37 +0000)]
ignore 'invoke new' in isInstructionTriviallyDead, since most callers are not ready to handle invokes. instcombine will take care of this.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159440
91177308-0d34-0410-b5e6-
96231b3b80d8
Alexey Samsonov [Fri, 29 Jun 2012 16:04:14 +0000 (16:04 +0000)]
Cleanup in DwarfDebug - fix a typo and remove two unused functions
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159433
91177308-0d34-0410-b5e6-
96231b3b80d8
Duncan Sands [Fri, 29 Jun 2012 13:25:06 +0000 (13:25 +0000)]
Fix a reassociate crash on sozefx when compiling with dragonegg+gcc-4.7 due to
the optimizers producing a multiply expression with more multiplications than
the original (!).
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159426
91177308-0d34-0410-b5e6-
96231b3b80d8
Chandler Carruth [Fri, 29 Jun 2012 12:38:19 +0000 (12:38 +0000)]
Move llvm/Support/IRBuilder.h -> llvm/IRBuilder.h
This was always part of the VMCore library out of necessity -- it deals
entirely in the IR. The .cpp file in fact was already part of the VMCore
library. This is just a mechanical move.
I've tried to go through and re-apply the coding standard's preferred
header sort, but at 40-ish files, I may have gotten some wrong. Please
let me know if so.
I'll be committing the corresponding updates to Clang and Polly, and
Duncan has DragonEgg.
Thanks to Bill and Eric for giving the green light for this bit of cleanup.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159421
91177308-0d34-0410-b5e6-
96231b3b80d8
Bill Wendling [Fri, 29 Jun 2012 09:01:47 +0000 (09:01 +0000)]
Update the CMake files.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159417
91177308-0d34-0410-b5e6-
96231b3b80d8
Bill Wendling [Fri, 29 Jun 2012 09:00:01 +0000 (09:00 +0000)]
Sphinxify the Atomics documentation.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159416
91177308-0d34-0410-b5e6-
96231b3b80d8
Bill Wendling [Fri, 29 Jun 2012 08:32:07 +0000 (08:32 +0000)]
The DIBuilder class is just a wrapper around debug info creation
(a.k.a. MDNodes). The module doesn't belong in Analysis. Move it to the VMCore
instead.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159414
91177308-0d34-0410-b5e6-
96231b3b80d8
Andrew Trick [Fri, 29 Jun 2012 07:10:41 +0000 (07:10 +0000)]
Revert "Make NumMicroOps a variable in the subtarget's instruction itinerary."
This reverts commit r159406. I noticed a performance regression so I'll back out for now.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159411
91177308-0d34-0410-b5e6-
96231b3b80d8
Rafael Espindola [Fri, 29 Jun 2012 04:22:35 +0000 (04:22 +0000)]
In the initial exec mode we always do a load to find the address of a variable.
Before this patch in pic 32 bit code we would add the global base register
and not load from that address. This is a really old bug, but before the
introduction of the tls attributes we would never select initial exec for
pic code.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159409
91177308-0d34-0410-b5e6-
96231b3b80d8
Andrew Trick [Fri, 29 Jun 2012 03:23:24 +0000 (03:23 +0000)]
misched: avoid scheduling instructions that can't be dispatched.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159408
91177308-0d34-0410-b5e6-
96231b3b80d8
Andrew Trick [Fri, 29 Jun 2012 03:23:22 +0000 (03:23 +0000)]
misched: count micro-ops toward the issue limit.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159407
91177308-0d34-0410-b5e6-
96231b3b80d8
Andrew Trick [Fri, 29 Jun 2012 03:23:18 +0000 (03:23 +0000)]
Make NumMicroOps a variable in the subtarget's instruction itinerary.
The TargetInstrInfo::getNumMicroOps API does not change, but soon it
will be used by MachineScheduler. Now each subtarget can specify the
number of micro-ops per itinerary class. For ARM, this is currently
always dynamic (-1), because it is used for load/store multiple which
depends on the number of register operands.
Zero is now a valid number of micro-ops. This can be used for
nop pseudo-instructions or instructions that the hardware can squash
during dispatch.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159406
91177308-0d34-0410-b5e6-
96231b3b80d8
Manman Ren [Fri, 29 Jun 2012 00:54:20 +0000 (00:54 +0000)]
X86: add more GATHER intrinsics in LLVM
Corrected type for index of llvm.x86.avx2.gather.d.pd.256
from 256-bit to 128-bit.
Corrected types for src|dst|mask of llvm.x86.avx2.gather.q.ps.256
from 256-bit to 128-bit.
Support the following intrinsics:
llvm.x86.avx2.gather.d.q, llvm.x86.avx2.gather.q.q
llvm.x86.avx2.gather.d.q.256, llvm.x86.avx2.gather.q.q.256
llvm.x86.avx2.gather.d.d, llvm.x86.avx2.gather.q.d
llvm.x86.avx2.gather.d.d.256, llvm.x86.avx2.gather.q.d.256
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159402
91177308-0d34-0410-b5e6-
96231b3b80d8
Chandler Carruth [Fri, 29 Jun 2012 00:45:57 +0000 (00:45 +0000)]
Remove a completely unnecessary mkdir from the CMake build.
Clang has been getting along fine without this for quite some time.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159400
91177308-0d34-0410-b5e6-
96231b3b80d8
Chandler Carruth [Fri, 29 Jun 2012 00:40:15 +0000 (00:40 +0000)]
Add a missing common variable to the lit.site.cfg generation. This was
only used in the Clang tree, but it seems reasonable to support.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159399
91177308-0d34-0410-b5e6-
96231b3b80d8
Nick Lewycky [Thu, 28 Jun 2012 23:44:57 +0000 (23:44 +0000)]
If the step value is a constant zero, the loop isn't going to terminate. Fixes
the assert reported in PR13228!
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159393
91177308-0d34-0410-b5e6-
96231b3b80d8
Nuno Lopes [Thu, 28 Jun 2012 22:57:00 +0000 (22:57 +0000)]
make the verifier accept @llvm.donothing as the only intrinsic that can be invoked
While at it, merge 2 tests and FileCheckize them
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159388
91177308-0d34-0410-b5e6-
96231b3b80d8
Nuno Lopes [Thu, 28 Jun 2012 22:32:27 +0000 (22:32 +0000)]
make simplifyCFG erase invokes to readonly/readnone functions
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159385
91177308-0d34-0410-b5e6-
96231b3b80d8
Nuno Lopes [Thu, 28 Jun 2012 22:31:24 +0000 (22:31 +0000)]
make instcombine produce calls to llvm.donothing instead of a random intrinsic
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159384
91177308-0d34-0410-b5e6-
96231b3b80d8
Nuno Lopes [Thu, 28 Jun 2012 22:30:12 +0000 (22:30 +0000)]
add a new @llvm.donothing intrinsic that, well, does nothing, and teach CodeGen to ignore calls to it
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159383
91177308-0d34-0410-b5e6-
96231b3b80d8
Jim Grosbach [Thu, 28 Jun 2012 21:03:44 +0000 (21:03 +0000)]
'Promote' vector [su]int_to_fp should widen elements.
Teach vector legalization how to honor Promote for int to float
conversions. The code checking whether to promote the operation knew
to look at the operand, but the actual promotion code didn't. This
fixes that. The operand is promoted up via [zs]ext.
rdar://
11762659
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159378
91177308-0d34-0410-b5e6-
96231b3b80d8
Jack Carter [Thu, 28 Jun 2012 20:46:26 +0000 (20:46 +0000)]
Changed the formatting sequence of a curly brace to
the comment per code review feedback.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159376
91177308-0d34-0410-b5e6-
96231b3b80d8
Eric Christopher [Thu, 28 Jun 2012 20:35:00 +0000 (20:35 +0000)]
Regenerate.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159374
91177308-0d34-0410-b5e6-
96231b3b80d8
Bill Wendling [Thu, 28 Jun 2012 20:17:05 +0000 (20:17 +0000)]
Remove layering violation #include.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159372
91177308-0d34-0410-b5e6-
96231b3b80d8
Benjamin Kramer [Thu, 28 Jun 2012 20:08:47 +0000 (20:08 +0000)]
Fix hexagon gcc builtin names to use '_' instead of '.'.
This way the generated GCC builtin to LLVM intrinsic converter
actually works.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159370
91177308-0d34-0410-b5e6-
96231b3b80d8
Benjamin Kramer [Thu, 28 Jun 2012 19:09:53 +0000 (19:09 +0000)]
Enable automatic GCC<->LLVM intrinsic translation for mips.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159367
91177308-0d34-0410-b5e6-
96231b3b80d8
Simon Atanasyan [Thu, 28 Jun 2012 18:20:28 +0000 (18:20 +0000)]
Define MIPS DSP Rev1 intrinsics. That allows frontend to emit a correct IR.
This patch was reviewed in the llvm-commits list by Jim Grosbach.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159364
91177308-0d34-0410-b5e6-
96231b3b80d8
Nuno Lopes [Thu, 28 Jun 2012 16:34:03 +0000 (16:34 +0000)]
MemoryBuiltins:
- recognize C++ new(std::nothrow) friends
- ignore ExtractElement and ExtractValue instructions in size/offset analysis (all easy cases are probably folded away before we get here)
- also recognize realloc as noalias
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159356
91177308-0d34-0410-b5e6-
96231b3b80d8
Nuno Lopes [Thu, 28 Jun 2012 16:13:37 +0000 (16:13 +0000)]
make LazyValueInfo analyze the default case of switch statements (we know that in the default branch the value cannot be any of the switch cases)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159353
91177308-0d34-0410-b5e6-
96231b3b80d8
Nuno Lopes [Thu, 28 Jun 2012 16:10:13 +0000 (16:10 +0000)]
add ConstantRange::difference (to perform set difference/relative complement)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159352
91177308-0d34-0410-b5e6-
96231b3b80d8
Benjamin Kramer [Thu, 28 Jun 2012 14:25:45 +0000 (14:25 +0000)]
Devirtualize DIScope and subclasses.
Nothing in here makes use of the virtuality.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159349
91177308-0d34-0410-b5e6-
96231b3b80d8
Kostya Serebryany [Thu, 28 Jun 2012 09:34:41 +0000 (09:34 +0000)]
[asan] set a hard limit on the number of instructions instrumented pear each BB. This is (hopefully temporary) workaround for PR13225
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159344
91177308-0d34-0410-b5e6-
96231b3b80d8
Bill Wendling [Thu, 28 Jun 2012 08:43:12 +0000 (08:43 +0000)]
Sphinxify the bitcode format document.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159340
91177308-0d34-0410-b5e6-
96231b3b80d8
Alexey Samsonov [Thu, 28 Jun 2012 07:47:50 +0000 (07:47 +0000)]
Fix Windows build after r159281: s/iterator/const_iterator
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159334
91177308-0d34-0410-b5e6-
96231b3b80d8
Chandler Carruth [Thu, 28 Jun 2012 06:36:24 +0000 (06:36 +0000)]
Move the setup for variables that are expanded in the lit.site.cfg into
a dedicated helper function. This will enable re-using the same logic
for Clang's lit setup, etc.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159333
91177308-0d34-0410-b5e6-
96231b3b80d8
Hal Finkel [Thu, 28 Jun 2012 05:42:45 +0000 (05:42 +0000)]
Precompute SCEV pointer analysis prior to instruction fusion in BBVectorize.
When both a load/store and its address computation are being vectorized, it can
happen that the address-computation vectorization destroys SCEV's ability
to analyize the relative pointer offsets. As a result (like with the aliasing
analysis info), we need to precompute the necessary information prior to
instruction fusing.
This was found during stress testing (running through the test suite with a very
low required chain length); unfortunately, I don't have a small test case.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159332
91177308-0d34-0410-b5e6-
96231b3b80d8
Hal Finkel [Thu, 28 Jun 2012 05:42:43 +0000 (05:42 +0000)]
Remove a useless check in BBVectorize.
A shuffle mask will always be a constant, but I did not realize that
when I originally wrote the code.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159331
91177308-0d34-0410-b5e6-
96231b3b80d8
Hal Finkel [Thu, 28 Jun 2012 05:42:42 +0000 (05:42 +0000)]
Allow BBVectorize to form non-2^n-length vectors.
The original algorithm only used recursive pair fusion of equal-length
types. This is now extended to allow pairing of any types that share
the same underlying scalar type. Because we would still generally
prefer the 2^n-length types, those are formed first. Then a second
set of iterations form the non-2^n-length types.
Also, a call to SimplifyInstructionsInBlock has been added after each
pairing iteration. This takes care of DCE (and a few other things)
that make the following iterations execute somewhat faster. For the
same reason, some of the simple shuffle-combination cases are now
handled internally.
There is some additional refactoring work to be done, but I've had
many requests for this feature, so additional refactoring will come
soon in future commits (as will additional test cases).
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159330
91177308-0d34-0410-b5e6-
96231b3b80d8
Hal Finkel [Thu, 28 Jun 2012 05:42:26 +0000 (05:42 +0000)]
Refactor operation equivalence checking in BBVectorize by extending Instruction::isSameOperationAs.
Maintaining this kind of checking in different places is dangerous, extending
Instruction::isSameOperationAs consolidates this logic into one place. Here
I've added an optional flags parameter and two flags that are important for
vectorization: CompareIgnoringAlignment and CompareUsingScalarTypes.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159329
91177308-0d34-0410-b5e6-
96231b3b80d8
Bill Wendling [Thu, 28 Jun 2012 02:17:58 +0000 (02:17 +0000)]
Only print out the tag if it's there.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159328
91177308-0d34-0410-b5e6-
96231b3b80d8