Eli Friedman
15f56db6c0
Teach BasicAA about the LLVM IR rules that allow reading past the end of an object given sufficient alignment. Fixes PR12098.
...
llvm-svn: 151553
2012-02-27 20:46:07 +00:00
Roman Divacky
588712f080
Test the section specification.
...
llvm-svn: 151552
2012-02-27 20:42:19 +00:00
Derek Schuff
999fd3acef
Fix PR12089
...
http://llvm.org/bugs/show_bug.cgi?id=12089
llvm-svn: 151550
2012-02-27 20:31:47 +00:00
Roman Divacky
200acf8e6e
Reapply r151278 with fixes.
...
MCize function entry label emission on PowerPC64 properly.
llvm-svn: 151547
2012-02-27 20:20:47 +00:00
Chad Rosier
ff495392fa
Add q suffix aliases for the fistp and fisttp mnemonics.
...
rdar://10921670
PR11935
llvm-svn: 151543
2012-02-27 19:43:12 +00:00
Akira Hatanaka
28521d25c9
Remove unnecessary template parameters.
...
llvm-svn: 151540
2012-02-27 19:17:53 +00:00
Akira Hatanaka
1e3ba02d8d
Fix instruction predicates that were not set correctly.
...
llvm-svn: 151538
2012-02-27 19:09:08 +00:00
Jakob Stoklund Olesen
edc3446412
Update machine code verifier.
...
After the SlotIndex slot names were updated, it is possible to apply
stricter checks to live intervals.
Also treat bundles as bags of operands when checking live intervals.
llvm-svn: 151531
2012-02-27 18:24:30 +00:00
Kevin Enderby
91d284c5de
Fix the symbolic operand added for the C disassmbler API for the ARM bl
...
thumb instruction. The PC adjustment is +4 in Thumb mode and +8 in ARM mode.
llvm-svn: 151530
2012-02-27 18:15:15 +00:00
Jakob Stoklund Olesen
381eeb2932
Add a MachineOperand iterator class.
...
The MIOperands iterator can visit operands on a single instruction, or
all operands in a bundle. This simplifies code like the register
allocator that treats bundles as a set of operands.
llvm-svn: 151529
2012-02-27 18:09:36 +00:00
Benjamin Kramer
e96ae5392c
Plog a memleak in GlobalOpt.
...
Found by valgrind.
llvm-svn: 151525
2012-02-27 12:48:24 +00:00
Duncan Sands
0f1520e70b
Micro-optimization, no functionality change.
...
llvm-svn: 151524
2012-02-27 12:11:41 +00:00
Jay Foad
e019c92c2a
Help the compiler to eliminate some dead code when hashing an array of T
...
where sizeof (T) is a multiple of 4.
llvm-svn: 151523
2012-02-27 11:00:17 +00:00
Duncan Sands
7dc8ff6615
The value numbering function is recursive, so it is possible for multiple new
...
value numbers to be assigned when calculating any particular value number.
Enhance the logic that detects new value numbers to take this into account,
for a tiny compile time speedup. Fix a comment typo while there.
llvm-svn: 151522
2012-02-27 09:54:35 +00:00
Duncan Sands
9e95178a81
When performing a conditional branch depending on the value of a comparison
...
%cmp (eg: A==B) we already replace %cmp with "true" under the true edge, and
with "false" under the false edge. This change enhances this to replace the
negated compare (A!=B) with "false" under the true edge and "true" under the
false edge. Reported to improve perlbench results by 1%.
llvm-svn: 151517
2012-02-27 08:14:30 +00:00
Craig Topper
9d9d92eab0
Remove HexagonGenIntrinsics.inc from Hexagon cmake file. It does not appear in the Makefile and the output it produces isn't used. The Hexagon intrinsics are all in the global Intrinsics.gen.
...
llvm-svn: 151514
2012-02-27 02:59:43 +00:00
Craig Topper
ae4e236c50
Update tblgen command guide. Remove unused tblgen InstrEnumEmitter files.
...
llvm-svn: 151513
2012-02-27 02:31:09 +00:00
Jia Liu
65a3b4e8b8
delete useless comment&blank
...
llvm-svn: 151512
2012-02-27 02:21:34 +00:00
Rafael Espindola
2d9b864afe
Fix this assert. IP can point to an instruction with strange dominance
...
properties (invoke). Just assert that the instruction we return dominates
the insertion point.
llvm-svn: 151511
2012-02-27 02:13:03 +00:00
Craig Topper
ab46706aa9
X86 disassembler support for jcxz, jecxz, and jrcxz. Fixes PR11643. Patch by Kay Tiong Khoo.
...
llvm-svn: 151510
2012-02-27 01:54:29 +00:00
Chad Rosier
3c578aa81b
Remove more GCC FE build stuff.
...
llvm-svn: 151507
2012-02-26 22:26:37 +00:00
Chad Rosier
9457d2b63a
Installing the GCC front end is no longer supported.
...
llvm-svn: 151506
2012-02-26 22:17:05 +00:00
Chad Rosier
cb11644ed8
Cleanup the LLVM Getting Started page.
...
llvm-svn: 151505
2012-02-26 22:12:59 +00:00
Chad Rosier
9458712b9a
Add href to clang in overview.
...
llvm-svn: 151503
2012-02-26 21:34:02 +00:00
Chad Rosier
d8384abc3c
Remove references to llvm-gcc from overview and tutorial.
...
llvm-svn: 151502
2012-02-26 21:31:25 +00:00
Nadav Rotem
6eccbedc5f
Add support for random constant vectors.
...
Patch by Joey Gouly.
llvm-svn: 151489
2012-02-26 13:56:18 +00:00
Nadav Rotem
65d5297fd2
Style fix: Remove unneeded parentheses.
...
llvm-svn: 151488
2012-02-26 12:34:17 +00:00
Nadav Rotem
2449d16831
Fix a bug in the code that checks if a store value is a vector of i1s
...
llvm-svn: 151487
2012-02-26 12:00:22 +00:00
Nadav Rotem
3680054079
Fix compilation on MSVC. Rename "_BB" to "Block"
...
Thanks zygoloid.
llvm-svn: 151481
2012-02-26 08:59:25 +00:00
Nadav Rotem
a77007fc95
fix a copy-and-paste error in the docs
...
llvm-svn: 151480
2012-02-26 08:43:43 +00:00
Nadav Rotem
8ce0029942
Add a random .LL file generator to stress-test different llvm components.
...
llvm-svn: 151479
2012-02-26 08:35:53 +00:00
Rafael Espindola
868ea25522
Add testcase for the previous commit.
...
llvm-svn: 151475
2012-02-26 05:49:57 +00:00
Rafael Espindola
c333947449
Don't call dominates on unreachable instructions. Should fix the dragonegg
...
build. Testcase is still reducing.
llvm-svn: 151474
2012-02-26 05:30:08 +00:00
Hal Finkel
abe41f723f
Default TargetData alignment information for 128-bit floating-point types.
...
llvm-svn: 151473
2012-02-26 04:13:31 +00:00
Rafael Espindola
137548bb3e
And update the comment...
...
llvm-svn: 151472
2012-02-26 02:36:56 +00:00
Rafael Espindola
e63adef174
Enable the assert that got all this dominator work started.
...
llvm-svn: 151471
2012-02-26 02:29:18 +00:00
Rafael Espindola
c97c3343f1
Use the DT dominates function in the verifier.
...
llvm-svn: 151470
2012-02-26 02:23:37 +00:00
Rafael Espindola
34b7c064cb
Change the implementation of dominates(inst, inst) to one based on what the
...
verifier does. This correctly handles invoke.
Thanks to Duncan, Andrew and Chris for the comments.
Thanks to Joerg for the early testing.
llvm-svn: 151469
2012-02-26 02:19:19 +00:00
Rafael Espindola
f5f6146ba4
Don't call dominates on unreachable instructions.
...
llvm-svn: 151468
2012-02-26 02:14:25 +00:00
Nick Lewycky
a93c874757
Reinstate the optimization from r151449 with a fix to not turn 'gep %x' into
...
'gep null' when the icmp predicate is unsigned (or is signed without inbounds).
llvm-svn: 151467
2012-02-26 02:09:49 +00:00
Rafael Espindola
d9e654ca63
Don't call dominates on unreachable instructions.
...
llvm-svn: 151466
2012-02-26 01:50:14 +00:00
Nick Lewycky
849715d31f
Roll these back to r151448 until I figure out how they're breaking
...
MultiSource/Applications/lua.
llvm-svn: 151463
2012-02-25 23:01:19 +00:00
Nick Lewycky
1636c6eaef
An argument and a local identified object (eg. a noalias call) could turn out
...
equal if both are null. In the test, scope type %t and global @y by adding a
'gep' prefix to them.
llvm-svn: 151452
2012-02-25 20:19:07 +00:00
Nick Lewycky
808d0e3fa7
Fix five-letter typo in comment.
...
llvm-svn: 151450
2012-02-25 19:12:58 +00:00
Nick Lewycky
94be1c7d95
Teach instsimplify to be more aggressive when analyzing comparisons of pointers
...
by using llvm::isIdentifiedObject. Also teach it to handle GEPs that have
the same base pointer and constant operands. Fixes PR11238!
llvm-svn: 151449
2012-02-25 19:07:42 +00:00
Nick Lewycky
dce2cfc335
Move isKnownNonNull from private implementation detail of BasicAA to a public
...
function that others can use, next to llvm::isIdentifiedObject.
llvm-svn: 151446
2012-02-25 10:56:28 +00:00
Nick Lewycky
57a70ec2c4
Remove spurious emacs mode marker.
...
llvm-svn: 151440
2012-02-25 07:20:06 +00:00
Hal Finkel
3aea686faa
Revert r151278, breaks static linking.
...
Reverting this because it breaks static linking on ppc64. Specifically, it may be linkonce_odr functions that are the problem.
With this patch, if you link statically, calls to some functions end up calling their descriptor addresses instead
of calling to their entry points. This causes the execution to fail with SIGILL (b/c the descriptor address just
has some pointers, not code).
llvm-svn: 151433
2012-02-25 03:40:11 +00:00
NAKAMURA Takumi
17b6271b41
Target/X86: Fix assertion failures and warnings caused by r151382 _ftol2 lowering for i386-*-win32 targets. Patch by Joe Groff.
...
[Joe Groff] Hi everyone. My previous patch applied as r151382 had a few problems:
Clang raised a warning, and X86 LowerOperation would assert out for
fptoui f64 to i32 because it improperly lowered to an illegal
BUILD_PAIR. Here's a patch that addresses these issues. Let me know if
any other changes are necessary. Thanks.
llvm-svn: 151432
2012-02-25 03:37:25 +00:00
Chad Rosier
7ebe024853
Add comment.
...
llvm-svn: 151431
2012-02-25 03:07:57 +00:00