Gericom/teak-llvm
1
Fork 0
mirror of https://github.com/Gericom/teak-llvm.git synced 2025-06-25 14:28:54 -04:00
Code Issues Actions Packages Projects Releases Wiki Activity
148,913 Commits 1 Branch 0 Tags 875 MiB
c70ef4e93c
Commit Graph

58 Commits

Author SHA1 Message Date
Nadav Rotem
c70ef4e93c Revert r164763 because it introduces new shuffles. 
Thanks Nick Lewycky for pointing this out.

llvm-svn: 181177
 2013-05-06 02:39:09 +00:00
David Majnemer
d73f37bb83 Fix a bug in foldSelectICmpAndOr. 
Differences in bitwidth between X and Y could exist even if C1 and C2 have
the same Log2 representation.

llvm-svn: 180779
 2013-04-30 10:36:33 +00:00
David Majnemer
8d048d0482 Fix "Combine bit test + conditional or into simple math" 
This fixes the optimization introduced in r179748 and reverted in r179750.

While the optimization was sound, it did not properly respect differences in
bit-width.

llvm-svn: 180777
 2013-04-30 08:57:58 +00:00
Jakub Staszak
99317268e2 Keep coding stanard. Don't use "else if" after "return". 
llvm-svn: 179826
 2013-04-19 01:18:04 +00:00
David Majnemer
81af06e003 Revert "Combine bit test + conditional or into simple math" 
It is causing stage2 builds to fail, let's get them running again.

llvm-svn: 179750
 2013-04-18 08:42:33 +00:00
David Majnemer
bdf0caf6b1 Combine bit test + conditional or into simple math 
Simplify:
(select (icmp eq (and X, C1), 0), Y, (or Y, C2))

Into:
(or (shl (and X, C1), C3), y)

Where:
C3 = Log(C2) - Log(C1)

If:
C1 and C2 are both powers of two

llvm-svn: 179748
 2013-04-18 07:30:07 +00:00
Jim Grosbach
bdbd73460c Tidy up a bit. No functional change. 
llvm-svn: 178915
 2013-04-05 21:20:12 +00:00
Akira Hatanaka
99866dd535 Check if Type is a vector before calling function Type::getVectorNumElements. 
llvm-svn: 178208
 2013-03-28 01:28:02 +00:00
Chandler Carruth
ed0881b2a6 Use the new script to sort the includes of every file under lib. 
Sooooo many of these had incorrect or strange main module includes.
I have manually inspected all of these, and fixed the main module
include to be the nearest plausible thing I could find. If you own or
care about any of these source files, I encourage you to take some time
and check that these edits were sensible. I can't have broken anything
(I strictly added headers, and reordered them, never removed), but they
may not be the headers you'd really like to identify as containing the
API being implemented.

Many forward declarations and missing includes were added to a header
files to allow them to parse cleanly when included first. The main
module rule does in fact have its merits. =]

llvm-svn: 169131
 2012-12-03 16:50:05 +00:00
Benjamin Kramer
f55b592cc8 InstCombine: Fix an edge case where constant icmps could sneak into ConstantFoldInstOperands and crash. 
Have to refactor the ConstantFolder interface one day to define bugs like this away. Fixes PR14131.

llvm-svn: 166374
 2012-10-20 08:43:52 +00:00
Micah Villmow
cdfe20b97f Move TargetData to DataLayout. 
llvm-svn: 165402
 2012-10-08 16:38:25 +00:00
Nick Lewycky
156999f8b9 Surprisingly, we missed a trivial case here. Fix that! 
llvm-svn: 164814
 2012-09-28 09:33:53 +00:00
Nick Lewycky
7b4cd228aa Prefer shuffles to selects. Backends love shuffles! 
llvm-svn: 164763
 2012-09-27 08:33:56 +00:00
Nuno Lopes
20c7eb3549 fix infinite loop in instcombine in the presence of a (malformed) self-referencing select inst. 
This can happen as long as the instruction is not reachable. Instcombine does generate these unreachable malformed selects when doing RAUW

llvm-svn: 160874
 2012-07-27 18:03:57 +00:00
Pete Cooper
abc13af9c6 Simplify demanded bits of select sources where the condition is a constant vector 
llvm-svn: 160835
 2012-07-26 23:10:24 +00:00
