; LLVM IR from venumb/ZSPACE :: cpp/depends/alglib/cpp/tests/test_c.ll (Z12testlaguerrebPN11alglib_impl8ae_stateE)

; Unoptimized IR (clang -disable-llvm-passes):
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

%"struct.alglib_impl::ae_frame" = type { %"struct.alglib_impl::ae_dyn_block" }
%"struct.alglib_impl::ae_dyn_block" = type { ptr, ptr, ptr, ptr }
%"struct.alglib_impl::ae_vector" = type { i64, i64, i8, %"struct.alglib_impl::ae_dyn_block", %union.anon }
%union.anon = type { ptr }

@.str.1 = external hidden unnamed_addr constant [13 x i8], align 1
@.str.2 = external hidden unnamed_addr constant [13 x i8], align 1
@.str.690 = external hidden unnamed_addr constant [49 x i8], align 1
@.str.691 = external hidden unnamed_addr constant [49 x i8], align 1
@.str.692 = external hidden unnamed_addr constant [49 x i8], align 1
@.str.693 = external hidden unnamed_addr constant [49 x i8], align 1
@.str.694 = external hidden unnamed_addr constant [49 x i8], align 1

; Function Attrs: nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)
declare void @llvm.lifetime.start.p0(i64 immarg, ptr nocapture) #0

declare void @_ZN11alglib_impl13ae_frame_makeEPNS_8ae_stateEPNS_8ae_frameE(ptr noundef, ptr noundef) #1

; Function Attrs: nocallback nofree nounwind willreturn memory(argmem: write)
declare void @llvm.memset.p0.i64(ptr nocapture writeonly, i8, i64, i1 immarg) #2

declare void @_ZN11alglib_impl14ae_vector_initEPNS_9ae_vectorEllPNS_8ae_stateEb(ptr noundef, i64 noundef, i64 noundef, ptr noundef, i1 noundef zeroext) #1

declare void @_ZN11alglib_impl20ae_vector_set_lengthEPNS_9ae_vectorElPNS_8ae_stateE(ptr noundef, i64 noundef, ptr noundef) #1

declare i32 @printf(ptr noundef, ...) #1

declare void @_ZN11alglib_impl14ae_frame_leaveEPNS_8ae_stateE(ptr noundef) #1

; Function Attrs: nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)
declare void @llvm.lifetime.end.p0(i64 immarg, ptr nocapture) #0

declare noundef double @_ZN11alglib_impl13ae_randomrealEPNS_8ae_stateE(ptr noundef) #1

; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare double @llvm.fmuladd.f64(double, double, double) #3

declare noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef, double noundef, ptr noundef) #1

declare noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef, ptr noundef) #1

declare noundef zeroext i1 @_ZN11alglib_impl13ae_fp_greaterEdd(double noundef, double noundef) #1

