; LLVM IR from jrl-umi3218/mc_rtc :: 3rd-party/qhull/src/libqhull (io)

; 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.qhT = type { i32, i32, i32, i32, i32, i32, double, i32, i32, i32, i32, i32, i32, i32, i32, double, double, i32, i32, i32, i32, i32, i32, ptr, i32, i32, ptr, i32, i32, i32, i32, i32, i32, i32, double, double, i32, i32, i32, i32, double, double, i32, i32, double, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, [29 x i32], i32, i32, i32, i32, i32, i32, i32, i32, double, double, double, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, double, i32, i32, i32, i32, i32, i32, i32, i32, double, i32, ptr, ptr, i32, i32, i32, i32, i32, ptr, i32, ptr, i32, [256 x i8], i32, [256 x i8], [512 x i8], i32, i32, i32, i32, i32, i32, ptr, ptr, ptr, ptr, double, double, double, double, double, double, double, double, double, double, double, double, double, double, ptr, double, double, double, double, i32, [6 x i8], [1 x %struct.__jmp_buf_tag], [40 x i8], [1 x %struct.__jmp_buf_tag], [40 x i8], ptr, ptr, ptr, ptr, i32, i32, i32, ptr, ptr, ptr, ptr, ptr, i32, i32, ptr, i32, ptr, i32, ptr, ptr, ptr, ptr, i32, i32, i32, i32, i32, i32, i32, i32, i64, i32, i32, i32, i32, i32, ptr, ptr, i32, i32, i32, double, i32, double, double, double, i32, i32, i32, i32, i32, double, double, i32, i32, i32, i32, i32, i32, double, double, i32, i32, i32, i32, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, i32, ptr, ptr, i32, i32, i32, ptr, double, double, double, double, i32, i32, i32, i32, i32, i32, ptr, ptr, i32 }
%struct.__jmp_buf_tag = type { [8 x i64], i32, %struct.__sigset_t }
%struct.__sigset_t = type { [16 x i64] }
%struct.qhstatT = type { [249 x %union.intrealT], [259 x i8], [249 x ptr], [249 x i16], [249 x i8], [249 x i8], [9 x %union.intrealT], i32, i32, i32, i32, double }
%union.intrealT = type { double }
%struct.vertexT = type { ptr, ptr, ptr, ptr, i32, i32, i8 }
%struct.setT = type { i32, [1 x %union.setelemT] }
%union.setelemT = type { ptr }
%struct.facetT = type { double, double, double, ptr, %union.anon, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, i32, i32, i32 }
%union.anon = type { double }

@qh_qh = external global %struct.qhT, align 8
@qh_qhstat = external global %struct.qhstatT, align 8
@.str.5 = external hidden unnamed_addr constant [84 x i8], align 1
@.str.6 = external hidden unnamed_addr constant [40 x i8], align 1
@.str.7 = external hidden unnamed_addr constant [47 x i8], align 1
@.str.8 = external hidden unnamed_addr constant [51 x i8], align 1
@.str.9 = external hidden unnamed_addr constant [56 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 i32 @qh_setsize(ptr noundef) #1

declare void @qh_fprintf(ptr noundef, i32 noundef, ptr noundef, ...) #1

declare void @qh_errexit(i32 noundef, ptr noundef, ptr noundef) #1

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

; Function Attrs: nounwind uwtable
define dso_local ptr @qh_detvnorm(ptr noundef %0, ptr noundef %1, ptr noundef %2, ptr noundef %3) #2 {
  %5 = alloca ptr, align 8
  %6 = alloca ptr, align 8
  %7 = alloca ptr, align 8
  %8 = alloca ptr, align 8
  %9 = alloca ptr, align 8
  %10 = alloca ptr, align 8
  %11 = alloca i32, align 4
  %12 = alloca i32, align 4
  %13 = alloca i32, align 4
  %14 = alloca i32, align 4
  %15 = alloca i32, align 4
  %16 = alloca i32, align 4
  %17 = alloca ptr, align 8
  %18 = alloca ptr, align 8
  %19 = alloca ptr, align 8
  %20 = alloca ptr, align 8
  %21 = alloca ptr, align 8
  %22 = alloca ptr, align 8
  %23 = alloca ptr, align 8
  %24 = alloca ptr, align 8
  %25 = alloca ptr, align 8
  %26 = alloca ptr, align 8
  %27 = alloca ptr, align 8
  %28 = alloca i32, align 4
  %29 = alloca i32, align 4
  %30 = alloca i32, align 4
  %31 = alloca i32, align 4
  %32 = alloca double, align 8
  %33 = alloca double, align 8
  %34 = alloca double, align 8
  %35 = alloca double, align 8
  store ptr %0, ptr %5, align 8, !tbaa !5
  store ptr %1, ptr %6, align 8, !tbaa !5
  store ptr %2, ptr %7, align 8, !tbaa !5
  store ptr %3, ptr %8, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %9) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %10) #3
  call void @llvm.lifetime.start.p0(i64 4, ptr %11) #3
  call void @llvm.lifetime.start.p0(i64 4, ptr %12) #3
  call void @llvm.lifetime.start.p0(i64 4, ptr %13) #3
  call void @llvm.lifetime.start.p0(i64 4, ptr %14) #3
  call void @llvm.lifetime.start.p0(i64 4, ptr %15) #3
  call void @llvm.lifetime.start.p0(i64 4, ptr %16) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %17) #3
  store ptr null, ptr %17, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %18) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %19) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %20) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %21) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %22) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %23) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %24) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %25) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %26) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %27) #3
  %36 = load i32, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 162), align 8, !tbaa !9
  %37 = call ptr @qh_settemp(i32 noundef %36)
  store ptr %37, ptr %27, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %28) #3
  store i32 0, ptr %28, align 4, !tbaa !14
  call void @llvm.lifetime.start.p0(i64 4, ptr %29) #3
  store i32 0, ptr %29, align 4, !tbaa !14
  call void @llvm.lifetime.start.p0(i64 4, ptr %30) #3
  store i32 0, ptr %30, align 4, !tbaa !14
  call void @llvm.lifetime.start.p0(i64 4, ptr %31) #3
  %38 = load i32, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 110), align 8, !tbaa !15
  %39 = sub nsw i32 %38, 1
  store i32 %39, ptr %31, align 4, !tbaa !14
  call void @llvm.lifetime.start.p0(i64 8, ptr %32) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %33) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %34) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %35) #3
  store double 0.000000e+00, ptr %35, align 8, !tbaa !16
  %40 = load ptr, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 227), align 8, !tbaa !17
  %41 = load i32, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 110), align 8, !tbaa !15
  %42 = load i32, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 110), align 8, !tbaa !15
  %43 = mul nsw i32 %41, %42
  %44 = sext i32 %43 to i64
  %45 = getelementptr inbounds double, ptr %40, i64 %44
  store ptr %45, ptr %21, align 8, !tbaa !5
  store i32 0, ptr %12, align 4, !tbaa !14
  br label %46

46:                                               ; preds = %71, %4
  %47 = load i32, ptr %12, align 4, !tbaa !14
  %48 = load i32, ptr %31, align 4, !tbaa !14
  %49 = icmp slt i32 %47, %48
  br i1 %49, label %50, label %74

50:                                               ; preds = %46
  %51 = load ptr, ptr %5, align 8, !tbaa !5
  %52 = getelementptr inbounds %struct.vertexT, ptr %51, i32 0, i32 2
  %53 = load ptr, ptr %52, align 8, !tbaa !18
  %54 = load i32, ptr %12, align 4, !tbaa !14
  %55 = sext i32 %54 to i64
  %56 = getelementptr inbounds double, ptr %53, i64 %55
  %57 = load double, ptr %56, align 8, !tbaa !16
  %58 = load ptr, ptr %6, align 8, !tbaa !5
  %59 = getelementptr inbounds %struct.vertexT, ptr %58, i32 0, i32 2
  %60 = load ptr, ptr %59, align 8, !tbaa !18
  %61 = load i32, ptr %12, align 4, !tbaa !14
  %62 = sext i32 %61 to i64
  %63 = getelementptr inbounds double, ptr %60, i64 %62
  %64 = load double, ptr %63, align 8, !tbaa !16
  %65 = fadd double %57, %64
  %66 = fdiv double %65, 2.000000e+00
  %67 = load ptr, ptr %21, align 8, !tbaa !5
  %68 = load i32, ptr %12, align 4, !tbaa !14
  %69 = sext i32 %68 to i64
  %70 = getelementptr inbounds double, ptr %67, i64 %69
  store double %66, ptr %70, align 8, !tbaa !16
  br label %71

71:                                               ; preds = %50
  %72 = load i32, ptr %12, align 4, !tbaa !14
  %73 = add nsw i32 %72, 1
  store i32 %73, ptr %12, align 4, !tbaa !14
  br label %46, !llvm.loop !20

74:                                               ; preds = %46
  store ptr null, ptr %9, align 8, !tbaa !5
  %75 = load ptr, ptr %7, align 8, !tbaa !5
  %76 = icmp ne ptr %75, null
  br i1 %76, label %77, label %112

77:                                               ; preds = %74
  %78 = load ptr, ptr %7, align 8, !tbaa !5
  %79 = getelementptr inbounds %struct.setT, ptr %78, i32 0, i32 1
  %80 = getelementptr inbounds [1 x %union.setelemT], ptr %79, i64 0, i64 0
  store ptr %80, ptr %10, align 8, !tbaa !5
  br label %81

81:                                               ; preds = %110, %77
  %82 = load ptr, ptr %10, align 8, !tbaa !5
  %83 = getelementptr inbounds ptr, ptr %82, i32 1
  store ptr %83, ptr %10, align 8, !tbaa !5
  %84 = load ptr, ptr %82, align 8, !tbaa !5
  store ptr %84, ptr %9, align 8, !tbaa !5
  %85 = icmp ne ptr %84, null
  br i1 %85, label %86, label %111

86:                                               ; preds = %81
  %87 = load i32, ptr %30, align 4, !tbaa !14
  %88 = add nsw i32 %87, 1
  store i32 %88, ptr %30, align 4, !tbaa !14
  %89 = load ptr, ptr %9, align 8, !tbaa !5
  %90 = getelementptr inbounds %struct.facetT, ptr %89, i32 0, i32 13
  %91 = load i32, ptr %90, align 8, !tbaa !22
  %92 = icmp ne i32 %91, 0
  br i1 %92, label %94, label %93

93:                                               ; preds = %86
  store i32 1, ptr %29, align 4, !tbaa !14
  br label %110

94:                                               ; preds = %86
  %95 = load ptr, ptr %9, align 8, !tbaa !5
  %96 = getelementptr inbounds %struct.facetT, ptr %95, i32 0, i32 5
  %97 = load ptr, ptr %96, align 8, !tbaa !24
  %98 = icmp ne ptr %97, null
  br i1 %98, label %106, label %99

99:                                               ; preds = %94
  %100 = load ptr, ptr %9, align 8, !tbaa !5
  %101 = getelementptr inbounds %struct.facetT, ptr %100, i32 0, i32 8
  %102 = load ptr, ptr %101, align 8, !tbaa !25
  %103 = call ptr @qh_facetcenter(ptr noundef %102)
  %104 = load ptr, ptr %9, align 8, !tbaa !5
  %105 = getelementptr inbounds %struct.facetT, ptr %104, i32 0, i32 5
  store ptr %103, ptr %105, align 8, !tbaa !24
  br label %106

106:                                              ; preds = %99, %94
  %107 = load ptr, ptr %9, align 8, !tbaa !5
  %108 = getelementptr inbounds %struct.facetT, ptr %107, i32 0, i32 5
  %109 = load ptr, ptr %108, align 8, !tbaa !24
  call void @qh_setappend(ptr noundef %27, ptr noundef %109)
  br label %110

110:                                              ; preds = %106, %93
  br label %81, !llvm.loop !26

111:                                              ; preds = %81
  br label %112

112:                                              ; preds = %111, %74
  %113 = load i32, ptr %30, align 4, !tbaa !14
  %114 = load i32, ptr %31, align 4, !tbaa !14
  %115 = icmp sgt i32 %113, %114
  br i1 %115, label %116, label %131

116:                                              ; preds = %112
  %117 = load i32, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 162), align 8, !tbaa !9
  %118 = call ptr @qh_settemp(i32 noundef %117)
  store ptr %118, ptr %17, align 8, !tbaa !5
  %119 = load ptr, ptr %5, align 8, !tbaa !5
  %120 = getelementptr inbounds %struct.vertexT, ptr %119, i32 0, i32 2
  %121 = load ptr, ptr %120, align 8, !tbaa !18
  call void @qh_setappend(ptr noundef %17, ptr noundef %121)
  %122 = load i32, ptr %29, align 4, !tbaa !14
  %123 = icmp ne i32 %122, 0
  br i1 %123, label %124, label %126

124:                                              ; preds = %116
  %125 = load ptr, ptr %21, align 8, !tbaa !5
  call void @qh_setappend(ptr noundef %17, ptr noundef %125)
  br label %126

126:                                              ; preds = %124, %116
  %127 = load i32, ptr %31, align 4, !tbaa !14
  %128 = load ptr, ptr %27, align 8, !tbaa !5
  call void @qh_maxsimplex(i32 noundef %127, ptr noundef %128, ptr noundef null, i32 noundef 0, ptr noundef %17)
  %129 = load ptr, ptr %17, align 8, !tbaa !5
  %130 = call ptr @qh_setdelnth(ptr noundef %129, i32 noundef 0)
  br label %146

131:                                              ; preds = %112
  %132 = load i32, ptr %30, align 4, !tbaa !14
  %133 = load i32, ptr %31, align 4, !tbaa !14
  %134 = icmp eq i32 %132, %133
  br i1 %134, label %135, label %142

135:                                              ; preds = %131
  %136 = load i32, ptr %29, align 4, !tbaa !14
  %137 = icmp ne i32 %136, 0
  br i1 %137, label %138, label %140

138:                                              ; preds = %135
  %139 = load ptr, ptr %21, align 8, !tbaa !5
  call void @qh_setappend(ptr noundef %27, ptr noundef %139)
  br label %140

140:                                              ; preds = %138, %135
  %141 = load ptr, ptr %27, align 8, !tbaa !5
  store ptr %141, ptr %17, align 8, !tbaa !5
  br label %145

142:                                              ; preds = %131
  %143 = load ptr, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 158), align 8, !tbaa !27
  %144 = load i32, ptr %30, align 4, !tbaa !14
  call void (ptr, i32, ptr, ...) @qh_fprintf(ptr noundef %143, i32 noundef 6216, ptr noundef @.str.5, i32 noundef %144)
  call void @qh_errexit(i32 noundef 5, ptr noundef null, ptr noundef null)
  br label %145

145:                                              ; preds = %142, %140
  br label %146

