diffsl 0.11.2

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
19
20
21
22
23
24
25
26
27
28
29
30
31
32

; RUN: if [ %llvmver -lt 16 ]; then %opt < %s %loadEnzyme -print-activity-analysis -activity-analysis-func=f -enzyme-strict-aliasing=0 -o /dev/null | FileCheck %s; fi
; RUN: %opt < %s %newLoadEnzyme -passes="print-activity-analysis" -activity-analysis-func=f -enzyme-strict-aliasing=0 -S | FileCheck %s

declare i64 @getint(double* %x)

define void @f(double* %x) {
entry:
  %a189 = call i64 @getint(double* %x)
  %a190 = ashr exact i64 %a189, 4
  br i1 true, label %r, label %e

r:
  %g = getelementptr inbounds double, double* %x, i64 %a190
  store double 1.000000e+00, double* %g, align 8
  br label %e

e:
  ret void
}

; CHECK: double* %x: icv:0
; CHECK-NEXT: entry
; CHECK-NEXT:   %a189 = call i64 @getint(double* %x): icv:0 ici:0
; CHECK-NEXT:   %a190 = ashr exact i64 %a189, 4: icv:0 ici:1
; CHECK-NEXT:   br i1 true, label %r, label %e: icv:1 ici:1
; CHECK-NEXT: r
; CHECK-NEXT:   %g = getelementptr inbounds double, double* %x, i64 %a190: icv:0 ici:1
; CHECK-NEXT:   store double 1.000000e+00, double* %g, align 8: icv:1 ici:1
; CHECK-NEXT:   br label %e: icv:1 ici:1
; CHECK-NEXT: e
; CHECK-NEXT:   ret void: icv:1 ici:1