Nadav Rotem
4e50efead6 Fix a bug in FoldSelectOpOp. Bitcast ops may change the number of vector elements, which may disagree with the select condition type. 
llvm-svn: 158166
 2012-06-07 20:28:57 +00:00
Benjamin Kramer
b8743a9150 InstCombine: Fix infinite loop when encountering switch on trivial icmp. 
The test case feeds the following into InstCombine's visitSelect:
%tobool8 = icmp ne i32 0, 0
%phitmp = select i1 %tobool8, i32 3, i32 0
Then instcombine replaces the right side of the switch with 0, doesn't notice
that nothing changes and tries again indefinitely.

This fixes PR12897.

llvm-svn: 157587
 2012-05-28 19:18:16 +00:00
David Blaikie
46a9f016c5 More dead code removal (using -Wunreachable-code) 
llvm-svn: 148578
 2012-01-20 21:51:11 +00:00
Pete Cooper
b33c297f14 Added InstCombine for "select cond, ~cond, x" type patterns 
These can be reduced to "~cond & x" or "~cond | x"

llvm-svn: 146624
 2011-12-15 00:56:45 +00:00
Chad Rosier
43a33066b4 Fix a few more places where TargetData/TargetLibraryInfo is not being passed. 
Add FIXMEs to places that are non-trivial to fix.

llvm-svn: 145661
 2011-12-02 01:26:24 +00:00
Nick Lewycky
99fb091f65 Add a new icmp+select optz'n. Also shows off the load(cst) folding added in 
r140966.

llvm-svn: 140969
 2011-10-02 10:37:37 +00:00
Nick Lewycky
40a34dd9a3 Enhance a couple places where we were doing constant folding of instructions, 
but not load instructions. Noticed by inspection.

llvm-svn: 140966
 2011-10-02 09:12:55 +00:00
Eli Friedman
911e12f505 Clean up includes of llvm/Analysis/ConstantFolding.h so it's included where it's used and not included where it isn't. 
llvm-svn: 135628
 2011-07-20 21:57:23 +00:00
Jay Foad
f4b14a2b0d Use ArrayRef in ConstantFoldInstOperands and ConstantFoldCall. 
llvm-svn: 135477
 2011-07-19 13:32:40 +00:00
Chris Lattner
229907cd11 land David Blaikie's patch to de-constify Type, with a few tweaks. 
llvm-svn: 135375
 2011-07-18 04:54:35 +00:00
Eli Friedman
2c980fafff PR10180: Fix a instcombine crash with FP vectors. 
llvm-svn: 133756
 2011-06-23 20:40:23 +00:00
Benjamin Kramer
fd53a27f99 ConstantFoldInstOperands doesn't like compares, hand it off to instsimplify instead. 
Fixes PR10040.

llvm-svn: 132254
 2011-05-28 10:16:58 +00:00
Benjamin Kramer
749ef5f420 InstCombine: Make switch folding with equality compares more aggressive by trying instsimplify on the arm where we know the compared value. 
Stuff like "x == y ? y : x&y" now folds into "x&y".

llvm-svn: 132185
 2011-05-27 13:00:16 +00:00
Eli Friedman
2fd66441c6 Switch more inst insertion in instcombine to IRBuilder. 
llvm-svn: 131547
 2011-05-18 18:10:28 +00:00
Eli Friedman
0b43b9ee98 Switch more inst insertion in instcombine to IRBuilder. 
llvm-svn: 131544
 2011-05-18 17:58:37 +00:00
Eli Friedman
cde9c1628c Switch inst insertion in instcombine transform to IRBuilder. 
llvm-svn: 131542
 2011-05-18 17:31:55 +00:00
Nick Lewycky
ebc2f3a68c Remove tabs I accidentally added. 
llvm-svn: 128413
 2011-03-28 17:48:26 +00:00
Nick Lewycky
8544228d5a Teach the transformation that moves binary operators around selects to preserve 
the subclass optional data.

llvm-svn: 128388
 2011-03-27 19:51:23 +00:00
Nick Lewycky
83167df787 Add a small missed optimization: turn X == C ? X : Y into X == C ? C : Y. This 
removes one use of X which helps it pass the many hasOneUse() checks.

In my analysis, this turns up very often where X = A >>exact B and that can't be
simplified unless X has one use (except by increasing the lifetime of A which is
generally a performance loss).

