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

source_filename = "/mnt/pci4/wmdata/Enzyme/enzyme/test/ActivityAnalysis/ptr2.ll"

; Function Attrs: noinline nosync readonly
define private fastcc double @julia_func_1396(double** noalias nocapture nonnull readonly %arg) #0 {
top:
  %i3 = load double*, double** %arg, align 8
  %i4 = load double, double* %i3, align 8
  ret double %i4
}

declare double** @jl_alloc()

define double @f(double %arg) {
entry:
  ; No active arguments
  ; => result comes from allocation or global
  %i2 = call noalias nonnull double** @jl_alloc()
  %i4 = load double*, double** %i2, align 8
  store double %arg, double* %i4, align 8
  %i5 = call fastcc double @julia_func_1396(double** noalias nocapture nonnull readonly %i2) #1
  %c = fadd double %i5, %arg
  ret double %c
}

attributes #0 = { noinline readonly }
attributes #1 = { readonly }
; CHECK: double %arg: icv:1
; CHECK-NEXT: entry
; CHECK-NEXT:   %i2 = call noalias nonnull double** @jl_alloc(): icv:1 ici:1
; CHECK-NEXT:   %i4 = load double*, double** %i2, align 8: icv:1 ici:1
; CHECK-NEXT:   store double %arg, double* %i4, align 8: icv:1 ici:1
; CHECK-NEXT:   %i5 = call fastcc double @julia_func_1396(double** noalias nocapture nonnull readonly %i2) #1: icv:1 ici:1
; CHECK-NEXT:   %c = fadd double %i5, %arg: icv:1 ici:1
; CHECK-NEXT:   ret double %c: icv:1 ici:1