146:                                              ; preds = %145, %126
  store i32 0, ptr %11, align 4, !tbaa !14
  %147 = load ptr, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 227), align 8, !tbaa !17
  store ptr %147, ptr %25, align 8, !tbaa !5
  %148 = load ptr, ptr %17, align 8, !tbaa !5
  %149 = getelementptr inbounds %struct.setT, ptr %148, i32 0, i32 1
  %150 = getelementptr inbounds [1 x %union.setelemT], ptr %149, i64 0, i64 0
  %151 = load ptr, ptr %150, align 8, !tbaa !28
  store ptr %151, ptr %20, align 8, !tbaa !5
  store ptr null, ptr %18, align 8, !tbaa !5
  %152 = load ptr, ptr %17, align 8, !tbaa !5
  %153 = icmp ne ptr %152, null
  br i1 %153, label %154, label %199

154:                                              ; preds = %146
  %155 = load ptr, ptr %17, align 8, !tbaa !5
  %156 = getelementptr inbounds %struct.setT, ptr %155, i32 0, i32 1
  %157 = getelementptr inbounds [1 x %union.setelemT], ptr %156, i64 0, i64 0
  store ptr %157, ptr %19, align 8, !tbaa !5
  br label %158

158:                                              ; preds = %197, %154
  %159 = load ptr, ptr %19, align 8, !tbaa !5
  %160 = getelementptr inbounds ptr, ptr %159, i32 1
  store ptr %160, ptr %19, align 8, !tbaa !5
  %161 = load ptr, ptr %159, align 8, !tbaa !5
  store ptr %161, ptr %18, align 8, !tbaa !5
  %162 = icmp ne ptr %161, null
  br i1 %162, label %163, label %198

163:                                              ; preds = %158
  %164 = load i32, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 29), align 8, !tbaa !29
  %165 = icmp sge i32 %164, 4
  br i1 %165, label %166, label %169

166:                                              ; preds = %163
  %167 = load ptr, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 158), align 8, !tbaa !27
  %168 = load i32, ptr %31, align 4, !tbaa !14
  call void @qh_printmatrix(ptr noundef %167, ptr noundef @.str.6, ptr noundef %18, i32 noundef 1, i32 noundef %168)
  br label %169

169:                                              ; preds = %166, %163
  %170 = load ptr, ptr %18, align 8, !tbaa !5
  %171 = load ptr, ptr %20, align 8, !tbaa !5
  %172 = icmp ne ptr %170, %171
  br i1 %172, label %173, label %197

173:                                              ; preds = %169
  %174 = load ptr, ptr %25, align 8, !tbaa !5
  %175 = load ptr, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 228), align 8, !tbaa !30
  %176 = load i32, ptr %11, align 4, !tbaa !14
  %177 = add nsw i32 %176, 1
  store i32 %177, ptr %11, align 4, !tbaa !14
  %178 = sext i32 %176 to i64
  %179 = getelementptr inbounds ptr, ptr %175, i64 %178
  store ptr %174, ptr %179, align 8, !tbaa !5
  %180 = load ptr, ptr %20, align 8, !tbaa !5
  store ptr %180, ptr %24, align 8, !tbaa !5
  %181 = load i32, ptr %31, align 4, !tbaa !14
  store i32 %181, ptr %12, align 4, !tbaa !14
  br label %182

182:                                              ; preds = %186, %173
  %183 = load i32, ptr %12, align 4, !tbaa !14
  %184 = add nsw i32 %183, -1
  store i32 %184, ptr %12, align 4, !tbaa !14
  %185 = icmp ne i32 %183, 0
  br i1 %185, label %186, label %196

186:                                              ; preds = %182
  %187 = load ptr, ptr %18, align 8, !tbaa !5
  %188 = getelementptr inbounds double, ptr %187, i32 1
  store ptr %188, ptr %18, align 8, !tbaa !5
  %189 = load double, ptr %187, align 8, !tbaa !16
  %190 = load ptr, ptr %24, align 8, !tbaa !5
  %191 = getelementptr inbounds double, ptr %190, i32 1
  store ptr %191, ptr %24, align 8, !tbaa !5
  %192 = load double, ptr %190, align 8, !tbaa !16
  %193 = fsub double %189, %192
  %194 = load ptr, ptr %25, align 8, !tbaa !5
  %195 = getelementptr inbounds double, ptr %194, i32 1
  store ptr %195, ptr %25, align 8, !tbaa !5
  store double %193, ptr %194, align 8, !tbaa !16
  br label %182, !llvm.loop !31

196:                                              ; preds = %182
  br label %197

197:                                              ; preds = %196, %169
  br label %158, !llvm.loop !32

198:                                              ; preds = %158
  br label %199

199:                                              ; preds = %198, %146
  %200 = load ptr, ptr %25, align 8, !tbaa !5
  %201 = load ptr, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 228), align 8, !tbaa !30
  %202 = load i32, ptr %11, align 4, !tbaa !14
  %203 = sext i32 %202 to i64
  %204 = getelementptr inbounds ptr, ptr %201, i64 %203
  store ptr %200, ptr %204, align 8, !tbaa !5
  %205 = load ptr, ptr %25, align 8, !tbaa !5
  store ptr %205, ptr %22, align 8, !tbaa !5
  %206 = load i32, ptr %31, align 4, !tbaa !14
  %207 = load ptr, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 228), align 8, !tbaa !30
  %208 = load ptr, ptr %20, align 8, !tbaa !5
  %209 = load ptr, ptr %22, align 8, !tbaa !5
  call void @qh_sethyperplane_gauss(i32 noundef %206, ptr noundef %207, ptr noundef %208, i32 noundef 1, ptr noundef %209, ptr noundef %33, ptr noundef %28)
  %210 = load ptr, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 26), align 8, !tbaa !33
  %211 = load ptr, ptr %6, align 8, !tbaa !5
  %212 = getelementptr inbounds %struct.vertexT, ptr %211, i32 0, i32 2
  %213 = load ptr, ptr %212, align 8, !tbaa !18
  %214 = icmp eq ptr %210, %213
  br i1 %214, label %215, label %219

215:                                              ; preds = %199
  %216 = load ptr, ptr %6, align 8, !tbaa !5
  %217 = getelementptr inbounds %struct.vertexT, ptr %216, i32 0, i32 2
  %218 = load ptr, ptr %217, align 8, !tbaa !18
  store ptr %218, ptr %23, align 8, !tbaa !5
  br label %223

219:                                              ; preds = %199
  %220 = load ptr, ptr %5, align 8, !tbaa !5
  %221 = getelementptr inbounds %struct.vertexT, ptr %220, i32 0, i32 2
  %222 = load ptr, ptr %221, align 8, !tbaa !18
  store ptr %222, ptr %23, align 8, !tbaa !5
  br label %223

223:                                              ; preds = %219, %215
  %224 = load i32, ptr getelementptr inbounds ([249 x %union.intrealT], ptr @qh_qhstat, i64 0, i64 60), align 8, !tbaa !28
  %225 = add nsw i32 %224, 1
  store i32 %225, ptr getelementptr inbounds ([249 x %union.intrealT], ptr @qh_qhstat, i64 0, i64 60), align 8, !tbaa !28
  %226 = load i32, ptr %31, align 4, !tbaa !14
  %227 = load ptr, ptr %23, align 8, !tbaa !5
  %228 = load ptr, ptr %22, align 8, !tbaa !5
  %229 = call double @qh_distnorm(i32 noundef %226, ptr noundef %227, ptr noundef %228, ptr noundef %33)
  store double %229, ptr %32, align 8, !tbaa !16
  %230 = load double, ptr %32, align 8, !tbaa !16
  %231 = fcmp ogt double %230, 0.000000e+00
  br i1 %231, label %232, label %249

232:                                              ; preds = %223
  %233 = load double, ptr %33, align 8, !tbaa !16
  %234 = fneg double %233
  store double %234, ptr %33, align 8, !tbaa !16
  %235 = load ptr, ptr %22, align 8, !tbaa !5
  store ptr %235, ptr %26, align 8, !tbaa !5
  %236 = load i32, ptr %31, align 4, !tbaa !14
  store i32 %236, ptr %12, align 4, !tbaa !14
  br label %237

237:                                              ; preds = %241, %232
  %238 = load i32, ptr %12, align 4, !tbaa !14
  %239 = add nsw i32 %238, -1
  store i32 %239, ptr %12, align 4, !tbaa !14
  %240 = icmp ne i32 %238, 0
  br i1 %240, label %241, label %248

241:                                              ; preds = %237
  %242 = load ptr, ptr %26, align 8, !tbaa !5
  %243 = load double, ptr %242, align 8, !tbaa !16
  %244 = fneg double %243
  %245 = load ptr, ptr %26, align 8, !tbaa !5
  store double %244, ptr %245, align 8, !tbaa !16
  %246 = load ptr, ptr %26, align 8, !tbaa !5
  %247 = getelementptr inbounds double, ptr %246, i32 1
  store ptr %247, ptr %26, align 8, !tbaa !5
  br label %237, !llvm.loop !34

248:                                              ; preds = %237
  br label %249

249:                                              ; preds = %248, %223
  %250 = load i32, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 101), align 4, !tbaa !35
  %251 = icmp ne i32 %250, 0
  br i1 %251, label %255, label %252

252:                                              ; preds = %249
  %253 = load i32, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 67), align 8, !tbaa !36
  %254 = icmp ne i32 %253, 0
  br i1 %254, label %255, label %459

255:                                              ; preds = %252, %249
  %256 = load ptr, ptr %5, align 8, !tbaa !5
  %257 = getelementptr inbounds %struct.vertexT, ptr %256, i32 0, i32 2
  %258 = load ptr, ptr %257, align 8, !tbaa !18
  %259 = call i32 @qh_pointid(ptr noundef %258)
  store i32 %259, ptr %13, align 4, !tbaa !14
  %260 = load ptr, ptr %6, align 8, !tbaa !5
  %261 = getelementptr inbounds %struct.vertexT, ptr %260, i32 0, i32 2
  %262 = load ptr, ptr %261, align 8, !tbaa !18
  %263 = call i32 @qh_pointid(ptr noundef %262)
  store i32 %263, ptr %14, align 4, !tbaa !14
  %264 = load i32, ptr %29, align 4, !tbaa !14
  %265 = icmp ne i32 %264, 0
  br i1 %265, label %383, label %266

266:                                              ; preds = %255
  %267 = load i32, ptr getelementptr inbounds ([249 x %union.intrealT], ptr @qh_qhstat, i64 0, i64 62), align 8, !tbaa !28
  %268 = add nsw i32 %267, 1
  store i32 %268, ptr getelementptr inbounds ([249 x %union.intrealT], ptr @qh_qhstat, i64 0, i64 62), align 8, !tbaa !28
  %269 = load i32, ptr %31, align 4, !tbaa !14
  %270 = load ptr, ptr %21, align 8, !tbaa !5
  %271 = load ptr, ptr %22, align 8, !tbaa !5
  %272 = call double @qh_distnorm(i32 noundef %269, ptr noundef %270, ptr noundef %271, ptr noundef %33)
  store double %272, ptr %32, align 8, !tbaa !16
  %273 = load double, ptr %32, align 8, !tbaa !16
  %274 = fcmp olt double %273, 0.000000e+00
  br i1 %274, label %275, label %278

275:                                              ; preds = %266
  %276 = load double, ptr %32, align 8, !tbaa !16
  %277 = fneg double %276
  store double %277, ptr %32, align 8, !tbaa !16
  br label %278

278:                                              ; preds = %275, %266
  %279 = load i32, ptr getelementptr inbounds ([249 x %union.intrealT], ptr @qh_qhstat, i64 0, i64 205), align 8, !tbaa !28
  %280 = add nsw i32 %279, 1
  store i32 %280, ptr getelementptr inbounds ([249 x %union.intrealT], ptr @qh_qhstat, i64 0, i64 205), align 8, !tbaa !28
  %281 = load double, ptr getelementptr inbounds ([249 x %union.intrealT], ptr @qh_qhstat, i64 0, i64 207), align 8, !tbaa !28
  %282 = load double, ptr %32, align 8, !tbaa !16
  %283 = fcmp olt double %281, %282
  br i1 %283, label %284, label %286

284:                                              ; preds = %278
  %285 = load double, ptr %32, align 8, !tbaa !16
  store double %285, ptr getelementptr inbounds ([249 x %union.intrealT], ptr @qh_qhstat, i64 0, i64 207), align 8, !tbaa !28
  br label %286

286:                                              ; preds = %284, %278
  %287 = load double, ptr %32, align 8, !tbaa !16
  %288 = load double, ptr getelementptr inbounds ([249 x %union.intrealT], ptr @qh_qhstat, i64 0, i64 206), align 8, !tbaa !28
  %289 = fadd double %288, %287
  store double %289, ptr getelementptr inbounds ([249 x %union.intrealT], ptr @qh_qhstat, i64 0, i64 206), align 8, !tbaa !28
  %290 = load i32, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 29), align 8, !tbaa !29
  %291 = icmp sge i32 %290, 4
  br i1 %291, label %292, label %297

292:                                              ; preds = %286
  %293 = load ptr, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 158), align 8, !tbaa !27
  %294 = load i32, ptr %13, align 4, !tbaa !14
  %295 = load i32, ptr %14, align 4, !tbaa !14
  %296 = load double, ptr %32, align 8, !tbaa !16
  call void (ptr, i32, ptr, ...) @qh_fprintf(ptr noundef %293, i32 noundef 4014, ptr noundef @.str.7, i32 noundef %294, i32 noundef %295, double noundef %296)
  br label %297

297:                                              ; preds = %292, %286
  store i32 0, ptr %12, align 4, !tbaa !14
  br label %298

298:                                              ; preds = %322, %297
  %299 = load i32, ptr %12, align 4, !tbaa !14
  %300 = load i32, ptr %31, align 4, !tbaa !14
  %301 = icmp slt i32 %299, %300
  br i1 %301, label %302, label %325

302:                                              ; preds = %298
  %303 = load ptr, ptr %6, align 8, !tbaa !5
  %304 = getelementptr inbounds %struct.vertexT, ptr %303, i32 0, i32 2
  %305 = load ptr, ptr %304, align 8, !tbaa !18
  %306 = load i32, ptr %12, align 4, !tbaa !14
  %307 = sext i32 %306 to i64
  %308 = getelementptr inbounds double, ptr %305, i64 %307
  %309 = load double, ptr %308, align 8, !tbaa !16
  %310 = load ptr, ptr %5, align 8, !tbaa !5
  %311 = getelementptr inbounds %struct.vertexT, ptr %310, i32 0, i32 2
  %312 = load ptr, ptr %311, align 8, !tbaa !18
  %313 = load i32, ptr %12, align 4, !tbaa !14
  %314 = sext i32 %313 to i64
  %315 = getelementptr inbounds double, ptr %312, i64 %314
  %316 = load double, ptr %315, align 8, !tbaa !16
  %317 = fsub double %309, %316
  %318 = load ptr, ptr %21, align 8, !tbaa !5
  %319 = load i32, ptr %12, align 4, !tbaa !14
  %320 = sext i32 %319 to i64
  %321 = getelementptr inbounds double, ptr %318, i64 %320
  store double %317, ptr %321, align 8, !tbaa !16
  br label %322