; Function Attrs: mustprogress uwtable
define dso_local noundef zeroext i1 @_Z12testlaguerrebPN11alglib_impl8ae_stateE(i1 noundef zeroext %0, ptr noundef %1) #4 {
  %3 = alloca i8, align 1
  %4 = alloca ptr, align 8
  %5 = alloca %"struct.alglib_impl::ae_frame", align 8
  %6 = alloca double, align 8
  %7 = alloca double, align 8
  %8 = alloca double, align 8
  %9 = alloca double, align 8
  %10 = alloca i64, align 8
  %11 = alloca i64, align 8
  %12 = alloca i64, align 8
  %13 = alloca %"struct.alglib_impl::ae_vector", align 8
  %14 = alloca double, align 8
  %15 = alloca double, align 8
  %16 = alloca i8, align 1
  %17 = alloca i8, align 1
  %18 = zext i1 %0 to i8
  store i8 %18, ptr %3, align 1, !tbaa !5
  store ptr %1, ptr %4, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 32, ptr %5) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr %6) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr %7) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr %8) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr %9) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr %10) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr %11) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr %12) #5
  call void @llvm.lifetime.start.p0(i64 64, ptr %13) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr %14) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr %15) #5
  call void @llvm.lifetime.start.p0(i64 1, ptr %16) #5
  call void @llvm.lifetime.start.p0(i64 1, ptr %17) #5
  %19 = load ptr, ptr %4, align 8, !tbaa !9
  call void @_ZN11alglib_impl13ae_frame_makeEPNS_8ae_stateEPNS_8ae_frameE(ptr noundef %19, ptr noundef %5)
  call void @llvm.memset.p0.i64(ptr align 8 %13, i8 0, i64 64, i1 false)
  %20 = load ptr, ptr %4, align 8, !tbaa !9
  call void @_ZN11alglib_impl14ae_vector_initEPNS_9ae_vectorEllPNS_8ae_stateEb(ptr noundef %13, i64 noundef 0, i64 noundef 3, ptr noundef %20, i1 noundef zeroext true)
  store double 0.000000e+00, ptr %6, align 8, !tbaa !11
  store double 0.000000e+00, ptr %7, align 8, !tbaa !11
  store double 0.000000e+00, ptr %8, align 8, !tbaa !11
  store double 1.000000e-09, ptr %9, align 8, !tbaa !11
  store i8 0, ptr %16, align 1, !tbaa !5
  store i64 0, ptr %10, align 8, !tbaa !13
  %21 = load double, ptr %6, align 8, !tbaa !11
  %22 = load i64, ptr %10, align 8, !tbaa !13
  %23 = load ptr, ptr %4, align 8, !tbaa !9
  %24 = call noundef double @_ZN11alglib_impl17laguerrecalculateEldPNS_8ae_stateE(i64 noundef %22, double noundef 5.000000e-01, ptr noundef %23)
  %25 = fsub double %24, 1.000000e+00
  %26 = load ptr, ptr %4, align 8, !tbaa !9
  %27 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %25, ptr noundef %26)
  %28 = load ptr, ptr %4, align 8, !tbaa !9
  %29 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %21, double noundef %27, ptr noundef %28)
  store double %29, ptr %6, align 8, !tbaa !11
  store i64 1, ptr %10, align 8, !tbaa !13
  %30 = load double, ptr %6, align 8, !tbaa !11
  %31 = load i64, ptr %10, align 8, !tbaa !13
  %32 = load ptr, ptr %4, align 8, !tbaa !9
  %33 = call noundef double @_ZN11alglib_impl17laguerrecalculateEldPNS_8ae_stateE(i64 noundef %31, double noundef 5.000000e-01, ptr noundef %32)
  %34 = fsub double %33, 5.000000e-01
  %35 = load ptr, ptr %4, align 8, !tbaa !9
  %36 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %34, ptr noundef %35)
  %37 = load ptr, ptr %4, align 8, !tbaa !9
  %38 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %30, double noundef %36, ptr noundef %37)
  store double %38, ptr %6, align 8, !tbaa !11
  store i64 2, ptr %10, align 8, !tbaa !13
  %39 = load double, ptr %6, align 8, !tbaa !11
  %40 = load i64, ptr %10, align 8, !tbaa !13
  %41 = load ptr, ptr %4, align 8, !tbaa !9
  %42 = call noundef double @_ZN11alglib_impl17laguerrecalculateEldPNS_8ae_stateE(i64 noundef %40, double noundef 5.000000e-01, ptr noundef %41)
  %43 = fsub double %42, 1.250000e-01
  %44 = load ptr, ptr %4, align 8, !tbaa !9
  %45 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %43, ptr noundef %44)
  %46 = load ptr, ptr %4, align 8, !tbaa !9
  %47 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %39, double noundef %45, ptr noundef %46)
  store double %47, ptr %6, align 8, !tbaa !11
  store i64 3, ptr %10, align 8, !tbaa !13
  %48 = load double, ptr %6, align 8, !tbaa !11
  %49 = load i64, ptr %10, align 8, !tbaa !13
  %50 = load ptr, ptr %4, align 8, !tbaa !9
  %51 = call noundef double @_ZN11alglib_impl17laguerrecalculateEldPNS_8ae_stateE(i64 noundef %49, double noundef 5.000000e-01, ptr noundef %50)
  %52 = fadd double %51, 0x3FC2AAAAAA98576B
  %53 = load ptr, ptr %4, align 8, !tbaa !9
  %54 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %52, ptr noundef %53)
  %55 = load ptr, ptr %4, align 8, !tbaa !9
  %56 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %48, double noundef %54, ptr noundef %55)
  store double %56, ptr %6, align 8, !tbaa !11
  store i64 4, ptr %10, align 8, !tbaa !13
  %57 = load double, ptr %6, align 8, !tbaa !11
  %58 = load i64, ptr %10, align 8, !tbaa !13
  %59 = load ptr, ptr %4, align 8, !tbaa !9
  %60 = call noundef double @_ZN11alglib_impl17laguerrecalculateEldPNS_8ae_stateE(i64 noundef %58, double noundef 5.000000e-01, ptr noundef %59)
  %61 = fadd double %60, 0x3FD52AAAAAB3D44B
  %62 = load ptr, ptr %4, align 8, !tbaa !9
  %63 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %61, ptr noundef %62)
  %64 = load ptr, ptr %4, align 8, !tbaa !9
  %65 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %57, double noundef %63, ptr noundef %64)
  store double %65, ptr %6, align 8, !tbaa !11
  store i64 5, ptr %10, align 8, !tbaa !13
  %66 = load double, ptr %6, align 8, !tbaa !11
  %67 = load i64, ptr %10, align 8, !tbaa !13
  %68 = load ptr, ptr %4, align 8, !tbaa !9
  %69 = call noundef double @_ZN11alglib_impl17laguerrecalculateEldPNS_8ae_stateE(i64 noundef %67, double noundef 5.000000e-01, ptr noundef %68)
  %70 = fadd double %69, 0x3FDC8444444D6DE4
  %71 = load ptr, ptr %4, align 8, !tbaa !9
  %72 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %70, ptr noundef %71)
  %73 = load ptr, ptr %4, align 8, !tbaa !9
  %74 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %66, double noundef %72, ptr noundef %73)
  store double %74, ptr %6, align 8, !tbaa !11
  store i64 6, ptr %10, align 8, !tbaa !13
  %75 = load double, ptr %6, align 8, !tbaa !11
  %76 = load i64, ptr %10, align 8, !tbaa !13
  %77 = load ptr, ptr %4, align 8, !tbaa !9
  %78 = call noundef double @_ZN11alglib_impl17laguerrecalculateEldPNS_8ae_stateE(i64 noundef %76, double noundef 5.000000e-01, ptr noundef %77)
  %79 = fadd double %78, 0x3FE021F49F4D027F
  %80 = load ptr, ptr %4, align 8, !tbaa !9
  %81 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %79, ptr noundef %80)
  %82 = load ptr, ptr %4, align 8, !tbaa !9
  %83 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %75, double noundef %81, ptr noundef %82)
  store double %83, ptr %6, align 8, !tbaa !11
  store i64 7, ptr %10, align 8, !tbaa !13
  %84 = load double, ptr %6, align 8, !tbaa !11
  %85 = load i64, ptr %10, align 8, !tbaa !13
  %86 = load ptr, ptr %4, align 8, !tbaa !9
  %87 = call noundef double @_ZN11alglib_impl17laguerrecalculateEldPNS_8ae_stateE(i64 noundef %85, double noundef 5.000000e-01, ptr noundef %86)
  %88 = fadd double %87, 0x3FE0963C23C0D120
  %89 = load ptr, ptr %4, align 8, !tbaa !9
  %90 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %88, ptr noundef %89)
  %91 = load ptr, ptr %4, align 8, !tbaa !9
  %92 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %84, double noundef %90, ptr noundef %91)
  store double %92, ptr %6, align 8, !tbaa !11
  store i64 8, ptr %10, align 8, !tbaa !13
  %93 = load double, ptr %6, align 8, !tbaa !11
  %94 = load i64, ptr %10, align 8, !tbaa !13
  %95 = load ptr, ptr %4, align 8, !tbaa !9
  %96 = call noundef double @_ZN11alglib_impl17laguerrecalculateEldPNS_8ae_stateE(i64 noundef %94, double noundef 5.000000e-01, ptr noundef %95)
  %97 = fadd double %96, 0x3FDFE52DEAEA872C
  %98 = load ptr, ptr %4, align 8, !tbaa !9
  %99 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %97, ptr noundef %98)
  %100 = load ptr, ptr %4, align 8, !tbaa !9
  %101 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %93, double noundef %99, ptr noundef %100)
  store double %101, ptr %6, align 8, !tbaa !11
  store i64 9, ptr %10, align 8, !tbaa !13
  %102 = load double, ptr %6, align 8, !tbaa !11
  %103 = load i64, ptr %10, align 8, !tbaa !13
  %104 = load ptr, ptr %4, align 8, !tbaa !9
  %105 = call noundef double @_ZN11alglib_impl17laguerrecalculateEldPNS_8ae_stateE(i64 noundef %103, double noundef 5.000000e-01, ptr noundef %104)
  %106 = fadd double %105, 0x3FDCFCA227F5A1DF
  %107 = load ptr, ptr %4, align 8, !tbaa !9
  %108 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %106, ptr noundef %107)
  %109 = load ptr, ptr %4, align 8, !tbaa !9
  %110 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %102, double noundef %108, ptr noundef %109)
  store double %110, ptr %6, align 8, !tbaa !11
  store i64 10, ptr %10, align 8, !tbaa !13
  %111 = load double, ptr %6, align 8, !tbaa !11
  %112 = load i64, ptr %10, align 8, !tbaa !13
  %113 = load ptr, ptr %4, align 8, !tbaa !9
  %114 = call noundef double @_ZN11alglib_impl17laguerrecalculateEldPNS_8ae_stateE(i64 noundef %112, double noundef 5.000000e-01, ptr noundef %113)
  %115 = fadd double %114, 0x3FD8EB82A99D5AB5
  %116 = load ptr, ptr %4, align 8, !tbaa !9
  %117 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %115, ptr noundef %116)
  %118 = load ptr, ptr %4, align 8, !tbaa !9
  %119 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %111, double noundef %117, ptr noundef %118)
  store double %119, ptr %6, align 8, !tbaa !11
  store i64 11, ptr %10, align 8, !tbaa !13
  %120 = load double, ptr %6, align 8, !tbaa !11
  %121 = load i64, ptr %10, align 8, !tbaa !13
  %122 = load ptr, ptr %4, align 8, !tbaa !9
  %123 = call noundef double @_ZN11alglib_impl17laguerrecalculateEldPNS_8ae_stateE(i64 noundef %121, double noundef 5.000000e-01, ptr noundef %122)
  %124 = fadd double %123, 0x3FD4170EA39496BC
  %125 = load ptr, ptr %4, align 8, !tbaa !9
  %126 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %124, ptr noundef %125)
  %127 = load ptr, ptr %4, align 8, !tbaa !9
  %128 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %120, double noundef %126, ptr noundef %127)
  store double %128, ptr %6, align 8, !tbaa !11
  store i64 12, ptr %10, align 8, !tbaa !13
  %129 = load double, ptr %6, align 8, !tbaa !11
  %130 = load i64, ptr %10, align 8, !tbaa !13
  %131 = load ptr, ptr %4, align 8, !tbaa !9
  %132 = call noundef double @_ZN11alglib_impl17laguerrecalculateEldPNS_8ae_stateE(i64 noundef %130, double noundef 5.000000e-01, ptr noundef %131)
  %133 = fadd double %132, 0x3FCDA6B2039A54B0
  %134 = load ptr, ptr %4, align 8, !tbaa !9
  %135 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %133, ptr noundef %134)
  %136 = load ptr, ptr %4, align 8, !tbaa !9
  %137 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %129, double noundef %135, ptr noundef %136)
  store double %137, ptr %6, align 8, !tbaa !11
  store i64 20, ptr %11, align 8, !tbaa !13
  %138 = load i64, ptr %11, align 8, !tbaa !13
  %139 = add nsw i64 %138, 1
  %140 = load ptr, ptr %4, align 8, !tbaa !9
  call void @_ZN11alglib_impl20ae_vector_set_lengthEPNS_9ae_vectorElPNS_8ae_stateE(ptr noundef %13, i64 noundef %139, ptr noundef %140)
  store i64 1, ptr %12, align 8, !tbaa !13
  br label %141

141:                                              ; preds = %186, %2
  %142 = load i64, ptr %12, align 8, !tbaa !13
  %143 = icmp sle i64 %142, 10
  br i1 %143, label %144, label %189

144:                                              ; preds = %141
  %145 = load ptr, ptr %4, align 8, !tbaa !9
  %146 = call noundef double @_ZN11alglib_impl13ae_randomrealEPNS_8ae_stateE(ptr noundef %145)
  %147 = call double @llvm.fmuladd.f64(double 2.000000e+00, double %146, double -1.000000e+00)
  store double %147, ptr %14, align 8, !tbaa !11
  store double 0.000000e+00, ptr %15, align 8, !tbaa !11
  store i64 0, ptr %10, align 8, !tbaa !13
  br label %148

148:                                              ; preds = %182, %144
  %149 = load i64, ptr %10, align 8, !tbaa !13
  %150 = load i64, ptr %11, align 8, !tbaa !13
  %151 = icmp sle i64 %149, %150
  br i1 %151, label %152, label %185

