fix wrong tests

Author: tgymnich

enzyme/test/Enzyme/ForwardMode/global.ll

@@ -11,7 +11,7 @@
 ; 
 ; __attribute__((noinline))
 ; double derivative(double x) {
-;     return __builtin_autodiff(mulglobal, x);
+;     return __builtin_fwddiff(mulglobal, x, 1.0);
 ; }
 ; 
 ; void main(int argc, char** argv) {
@@ -38,12 +38,12 @@ entry:
 ; Function Attrs: noinline nounwind uwtable
 define dso_local double @derivative(double %x) local_unnamed_addr #1 {
 entry:
-  %0 = tail call double (double (double)*, ...) @__enzyme_autodiff(double (double)* nonnull @mulglobal, double %x)
+  %0 = tail call double (double (double)*, ...) @__enzyme_fwddiff(double (double)* nonnull @mulglobal, double %x, double 1.0)
   ret double %0
 }
 
 ; Function Attrs: nounwind
-declare double @__enzyme_autodiff(double (double)*, ...) #2
+declare double @__enzyme_fwddiff(double (double)*, ...) #2
 
 ; Function Attrs: nounwind uwtable
 define dso_local void @main(i32 %argc, i8** nocapture readonly %argv) local_unnamed_addr #3 {
@@ -82,14 +82,13 @@ attributes #4 = { nounwind "correctly-rounded-divide-sqrt-fp-math"="false" "disa
 !7 = !{!"any pointer", !4, i64 0}
 !8 = !{double* @dglobal}
 
-; CHECK: define internal {{(dso_local )?}}{ double } @diffemulglobal(double %x, double %[[differet:.+]])
+; CHECK: define internal {{(dso_local )?}}{ double } @diffemulglobal(double %x, double %"x'")
 ; CHECK-NEXT: entry:
 ; CHECK-NEXT:   %0 = load double, double* @global, align 8, !tbaa !3
-; CHECK-NEXT:   %m0diffe = fmul fast double %differeturn, %x
-; CHECK-NEXT:   %m1diffex = fmul fast double %differeturn, %0
 ; CHECK-NEXT:   %1 = load double, double* @dglobal
-; CHECK-NEXT:   %2 = fadd fast double %1, %m0diffe
-; CHECK-NEXT:   store double %2, double* @dglobal
-; CHECK-NEXT:   %3 = insertvalue { double } undef, double %m1diffex, 0
-; CHECK-NEXT:   ret { double } %3
+; CHECK-NEXT:   %2 = fmul fast double %1, %x
+; CHECK-NEXT:   %3 = fmul fast double %"x'", %0
+; CHECK-NEXT:   %4 = fadd fast double %2, %3
+; CHECK-NEXT:   %5 = insertvalue { double } undef, double %4, 0
+; CHECK-NEXT:   ret { double } %5
 ; CHECK-NEXT: }

enzyme/test/Enzyme/ForwardMode/sumsquare.ll

@@ -21,40 +21,38 @@ for.body:                                         ; preds = %entry, %for.body
 }
 
 ; Function Attrs: nounwind uwtable
-define dso_local void @dsumsquare(double* %x, double* %xp, i64 %n) local_unnamed_addr #1 {
+define dso_local double @dsumsquare(double* %x, double* %xp, i64 %n) local_unnamed_addr #1 {
 entry:
-  %0 = tail call double (double (double*, i64)*, ...) @__enzyme_autodiff(double (double*, i64)* nonnull @sumsquare, double* %x, double* %xp, i64 %n)
-  ret void
+  %0 = tail call double (double (double*, i64)*, ...) @__enzyme_fwddiff(double (double*, i64)* nonnull @sumsquare, double* %x, double* %xp, i64 %n)
+  ret double %0
 }
 
 ; Function Attrs: nounwind
-declare double @__enzyme_autodiff(double (double*, i64)*, ...) #2
+declare double @__enzyme_fwddiff(double (double*, i64)*, ...) #2
 
 attributes #0 = { norecurse nounwind readonly uwtable }
 attributes #1 = { nounwind uwtable }
 attributes #2 = { nounwind }
 
 
-; CHECK: define dso_local void @dsumsquare(double* %x, double* %xp, i64 %n)
+; CHECK: define {{(dso_local )?}}double @dsumsquare(double* %x, double* %xp, i64 %n)
 ; CHECK-NEXT: entry:
-; CHECK-NEXT:   br label %invertfor.body.i
-
-; CHECK: invertfor.body.i:
-; CHECK-NEXT:   %[[antiiv:.+]] = phi i64 [ %n, %entry ], [ %[[antiivnext:.+]], %incinvertfor.body.i ]
-; CHECK-NEXT:   %[[ptr:.+]] = getelementptr inbounds double, double* %x, i64 %[[antiiv]]
-; CHECK-NEXT:   %[[prev:.+]] = load double, double* %[[ptr]]
-; CHECK-NEXT:   %[[times2:.+]] = fadd fast double %[[prev]], %[[prev]]
-; CHECK-NEXT:   %[[arrayidxipgi:.+]] = getelementptr inbounds double, double* %xp, i64 %[[antiiv]]
-; CHECK-NEXT:   %[[loaded:.+]] = load double, double* %[[arrayidxipgi]]
-; CHECK-NEXT:   %[[tostore:.+]] = fadd fast double %[[loaded:.+]], %[[times2]]
-; CHECK-NEXT:   store double %[[tostore]], double* %[[arrayidxipgi]]
-; CHECK-NEXT:   %[[cmp:.+]] = icmp eq i64 %[[antiiv]], 0
-; CHECK-NEXT:   br i1 %[[cmp]], label %diffesumsquare.exit, label %incinvertfor.body.i
-
-; CHECK: incinvertfor.body.i:
-; CHECK-NEXT:   %[[antiivnext]] = add nsw i64 %[[antiiv]], -1
-; CHECK-NEXT:   br label %invertfor.body.i
-
-; CHECK: diffesumsquare.exit:                                    ; preds = %invertfor.body.i
-; CHECK-NEXT:   ret void
-; CHECK-NEXT: }
+; CHECK-NEXT:   br label %for.body.i
+
+; CHECK: for.body.i:                                       ; preds = %for.body.i, %entry
+; CHECK-NEXT:   %iv.i = phi i64 [ %iv.next.i, %for.body.i ], [ 0, %entry ]
+; CHECK-NEXT:   %"total.011'.i" = phi{{( fast)?}} double [ 0.000000e+00, %entry ], [ %4, %for.body.i ]
+; CHECK-NEXT:   %iv.next.i = add nuw nsw i64 %iv.i, 1
+; CHECK-NEXT:   %"arrayidx'ipg.i" = getelementptr inbounds double, double* %xp, i64 %iv.i
+; CHECK-NEXT:   %arrayidx.i = getelementptr inbounds double, double* %x, i64 %iv.i
+; CHECK-NEXT:   %0 = load double, double* %arrayidx.i, align 8
+; CHECK-NEXT:   %1 = load double, double* %"arrayidx'ipg.i"
+; CHECK-NEXT:   %2 = fmul fast double %1, %0
+; CHECK-NEXT:   %3 = fadd fast double %2, %2
+; CHECK-NEXT:   %4 = fadd fast double %3, %"total.011'.i"
+; CHECK-NEXT:   %exitcond.i = icmp eq i64 %iv.i, %n
+; CHECK-NEXT:   br i1 %exitcond.i, label %diffesumsquare.exit, label %for.body.i
+
+; CHECK: diffesumsquare.exit:                              ; preds = %for.body.i
+; CHECK-NEXT:   ret double %4
+; CHECK-NEXT: }