Project Ortega BCM5719 LLVM https://git.raptorcs.com/git/bcm5719-llvm/atom?h=meklort-10.0.1 2019-12-24T23:57:33+00:00 2019-12-24T23:57:33+00:00 Fangrui Song maskray@google.com 2019-12-24T23:52:21+00:00 urn:sha1:502a77f125f43ffde57af34d3fd1b900248a91cd 2019-12-11T16:48:16+00:00 Bardia Mahjour bmahjour@ca.ibm.com 2019-12-11T16:48:16+00:00 urn:sha1:916d37a2bc53903b8b8da5fa226bced79cc5da69 Summary: The current da printer shows the dependence without indicating which instructions are being considered as the src vs dst. It also silently ignores call instructions, despite the fact that they create confused dependence edges to other memory instructions. This patch addresses these two issues plus a couple of minor non-functional improvements. Authored By: bmahjour Reviewer: dmgreen, fhahn, philip.pfaffe, chandlerc Reviewed By: dmgreen, fhahn Tags: #llvm Differential Revision: https://reviews.llvm.org/D71088 2019-09-16T20:44:15+00:00 Bardia Mahjour bmahjour@ca.ibm.com 2019-09-16T20:44:15+00:00 urn:sha1:474c713fc75b548c80d19e500dc9264c42e1bd6b llvm-svn: 372033 2019-06-10T15:29:07+00:00 Whitney Tsang whitney.uwaterloo@gmail.com 2019-06-10T15:29:07+00:00 urn:sha1:05bf5f9328e2bcada093cc36e729621763b68823 Summary: Dependence Analysis performs static checks to confirm validity of delinearization. These checks often fail for 64-bit targets due to type conversions and integer wrapping that prevent simplification of the SCEV expressions. These checks would also fail at compile-time if the lower bound of the loops are compile-time unknown. Author: bmahjour Reviewer: Meinersbur, jdoerfert, kbarton, dmgreen, fhahn Reviewed By: Meinersbur, jdoerfert, dmgreen Subscribers: fhahn, hiraditya, javed.absar, llvm-commits, Whitney, etiotto Tag: LLVM Differential Revision: https://reviews.llvm.org/D62610 llvm-svn: 362952 2019-02-03T12:25:41+00:00 Philip Pfaffe philip.pfaffe@gmail.com 2019-02-03T12:25:41+00:00 urn:sha1:9438585fe457d737322a9dde1cf285d76162a021 Summary: The analysis result of DA caches pointers to AA, SCEV, and LI, but it never checks for their invalidation. Fix that. Reviewers: chandlerc, dmgreen, bogner Reviewed By: dmgreen Subscribers: hiraditya, bollu, javed.absar, llvm-commits Differential Revision: https://reviews.llvm.org/D56381 llvm-svn: 352986 2019-01-15T16:18:52+00:00 James Y Knight jyknight@google.com 2019-01-15T16:18:52+00:00 urn:sha1:693d39dd12710a3634e287dfa5d0dd516fbe24d6 compiler identification lines in test-cases. (Doing so only because it's then easier to search for references which are actually important and need fixing.) llvm-svn: 351200 2019-01-08T14:06:58+00:00 Philip Pfaffe philip.pfaffe@gmail.com 2019-01-08T14:06:58+00:00 urn:sha1:efb5ad1c58e2fe758af3fd2a2f9a8c1196552864 The new-pm version of DA is untested. Testing requires a printer, so add that and use it in the existing DA tests. Differential Revision: https://reviews.llvm.org/D56386 llvm-svn: 350624 2018-06-25T15:13:26+00:00 David Green david.green@arm.com 2018-06-25T15:13:26+00:00 urn:sha1:869949230475d243904d4d528b645d009aad3304 We can prove that some delinearized subscripts do not wrap around to become negative by the fact that they are from inbound geps of load/store locations. This helps improve the delinearisation in cases where we can't prove that they are non-negative from SCEV alone. Differential Revision: https://reviews.llvm.org/D48481 llvm-svn: 335481 2018-06-21T11:53:16+00:00 David Green david.green@arm.com 2018-06-21T11:53:16+00:00 urn:sha1:d143c65de3c884d09197da279d2f04f094efaf15 This enables da-delinearize in Dependence Analysis for delinearizing array accesses into multiple dimensions. This can help to increase the power of Dependence analysis on multi-dimensional arrays and prevent having to fall back to the slower and less accurate MIV tests. It adds static checks on the bounds of the arrays to ensure that one dimension doesn't overflow into another, and brings our code in line with our tests. Differential Revision: https://reviews.llvm.org/D45872 llvm-svn: 335217 2018-05-31T14:55:29+00:00 David Green david.green@arm.com 2018-05-31T14:55:29+00:00 urn:sha1:2911b3a07a7b087fc9f3793c5a4bb2c719457306 Both weakZeroSrcSIV and weakZeroDstSIV are currently giving the same direction vectors. Fix weakZeroSrcSIVtest by flipping the directions it gives. Differential Revision: https://reviews.llvm.org/D46678 llvm-svn: 333658