152:                                              ; preds = %148
  %153 = load ptr, ptr %4, align 8, !tbaa !9
  %154 = call noundef double @_ZN11alglib_impl13ae_randomrealEPNS_8ae_stateE(ptr noundef %153)
  %155 = call double @llvm.fmuladd.f64(double 2.000000e+00, double %154, double -1.000000e+00)
  %156 = getelementptr inbounds %"struct.alglib_impl::ae_vector", ptr %13, i32 0, i32 4
  %157 = load ptr, ptr %156, align 8, !tbaa !15
  %158 = load i64, ptr %10, align 8, !tbaa !13
  %159 = getelementptr inbounds double, ptr %157, i64 %158
  store double %155, ptr %159, align 8, !tbaa !11
  %160 = load double, ptr %15, align 8, !tbaa !11
  %161 = load i64, ptr %10, align 8, !tbaa !13
  %162 = load double, ptr %14, align 8, !tbaa !11
  %163 = load ptr, ptr %4, align 8, !tbaa !9
  %164 = call noundef double @_ZN11alglib_impl17laguerrecalculateEldPNS_8ae_stateE(i64 noundef %161, double noundef %162, ptr noundef %163)
  %165 = getelementptr inbounds %"struct.alglib_impl::ae_vector", ptr %13, i32 0, i32 4
  %166 = load ptr, ptr %165, align 8, !tbaa !15
  %167 = load i64, ptr %10, align 8, !tbaa !13
  %168 = getelementptr inbounds double, ptr %166, i64 %167
  %169 = load double, ptr %168, align 8, !tbaa !11
  %170 = call double @llvm.fmuladd.f64(double %164, double %169, double %160)
  store double %170, ptr %15, align 8, !tbaa !11
  %171 = load double, ptr %7, align 8, !tbaa !11
  %172 = load double, ptr %15, align 8, !tbaa !11
  %173 = load i64, ptr %10, align 8, !tbaa !13
  %174 = load double, ptr %14, align 8, !tbaa !11
  %175 = load ptr, ptr %4, align 8, !tbaa !9
  %176 = call noundef double @_ZN11alglib_impl11laguerresumEPNS_9ae_vectorEldPNS_8ae_stateE(ptr noundef %13, i64 noundef %173, double noundef %174, ptr noundef %175)
  %177 = fsub double %172, %176
  %178 = load ptr, ptr %4, align 8, !tbaa !9
  %179 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %177, ptr noundef %178)
  %180 = load ptr, ptr %4, align 8, !tbaa !9
  %181 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %171, double noundef %179, ptr noundef %180)
  store double %181, ptr %7, align 8, !tbaa !11
  br label %182

182:                                              ; preds = %152
  %183 = load i64, ptr %10, align 8, !tbaa !13
  %184 = add nsw i64 %183, 1
  store i64 %184, ptr %10, align 8, !tbaa !13
  br label %148, !llvm.loop !16

185:                                              ; preds = %148
  br label %186

186:                                              ; preds = %185
  %187 = load i64, ptr %12, align 8, !tbaa !13
  %188 = add nsw i64 %187, 1
  store i64 %188, ptr %12, align 8, !tbaa !13
  br label %141, !llvm.loop !18

