diffsl 0.10.0

A compiler for a domain-specific language for ordinary differential equations (ODE).
Documentation
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
// RUN: %clang -O0 %s -S -emit-llvm -o - | %opt - %OPloadEnzyme %enzyme -S | %lli -
// RUN: %clang -O1 %s -S -emit-llvm -o - | %opt - %OPloadEnzyme %enzyme -S | %lli -
// RUN: %clang -O2 %s -S -emit-llvm -o - | %opt - %OPloadEnzyme %enzyme -S | %lli -
// RUN: %clang -O3 %s -S -emit-llvm -o - | %opt - %OPloadEnzyme %enzyme -S | %lli -

#include "../test_utils.h"

double cos(double);

extern double __enzyme_error_estimate(void *, ...);

double fun(double x1) { return cos(x1); }

int main() {
  double error = __enzyme_error_estimate((void *)fun, 1e-7, 0.0);
  printf("Found floating point error of %e\n", error);
  APPROX_EQ(error, 1.110223e-16, 1e-18);
}