322:                                              ; preds = %302
  %323 = load i32, ptr %12, align 4, !tbaa !14
  %324 = add nsw i32 %323, 1
  store i32 %324, ptr %12, align 4, !tbaa !14
  br label %298, !llvm.loop !37

325:                                              ; preds = %298
  %326 = load ptr, ptr %21, align 8, !tbaa !5
  %327 = load i32, ptr %31, align 4, !tbaa !14
  call void @qh_normalize(ptr noundef %326, i32 noundef %327, i32 noundef 0)
  %328 = load i32, ptr %31, align 4, !tbaa !14
  %329 = load ptr, ptr %21, align 8, !tbaa !5
  %330 = load ptr, ptr %22, align 8, !tbaa !5
  %331 = call double @qh_distnorm(i32 noundef %328, ptr noundef %329, ptr noundef %330, ptr noundef %35)
  store double %331, ptr %34, align 8, !tbaa !16
  %332 = load double, ptr %34, align 8, !tbaa !16
  %333 = fcmp olt double %332, 0.000000e+00
  br i1 %333, label %334, label %337

334:                                              ; preds = %325
  %335 = load double, ptr %34, align 8, !tbaa !16
  %336 = fadd double %335, 1.000000e+00
  store double %336, ptr %34, align 8, !tbaa !16
  br label %340

337:                                              ; preds = %325
  %338 = load double, ptr %34, align 8, !tbaa !16
  %339 = fsub double %338, 1.000000e+00
  store double %339, ptr %34, align 8, !tbaa !16
  br label %340

340:                                              ; preds = %337, %334
  %341 = load double, ptr %34, align 8, !tbaa !16
  %342 = fcmp olt double %341, 0.000000e+00
  br i1 %342, label %343, label %346

343:                                              ; preds = %340
  %344 = load double, ptr %34, align 8, !tbaa !16
  %345 = fneg double %344
  store double %345, ptr %34, align 8, !tbaa !16
  br label %346

346:                                              ; preds = %343, %340
  %347 = load i32, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 29), align 8, !tbaa !29
  %348 = icmp sge i32 %347, 4
  br i1 %348, label %349, label %355

349:                                              ; preds = %346
  %350 = load ptr, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 158), align 8, !tbaa !27
  %351 = load i32, ptr %13, align 4, !tbaa !14
  %352 = load i32, ptr %14, align 4, !tbaa !14
  %353 = load double, ptr %34, align 8, !tbaa !16
  %354 = load i32, ptr %28, align 4, !tbaa !14
  call void (ptr, i32, ptr, ...) @qh_fprintf(ptr noundef %350, i32 noundef 4015, ptr noundef @.str.8, i32 noundef %351, i32 noundef %352, double noundef %353, i32 noundef %354)
  br label %355

355:                                              ; preds = %349, %346
  %356 = load i32, ptr %28, align 4, !tbaa !14
  %357 = icmp ne i32 %356, 0
  br i1 %357, label %358, label %370

358:                                              ; preds = %355
  %359 = load i32, ptr getelementptr inbounds ([249 x %union.intrealT], ptr @qh_qhstat, i64 0, i64 202), align 8, !tbaa !28
  %360 = add nsw i32 %359, 1
  store i32 %360, ptr getelementptr inbounds ([249 x %union.intrealT], ptr @qh_qhstat, i64 0, i64 202), align 8, !tbaa !28
  %361 = load double, ptr getelementptr inbounds ([249 x %union.intrealT], ptr @qh_qhstat, i64 0, i64 204), align 8, !tbaa !28
  %362 = load double, ptr %34, align 8, !tbaa !16
  %363 = fcmp olt double %361, %362
  br i1 %363, label %364, label %366

364:                                              ; preds = %358
  %365 = load double, ptr %34, align 8, !tbaa !16
  store double %365, ptr getelementptr inbounds ([249 x %union.intrealT], ptr @qh_qhstat, i64 0, i64 204), align 8, !tbaa !28
  br label %366

366:                                              ; preds = %364, %358
  %367 = load double, ptr %34, align 8, !tbaa !16
  %368 = load double, ptr getelementptr inbounds ([249 x %union.intrealT], ptr @qh_qhstat, i64 0, i64 203), align 8, !tbaa !28
  %369 = fadd double %368, %367
  store double %369, ptr getelementptr inbounds ([249 x %union.intrealT], ptr @qh_qhstat, i64 0, i64 203), align 8, !tbaa !28
  br label %382

370:                                              ; preds = %355
  %371 = load i32, ptr getelementptr inbounds ([249 x %union.intrealT], ptr @qh_qhstat, i64 0, i64 208), align 8, !tbaa !28
  %372 = add nsw i32 %371, 1
  store i32 %372, ptr getelementptr inbounds ([249 x %union.intrealT], ptr @qh_qhstat, i64 0, i64 208), align 8, !tbaa !28
  %373 = load double, ptr getelementptr inbounds ([249 x %union.intrealT], ptr @qh_qhstat, i64 0, i64 210), align 8, !tbaa !28
  %374 = load double, ptr %34, align 8, !tbaa !16
  %375 = fcmp olt double %373, %374
  br i1 %375, label %376, label %378

376:                                              ; preds = %370
  %377 = load double, ptr %34, align 8, !tbaa !16
  store double %377, ptr getelementptr inbounds ([249 x %union.intrealT], ptr @qh_qhstat, i64 0, i64 210), align 8, !tbaa !28
  br label %378

378:                                              ; preds = %376, %370
  %379 = load double, ptr %34, align 8, !tbaa !16
  %380 = load double, ptr getelementptr inbounds ([249 x %union.intrealT], ptr @qh_qhstat, i64 0, i64 209), align 8, !tbaa !28
  %381 = fadd double %380, %379
  store double %381, ptr getelementptr inbounds ([249 x %union.intrealT], ptr @qh_qhstat, i64 0, i64 209), align 8, !tbaa !28
  br label %382

382:                                              ; preds = %378, %366
  br label %383

383:                                              ; preds = %382, %255
  %384 = load ptr, ptr %17, align 8, !tbaa !5
  %385 = load ptr, ptr %27, align 8, !tbaa !5
  %386 = icmp ne ptr %384, %385
  br i1 %386, label %387, label %458

387:                                              ; preds = %383
  store ptr null, ptr %18, align 8, !tbaa !5
  %388 = load ptr, ptr %27, align 8, !tbaa !5
  %389 = icmp ne ptr %388, null
  br i1 %389, label %390, label %457

390:                                              ; preds = %387
  store i32 0, ptr %15, align 4, !tbaa !14
  %391 = load ptr, ptr %27, align 8, !tbaa !5
  %392 = getelementptr inbounds %struct.setT, ptr %391, i32 0, i32 1
  %393 = getelementptr inbounds [1 x %union.setelemT], ptr %392, i64 0, i64 0
  %394 = load ptr, ptr %393, align 8, !tbaa !28
  store ptr %394, ptr %18, align 8, !tbaa !5
  %395 = load ptr, ptr %27, align 8, !tbaa !5
  %396 = call i32 @qh_setsize(ptr noundef %395)
  store i32 %396, ptr %16, align 4, !tbaa !14
  br label %397

397:                                              ; preds = %448, %390
  %398 = load i32, ptr %15, align 4, !tbaa !14
  %399 = load i32, ptr %16, align 4, !tbaa !14
  %400 = icmp slt i32 %398, %399
  br i1 %400, label %401, label %456

401:                                              ; preds = %397
  %402 = load ptr, ptr %17, align 8, !tbaa !5
  %403 = load ptr, ptr %18, align 8, !tbaa !5
  %404 = call i32 @qh_setin(ptr noundef %402, ptr noundef %403)
  %405 = icmp ne i32 %404, 0
  br i1 %405, label %447, label %406

406:                                              ; preds = %401
  %407 = load ptr, ptr %7, align 8, !tbaa !5
  %408 = getelementptr inbounds %struct.setT, ptr %407, i32 0, i32 1
  %409 = load i32, ptr %15, align 4, !tbaa !14
  %410 = sext i32 %409 to i64
  %411 = getelementptr inbounds [1 x %union.setelemT], ptr %408, i64 0, i64 %410
  %412 = load ptr, ptr %411, align 8, !tbaa !28
  store ptr %412, ptr %9, align 8, !tbaa !5
  %413 = load i32, ptr getelementptr inbounds ([249 x %union.intrealT], ptr @qh_qhstat, i64 0, i64 62), align 8, !tbaa !28
  %414 = add nsw i32 %413, 1
  store i32 %414, ptr getelementptr inbounds ([249 x %union.intrealT], ptr @qh_qhstat, i64 0, i64 62), align 8, !tbaa !28
  %415 = load i32, ptr %31, align 4, !tbaa !14
  %416 = load ptr, ptr %18, align 8, !tbaa !5
  %417 = load ptr, ptr %22, align 8, !tbaa !5
  %418 = call double @qh_distnorm(i32 noundef %415, ptr noundef %416, ptr noundef %417, ptr noundef %33)
  store double %418, ptr %32, align 8, !tbaa !16
  %419 = load double, ptr %32, align 8, !tbaa !16
  %420 = fcmp olt double %419, 0.000000e+00
  br i1 %420, label %421, label %424

421:                                              ; preds = %406
  %422 = load double, ptr %32, align 8, !tbaa !16
  %423 = fneg double %422
  store double %423, ptr %32, align 8, !tbaa !16
  br label %424

424:                                              ; preds = %421, %406
  %425 = load i32, ptr getelementptr inbounds ([249 x %union.intrealT], ptr @qh_qhstat, i64 0, i64 199), align 8, !tbaa !28
  %426 = add nsw i32 %425, 1
  store i32 %426, ptr getelementptr inbounds ([249 x %union.intrealT], ptr @qh_qhstat, i64 0, i64 199), align 8, !tbaa !28
  %427 = load double, ptr getelementptr inbounds ([249 x %union.intrealT], ptr @qh_qhstat, i64 0, i64 201), align 8, !tbaa !28
  %428 = load double, ptr %32, align 8, !tbaa !16
  %429 = fcmp olt double %427, %428
  br i1 %429, label %430, label %432

430:                                              ; preds = %424
  %431 = load double, ptr %32, align 8, !tbaa !16
  store double %431, ptr getelementptr inbounds ([249 x %union.intrealT], ptr @qh_qhstat, i64 0, i64 201), align 8, !tbaa !28
  br label %432

432:                                              ; preds = %430, %424
  %433 = load double, ptr %32, align 8, !tbaa !16
  %434 = load double, ptr getelementptr inbounds ([249 x %union.intrealT], ptr @qh_qhstat, i64 0, i64 200), align 8, !tbaa !28
  %435 = fadd double %434, %433
  store double %435, ptr getelementptr inbounds ([249 x %union.intrealT], ptr @qh_qhstat, i64 0, i64 200), align 8, !tbaa !28
  %436 = load i32, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 29), align 8, !tbaa !29
  %437 = icmp sge i32 %436, 4
  br i1 %437, label %438, label %446

438:                                              ; preds = %432
  %439 = load ptr, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 158), align 8, !tbaa !27
  %440 = load i32, ptr %13, align 4, !tbaa !14
  %441 = load i32, ptr %14, align 4, !tbaa !14
  %442 = load ptr, ptr %9, align 8, !tbaa !5
  %443 = getelementptr inbounds %struct.facetT, ptr %442, i32 0, i32 13
  %444 = load i32, ptr %443, align 8, !tbaa !22
  %445 = load double, ptr %32, align 8, !tbaa !16
  call void (ptr, i32, ptr, ...) @qh_fprintf(ptr noundef %439, i32 noundef 4016, ptr noundef @.str.9, i32 noundef %440, i32 noundef %441, i32 noundef %444, double noundef %445)
  br label %446

446:                                              ; preds = %438, %432
  br label %447

447:                                              ; preds = %446, %401
  br label %448

448:                                              ; preds = %447
  %449 = load ptr, ptr %27, align 8, !tbaa !5
  %450 = getelementptr inbounds %struct.setT, ptr %449, i32 0, i32 1
  %451 = load i32, ptr %15, align 4, !tbaa !14
  %452 = add nsw i32 %451, 1
  store i32 %452, ptr %15, align 4, !tbaa !14
  %453 = sext i32 %452 to i64
  %454 = getelementptr inbounds [1 x %union.setelemT], ptr %450, i64 0, i64 %453
  %455 = load ptr, ptr %454, align 8, !tbaa !28
  store ptr %455, ptr %18, align 8, !tbaa !5
  br label %397, !llvm.loop !38

456:                                              ; preds = %397
  br label %457

457:                                              ; preds = %456, %387
  br label %458

458:                                              ; preds = %457, %383
  br label %459

459:                                              ; preds = %458, %252
  %460 = load double, ptr %33, align 8, !tbaa !16
  %461 = load ptr, ptr %8, align 8, !tbaa !5
  store double %460, ptr %461, align 8, !tbaa !16
  %462 = load ptr, ptr %17, align 8, !tbaa !5
  %463 = load ptr, ptr %27, align 8, !tbaa !5
  %464 = icmp ne ptr %462, %463
  br i1 %464, label %465, label %466

465:                                              ; preds = %459
  call void @qh_settempfree(ptr noundef %17)
  br label %466

466:                                              ; preds = %465, %459
  call void @qh_settempfree(ptr noundef %27)
  %467 = load ptr, ptr %22, align 8, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 8, ptr %35) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %34) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %33) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %32) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %31) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %30) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %29) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %28) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %27) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %26) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %25) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %24) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %23) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %22) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %21) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %20) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %19) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %18) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %17) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %16) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %15) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %14) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %13) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %12) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %11) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %10) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %9) #3
  ret ptr %467
}

declare ptr @qh_settemp(i32 noundef) #1

declare ptr @qh_facetcenter(ptr noundef) #1

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

declare void @qh_maxsimplex(i32 noundef, ptr noundef, ptr noundef, i32 noundef, ptr noundef) #1

declare ptr @qh_setdelnth(ptr noundef, i32 noundef) #1

declare void @qh_printmatrix(ptr noundef, ptr noundef, ptr noundef, i32 noundef, i32 noundef) #1

declare void @qh_sethyperplane_gauss(i32 noundef, ptr noundef, ptr noundef, i32 noundef, ptr noundef, ptr noundef, ptr noundef) #1

declare double @qh_distnorm(i32 noundef, ptr noundef, ptr noundef, ptr noundef) #1

declare i32 @qh_pointid(ptr noundef) #1

declare void @qh_normalize(ptr noundef, i32 noundef, i32 noundef) #1