189:                                              ; preds = %141
  %190 = load ptr, ptr %4, align 8, !tbaa !9
  call void @_ZN11alglib_impl20laguerrecoefficientsElPNS_9ae_vectorEPNS_8ae_stateE(i64 noundef 0, ptr noundef %13, ptr noundef %190)
  %191 = load double, ptr %8, align 8, !tbaa !11
  %192 = getelementptr inbounds %"struct.alglib_impl::ae_vector", ptr %13, i32 0, i32 4
  %193 = load ptr, ptr %192, align 8, !tbaa !15
  %194 = getelementptr inbounds double, ptr %193, i64 0
  %195 = load double, ptr %194, align 8, !tbaa !11
  %196 = fsub double %195, 1.000000e+00
  %197 = load ptr, ptr %4, align 8, !tbaa !9
  %198 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %196, ptr noundef %197)
  %199 = load ptr, ptr %4, align 8, !tbaa !9
  %200 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %191, double noundef %198, ptr noundef %199)
  store double %200, ptr %8, align 8, !tbaa !11
  %201 = load ptr, ptr %4, align 8, !tbaa !9
  call void @_ZN11alglib_impl20laguerrecoefficientsElPNS_9ae_vectorEPNS_8ae_stateE(i64 noundef 1, ptr noundef %13, ptr noundef %201)
  %202 = load double, ptr %8, align 8, !tbaa !11
  %203 = getelementptr inbounds %"struct.alglib_impl::ae_vector", ptr %13, i32 0, i32 4
  %204 = load ptr, ptr %203, align 8, !tbaa !15
  %205 = getelementptr inbounds double, ptr %204, i64 0
  %206 = load double, ptr %205, align 8, !tbaa !11
  %207 = fsub double %206, 1.000000e+00
  %208 = load ptr, ptr %4, align 8, !tbaa !9
  %209 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %207, ptr noundef %208)
  %210 = load ptr, ptr %4, align 8, !tbaa !9
  %211 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %202, double noundef %209, ptr noundef %210)
  store double %211, ptr %8, align 8, !tbaa !11
  %212 = load double, ptr %8, align 8, !tbaa !11
  %213 = getelementptr inbounds %"struct.alglib_impl::ae_vector", ptr %13, i32 0, i32 4
  %214 = load ptr, ptr %213, align 8, !tbaa !15
  %215 = getelementptr inbounds double, ptr %214, i64 1
  %216 = load double, ptr %215, align 8, !tbaa !11
  %217 = fadd double %216, 1.000000e+00
  %218 = load ptr, ptr %4, align 8, !tbaa !9
  %219 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %217, ptr noundef %218)
  %220 = load ptr, ptr %4, align 8, !tbaa !9
  %221 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %212, double noundef %219, ptr noundef %220)
  store double %221, ptr %8, align 8, !tbaa !11
  %222 = load ptr, ptr %4, align 8, !tbaa !9
  call void @_ZN11alglib_impl20laguerrecoefficientsElPNS_9ae_vectorEPNS_8ae_stateE(i64 noundef 2, ptr noundef %13, ptr noundef %222)
  %223 = load double, ptr %8, align 8, !tbaa !11
  %224 = getelementptr inbounds %"struct.alglib_impl::ae_vector", ptr %13, i32 0, i32 4
  %225 = load ptr, ptr %224, align 8, !tbaa !15
  %226 = getelementptr inbounds double, ptr %225, i64 0
  %227 = load double, ptr %226, align 8, !tbaa !11
  %228 = fsub double %227, 1.000000e+00
  %229 = load ptr, ptr %4, align 8, !tbaa !9
  %230 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %228, ptr noundef %229)
  %231 = load ptr, ptr %4, align 8, !tbaa !9
  %232 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %223, double noundef %230, ptr noundef %231)
  store double %232, ptr %8, align 8, !tbaa !11
  %233 = load double, ptr %8, align 8, !tbaa !11
  %234 = getelementptr inbounds %"struct.alglib_impl::ae_vector", ptr %13, i32 0, i32 4
  %235 = load ptr, ptr %234, align 8, !tbaa !15
  %236 = getelementptr inbounds double, ptr %235, i64 1
  %237 = load double, ptr %236, align 8, !tbaa !11
  %238 = fadd double %237, 2.000000e+00
  %239 = load ptr, ptr %4, align 8, !tbaa !9
  %240 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %238, ptr noundef %239)
  %241 = load ptr, ptr %4, align 8, !tbaa !9
  %242 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %233, double noundef %240, ptr noundef %241)
  store double %242, ptr %8, align 8, !tbaa !11
  %243 = load double, ptr %8, align 8, !tbaa !11
  %244 = getelementptr inbounds %"struct.alglib_impl::ae_vector", ptr %13, i32 0, i32 4
  %245 = load ptr, ptr %244, align 8, !tbaa !15
  %246 = getelementptr inbounds double, ptr %245, i64 2
  %247 = load double, ptr %246, align 8, !tbaa !11
  %248 = fsub double %247, 5.000000e-01
  %249 = load ptr, ptr %4, align 8, !tbaa !9
  %250 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %248, ptr noundef %249)
  %251 = load ptr, ptr %4, align 8, !tbaa !9
  %252 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %243, double noundef %250, ptr noundef %251)
  store double %252, ptr %8, align 8, !tbaa !11
  %253 = load ptr, ptr %4, align 8, !tbaa !9
  call void @_ZN11alglib_impl20laguerrecoefficientsElPNS_9ae_vectorEPNS_8ae_stateE(i64 noundef 3, ptr noundef %13, ptr noundef %253)
  %254 = load double, ptr %8, align 8, !tbaa !11
  %255 = getelementptr inbounds %"struct.alglib_impl::ae_vector", ptr %13, i32 0, i32 4
  %256 = load ptr, ptr %255, align 8, !tbaa !15
  %257 = getelementptr inbounds double, ptr %256, i64 0
  %258 = load double, ptr %257, align 8, !tbaa !11
  %259 = fsub double %258, 1.000000e+00
  %260 = load ptr, ptr %4, align 8, !tbaa !9
  %261 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %259, ptr noundef %260)
  %262 = load ptr, ptr %4, align 8, !tbaa !9
  %263 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %254, double noundef %261, ptr noundef %262)
  store double %263, ptr %8, align 8, !tbaa !11
  %264 = load double, ptr %8, align 8, !tbaa !11
  %265 = getelementptr inbounds %"struct.alglib_impl::ae_vector", ptr %13, i32 0, i32 4
  %266 = load ptr, ptr %265, align 8, !tbaa !15
  %267 = getelementptr inbounds double, ptr %266, i64 1
  %268 = load double, ptr %267, align 8, !tbaa !11
  %269 = fadd double %268, 3.000000e+00
  %270 = load ptr, ptr %4, align 8, !tbaa !9
  %271 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %269, ptr noundef %270)
  %272 = load ptr, ptr %4, align 8, !tbaa !9
  %273 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %264, double noundef %271, ptr noundef %272)
  store double %273, ptr %8, align 8, !tbaa !11
  %274 = load double, ptr %8, align 8, !tbaa !11
  %275 = getelementptr inbounds %"struct.alglib_impl::ae_vector", ptr %13, i32 0, i32 4
  %276 = load ptr, ptr %275, align 8, !tbaa !15
  %277 = getelementptr inbounds double, ptr %276, i64 2
  %278 = load double, ptr %277, align 8, !tbaa !11
  %279 = fsub double %278, 1.500000e+00
  %280 = load ptr, ptr %4, align 8, !tbaa !9
  %281 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %279, ptr noundef %280)
  %282 = load ptr, ptr %4, align 8, !tbaa !9
  %283 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %274, double noundef %281, ptr noundef %282)
  store double %283, ptr %8, align 8, !tbaa !11
  %284 = load double, ptr %8, align 8, !tbaa !11
  %285 = getelementptr inbounds %"struct.alglib_impl::ae_vector", ptr %13, i32 0, i32 4
  %286 = load ptr, ptr %285, align 8, !tbaa !15
  %287 = getelementptr inbounds double, ptr %286, i64 3
  %288 = load double, ptr %287, align 8, !tbaa !11
  %289 = fadd double %288, 0x3FC5555555555555
  %290 = load ptr, ptr %4, align 8, !tbaa !9
  %291 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %289, ptr noundef %290)
  %292 = load ptr, ptr %4, align 8, !tbaa !9
  %293 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %284, double noundef %291, ptr noundef %292)
  store double %293, ptr %8, align 8, !tbaa !11
  %294 = load ptr, ptr %4, align 8, !tbaa !9
  call void @_ZN11alglib_impl20laguerrecoefficientsElPNS_9ae_vectorEPNS_8ae_stateE(i64 noundef 4, ptr noundef %13, ptr noundef %294)
  %295 = load double, ptr %8, align 8, !tbaa !11
  %296 = getelementptr inbounds %"struct.alglib_impl::ae_vector", ptr %13, i32 0, i32 4
  %297 = load ptr, ptr %296, align 8, !tbaa !15
  %298 = getelementptr inbounds double, ptr %297, i64 0
  %299 = load double, ptr %298, align 8, !tbaa !11
  %300 = fsub double %299, 1.000000e+00
  %301 = load ptr, ptr %4, align 8, !tbaa !9
  %302 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %300, ptr noundef %301)
  %303 = load ptr, ptr %4, align 8, !tbaa !9
  %304 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %295, double noundef %302, ptr noundef %303)
  store double %304, ptr %8, align 8, !tbaa !11
  %305 = load double, ptr %8, align 8, !tbaa !11
  %306 = getelementptr inbounds %"struct.alglib_impl::ae_vector", ptr %13, i32 0, i32 4
  %307 = load ptr, ptr %306, align 8, !tbaa !15
  %308 = getelementptr inbounds double, ptr %307, i64 1
  %309 = load double, ptr %308, align 8, !tbaa !11
  %310 = fadd double %309, 4.000000e+00
  %311 = load ptr, ptr %4, align 8, !tbaa !9
  %312 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %310, ptr noundef %311)
  %313 = load ptr, ptr %4, align 8, !tbaa !9
  %314 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %305, double noundef %312, ptr noundef %313)
  store double %314, ptr %8, align 8, !tbaa !11
  %315 = load double, ptr %8, align 8, !tbaa !11
  %316 = getelementptr inbounds %"struct.alglib_impl::ae_vector", ptr %13, i32 0, i32 4
  %317 = load ptr, ptr %316, align 8, !tbaa !15
  %318 = getelementptr inbounds double, ptr %317, i64 2
  %319 = load double, ptr %318, align 8, !tbaa !11
  %320 = fsub double %319, 3.000000e+00
  %321 = load ptr, ptr %4, align 8, !tbaa !9
  %322 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %320, ptr noundef %321)
  %323 = load ptr, ptr %4, align 8, !tbaa !9
  %324 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %315, double noundef %322, ptr noundef %323)
  store double %324, ptr %8, align 8, !tbaa !11
  %325 = load double, ptr %8, align 8, !tbaa !11
  %326 = getelementptr inbounds %"struct.alglib_impl::ae_vector", ptr %13, i32 0, i32 4
  %327 = load ptr, ptr %326, align 8, !tbaa !15
  %328 = getelementptr inbounds double, ptr %327, i64 3
  %329 = load double, ptr %328, align 8, !tbaa !11
  %330 = fadd double %329, 0x3FE5555555555555
  %331 = load ptr, ptr %4, align 8, !tbaa !9
  %332 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %330, ptr noundef %331)
  %333 = load ptr, ptr %4, align 8, !tbaa !9
  %334 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %325, double noundef %332, ptr noundef %333)
  store double %334, ptr %8, align 8, !tbaa !11
  %335 = load double, ptr %8, align 8, !tbaa !11
  %336 = getelementptr inbounds %"struct.alglib_impl::ae_vector", ptr %13, i32 0, i32 4
  %337 = load ptr, ptr %336, align 8, !tbaa !15
  %338 = getelementptr inbounds double, ptr %337, i64 4
  %339 = load double, ptr %338, align 8, !tbaa !11
  %340 = fsub double %339, 0x3FA5555555555555
  %341 = load ptr, ptr %4, align 8, !tbaa !9
  %342 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %340, ptr noundef %341)
  %343 = load ptr, ptr %4, align 8, !tbaa !9
  %344 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %335, double noundef %342, ptr noundef %343)
  store double %344, ptr %8, align 8, !tbaa !11
  %345 = load ptr, ptr %4, align 8, !tbaa !9
  call void @_ZN11alglib_impl20laguerrecoefficientsElPNS_9ae_vectorEPNS_8ae_stateE(i64 noundef 5, ptr noundef %13, ptr noundef %345)
  %346 = load double, ptr %8, align 8, !tbaa !11
  %347 = getelementptr inbounds %"struct.alglib_impl::ae_vector", ptr %13, i32 0, i32 4
  %348 = load ptr, ptr %347, align 8, !tbaa !15
  %349 = getelementptr inbounds double, ptr %348, i64 0
  %350 = load double, ptr %349, align 8, !tbaa !11
  %351 = fsub double %350, 1.000000e+00
  %352 = load ptr, ptr %4, align 8, !tbaa !9
  %353 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %351, ptr noundef %352)
  %354 = load ptr, ptr %4, align 8, !tbaa !9
  %355 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %346, double noundef %353, ptr noundef %354)
  store double %355, ptr %8, align 8, !tbaa !11
  %356 = load double, ptr %8, align 8, !tbaa !11
  %357 = getelementptr inbounds %"struct.alglib_impl::ae_vector", ptr %13, i32 0, i32 4
  %358 = load ptr, ptr %357, align 8, !tbaa !15
  %359 = getelementptr inbounds double, ptr %358, i64 1
  %360 = load double, ptr %359, align 8, !tbaa !11
  %361 = fadd double %360, 5.000000e+00
  %362 = load ptr, ptr %4, align 8, !tbaa !9
  %363 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %361, ptr noundef %362)
  %364 = load ptr, ptr %4, align 8, !tbaa !9
  %365 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %356, double noundef %363, ptr noundef %364)
  store double %365, ptr %8, align 8, !tbaa !11
  %366 = load double, ptr %8, align 8, !tbaa !11
  %367 = getelementptr inbounds %"struct.alglib_impl::ae_vector", ptr %13, i32 0, i32 4
  %368 = load ptr, ptr %367, align 8, !tbaa !15
  %369 = getelementptr inbounds double, ptr %368, i64 2
  %370 = load double, ptr %369, align 8, !tbaa !11
  %371 = fsub double %370, 5.000000e+00
  %372 = load ptr, ptr %4, align 8, !tbaa !9
  %373 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %371, ptr noundef %372)
  %374 = load ptr, ptr %4, align 8, !tbaa !9
  %375 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %366, double noundef %373, ptr noundef %374)
  store double %375, ptr %8, align 8, !tbaa !11
  %376 = load double, ptr %8, align 8, !tbaa !11
  %377 = getelementptr inbounds %"struct.alglib_impl::ae_vector", ptr %13, i32 0, i32 4
  %378 = load ptr, ptr %377, align 8, !tbaa !15
  %379 = getelementptr inbounds double, ptr %378, i64 3
  %380 = load double, ptr %379, align 8, !tbaa !11
  %381 = fadd double %380, 0x3FFAAAAAAAAAAAAB
  %382 = load ptr, ptr %4, align 8, !tbaa !9
  %383 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %381, ptr noundef %382)
  %384 = load ptr, ptr %4, align 8, !tbaa !9
  %385 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %376, double noundef %383, ptr noundef %384)
  store double %385, ptr %8, align 8, !tbaa !11
  %386 = load double, ptr %8, align 8, !tbaa !11
  %387 = getelementptr inbounds %"struct.alglib_impl::ae_vector", ptr %13, i32 0, i32 4
  %388 = load ptr, ptr %387, align 8, !tbaa !15
  %389 = getelementptr inbounds double, ptr %388, i64 4
  %390 = load double, ptr %389, align 8, !tbaa !11
  %391 = fsub double %390, 0x3FCAAAAAAAAAAAAB
  %392 = load ptr, ptr %4, align 8, !tbaa !9
  %393 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %391, ptr noundef %392)
  %394 = load ptr, ptr %4, align 8, !tbaa !9
  %395 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %386, double noundef %393, ptr noundef %394)
  store double %395, ptr %8, align 8, !tbaa !11
  %396 = load double, ptr %8, align 8, !tbaa !11
  %397 = getelementptr inbounds %"struct.alglib_impl::ae_vector", ptr %13, i32 0, i32 4
  %398 = load ptr, ptr %397, align 8, !tbaa !15
  %399 = getelementptr inbounds double, ptr %398, i64 5
  %400 = load double, ptr %399, align 8, !tbaa !11
  %401 = fadd double %400, 0x3F81111111111111
  %402 = load ptr, ptr %4, align 8, !tbaa !9
  %403 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %401, ptr noundef %402)
  %404 = load ptr, ptr %4, align 8, !tbaa !9
  %405 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %396, double noundef %403, ptr noundef %404)
  store double %405, ptr %8, align 8, !tbaa !11
  %406 = load ptr, ptr %4, align 8, !tbaa !9
  call void @_ZN11alglib_impl20laguerrecoefficientsElPNS_9ae_vectorEPNS_8ae_stateE(i64 noundef 6, ptr noundef %13, ptr noundef %406)
  %407 = load double, ptr %8, align 8, !tbaa !11
  %408 = getelementptr inbounds %"struct.alglib_impl::ae_vector", ptr %13, i32 0, i32 4
  %409 = load ptr, ptr %408, align 8, !tbaa !15
  %410 = getelementptr inbounds double, ptr %409, i64 0
  %411 = load double, ptr %410, align 8, !tbaa !11
  %412 = fsub double %411, 1.000000e+00
  %413 = load ptr, ptr %4, align 8, !tbaa !9
  %414 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %412, ptr noundef %413)
  %415 = load ptr, ptr %4, align 8, !tbaa !9
  %416 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %407, double noundef %414, ptr noundef %415)
  store double %416, ptr %8, align 8, !tbaa !11
  %417 = load double, ptr %8, align 8, !tbaa !11
  %418 = getelementptr inbounds %"struct.alglib_impl::ae_vector", ptr %13, i32 0, i32 4
  %419 = load ptr, ptr %418, align 8, !tbaa !15
  %420 = getelementptr inbounds double, ptr %419, i64 1
  %421 = load double, ptr %420, align 8, !tbaa !11
  %422 = fadd double %421, 6.000000e+00
  %423 = load ptr, ptr %4, align 8, !tbaa !9
  %424 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %422, ptr noundef %423)
  %425 = load ptr, ptr %4, align 8, !tbaa !9
  %426 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %417, double noundef %424, ptr noundef %425)
  store double %426, ptr %8, align 8, !tbaa !11
  %427 = load double, ptr %8, align 8, !tbaa !11
  %428 = getelementptr inbounds %"struct.alglib_impl::ae_vector", ptr %13, i32 0, i32 4
  %429 = load ptr, ptr %428, align 8, !tbaa !15
  %430 = getelementptr inbounds double, ptr %429, i64 2
  %431 = load double, ptr %430, align 8, !tbaa !11
  %432 = fsub double %431, 7.500000e+00
  %433 = load ptr, ptr %4, align 8, !tbaa !9
  %434 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %432, ptr noundef %433)
  %435 = load ptr, ptr %4, align 8, !tbaa !9
  %436 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %427, double noundef %434, ptr noundef %435)
  store double %436, ptr %8, align 8, !tbaa !11
  %437 = load double, ptr %8, align 8, !tbaa !11
  %438 = getelementptr inbounds %"struct.alglib_impl::ae_vector", ptr %13, i32 0, i32 4
  %439 = load ptr, ptr %438, align 8, !tbaa !15
  %440 = getelementptr inbounds double, ptr %439, i64 3
  %441 = load double, ptr %440, align 8, !tbaa !11
  %442 = fadd double %441, 0x400AAAAAAAAAAAAB
  %443 = load ptr, ptr %4, align 8, !tbaa !9
  %444 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %442, ptr noundef %443)
  %445 = load ptr, ptr %4, align 8, !tbaa !9
  %446 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %437, double noundef %444, ptr noundef %445)
  store double %446, ptr %8, align 8, !tbaa !11
  %447 = load double, ptr %8, align 8, !tbaa !11
  %448 = getelementptr inbounds %"struct.alglib_impl::ae_vector", ptr %13, i32 0, i32 4
  %449 = load ptr, ptr %448, align 8, !tbaa !15
  %450 = getelementptr inbounds double, ptr %449, i64 4
  %451 = load double, ptr %450, align 8, !tbaa !11
  %452 = fsub double %451, 6.250000e-01
  %453 = load ptr, ptr %4, align 8, !tbaa !9
  %454 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %452, ptr noundef %453)
  %455 = load ptr, ptr %4, align 8, !tbaa !9
  %456 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %447, double noundef %454, ptr noundef %455)
  store double %456, ptr %8, align 8, !tbaa !11
  %457 = load double, ptr %8, align 8, !tbaa !11
  %458 = getelementptr inbounds %"struct.alglib_impl::ae_vector", ptr %13, i32 0, i32 4
  %459 = load ptr, ptr %458, align 8, !tbaa !15
  %460 = getelementptr inbounds double, ptr %459, i64 5
  %461 = load double, ptr %460, align 8, !tbaa !11
  %462 = fadd double %461, 5.000000e-02
  %463 = load ptr, ptr %4, align 8, !tbaa !9
  %464 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %462, ptr noundef %463)
  %465 = load ptr, ptr %4, align 8, !tbaa !9
  %466 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %457, double noundef %464, ptr noundef %465)
  store double %466, ptr %8, align 8, !tbaa !11
  %467 = load double, ptr %8, align 8, !tbaa !11
  %468 = getelementptr inbounds %"struct.alglib_impl::ae_vector", ptr %13, i32 0, i32 4
  %469 = load ptr, ptr %468, align 8, !tbaa !15
  %470 = getelementptr inbounds double, ptr %469, i64 6
  %471 = load double, ptr %470, align 8, !tbaa !11
  %472 = fsub double %471, 0x3F56C16C16C16C17
  %473 = load ptr, ptr %4, align 8, !tbaa !9
  %474 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %472, ptr noundef %473)
  %475 = load ptr, ptr %4, align 8, !tbaa !9
  %476 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %467, double noundef %474, ptr noundef %475)
  store double %476, ptr %8, align 8, !tbaa !11
  %477 = load double, ptr %6, align 8, !tbaa !11
  %478 = load double, ptr %9, align 8, !tbaa !11
  %479 = call noundef zeroext i1 @_ZN11alglib_impl13ae_fp_greaterEdd(double noundef %477, double noundef %478)
  br i1 %479, label %488, label %480

