EnzymeAD / EnzymeAD/Enzyme

check-enzyme-integration tests failures

Open
#1,828 3 comments 0 reactions 0 assignees View on GitHub
Dominant language
LLVM
Stars
1.7k
Forks
188
Avg merge
1d 22h
Merged PRs (30d)
26

Description

From the series better late than never, this is a follow up to my previous ticket #1763 (part of the time it took me to respond was that by the time I was ready, new releases of Enzyme and LLVM came out and I did not want to post "noise" with outdated bug reports, so I had to reinstall things from scratch).

The following is with Enzyme `v0.0.103` and LLVM `v18.1.1` which I believe are the most current ones.

The summary of the failures is

```
Failed Tests (21):
Enzyme :: Integration/ForwardMode/eigen.cpp
Enzyme :: Integration/ReverseMode/eigensumsq.cpp
Enzyme :: Integration/ReverseMode/eigensumsqdyn-notmp.cpp
Enzyme :: Integration/ReverseMode/eigensumsqdyn.cpp
Enzyme :: Integration/ReverseMode/eigentensor.cpp
Enzyme :: Integration/ReverseMode/eigentensorfull.cpp
Enzyme :: Integration/ReverseMode/eigentensorreal.cpp
Enzyme :: Integration/ReverseMode/simpleeigen-made-part.cpp
Enzyme :: Integration/ReverseMode/simpleeigen-made.cpp
Enzyme :: Integration/ReverseMode/simpleeigen.cpp
Enzyme :: Integration/ReverseMode/simpleeigenstatic-made-odd.cpp
Enzyme :: Integration/ReverseMode/simpleeigenstatic-made.cpp
Enzyme :: Integration/ReverseMode/simpleeigenstatic-sum.cpp
Enzyme :: Integration/ReverseMode/simpleeigenstatic-sumsq.cpp
Enzyme :: Integration/ReverseMode/simpleeigenstatic-vec.cpp
Enzyme :: Integration/ReverseMode/simpleeigenstatic.cpp
Enzyme :: Integration/Sparse/eigen_analysis.cpp
Enzyme :: Integration/Sparse/ringspring2Dextenddata.cpp
Enzyme :: Integration/Sparse/ringspring3Dextenddata.cpp
Enzyme :: Integration/Sparse/ringspring3Dextenddatarestlengthone.cpp
Enzyme :: Integration/Sparse/ringspring3Drestlengthone.cpp

Testing Time: 34.92s
Passed : 107
Expectedly Failed: 4
Failed : 21
FAILED: test/Integration/CMakeFiles/check-enzyme-integration
```

I am not familiar with ninja, so it's a bit hard for me to gather additional relevant information, but I can tell that many of the failures are segmentation faults, and at least 5 are

```
Integration/Sparse/ringspring3Drestlengthone.cpp:60:24: error: Enzyme: F: ; Function Attrs: mustprogress noinline nounwind uwtable
define linkonce_odr dso_local void @_Z6hess_fIdESt6vectorI6TripleIT_ESaIS3_EEmPS2_(ptr dead_on_unwind noalias writable sret(%"class.std::vector") align 8 %0, i64 noundef %1, ptr noundef %2) local_unnamed_addr #7 comdat {
call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(24) %0, i8 0, i64 24, i1 false)
%4 = icmp ne i64 %1, 0
call void @llvm.assume(i1 %4)
br label %5
```

At least one is

```
Enzyme-v0.0.103/enzyme/test/Integration/Sparse/ringspring2Dextenddata.cpp:57:24: error: Enzyme: Negated solution not handled: (ne ({(-13
+ (16 * %1)),+,-1}<%6> /u 16), L=)
57 | std::vector> hess_f(size_t N, T* input) {
| ^
clang++: ../Enzyme/FunctionUtils.cpp:7046: llvm::SmallVector, 1> Constraints::allSolutions(llvm::SCEVExpander&, llvm::Type*, llvm::Instruction*, c
onst ConstraintContext&, llvm::IRBuilder<>&) const: Assertion `0' failed.
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace, preprocessed source, and associated run script.
```

a few more are

```
Integration/ReverseMode/simpleeigenstatic-made.cpp:10:10: fatal error: 'eigen3/Eigen/Dense' file not found
10 | #include
| ^~~~~~~~~~~~~~~~~~~~
1 error generated.
```

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.