declare i32 @qh_setin(ptr noundef, ptr noundef) #1

declare void @qh_settempfree(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 = { nounwind 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 #3 = { 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 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!10, !11, i64 2448}
!10 = !{!"qhT", !11, i64 0, !11, i64 4, !11, i64 8, !11, i64 12, !11, i64 16, !11, i64 20, !12, i64 24, !11, i64 32, !11, i64 36, !11, i64 40, !11, i64 44, !11, i64 48, !11, i64 52, !11, i64 56, !11, i64 60, !12, i64 64, !12, i64 72, !11, i64 80, !11, i64 84, !11, i64 88, !11, i64 92, !11, i64 96, !11, i64 100, !6, i64 104, !11, i64 112, !11, i64 116, !6, i64 120, !11, i64 128, !11, i64 132, !11, i64 136, !11, i64 140, !11, i64 144, !11, i64 148, !11, i64 152, !12, i64 160, !12, i64 168, !11, i64 176, !11, i64 180, !11, i64 184, !11, i64 188, !12, i64 192, !12, i64 200, !11, i64 208, !11, i64 212, !12, i64 216, !11, i64 224, !11, i64 228, !11, i64 232, !11, i64 236, !11, i64 240, !11, i64 244, !11, i64 248, !11, i64 252, !11, i64 256, !11, i64 260, !11, i64 264, !11, i64 268, !11, i64 272, !11, i64 276, !11, i64 280, !11, i64 284, !11, i64 288, !11, i64 292, !11, i64 296, !7, i64 300, !11, i64 416, !11, i64 420, !11, i64 424, !11, i64 428, !11, i64 432, !11, i64 436, !11, i64 440, !11, i64 444, !12, i64 448, !12, i64 456, !12, i64 464, !11, i64 472, !11, i64 476, !11, i64 480, !11, i64 484, !11, i64 488, !11, i64 492, !11, i64 496, !11, i64 500, !11, i64 504, !11, i64 508, !11, i64 512, !11, i64 516, !11, i64 520, !11, i64 524, !11, i64 528, !11, i64 532, !11, i64 536, !11, i64 540, !11, i64 544, !12, i64 552, !11, i64 560, !11, i64 564, !11, i64 568, !11, i64 572, !11, i64 576, !11, i64 580, !11, i64 584, !11, i64 588, !12, i64 592, !11, i64 600, !6, i64 608, !6, i64 616, !11, i64 624, !11, i64 628, !11, i64 632, !11, i64 636, !11, i64 640, !6, i64 648, !11, i64 656, !6, i64 664, !11, i64 672, !7, i64 676, !11, i64 932, !7, i64 936, !7, i64 1192, !11, i64 1704, !11, i64 1708, !11, i64 1712, !11, i64 1716, !11, i64 1720, !11, i64 1724, !6, i64 1728, !6, i64 1736, !6, i64 1744, !6, i64 1752, !12, i64 1760, !12, i64 1768, !12, i64 1776, !12, i64 1784, !12, i64 1792, !12, i64 1800, !12, i64 1808, !12, i64 1816, !12, i64 1824, !12, i64 1832, !12, i64 1840, !12, i64 1848, !12, i64 1856, !12, i64 1864, !6, i64 1872, !12, i64 1880, !12, i64 1888, !12, i64 1896, !12, i64 1904, !11, i64 1912, !7, i64 1916, !7, i64 1928, !7, i64 2128, !7, i64 2168, !7, i64 2368, !6, i64 2408, !6, i64 2416, !6, i64 2424, !6, i64 2432, !11, i64 2440, !11, i64 2444, !11, i64 2448, !6, i64 2456, !6, i64 2464, !6, i64 2472, !6, i64 2480, !6, i64 2488, !11, i64 2496, !11, i64 2500, !6, i64 2504, !11, i64 2512, !6, i64 2520, !11, i64 2528, !6, i64 2536, !6, i64 2544, !6, i64 2552, !6, i64 2560, !11, i64 2568, !11, i64 2572, !11, i64 2576, !11, i64 2580, !11, i64 2584, !11, i64 2588, !11, i64 2592, !11, i64 2596, !13, i64 2600, !11, i64 2608, !11, i64 2612, !11, i64 2616, !11, i64 2620, !11, i64 2624, !6, i64 2632, !6, i64 2640, !11, i64 2648, !11, i64 2652, !11, i64 2656, !12, i64 2664, !11, i64 2672, !12, i64 2680, !12, i64 2688, !12, i64 2696, !11, i64 2704, !11, i64 2708, !11, i64 2712, !11, i64 2716, !11, i64 2720, !12, i64 2728, !12, i64 2736, !11, i64 2744, !11, i64 2748, !11, i64 2752, !11, i64 2756, !11, i64 2760, !11, i64 2764, !12, i64 2768, !12, i64 2776, !11, i64 2784, !11, i64 2788, !11, i64 2792, !11, i64 2796, !6, i64 2800, !6, i64 2808, !6, i64 2816, !6, i64 2824, !6, i64 2832, !6, i64 2840, !6, i64 2848, !6, i64 2856, !6, i64 2864, !11, i64 2872, !6, i64 2880, !6, i64 2888, !11, i64 2896, !11, i64 2900, !11, i64 2904, !6, i64 2912, !12, i64 2920, !12, i64 2928, !12, i64 2936, !12, i64 2944, !11, i64 2952, !11, i64 2956, !11, i64 2960, !11, i64 2964, !11, i64 2968, !11, i64 2972, !6, i64 2976, !6, i64 2984, !11, i64 2992}
!11 = !{!"int", !7, i64 0}
!12 = !{!"double", !7, i64 0}
!13 = !{!"long", !7, i64 0}
!14 = !{!11, !11, i64 0}
!15 = !{!10, !11, i64 632}
!16 = !{!12, !12, i64 0}
!17 = !{!10, !6, i64 2848}
!18 = !{!19, !6, i64 16}
!19 = !{!"vertexT", !6, i64 0, !6, i64 8, !6, i64 16, !6, i64 24, !11, i64 32, !11, i64 36, !11, i64 40, !11, i64 40, !11, i64 40, !11, i64 40, !11, i64 40, !11, i64 40}
!20 = distinct !{!20, !21}
!21 = !{!"llvm.loop.mustprogress"}
!22 = !{!23, !11, i64 104}
!23 = !{!"facetT", !12, i64 0, !12, i64 8, !12, i64 16, !6, i64 24, !7, i64 32, !6, i64 40, !6, i64 48, !6, i64 56, !6, i64 64, !6, i64 72, !6, i64 80, !6, i64 88, !6, i64 96, !11, i64 104, !11, i64 108, !11, i64 112, !11, i64 113, !11, i64 113, !11, i64 113, !11, i64 113, !11, i64 113, !11, i64 113, !11, i64 113, !11, i64 114, !11, i64 114, !11, i64 114, !11, i64 114, !11, i64 114, !11, i64 114, !11, i64 114, !11, i64 114, !11, i64 115, !11, i64 115, !11, i64 115, !11, i64 115, !11, i64 115, !11, i64 115, !11, i64 115, !11, i64 115}
!24 = !{!23, !6, i64 40}
!25 = !{!23, !6, i64 64}
!26 = distinct !{!26, !21}
!27 = !{!10, !6, i64 2424}
!28 = !{!7, !7, i64 0}
!29 = !{!10, !11, i64 136}
!30 = !{!10, !6, i64 2856}
!31 = distinct !{!31, !21}
!32 = distinct !{!32, !21}
!33 = !{!10, !6, i64 120}
!34 = distinct !{!34, !21}
!35 = !{!10, !11, i64 580}
!36 = !{!10, !11, i64 424}
!37 = distinct !{!37, !21}
!38 = distinct !{!38, !21}


; 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.qhT = type { i32, i32, i32, i32, i32, i32, double, i32, i32, i32, i32, i32, i32, i32, i32, double, double, i32, i32, i32, i32, i32, i32, ptr, i32, i32, ptr, i32, i32, i32, i32, i32, i32, i32, double, double, i32, i32, i32, i32, double, double, i32, i32, double, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, [29 x i32], i32, i32, i32, i32, i32, i32, i32, i32, double, double, double, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, double, i32, i32, i32, i32, i32, i32, i32, i32, double, i32, ptr, ptr, i32, i32, i32, i32, i32, ptr, i32, ptr, i32, [256 x i8], i32, [256 x i8], [512 x i8], i32, i32, i32, i32, i32, i32, ptr, ptr, ptr, ptr, double, double, double, double, double, double, double, double, double, double, double, double, double, double, ptr, double, double, double, double, i32, [6 x i8], [1 x %struct.__jmp_buf_tag], [40 x i8], [1 x %struct.__jmp_buf_tag], [40 x i8], ptr, ptr, ptr, ptr, i32, i32, i32, ptr, ptr, ptr, ptr, ptr, i32, i32, ptr, i32, ptr, i32, ptr, ptr, ptr, ptr, i32, i32, i32, i32, i32, i32, i32, i32, i64, i32, i32, i32, i32, i32, ptr, ptr, i32, i32, i32, double, i32, double, double, double, i32, i32, i32, i32, i32, double, double, i32, i32, i32, i32, i32, i32, double, double, i32, i32, i32, i32, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, i32, ptr, ptr, i32, i32, i32, ptr, double, double, double, double, i32, i32, i32, i32, i32, i32, ptr, ptr, i32 }
%struct.__jmp_buf_tag = type { [8 x i64], i32, %struct.__sigset_t }
%struct.__sigset_t = type { [16 x i64] }
%struct.qhstatT = type { [249 x %union.intrealT], [259 x i8], [249 x ptr], [249 x i16], [249 x i8], [249 x i8], [9 x %union.intrealT], i32, i32, i32, i32, double }
%union.intrealT = type { double }
%union.setelemT = type { ptr }

@qh_qh = external local_unnamed_addr global %struct.qhT, align 8
@qh_qhstat = external local_unnamed_addr global %struct.qhstatT, align 8
@.str.5 = external hidden unnamed_addr constant [84 x i8], align 1
@.str.6 = external hidden unnamed_addr constant [40 x i8], align 1
@.str.7 = external hidden unnamed_addr constant [47 x i8], align 1
@.str.8 = external hidden unnamed_addr constant [51 x i8], align 1
@.str.9 = external hidden unnamed_addr constant [56 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 i32 @qh_setsize(ptr noundef) local_unnamed_addr #1

declare void @qh_fprintf(ptr noundef, i32 noundef, ptr noundef, ...) local_unnamed_addr #1

declare void @qh_errexit(i32 noundef, ptr noundef, 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

; Function Attrs: nounwind uwtable
define dso_local noundef ptr @qh_detvnorm(ptr nocapture noundef readonly %0, ptr nocapture noundef readonly %1, ptr noundef readonly %2, ptr nocapture noundef writeonly %3) local_unnamed_addr #2 {
  %5 = alloca ptr, align 8
  %6 = alloca ptr, align 8
  %7 = alloca ptr, align 8
  %8 = alloca i32, align 4
  %9 = alloca double, align 8
  %10 = alloca double, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %5) #3
  store ptr null, ptr %5, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %6) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %7) #3
  %11 = load i32, ptr getelementptr inbounds (i8, ptr @qh_qh, i64 2448), align 8, !tbaa !9
  %12 = tail call ptr @qh_settemp(i32 noundef %11) #3
  store ptr %12, ptr %7, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %8) #3
  store i32 0, ptr %8, align 4, !tbaa !14
  %13 = load i32, ptr getelementptr inbounds (i8, ptr @qh_qh, i64 632), align 8, !tbaa !15
  %14 = add i32 %13, -1
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %9) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %10) #3
  store double 0.000000e+00, ptr %10, align 8, !tbaa !16
  %15 = load ptr, ptr getelementptr inbounds (i8, ptr @qh_qh, i64 2848), align 8, !tbaa !17
  %16 = ptrtoint ptr %15 to i64
  %17 = mul i32 %13, %13
  %18 = zext i32 %17 to i64
  %19 = getelementptr inbounds double, ptr %15, i64 %18
  %20 = icmp sgt i32 %13, 1
  br i1 %20, label %.lr.ph, label %._crit_edge

.lr.ph:                                           ; preds = %4
  %21 = getelementptr inbounds i8, ptr %0, i64 16
  %22 = load ptr, ptr %21, align 8, !tbaa !18
  %23 = getelementptr inbounds i8, ptr %1, i64 16
  %24 = load ptr, ptr %23, align 8, !tbaa !18
  %wide.trip.count = zext i32 %14 to i64
  %min.iters.check = icmp ult i32 %13, 9
  br i1 %min.iters.check, label %scalar.ph.preheader, label %vector.memcheck

vector.memcheck:                                  ; preds = %.lr.ph
  %25 = ptrtoint ptr %24 to i64
  %26 = ptrtoint ptr %22 to i64
  %27 = shl nuw nsw i64 %18, 3
  %28 = add i64 %27, %16
  %29 = sub i64 %28, %26
  %diff.check = icmp ult i64 %29, 32
  %30 = sub i64 %28, %25
  %diff.check232 = icmp ult i64 %30, 32
  %conflict.rdx = or i1 %diff.check, %diff.check232
  br i1 %conflict.rdx, label %scalar.ph.preheader, label %vector.ph

vector.ph:                                        ; preds = %vector.memcheck
  %n.vec = and i64 %wide.trip.count, 2147483644
  br label %vector.body

vector.body:                                      ; preds = %vector.body, %vector.ph
  %index = phi i64 [ 0, %vector.ph ], [ %index.next, %vector.body ]
  %31 = getelementptr inbounds double, ptr %22, i64 %index
  %32 = getelementptr inbounds i8, ptr %31, i64 16
  %wide.load = load <2 x double>, ptr %31, align 8, !tbaa !16
  %wide.load233 = load <2 x double>, ptr %32, align 8, !tbaa !16
  %33 = getelementptr inbounds double, ptr %24, i64 %index
  %34 = getelementptr inbounds i8, ptr %33, i64 16
  %wide.load234 = load <2 x double>, ptr %33, align 8, !tbaa !16
  %wide.load235 = load <2 x double>, ptr %34, align 8, !tbaa !16
  %35 = fadd <2 x double> %wide.load, %wide.load234
  %36 = fadd <2 x double> %wide.load233, %wide.load235
  %37 = fmul <2 x double> %35, <double 5.000000e-01, double 5.000000e-01>
  %38 = fmul <2 x double> %36, <double 5.000000e-01, double 5.000000e-01>
  %39 = getelementptr inbounds double, ptr %19, i64 %index
  %40 = getelementptr inbounds i8, ptr %39, i64 16
  store <2 x double> %37, ptr %39, align 8, !tbaa !16
  store <2 x double> %38, ptr %40, align 8, !tbaa !16
  %index.next = add nuw i64 %index, 4
  %41 = icmp eq i64 %index.next, %n.vec
  br i1 %41, label %middle.block, label %vector.body, !llvm.loop !20