480:                                              ; preds = %189
  %481 = load double, ptr %7, align 8, !tbaa !11
  %482 = load double, ptr %9, align 8, !tbaa !11
  %483 = call noundef zeroext i1 @_ZN11alglib_impl13ae_fp_greaterEdd(double noundef %481, double noundef %482)
  br i1 %483, label %488, label %484

484:                                              ; preds = %480
  %485 = load double, ptr %8, align 8, !tbaa !11
  %486 = load double, ptr %9, align 8, !tbaa !11
  %487 = call noundef zeroext i1 @_ZN11alglib_impl13ae_fp_greaterEdd(double noundef %485, double noundef %486)
  br label %488

488:                                              ; preds = %484, %480, %189
  %489 = phi i1 [ true, %480 ], [ true, %189 ], [ %487, %484 ]
  %490 = zext i1 %489 to i8
  store i8 %490, ptr %16, align 1, !tbaa !5
  %491 = load i8, ptr %3, align 1, !tbaa !5, !range !19, !noundef !20
  %492 = trunc i8 %491 to i1
  br i1 %492, label %510, label %493

493:                                              ; preds = %488
  %494 = call i32 (ptr, ...) @printf(ptr noundef @.str.694)
  %495 = load double, ptr %6, align 8, !tbaa !11
  %496 = call i32 (ptr, ...) @printf(ptr noundef @.str.690, double noundef %495)
  %497 = load double, ptr %7, align 8, !tbaa !11
  %498 = call i32 (ptr, ...) @printf(ptr noundef @.str.691, double noundef %497)
  %499 = load double, ptr %8, align 8, !tbaa !11
  %500 = call i32 (ptr, ...) @printf(ptr noundef @.str.692, double noundef %499)
  %501 = load double, ptr %9, align 8, !tbaa !11
  %502 = call i32 (ptr, ...) @printf(ptr noundef @.str.693, double noundef %501)
  %503 = load i8, ptr %16, align 1, !tbaa !5, !range !19, !noundef !20
  %504 = trunc i8 %503 to i1
  br i1 %504, label %507, label %505

505:                                              ; preds = %493
  %506 = call i32 (ptr, ...) @printf(ptr noundef @.str.2)
  br label %509

507:                                              ; preds = %493
  %508 = call i32 (ptr, ...) @printf(ptr noundef @.str.1)
  br label %509

509:                                              ; preds = %507, %505
  br label %510

