Commits · d5b3aa49acc264186efce781a0a4fb30fbfb9273 · Lorenzo Albano / LLVM bpEVL · GitLab

Nov 25, 2014
- InstSimplify: Handle some simple tautological comparisons · bd9ce4ea
  David Majnemer authored Nov 25, 2014
  bd9ce4ea
Oct 21, 2014
- Introduce a 'nonnull' metadata on Load instructions. · cdb72f36
  Philip Reames authored Oct 20, 2014
  cdb72f36
Aug 28, 2014
- InstSimplify: Move a transform from InstCombine to InstSimplify · 76d06bc6
  David Majnemer authored Aug 28, 2014
  76d06bc6
Aug 27, 2014
- InstSimplify: Compute comparison ranges for left shift instructions · d6d1671c
  David Majnemer authored Aug 27, 2014
  d6d1671c
Aug 22, 2014
- ValueTracking: Figure out more bits when looking at add/sub · 97ddca32
  David Majnemer authored Aug 22, 2014
  97ddca32
Jul 18, 2014
- Add a dereferenceable attribute · b0407ba0
  Hal Finkel authored Jul 18, 2014
  b0407ba0
Jul 14, 2014
- Fix a test broken in r212981 · b8f435ca
  David Majnemer authored Jul 14, 2014
  b8f435ca
- InstSimplify: Correct sdiv x / -1 · af9180fd
  David Majnemer authored Jul 14, 2014
  af9180fd
- InstSimplify: The upper bound of X / C was missing a rounding step · 5ea4fc0b
  David Majnemer authored Jul 14, 2014
  5ea4fc0b
Jul 04, 2014
- InstSimplify: Fix a bug when INT_MIN is in a sdiv · 651ed5e8
  David Majnemer authored Jul 04, 2014
  651ed5e8
Jun 19, 2014
- Make instsimplify's analysis of icmp eq/ne use computeKnownBits to determine... · c961030a
  Nick Lewycky authored Jun 19, 2014
  c961030a
May 20, 2014
- Teach isKnownNonNull that a nonnull return is not null. Add a test for this... · ec373545
  Nick Lewycky authored May 20, 2014
  ec373545
May 16, 2014
- InstSimplify: Improve handling of ashr/lshr · 78910fc4
  David Majnemer authored May 16, 2014
  78910fc4
- InstSimplify: Optimize using dividend in sdiv · ea8d5dbf
  David Majnemer authored May 16, 2014
  ea8d5dbf
May 14, 2014
- InstSimplify: Optimize signed icmp of -(zext V) · 2d6c0235
  David Majnemer authored May 14, 2014
  2d6c0235
Jan 24, 2014
- InstSimplify: Make shift, select and GEP simplifications vector-aware. · 5e1794ee
  Benjamin Kramer authored Jan 24, 2014
  5e1794ee
Sep 28, 2013
- Add a test that large offsets on GEPs on 32 bits targets are handled correctly. · d75c8ebd
  Benjamin Kramer authored Sep 28, 2013
  d75c8ebd
Sep 23, 2013
- Expand test case a bit. · b517194f
  Benjamin Kramer authored Sep 23, 2013
  b517194f
- InstSimplify: Fold equality comparisons between non-inbounds GEPs. · 942dfe62
  Benjamin Kramer authored Sep 23, 2013
  942dfe62
Jul 14, 2013
- Update Transforms tests to use CHECK-LABEL for easier debugging. No functionality change. · c1c7a130
  Stephen Lin authored Jul 14, 2013
  c1c7a130
Jul 13, 2013
- Fix logic error optimizing "icmp pred (urem X, Y), Y" where pred is signed. · 35aeea99
  Nick Lewycky authored Jul 12, 2013
  35aeea99
Jul 10, 2013
- InstSimplify: X >> X -> 0 · a80fed7e
  David Majnemer authored Jul 09, 2013
  a80fed7e
Mar 18, 2013
- Check whether a pointer is non-null (isKnownNonNull) in isKnownNonZero. · 1217112d
  Manman Ren authored Mar 18, 2013
  1217112d
Feb 01, 2013
- Rewrite instsimplify's handling if icmp on pointer values to remove the · b3e2d3a6
  Dan Gohman authored Feb 01, 2013
  b3e2d3a6
- An alloca can be equal to an argument. It can't *alias* an alloca, but it could · 995d40e1
  Dan Gohman authored Jan 31, 2013
  995d40e1
Dec 07, 2012
- Add support to ValueTracking for determining that a pointer is non-null · 80d3e56c
  Chandler Carruth authored Dec 07, 2012
  80d3e56c
Nov 16, 2012
- InstructionSimplify should be able to simplify A+B==B+A to 'true' · c41076c0
  Duncan Sands authored Nov 16, 2012
  c41076c0
Mar 25, 2012
- Teach instsimplify how to simplify comparisons of pointers which are · 8059c84a
  Chandler Carruth authored Mar 25, 2012
  8059c84a
Feb 26, 2012
- Reinstate the optimization from r151449 with a fix to not turn 'gep %x' into · 3db143ea
  Nick Lewycky authored Feb 26, 2012
  3db143ea
- Roll these back to r151448 until I figure out how they're breaking · 7bbd72da
  Nick Lewycky authored Feb 25, 2012
  7bbd72da
Feb 25, 2012
- An argument and a local identified object (eg. a noalias call) could turn out · eeeffbb4
  Nick Lewycky authored Feb 25, 2012
  eeeffbb4
- Teach instsimplify to be more aggressive when analyzing comparisons of pointers · 51f2be8b
  Nick Lewycky authored Feb 25, 2012
  51f2be8b
Feb 24, 2012
- fix PR12075, a regression in a recent transform I added. In unreachable code,... · 01990f0e
  Chris Lattner authored Feb 24, 2012
  01990f0e
Feb 20, 2012
- fold comparisons of gep'd alloca points with null to false, · 445d8c6b
  Chris Lattner authored Feb 20, 2012
  445d8c6b
Feb 18, 2012
- Fix a rather nasty regression from r150690: LHS != RHS does not imply... · 952d1f9f
  Eli Friedman authored Feb 18, 2012
  952d1f9f
Feb 16, 2012
- InstSimplify: Ignore pointer casts when constant folding compares between pointers. · ea51f62e
  Benjamin Kramer authored Feb 16, 2012
  ea51f62e
Feb 10, 2012
- Fix PR11948: the result type of an icmp may be a vector of boolean - · 26641d7c
  Duncan Sands authored Feb 10, 2012
  26641d7c
- Revert commit 149912 (lattner) and add a testcase that shows the problem (which · bf48ac62
  Duncan Sands authored Feb 10, 2012
  bf48ac62
Nov 08, 2011
- Fix code to match comment. Fixes PR11340, a regression from r143209. · 0bae8b2c
  Eli Friedman authored Nov 08, 2011
  0bae8b2c
Oct 30, 2011
- Reapply commit 143214 with a fix: m_ICmp doesn't match conditions · 3d5692a4
  Duncan Sands authored Oct 30, 2011
  3d5692a4