middle.block:                                     ; preds = %vector.body
  %cmp.n = icmp eq i64 %n.vec, %wide.trip.count
  br i1 %cmp.n, label %._crit_edge, label %scalar.ph.preheader

scalar.ph.preheader:                              ; preds = %middle.block, %vector.memcheck, %.lr.ph
  %indvars.iv.ph = phi i64 [ 0, %vector.memcheck ], [ 0, %.lr.ph ], [ %n.vec, %middle.block ]
  %xtraiter = and i64 %wide.trip.count, 1
  %lcmp.mod.not = icmp eq i64 %xtraiter, 0
  br i1 %lcmp.mod.not, label %scalar.ph.prol.loopexit, label %scalar.ph.prol

scalar.ph.prol:                                   ; preds = %scalar.ph.preheader
  %42 = getelementptr inbounds double, ptr %22, i64 %indvars.iv.ph
  %43 = load double, ptr %42, align 8, !tbaa !16
  %44 = getelementptr inbounds double, ptr %24, i64 %indvars.iv.ph
  %45 = load double, ptr %44, align 8, !tbaa !16
  %46 = fadd double %43, %45
  %47 = fmul double %46, 5.000000e-01
  %48 = getelementptr inbounds double, ptr %19, i64 %indvars.iv.ph
  store double %47, ptr %48, align 8, !tbaa !16
  %indvars.iv.next.prol = or disjoint i64 %indvars.iv.ph, 1
  br label %scalar.ph.prol.loopexit

scalar.ph.prol.loopexit:                          ; preds = %scalar.ph.prol, %scalar.ph.preheader
  %indvars.iv.unr = phi i64 [ %indvars.iv.ph, %scalar.ph.preheader ], [ %indvars.iv.next.prol, %scalar.ph.prol ]
  %49 = add nsw i64 %wide.trip.count, -1
  %50 = icmp eq i64 %indvars.iv.ph, %49
  br i1 %50, label %._crit_edge, label %scalar.ph

scalar.ph:                                        ; preds = %scalar.ph.prol.loopexit, %scalar.ph
  %indvars.iv = phi i64 [ %indvars.iv.next.1, %scalar.ph ], [ %indvars.iv.unr, %scalar.ph.prol.loopexit ]
  %51 = getelementptr inbounds double, ptr %22, i64 %indvars.iv
  %52 = load double, ptr %51, align 8, !tbaa !16
  %53 = getelementptr inbounds double, ptr %24, i64 %indvars.iv
  %54 = load double, ptr %53, align 8, !tbaa !16
  %55 = fadd double %52, %54
  %56 = fmul double %55, 5.000000e-01
  %57 = getelementptr inbounds double, ptr %19, i64 %indvars.iv
  store double %56, ptr %57, align 8, !tbaa !16
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %58 = getelementptr inbounds double, ptr %22, i64 %indvars.iv.next
  %59 = load double, ptr %58, align 8, !tbaa !16
  %60 = getelementptr inbounds double, ptr %24, i64 %indvars.iv.next
  %61 = load double, ptr %60, align 8, !tbaa !16
  %62 = fadd double %59, %61
  %63 = fmul double %62, 5.000000e-01
  %64 = getelementptr inbounds double, ptr %19, i64 %indvars.iv.next
  store double %63, ptr %64, align 8, !tbaa !16
  %indvars.iv.next.1 = add nuw nsw i64 %indvars.iv, 2
  %exitcond.not.1 = icmp eq i64 %indvars.iv.next.1, %wide.trip.count
  br i1 %exitcond.not.1, label %._crit_edge, label %scalar.ph, !llvm.loop !24

._crit_edge:                                      ; preds = %scalar.ph.prol.loopexit, %scalar.ph, %middle.block, %4
  %.not = icmp eq ptr %2, null
  br i1 %.not, label %.loopexit173, label %.preheader

.preheader:                                       ; preds = %._crit_edge
  %.0130175 = getelementptr inbounds i8, ptr %2, i64 8
  %65 = load ptr, ptr %.0130175, align 8, !tbaa !5
  %.not153176 = icmp eq ptr %65, null
  br i1 %.not153176, label %.loopexit173, label %.lr.ph180

.lr.ph180:                                        ; preds = %.preheader, %79
  %66 = phi ptr [ %80, %79 ], [ %65, %.preheader ]
  %.0130179 = phi ptr [ %.0130, %79 ], [ %.0130175, %.preheader ]
  %.0120178 = phi i32 [ %67, %79 ], [ 0, %.preheader ]
  %.0122177 = phi i32 [ %.1123, %79 ], [ 0, %.preheader ]
  %67 = add nuw nsw i32 %.0120178, 1
  %68 = getelementptr inbounds i8, ptr %66, i64 104
  %69 = load i32, ptr %68, align 8, !tbaa !25
  %.not169 = icmp eq i32 %69, 0
  br i1 %.not169, label %79, label %70

70:                                               ; preds = %.lr.ph180
  %71 = getelementptr inbounds i8, ptr %66, i64 40
  %72 = load ptr, ptr %71, align 8, !tbaa !27
  %.not170 = icmp eq ptr %72, null
  br i1 %.not170, label %73, label %77

73:                                               ; preds = %70
  %74 = getelementptr inbounds i8, ptr %66, i64 64
  %75 = load ptr, ptr %74, align 8, !tbaa !28
  %76 = call ptr @qh_facetcenter(ptr noundef %75) #3
  store ptr %76, ptr %71, align 8, !tbaa !27
  br label %77

77:                                               ; preds = %73, %70
  %78 = phi ptr [ %76, %73 ], [ %72, %70 ]
  call void @qh_setappend(ptr noundef nonnull %7, ptr noundef %78) #3
  br label %79

79:                                               ; preds = %.lr.ph180, %77
  %.1123 = phi i32 [ %.0122177, %77 ], [ 1, %.lr.ph180 ]
  %.0130 = getelementptr inbounds i8, ptr %.0130179, i64 8
  %80 = load ptr, ptr %.0130, align 8, !tbaa !5
  %.not153 = icmp eq ptr %80, null
  br i1 %.not153, label %.loopexit173, label %.lr.ph180, !llvm.loop !29

.loopexit173:                                     ; preds = %79, %.preheader, %._crit_edge
  %.2 = phi i32 [ 0, %._crit_edge ], [ 0, %.preheader ], [ %.1123, %79 ]
  %.1121 = phi i32 [ 0, %._crit_edge ], [ 0, %.preheader ], [ %67, %79 ]
  %.not154 = icmp slt i32 %.1121, %13
  br i1 %.not154, label %91, label %81

81:                                               ; preds = %.loopexit173
  %82 = load i32, ptr getelementptr inbounds (i8, ptr @qh_qh, i64 2448), align 8, !tbaa !9
  %83 = call ptr @qh_settemp(i32 noundef %82) #3
  store ptr %83, ptr %5, align 8, !tbaa !5
  %84 = getelementptr inbounds i8, ptr %0, i64 16
  %85 = load ptr, ptr %84, align 8, !tbaa !18
  call void @qh_setappend(ptr noundef nonnull %5, ptr noundef %85) #3
  %.not156 = icmp eq i32 %.2, 0
  br i1 %.not156, label %87, label %86

86:                                               ; preds = %81
  call void @qh_setappend(ptr noundef nonnull %5, ptr noundef %19) #3
  br label %87

87:                                               ; preds = %86, %81
  %88 = load ptr, ptr %7, align 8, !tbaa !5
  call void @qh_maxsimplex(i32 noundef %14, ptr noundef %88, ptr noundef null, i32 noundef 0, ptr noundef nonnull %5) #3
  %89 = load ptr, ptr %5, align 8, !tbaa !5
  %90 = call ptr @qh_setdelnth(ptr noundef %89, i32 noundef 0) #3
  br label %99

91:                                               ; preds = %.loopexit173
  %92 = icmp eq i32 %.1121, %14
  br i1 %92, label %93, label %97

93:                                               ; preds = %91
  %.not155 = icmp eq i32 %.2, 0
  br i1 %.not155, label %95, label %94

94:                                               ; preds = %93
  call void @qh_setappend(ptr noundef nonnull %7, ptr noundef %19) #3
  br label %95

95:                                               ; preds = %94, %93
  %96 = load ptr, ptr %7, align 8, !tbaa !5
  store ptr %96, ptr %5, align 8, !tbaa !5
  br label %99

97:                                               ; preds = %91
  %98 = load ptr, ptr getelementptr inbounds (i8, ptr @qh_qh, i64 2424), align 8, !tbaa !30
  call void (ptr, i32, ptr, ...) @qh_fprintf(ptr noundef %98, i32 noundef 6216, ptr noundef nonnull @.str.5, i32 noundef %.1121) #3
  call void @qh_errexit(i32 noundef 5, ptr noundef null, ptr noundef null) #3
  br label %99

99:                                               ; preds = %95, %97, %87
  %100 = load ptr, ptr getelementptr inbounds (i8, ptr @qh_qh, i64 2848), align 8, !tbaa !17
  %101 = load ptr, ptr %5, align 8, !tbaa !5
  %102 = getelementptr inbounds i8, ptr %101, i64 8
  %103 = load ptr, ptr %102, align 8, !tbaa !31
  store ptr %103, ptr %6, align 8, !tbaa !5
  %.not159190 = icmp eq ptr %103, null
  br i1 %.not159190, label %._crit_edge196, label %.lr.ph195

.lr.ph195:                                        ; preds = %99
  %104 = ptrtoint ptr %103 to i64
  %.not168182 = icmp eq i32 %14, 0
  %.pre224 = load i32, ptr getelementptr inbounds (i8, ptr @qh_qh, i64 136), align 8, !tbaa !32
  %105 = zext i32 %14 to i64
  %min.iters.check244 = icmp ult i32 %14, 4
  %n.vec247 = and i64 %105, 4294967292
  %106 = shl nuw nsw i64 %n.vec247, 3
  %107 = shl nuw nsw i64 %n.vec247, 3
  %ind.end249 = getelementptr i8, ptr %103, i64 %107
  %.cast = trunc nuw i64 %n.vec247 to i32
  %ind.end251 = sub i32 %14, %.cast
  %108 = shl nuw nsw i64 %n.vec247, 3
  %cmp.n269 = icmp eq i64 %n.vec247, %105
  br label %109

109:                                              ; preds = %.lr.ph195, %.loopexit172
  %110 = phi ptr [ %103, %.lr.ph195 ], [ %167, %.loopexit172 ]
  %111 = phi i32 [ %.pre224, %.lr.ph195 ], [ %117, %.loopexit172 ]
  %.0138193 = phi ptr [ %102, %.lr.ph195 ], [ %.0138, %.loopexit172 ]
  %.0125192 = phi ptr [ %100, %.lr.ph195 ], [ %.2127, %.loopexit172 ]
  %.0131191 = phi i32 [ 0, %.lr.ph195 ], [ %.1132, %.loopexit172 ]
  %.0125192237 = ptrtoint ptr %.0125192 to i64
  %112 = icmp sgt i32 %111, 3
  br i1 %112, label %113, label %115

113:                                              ; preds = %109
  %114 = load ptr, ptr getelementptr inbounds (i8, ptr @qh_qh, i64 2424), align 8, !tbaa !30
  call void @qh_printmatrix(ptr noundef %114, ptr noundef nonnull @.str.6, ptr noundef nonnull %6, i32 noundef 1, i32 noundef %14) #3
  %.pre = load i32, ptr getelementptr inbounds (i8, ptr @qh_qh, i64 136), align 8, !tbaa !32
  %.pre225 = load ptr, ptr %6, align 8, !tbaa !5
  br label %115

115:                                              ; preds = %113, %109
  %116 = phi ptr [ %.pre225, %113 ], [ %110, %109 ]
  %117 = phi i32 [ %.pre, %113 ], [ %111, %109 ]
  %.not167 = icmp eq ptr %116, %103
  br i1 %.not167, label %.loopexit172, label %118

118:                                              ; preds = %115
  %119 = load ptr, ptr getelementptr inbounds (i8, ptr @qh_qh, i64 2856), align 8, !tbaa !33
  %120 = add nsw i32 %.0131191, 1
  %121 = sext i32 %.0131191 to i64
  %122 = getelementptr inbounds ptr, ptr %119, i64 %121
  store ptr %.0125192, ptr %122, align 8, !tbaa !5
  br i1 %.not168182, label %.loopexit172, label %.lr.ph187.preheader

.lr.ph187.preheader:                              ; preds = %118
  %.promoted = load ptr, ptr %6, align 8, !tbaa !5
  br i1 %min.iters.check244, label %.lr.ph187.preheader310, label %vector.memcheck236

vector.memcheck236:                               ; preds = %.lr.ph187.preheader
  %.promoted238 = ptrtoint ptr %.promoted to i64
  %123 = sub i64 %.0125192237, %.promoted238
  %diff.check239 = icmp ult i64 %123, 32
  %124 = sub i64 %.0125192237, %104
  %diff.check240 = icmp ult i64 %124, 32
  %conflict.rdx241 = or i1 %diff.check239, %diff.check240
  br i1 %conflict.rdx241, label %.lr.ph187.preheader310, label %vector.ph245

vector.ph245:                                     ; preds = %vector.memcheck236
  %ind.end = getelementptr i8, ptr %.0125192, i64 %106
  %ind.end253 = getelementptr i8, ptr %.promoted, i64 %108
  br label %vector.body255

vector.body255:                                   ; preds = %vector.body255, %vector.ph245
  %index256 = phi i64 [ 0, %vector.ph245 ], [ %index.next268, %vector.body255 ]
  %offset.idx = shl i64 %index256, 3
  %next.gep = getelementptr i8, ptr %.0125192, i64 %offset.idx
  %offset.idx258 = shl i64 %index256, 3
  %next.gep259 = getelementptr i8, ptr %103, i64 %offset.idx258
  %offset.idx261 = shl i64 %index256, 3
  %next.gep262 = getelementptr i8, ptr %.promoted, i64 %offset.idx261
  %125 = getelementptr i8, ptr %next.gep262, i64 16
  %wide.load264 = load <2 x double>, ptr %next.gep262, align 8, !tbaa !16
  %wide.load265 = load <2 x double>, ptr %125, align 8, !tbaa !16
  %126 = getelementptr i8, ptr %next.gep259, i64 16
  %wide.load266 = load <2 x double>, ptr %next.gep259, align 8, !tbaa !16
  %wide.load267 = load <2 x double>, ptr %126, align 8, !tbaa !16
  %127 = fsub <2 x double> %wide.load264, %wide.load266
  %128 = fsub <2 x double> %wide.load265, %wide.load267
  %129 = getelementptr i8, ptr %next.gep, i64 16
  store <2 x double> %127, ptr %next.gep, align 8, !tbaa !16
  store <2 x double> %128, ptr %129, align 8, !tbaa !16
  %index.next268 = add nuw i64 %index256, 4
  %130 = icmp eq i64 %index.next268, %n.vec247
  br i1 %130, label %middle.block242, label %vector.body255, !llvm.loop !34