510:                                              ; preds = %509, %488
  %511 = load i8, ptr %16, align 1, !tbaa !5, !range !19, !noundef !20
  %512 = trunc i8 %511 to i1
  %513 = xor i1 %512, true
  %514 = zext i1 %513 to i8
  store i8 %514, ptr %17, align 1, !tbaa !5
  %515 = load ptr, ptr %4, align 8, !tbaa !9
  call void @_ZN11alglib_impl14ae_frame_leaveEPNS_8ae_stateE(ptr noundef %515)
  %516 = load i8, ptr %17, align 1, !tbaa !5, !range !19, !noundef !20
  %517 = trunc i8 %516 to i1
  call void @llvm.lifetime.end.p0(i64 1, ptr %17) #5
  call void @llvm.lifetime.end.p0(i64 1, ptr %16) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %15) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %14) #5
  call void @llvm.lifetime.end.p0(i64 64, ptr %13) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %12) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %11) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %10) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %9) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %8) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %7) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %6) #5
  call void @llvm.lifetime.end.p0(i64 32, ptr %5) #5
  ret i1 %517
}

declare noundef double @_ZN11alglib_impl17laguerrecalculateEldPNS_8ae_stateE(i64 noundef, double noundef, ptr noundef) #1

declare noundef double @_ZN11alglib_impl11laguerresumEPNS_9ae_vectorEldPNS_8ae_stateE(ptr noundef, i64 noundef, double noundef, ptr noundef) #1

declare void @_ZN11alglib_impl20laguerrecoefficientsElPNS_9ae_vectorEPNS_8ae_stateE(i64 noundef, ptr noundef, ptr noundef) #1

attributes #0 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #2 = { nocallback nofree nounwind willreturn memory(argmem: write) }
attributes #3 = { nocallback nofree nosync nounwind speculatable willreturn memory(none) }
attributes #4 = { mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #5 = { nounwind }

!llvm.module.flags = !{!0, !1, !2, !3}
!llvm.ident = !{!4}

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"bool", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"any pointer", !7, i64 0}
!11 = !{!12, !12, i64 0}
!12 = !{!"double", !7, i64 0}
!13 = !{!14, !14, i64 0}
!14 = !{!"long", !7, i64 0}
!15 = !{!7, !7, i64 0}
!16 = distinct !{!16, !17}
!17 = !{!"llvm.loop.mustprogress"}
!18 = distinct !{!18, !17}
!19 = !{i8 0, i8 2}
!20 = !{}


; Optimized IR (opt -passes='default<O3>'):
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

%"struct.alglib_impl::ae_frame" = type { %"struct.alglib_impl::ae_dyn_block" }
%"struct.alglib_impl::ae_dyn_block" = type { ptr, ptr, ptr, ptr }
%"struct.alglib_impl::ae_vector" = type { i64, i64, i8, %"struct.alglib_impl::ae_dyn_block", %union.anon }
%union.anon = type { ptr }

@.str.1 = external hidden unnamed_addr constant [13 x i8], align 1
@.str.2 = external hidden unnamed_addr constant [13 x i8], align 1
@.str.690 = external hidden unnamed_addr constant [49 x i8], align 1
@.str.691 = external hidden unnamed_addr constant [49 x i8], align 1
@.str.692 = external hidden unnamed_addr constant [49 x i8], align 1
@.str.693 = external hidden unnamed_addr constant [49 x i8], align 1
@.str.694 = external hidden unnamed_addr constant [49 x i8], align 1

; Function Attrs: mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)
declare void @llvm.lifetime.start.p0(i64 immarg, ptr nocapture) #0

declare void @_ZN11alglib_impl13ae_frame_makeEPNS_8ae_stateEPNS_8ae_frameE(ptr noundef, ptr noundef) local_unnamed_addr #1

; Function Attrs: mustprogress nocallback nofree nounwind willreturn memory(argmem: write)
declare void @llvm.memset.p0.i64(ptr nocapture writeonly, i8, i64, i1 immarg) #2

declare void @_ZN11alglib_impl14ae_vector_initEPNS_9ae_vectorEllPNS_8ae_stateEb(ptr noundef, i64 noundef, i64 noundef, ptr noundef, i1 noundef zeroext) local_unnamed_addr #1

declare void @_ZN11alglib_impl20ae_vector_set_lengthEPNS_9ae_vectorElPNS_8ae_stateE(ptr noundef, i64 noundef, ptr noundef) local_unnamed_addr #1

; Function Attrs: nofree nounwind
declare noundef i32 @printf(ptr nocapture noundef readonly, ...) local_unnamed_addr #3

declare void @_ZN11alglib_impl14ae_frame_leaveEPNS_8ae_stateE(ptr noundef) local_unnamed_addr #1

; Function Attrs: mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)
declare void @llvm.lifetime.end.p0(i64 immarg, ptr nocapture) #0

declare noundef double @_ZN11alglib_impl13ae_randomrealEPNS_8ae_stateE(ptr noundef) local_unnamed_addr #1

; Function Attrs: mustprogress nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare double @llvm.fmuladd.f64(double, double, double) #4

declare noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef, double noundef, ptr noundef) local_unnamed_addr #1

declare noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef, ptr noundef) local_unnamed_addr #1

declare noundef zeroext i1 @_ZN11alglib_impl13ae_fp_greaterEdd(double noundef, double noundef) local_unnamed_addr #1

; Function Attrs: mustprogress uwtable
define dso_local noundef zeroext i1 @_Z12testlaguerrebPN11alglib_impl8ae_stateE(i1 noundef zeroext %0, ptr noundef %1) local_unnamed_addr #5 {
  %3 = alloca %"struct.alglib_impl::ae_frame", align 8
  %4 = alloca %"struct.alglib_impl::ae_vector", align 8
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %3) #6
  call void @llvm.lifetime.start.p0(i64 64, ptr nonnull %4) #6
  call void @_ZN11alglib_impl13ae_frame_makeEPNS_8ae_stateEPNS_8ae_frameE(ptr noundef %1, ptr noundef nonnull %3)
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(64) %4, i8 0, i64 64, i1 false)
  call void @_ZN11alglib_impl14ae_vector_initEPNS_9ae_vectorEllPNS_8ae_stateEb(ptr noundef nonnull %4, i64 noundef 0, i64 noundef 3, ptr noundef %1, i1 noundef zeroext true)
  %5 = call noundef double @_ZN11alglib_impl17laguerrecalculateEldPNS_8ae_stateE(i64 noundef 0, double noundef 5.000000e-01, ptr noundef %1)
  %6 = fadd double %5, -1.000000e+00
  %7 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %6, ptr noundef %1)
  %8 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef 0.000000e+00, double noundef %7, ptr noundef %1)
  %9 = call noundef double @_ZN11alglib_impl17laguerrecalculateEldPNS_8ae_stateE(i64 noundef 1, double noundef 5.000000e-01, ptr noundef %1)
  %10 = fadd double %9, -5.000000e-01
  %11 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %10, ptr noundef %1)
  %12 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %8, double noundef %11, ptr noundef %1)
  %13 = call noundef double @_ZN11alglib_impl17laguerrecalculateEldPNS_8ae_stateE(i64 noundef 2, double noundef 5.000000e-01, ptr noundef %1)
  %14 = fadd double %13, -1.250000e-01
  %15 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %14, ptr noundef %1)
  %16 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %12, double noundef %15, ptr noundef %1)
  %17 = call noundef double @_ZN11alglib_impl17laguerrecalculateEldPNS_8ae_stateE(i64 noundef 3, double noundef 5.000000e-01, ptr noundef %1)
  %18 = fadd double %17, 0x3FC2AAAAAA98576B
  %19 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %18, ptr noundef %1)
  %20 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %16, double noundef %19, ptr noundef %1)
  %21 = call noundef double @_ZN11alglib_impl17laguerrecalculateEldPNS_8ae_stateE(i64 noundef 4, double noundef 5.000000e-01, ptr noundef %1)
  %22 = fadd double %21, 0x3FD52AAAAAB3D44B
  %23 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %22, ptr noundef %1)
  %24 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %20, double noundef %23, ptr noundef %1)
  %25 = call noundef double @_ZN11alglib_impl17laguerrecalculateEldPNS_8ae_stateE(i64 noundef 5, double noundef 5.000000e-01, ptr noundef %1)
  %26 = fadd double %25, 0x3FDC8444444D6DE4
  %27 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %26, ptr noundef %1)
  %28 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %24, double noundef %27, ptr noundef %1)
  %29 = call noundef double @_ZN11alglib_impl17laguerrecalculateEldPNS_8ae_stateE(i64 noundef 6, double noundef 5.000000e-01, ptr noundef %1)
  %30 = fadd double %29, 0x3FE021F49F4D027F
  %31 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %30, ptr noundef %1)
  %32 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %28, double noundef %31, ptr noundef %1)
  %33 = call noundef double @_ZN11alglib_impl17laguerrecalculateEldPNS_8ae_stateE(i64 noundef 7, double noundef 5.000000e-01, ptr noundef %1)
  %34 = fadd double %33, 0x3FE0963C23C0D120
  %35 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %34, ptr noundef %1)
  %36 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %32, double noundef %35, ptr noundef %1)
  %37 = call noundef double @_ZN11alglib_impl17laguerrecalculateEldPNS_8ae_stateE(i64 noundef 8, double noundef 5.000000e-01, ptr noundef %1)
  %38 = fadd double %37, 0x3FDFE52DEAEA872C
  %39 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %38, ptr noundef %1)
  %40 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %36, double noundef %39, ptr noundef %1)
  %41 = call noundef double @_ZN11alglib_impl17laguerrecalculateEldPNS_8ae_stateE(i64 noundef 9, double noundef 5.000000e-01, ptr noundef %1)
  %42 = fadd double %41, 0x3FDCFCA227F5A1DF
  %43 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %42, ptr noundef %1)
  %44 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %40, double noundef %43, ptr noundef %1)
  %45 = call noundef double @_ZN11alglib_impl17laguerrecalculateEldPNS_8ae_stateE(i64 noundef 10, double noundef 5.000000e-01, ptr noundef %1)
  %46 = fadd double %45, 0x3FD8EB82A99D5AB5
  %47 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %46, ptr noundef %1)
  %48 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %44, double noundef %47, ptr noundef %1)
  %49 = call noundef double @_ZN11alglib_impl17laguerrecalculateEldPNS_8ae_stateE(i64 noundef 11, double noundef 5.000000e-01, ptr noundef %1)
  %50 = fadd double %49, 0x3FD4170EA39496BC
  %51 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %50, ptr noundef %1)
  %52 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %48, double noundef %51, ptr noundef %1)
  %53 = call noundef double @_ZN11alglib_impl17laguerrecalculateEldPNS_8ae_stateE(i64 noundef 12, double noundef 5.000000e-01, ptr noundef %1)
  %54 = fadd double %53, 0x3FCDA6B2039A54B0
  %55 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %54, ptr noundef %1)
  %56 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %52, double noundef %55, ptr noundef %1)
  call void @_ZN11alglib_impl20ae_vector_set_lengthEPNS_9ae_vectorElPNS_8ae_stateE(ptr noundef nonnull %4, i64 noundef 21, ptr noundef %1)
  %57 = getelementptr inbounds i8, ptr %4, i64 56
  br label %58

