Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Updating mpi-vector-mode branch with main #1595

Closed
wants to merge 63 commits into from
Closed

Updating mpi-vector-mode branch with main #1595

wants to merge 63 commits into from

Conversation

jlk9
Copy link
Collaborator

@jlk9 jlk9 commented Dec 20, 2023

wsmoses and others added 30 commits November 3, 2023 22:35
@wsmoses
Fix SCEV memory error (#1524)
7508ad4 
* Fix SCEV memory error

* Add smalltypeof to inactive
@wsmoses
[Blas] fix temporary allocation (and deallocation) (#1525)
a1d95f5 
* [Blas] fix temporary allocation (and deallocation)

* fixups

* fix

* fix

* fix test
@wsmoses
Fix Blas diffuse on P^3 computation (#1526)
3339d74 
* Fix Blas diffuse on P^3 computation

* fixup
@wsmoses
Fix stability of minCut (#1527)
7d2b630
@wsmoses
Add nv_atan2 explicitly (#1530)
9559b6e
@wsmoses
Additional differential use stability (#1529)
35614bf
@martinjm97 @wsmoses
Ring of springs integration test using modulo (#1521)
82318b8 
* Ring of springs integration test using modulo

* new bugs

* add phi fix

* Additional phi fix

---------

Co-authored-by: William S. Moses <gh@wsmoses.com>
@wsmoses
Improve single type of store info for print (#1531)
91d70ef
@wsmoses
Add support for multityped store operation (#1532)
fd2a2ed
@jgreener64
acos and asin explicit nv (#1536)
7b629b8
@wsmoses
Add flag to disable activity analysis (#1537)
42aaaa6
@wsmoses
Update to latest llvm (#1534)
09cedd9
@wsmoses
Place load at top of build file (#1538)
2d71fd7
@wsmoses
Add werror for unused vars (#1539)
72695c4
@wsmoses
Forbid dangling else (#1540)
c4736f3
@wsmoses
Fix mlir warning to errors (#1541)
ab705bf
@wsmoses
permit unused in scev (#1542)
74a25dc
@michel2323
Fix MPI differential use analysis (#1548)
f59fcf0
@wsmoses
Fix blas diff use (#1551)
0655023
@wsmoses
Make nicer error for insert multitype (#1553)
10f0847
@ZuseZ4
drop outdated SCEV backports (#1554)
99e5f7b
@wsmoses
Add error about taping non-instruction value (#1550)
a6e607d
@wsmoses
Add nv isnan/isinf (#1557)
227b443
@wsmoses
potential store (#1558)
7f28ab0
@pengmai
[mlir] Update EnzymeMLIR pieces to LLVM 18 (#1556)
f18cf5b 
- Clean up warnings, clang-format
- Clean up operation creation
- Remove unused code
- Use shadow type in LLVM AD impl
@pengmai
Add flag to disable recursive activity analysis (#1559)
6732d3d
@wsmoses
Handle insert value of multi type (#1560)
1135f76 
* Handle insert value of multi type

* Fix multi agg

* now with separated

* fix insertion index math

* Allow pointer in double addTo

* fix

* fix ins typetree

* fix erasure
@wsmoses
Fix atomic error message (#1562)
0fd562c
@wsmoses
Dont compile xerbla (#1561)
2b0f8c2
@wsmoses
handle non integral mustexitscev (#1563)
1f1e996
tgymnich and others added 23 commits December 11, 2023 22:00
@tgymnich @wsmoses
use early_inc_range (#1567)
f1eba59 
Co-authored-by: William Moses <gh@wsmoses.com>
@wsmoses
Add getReturnDiffeType api specifying a mode (#1579)
a59cb89
@wsmoses
Adapt to llvm main abi update (#1577)
79c4322
@tgymnich
use early_inc_range 2 (#1578)
ee3ffb8
@wsmoses
Fix needsshadow in call handler (#1580)
409cbb8
@wsmoses
Make nicer sparse arg error (#1582)
7284903
@wsmoses
shadow alloc rewriter (#1583)
f940df8
@wsmoses
Embarassing bugfix for shadowalloc rewrite (#1584)
0570dfa
@wsmoses
Add sparse prints (#1545)
03ff726
@wsmoses
Use static clang plugin registration (#1544)
d22dd49 
* Use static clang plugin registration

* fix
@wsmoses
Add nvidia reciprocal (#1586)
a4f429f
@wsmoses
Zero sret copy (#1585)
405fac0 
* Zero sret copy

* fix undefv/null

* inactive mpfr_greater_p
@wsmoses
Nicer error for getindex (#1587)
48cbcca 
* Nicer error for getindex

* Nice use in fwd handler
@wsmoses
[TypeAnalysis] improve memtransfer error handler (#1588)
b5b81f8 
* [TypeAnalysis] improve memtransfer error handler

* also add better binop error
@wsmoses
[TypeAnalysis] handle arg count mismatch (#1589)
247f09e
@wsmoses
[TypeAnalysis] improve arg error message (#1590)
022b3e5
@martinjm97 @wsmoses
Ring of springs integration test using modulo
7c0f813
@martinjm97 @wsmoses
new bugs
95a7a43
@martinjm97 @wsmoses
add increasingly hard tests ringspring3Dextenddata.cpp, ringspring3De…
6e26376 
…xtenddatarestlengthone.cpp, ringspring3Drestlengthone.cpp
@wsmoses
[Sparse] fix embarassing bugfix
fb6a1c6
@ftynse
move away from using deprecated StringRef API (#1593)
2d0b3bb
@wsmoses
Better error messages for invalid erasure (#1592)
686a7bb
@ftynse
update TypeAnalysis for recent LLVMs (#1594)
7736245
@jlk9 jlk9 requested a review from wsmoses December 20, 2023 00:06
@wsmoses
Copy link
Member

wsmoses commented Dec 20, 2023

@jlk9 I think you have this backwards, you need to merge your branch into main, not the other way around

wsmoses and others added 4 commits December 20, 2023 12:08
@wsmoses
Add NoFree cmd line fallback (#1591)
bad7df0
@ftynse
[mlir] support unknown (top) state in aliasing and activity analysis (#…
a6e8dc0 
…1569)

* [mlir] more precise yet conservative aliasing analysis

- Update the points-to lattice to indicate that "other" pointers may
  have pointers to unknown location stored, but some specific pointers
  may have pointers to known locations.
- Add a trivial may/must write differentiation.
- The tests are *NOT* fully updated.

* [mlir] partially support unknown state in dense activity analysis

* some support is still missing in printers of activity analyses
* three tests are failing because they produce different results now
  (haven't investigated if the previous expectations were correct)

* [mlir] make tests pass

* Fix points-to-pointer analysis to return "other" value, which may be
  empty set (lattice bottom) rather than always returning "any"
  (lattice top).
* Don't get tricked by operator[] on maps default-initializing the value
  in `map[key] == deafult_value` comparison attempting to see if the map
  changed.
* Propagate changes in two places.
* Fix "other" in/out activity state in dense (pointer) activity
  analysis.

* Address review

* use i64 for data layout
@maxaehle
Fix printing bug #1599 (#1601)
119f2f1
@wsmoses
Mark floor as inactive (#1598)
5422797
@wsmoses wsmoses closed this Jan 4, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@wsmoses wsmoses Awaiting requested review from wsmoses

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
10 participants
@jlk9 @wsmoses @martinjm97 @jgreener64 @michel2323 @ZuseZ4 @pengmai @tgymnich @ftynse @maxaehle