middle.block242:                                  ; preds = %vector.body255
  br i1 %cmp.n269, label %.loopexit172, label %.lr.ph187.preheader310

.lr.ph187.preheader310:                           ; preds = %middle.block242, %vector.memcheck236, %.lr.ph187.preheader
  %.1126185.ph = phi ptr [ %.0125192, %vector.memcheck236 ], [ %.0125192, %.lr.ph187.preheader ], [ %ind.end, %middle.block242 ]
  %.0128184.ph = phi ptr [ %103, %vector.memcheck236 ], [ %103, %.lr.ph187.preheader ], [ %ind.end249, %middle.block242 ]
  %.1135183.ph = phi i32 [ %14, %vector.memcheck236 ], [ %14, %.lr.ph187.preheader ], [ %ind.end251, %middle.block242 ]
  %.ph = phi ptr [ %.promoted, %vector.memcheck236 ], [ %.promoted, %.lr.ph187.preheader ], [ %ind.end253, %middle.block242 ]
  %131 = add nsw i32 %.1135183.ph, -1
  %xtraiter312 = and i32 %.1135183.ph, 3
  %lcmp.mod313.not = icmp eq i32 %xtraiter312, 0
  br i1 %lcmp.mod313.not, label %.lr.ph187.prol.loopexit, label %.lr.ph187.prol

.lr.ph187.prol:                                   ; preds = %.lr.ph187.preheader310, %.lr.ph187.prol
  %.1126185.prol = phi ptr [ %139, %.lr.ph187.prol ], [ %.1126185.ph, %.lr.ph187.preheader310 ]
  %.0128184.prol = phi ptr [ %136, %.lr.ph187.prol ], [ %.0128184.ph, %.lr.ph187.preheader310 ]
  %.1135183.prol = phi i32 [ %133, %.lr.ph187.prol ], [ %.1135183.ph, %.lr.ph187.preheader310 ]
  %132 = phi ptr [ %134, %.lr.ph187.prol ], [ %.ph, %.lr.ph187.preheader310 ]
  %prol.iter = phi i32 [ %prol.iter.next, %.lr.ph187.prol ], [ 0, %.lr.ph187.preheader310 ]
  %133 = add nsw i32 %.1135183.prol, -1
  %134 = getelementptr inbounds i8, ptr %132, i64 8
  %135 = load double, ptr %132, align 8, !tbaa !16
  %136 = getelementptr inbounds i8, ptr %.0128184.prol, i64 8
  %137 = load double, ptr %.0128184.prol, align 8, !tbaa !16
  %138 = fsub double %135, %137
  %139 = getelementptr inbounds i8, ptr %.1126185.prol, i64 8
  store double %138, ptr %.1126185.prol, align 8, !tbaa !16
  %prol.iter.next = add i32 %prol.iter, 1
  %prol.iter.cmp.not = icmp eq i32 %prol.iter.next, %xtraiter312
  br i1 %prol.iter.cmp.not, label %.lr.ph187.prol.loopexit, label %.lr.ph187.prol, !llvm.loop !35

.lr.ph187.prol.loopexit:                          ; preds = %.lr.ph187.prol, %.lr.ph187.preheader310
  %.lcssa.unr = phi ptr [ poison, %.lr.ph187.preheader310 ], [ %139, %.lr.ph187.prol ]
  %.1126185.unr = phi ptr [ %.1126185.ph, %.lr.ph187.preheader310 ], [ %139, %.lr.ph187.prol ]
  %.0128184.unr = phi ptr [ %.0128184.ph, %.lr.ph187.preheader310 ], [ %136, %.lr.ph187.prol ]
  %.1135183.unr = phi i32 [ %.1135183.ph, %.lr.ph187.preheader310 ], [ %133, %.lr.ph187.prol ]
  %.unr = phi ptr [ %.ph, %.lr.ph187.preheader310 ], [ %134, %.lr.ph187.prol ]
  %140 = icmp ult i32 %131, 3
  br i1 %140, label %.loopexit172, label %.lr.ph187

.lr.ph187:                                        ; preds = %.lr.ph187.prol.loopexit, %.lr.ph187
  %.1126185 = phi ptr [ %166, %.lr.ph187 ], [ %.1126185.unr, %.lr.ph187.prol.loopexit ]
  %.0128184 = phi ptr [ %163, %.lr.ph187 ], [ %.0128184.unr, %.lr.ph187.prol.loopexit ]
  %.1135183 = phi i32 [ %160, %.lr.ph187 ], [ %.1135183.unr, %.lr.ph187.prol.loopexit ]
  %141 = phi ptr [ %161, %.lr.ph187 ], [ %.unr, %.lr.ph187.prol.loopexit ]
  %142 = getelementptr inbounds i8, ptr %141, i64 8
  %143 = load double, ptr %141, align 8, !tbaa !16
  %144 = getelementptr inbounds i8, ptr %.0128184, i64 8
  %145 = load double, ptr %.0128184, align 8, !tbaa !16
  %146 = fsub double %143, %145
  %147 = getelementptr inbounds i8, ptr %.1126185, i64 8
  store double %146, ptr %.1126185, align 8, !tbaa !16
  %148 = getelementptr inbounds i8, ptr %141, i64 16
  %149 = load double, ptr %142, align 8, !tbaa !16
  %150 = getelementptr inbounds i8, ptr %.0128184, i64 16
  %151 = load double, ptr %144, align 8, !tbaa !16
  %152 = fsub double %149, %151
  %153 = getelementptr inbounds i8, ptr %.1126185, i64 16
  store double %152, ptr %147, align 8, !tbaa !16
  %154 = getelementptr inbounds i8, ptr %141, i64 24
  %155 = load double, ptr %148, align 8, !tbaa !16
  %156 = getelementptr inbounds i8, ptr %.0128184, i64 24
  %157 = load double, ptr %150, align 8, !tbaa !16
  %158 = fsub double %155, %157
  %159 = getelementptr inbounds i8, ptr %.1126185, i64 24
  store double %158, ptr %153, align 8, !tbaa !16
  %160 = add nsw i32 %.1135183, -4
  %161 = getelementptr inbounds i8, ptr %141, i64 32
  %162 = load double, ptr %154, align 8, !tbaa !16
  %163 = getelementptr inbounds i8, ptr %.0128184, i64 32
  %164 = load double, ptr %156, align 8, !tbaa !16
  %165 = fsub double %162, %164
  %166 = getelementptr inbounds i8, ptr %.1126185, i64 32
  store double %165, ptr %159, align 8, !tbaa !16
  %.not168.3 = icmp eq i32 %160, 0
  br i1 %.not168.3, label %.loopexit172, label %.lr.ph187, !llvm.loop !37

.loopexit172:                                     ; preds = %.lr.ph187.prol.loopexit, %.lr.ph187, %middle.block242, %118, %115
  %.1132 = phi i32 [ %.0131191, %115 ], [ %120, %118 ], [ %120, %middle.block242 ], [ %120, %.lr.ph187 ], [ %120, %.lr.ph187.prol.loopexit ]
  %.2127 = phi ptr [ %.0125192, %115 ], [ %.0125192, %118 ], [ %ind.end, %middle.block242 ], [ %.lcssa.unr, %.lr.ph187.prol.loopexit ], [ %166, %.lr.ph187 ]
  %.0138 = getelementptr inbounds i8, ptr %.0138193, i64 8
  %167 = load ptr, ptr %.0138, align 8, !tbaa !5
  store ptr %167, ptr %6, align 8, !tbaa !5
  %.not159 = icmp eq ptr %167, null
  br i1 %.not159, label %._crit_edge196, label %109, !llvm.loop !38

._crit_edge196:                                   ; preds = %.loopexit172, %99
  %.0131.lcssa = phi i32 [ 0, %99 ], [ %.1132, %.loopexit172 ]
  %.0125.lcssa = phi ptr [ %100, %99 ], [ %.2127, %.loopexit172 ]
  %168 = load ptr, ptr getelementptr inbounds (i8, ptr @qh_qh, i64 2856), align 8, !tbaa !33
  %169 = sext i32 %.0131.lcssa to i64
  %170 = getelementptr inbounds ptr, ptr %168, i64 %169
  store ptr %.0125.lcssa, ptr %170, align 8, !tbaa !5
  %171 = load ptr, ptr getelementptr inbounds (i8, ptr @qh_qh, i64 2856), align 8, !tbaa !33
  call void @qh_sethyperplane_gauss(i32 noundef %14, ptr noundef %171, ptr noundef %103, i32 noundef 1, ptr noundef %.0125.lcssa, ptr noundef nonnull %9, ptr noundef nonnull %8) #3
  %172 = load ptr, ptr getelementptr inbounds (i8, ptr @qh_qh, i64 120), align 8, !tbaa !39
  %173 = getelementptr inbounds i8, ptr %1, i64 16
  %174 = load ptr, ptr %173, align 8, !tbaa !18
  %175 = icmp eq ptr %172, %174
  br i1 %175, label %179, label %176

176:                                              ; preds = %._crit_edge196
  %177 = getelementptr inbounds i8, ptr %0, i64 16
  %178 = load ptr, ptr %177, align 8, !tbaa !18
  br label %179

179:                                              ; preds = %._crit_edge196, %176
  %.0129 = phi ptr [ %178, %176 ], [ %174, %._crit_edge196 ]
  %180 = load i32, ptr getelementptr inbounds (i8, ptr @qh_qhstat, i64 480), align 8, !tbaa !31
  %181 = add nsw i32 %180, 1
  store i32 %181, ptr getelementptr inbounds (i8, ptr @qh_qhstat, i64 480), align 8, !tbaa !31
  %182 = call double @qh_distnorm(i32 noundef %14, ptr noundef %.0129, ptr noundef %.0125.lcssa, ptr noundef nonnull %9) #3
  %183 = fcmp ogt double %182, 0.000000e+00
  br i1 %183, label %184, label %.loopexit171

184:                                              ; preds = %179
  %185 = load double, ptr %9, align 8, !tbaa !16
  %186 = fneg double %185
  store double %186, ptr %9, align 8, !tbaa !16
  %.not160199 = icmp eq i32 %14, 0
  br i1 %.not160199, label %.loopexit171, label %.lr.ph203.preheader

.lr.ph203.preheader:                              ; preds = %184
  %187 = zext i32 %14 to i64
  %min.iters.check272 = icmp ult i32 %14, 4
  br i1 %min.iters.check272, label %.lr.ph203.preheader309, label %vector.ph273

vector.ph273:                                     ; preds = %.lr.ph203.preheader
  %n.vec275 = and i64 %187, 4294967292
  %188 = shl nuw nsw i64 %n.vec275, 3
  %ind.end276 = getelementptr i8, ptr %.0125.lcssa, i64 %188
  %.cast278 = trunc nuw i64 %n.vec275 to i32
  %ind.end279 = sub i32 %14, %.cast278
  br label %vector.body281

vector.body281:                                   ; preds = %vector.body281, %vector.ph273
  %index282 = phi i64 [ 0, %vector.ph273 ], [ %index.next288, %vector.body281 ]
  %offset.idx283 = shl i64 %index282, 3
  %next.gep284 = getelementptr i8, ptr %.0125.lcssa, i64 %offset.idx283
  %189 = getelementptr i8, ptr %next.gep284, i64 16
  %wide.load286 = load <2 x double>, ptr %next.gep284, align 8, !tbaa !16
  %wide.load287 = load <2 x double>, ptr %189, align 8, !tbaa !16
  %190 = fneg <2 x double> %wide.load286
  %191 = fneg <2 x double> %wide.load287
  store <2 x double> %190, ptr %next.gep284, align 8, !tbaa !16
  store <2 x double> %191, ptr %189, align 8, !tbaa !16
  %index.next288 = add nuw i64 %index282, 4
  %192 = icmp eq i64 %index.next288, %n.vec275
  br i1 %192, label %middle.block270, label %vector.body281, !llvm.loop !40

middle.block270:                                  ; preds = %vector.body281
  %cmp.n289 = icmp eq i64 %n.vec275, %187
  br i1 %cmp.n289, label %.loopexit171, label %.lr.ph203.preheader309

.lr.ph203.preheader309:                           ; preds = %middle.block270, %.lr.ph203.preheader
  %.0124201.ph = phi ptr [ %.0125.lcssa, %.lr.ph203.preheader ], [ %ind.end276, %middle.block270 ]
  %.2136200.ph = phi i32 [ %14, %.lr.ph203.preheader ], [ %ind.end279, %middle.block270 ]
  br label %.lr.ph203

.lr.ph203:                                        ; preds = %.lr.ph203.preheader309, %.lr.ph203
  %.0124201 = phi ptr [ %196, %.lr.ph203 ], [ %.0124201.ph, %.lr.ph203.preheader309 ]
  %.2136200 = phi i32 [ %193, %.lr.ph203 ], [ %.2136200.ph, %.lr.ph203.preheader309 ]
  %193 = add nsw i32 %.2136200, -1
  %194 = load double, ptr %.0124201, align 8, !tbaa !16
  %195 = fneg double %194
  store double %195, ptr %.0124201, align 8, !tbaa !16
  %196 = getelementptr inbounds i8, ptr %.0124201, i64 8
  %.not160 = icmp eq i32 %193, 0
  br i1 %.not160, label %.loopexit171, label %.lr.ph203, !llvm.loop !41

.loopexit171:                                     ; preds = %.lr.ph203, %middle.block270, %184, %179
  %197 = load i32, ptr getelementptr inbounds (i8, ptr @qh_qh, i64 580), align 4, !tbaa !42
  %198 = icmp ne i32 %197, 0
  %199 = load i32, ptr getelementptr inbounds (i8, ptr @qh_qh, i64 424), align 8
  %200 = icmp ne i32 %199, 0
  %or.cond = select i1 %198, i1 true, i1 %200
  br i1 %or.cond, label %201, label %.loopexit

201:                                              ; preds = %.loopexit171
  %202 = getelementptr inbounds i8, ptr %0, i64 16
  %203 = load ptr, ptr %202, align 8, !tbaa !18
  %204 = call i32 @qh_pointid(ptr noundef %203) #3
  %205 = load ptr, ptr %173, align 8, !tbaa !18
  %206 = call i32 @qh_pointid(ptr noundef %205) #3
  %.not161 = icmp eq i32 %.2, 0
  br i1 %.not161, label %207, label %298