58:                                               ; preds = %2, %76
  %.0194201 = phi double [ 0.000000e+00, %2 ], [ %74, %76 ]
  %.0195200 = phi i64 [ 1, %2 ], [ %77, %76 ]
  %59 = call noundef double @_ZN11alglib_impl13ae_randomrealEPNS_8ae_stateE(ptr noundef %1)
  %60 = call double @llvm.fmuladd.f64(double %59, double 2.000000e+00, double -1.000000e+00)
  br label %61

61:                                               ; preds = %58, %61
  %.0199 = phi double [ 0.000000e+00, %58 ], [ %70, %61 ]
  %.1198 = phi double [ %.0194201, %58 ], [ %74, %61 ]
  %.0196197 = phi i64 [ 0, %58 ], [ %75, %61 ]
  %62 = call noundef double @_ZN11alglib_impl13ae_randomrealEPNS_8ae_stateE(ptr noundef %1)
  %63 = call double @llvm.fmuladd.f64(double %62, double 2.000000e+00, double -1.000000e+00)
  %64 = load ptr, ptr %57, align 8, !tbaa !5
  %65 = getelementptr inbounds double, ptr %64, i64 %.0196197
  store double %63, ptr %65, align 8, !tbaa !8
  %66 = call noundef double @_ZN11alglib_impl17laguerrecalculateEldPNS_8ae_stateE(i64 noundef %.0196197, double noundef %60, ptr noundef %1)
  %67 = load ptr, ptr %57, align 8, !tbaa !5
  %68 = getelementptr inbounds double, ptr %67, i64 %.0196197
  %69 = load double, ptr %68, align 8, !tbaa !8
  %70 = call double @llvm.fmuladd.f64(double %66, double %69, double %.0199)
  %71 = call noundef double @_ZN11alglib_impl11laguerresumEPNS_9ae_vectorEldPNS_8ae_stateE(ptr noundef nonnull %4, i64 noundef %.0196197, double noundef %60, ptr noundef %1)
  %72 = fsub double %70, %71
  %73 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %72, ptr noundef %1)
  %74 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %.1198, double noundef %73, ptr noundef %1)
  %75 = add nuw nsw i64 %.0196197, 1
  %exitcond.not = icmp eq i64 %75, 21
  br i1 %exitcond.not, label %76, label %61, !llvm.loop !10

76:                                               ; preds = %61
  %77 = add nuw nsw i64 %.0195200, 1
  %exitcond202.not = icmp eq i64 %77, 11
  br i1 %exitcond202.not, label %78, label %58, !llvm.loop !12

