...ust-lang#862)
see rust-lang#687
Co-authored-by: William Moses <gh@wsmoses.com>

...st-lang#864)
see rust-lang#687
Co-authored-by: William Moses <gh@wsmoses.com>

* More opaque pointer support
* fixup
* More cleanup

* Improve remat of mem
* Fix store
* Fixup
* clean
* Fix test
* Fix
* Fix bugs
* Fix tests on macos

* Add improved failure error
* Clean errs
* Simplify warning API

* Update EnzymeLogic.cpp
Handle nofree of constexpr
* Cleanup and add nicer error
Co-authored-by: William S. Moses <gh@wsmoses.com>

* Add addr replacement handling of memtransfer
* Update test

* Add MLIR build infra
* With tests
* Update readme
* Add initial infra
* Continue pushing towards forward mode infra
* Most primitive functioning test
* Fix cmake
* Handle control flow (fwd)
* Add scf.for
* Update enzyme-mlir.yml
* Introduce a MLIR OpInterface and redistribute code
Note that the interface is not yet implement by the ops. This will be
done separately.
* Fix CI
* Fix CI
* Fix format
* Add python3-dev
* Reduce link
* Fix build and test
Real includes must precede .inc files. A function was not returning
anything leading to a segfault.
* Factor gradient implementations out into external interface models
MLIR-code must use interfaces instead of giant switches. External models
allow for interfaces to be attached to foreign dialect ops without
modifying them.
* Factor out the type interface for shadow and null
Introduce a separate type interface for types that will be handled by
AD. This interface currently allows for defining the (unique) shadow
type of the given type and for building a null value of the type. This
is a step towards removing the dependency on the arithmetic dialect from
the AD pass.
* Drop AD pass dependency on the Arith dialect
Now that null constant manipulation has been factored out into the
interface, the only remaining use is an attempt to match a constant. Use
the robust dialect-agnostic matcher instead.
* Factor out common OpBuilder manipulation into the driver
* Drop the dependency on FuncOps from GradientUtils
We don't need to know the specific op class of a function-like op to
clone it. This makes the autodiff interface independent of the func
dialect, but the AD pass still depends on it because it creates a
function call. There is currently no way of creating a function call in
an abstracted way, short of which the pass dependency on the func
dialect cannot be removed.
* Update enzyme-mlir.yml
* Only release llvm
* Fix CI
* Rebase
* Simplify TA
Co-authored-by: Alex Zinenko <zinenko@google.com>

* Consider even atomic loads as non-active writing
* Fix dso local nofree

Add autodiff attribute to foreign mods
Forward information to codegen backend

This is no longer needed after Homebrew/homebrew-core#112154.

Enums

This reverts commit f7a8f4e.

Enum cleanup

improve debugging

update enzyme submodule

add new debug helper to print module