207:                                              ; preds = %201
  %208 = load i32, ptr getelementptr inbounds (i8, ptr @qh_qhstat, i64 496), align 8, !tbaa !31
  %209 = add nsw i32 %208, 1
  store i32 %209, ptr getelementptr inbounds (i8, ptr @qh_qhstat, i64 496), align 8, !tbaa !31
  %210 = call double @qh_distnorm(i32 noundef %14, ptr noundef %19, ptr noundef %.0125.lcssa, ptr noundef nonnull %9) #3
  %211 = fcmp olt double %210, 0.000000e+00
  %212 = fneg double %210
  %.0118 = select i1 %211, double %212, double %210
  %213 = load i32, ptr getelementptr inbounds (i8, ptr @qh_qhstat, i64 1640), align 8, !tbaa !31
  %214 = add nsw i32 %213, 1
  store i32 %214, ptr getelementptr inbounds (i8, ptr @qh_qhstat, i64 1640), align 8, !tbaa !31
  %215 = load double, ptr getelementptr inbounds (i8, ptr @qh_qhstat, i64 1656), align 8, !tbaa !31
  %216 = fcmp olt double %215, %.0118
  br i1 %216, label %217, label %218

217:                                              ; preds = %207
  store double %.0118, ptr getelementptr inbounds (i8, ptr @qh_qhstat, i64 1656), align 8, !tbaa !31
  br label %218

218:                                              ; preds = %217, %207
  %219 = load double, ptr getelementptr inbounds (i8, ptr @qh_qhstat, i64 1648), align 8, !tbaa !31
  %220 = fadd double %.0118, %219
  store double %220, ptr getelementptr inbounds (i8, ptr @qh_qhstat, i64 1648), align 8, !tbaa !31
  %221 = load i32, ptr getelementptr inbounds (i8, ptr @qh_qh, i64 136), align 8, !tbaa !32
  %222 = icmp sgt i32 %221, 3
  br i1 %222, label %223, label %225

223:                                              ; preds = %218
  %224 = load ptr, ptr getelementptr inbounds (i8, ptr @qh_qh, i64 2424), align 8, !tbaa !30
  call void (ptr, i32, ptr, ...) @qh_fprintf(ptr noundef %224, i32 noundef 4014, ptr noundef nonnull @.str.7, i32 noundef %204, i32 noundef %206, double noundef %.0118) #3
  br label %225

225:                                              ; preds = %223, %218
  br i1 %20, label %.lr.ph206, label %._crit_edge207

.lr.ph206:                                        ; preds = %225
  %226 = load ptr, ptr %173, align 8, !tbaa !18
  %227 = load ptr, ptr %202, align 8, !tbaa !18
  %wide.trip.count217 = zext i32 %14 to i64
  %min.iters.check296 = icmp ult i32 %13, 11
  br i1 %min.iters.check296, label %scalar.ph295.preheader, label %vector.memcheck290

vector.memcheck290:                               ; preds = %.lr.ph206
  %228 = ptrtoint ptr %227 to i64
  %229 = ptrtoint ptr %226 to i64
  %230 = shl nuw nsw i64 %18, 3
  %231 = add i64 %230, %16
  %232 = sub i64 %231, %229
  %diff.check291 = icmp ult i64 %232, 32
  %233 = sub i64 %231, %228
  %diff.check292 = icmp ult i64 %233, 32
  %conflict.rdx293 = or i1 %diff.check291, %diff.check292
  br i1 %conflict.rdx293, label %scalar.ph295.preheader, label %vector.ph297

vector.ph297:                                     ; preds = %vector.memcheck290
  %n.vec299 = and i64 %wide.trip.count217, 2147483644
  br label %vector.body301

vector.body301:                                   ; preds = %vector.body301, %vector.ph297
  %index302 = phi i64 [ 0, %vector.ph297 ], [ %index.next307, %vector.body301 ]
  %234 = getelementptr inbounds double, ptr %226, i64 %index302
  %235 = getelementptr inbounds i8, ptr %234, i64 16
  %wide.load303 = load <2 x double>, ptr %234, align 8, !tbaa !16
  %wide.load304 = load <2 x double>, ptr %235, align 8, !tbaa !16
  %236 = getelementptr inbounds double, ptr %227, i64 %index302
  %237 = getelementptr inbounds i8, ptr %236, i64 16
  %wide.load305 = load <2 x double>, ptr %236, align 8, !tbaa !16
  %wide.load306 = load <2 x double>, ptr %237, align 8, !tbaa !16
  %238 = fsub <2 x double> %wide.load303, %wide.load305
  %239 = fsub <2 x double> %wide.load304, %wide.load306
  %240 = getelementptr inbounds double, ptr %19, i64 %index302
  %241 = getelementptr inbounds i8, ptr %240, i64 16
  store <2 x double> %238, ptr %240, align 8, !tbaa !16
  store <2 x double> %239, ptr %241, align 8, !tbaa !16
  %index.next307 = add nuw i64 %index302, 4
  %242 = icmp eq i64 %index.next307, %n.vec299
  br i1 %242, label %middle.block294, label %vector.body301, !llvm.loop !43

middle.block294:                                  ; preds = %vector.body301
  %cmp.n308 = icmp eq i64 %n.vec299, %wide.trip.count217
  br i1 %cmp.n308, label %._crit_edge207, label %scalar.ph295.preheader

scalar.ph295.preheader:                           ; preds = %middle.block294, %vector.memcheck290, %.lr.ph206
  %indvars.iv214.ph = phi i64 [ 0, %vector.memcheck290 ], [ 0, %.lr.ph206 ], [ %n.vec299, %middle.block294 ]
  %xtraiter314 = and i64 %wide.trip.count217, 3
  %lcmp.mod315.not = icmp eq i64 %xtraiter314, 0
  br i1 %lcmp.mod315.not, label %scalar.ph295.prol.loopexit, label %scalar.ph295.prol

scalar.ph295.prol:                                ; preds = %scalar.ph295.preheader, %scalar.ph295.prol
  %indvars.iv214.prol = phi i64 [ %indvars.iv.next215.prol, %scalar.ph295.prol ], [ %indvars.iv214.ph, %scalar.ph295.preheader ]
  %prol.iter316 = phi i64 [ %prol.iter316.next, %scalar.ph295.prol ], [ 0, %scalar.ph295.preheader ]
  %243 = getelementptr inbounds double, ptr %226, i64 %indvars.iv214.prol
  %244 = load double, ptr %243, align 8, !tbaa !16
  %245 = getelementptr inbounds double, ptr %227, i64 %indvars.iv214.prol
  %246 = load double, ptr %245, align 8, !tbaa !16
  %247 = fsub double %244, %246
  %248 = getelementptr inbounds double, ptr %19, i64 %indvars.iv214.prol
  store double %247, ptr %248, align 8, !tbaa !16
  %indvars.iv.next215.prol = add nuw nsw i64 %indvars.iv214.prol, 1
  %prol.iter316.next = add i64 %prol.iter316, 1
  %prol.iter316.cmp.not = icmp eq i64 %prol.iter316.next, %xtraiter314
  br i1 %prol.iter316.cmp.not, label %scalar.ph295.prol.loopexit, label %scalar.ph295.prol, !llvm.loop !44

scalar.ph295.prol.loopexit:                       ; preds = %scalar.ph295.prol, %scalar.ph295.preheader
  %indvars.iv214.unr = phi i64 [ %indvars.iv214.ph, %scalar.ph295.preheader ], [ %indvars.iv.next215.prol, %scalar.ph295.prol ]
  %249 = sub nsw i64 %indvars.iv214.ph, %wide.trip.count217
  %250 = icmp ugt i64 %249, -4
  br i1 %250, label %._crit_edge207, label %scalar.ph295

scalar.ph295:                                     ; preds = %scalar.ph295.prol.loopexit, %scalar.ph295
  %indvars.iv214 = phi i64 [ %indvars.iv.next215.3, %scalar.ph295 ], [ %indvars.iv214.unr, %scalar.ph295.prol.loopexit ]
  %251 = getelementptr inbounds double, ptr %226, i64 %indvars.iv214
  %252 = load double, ptr %251, align 8, !tbaa !16
  %253 = getelementptr inbounds double, ptr %227, i64 %indvars.iv214
  %254 = load double, ptr %253, align 8, !tbaa !16
  %255 = fsub double %252, %254
  %256 = getelementptr inbounds double, ptr %19, i64 %indvars.iv214
  store double %255, ptr %256, align 8, !tbaa !16
  %indvars.iv.next215 = add nuw nsw i64 %indvars.iv214, 1
  %257 = getelementptr inbounds double, ptr %226, i64 %indvars.iv.next215
  %258 = load double, ptr %257, align 8, !tbaa !16
  %259 = getelementptr inbounds double, ptr %227, i64 %indvars.iv.next215
  %260 = load double, ptr %259, align 8, !tbaa !16
  %261 = fsub double %258, %260
  %262 = getelementptr inbounds double, ptr %19, i64 %indvars.iv.next215
  store double %261, ptr %262, align 8, !tbaa !16
  %indvars.iv.next215.1 = add nuw nsw i64 %indvars.iv214, 2
  %263 = getelementptr inbounds double, ptr %226, i64 %indvars.iv.next215.1
  %264 = load double, ptr %263, align 8, !tbaa !16
  %265 = getelementptr inbounds double, ptr %227, i64 %indvars.iv.next215.1
  %266 = load double, ptr %265, align 8, !tbaa !16
  %267 = fsub double %264, %266
  %268 = getelementptr inbounds double, ptr %19, i64 %indvars.iv.next215.1
  store double %267, ptr %268, align 8, !tbaa !16
  %indvars.iv.next215.2 = add nuw nsw i64 %indvars.iv214, 3
  %269 = getelementptr inbounds double, ptr %226, i64 %indvars.iv.next215.2
  %270 = load double, ptr %269, align 8, !tbaa !16
  %271 = getelementptr inbounds double, ptr %227, i64 %indvars.iv.next215.2
  %272 = load double, ptr %271, align 8, !tbaa !16
  %273 = fsub double %270, %272
  %274 = getelementptr inbounds double, ptr %19, i64 %indvars.iv.next215.2
  store double %273, ptr %274, align 8, !tbaa !16
  %indvars.iv.next215.3 = add nuw nsw i64 %indvars.iv214, 4
  %exitcond218.not.3 = icmp eq i64 %indvars.iv.next215.3, %wide.trip.count217
  br i1 %exitcond218.not.3, label %._crit_edge207, label %scalar.ph295, !llvm.loop !45

._crit_edge207:                                   ; preds = %scalar.ph295.prol.loopexit, %scalar.ph295, %middle.block294, %225
  call void @qh_normalize(ptr noundef %19, i32 noundef %14, i32 noundef 0) #3
  %275 = call double @qh_distnorm(i32 noundef %14, ptr noundef %19, ptr noundef %.0125.lcssa, ptr noundef nonnull %10) #3
  %276 = fcmp olt double %275, 0.000000e+00
  %.0.v = select i1 %276, double 1.000000e+00, double -1.000000e+00
  %.0 = fadd double %275, %.0.v
  %277 = fcmp olt double %.0, 0.000000e+00
  %278 = fneg double %.0
  %.1 = select i1 %277, double %278, double %.0
  %279 = load i32, ptr getelementptr inbounds (i8, ptr @qh_qh, i64 136), align 8, !tbaa !32
  %280 = icmp sgt i32 %279, 3
  br i1 %280, label %281, label %284

281:                                              ; preds = %._crit_edge207
  %282 = load ptr, ptr getelementptr inbounds (i8, ptr @qh_qh, i64 2424), align 8, !tbaa !30
  %283 = load i32, ptr %8, align 4, !tbaa !14
  call void (ptr, i32, ptr, ...) @qh_fprintf(ptr noundef %282, i32 noundef 4015, ptr noundef nonnull @.str.8, i32 noundef %204, i32 noundef %206, double noundef %.1, i32 noundef %283) #3
  br label %284

284:                                              ; preds = %281, %._crit_edge207
  %285 = load i32, ptr %8, align 4, !tbaa !14
  %.not162 = icmp eq i32 %285, 0
  br i1 %.not162, label %291, label %286

286:                                              ; preds = %284
  %287 = load i32, ptr getelementptr inbounds (i8, ptr @qh_qhstat, i64 1616), align 8, !tbaa !31
  %288 = add nsw i32 %287, 1
  store i32 %288, ptr getelementptr inbounds (i8, ptr @qh_qhstat, i64 1616), align 8, !tbaa !31
  %289 = load double, ptr getelementptr inbounds (i8, ptr @qh_qhstat, i64 1632), align 8, !tbaa !31
  %290 = fcmp olt double %289, %.1
  br i1 %290, label %.sink.split.sink.split, label %.sink.split

291:                                              ; preds = %284
  %292 = load i32, ptr getelementptr inbounds (i8, ptr @qh_qhstat, i64 1664), align 8, !tbaa !31
  %293 = add nsw i32 %292, 1
  store i32 %293, ptr getelementptr inbounds (i8, ptr @qh_qhstat, i64 1664), align 8, !tbaa !31
  %294 = load double, ptr getelementptr inbounds (i8, ptr @qh_qhstat, i64 1680), align 8, !tbaa !31
  %295 = fcmp olt double %294, %.1
  br i1 %295, label %.sink.split.sink.split, label %.sink.split

.sink.split.sink.split:                           ; preds = %291, %286
  %.sink230 = phi ptr [ getelementptr inbounds (i8, ptr @qh_qhstat, i64 1632), %286 ], [ getelementptr inbounds (i8, ptr @qh_qhstat, i64 1680), %291 ]
  %.sink.ph = phi ptr [ getelementptr inbounds (i8, ptr @qh_qhstat, i64 1624), %286 ], [ getelementptr inbounds (i8, ptr @qh_qhstat, i64 1672), %291 ]
  store double %.1, ptr %.sink230, align 8, !tbaa !31
  br label %.sink.split

.sink.split:                                      ; preds = %.sink.split.sink.split, %291, %286
  %.sink = phi ptr [ getelementptr inbounds (i8, ptr @qh_qhstat, i64 1624), %286 ], [ getelementptr inbounds (i8, ptr @qh_qhstat, i64 1672), %291 ], [ %.sink.ph, %.sink.split.sink.split ]
  %296 = load double, ptr %.sink, align 8, !tbaa !31
  %297 = fadd double %.1, %296
  store double %297, ptr %.sink, align 8, !tbaa !31
  br label %298

298:                                              ; preds = %.sink.split, %201
  %299 = load ptr, ptr %5, align 8, !tbaa !5
  %300 = load ptr, ptr %7, align 8, !tbaa !5
  %.not163 = icmp eq ptr %299, %300
  br i1 %.not163, label %.loopexit, label %301

301:                                              ; preds = %298
  store ptr null, ptr %6, align 8, !tbaa !5
  %.not164 = icmp eq ptr %300, null
  br i1 %.not164, label %.loopexit, label %302

302:                                              ; preds = %301
  %303 = getelementptr inbounds i8, ptr %300, i64 8
  %304 = load ptr, ptr %303, align 8, !tbaa !31
  store ptr %304, ptr %6, align 8, !tbaa !5
  %305 = call i32 @qh_setsize(ptr noundef nonnull %300) #3
  %306 = icmp sgt i32 %305, 0
  br i1 %306, label %.lr.ph210, label %.loopexit