78:                                               ; preds = %76
  call void @_ZN11alglib_impl20laguerrecoefficientsElPNS_9ae_vectorEPNS_8ae_stateE(i64 noundef 0, ptr noundef nonnull %4, ptr noundef %1)
  %79 = load ptr, ptr %57, align 8, !tbaa !5
  %80 = load double, ptr %79, align 8, !tbaa !8
  %81 = fadd double %80, -1.000000e+00
  %82 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %81, ptr noundef %1)
  %83 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef 0.000000e+00, double noundef %82, ptr noundef %1)
  call void @_ZN11alglib_impl20laguerrecoefficientsElPNS_9ae_vectorEPNS_8ae_stateE(i64 noundef 1, ptr noundef nonnull %4, ptr noundef %1)
  %84 = load ptr, ptr %57, align 8, !tbaa !5
  %85 = load double, ptr %84, align 8, !tbaa !8
  %86 = fadd double %85, -1.000000e+00
  %87 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %86, ptr noundef %1)
  %88 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %83, double noundef %87, ptr noundef %1)
  %89 = load ptr, ptr %57, align 8, !tbaa !5
  %90 = getelementptr inbounds i8, ptr %89, i64 8
  %91 = load double, ptr %90, align 8, !tbaa !8
  %92 = fadd double %91, 1.000000e+00
  %93 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %92, ptr noundef %1)
  %94 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %88, double noundef %93, ptr noundef %1)
  call void @_ZN11alglib_impl20laguerrecoefficientsElPNS_9ae_vectorEPNS_8ae_stateE(i64 noundef 2, ptr noundef nonnull %4, ptr noundef %1)
  %95 = load ptr, ptr %57, align 8, !tbaa !5
  %96 = load double, ptr %95, align 8, !tbaa !8
  %97 = fadd double %96, -1.000000e+00
  %98 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %97, ptr noundef %1)
  %99 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %94, double noundef %98, ptr noundef %1)
  %100 = load ptr, ptr %57, align 8, !tbaa !5
  %101 = getelementptr inbounds i8, ptr %100, i64 8
  %102 = load double, ptr %101, align 8, !tbaa !8
  %103 = fadd double %102, 2.000000e+00
  %104 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %103, ptr noundef %1)
  %105 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %99, double noundef %104, ptr noundef %1)
  %106 = load ptr, ptr %57, align 8, !tbaa !5
  %107 = getelementptr inbounds i8, ptr %106, i64 16
  %108 = load double, ptr %107, align 8, !tbaa !8
  %109 = fadd double %108, -5.000000e-01
  %110 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %109, ptr noundef %1)
  %111 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %105, double noundef %110, ptr noundef %1)
  call void @_ZN11alglib_impl20laguerrecoefficientsElPNS_9ae_vectorEPNS_8ae_stateE(i64 noundef 3, ptr noundef nonnull %4, ptr noundef %1)
  %112 = load ptr, ptr %57, align 8, !tbaa !5
  %113 = load double, ptr %112, align 8, !tbaa !8
  %114 = fadd double %113, -1.000000e+00
  %115 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %114, ptr noundef %1)
  %116 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %111, double noundef %115, ptr noundef %1)
  %117 = load ptr, ptr %57, align 8, !tbaa !5
  %118 = getelementptr inbounds i8, ptr %117, i64 8
  %119 = load double, ptr %118, align 8, !tbaa !8
  %120 = fadd double %119, 3.000000e+00
  %121 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %120, ptr noundef %1)
  %122 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %116, double noundef %121, ptr noundef %1)
  %123 = load ptr, ptr %57, align 8, !tbaa !5
  %124 = getelementptr inbounds i8, ptr %123, i64 16
  %125 = load double, ptr %124, align 8, !tbaa !8
  %126 = fadd double %125, -1.500000e+00
  %127 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %126, ptr noundef %1)
  %128 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %122, double noundef %127, ptr noundef %1)
  %129 = load ptr, ptr %57, align 8, !tbaa !5
  %130 = getelementptr inbounds i8, ptr %129, i64 24
  %131 = load double, ptr %130, align 8, !tbaa !8
  %132 = fadd double %131, 0x3FC5555555555555
  %133 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %132, ptr noundef %1)
  %134 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %128, double noundef %133, ptr noundef %1)
  call void @_ZN11alglib_impl20laguerrecoefficientsElPNS_9ae_vectorEPNS_8ae_stateE(i64 noundef 4, ptr noundef nonnull %4, ptr noundef %1)
  %135 = load ptr, ptr %57, align 8, !tbaa !5
  %136 = load double, ptr %135, align 8, !tbaa !8
  %137 = fadd double %136, -1.000000e+00
  %138 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %137, ptr noundef %1)
  %139 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %134, double noundef %138, ptr noundef %1)
  %140 = load ptr, ptr %57, align 8, !tbaa !5
  %141 = getelementptr inbounds i8, ptr %140, i64 8
  %142 = load double, ptr %141, align 8, !tbaa !8
  %143 = fadd double %142, 4.000000e+00
  %144 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %143, ptr noundef %1)
  %145 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %139, double noundef %144, ptr noundef %1)
  %146 = load ptr, ptr %57, align 8, !tbaa !5
  %147 = getelementptr inbounds i8, ptr %146, i64 16
  %148 = load double, ptr %147, align 8, !tbaa !8
  %149 = fadd double %148, -3.000000e+00
  %150 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %149, ptr noundef %1)
  %151 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %145, double noundef %150, ptr noundef %1)
  %152 = load ptr, ptr %57, align 8, !tbaa !5
  %153 = getelementptr inbounds i8, ptr %152, i64 24
  %154 = load double, ptr %153, align 8, !tbaa !8
  %155 = fadd double %154, 0x3FE5555555555555
  %156 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %155, ptr noundef %1)
  %157 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %151, double noundef %156, ptr noundef %1)
  %158 = load ptr, ptr %57, align 8, !tbaa !5
  %159 = getelementptr inbounds i8, ptr %158, i64 32
  %160 = load double, ptr %159, align 8, !tbaa !8
  %161 = fadd double %160, 0xBFA5555555555555
  %162 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %161, ptr noundef %1)
  %163 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %157, double noundef %162, ptr noundef %1)
  call void @_ZN11alglib_impl20laguerrecoefficientsElPNS_9ae_vectorEPNS_8ae_stateE(i64 noundef 5, ptr noundef nonnull %4, ptr noundef %1)
  %164 = load ptr, ptr %57, align 8, !tbaa !5
  %165 = load double, ptr %164, align 8, !tbaa !8
  %166 = fadd double %165, -1.000000e+00
  %167 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %166, ptr noundef %1)
  %168 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %163, double noundef %167, ptr noundef %1)
  %169 = load ptr, ptr %57, align 8, !tbaa !5
  %170 = getelementptr inbounds i8, ptr %169, i64 8
  %171 = load double, ptr %170, align 8, !tbaa !8
  %172 = fadd double %171, 5.000000e+00
  %173 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %172, ptr noundef %1)
  %174 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %168, double noundef %173, ptr noundef %1)
  %175 = load ptr, ptr %57, align 8, !tbaa !5
  %176 = getelementptr inbounds i8, ptr %175, i64 16
  %177 = load double, ptr %176, align 8, !tbaa !8
  %178 = fadd double %177, -5.000000e+00
  %179 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %178, ptr noundef %1)
  %180 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %174, double noundef %179, ptr noundef %1)
  %181 = load ptr, ptr %57, align 8, !tbaa !5
  %182 = getelementptr inbounds i8, ptr %181, i64 24
  %183 = load double, ptr %182, align 8, !tbaa !8
  %184 = fadd double %183, 0x3FFAAAAAAAAAAAAB
  %185 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %184, ptr noundef %1)
  %186 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %180, double noundef %185, ptr noundef %1)
  %187 = load ptr, ptr %57, align 8, !tbaa !5
  %188 = getelementptr inbounds i8, ptr %187, i64 32
  %189 = load double, ptr %188, align 8, !tbaa !8
  %190 = fadd double %189, 0xBFCAAAAAAAAAAAAB
  %191 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %190, ptr noundef %1)
  %192 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %186, double noundef %191, ptr noundef %1)
  %193 = load ptr, ptr %57, align 8, !tbaa !5
  %194 = getelementptr inbounds i8, ptr %193, i64 40
  %195 = load double, ptr %194, align 8, !tbaa !8
  %196 = fadd double %195, 0x3F81111111111111
  %197 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %196, ptr noundef %1)
  %198 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %192, double noundef %197, ptr noundef %1)
  call void @_ZN11alglib_impl20laguerrecoefficientsElPNS_9ae_vectorEPNS_8ae_stateE(i64 noundef 6, ptr noundef nonnull %4, ptr noundef %1)
  %199 = load ptr, ptr %57, align 8, !tbaa !5
  %200 = load double, ptr %199, align 8, !tbaa !8
  %201 = fadd double %200, -1.000000e+00
  %202 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %201, ptr noundef %1)
  %203 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %198, double noundef %202, ptr noundef %1)
  %204 = load ptr, ptr %57, align 8, !tbaa !5
  %205 = getelementptr inbounds i8, ptr %204, i64 8
  %206 = load double, ptr %205, align 8, !tbaa !8
  %207 = fadd double %206, 6.000000e+00
  %208 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %207, ptr noundef %1)
  %209 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %203, double noundef %208, ptr noundef %1)
  %210 = load ptr, ptr %57, align 8, !tbaa !5
  %211 = getelementptr inbounds i8, ptr %210, i64 16
  %212 = load double, ptr %211, align 8, !tbaa !8
  %213 = fadd double %212, -7.500000e+00
  %214 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %213, ptr noundef %1)
  %215 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %209, double noundef %214, ptr noundef %1)
  %216 = load ptr, ptr %57, align 8, !tbaa !5
  %217 = getelementptr inbounds i8, ptr %216, i64 24
  %218 = load double, ptr %217, align 8, !tbaa !8
  %219 = fadd double %218, 0x400AAAAAAAAAAAAB
  %220 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %219, ptr noundef %1)
  %221 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %215, double noundef %220, ptr noundef %1)
  %222 = load ptr, ptr %57, align 8, !tbaa !5
  %223 = getelementptr inbounds i8, ptr %222, i64 32
  %224 = load double, ptr %223, align 8, !tbaa !8
  %225 = fadd double %224, -6.250000e-01
  %226 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %225, ptr noundef %1)
  %227 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %221, double noundef %226, ptr noundef %1)
  %228 = load ptr, ptr %57, align 8, !tbaa !5
  %229 = getelementptr inbounds i8, ptr %228, i64 40
  %230 = load double, ptr %229, align 8, !tbaa !8
  %231 = fadd double %230, 5.000000e-02
  %232 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %231, ptr noundef %1)
  %233 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %227, double noundef %232, ptr noundef %1)
  %234 = load ptr, ptr %57, align 8, !tbaa !5
  %235 = getelementptr inbounds i8, ptr %234, i64 48
  %236 = load double, ptr %235, align 8, !tbaa !8
  %237 = fadd double %236, 0xBF56C16C16C16C17
  %238 = call noundef double @_ZN11alglib_impl7ae_fabsEdPNS_8ae_stateE(double noundef %237, ptr noundef %1)
  %239 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %233, double noundef %238, ptr noundef %1)
  %240 = call noundef zeroext i1 @_ZN11alglib_impl13ae_fp_greaterEdd(double noundef %56, double noundef 1.000000e-09)
  br i1 %240, label %245, label %241

241:                                              ; preds = %78
  %242 = call noundef zeroext i1 @_ZN11alglib_impl13ae_fp_greaterEdd(double noundef %74, double noundef 1.000000e-09)
  br i1 %242, label %245, label %243

243:                                              ; preds = %241
  %244 = call noundef zeroext i1 @_ZN11alglib_impl13ae_fp_greaterEdd(double noundef %239, double noundef 1.000000e-09)
  br label %245

245:                                              ; preds = %243, %241, %78
  %246 = phi i1 [ true, %241 ], [ true, %78 ], [ %244, %243 ]
  br i1 %0, label %253, label %.sink.split

.sink.split:                                      ; preds = %245
  %247 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.694)
  %248 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.690, double noundef %56)
  %249 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.691, double noundef %74)
  %250 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.692, double noundef %239)
  %251 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.693, double noundef 1.000000e-09)
  %.str.1..str.2 = select i1 %246, ptr @.str.1, ptr @.str.2
  %252 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) %.str.1..str.2)
  br label %253

253:                                              ; preds = %.sink.split, %245
  %254 = xor i1 %246, true
  call void @_ZN11alglib_impl14ae_frame_leaveEPNS_8ae_stateE(ptr noundef %1)
  call void @llvm.lifetime.end.p0(i64 64, ptr nonnull %4) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %3) #6
  ret i1 %254
}

declare noundef double @_ZN11alglib_impl17laguerrecalculateEldPNS_8ae_stateE(i64 noundef, double noundef, ptr noundef) local_unnamed_addr #1

declare noundef double @_ZN11alglib_impl11laguerresumEPNS_9ae_vectorEldPNS_8ae_stateE(ptr noundef, i64 noundef, double noundef, ptr noundef) local_unnamed_addr #1

declare void @_ZN11alglib_impl20laguerrecoefficientsElPNS_9ae_vectorEPNS_8ae_stateE(i64 noundef, ptr noundef, ptr noundef) local_unnamed_addr #1

attributes #0 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #2 = { mustprogress nocallback nofree nounwind willreturn memory(argmem: write) }
attributes #3 = { nofree nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #4 = { mustprogress nocallback nofree nosync nounwind speculatable willreturn memory(none) }
attributes #5 = { mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #6 = { nounwind }

!llvm.module.flags = !{!0, !1, !2, !3}
!llvm.ident = !{!4}

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"omnipotent char", !7, i64 0}
!7 = !{!"Simple C++ TBAA"}
!8 = !{!9, !9, i64 0}
!9 = !{!"double", !6, i64 0}
!10 = distinct !{!10, !11}
!11 = !{!"llvm.loop.mustprogress"}
!12 = distinct !{!12, !11}


; Effective O3 passes: EarlyCSEPass,GVNPass,GlobalOptPass,IndVarSimplifyPass,InferFunctionAttrsPass,InstCombinePass,InstSimplifyPass,LCSSAPass,LICMPass,LoopRotatePass,LoopUnrollPass,SROAPass,SimplifyCFGPass