llvm-svn: 128373
 2011-03-27 07:30:57 +00:00
Benjamin Kramer
51897bcd3e InstCombine: Fix a thinko where transform an icmp under the assumption that it's a zero comparison when it's not. 
Fixes PR9454.

llvm-svn: 127464
 2011-03-11 11:37:40 +00:00
Nick Lewycky
b074e32641 Fold select + select where both selects are on the same condition. 
llvm-svn: 124469
 2011-01-28 03:28:10 +00:00
Tobias Grosser
cc21c4aa98 Instcombine: Fix pattern where the sext did not dominate the icmp using it 
llvm-svn: 123121
 2011-01-09 16:00:11 +00:00
Frits van Bommel
6a1fb8f235 Fix a bug in r123034 (trying to sext/zext non-integers) and clean up a little. 
llvm-svn: 123061
 2011-01-08 10:51:36 +00:00
Tobias Grosser
fc3d7f664b InstCombine: Match min/max hidden by sext/zext 
X = sext x; x >s c ? X : C+1 --> X = sext x; X <s C+1 ? C+1 : X
X = sext x; x <s c ? X : C-1 --> X = sext x; X >s C-1 ? C-1 : X
X = zext x; x >u c ? X : C+1 --> X = zext x; X <u C+1 ? C+1 : X
X = zext x; x <u c ? X : C-1 --> X = zext x; X >u C-1 ? C-1 : X
X = sext x; x >u c ? X : C+1 --> X = sext x; X <u C+1 ? C+1 : X
X = sext x; x <u c ? X : C-1 --> X = sext x; X >u C-1 ? C-1 : X

Instead of calculating this with mixed types promote all to the
larger type. This enables scalar evolution to analyze this
expression. PR8866

llvm-svn: 123034
 2011-01-07 21:33:14 +00:00
Tobias Grosser
411e6eedff Some whitespace fixes 
llvm-svn: 123033
 2011-01-07 21:33:13 +00:00
Benjamin Kramer
8ef5001b27 InstCombine: creating selects from -1 and 0 is fine, they combine into a sext from i1. 
llvm-svn: 122453
 2010-12-22 23:12:15 +00:00
Benjamin Kramer
c4169cebe3 Generalize the and-icmp-select instcombine further by allowing selects of the form 
(x & 2^n) ? 2^m+C : C

we can offset both arms by C to get the "(x & 2^n) ? 2^m : 0" form, optimize the
select to a shift and apply the offset afterwards.

llvm-svn: 121609
 2010-12-11 10:49:22 +00:00
Benjamin Kramer
c8b035d006 Factor the (x & 2^n) ? 2^m : 0 instcombine into its own method and generalize it 
to catch cases where n != m with a shift.

llvm-svn: 121608
 2010-12-11 09:42:59 +00:00
Dale Johannesen
16bb87a90e Teach InstCombine not to use Add and Neg on FP. PR 8490. 
llvm-svn: 117510
 2010-10-27 23:45:18 +00:00
Owen Anderson
8a39c807e2 Remove the rest of my instcombine changes. Back to the drawing board on this one. 
llvm-svn: 108530
 2010-07-16 16:39:00 +00:00
Owen Anderson
eaf64d5c1e Speculatively revert r108429 to fix the clang self-host. 
llvm-svn: 108436
 2010-07-15 18:18:57 +00:00
Owen Anderson
eb08d01061 Per Chris' suggestion, get rid of the select canonicalization and just add 
the corresponding or-icmp-and pattern.  This has the added benefit of doing
the matching earlier, and thus being less susceptible to being confused by
earlier transforms.

llvm-svn: 108429
 2010-07-15 17:24:23 +00:00
Owen Anderson
7151dfd48a Reapply r108378, with bugfixes, testcase, and improved comment formatting. 
This now passes LIT, nighty test, and llvm-gcc bootstrap on my machine.

llvm-svn: 108422
 2010-07-15 15:00:23 +00:00
Eli Friedman
a8b4e3732b Speculatively revert r108378; may be causing bootstrap failures. 
llvm-svn: 108389
 2010-07-15 00:33:00 +00:00
Owen Anderson
37d91d84af Add instcombine transforms to optimize tests of multiple bits of the same value into a single larger comparison. 
llvm-svn: 108378
 2010-07-14 23:33:51 +00:00