.lr.ph210:                                        ; preds = %302
  %307 = getelementptr inbounds i8, ptr %2, i64 8
  %wide.trip.count222 = zext nneg i32 %305 to i64
  %.pre226 = load ptr, ptr %6, align 8, !tbaa !5
  br label %308

308:                                              ; preds = %.lr.ph210, %335
  %309 = phi ptr [ %.pre226, %.lr.ph210 ], [ %339, %335 ]
  %indvars.iv219 = phi i64 [ 0, %.lr.ph210 ], [ %indvars.iv.next220, %335 ]
  %310 = load ptr, ptr %5, align 8, !tbaa !5
  %311 = call i32 @qh_setin(ptr noundef %310, ptr noundef %309) #3
  %.not166 = icmp eq i32 %311, 0
  br i1 %.not166, label %312, label %335

312:                                              ; preds = %308
  %313 = getelementptr inbounds [1 x %union.setelemT], ptr %307, i64 0, i64 %indvars.iv219
  %314 = load ptr, ptr %313, align 8, !tbaa !31
  %315 = load i32, ptr getelementptr inbounds (i8, ptr @qh_qhstat, i64 496), align 8, !tbaa !31
  %316 = add nsw i32 %315, 1
  store i32 %316, ptr getelementptr inbounds (i8, ptr @qh_qhstat, i64 496), align 8, !tbaa !31
  %317 = load ptr, ptr %6, align 8, !tbaa !5
  %318 = call double @qh_distnorm(i32 noundef %14, ptr noundef %317, ptr noundef %.0125.lcssa, ptr noundef nonnull %9) #3
  %319 = fcmp olt double %318, 0.000000e+00
  %320 = fneg double %318
  %.1119 = select i1 %319, double %320, double %318
  %321 = load i32, ptr getelementptr inbounds (i8, ptr @qh_qhstat, i64 1592), align 8, !tbaa !31
  %322 = add nsw i32 %321, 1
  store i32 %322, ptr getelementptr inbounds (i8, ptr @qh_qhstat, i64 1592), align 8, !tbaa !31
  %323 = load double, ptr getelementptr inbounds (i8, ptr @qh_qhstat, i64 1608), align 8, !tbaa !31
  %324 = fcmp olt double %323, %.1119
  br i1 %324, label %325, label %326

325:                                              ; preds = %312
  store double %.1119, ptr getelementptr inbounds (i8, ptr @qh_qhstat, i64 1608), align 8, !tbaa !31
  br label %326

326:                                              ; preds = %325, %312
  %327 = load double, ptr getelementptr inbounds (i8, ptr @qh_qhstat, i64 1600), align 8, !tbaa !31
  %328 = fadd double %.1119, %327
  store double %328, ptr getelementptr inbounds (i8, ptr @qh_qhstat, i64 1600), align 8, !tbaa !31
  %329 = load i32, ptr getelementptr inbounds (i8, ptr @qh_qh, i64 136), align 8, !tbaa !32
  %330 = icmp sgt i32 %329, 3
  br i1 %330, label %331, label %335

331:                                              ; preds = %326
  %332 = load ptr, ptr getelementptr inbounds (i8, ptr @qh_qh, i64 2424), align 8, !tbaa !30
  %333 = getelementptr inbounds i8, ptr %314, i64 104
  %334 = load i32, ptr %333, align 8, !tbaa !25
  call void (ptr, i32, ptr, ...) @qh_fprintf(ptr noundef %332, i32 noundef 4016, ptr noundef nonnull @.str.9, i32 noundef %204, i32 noundef %206, i32 noundef %334, double noundef %.1119) #3
  br label %335

335:                                              ; preds = %308, %331, %326
  %336 = load ptr, ptr %7, align 8, !tbaa !5
  %337 = getelementptr inbounds i8, ptr %336, i64 8
  %indvars.iv.next220 = add nuw nsw i64 %indvars.iv219, 1
  %338 = getelementptr inbounds [1 x %union.setelemT], ptr %337, i64 0, i64 %indvars.iv.next220
  %339 = load ptr, ptr %338, align 8, !tbaa !31
  store ptr %339, ptr %6, align 8, !tbaa !5
  %exitcond223.not = icmp eq i64 %indvars.iv.next220, %wide.trip.count222
  br i1 %exitcond223.not, label %.loopexit, label %308, !llvm.loop !46

.loopexit:                                        ; preds = %335, %302, %298, %301, %.loopexit171
  %340 = load double, ptr %9, align 8, !tbaa !16
  store double %340, ptr %3, align 8, !tbaa !16
  %341 = load ptr, ptr %5, align 8, !tbaa !5
  %342 = load ptr, ptr %7, align 8, !tbaa !5
  %.not165 = icmp eq ptr %341, %342
  br i1 %.not165, label %344, label %343

343:                                              ; preds = %.loopexit
  call void @qh_settempfree(ptr noundef nonnull %5) #3
  br label %344

344:                                              ; preds = %343, %.loopexit
  call void @qh_settempfree(ptr noundef nonnull %7) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %10) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %9) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %8) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %7) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %6) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %5) #3
  ret ptr %.0125.lcssa
}

declare ptr @qh_settemp(i32 noundef) local_unnamed_addr #1

declare ptr @qh_facetcenter(ptr noundef) local_unnamed_addr #1

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

declare void @qh_maxsimplex(i32 noundef, ptr noundef, ptr noundef, i32 noundef, ptr noundef) local_unnamed_addr #1

declare ptr @qh_setdelnth(ptr noundef, i32 noundef) local_unnamed_addr #1

declare void @qh_printmatrix(ptr noundef, ptr noundef, ptr noundef, i32 noundef, i32 noundef) local_unnamed_addr #1

declare void @qh_sethyperplane_gauss(i32 noundef, ptr noundef, ptr noundef, i32 noundef, ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #1

declare double @qh_distnorm(i32 noundef, ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #1

declare i32 @qh_pointid(ptr noundef) local_unnamed_addr #1

declare void @qh_normalize(ptr noundef, i32 noundef, i32 noundef) local_unnamed_addr #1

declare i32 @qh_setin(ptr noundef, ptr noundef) local_unnamed_addr #1

declare void @qh_settempfree(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 = { nounwind 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 #3 = { 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 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!10, !11, i64 2448}
!10 = !{!"qhT", !11, i64 0, !11, i64 4, !11, i64 8, !11, i64 12, !11, i64 16, !11, i64 20, !12, i64 24, !11, i64 32, !11, i64 36, !11, i64 40, !11, i64 44, !11, i64 48, !11, i64 52, !11, i64 56, !11, i64 60, !12, i64 64, !12, i64 72, !11, i64 80, !11, i64 84, !11, i64 88, !11, i64 92, !11, i64 96, !11, i64 100, !6, i64 104, !11, i64 112, !11, i64 116, !6, i64 120, !11, i64 128, !11, i64 132, !11, i64 136, !11, i64 140, !11, i64 144, !11, i64 148, !11, i64 152, !12, i64 160, !12, i64 168, !11, i64 176, !11, i64 180, !11, i64 184, !11, i64 188, !12, i64 192, !12, i64 200, !11, i64 208, !11, i64 212, !12, i64 216, !11, i64 224, !11, i64 228, !11, i64 232, !11, i64 236, !11, i64 240, !11, i64 244, !11, i64 248, !11, i64 252, !11, i64 256, !11, i64 260, !11, i64 264, !11, i64 268, !11, i64 272, !11, i64 276, !11, i64 280, !11, i64 284, !11, i64 288, !11, i64 292, !11, i64 296, !7, i64 300, !11, i64 416, !11, i64 420, !11, i64 424, !11, i64 428, !11, i64 432, !11, i64 436, !11, i64 440, !11, i64 444, !12, i64 448, !12, i64 456, !12, i64 464, !11, i64 472, !11, i64 476, !11, i64 480, !11, i64 484, !11, i64 488, !11, i64 492, !11, i64 496, !11, i64 500, !11, i64 504, !11, i64 508, !11, i64 512, !11, i64 516, !11, i64 520, !11, i64 524, !11, i64 528, !11, i64 532, !11, i64 536, !11, i64 540, !11, i64 544, !12, i64 552, !11, i64 560, !11, i64 564, !11, i64 568, !11, i64 572, !11, i64 576, !11, i64 580, !11, i64 584, !11, i64 588, !12, i64 592, !11, i64 600, !6, i64 608, !6, i64 616, !11, i64 624, !11, i64 628, !11, i64 632, !11, i64 636, !11, i64 640, !6, i64 648, !11, i64 656, !6, i64 664, !11, i64 672, !7, i64 676, !11, i64 932, !7, i64 936, !7, i64 1192, !11, i64 1704, !11, i64 1708, !11, i64 1712, !11, i64 1716, !11, i64 1720, !11, i64 1724, !6, i64 1728, !6, i64 1736, !6, i64 1744, !6, i64 1752, !12, i64 1760, !12, i64 1768, !12, i64 1776, !12, i64 1784, !12, i64 1792, !12, i64 1800, !12, i64 1808, !12, i64 1816, !12, i64 1824, !12, i64 1832, !12, i64 1840, !12, i64 1848, !12, i64 1856, !12, i64 1864, !6, i64 1872, !12, i64 1880, !12, i64 1888, !12, i64 1896, !12, i64 1904, !11, i64 1912, !7, i64 1916, !7, i64 1928, !7, i64 2128, !7, i64 2168, !7, i64 2368, !6, i64 2408, !6, i64 2416, !6, i64 2424, !6, i64 2432, !11, i64 2440, !11, i64 2444, !11, i64 2448, !6, i64 2456, !6, i64 2464, !6, i64 2472, !6, i64 2480, !6, i64 2488, !11, i64 2496, !11, i64 2500, !6, i64 2504, !11, i64 2512, !6, i64 2520, !11, i64 2528, !6, i64 2536, !6, i64 2544, !6, i64 2552, !6, i64 2560, !11, i64 2568, !11, i64 2572, !11, i64 2576, !11, i64 2580, !11, i64 2584, !11, i64 2588, !11, i64 2592, !11, i64 2596, !13, i64 2600, !11, i64 2608, !11, i64 2612, !11, i64 2616, !11, i64 2620, !11, i64 2624, !6, i64 2632, !6, i64 2640, !11, i64 2648, !11, i64 2652, !11, i64 2656, !12, i64 2664, !11, i64 2672, !12, i64 2680, !12, i64 2688, !12, i64 2696, !11, i64 2704, !11, i64 2708, !11, i64 2712, !11, i64 2716, !11, i64 2720, !12, i64 2728, !12, i64 2736, !11, i64 2744, !11, i64 2748, !11, i64 2752, !11, i64 2756, !11, i64 2760, !11, i64 2764, !12, i64 2768, !12, i64 2776, !11, i64 2784, !11, i64 2788, !11, i64 2792, !11, i64 2796, !6, i64 2800, !6, i64 2808, !6, i64 2816, !6, i64 2824, !6, i64 2832, !6, i64 2840, !6, i64 2848, !6, i64 2856, !6, i64 2864, !11, i64 2872, !6, i64 2880, !6, i64 2888, !11, i64 2896, !11, i64 2900, !11, i64 2904, !6, i64 2912, !12, i64 2920, !12, i64 2928, !12, i64 2936, !12, i64 2944, !11, i64 2952, !11, i64 2956, !11, i64 2960, !11, i64 2964, !11, i64 2968, !11, i64 2972, !6, i64 2976, !6, i64 2984, !11, i64 2992}
!11 = !{!"int", !7, i64 0}
!12 = !{!"double", !7, i64 0}
!13 = !{!"long", !7, i64 0}
!14 = !{!11, !11, i64 0}
!15 = !{!10, !11, i64 632}
!16 = !{!12, !12, i64 0}
!17 = !{!10, !6, i64 2848}
!18 = !{!19, !6, i64 16}
!19 = !{!"vertexT", !6, i64 0, !6, i64 8, !6, i64 16, !6, i64 24, !11, i64 32, !11, i64 36, !11, i64 40, !11, i64 40, !11, i64 40, !11, i64 40, !11, i64 40, !11, i64 40}
!20 = distinct !{!20, !21, !22, !23}
!21 = !{!"llvm.loop.mustprogress"}
!22 = !{!"llvm.loop.isvectorized", i32 1}
!23 = !{!"llvm.loop.unroll.runtime.disable"}
!24 = distinct !{!24, !21, !22}
!25 = !{!26, !11, i64 104}
!26 = !{!"facetT", !12, i64 0, !12, i64 8, !12, i64 16, !6, i64 24, !7, i64 32, !6, i64 40, !6, i64 48, !6, i64 56, !6, i64 64, !6, i64 72, !6, i64 80, !6, i64 88, !6, i64 96, !11, i64 104, !11, i64 108, !11, i64 112, !11, i64 113, !11, i64 113, !11, i64 113, !11, i64 113, !11, i64 113, !11, i64 113, !11, i64 113, !11, i64 114, !11, i64 114, !11, i64 114, !11, i64 114, !11, i64 114, !11, i64 114, !11, i64 114, !11, i64 114, !11, i64 115, !11, i64 115, !11, i64 115, !11, i64 115, !11, i64 115, !11, i64 115, !11, i64 115, !11, i64 115}
!27 = !{!26, !6, i64 40}
!28 = !{!26, !6, i64 64}
!29 = distinct !{!29, !21}
!30 = !{!10, !6, i64 2424}
!31 = !{!7, !7, i64 0}
!32 = !{!10, !11, i64 136}
!33 = !{!10, !6, i64 2856}
!34 = distinct !{!34, !21, !22, !23}
!35 = distinct !{!35, !36}
!36 = !{!"llvm.loop.unroll.disable"}
!37 = distinct !{!37, !21, !22}
!38 = distinct !{!38, !21}
!39 = !{!10, !6, i64 120}
!40 = distinct !{!40, !21, !22, !23}
!41 = distinct !{!41, !21, !23, !22}
!42 = !{!10, !11, i64 580}
!43 = distinct !{!43, !21, !22, !23}
!44 = distinct !{!44, !36}
!45 = distinct !{!45, !21, !22}
!46 = distinct !{!46, !21}


; Effective O3 passes: CorrelatedValuePropagationPass,DSEPass,EarlyCSEPass,GVNPass,GlobalOptPass,IndVarSimplifyPass,InferAlignmentPass,InferFunctionAttrsPass,InstCombinePass,InstSimplifyPass,JumpThreadingPass,LCSSAPass,LICMPass,LoopLoadEliminationPass,LoopRotatePass,LoopSimplifyPass,LoopUnrollPass,LoopVectorizePass,PostOrderFunctionAttrsPass,ReassociatePass,SROAPass,SimplifyCFGPass,TailCallElimPass