William Moses

For example consider the following minimal program: function f4(x) abs( (Complex[1] * x)[1] ) end tp = InstructionTape() at = ReverseDiff.TrackedReal(0.41992711708322633, 0, tp) ot = f4(at) ReverseDiff.seed!(ot) ReverseDiff.reverse_pass!(tp) println(deriv(at)) TypeError:...

Similar to Preserve3Coincident necessary for GPU, except now only one outermost coincident loop is needed for CPU

UndefRefError: access to undefined reference

3

``` using Enzyme Enzyme.API.printall!(true) function bad(@nospecialize(t)) t = Tuple{t...} return Base.unwrap_unionall(t) end @show bad((Int64,)) flush(stdout) @show Enzyme.fwddiff(bad, Duplicated, Duplicated((Int64,), (Int64,))) #,(Int64,))) ```

Return type of function is not a valid datatype?

1

```julia using Enzyme, SparseArrays, LinearAlgebra # setup data θ = rand(3) x = rand(11) ν = rand(10) λ = rand(24) S = sprand(Float64, 6, 7, 0.1) Cp = sprand(Float64, 1,...

Now that the other pieces have landed, rebased this if you can take a look at the apparent internal errors @vchuravy

The generated sret variable by julia doens't actually have sret marked on the LLVM function, leading to issues. The sret condition needs to be replaced with something more robust. cc...

``` julia-debug: /mnt/Data/git/Enzyme.jl/julia7/deps/srccache/llvm-julia-12.0.1-4/llvm/include/llvm/ExecutionEngine/Orc/SymbolStringPool.h:151: llvm::orc::SymbolStringPool::~SymbolStringPool(): Assertion `Pool.empty() && "Dangling references at pool destruction time"' failed. signal (6): Aborted in expression starting at none:0 gsignal at /lib/x86_64-linux-gnu/libc.so.6 (unknown line) abort at /lib/x86_64-linux-gnu/libc.so.6...

BigFloat support

4

see https://github.com/LeilaGhaffari/my-enzyme/issues/2 cc @LeilaGhaffari @jedbrown

Alloc -> Malloc downgrade on sret

3

Suppose you have something like ``` %z = alloca { {} addr(10)*, {} addr(10)* } call f(%z sret(...) ) load %z[0] load %z[1] ``` This ends up deciding to upgrade...