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

; 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, i32, i32, [1 x %struct.__jmp_buf_tag], [40 x i8], i32, double, ptr, ptr, ptr, %struct.qhmemT, %struct.qhstatT }
%struct.__jmp_buf_tag = type { [8 x i64], i32, %struct.__sigset_t }
%struct.__sigset_t = type { [16 x i64] }
%struct.qhmemT = type { i32, i32, i32, i32, i32, i32, ptr, ptr, ptr, ptr, ptr, i32, ptr, ptr, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32 }
%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.facetT = type { double, double, double, ptr, %union.anon, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, i32, i32, i32 }
%union.anon = type { double }
%struct.setT = type { i32, [1 x %union.setelemT] }
%union.setelemT = type { ptr }
%struct.vertexT = type { ptr, ptr, ptr, ptr, i32, i32, i8 }

@.str.107 = external hidden unnamed_addr constant [65 x i8], align 1
@.str.108 = external hidden unnamed_addr constant [63 x i8], align 1
@.str.109 = external hidden unnamed_addr constant [117 x i8], align 1
@.str.110 = external hidden unnamed_addr constant [97 x i8], align 1
@.str.111 = external hidden unnamed_addr constant [95 x i8], align 1
@.str.112 = external hidden unnamed_addr constant [95 x i8], align 1
@.str.113 = external hidden unnamed_addr constant [89 x i8], align 1
@.str.114 = external hidden unnamed_addr constant [137 x i8], align 1
@.str.115 = external hidden unnamed_addr constant [96 x i8], align 1
@.str.116 = external hidden unnamed_addr constant [88 x i8], align 1
@.str.117 = external hidden unnamed_addr constant [121 x i8], align 1
@.str.118 = external hidden unnamed_addr constant [74 x i8], align 1
@.str.119 = external hidden unnamed_addr constant [16 x i8], align 1
@.str.120 = external hidden unnamed_addr constant [151 x i8], align 1
@.str.121 = external hidden unnamed_addr constant [91 x i8], align 1
@.str.122 = external hidden unnamed_addr constant [110 x i8], align 1
@.str.123 = external hidden unnamed_addr constant [103 x i8], align 1
@.str.124 = external hidden unnamed_addr constant [104 x i8], align 1
@.str.125 = external hidden unnamed_addr constant [68 x i8], align 1
@.str.126 = external hidden unnamed_addr constant [127 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, ptr noundef) #1

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

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

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

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

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

; Function Attrs: nounwind uwtable
define dso_local void @qh_checkpolygon(ptr noundef %0, ptr noundef %1) #2 {
  %3 = alloca ptr, align 8
  %4 = alloca ptr, align 8
  %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 ptr, align 8
  %12 = alloca ptr, align 8
  %13 = alloca i32, align 4
  %14 = alloca i32, align 4
  %15 = alloca i32, align 4
  %16 = alloca i32, align 4
  %17 = alloca i32, align 4
  %18 = alloca i32, align 4
  %19 = alloca i32, align 4
  %20 = alloca i32, align 4
  %21 = alloca i32, align 4
  %22 = alloca i32, align 4
  %23 = alloca i32, align 4
  store ptr %0, ptr %3, align 8, !tbaa !5
  store ptr %1, ptr %4, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %5) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %6) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %7) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %8) #3
  store ptr null, ptr %8, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %9) #3
  store ptr null, ptr %9, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %10) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %11) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %12) #3
  call void @llvm.lifetime.start.p0(i64 4, ptr %13) #3
  store i32 0, ptr %13, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %14) #3
  store i32 0, ptr %14, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %15) #3
  store i32 0, ptr %15, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %16) #3
  store i32 0, ptr %16, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %17) #3
  store i32 0, ptr %17, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %18) #3
  store i32 0, ptr %18, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %19) #3
  store i32 0, ptr %19, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %20) #3
  store i32 0, ptr %20, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %21) #3
  store i32 0, ptr %21, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %22) #3
  store i32 0, ptr %22, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %23) #3
  %24 = load ptr, ptr %3, align 8, !tbaa !5
  %25 = getelementptr inbounds %struct.qhT, ptr %24, i32 0, i32 29
  %26 = load i32, ptr %25, align 8, !tbaa !11
  %27 = icmp sge i32 %26, 1
  br i1 %27, label %28, label %39

28:                                               ; preds = %2
  %29 = load ptr, ptr %3, align 8, !tbaa !5
  %30 = load ptr, ptr %3, align 8, !tbaa !5
  %31 = getelementptr inbounds %struct.qhT, ptr %30, i32 0, i32 158
  %32 = load ptr, ptr %31, align 8, !tbaa !17
  %33 = load ptr, ptr %4, align 8, !tbaa !5
  %34 = getelementptr inbounds %struct.facetT, ptr %33, i32 0, i32 14
  %35 = load i32, ptr %34, align 4, !tbaa !18
  %36 = load ptr, ptr %3, align 8, !tbaa !5
  %37 = getelementptr inbounds %struct.qhT, ptr %36, i32 0, i32 203
  %38 = load i32, ptr %37, align 4, !tbaa !20
  call void (ptr, ptr, i32, ptr, ...) @qh_fprintf(ptr noundef %29, ptr noundef %32, i32 noundef 1027, ptr noundef @.str.107, i32 noundef %35, i32 noundef %38)
  br label %39

39:                                               ; preds = %28, %2
  %40 = load ptr, ptr %3, align 8, !tbaa !5
  %41 = load ptr, ptr %4, align 8, !tbaa !5
  %42 = call i32 @qh_checklists(ptr noundef %40, ptr noundef %41)
  %43 = icmp ne i32 %42, 0
  br i1 %43, label %56, label %44

44:                                               ; preds = %39
  store i32 1, ptr %18, align 4, !tbaa !9
  %45 = load ptr, ptr %3, align 8, !tbaa !5
  %46 = load ptr, ptr %3, align 8, !tbaa !5
  %47 = getelementptr inbounds %struct.qhT, ptr %46, i32 0, i32 158
  %48 = load ptr, ptr %47, align 8, !tbaa !17
  call void (ptr, ptr, i32, ptr, ...) @qh_fprintf(ptr noundef %45, ptr noundef %48, i32 noundef 6374, ptr noundef @.str.108)
  %49 = load ptr, ptr %3, align 8, !tbaa !5
  %50 = getelementptr inbounds %struct.qhT, ptr %49, i32 0, i32 178
  %51 = load i32, ptr %50, align 8, !tbaa !21
  %52 = icmp slt i32 %51, 4000
  br i1 %52, label %53, label %55

53:                                               ; preds = %44
  %54 = load ptr, ptr %3, align 8, !tbaa !5
  call void @qh_printlists(ptr noundef %54)
  br label %55

55:                                               ; preds = %53, %44
  br label %56

56:                                               ; preds = %55, %39
  %57 = load ptr, ptr %4, align 8, !tbaa !5
  %58 = load ptr, ptr %3, align 8, !tbaa !5
  %59 = getelementptr inbounds %struct.qhT, ptr %58, i32 0, i32 163
  %60 = load ptr, ptr %59, align 8, !tbaa !22
  %61 = icmp ne ptr %57, %60
  br i1 %61, label %67, label %62

62:                                               ; preds = %56
  %63 = load ptr, ptr %3, align 8, !tbaa !5
  %64 = getelementptr inbounds %struct.qhT, ptr %63, i32 0, i32 48
  %65 = load i32, ptr %64, align 4, !tbaa !23
  %66 = icmp ne i32 %65, 0
  br i1 %66, label %67, label %68

67:                                               ; preds = %62, %56
  store i32 1, ptr %21, align 4, !tbaa !9
  br label %68

68:                                               ; preds = %67, %62
  %69 = load ptr, ptr %4, align 8, !tbaa !5
  %70 = icmp ne ptr %69, null
  br i1 %70, label %71, label %396

71:                                               ; preds = %68
  %72 = load ptr, ptr %4, align 8, !tbaa !5
  store ptr %72, ptr %5, align 8, !tbaa !5
  br label %73

73:                                               ; preds = %391, %71
  %74 = load ptr, ptr %5, align 8, !tbaa !5
  %75 = icmp ne ptr %74, null
  br i1 %75, label %76, label %81

76:                                               ; preds = %73
  %77 = load ptr, ptr %5, align 8, !tbaa !5
  %78 = getelementptr inbounds %struct.facetT, ptr %77, i32 0, i32 7
  %79 = load ptr, ptr %78, align 8, !tbaa !24
  %80 = icmp ne ptr %79, null
  br label %81

81:                                               ; preds = %76, %73
  %82 = phi i1 [ false, %73 ], [ %80, %76 ]
  br i1 %82, label %83, label %395

83:                                               ; preds = %81
  %84 = load ptr, ptr %5, align 8, !tbaa !5
  %85 = load ptr, ptr %3, align 8, !tbaa !5
  %86 = getelementptr inbounds %struct.qhT, ptr %85, i32 0, i32 167
  %87 = load ptr, ptr %86, align 8, !tbaa !25
  %88 = icmp eq ptr %84, %87
  br i1 %88, label %89, label %90

89:                                               ; preds = %83
  store i32 1, ptr %22, align 4, !tbaa !9
  br label %90

90:                                               ; preds = %89, %83
  %91 = load ptr, ptr %5, align 8, !tbaa !5
  %92 = load ptr, ptr %3, align 8, !tbaa !5
  %93 = getelementptr inbounds %struct.qhT, ptr %92, i32 0, i32 166
  %94 = load ptr, ptr %93, align 8, !tbaa !26
  %95 = icmp eq ptr %91, %94
  br i1 %95, label %96, label %97

96:                                               ; preds = %90
  store i32 1, ptr %19, align 4, !tbaa !9
  br label %97

97:                                               ; preds = %96, %90
  %98 = load ptr, ptr %5, align 8, !tbaa !5
  %99 = getelementptr inbounds %struct.facetT, ptr %98, i32 0, i32 15
  %100 = load i32, ptr %99, align 8
  %101 = lshr i32 %100, 10
  %102 = and i32 %101, 1
  %103 = icmp ne i32 %102, 0
  br i1 %103, label %104, label %146

104:                                              ; preds = %97
  %105 = load i32, ptr %19, align 4, !tbaa !9
  %106 = icmp ne i32 %105, 0
  br i1 %106, label %146, label %107

107:                                              ; preds = %104
  %108 = load i32, ptr %22, align 4, !tbaa !9
  %109 = icmp ne i32 %108, 0
  br i1 %109, label %146, label %110

110:                                              ; preds = %107
  %111 = load ptr, ptr %3, align 8, !tbaa !5
  %112 = load ptr, ptr %3, align 8, !tbaa !5
  %113 = getelementptr inbounds %struct.qhT, ptr %112, i32 0, i32 158
  %114 = load ptr, ptr %113, align 8, !tbaa !17
  %115 = load ptr, ptr %5, align 8, !tbaa !5
  %116 = getelementptr inbounds %struct.facetT, ptr %115, i32 0, i32 14
  %117 = load i32, ptr %116, align 4, !tbaa !18
  %118 = load ptr, ptr %3, align 8, !tbaa !5
  %119 = getelementptr inbounds %struct.qhT, ptr %118, i32 0, i32 166
  %120 = load ptr, ptr %119, align 8, !tbaa !26
  %121 = icmp ne ptr %120, null
  br i1 %121, label %122, label %128

122:                                              ; preds = %110
  %123 = load ptr, ptr %3, align 8, !tbaa !5
  %124 = getelementptr inbounds %struct.qhT, ptr %123, i32 0, i32 166
  %125 = load ptr, ptr %124, align 8, !tbaa !26
  %126 = getelementptr inbounds %struct.facetT, ptr %125, i32 0, i32 14
  %127 = load i32, ptr %126, align 4, !tbaa !18
  br label %129

128:                                              ; preds = %110
  br label %129

129:                                              ; preds = %128, %122
  %130 = phi i32 [ %127, %122 ], [ -1, %128 ]
  %131 = load ptr, ptr %3, align 8, !tbaa !5
  %132 = getelementptr inbounds %struct.qhT, ptr %131, i32 0, i32 167
  %133 = load ptr, ptr %132, align 8, !tbaa !25
  %134 = icmp ne ptr %133, null
  br i1 %134, label %135, label %141

135:                                              ; preds = %129
  %136 = load ptr, ptr %3, align 8, !tbaa !5
  %137 = getelementptr inbounds %struct.qhT, ptr %136, i32 0, i32 167
  %138 = load ptr, ptr %137, align 8, !tbaa !25
  %139 = getelementptr inbounds %struct.facetT, ptr %138, i32 0, i32 14
  %140 = load i32, ptr %139, align 4, !tbaa !18
  br label %142

141:                                              ; preds = %129
  br label %142

142:                                              ; preds = %141, %135
  %143 = phi i32 [ %140, %135 ], [ -1, %141 ]
  call void (ptr, ptr, i32, ptr, ...) @qh_fprintf(ptr noundef %111, ptr noundef %114, i32 noundef 6289, ptr noundef @.str.109, i32 noundef %117, i32 noundef %130, i32 noundef %143)
  %144 = load ptr, ptr %3, align 8, !tbaa !5
  %145 = load ptr, ptr %5, align 8, !tbaa !5
  call void @qh_errexit(ptr noundef %144, i32 noundef 5, ptr noundef %145, ptr noundef null)
  br label %146

146:                                              ; preds = %142, %107, %104, %97
  %147 = load ptr, ptr %5, align 8, !tbaa !5
  %148 = getelementptr inbounds %struct.facetT, ptr %147, i32 0, i32 15
  %149 = load i32, ptr %148, align 8
  %150 = lshr i32 %149, 10
  %151 = and i32 %150, 1
  %152 = icmp ne i32 %151, 0
  br i1 %152, label %179, label %153

153:                                              ; preds = %146
  %154 = load i32, ptr %19, align 4, !tbaa !9
  %155 = icmp ne i32 %154, 0
  br i1 %155, label %156, label %179

156:                                              ; preds = %153
  %157 = load ptr, ptr %3, align 8, !tbaa !5
  %158 = load ptr, ptr %3, align 8, !tbaa !5
  %159 = getelementptr inbounds %struct.qhT, ptr %158, i32 0, i32 158
  %160 = load ptr, ptr %159, align 8, !tbaa !17
  %161 = load ptr, ptr %5, align 8, !tbaa !5
  %162 = getelementptr inbounds %struct.facetT, ptr %161, i32 0, i32 14
  %163 = load i32, ptr %162, align 4, !tbaa !18
  %164 = load ptr, ptr %3, align 8, !tbaa !5
  %165 = getelementptr inbounds %struct.qhT, ptr %164, i32 0, i32 166
  %166 = load ptr, ptr %165, align 8, !tbaa !26
  %167 = icmp ne ptr %166, null
  br i1 %167, label %168, label %174

168:                                              ; preds = %156
  %169 = load ptr, ptr %3, align 8, !tbaa !5
  %170 = getelementptr inbounds %struct.qhT, ptr %169, i32 0, i32 166
  %171 = load ptr, ptr %170, align 8, !tbaa !26
  %172 = getelementptr inbounds %struct.facetT, ptr %171, i32 0, i32 14
  %173 = load i32, ptr %172, align 4, !tbaa !18
  br label %175

174:                                              ; preds = %156
  br label %175

175:                                              ; preds = %174, %168
  %176 = phi i32 [ %173, %168 ], [ -1, %174 ]
  call void (ptr, ptr, i32, ptr, ...) @qh_fprintf(ptr noundef %157, ptr noundef %160, i32 noundef 6292, ptr noundef @.str.110, i32 noundef %163, i32 noundef %176)
  %177 = load ptr, ptr %3, align 8, !tbaa !5
  %178 = load ptr, ptr %5, align 8, !tbaa !5
  call void @qh_errexit(ptr noundef %177, i32 noundef 5, ptr noundef %178, ptr noundef null)
  br label %179

179:                                              ; preds = %175, %153, %146
  %180 = load ptr, ptr %5, align 8, !tbaa !5
  %181 = getelementptr inbounds %struct.facetT, ptr %180, i32 0, i32 15
  %182 = load i32, ptr %181, align 8
  %183 = lshr i32 %182, 11
  %184 = and i32 %183, 1
  %185 = load i32, ptr %22, align 4, !tbaa !9
  %186 = load i32, ptr %19, align 4, !tbaa !9
  %187 = icmp ne i32 %186, 0
  %188 = xor i1 %187, true
  %189 = zext i1 %188 to i32
  %190 = and i32 %185, %189
  %191 = icmp ne i32 %184, %190
  br i1 %191, label %192, label %236

192:                                              ; preds = %179
  %193 = load ptr, ptr %5, align 8, !tbaa !5
  %194 = getelementptr inbounds %struct.facetT, ptr %193, i32 0, i32 15
  %195 = load i32, ptr %194, align 8
  %196 = lshr i32 %195, 11
  %197 = and i32 %196, 1
  %198 = icmp ne i32 %197, 0
  br i1 %198, label %199, label %220

199:                                              ; preds = %192
  %200 = load ptr, ptr %3, align 8, !tbaa !5
  %201 = load ptr, ptr %3, align 8, !tbaa !5
  %202 = getelementptr inbounds %struct.qhT, ptr %201, i32 0, i32 158
  %203 = load ptr, ptr %202, align 8, !tbaa !17
  %204 = load ptr, ptr %5, align 8, !tbaa !5
  %205 = getelementptr inbounds %struct.facetT, ptr %204, i32 0, i32 14
  %206 = load i32, ptr %205, align 4, !tbaa !18
  %207 = load ptr, ptr %3, align 8, !tbaa !5
  %208 = getelementptr inbounds %struct.qhT, ptr %207, i32 0, i32 167
  %209 = load ptr, ptr %208, align 8, !tbaa !25
  %210 = icmp ne ptr %209, null
  br i1 %210, label %211, label %217

211:                                              ; preds = %199
  %212 = load ptr, ptr %3, align 8, !tbaa !5
  %213 = getelementptr inbounds %struct.qhT, ptr %212, i32 0, i32 167
  %214 = load ptr, ptr %213, align 8, !tbaa !25
  %215 = getelementptr inbounds %struct.facetT, ptr %214, i32 0, i32 14
  %216 = load i32, ptr %215, align 4, !tbaa !18
  br label %218

217:                                              ; preds = %199
  br label %218

218:                                              ; preds = %217, %211
  %219 = phi i32 [ %216, %211 ], [ -1, %217 ]
  call void (ptr, ptr, i32, ptr, ...) @qh_fprintf(ptr noundef %200, ptr noundef %203, i32 noundef 6290, ptr noundef @.str.111, i32 noundef %206, i32 noundef %219)
  br label %233

220:                                              ; preds = %192
  %221 = load ptr, ptr %3, align 8, !tbaa !5
  %222 = load ptr, ptr %3, align 8, !tbaa !5
  %223 = getelementptr inbounds %struct.qhT, ptr %222, i32 0, i32 158
  %224 = load ptr, ptr %223, align 8, !tbaa !17
  %225 = load ptr, ptr %5, align 8, !tbaa !5
  %226 = getelementptr inbounds %struct.facetT, ptr %225, i32 0, i32 14
  %227 = load i32, ptr %226, align 4, !tbaa !18
  %228 = load ptr, ptr %3, align 8, !tbaa !5
  %229 = getelementptr inbounds %struct.qhT, ptr %228, i32 0, i32 166
  %230 = load ptr, ptr %229, align 8, !tbaa !26
  %231 = getelementptr inbounds %struct.facetT, ptr %230, i32 0, i32 14
  %232 = load i32, ptr %231, align 4, !tbaa !18
  call void (ptr, ptr, i32, ptr, ...) @qh_fprintf(ptr noundef %221, ptr noundef %224, i32 noundef 6291, ptr noundef @.str.112, i32 noundef %227, i32 noundef %232)
  br label %233

233:                                              ; preds = %220, %218
  %234 = load ptr, ptr %3, align 8, !tbaa !5
  %235 = load ptr, ptr %5, align 8, !tbaa !5
  call void @qh_errexit(ptr noundef %234, i32 noundef 5, ptr noundef %235, ptr noundef null)
  br label %236

236:                                              ; preds = %233, %179
  %237 = load ptr, ptr %3, align 8, !tbaa !5
  %238 = getelementptr inbounds %struct.qhT, ptr %237, i32 0, i32 203
  %239 = load i32, ptr %238, align 4, !tbaa !20
  %240 = icmp ne i32 %239, 0
  br i1 %240, label %241, label %250

241:                                              ; preds = %236
  %242 = load ptr, ptr %5, align 8, !tbaa !5
  %243 = getelementptr inbounds %struct.facetT, ptr %242, i32 0, i32 15
  %244 = load i32, ptr %243, align 8
  %245 = lshr i32 %244, 10
  %246 = and i32 %245, 1
  %247 = icmp ne i32 %246, 0
  %248 = xor i1 %247, true
  %249 = zext i1 %248 to i32
  store i32 %249, ptr %23, align 4, !tbaa !9
  br label %259

250:                                              ; preds = %236
  %251 = load ptr, ptr %5, align 8, !tbaa !5
  %252 = getelementptr inbounds %struct.facetT, ptr %251, i32 0, i32 15
  %253 = load i32, ptr %252, align 8
  %254 = lshr i32 %253, 11
  %255 = and i32 %254, 1
  %256 = icmp ne i32 %255, 0
  %257 = xor i1 %256, true
  %258 = zext i1 %257 to i32
  store i32 %258, ptr %23, align 4, !tbaa !9
  br label %259

259:                                              ; preds = %250, %241
  %260 = load i32, ptr %23, align 4, !tbaa !9
  %261 = icmp ne i32 %260, 0
  br i1 %261, label %262, label %326

262:                                              ; preds = %259
  %263 = load i32, ptr %21, align 4, !tbaa !9
  %264 = icmp ne i32 %263, 0
  br i1 %264, label %321, label %265

265:                                              ; preds = %262
  %266 = load ptr, ptr %5, align 8, !tbaa !5
  %267 = load ptr, ptr %3, align 8, !tbaa !5
  %268 = getelementptr inbounds %struct.qhT, ptr %267, i32 0, i32 165
  %269 = load ptr, ptr %268, align 8, !tbaa !27
  %270 = icmp eq ptr %266, %269
  br i1 %270, label %271, label %272

271:                                              ; preds = %265
  store i32 1, ptr %21, align 4, !tbaa !9
  br label %320

272:                                              ; preds = %265
  %273 = load ptr, ptr %3, align 8, !tbaa !5
  %274 = load ptr, ptr %5, align 8, !tbaa !5
  %275 = getelementptr inbounds %struct.facetT, ptr %274, i32 0, i32 11
  %276 = load ptr, ptr %275, align 8, !tbaa !28
  %277 = call i32 @qh_setsize(ptr noundef %273, ptr noundef %276)
  %278 = icmp ne i32 %277, 0
  br i1 %278, label %279, label %319

279:                                              ; preds = %272
  %280 = load ptr, ptr %3, align 8, !tbaa !5
  %281 = getelementptr inbounds %struct.qhT, ptr %280, i32 0, i32 150
  %282 = load i32, ptr %281, align 8, !tbaa !29
  %283 = icmp ne i32 %282, 0
  br i1 %283, label %284, label %292

284:                                              ; preds = %279
  %285 = load ptr, ptr %5, align 8, !tbaa !5
  %286 = getelementptr inbounds %struct.facetT, ptr %285, i32 0, i32 0
  %287 = load double, ptr %286, align 8, !tbaa !30
  %288 = load ptr, ptr %3, align 8, !tbaa !5
  %289 = getelementptr inbounds %struct.qhT, ptr %288, i32 0, i32 6
  %290 = load double, ptr %289, align 8, !tbaa !31
  %291 = fcmp oge double %287, %290
  br i1 %291, label %292, label %318

292:                                              ; preds = %284, %279
  %293 = load ptr, ptr %3, align 8, !tbaa !5
  %294 = load ptr, ptr %3, align 8, !tbaa !5
  %295 = getelementptr inbounds %struct.qhT, ptr %294, i32 0, i32 158
  %296 = load ptr, ptr %295, align 8, !tbaa !17
  %297 = load ptr, ptr %5, align 8, !tbaa !5
  %298 = getelementptr inbounds %struct.facetT, ptr %297, i32 0, i32 14
  %299 = load i32, ptr %298, align 4, !tbaa !18
  %300 = load ptr, ptr %3, align 8, !tbaa !5
  %301 = getelementptr inbounds %struct.qhT, ptr %300, i32 0, i32 165
  %302 = load ptr, ptr %301, align 8, !tbaa !27
  %303 = icmp ne ptr %302, null
  br i1 %303, label %304, label %310

304:                                              ; preds = %292
  %305 = load ptr, ptr %3, align 8, !tbaa !5
  %306 = getelementptr inbounds %struct.qhT, ptr %305, i32 0, i32 165
  %307 = load ptr, ptr %306, align 8, !tbaa !27
  %308 = getelementptr inbounds %struct.facetT, ptr %307, i32 0, i32 14
  %309 = load i32, ptr %308, align 4, !tbaa !18
  br label %311

310:                                              ; preds = %292
  br label %311

311:                                              ; preds = %310, %304
  %312 = phi i32 [ %309, %304 ], [ -1, %310 ]
  call void (ptr, ptr, i32, ptr, ...) @qh_fprintf(ptr noundef %293, ptr noundef %296, i32 noundef 6137, ptr noundef @.str.113, i32 noundef %299, i32 noundef %312)
  %313 = load ptr, ptr %3, align 8, !tbaa !5
  %314 = load ptr, ptr %5, align 8, !tbaa !5
  %315 = load ptr, ptr %3, align 8, !tbaa !5
  %316 = getelementptr inbounds %struct.qhT, ptr %315, i32 0, i32 165
  %317 = load ptr, ptr %316, align 8, !tbaa !27
  call void @qh_errexit2(ptr noundef %313, i32 noundef 5, ptr noundef %314, ptr noundef %317)
  br label %318

318:                                              ; preds = %311, %284
  br label %319

319:                                              ; preds = %318, %272
  br label %320

320:                                              ; preds = %319, %271
  br label %321

321:                                              ; preds = %320, %262
  %322 = load i32, ptr %13, align 4, !tbaa !9
  %323 = add nsw i32 %322, 1
  store i32 %323, ptr %13, align 4, !tbaa !9
  %324 = load ptr, ptr %3, align 8, !tbaa !5
  %325 = load ptr, ptr %5, align 8, !tbaa !5
  call void @qh_checkfacet(ptr noundef %324, ptr noundef %325, i32 noundef 0, ptr noundef %18)
  br label %390

326:                                              ; preds = %259
  %327 = load ptr, ptr %5, align 8, !tbaa !5
  %328 = getelementptr inbounds %struct.facetT, ptr %327, i32 0, i32 15
  %329 = load i32, ptr %328, align 8
  %330 = lshr i32 %329, 11
  %331 = and i32 %330, 1
  %332 = icmp ne i32 %331, 0
  br i1 %332, label %333, label %389

333:                                              ; preds = %326
  %334 = load ptr, ptr %3, align 8, !tbaa !5
  %335 = getelementptr inbounds %struct.qhT, ptr %334, i32 0, i32 202
  %336 = load i32, ptr %335, align 8, !tbaa !32
  %337 = icmp ne i32 %336, 0
  br i1 %337, label %338, label %389

338:                                              ; preds = %333
  %339 = load ptr, ptr %5, align 8, !tbaa !5
  %340 = getelementptr inbounds %struct.facetT, ptr %339, i32 0, i32 10
  %341 = load ptr, ptr %340, align 8, !tbaa !33
  %342 = icmp ne ptr %341, null
  br i1 %342, label %343, label %353

343:                                              ; preds = %338
  %344 = load ptr, ptr %5, align 8, !tbaa !5
  %345 = getelementptr inbounds %struct.facetT, ptr %344, i32 0, i32 10
  %346 = load ptr, ptr %345, align 8, !tbaa !33
  %347 = getelementptr inbounds %struct.setT, ptr %346, i32 0, i32 1
  %348 = getelementptr inbounds [1 x %union.setelemT], ptr %347, i64 0, i64 0
  %349 = load ptr, ptr %348, align 8, !tbaa !34
  %350 = icmp ne ptr %349, null
  br i1 %350, label %351, label %352

351:                                              ; preds = %343
  br i1 false, label %353, label %368

352:                                              ; preds = %343
  br i1 true, label %353, label %368

353:                                              ; preds = %352, %351, %338
  %354 = load ptr, ptr %5, align 8, !tbaa !5
  %355 = getelementptr inbounds %struct.facetT, ptr %354, i32 0, i32 9
  %356 = load ptr, ptr %355, align 8, !tbaa !35
  %357 = icmp ne ptr %356, null
  br i1 %357, label %358, label %388

358:                                              ; preds = %353
  %359 = load ptr, ptr %5, align 8, !tbaa !5
  %360 = getelementptr inbounds %struct.facetT, ptr %359, i32 0, i32 9
  %361 = load ptr, ptr %360, align 8, !tbaa !35
  %362 = getelementptr inbounds %struct.setT, ptr %361, i32 0, i32 1
  %363 = getelementptr inbounds [1 x %union.setelemT], ptr %362, i64 0, i64 0
  %364 = load ptr, ptr %363, align 8, !tbaa !34
  %365 = icmp ne ptr %364, null
  br i1 %365, label %366, label %367

366:                                              ; preds = %358
  br i1 false, label %388, label %368

367:                                              ; preds = %358
  br i1 true, label %388, label %368

368:                                              ; preds = %367, %366, %352, %351
  %369 = load ptr, ptr %3, align 8, !tbaa !5
  %370 = load ptr, ptr %3, align 8, !tbaa !5
  %371 = getelementptr inbounds %struct.qhT, ptr %370, i32 0, i32 158
  %372 = load ptr, ptr %371, align 8, !tbaa !17
  %373 = load ptr, ptr %5, align 8, !tbaa !5
  %374 = getelementptr inbounds %struct.facetT, ptr %373, i32 0, i32 14
  %375 = load i32, ptr %374, align 4, !tbaa !18
  %376 = load ptr, ptr %3, align 8, !tbaa !5
  %377 = load ptr, ptr %5, align 8, !tbaa !5
  %378 = getelementptr inbounds %struct.facetT, ptr %377, i32 0, i32 10
  %379 = load ptr, ptr %378, align 8, !tbaa !33
  %380 = call i32 @qh_setsize(ptr noundef %376, ptr noundef %379)
  %381 = load ptr, ptr %3, align 8, !tbaa !5
  %382 = load ptr, ptr %5, align 8, !tbaa !5
  %383 = getelementptr inbounds %struct.facetT, ptr %382, i32 0, i32 9
  %384 = load ptr, ptr %383, align 8, !tbaa !35
  %385 = call i32 @qh_setsize(ptr noundef %381, ptr noundef %384)
  call void (ptr, ptr, i32, ptr, ...) @qh_fprintf(ptr noundef %369, ptr noundef %372, i32 noundef 6376, ptr noundef @.str.114, i32 noundef %375, i32 noundef %380, i32 noundef %385)
  %386 = load ptr, ptr %3, align 8, !tbaa !5
  %387 = load ptr, ptr %5, align 8, !tbaa !5
  call void @qh_errexit(ptr noundef %386, i32 noundef 5, ptr noundef %387, ptr noundef null)
  br label %388

388:                                              ; preds = %368, %367, %366, %353
  br label %389

389:                                              ; preds = %388, %333, %326
  br label %390

390:                                              ; preds = %389, %321
  br label %391

391:                                              ; preds = %390
  %392 = load ptr, ptr %5, align 8, !tbaa !5
  %393 = getelementptr inbounds %struct.facetT, ptr %392, i32 0, i32 7
  %394 = load ptr, ptr %393, align 8, !tbaa !24
  store ptr %394, ptr %5, align 8, !tbaa !5
  br label %73, !llvm.loop !36

395:                                              ; preds = %81
  br label %396

396:                                              ; preds = %395, %68
  %397 = load ptr, ptr %4, align 8, !tbaa !5
  %398 = load ptr, ptr %3, align 8, !tbaa !5
  %399 = getelementptr inbounds %struct.qhT, ptr %398, i32 0, i32 163
  %400 = load ptr, ptr %399, align 8, !tbaa !22
  %401 = icmp eq ptr %397, %400
  br i1 %401, label %402, label %406

402:                                              ; preds = %396
  %403 = load ptr, ptr %3, align 8, !tbaa !5
  %404 = getelementptr inbounds %struct.qhT, ptr %403, i32 0, i32 175
  %405 = load ptr, ptr %404, align 8, !tbaa !38
  store ptr %405, ptr %12, align 8, !tbaa !5
  br label %418

406:                                              ; preds = %396
  %407 = load ptr, ptr %4, align 8, !tbaa !5
  %408 = load ptr, ptr %3, align 8, !tbaa !5
  %409 = getelementptr inbounds %struct.qhT, ptr %408, i32 0, i32 166
  %410 = load ptr, ptr %409, align 8, !tbaa !26
  %411 = icmp eq ptr %407, %410
  br i1 %411, label %412, label %416

412:                                              ; preds = %406
  %413 = load ptr, ptr %3, align 8, !tbaa !5
  %414 = getelementptr inbounds %struct.qhT, ptr %413, i32 0, i32 177
  %415 = load ptr, ptr %414, align 8, !tbaa !39
  store ptr %415, ptr %12, align 8, !tbaa !5
  br label %417

416:                                              ; preds = %406
  store ptr null, ptr %12, align 8, !tbaa !5
  br label %417

417:                                              ; preds = %416, %412
  br label %418

418:                                              ; preds = %417, %402
  %419 = load ptr, ptr %12, align 8, !tbaa !5
  store ptr %419, ptr %10, align 8, !tbaa !5
  br label %420

420:                                              ; preds = %491, %418
  %421 = load ptr, ptr %10, align 8, !tbaa !5
  %422 = icmp ne ptr %421, null
  br i1 %422, label %423, label %428

423:                                              ; preds = %420
  %424 = load ptr, ptr %10, align 8, !tbaa !5
  %425 = getelementptr inbounds %struct.vertexT, ptr %424, i32 0, i32 0
  %426 = load ptr, ptr %425, align 8, !tbaa !40
  %427 = icmp ne ptr %426, null
  br label %428

428:                                              ; preds = %423, %420
  %429 = phi i1 [ false, %420 ], [ %427, %423 ]
  br i1 %429, label %430, label %495

430:                                              ; preds = %428
  %431 = load ptr, ptr %3, align 8, !tbaa !5
  %432 = load ptr, ptr %10, align 8, !tbaa !5
  call void @qh_checkvertex(ptr noundef %431, ptr noundef %432, i32 noundef 0, ptr noundef %18)
  %433 = load ptr, ptr %10, align 8, !tbaa !5
  %434 = load ptr, ptr %3, align 8, !tbaa !5
  %435 = getelementptr inbounds %struct.qhT, ptr %434, i32 0, i32 177
  %436 = load ptr, ptr %435, align 8, !tbaa !39
  %437 = icmp eq ptr %433, %436
  br i1 %437, label %438, label %439

438:                                              ; preds = %430
  store i32 1, ptr %20, align 4, !tbaa !9
  br label %439

439:                                              ; preds = %438, %430
  %440 = load ptr, ptr %10, align 8, !tbaa !5
  %441 = getelementptr inbounds %struct.vertexT, ptr %440, i32 0, i32 6
  %442 = load i8, ptr %441, align 8
  %443 = and i8 %442, -2
  %444 = or i8 %443, 0
  store i8 %444, ptr %441, align 8
  %445 = load ptr, ptr %10, align 8, !tbaa !5
  %446 = getelementptr inbounds %struct.vertexT, ptr %445, i32 0, i32 5
  store i32 0, ptr %446, align 4, !tbaa !42
  %447 = load ptr, ptr %10, align 8, !tbaa !5
  %448 = getelementptr inbounds %struct.vertexT, ptr %447, i32 0, i32 6
  %449 = load i8, ptr %448, align 8
  %450 = lshr i8 %449, 4
  %451 = and i8 %450, 1
  %452 = zext i8 %451 to i32
  %453 = icmp ne i32 %452, 0
  br i1 %453, label %454, label %490

454:                                              ; preds = %439
  %455 = load i32, ptr %20, align 4, !tbaa !9
  %456 = icmp ne i32 %455, 0
  br i1 %456, label %490, label %457

457:                                              ; preds = %454
  %458 = load ptr, ptr %10, align 8, !tbaa !5
  %459 = getelementptr inbounds %struct.vertexT, ptr %458, i32 0, i32 6
  %460 = load i8, ptr %459, align 8
  %461 = lshr i8 %460, 2
  %462 = and i8 %461, 1
  %463 = zext i8 %462 to i32
  %464 = icmp ne i32 %463, 0
  br i1 %464, label %490, label %465

465:                                              ; preds = %457
  %466 = load ptr, ptr %3, align 8, !tbaa !5
  %467 = load ptr, ptr %3, align 8, !tbaa !5
  %468 = getelementptr inbounds %struct.qhT, ptr %467, i32 0, i32 158
  %469 = load ptr, ptr %468, align 8, !tbaa !17
  %470 = load ptr, ptr %10, align 8, !tbaa !5
  %471 = getelementptr inbounds %struct.vertexT, ptr %470, i32 0, i32 4
  %472 = load i32, ptr %471, align 8, !tbaa !43
  %473 = load ptr, ptr %3, align 8, !tbaa !5
  %474 = getelementptr inbounds %struct.qhT, ptr %473, i32 0, i32 177
  %475 = load ptr, ptr %474, align 8, !tbaa !39
  %476 = icmp ne ptr %475, null
  br i1 %476, label %477, label %483

477:                                              ; preds = %465
  %478 = load ptr, ptr %3, align 8, !tbaa !5
  %479 = getelementptr inbounds %struct.qhT, ptr %478, i32 0, i32 177
  %480 = load ptr, ptr %479, align 8, !tbaa !39
  %481 = getelementptr inbounds %struct.vertexT, ptr %480, i32 0, i32 4
  %482 = load i32, ptr %481, align 8, !tbaa !43
  br label %484

483:                                              ; preds = %465
  br label %484

484:                                              ; preds = %483, %477
  %485 = phi i32 [ %482, %477 ], [ -1, %483 ]
  call void (ptr, ptr, i32, ptr, ...) @qh_fprintf(ptr noundef %466, ptr noundef %469, i32 noundef 6288, ptr noundef @.str.115, i32 noundef %472, i32 noundef %485)
  %486 = load ptr, ptr %3, align 8, !tbaa !5
  %487 = load ptr, ptr %3, align 8, !tbaa !5
  %488 = getelementptr inbounds %struct.qhT, ptr %487, i32 0, i32 167
  %489 = load ptr, ptr %488, align 8, !tbaa !25
  call void @qh_errexit(ptr noundef %486, i32 noundef 5, ptr noundef %489, ptr noundef null)
  br label %490

490:                                              ; preds = %484, %457, %454, %439
  br label %491

491:                                              ; preds = %490
  %492 = load ptr, ptr %10, align 8, !tbaa !5
  %493 = getelementptr inbounds %struct.vertexT, ptr %492, i32 0, i32 0
  %494 = load ptr, ptr %493, align 8, !tbaa !40
  store ptr %494, ptr %10, align 8, !tbaa !5
  br label %420, !llvm.loop !44

495:                                              ; preds = %428
  %496 = load ptr, ptr %4, align 8, !tbaa !5
  %497 = icmp ne ptr %496, null
  br i1 %497, label %498, label %603

498:                                              ; preds = %495
  %499 = load ptr, ptr %4, align 8, !tbaa !5
  store ptr %499, ptr %5, align 8, !tbaa !5
  br label %500

500:                                              ; preds = %598, %498
  %501 = load ptr, ptr %5, align 8, !tbaa !5
  %502 = icmp ne ptr %501, null
  br i1 %502, label %503, label %508

503:                                              ; preds = %500
  %504 = load ptr, ptr %5, align 8, !tbaa !5
  %505 = getelementptr inbounds %struct.facetT, ptr %504, i32 0, i32 7
  %506 = load ptr, ptr %505, align 8, !tbaa !24
  %507 = icmp ne ptr %506, null
  br label %508

508:                                              ; preds = %503, %500
  %509 = phi i1 [ false, %500 ], [ %507, %503 ]
  br i1 %509, label %510, label %602

510:                                              ; preds = %508
  %511 = load ptr, ptr %5, align 8, !tbaa !5
  %512 = getelementptr inbounds %struct.facetT, ptr %511, i32 0, i32 15
  %513 = load i32, ptr %512, align 8
  %514 = lshr i32 %513, 11
  %515 = and i32 %514, 1
  %516 = icmp ne i32 %515, 0
  br i1 %516, label %517, label %518

517:                                              ; preds = %510
  br label %598

518:                                              ; preds = %510
  %519 = load ptr, ptr %5, align 8, !tbaa !5
  %520 = getelementptr inbounds %struct.facetT, ptr %519, i32 0, i32 15
  %521 = load i32, ptr %520, align 8
  %522 = lshr i32 %521, 13
  %523 = and i32 %522, 1
  %524 = icmp ne i32 %523, 0
  br i1 %524, label %525, label %531

525:                                              ; preds = %518
  %526 = load ptr, ptr %3, align 8, !tbaa !5
  %527 = getelementptr inbounds %struct.qhT, ptr %526, i32 0, i32 110
  %528 = load i32, ptr %527, align 8, !tbaa !45
  %529 = load i32, ptr %15, align 4, !tbaa !9
  %530 = add nsw i32 %529, %528
  store i32 %530, ptr %15, align 4, !tbaa !9
  br label %539

531:                                              ; preds = %518
  %532 = load ptr, ptr %3, align 8, !tbaa !5
  %533 = load ptr, ptr %5, align 8, !tbaa !5
  %534 = getelementptr inbounds %struct.facetT, ptr %533, i32 0, i32 9
  %535 = load ptr, ptr %534, align 8, !tbaa !35
  %536 = call i32 @qh_setsize(ptr noundef %532, ptr noundef %535)
  %537 = load i32, ptr %15, align 4, !tbaa !9
  %538 = add nsw i32 %537, %536
  store i32 %538, ptr %15, align 4, !tbaa !9
  br label %539

539:                                              ; preds = %531, %525
  store ptr null, ptr %10, align 8, !tbaa !5
  %540 = load ptr, ptr %5, align 8, !tbaa !5
  %541 = getelementptr inbounds %struct.facetT, ptr %540, i32 0, i32 8
  %542 = load ptr, ptr %541, align 8, !tbaa !46
  %543 = icmp ne ptr %542, null
  br i1 %543, label %544, label %597

544:                                              ; preds = %539
  %545 = load ptr, ptr %5, align 8, !tbaa !5
  %546 = getelementptr inbounds %struct.facetT, ptr %545, i32 0, i32 8
  %547 = load ptr, ptr %546, align 8, !tbaa !46
  %548 = getelementptr inbounds %struct.setT, ptr %547, i32 0, i32 1
  %549 = getelementptr inbounds [1 x %union.setelemT], ptr %548, i64 0, i64 0
  store ptr %549, ptr %11, align 8, !tbaa !5
  br label %550

550:                                              ; preds = %595, %544
  %551 = load ptr, ptr %11, align 8, !tbaa !5
  %552 = getelementptr inbounds ptr, ptr %551, i32 1
  store ptr %552, ptr %11, align 8, !tbaa !5
  %553 = load ptr, ptr %551, align 8, !tbaa !5
  store ptr %553, ptr %10, align 8, !tbaa !5
  %554 = icmp ne ptr %553, null
  br i1 %554, label %555, label %596

555:                                              ; preds = %550
  %556 = load ptr, ptr %10, align 8, !tbaa !5
  %557 = getelementptr inbounds %struct.vertexT, ptr %556, i32 0, i32 5
  %558 = load i32, ptr %557, align 4, !tbaa !42
  %559 = add i32 %558, 1
  store i32 %559, ptr %557, align 4, !tbaa !42
  %560 = load ptr, ptr %10, align 8, !tbaa !5
  %561 = getelementptr inbounds %struct.vertexT, ptr %560, i32 0, i32 6
  %562 = load i8, ptr %561, align 8
  %563 = and i8 %562, 1
  %564 = zext i8 %563 to i32
  %565 = icmp ne i32 %564, 0
  br i1 %565, label %595, label %566

566:                                              ; preds = %555
  %567 = load ptr, ptr %10, align 8, !tbaa !5
  %568 = getelementptr inbounds %struct.vertexT, ptr %567, i32 0, i32 6
  %569 = load i8, ptr %568, align 8
  %570 = and i8 %569, -2
  %571 = or i8 %570, 1
  store i8 %571, ptr %568, align 8
  %572 = load i32, ptr %14, align 4, !tbaa !9
  %573 = add nsw i32 %572, 1
  store i32 %573, ptr %14, align 4, !tbaa !9
  %574 = load ptr, ptr %3, align 8, !tbaa !5
  %575 = load ptr, ptr %10, align 8, !tbaa !5
  %576 = getelementptr inbounds %struct.vertexT, ptr %575, i32 0, i32 2
  %577 = load ptr, ptr %576, align 8, !tbaa !47
  %578 = call i32 @qh_pointid(ptr noundef %574, ptr noundef %577)
  %579 = icmp eq i32 %578, -1
  br i1 %579, label %580, label %594

580:                                              ; preds = %566
  %581 = load ptr, ptr %3, align 8, !tbaa !5
  %582 = load ptr, ptr %3, align 8, !tbaa !5
  %583 = getelementptr inbounds %struct.qhT, ptr %582, i32 0, i32 158
  %584 = load ptr, ptr %583, align 8, !tbaa !17
  %585 = load ptr, ptr %10, align 8, !tbaa !5
  %586 = getelementptr inbounds %struct.vertexT, ptr %585, i32 0, i32 2
  %587 = load ptr, ptr %586, align 8, !tbaa !47
  %588 = load ptr, ptr %10, align 8, !tbaa !5
  %589 = getelementptr inbounds %struct.vertexT, ptr %588, i32 0, i32 4
  %590 = load i32, ptr %589, align 8, !tbaa !43
  %591 = load ptr, ptr %3, align 8, !tbaa !5
  %592 = getelementptr inbounds %struct.qhT, ptr %591, i32 0, i32 113
  %593 = load ptr, ptr %592, align 8, !tbaa !48
  call void (ptr, ptr, i32, ptr, ...) @qh_fprintf(ptr noundef %581, ptr noundef %584, i32 noundef 6139, ptr noundef @.str.116, ptr noundef %587, i32 noundef %590, ptr noundef %593)
  store i32 1, ptr %18, align 4, !tbaa !9
  br label %594

594:                                              ; preds = %580, %566
  br label %595

595:                                              ; preds = %594, %555
  br label %550, !llvm.loop !49

596:                                              ; preds = %550
  br label %597

597:                                              ; preds = %596, %539
  br label %598

598:                                              ; preds = %597, %517
  %599 = load ptr, ptr %5, align 8, !tbaa !5
  %600 = getelementptr inbounds %struct.facetT, ptr %599, i32 0, i32 7
  %601 = load ptr, ptr %600, align 8, !tbaa !24
  store ptr %601, ptr %5, align 8, !tbaa !5
  br label %500, !llvm.loop !50

602:                                              ; preds = %508
  br label %603

603:                                              ; preds = %602, %495
  %604 = load i32, ptr %13, align 4, !tbaa !9
  %605 = load ptr, ptr %3, align 8, !tbaa !5
  %606 = getelementptr inbounds %struct.qhT, ptr %605, i32 0, i32 218
  %607 = load i32, ptr %606, align 4, !tbaa !51
  %608 = add i32 %607, %604
  store i32 %608, ptr %606, align 4, !tbaa !51
  %609 = load ptr, ptr %4, align 8, !tbaa !5
  %610 = load ptr, ptr %3, align 8, !tbaa !5
  %611 = getelementptr inbounds %struct.qhT, ptr %610, i32 0, i32 163
  %612 = load ptr, ptr %611, align 8, !tbaa !22
  %613 = icmp eq ptr %609, %612
  br i1 %613, label %614, label %989

614:                                              ; preds = %603
  %615 = load i32, ptr %13, align 4, !tbaa !9
  %616 = load ptr, ptr %3, align 8, !tbaa !5
  %617 = getelementptr inbounds %struct.qhT, ptr %616, i32 0, i32 178
  %618 = load i32, ptr %617, align 8, !tbaa !21
  %619 = load ptr, ptr %3, align 8, !tbaa !5
  %620 = getelementptr inbounds %struct.qhT, ptr %619, i32 0, i32 168
  %621 = load i32, ptr %620, align 8, !tbaa !52
  %622 = sub nsw i32 %618, %621
  %623 = icmp ne i32 %615, %622
  br i1 %623, label %624, label %636

624:                                              ; preds = %614
  %625 = load ptr, ptr %3, align 8, !tbaa !5
  %626 = load ptr, ptr %3, align 8, !tbaa !5
  %627 = getelementptr inbounds %struct.qhT, ptr %626, i32 0, i32 158
  %628 = load ptr, ptr %627, align 8, !tbaa !17
  %629 = load i32, ptr %13, align 4, !tbaa !9
  %630 = load ptr, ptr %3, align 8, !tbaa !5
  %631 = getelementptr inbounds %struct.qhT, ptr %630, i32 0, i32 178
  %632 = load i32, ptr %631, align 8, !tbaa !21
  %633 = load ptr, ptr %3, align 8, !tbaa !5
  %634 = getelementptr inbounds %struct.qhT, ptr %633, i32 0, i32 168
  %635 = load i32, ptr %634, align 8, !tbaa !52
  call void (ptr, ptr, i32, ptr, ...) @qh_fprintf(ptr noundef %625, ptr noundef %628, i32 noundef 6140, ptr noundef @.str.117, i32 noundef %629, i32 noundef %632, i32 noundef %635)
  store i32 1, ptr %18, align 4, !tbaa !9
  br label %636

636:                                              ; preds = %624, %614
  %637 = load ptr, ptr %3, align 8, !tbaa !5
  %638 = getelementptr inbounds %struct.qhT, ptr %637, i32 0, i32 218
  %639 = load i32, ptr %638, align 4, !tbaa !51
  %640 = add i32 %639, 1
  store i32 %640, ptr %638, align 4, !tbaa !51
  %641 = load ptr, ptr %3, align 8, !tbaa !5
  %642 = getelementptr inbounds %struct.qhT, ptr %641, i32 0, i32 125
  %643 = load i32, ptr %642, align 8, !tbaa !53
  %644 = icmp ne i32 %643, 0
  br i1 %644, label %645, label %923

645:                                              ; preds = %636
  %646 = load ptr, ptr %3, align 8, !tbaa !5
  %647 = getelementptr inbounds %struct.qhT, ptr %646, i32 0, i32 175
  %648 = load ptr, ptr %647, align 8, !tbaa !38
  store ptr %648, ptr %10, align 8, !tbaa !5
  br label %649

649:                                              ; preds = %696, %645
  %650 = load ptr, ptr %10, align 8, !tbaa !5
  %651 = icmp ne ptr %650, null
  br i1 %651, label %652, label %657

652:                                              ; preds = %649
  %653 = load ptr, ptr %10, align 8, !tbaa !5
  %654 = getelementptr inbounds %struct.vertexT, ptr %653, i32 0, i32 0
  %655 = load ptr, ptr %654, align 8, !tbaa !40
  %656 = icmp ne ptr %655, null
  br label %657

657:                                              ; preds = %652, %649
  %658 = phi i1 [ false, %649 ], [ %656, %652 ]
  br i1 %658, label %659, label %700

659:                                              ; preds = %657
  %660 = load ptr, ptr %10, align 8, !tbaa !5
  %661 = getelementptr inbounds %struct.vertexT, ptr %660, i32 0, i32 3
  %662 = load ptr, ptr %661, align 8, !tbaa !54
  %663 = icmp ne ptr %662, null
  br i1 %663, label %672, label %664

664:                                              ; preds = %659
  %665 = load ptr, ptr %3, align 8, !tbaa !5
  %666 = load ptr, ptr %3, align 8, !tbaa !5
  %667 = getelementptr inbounds %struct.qhT, ptr %666, i32 0, i32 158
  %668 = load ptr, ptr %667, align 8, !tbaa !17
  %669 = load ptr, ptr %10, align 8, !tbaa !5
  %670 = getelementptr inbounds %struct.vertexT, ptr %669, i32 0, i32 4
  %671 = load i32, ptr %670, align 8, !tbaa !43
  call void (ptr, ptr, i32, ptr, ...) @qh_fprintf(ptr noundef %665, ptr noundef %668, i32 noundef 6407, ptr noundef @.str.118, i32 noundef %671)
  store i32 1, ptr %18, align 4, !tbaa !9
  br label %672

672:                                              ; preds = %664, %659
  %673 = load ptr, ptr %3, align 8, !tbaa !5
  %674 = load ptr, ptr %10, align 8, !tbaa !5
  %675 = getelementptr inbounds %struct.vertexT, ptr %674, i32 0, i32 3
  %676 = load ptr, ptr %675, align 8, !tbaa !54
  %677 = load ptr, ptr %10, align 8, !tbaa !5
  %678 = getelementptr inbounds %struct.vertexT, ptr %677, i32 0, i32 4
  %679 = load i32, ptr %678, align 8, !tbaa !43
  call void @qh_setcheck(ptr noundef %673, ptr noundef %676, ptr noundef @.str.119, i32 noundef %679)
  %680 = load ptr, ptr %10, align 8, !tbaa !5
  %681 = getelementptr inbounds %struct.vertexT, ptr %680, i32 0, i32 6
  %682 = load i8, ptr %681, align 8
  %683 = lshr i8 %682, 2
  %684 = and i8 %683, 1
  %685 = zext i8 %684 to i32
  %686 = icmp ne i32 %685, 0
  br i1 %686, label %687, label %688

687:                                              ; preds = %672
  br label %696

688:                                              ; preds = %672
  %689 = load ptr, ptr %3, align 8, !tbaa !5
  %690 = load ptr, ptr %10, align 8, !tbaa !5
  %691 = getelementptr inbounds %struct.vertexT, ptr %690, i32 0, i32 3
  %692 = load ptr, ptr %691, align 8, !tbaa !54
  %693 = call i32 @qh_setsize(ptr noundef %689, ptr noundef %692)
  %694 = load i32, ptr %16, align 4, !tbaa !9
  %695 = add nsw i32 %694, %693
  store i32 %695, ptr %16, align 4, !tbaa !9
  br label %696

696:                                              ; preds = %688, %687
  %697 = load ptr, ptr %10, align 8, !tbaa !5
  %698 = getelementptr inbounds %struct.vertexT, ptr %697, i32 0, i32 0
  %699 = load ptr, ptr %698, align 8, !tbaa !40
  store ptr %699, ptr %10, align 8, !tbaa !5
  br label %649, !llvm.loop !55

700:                                              ; preds = %657
  %701 = load ptr, ptr %4, align 8, !tbaa !5
  %702 = icmp ne ptr %701, null
  br i1 %702, label %703, label %736

703:                                              ; preds = %700
  %704 = load ptr, ptr %4, align 8, !tbaa !5
  store ptr %704, ptr %5, align 8, !tbaa !5
  br label %705

705:                                              ; preds = %731, %703
  %706 = load ptr, ptr %5, align 8, !tbaa !5
  %707 = icmp ne ptr %706, null
  br i1 %707, label %708, label %713

708:                                              ; preds = %705
  %709 = load ptr, ptr %5, align 8, !tbaa !5
  %710 = getelementptr inbounds %struct.facetT, ptr %709, i32 0, i32 7
  %711 = load ptr, ptr %710, align 8, !tbaa !24
  %712 = icmp ne ptr %711, null
  br label %713

713:                                              ; preds = %708, %705
  %714 = phi i1 [ false, %705 ], [ %712, %708 ]
  br i1 %714, label %715, label %735

715:                                              ; preds = %713
  %716 = load ptr, ptr %5, align 8, !tbaa !5
  %717 = getelementptr inbounds %struct.facetT, ptr %716, i32 0, i32 15
  %718 = load i32, ptr %717, align 8
  %719 = lshr i32 %718, 11
  %720 = and i32 %719, 1
  %721 = icmp ne i32 %720, 0
  br i1 %721, label %730, label %722

722:                                              ; preds = %715
  %723 = load ptr, ptr %3, align 8, !tbaa !5
  %724 = load ptr, ptr %5, align 8, !tbaa !5
  %725 = getelementptr inbounds %struct.facetT, ptr %724, i32 0, i32 8
  %726 = load ptr, ptr %725, align 8, !tbaa !46
  %727 = call i32 @qh_setsize(ptr noundef %723, ptr noundef %726)
  %728 = load i32, ptr %17, align 4, !tbaa !9
  %729 = add nsw i32 %728, %727
  store i32 %729, ptr %17, align 4, !tbaa !9
  br label %730

730:                                              ; preds = %722, %715
  br label %731

731:                                              ; preds = %730
  %732 = load ptr, ptr %5, align 8, !tbaa !5
  %733 = getelementptr inbounds %struct.facetT, ptr %732, i32 0, i32 7
  %734 = load ptr, ptr %733, align 8, !tbaa !24
  store ptr %734, ptr %5, align 8, !tbaa !5
  br label %705, !llvm.loop !56

735:                                              ; preds = %713
  br label %736

736:                                              ; preds = %735, %700
  %737 = load i32, ptr %16, align 4, !tbaa !9
  %738 = load i32, ptr %17, align 4, !tbaa !9
  %739 = icmp ne i32 %737, %738
  br i1 %739, label %740, label %922

740:                                              ; preds = %736
  %741 = load ptr, ptr %3, align 8, !tbaa !5
  %742 = load ptr, ptr %3, align 8, !tbaa !5
  %743 = getelementptr inbounds %struct.qhT, ptr %742, i32 0, i32 158
  %744 = load ptr, ptr %743, align 8, !tbaa !17
  %745 = load i32, ptr %16, align 4, !tbaa !9
  %746 = load i32, ptr %17, align 4, !tbaa !9
  call void (ptr, ptr, i32, ptr, ...) @qh_fprintf(ptr noundef %741, ptr noundef %744, i32 noundef 6141, ptr noundef @.str.120, i32 noundef %745, i32 noundef %746)
  store i32 1, ptr %18, align 4, !tbaa !9
  %747 = load ptr, ptr %3, align 8, !tbaa !5
  %748 = getelementptr inbounds %struct.qhT, ptr %747, i32 0, i32 175
  %749 = load ptr, ptr %748, align 8, !tbaa !38
  store ptr %749, ptr %10, align 8, !tbaa !5
  br label %750

750:                                              ; preds = %844, %740
  %751 = load ptr, ptr %10, align 8, !tbaa !5
  %752 = icmp ne ptr %751, null
  br i1 %752, label %753, label %758

753:                                              ; preds = %750
  %754 = load ptr, ptr %10, align 8, !tbaa !5
  %755 = getelementptr inbounds %struct.vertexT, ptr %754, i32 0, i32 0
  %756 = load ptr, ptr %755, align 8, !tbaa !40
  %757 = icmp ne ptr %756, null
  br label %758

758:                                              ; preds = %753, %750
  %759 = phi i1 [ false, %750 ], [ %757, %753 ]
  br i1 %759, label %760, label %848

760:                                              ; preds = %758
  %761 = load ptr, ptr %10, align 8, !tbaa !5
  %762 = getelementptr inbounds %struct.vertexT, ptr %761, i32 0, i32 6
  %763 = load i8, ptr %762, align 8
  %764 = lshr i8 %763, 2
  %765 = and i8 %764, 1
  %766 = zext i8 %765 to i32
  %767 = icmp ne i32 %766, 0
  br i1 %767, label %768, label %769

768:                                              ; preds = %760
  br label %844

769:                                              ; preds = %760
  %770 = load ptr, ptr %3, align 8, !tbaa !5
  %771 = getelementptr inbounds %struct.qhT, ptr %770, i32 0, i32 217
  %772 = load i32, ptr %771, align 8, !tbaa !57
  %773 = add i32 %772, 1
  store i32 %773, ptr %771, align 8, !tbaa !57
  store ptr null, ptr %6, align 8, !tbaa !5
  %774 = load ptr, ptr %10, align 8, !tbaa !5
  %775 = getelementptr inbounds %struct.vertexT, ptr %774, i32 0, i32 3
  %776 = load ptr, ptr %775, align 8, !tbaa !54
  %777 = icmp ne ptr %776, null
  br i1 %777, label %778, label %843

778:                                              ; preds = %769
  %779 = load ptr, ptr %10, align 8, !tbaa !5
  %780 = getelementptr inbounds %struct.vertexT, ptr %779, i32 0, i32 3
  %781 = load ptr, ptr %780, align 8, !tbaa !54
  %782 = getelementptr inbounds %struct.setT, ptr %781, i32 0, i32 1
  %783 = getelementptr inbounds [1 x %union.setelemT], ptr %782, i64 0, i64 0
  store ptr %783, ptr %7, align 8, !tbaa !5
  br label %784

784:                                              ; preds = %841, %778
  %785 = load ptr, ptr %7, align 8, !tbaa !5
  %786 = getelementptr inbounds ptr, ptr %785, i32 1
  store ptr %786, ptr %7, align 8, !tbaa !5
  %787 = load ptr, ptr %785, align 8, !tbaa !5
  store ptr %787, ptr %6, align 8, !tbaa !5
  %788 = icmp ne ptr %787, null
  br i1 %788, label %789, label %842

789:                                              ; preds = %784
  %790 = load ptr, ptr %6, align 8, !tbaa !5
  %791 = getelementptr inbounds %struct.facetT, ptr %790, i32 0, i32 13
  %792 = load i32, ptr %791, align 8, !tbaa !58
  %793 = load ptr, ptr %3, align 8, !tbaa !5
  %794 = getelementptr inbounds %struct.qhT, ptr %793, i32 0, i32 217
  %795 = load i32, ptr %794, align 8, !tbaa !57
  %796 = icmp eq i32 %792, %795
  br i1 %796, label %797, label %810

797:                                              ; preds = %789
  %798 = load ptr, ptr %3, align 8, !tbaa !5
  %799 = load ptr, ptr %3, align 8, !tbaa !5
  %800 = getelementptr inbounds %struct.qhT, ptr %799, i32 0, i32 158
  %801 = load ptr, ptr %800, align 8, !tbaa !17
  %802 = load ptr, ptr %6, align 8, !tbaa !5
  %803 = getelementptr inbounds %struct.facetT, ptr %802, i32 0, i32 14
  %804 = load i32, ptr %803, align 4, !tbaa !18
  %805 = load ptr, ptr %10, align 8, !tbaa !5
  %806 = getelementptr inbounds %struct.vertexT, ptr %805, i32 0, i32 4
  %807 = load i32, ptr %806, align 8, !tbaa !43
  call void (ptr, ptr, i32, ptr, ...) @qh_fprintf(ptr noundef %798, ptr noundef %801, i32 noundef 6275, ptr noundef @.str.121, i32 noundef %804, i32 noundef %807)
  %808 = load ptr, ptr %8, align 8, !tbaa !5
  store ptr %808, ptr %9, align 8, !tbaa !5
  %809 = load ptr, ptr %6, align 8, !tbaa !5
  store ptr %809, ptr %8, align 8, !tbaa !5
  br label %810

810:                                              ; preds = %797, %789
  %811 = load ptr, ptr %3, align 8, !tbaa !5
  %812 = getelementptr inbounds %struct.qhT, ptr %811, i32 0, i32 217
  %813 = load i32, ptr %812, align 8, !tbaa !57
  %814 = load ptr, ptr %6, align 8, !tbaa !5
  %815 = getelementptr inbounds %struct.facetT, ptr %814, i32 0, i32 13
  store i32 %813, ptr %815, align 8, !tbaa !58
  %816 = load ptr, ptr %6, align 8, !tbaa !5
  %817 = getelementptr inbounds %struct.facetT, ptr %816, i32 0, i32 8
  %818 = load ptr, ptr %817, align 8, !tbaa !46
  %819 = load ptr, ptr %10, align 8, !tbaa !5
  %820 = call i32 @qh_setin(ptr noundef %818, ptr noundef %819)
  %821 = icmp ne i32 %820, 0
  br i1 %821, label %841, label %822

822:                                              ; preds = %810
  %823 = load ptr, ptr %3, align 8, !tbaa !5
  %824 = load ptr, ptr %3, align 8, !tbaa !5
  %825 = getelementptr inbounds %struct.qhT, ptr %824, i32 0, i32 158
  %826 = load ptr, ptr %825, align 8, !tbaa !17
  %827 = load ptr, ptr %6, align 8, !tbaa !5
  %828 = getelementptr inbounds %struct.facetT, ptr %827, i32 0, i32 14
  %829 = load i32, ptr %828, align 4, !tbaa !18
  %830 = load ptr, ptr %10, align 8, !tbaa !5
  %831 = getelementptr inbounds %struct.vertexT, ptr %830, i32 0, i32 4
  %832 = load i32, ptr %831, align 8, !tbaa !43
  %833 = load ptr, ptr %10, align 8, !tbaa !5
  %834 = getelementptr inbounds %struct.vertexT, ptr %833, i32 0, i32 4
  %835 = load i32, ptr %834, align 8, !tbaa !43
  %836 = load ptr, ptr %6, align 8, !tbaa !5
  %837 = getelementptr inbounds %struct.facetT, ptr %836, i32 0, i32 14
  %838 = load i32, ptr %837, align 4, !tbaa !18
  call void (ptr, ptr, i32, ptr, ...) @qh_fprintf(ptr noundef %823, ptr noundef %826, i32 noundef 6276, ptr noundef @.str.122, i32 noundef %829, i32 noundef %832, i32 noundef %835, i32 noundef %838)
  %839 = load ptr, ptr %8, align 8, !tbaa !5
  store ptr %839, ptr %9, align 8, !tbaa !5
  %840 = load ptr, ptr %6, align 8, !tbaa !5
  store ptr %840, ptr %8, align 8, !tbaa !5
  br label %841

841:                                              ; preds = %822, %810
  br label %784, !llvm.loop !59

842:                                              ; preds = %784
  br label %843

843:                                              ; preds = %842, %769
  br label %844

844:                                              ; preds = %843, %768
  %845 = load ptr, ptr %10, align 8, !tbaa !5
  %846 = getelementptr inbounds %struct.vertexT, ptr %845, i32 0, i32 0
  %847 = load ptr, ptr %846, align 8, !tbaa !40
  store ptr %847, ptr %10, align 8, !tbaa !5
  br label %750, !llvm.loop !60

848:                                              ; preds = %758
  %849 = load ptr, ptr %4, align 8, !tbaa !5
  %850 = icmp ne ptr %849, null
  br i1 %850, label %851, label %921

851:                                              ; preds = %848
  %852 = load ptr, ptr %4, align 8, !tbaa !5
  store ptr %852, ptr %5, align 8, !tbaa !5
  br label %853

853:                                              ; preds = %916, %851
  %854 = load ptr, ptr %5, align 8, !tbaa !5
  %855 = icmp ne ptr %854, null
  br i1 %855, label %856, label %861

856:                                              ; preds = %853
  %857 = load ptr, ptr %5, align 8, !tbaa !5
  %858 = getelementptr inbounds %struct.facetT, ptr %857, i32 0, i32 7
  %859 = load ptr, ptr %858, align 8, !tbaa !24
  %860 = icmp ne ptr %859, null
  br label %861

861:                                              ; preds = %856, %853
  %862 = phi i1 [ false, %853 ], [ %860, %856 ]
  br i1 %862, label %863, label %920

863:                                              ; preds = %861
  %864 = load ptr, ptr %5, align 8, !tbaa !5
  %865 = getelementptr inbounds %struct.facetT, ptr %864, i32 0, i32 15
  %866 = load i32, ptr %865, align 8
  %867 = lshr i32 %866, 11
  %868 = and i32 %867, 1
  %869 = icmp ne i32 %868, 0
  br i1 %869, label %915, label %870

870:                                              ; preds = %863
  store ptr null, ptr %10, align 8, !tbaa !5
  %871 = load ptr, ptr %5, align 8, !tbaa !5
  %872 = getelementptr inbounds %struct.facetT, ptr %871, i32 0, i32 8
  %873 = load ptr, ptr %872, align 8, !tbaa !46
  %874 = icmp ne ptr %873, null
  br i1 %874, label %875, label %914

875:                                              ; preds = %870
  %876 = load ptr, ptr %5, align 8, !tbaa !5
  %877 = getelementptr inbounds %struct.facetT, ptr %876, i32 0, i32 8
  %878 = load ptr, ptr %877, align 8, !tbaa !46
  %879 = getelementptr inbounds %struct.setT, ptr %878, i32 0, i32 1
  %880 = getelementptr inbounds [1 x %union.setelemT], ptr %879, i64 0, i64 0
  store ptr %880, ptr %11, align 8, !tbaa !5
  br label %881

881:                                              ; preds = %912, %875
  %882 = load ptr, ptr %11, align 8, !tbaa !5
  %883 = getelementptr inbounds ptr, ptr %882, i32 1
  store ptr %883, ptr %11, align 8, !tbaa !5
  %884 = load ptr, ptr %882, align 8, !tbaa !5
  store ptr %884, ptr %10, align 8, !tbaa !5
  %885 = icmp ne ptr %884, null
  br i1 %885, label %886, label %913

886:                                              ; preds = %881
  %887 = load ptr, ptr %10, align 8, !tbaa !5
  %888 = getelementptr inbounds %struct.vertexT, ptr %887, i32 0, i32 3
  %889 = load ptr, ptr %888, align 8, !tbaa !54
  %890 = load ptr, ptr %5, align 8, !tbaa !5
  %891 = call i32 @qh_setin(ptr noundef %889, ptr noundef %890)
  %892 = icmp ne i32 %891, 0
  br i1 %892, label %912, label %893

893:                                              ; preds = %886
  %894 = load ptr, ptr %3, align 8, !tbaa !5
  %895 = load ptr, ptr %3, align 8, !tbaa !5
  %896 = getelementptr inbounds %struct.qhT, ptr %895, i32 0, i32 158
  %897 = load ptr, ptr %896, align 8, !tbaa !17
  %898 = load ptr, ptr %10, align 8, !tbaa !5
  %899 = getelementptr inbounds %struct.vertexT, ptr %898, i32 0, i32 4
  %900 = load i32, ptr %899, align 8, !tbaa !43
  %901 = load ptr, ptr %5, align 8, !tbaa !5
  %902 = getelementptr inbounds %struct.facetT, ptr %901, i32 0, i32 14
  %903 = load i32, ptr %902, align 4, !tbaa !18
  %904 = load ptr, ptr %5, align 8, !tbaa !5
  %905 = getelementptr inbounds %struct.facetT, ptr %904, i32 0, i32 14
  %906 = load i32, ptr %905, align 4, !tbaa !18
  %907 = load ptr, ptr %10, align 8, !tbaa !5
  %908 = getelementptr inbounds %struct.vertexT, ptr %907, i32 0, i32 4
  %909 = load i32, ptr %908, align 8, !tbaa !43
  call void (ptr, ptr, i32, ptr, ...) @qh_fprintf(ptr noundef %894, ptr noundef %897, i32 noundef 6277, ptr noundef @.str.123, i32 noundef %900, i32 noundef %903, i32 noundef %906, i32 noundef %909)
  %910 = load ptr, ptr %8, align 8, !tbaa !5
  store ptr %910, ptr %9, align 8, !tbaa !5
  %911 = load ptr, ptr %5, align 8, !tbaa !5
  store ptr %911, ptr %8, align 8, !tbaa !5
  br label %912

912:                                              ; preds = %893, %886
  br label %881, !llvm.loop !61

913:                                              ; preds = %881
  br label %914

914:                                              ; preds = %913, %870
  br label %915

915:                                              ; preds = %914, %863
  br label %916

916:                                              ; preds = %915
  %917 = load ptr, ptr %5, align 8, !tbaa !5
  %918 = getelementptr inbounds %struct.facetT, ptr %917, i32 0, i32 7
  %919 = load ptr, ptr %918, align 8, !tbaa !24
  store ptr %919, ptr %5, align 8, !tbaa !5
  br label %853, !llvm.loop !62

920:                                              ; preds = %861
  br label %921

921:                                              ; preds = %920, %848
  br label %922

922:                                              ; preds = %921, %736
  br label %923

923:                                              ; preds = %922, %636
  %924 = load i32, ptr %14, align 4, !tbaa !9
  %925 = load ptr, ptr %3, align 8, !tbaa !5
  %926 = getelementptr inbounds %struct.qhT, ptr %925, i32 0, i32 179
  %927 = load i32, ptr %926, align 4, !tbaa !63
  %928 = load ptr, ptr %3, align 8, !tbaa !5
  %929 = load ptr, ptr %3, align 8, !tbaa !5
  %930 = getelementptr inbounds %struct.qhT, ptr %929, i32 0, i32 226
  %931 = load ptr, ptr %930, align 8, !tbaa !64
  %932 = call i32 @qh_setsize(ptr noundef %928, ptr noundef %931)
  %933 = sub nsw i32 %927, %932
  %934 = icmp ne i32 %924, %933
  br i1 %934, label %935, label %950

935:                                              ; preds = %923
  %936 = load ptr, ptr %3, align 8, !tbaa !5
  %937 = load ptr, ptr %3, align 8, !tbaa !5
  %938 = getelementptr inbounds %struct.qhT, ptr %937, i32 0, i32 158
  %939 = load ptr, ptr %938, align 8, !tbaa !17
  %940 = load i32, ptr %14, align 4, !tbaa !9
  %941 = load ptr, ptr %3, align 8, !tbaa !5
  %942 = getelementptr inbounds %struct.qhT, ptr %941, i32 0, i32 179
  %943 = load i32, ptr %942, align 4, !tbaa !63
  %944 = load ptr, ptr %3, align 8, !tbaa !5
  %945 = load ptr, ptr %3, align 8, !tbaa !5
  %946 = getelementptr inbounds %struct.qhT, ptr %945, i32 0, i32 226
  %947 = load ptr, ptr %946, align 8, !tbaa !64
  %948 = call i32 @qh_setsize(ptr noundef %944, ptr noundef %947)
  %949 = sub nsw i32 %943, %948
  call void (ptr, ptr, i32, ptr, ...) @qh_fprintf(ptr noundef %936, ptr noundef %939, i32 noundef 6142, ptr noundef @.str.124, i32 noundef %940, i32 noundef %949)
  store i32 1, ptr %18, align 4, !tbaa !9
  br label %950

950:                                              ; preds = %935, %923
  %951 = load ptr, ptr %3, align 8, !tbaa !5
  %952 = getelementptr inbounds %struct.qhT, ptr %951, i32 0, i32 110
  %953 = load i32, ptr %952, align 8, !tbaa !45
  %954 = icmp eq i32 %953, 2
  br i1 %954, label %955, label %966

955:                                              ; preds = %950
  %956 = load i32, ptr %14, align 4, !tbaa !9
  %957 = load i32, ptr %13, align 4, !tbaa !9
  %958 = icmp ne i32 %956, %957
  br i1 %958, label %959, label %966

959:                                              ; preds = %955
  %960 = load ptr, ptr %3, align 8, !tbaa !5
  %961 = load ptr, ptr %3, align 8, !tbaa !5
  %962 = getelementptr inbounds %struct.qhT, ptr %961, i32 0, i32 158
  %963 = load ptr, ptr %962, align 8, !tbaa !17
  %964 = load i32, ptr %14, align 4, !tbaa !9
  %965 = load i32, ptr %13, align 4, !tbaa !9
  call void (ptr, ptr, i32, ptr, ...) @qh_fprintf(ptr noundef %960, ptr noundef %963, i32 noundef 6143, ptr noundef @.str.125, i32 noundef %964, i32 noundef %965)
  store i32 1, ptr %18, align 4, !tbaa !9
  br label %966

966:                                              ; preds = %959, %955, %950
  %967 = load ptr, ptr %3, align 8, !tbaa !5
  %968 = getelementptr inbounds %struct.qhT, ptr %967, i32 0, i32 110
  %969 = load i32, ptr %968, align 8, !tbaa !45
  %970 = icmp eq i32 %969, 3
  br i1 %970, label %971, label %988

971:                                              ; preds = %966
  %972 = load i32, ptr %14, align 4, !tbaa !9
  %973 = load i32, ptr %13, align 4, !tbaa !9
  %974 = add nsw i32 %972, %973
  %975 = load i32, ptr %15, align 4, !tbaa !9
  %976 = sdiv i32 %975, 2
  %977 = sub nsw i32 %974, %976
  %978 = icmp ne i32 %977, 2
  br i1 %978, label %979, label %988

979:                                              ; preds = %971
  %980 = load ptr, ptr %3, align 8, !tbaa !5
  %981 = load ptr, ptr %3, align 8, !tbaa !5
  %982 = getelementptr inbounds %struct.qhT, ptr %981, i32 0, i32 158
  %983 = load ptr, ptr %982, align 8, !tbaa !17
  %984 = load i32, ptr %14, align 4, !tbaa !9
  %985 = load i32, ptr %13, align 4, !tbaa !9
  %986 = load i32, ptr %15, align 4, !tbaa !9
  %987 = sdiv i32 %986, 2
  call void (ptr, ptr, i32, ptr, ...) @qh_fprintf(ptr noundef %980, ptr noundef %983, i32 noundef 7063, ptr noundef @.str.126, i32 noundef %984, i32 noundef %985, i32 noundef %987)
  br label %988

988:                                              ; preds = %979, %971, %966
  br label %989

989:                                              ; preds = %988, %603
  %990 = load i32, ptr %18, align 4, !tbaa !9
  %991 = icmp ne i32 %990, 0
  br i1 %991, label %992, label %996

992:                                              ; preds = %989
  %993 = load ptr, ptr %3, align 8, !tbaa !5
  %994 = load ptr, ptr %8, align 8, !tbaa !5
  %995 = load ptr, ptr %9, align 8, !tbaa !5
  call void @qh_errexit2(ptr noundef %993, i32 noundef 5, ptr noundef %994, ptr noundef %995)
  br label %996

996:                                              ; preds = %992, %989
  call void @llvm.lifetime.end.p0(i64 4, ptr %23) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %22) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %21) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %20) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %19) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %18) #3
  call void @llvm.lifetime.end.p0(i64 4, 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 8, ptr %12) #3
  call void @llvm.lifetime.end.p0(i64 8, 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
  call void @llvm.lifetime.end.p0(i64 8, ptr %8) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %7) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %6) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %5) #3
  ret void
}

; Function Attrs: nounwind uwtable
declare dso_local void @qh_checkfacet(ptr noundef, ptr noundef, i32 noundef, ptr noundef) #2

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

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

; Function Attrs: nounwind uwtable
declare dso_local i32 @qh_checklists(ptr noundef, ptr noundef) #2

; Function Attrs: nounwind uwtable
declare dso_local void @qh_printlists(ptr noundef) #2

; Function Attrs: nounwind uwtable
declare dso_local void @qh_checkvertex(ptr noundef, ptr noundef, i32 noundef, ptr noundef) #2

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, !10, i64 0}
!10 = !{!"int", !7, i64 0}
!11 = !{!12, !10, i64 136}
!12 = !{!"qhT", !10, i64 0, !10, i64 4, !10, i64 8, !10, i64 12, !10, i64 16, !10, i64 20, !13, i64 24, !10, i64 32, !10, i64 36, !10, i64 40, !10, i64 44, !10, i64 48, !10, i64 52, !10, i64 56, !10, i64 60, !13, i64 64, !13, i64 72, !10, i64 80, !10, i64 84, !10, i64 88, !10, i64 92, !10, i64 96, !10, i64 100, !6, i64 104, !10, i64 112, !10, i64 116, !6, i64 120, !10, i64 128, !10, i64 132, !10, i64 136, !10, i64 140, !10, i64 144, !10, i64 148, !10, i64 152, !13, i64 160, !13, i64 168, !10, i64 176, !10, i64 180, !10, i64 184, !10, i64 188, !13, i64 192, !13, i64 200, !10, i64 208, !10, i64 212, !13, i64 216, !10, i64 224, !10, i64 228, !10, i64 232, !10, i64 236, !10, i64 240, !10, i64 244, !10, i64 248, !10, i64 252, !10, i64 256, !10, i64 260, !10, i64 264, !10, i64 268, !10, i64 272, !10, i64 276, !10, i64 280, !10, i64 284, !10, i64 288, !10, i64 292, !10, i64 296, !7, i64 300, !10, i64 416, !10, i64 420, !10, i64 424, !10, i64 428, !10, i64 432, !10, i64 436, !10, i64 440, !10, i64 444, !13, i64 448, !13, i64 456, !13, i64 464, !10, i64 472, !10, i64 476, !10, i64 480, !10, i64 484, !10, i64 488, !10, i64 492, !10, i64 496, !10, i64 500, !10, i64 504, !10, i64 508, !10, i64 512, !10, i64 516, !10, i64 520, !10, i64 524, !10, i64 528, !10, i64 532, !10, i64 536, !10, i64 540, !10, i64 544, !13, i64 552, !10, i64 560, !10, i64 564, !10, i64 568, !10, i64 572, !10, i64 576, !10, i64 580, !10, i64 584, !10, i64 588, !13, i64 592, !10, i64 600, !6, i64 608, !6, i64 616, !10, i64 624, !10, i64 628, !10, i64 632, !10, i64 636, !10, i64 640, !6, i64 648, !10, i64 656, !6, i64 664, !10, i64 672, !7, i64 676, !10, i64 932, !7, i64 936, !7, i64 1192, !10, i64 1704, !10, i64 1708, !10, i64 1712, !10, i64 1716, !10, i64 1720, !10, i64 1724, !6, i64 1728, !6, i64 1736, !6, i64 1744, !6, i64 1752, !13, i64 1760, !13, i64 1768, !13, i64 1776, !13, i64 1784, !13, i64 1792, !13, i64 1800, !13, i64 1808, !13, i64 1816, !13, i64 1824, !13, i64 1832, !13, i64 1840, !13, i64 1848, !13, i64 1856, !13, i64 1864, !6, i64 1872, !13, i64 1880, !13, i64 1888, !13, i64 1896, !13, i64 1904, !10, 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, !10, i64 2440, !10, i64 2444, !10, i64 2448, !6, i64 2456, !6, i64 2464, !6, i64 2472, !6, i64 2480, !6, i64 2488, !10, i64 2496, !10, i64 2500, !6, i64 2504, !10, i64 2512, !6, i64 2520, !10, i64 2528, !6, i64 2536, !6, i64 2544, !6, i64 2552, !6, i64 2560, !10, i64 2568, !10, i64 2572, !10, i64 2576, !10, i64 2580, !10, i64 2584, !10, i64 2588, !10, i64 2592, !10, i64 2596, !14, i64 2600, !10, i64 2608, !10, i64 2612, !10, i64 2616, !10, i64 2620, !10, i64 2624, !6, i64 2632, !6, i64 2640, !10, i64 2648, !10, i64 2652, !10, i64 2656, !13, i64 2664, !10, i64 2672, !13, i64 2680, !13, i64 2688, !13, i64 2696, !10, i64 2704, !10, i64 2708, !10, i64 2712, !10, i64 2716, !10, i64 2720, !13, i64 2728, !13, i64 2736, !10, i64 2744, !10, i64 2748, !10, i64 2752, !10, i64 2756, !10, i64 2760, !10, i64 2764, !13, i64 2768, !13, i64 2776, !10, i64 2784, !10, i64 2788, !10, i64 2792, !10, 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, !10, i64 2872, !6, i64 2880, !6, i64 2888, !10, i64 2896, !10, i64 2900, !10, i64 2904, !6, i64 2912, !13, i64 2920, !13, i64 2928, !13, i64 2936, !13, i64 2944, !10, i64 2952, !10, i64 2956, !10, i64 2960, !10, i64 2964, !10, i64 2968, !10, i64 2972, !6, i64 2976, !10, i64 2984, !10, i64 2988, !7, i64 2992, !7, i64 3192, !10, i64 3232, !13, i64 3240, !6, i64 3248, !6, i64 3256, !6, i64 3264, !15, i64 3272, !16, i64 3424}
!13 = !{!"double", !7, i64 0}
!14 = !{!"long", !7, i64 0}
!15 = !{!"qhmemT", !10, i64 0, !10, i64 4, !10, i64 8, !10, i64 12, !10, i64 16, !10, i64 20, !6, i64 24, !6, i64 32, !6, i64 40, !6, i64 48, !6, i64 56, !10, i64 64, !6, i64 72, !6, i64 80, !10, i64 88, !10, i64 92, !10, i64 96, !10, i64 100, !10, i64 104, !10, i64 108, !10, i64 112, !10, i64 116, !10, i64 120, !10, i64 124, !10, i64 128, !10, i64 132, !10, i64 136, !10, i64 140, !10, i64 144}
!16 = !{!"qhstatT", !7, i64 0, !7, i64 1992, !7, i64 2256, !7, i64 4248, !7, i64 4746, !7, i64 4995, !7, i64 5248, !10, i64 5320, !10, i64 5324, !10, i64 5328, !10, i64 5332, !13, i64 5336}
!17 = !{!12, !6, i64 2424}
!18 = !{!19, !10, i64 108}
!19 = !{!"facetT", !13, i64 0, !13, i64 8, !13, 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, !10, i64 104, !10, i64 108, !10, i64 112, !10, i64 113, !10, i64 113, !10, i64 113, !10, i64 113, !10, i64 113, !10, i64 113, !10, i64 113, !10, i64 114, !10, i64 114, !10, i64 114, !10, i64 114, !10, i64 114, !10, i64 114, !10, i64 114, !10, i64 114, !10, i64 115, !10, i64 115, !10, i64 115, !10, i64 115, !10, i64 115, !10, i64 115, !10, i64 115, !10, i64 115}
!20 = !{!12, !10, i64 2708}
!21 = !{!12, !10, i64 2568}
!22 = !{!12, !6, i64 2456}
!23 = !{!12, !10, i64 236}
!24 = !{!19, !6, i64 56}
!25 = !{!12, !6, i64 2488}
!26 = !{!12, !6, i64 2480}
!27 = !{!12, !6, i64 2472}
!28 = !{!19, !6, i64 88}
!29 = !{!12, !10, i64 1912}
!30 = !{!19, !13, i64 0}
!31 = !{!12, !13, i64 24}
!32 = !{!12, !10, i64 2704}
!33 = !{!19, !6, i64 80}
!34 = !{!7, !7, i64 0}
!35 = !{!19, !6, i64 72}
!36 = distinct !{!36, !37}
!37 = !{!"llvm.loop.mustprogress"}
!38 = !{!12, !6, i64 2544}
!39 = !{!12, !6, i64 2560}
!40 = !{!41, !6, i64 0}
!41 = !{!"vertexT", !6, i64 0, !6, i64 8, !6, i64 16, !6, i64 24, !10, i64 32, !10, i64 36, !10, i64 40, !10, i64 40, !10, i64 40, !10, i64 40, !10, i64 40, !10, i64 40}
!42 = !{!41, !10, i64 36}
!43 = !{!41, !10, i64 32}
!44 = distinct !{!44, !37}
!45 = !{!12, !10, i64 632}
!46 = !{!19, !6, i64 64}
!47 = !{!41, !6, i64 16}
!48 = !{!12, !6, i64 648}
!49 = distinct !{!49, !37}
!50 = distinct !{!50, !37}
!51 = !{!12, !10, i64 2788}
!52 = !{!12, !10, i64 2496}
!53 = !{!12, !10, i64 1720}
!54 = !{!41, !6, i64 24}
!55 = distinct !{!55, !37}
!56 = distinct !{!56, !37}
!57 = !{!12, !10, i64 2784}
!58 = !{!19, !10, i64 104}
!59 = distinct !{!59, !37}
!60 = distinct !{!60, !37}
!61 = distinct !{!61, !37}
!62 = distinct !{!62, !37}
!63 = !{!12, !10, i64 2572}
!64 = !{!12, !6, i64 2840}


; 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"

@.str.107 = external hidden unnamed_addr constant [65 x i8], align 1
@.str.108 = external hidden unnamed_addr constant [63 x i8], align 1
@.str.109 = external hidden unnamed_addr constant [117 x i8], align 1
@.str.110 = external hidden unnamed_addr constant [97 x i8], align 1
@.str.111 = external hidden unnamed_addr constant [95 x i8], align 1
@.str.112 = external hidden unnamed_addr constant [95 x i8], align 1
@.str.113 = external hidden unnamed_addr constant [89 x i8], align 1
@.str.114 = external hidden unnamed_addr constant [137 x i8], align 1
@.str.115 = external hidden unnamed_addr constant [96 x i8], align 1
@.str.116 = external hidden unnamed_addr constant [88 x i8], align 1
@.str.117 = external hidden unnamed_addr constant [121 x i8], align 1
@.str.118 = external hidden unnamed_addr constant [74 x i8], align 1
@.str.119 = external hidden unnamed_addr constant [16 x i8], align 1
@.str.120 = external hidden unnamed_addr constant [151 x i8], align 1
@.str.121 = external hidden unnamed_addr constant [91 x i8], align 1
@.str.122 = external hidden unnamed_addr constant [110 x i8], align 1
@.str.123 = external hidden unnamed_addr constant [103 x i8], align 1
@.str.124 = external hidden unnamed_addr constant [104 x i8], align 1
@.str.125 = external hidden unnamed_addr constant [68 x i8], align 1
@.str.126 = external hidden unnamed_addr constant [127 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, ptr noundef) local_unnamed_addr #1

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

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

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

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

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

; Function Attrs: nounwind uwtable
define dso_local void @qh_checkpolygon(ptr noundef %0, ptr noundef %1) local_unnamed_addr #2 {
  %3 = alloca i32, align 4
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %3) #3
  store i32 0, ptr %3, align 4, !tbaa !5
  %4 = getelementptr inbounds i8, ptr %0, i64 136
  %5 = load i32, ptr %4, align 8, !tbaa !9
  %6 = icmp sgt i32 %5, 0
  br i1 %6, label %7, label %14

7:                                                ; preds = %2
  %8 = getelementptr inbounds i8, ptr %0, i64 2424
  %9 = load ptr, ptr %8, align 8, !tbaa !16
  %10 = getelementptr inbounds i8, ptr %1, i64 108
  %11 = load i32, ptr %10, align 4, !tbaa !17
  %12 = getelementptr inbounds i8, ptr %0, i64 2708
  %13 = load i32, ptr %12, align 4, !tbaa !19
  tail call void (ptr, ptr, i32, ptr, ...) @qh_fprintf(ptr noundef nonnull %0, ptr noundef %9, i32 noundef 1027, ptr noundef nonnull @.str.107, i32 noundef %11, i32 noundef %13) #3
  br label %14

14:                                               ; preds = %7, %2
  %15 = tail call i32 @qh_checklists(ptr noundef nonnull %0, ptr noundef %1)
  %.not = icmp eq i32 %15, 0
  br i1 %.not, label %16, label %23

16:                                               ; preds = %14
  store i32 1, ptr %3, align 4, !tbaa !5
  %17 = getelementptr inbounds i8, ptr %0, i64 2424
  %18 = load ptr, ptr %17, align 8, !tbaa !16
  tail call void (ptr, ptr, i32, ptr, ...) @qh_fprintf(ptr noundef nonnull %0, ptr noundef %18, i32 noundef 6374, ptr noundef nonnull @.str.108) #3
  %19 = getelementptr inbounds i8, ptr %0, i64 2568
  %20 = load i32, ptr %19, align 8, !tbaa !20
  %21 = icmp slt i32 %20, 4000
  br i1 %21, label %22, label %23

22:                                               ; preds = %16
  tail call void @qh_printlists(ptr noundef nonnull %0)
  br label %23

23:                                               ; preds = %16, %22, %14
  %24 = getelementptr inbounds i8, ptr %0, i64 2456
  %25 = load ptr, ptr %24, align 8, !tbaa !21
  %.not357 = icmp eq ptr %25, %1
  br i1 %.not357, label %26, label %29

26:                                               ; preds = %23
  %27 = getelementptr inbounds i8, ptr %0, i64 236
  %28 = load i32, ptr %27, align 4, !tbaa !22
  %.not358 = icmp eq i32 %28, 0
  br i1 %.not358, label %30, label %29

29:                                               ; preds = %26, %23
  br label %30

30:                                               ; preds = %29, %26
  %.0289 = phi i32 [ 1, %29 ], [ 0, %26 ]
  %.not359 = icmp eq ptr %1, null
  br i1 %.not359, label %.critedge, label %.preheader437

.preheader437:                                    ; preds = %30
  %31 = getelementptr inbounds i8, ptr %0, i64 2488
  %32 = getelementptr inbounds i8, ptr %0, i64 2480
  %33 = getelementptr inbounds i8, ptr %0, i64 2424
  %34 = getelementptr inbounds i8, ptr %0, i64 2708
  %35 = getelementptr inbounds i8, ptr %0, i64 2704
  %36 = getelementptr inbounds i8, ptr %0, i64 2472
  %37 = getelementptr inbounds i8, ptr %0, i64 1912
  %38 = getelementptr inbounds i8, ptr %0, i64 24
  br label %39

39:                                               ; preds = %.preheader437, %154
  %.0288442 = phi i32 [ 0, %.preheader437 ], [ %spec.select, %154 ]
  %.1290441 = phi i32 [ %.0289, %.preheader437 ], [ %.3, %154 ]
  %.0293440 = phi i32 [ 0, %.preheader437 ], [ %.1294, %154 ]
  %.0308439 = phi i32 [ 0, %.preheader437 ], [ %.1309, %154 ]
  %.0334438 = phi ptr [ %1, %.preheader437 ], [ %155, %154 ]
  %40 = getelementptr inbounds i8, ptr %.0334438, i64 56
  %41 = load ptr, ptr %40, align 8, !tbaa !23
  %.not361 = icmp eq ptr %41, null
  br i1 %.not361, label %.critedge.loopexit, label %42

42:                                               ; preds = %39
  %43 = load ptr, ptr %31, align 8, !tbaa !24
  %44 = icmp eq ptr %.0334438, %43
  %spec.select = select i1 %44, i32 1, i32 %.0288442
  %45 = load ptr, ptr %32, align 8, !tbaa !25
  %46 = icmp eq ptr %.0334438, %45
  %.1294 = select i1 %46, i32 1, i32 %.0293440
  %47 = getelementptr inbounds i8, ptr %.0334438, i64 112
  %48 = load i32, ptr %47, align 8
  %49 = and i32 %48, 1024
  %50 = icmp eq i32 %49, 0
  %51 = icmp ne i32 %.1294, 0
  %or.cond = select i1 %50, i1 true, i1 %51
  %52 = icmp ne i32 %spec.select, 0
  %or.cond3 = select i1 %or.cond, i1 true, i1 %52
  br i1 %or.cond3, label %66, label %53

53:                                               ; preds = %42
  %54 = load ptr, ptr %33, align 8, !tbaa !16
  %55 = getelementptr inbounds i8, ptr %.0334438, i64 108
  %56 = load i32, ptr %55, align 4, !tbaa !17
  %.not402 = icmp eq ptr %45, null
  br i1 %.not402, label %60, label %57

57:                                               ; preds = %53
  %58 = getelementptr inbounds i8, ptr %45, i64 108
  %59 = load i32, ptr %58, align 4, !tbaa !17
  br label %60

60:                                               ; preds = %53, %57
  %61 = phi i32 [ %59, %57 ], [ -1, %53 ]
  %.not403 = icmp eq ptr %43, null
  br i1 %.not403, label %.thread, label %62

62:                                               ; preds = %60
  %63 = getelementptr inbounds i8, ptr %43, i64 108
  %64 = load i32, ptr %63, align 4, !tbaa !17
  br label %.thread

.thread:                                          ; preds = %62, %60
  %65 = phi i32 [ %64, %62 ], [ -1, %60 ]
  call void (ptr, ptr, i32, ptr, ...) @qh_fprintf(ptr noundef nonnull %0, ptr noundef %54, i32 noundef 6289, ptr noundef nonnull @.str.109, i32 noundef %56, i32 noundef %61, i32 noundef %65) #3
  br label %.sink.split

66:                                               ; preds = %42
  %or.cond5 = select i1 %50, i1 %51, i1 false
  br i1 %or.cond5, label %67, label %76

67:                                               ; preds = %66
  %68 = load ptr, ptr %33, align 8, !tbaa !16
  %69 = getelementptr inbounds i8, ptr %.0334438, i64 108
  %70 = load i32, ptr %69, align 4, !tbaa !17
  %.not404 = icmp eq ptr %45, null
  br i1 %.not404, label %74, label %71

71:                                               ; preds = %67
  %72 = getelementptr inbounds i8, ptr %45, i64 108
  %73 = load i32, ptr %72, align 4, !tbaa !17
  br label %74

74:                                               ; preds = %67, %71
  %75 = phi i32 [ %73, %71 ], [ -1, %67 ]
  call void (ptr, ptr, i32, ptr, ...) @qh_fprintf(ptr noundef nonnull %0, ptr noundef %68, i32 noundef 6292, ptr noundef nonnull @.str.110, i32 noundef %70, i32 noundef %75) #3
  br label %.sink.split

.sink.split:                                      ; preds = %74, %.thread
  call void @qh_errexit(ptr noundef nonnull %0, i32 noundef 5, ptr noundef nonnull %.0334438, ptr noundef null) #3
  br label %76

76:                                               ; preds = %.sink.split, %66
  %77 = load i32, ptr %47, align 8
  %78 = lshr i32 %77, 11
  %79 = and i32 %78, 1
  %80 = and i32 %spec.select, 1
  %81 = select i1 %51, i32 0, i32 %80
  %.not405 = icmp eq i32 %79, %81
  br i1 %.not405, label %98, label %82

82:                                               ; preds = %76
  %.not406 = icmp eq i32 %79, 0
  %83 = load ptr, ptr %33, align 8, !tbaa !16
  %84 = getelementptr inbounds i8, ptr %.0334438, i64 108
  %85 = load i32, ptr %84, align 4, !tbaa !17
  br i1 %.not406, label %93, label %86

86:                                               ; preds = %82
  %87 = load ptr, ptr %31, align 8, !tbaa !24
  %.not407 = icmp eq ptr %87, null
  br i1 %.not407, label %91, label %88

88:                                               ; preds = %86
  %89 = getelementptr inbounds i8, ptr %87, i64 108
  %90 = load i32, ptr %89, align 4, !tbaa !17
  br label %91

91:                                               ; preds = %86, %88
  %92 = phi i32 [ %90, %88 ], [ -1, %86 ]
  call void (ptr, ptr, i32, ptr, ...) @qh_fprintf(ptr noundef nonnull %0, ptr noundef %83, i32 noundef 6290, ptr noundef nonnull @.str.111, i32 noundef %85, i32 noundef %92) #3
  br label %97

93:                                               ; preds = %82
  %94 = load ptr, ptr %32, align 8, !tbaa !25
  %95 = getelementptr inbounds i8, ptr %94, i64 108
  %96 = load i32, ptr %95, align 4, !tbaa !17
  call void (ptr, ptr, i32, ptr, ...) @qh_fprintf(ptr noundef nonnull %0, ptr noundef %83, i32 noundef 6291, ptr noundef nonnull @.str.112, i32 noundef %85, i32 noundef %96) #3
  br label %97

97:                                               ; preds = %93, %91
  call void @qh_errexit(ptr noundef nonnull %0, i32 noundef 5, ptr noundef nonnull %.0334438, ptr noundef null) #3
  br label %98

98:                                               ; preds = %97, %76
  %99 = load i32, ptr %34, align 4, !tbaa !19
  %.not408 = icmp eq i32 %99, 0
  %100 = load i32, ptr %47, align 8
  %101 = select i1 %.not408, i32 2048, i32 1024
  %102 = and i32 %100, %101
  %.not412.not = icmp eq i32 %102, 0
  br i1 %.not412.not, label %103, label %130

103:                                              ; preds = %98
  %.not419 = icmp eq i32 %.1290441, 0
  br i1 %.not419, label %104, label %128

104:                                              ; preds = %103
  %105 = load ptr, ptr %36, align 8, !tbaa !26
  %106 = icmp eq ptr %.0334438, %105
  br i1 %106, label %128, label %107

107:                                              ; preds = %104
  %108 = getelementptr inbounds i8, ptr %.0334438, i64 88
  %109 = load ptr, ptr %108, align 8, !tbaa !27
  %110 = call i32 @qh_setsize(ptr noundef nonnull %0, ptr noundef %109) #3
  %.not420 = icmp eq i32 %110, 0
  br i1 %.not420, label %128, label %111

111:                                              ; preds = %107
  %112 = load i32, ptr %37, align 8, !tbaa !28
  %.not421 = icmp eq i32 %112, 0
  br i1 %.not421, label %117, label %113

113:                                              ; preds = %111
  %114 = load double, ptr %.0334438, align 8, !tbaa !29
  %115 = load double, ptr %38, align 8, !tbaa !30
  %116 = fcmp ult double %114, %115
  br i1 %116, label %128, label %117

117:                                              ; preds = %113, %111
  %118 = load ptr, ptr %33, align 8, !tbaa !16
  %119 = getelementptr inbounds i8, ptr %.0334438, i64 108
  %120 = load i32, ptr %119, align 4, !tbaa !17
  %121 = load ptr, ptr %36, align 8, !tbaa !26
  %.not422 = icmp eq ptr %121, null
  br i1 %.not422, label %125, label %122

122:                                              ; preds = %117
  %123 = getelementptr inbounds i8, ptr %121, i64 108
  %124 = load i32, ptr %123, align 4, !tbaa !17
  br label %125

125:                                              ; preds = %117, %122
  %126 = phi i32 [ %124, %122 ], [ -1, %117 ]
  call void (ptr, ptr, i32, ptr, ...) @qh_fprintf(ptr noundef nonnull %0, ptr noundef %118, i32 noundef 6137, ptr noundef nonnull @.str.113, i32 noundef %120, i32 noundef %126) #3
  %127 = load ptr, ptr %36, align 8, !tbaa !26
  call void @qh_errexit2(ptr noundef nonnull %0, i32 noundef 5, ptr noundef nonnull %.0334438, ptr noundef %127) #3
  br label %128

128:                                              ; preds = %104, %113, %125, %107, %103
  %.2 = phi i32 [ 1, %103 ], [ 0, %125 ], [ 0, %113 ], [ 0, %107 ], [ 1, %104 ]
  %129 = add nsw i32 %.0308439, 1
  call void @qh_checkfacet(ptr noundef nonnull %0, ptr noundef nonnull %.0334438, i32 noundef 0, ptr noundef nonnull %3)
  br label %154

130:                                              ; preds = %98
  %131 = and i32 %100, 2048
  %.not413 = icmp eq i32 %131, 0
  br i1 %.not413, label %154, label %132

132:                                              ; preds = %130
  %133 = load i32, ptr %35, align 8, !tbaa !31
  %.not414 = icmp eq i32 %133, 0
  br i1 %.not414, label %154, label %134

134:                                              ; preds = %132
  %135 = getelementptr inbounds i8, ptr %.0334438, i64 80
  %136 = load ptr, ptr %135, align 8, !tbaa !32
  %.not415 = icmp eq ptr %136, null
  br i1 %.not415, label %140, label %137

137:                                              ; preds = %134
  %138 = getelementptr inbounds i8, ptr %136, i64 8
  %139 = load ptr, ptr %138, align 8, !tbaa !33
  %.not416 = icmp eq ptr %139, null
  br i1 %.not416, label %140, label %146

140:                                              ; preds = %137, %134
  %141 = getelementptr inbounds i8, ptr %.0334438, i64 72
  %142 = load ptr, ptr %141, align 8, !tbaa !34
  %.not417 = icmp eq ptr %142, null
  br i1 %.not417, label %154, label %143

143:                                              ; preds = %140
  %144 = getelementptr inbounds i8, ptr %142, i64 8
  %145 = load ptr, ptr %144, align 8, !tbaa !33
  %.not418 = icmp eq ptr %145, null
  br i1 %.not418, label %154, label %146

146:                                              ; preds = %143, %137
  %147 = load ptr, ptr %33, align 8, !tbaa !16
  %148 = getelementptr inbounds i8, ptr %.0334438, i64 108
  %149 = load i32, ptr %148, align 4, !tbaa !17
  %150 = call i32 @qh_setsize(ptr noundef nonnull %0, ptr noundef %136) #3
  %151 = getelementptr inbounds i8, ptr %.0334438, i64 72
  %152 = load ptr, ptr %151, align 8, !tbaa !34
  %153 = call i32 @qh_setsize(ptr noundef nonnull %0, ptr noundef %152) #3
  call void (ptr, ptr, i32, ptr, ...) @qh_fprintf(ptr noundef nonnull %0, ptr noundef %147, i32 noundef 6376, ptr noundef nonnull @.str.114, i32 noundef %149, i32 noundef %150, i32 noundef %153) #3
  call void @qh_errexit(ptr noundef nonnull %0, i32 noundef 5, ptr noundef nonnull %.0334438, ptr noundef null) #3
  br label %154

154:                                              ; preds = %128, %140, %146, %143, %132, %130
  %.1309 = phi i32 [ %129, %128 ], [ %.0308439, %146 ], [ %.0308439, %143 ], [ %.0308439, %140 ], [ %.0308439, %132 ], [ %.0308439, %130 ]
  %.3 = phi i32 [ %.2, %128 ], [ %.1290441, %146 ], [ %.1290441, %143 ], [ %.1290441, %140 ], [ %.1290441, %132 ], [ %.1290441, %130 ]
  %155 = load ptr, ptr %40, align 8, !tbaa !23
  %.not360 = icmp eq ptr %155, null
  br i1 %.not360, label %.critedge.loopexit, label %39, !llvm.loop !35

.critedge.loopexit:                               ; preds = %154, %39
  %.2310.ph = phi i32 [ %.0308439, %39 ], [ %.1309, %154 ]
  %.pre = load ptr, ptr %24, align 8, !tbaa !21
  br label %.critedge

.critedge:                                        ; preds = %.critedge.loopexit, %30
  %156 = phi ptr [ %25, %30 ], [ %.pre, %.critedge.loopexit ]
  %.2310 = phi i32 [ 0, %30 ], [ %.2310.ph, %.critedge.loopexit ]
  %157 = icmp eq ptr %156, %1
  br i1 %157, label %162, label %158

158:                                              ; preds = %.critedge
  %159 = getelementptr inbounds i8, ptr %0, i64 2480
  %160 = load ptr, ptr %159, align 8, !tbaa !25
  %161 = icmp eq ptr %160, %1
  br i1 %161, label %162, label %.critedge7

162:                                              ; preds = %158, %.critedge
  %.sink504 = phi i64 [ 2544, %.critedge ], [ 2560, %158 ]
  %163 = getelementptr inbounds i8, ptr %0, i64 %.sink504
  %164 = load ptr, ptr %163, align 8, !tbaa !37
  %.not362443 = icmp eq ptr %164, null
  br i1 %.not362443, label %.critedge7, label %.lr.ph

.lr.ph:                                           ; preds = %162
  %165 = getelementptr inbounds i8, ptr %0, i64 2560
  %166 = getelementptr inbounds i8, ptr %0, i64 2424
  %167 = getelementptr inbounds i8, ptr %0, i64 2488
  br label %168

168:                                              ; preds = %.lr.ph, %191
  %.0291445 = phi i32 [ 0, %.lr.ph ], [ %spec.select423, %191 ]
  %.0314444 = phi ptr [ %164, %.lr.ph ], [ %192, %191 ]
  %169 = load ptr, ptr %.0314444, align 8, !tbaa !38
  %.not363 = icmp eq ptr %169, null
  br i1 %.not363, label %.critedge7, label %170

170:                                              ; preds = %168
  call void @qh_checkvertex(ptr noundef nonnull %0, ptr noundef nonnull %.0314444, i32 noundef 0, ptr noundef nonnull %3)
  %171 = load ptr, ptr %165, align 8, !tbaa !40
  %172 = icmp eq ptr %.0314444, %171
  %spec.select423 = select i1 %172, i32 1, i32 %.0291445
  %173 = getelementptr inbounds i8, ptr %.0314444, i64 40
  %174 = load i8, ptr %173, align 8
  %175 = and i8 %174, -2
  store i8 %175, ptr %173, align 8
  %176 = getelementptr inbounds i8, ptr %.0314444, i64 36
  store i32 0, ptr %176, align 4, !tbaa !41
  %177 = icmp eq i32 %spec.select423, 0
  %178 = and i8 %174, 20
  %179 = icmp eq i8 %178, 16
  %or.cond424 = select i1 %179, i1 %177, i1 false
  br i1 %or.cond424, label %180, label %191

180:                                              ; preds = %170
  %181 = load ptr, ptr %166, align 8, !tbaa !16
  %182 = getelementptr inbounds i8, ptr %.0314444, i64 32
  %183 = load i32, ptr %182, align 8, !tbaa !42
  %184 = load ptr, ptr %165, align 8, !tbaa !40
  %.not401 = icmp eq ptr %184, null
  br i1 %.not401, label %188, label %185

185:                                              ; preds = %180
  %186 = getelementptr inbounds i8, ptr %184, i64 32
  %187 = load i32, ptr %186, align 8, !tbaa !42
  br label %188

188:                                              ; preds = %180, %185
  %189 = phi i32 [ %187, %185 ], [ -1, %180 ]
  call void (ptr, ptr, i32, ptr, ...) @qh_fprintf(ptr noundef nonnull %0, ptr noundef %181, i32 noundef 6288, ptr noundef nonnull @.str.115, i32 noundef %183, i32 noundef %189) #3
  %190 = load ptr, ptr %167, align 8, !tbaa !24
  call void @qh_errexit(ptr noundef nonnull %0, i32 noundef 5, ptr noundef %190, ptr noundef null) #3
  br label %191

191:                                              ; preds = %170, %188
  %192 = load ptr, ptr %.0314444, align 8, !tbaa !38
  %.not362 = icmp eq ptr %192, null
  br i1 %.not362, label %.critedge7, label %168, !llvm.loop !43

.critedge7:                                       ; preds = %168, %191, %158, %162
  br i1 %.not359, label %.critedge11, label %.preheader436

.preheader436:                                    ; preds = %.critedge7
  %193 = getelementptr inbounds i8, ptr %0, i64 632
  %194 = getelementptr inbounds i8, ptr %0, i64 2424
  %195 = getelementptr inbounds i8, ptr %0, i64 648
  br label %196

196:                                              ; preds = %.preheader436, %.loopexit435
  %.0300454 = phi i32 [ 0, %.preheader436 ], [ %.2302, %.loopexit435 ]
  %.0304453 = phi i32 [ 0, %.preheader436 ], [ %.3307, %.loopexit435 ]
  %.1335452 = phi ptr [ %1, %.preheader436 ], [ %237, %.loopexit435 ]
  %197 = getelementptr inbounds i8, ptr %.1335452, i64 56
  %198 = load ptr, ptr %197, align 8, !tbaa !23
  %.not365 = icmp eq ptr %198, null
  br i1 %.not365, label %.critedge11.loopexit, label %199

199:                                              ; preds = %196
  %200 = getelementptr inbounds i8, ptr %.1335452, i64 112
  %201 = load i32, ptr %200, align 8
  %202 = and i32 %201, 2048
  %.not393 = icmp eq i32 %202, 0
  br i1 %.not393, label %203, label %.loopexit435

203:                                              ; preds = %199
  %204 = and i32 %201, 8192
  %.not394 = icmp eq i32 %204, 0
  br i1 %.not394, label %207, label %205

205:                                              ; preds = %203
  %206 = load i32, ptr %193, align 8, !tbaa !44
  br label %211

207:                                              ; preds = %203
  %208 = getelementptr inbounds i8, ptr %.1335452, i64 72
  %209 = load ptr, ptr %208, align 8, !tbaa !34
  %210 = call i32 @qh_setsize(ptr noundef %0, ptr noundef %209) #3
  br label %211

211:                                              ; preds = %207, %205
  %.pn395 = phi i32 [ %206, %205 ], [ %210, %207 ]
  %.1301 = add nsw i32 %.pn395, %.0300454
  %212 = getelementptr inbounds i8, ptr %.1335452, i64 64
  %213 = load ptr, ptr %212, align 8, !tbaa !45
  %.not396 = icmp eq ptr %213, null
  br i1 %.not396, label %.loopexit435, label %.preheader434

.preheader434:                                    ; preds = %211
  %.0312447 = getelementptr inbounds i8, ptr %213, i64 8
  %214 = load ptr, ptr %.0312447, align 8, !tbaa !37
  %.not398448 = icmp eq ptr %214, null
  br i1 %.not398448, label %.loopexit435, label %.lr.ph451

.lr.ph451:                                        ; preds = %.preheader434, %235
  %215 = phi ptr [ %236, %235 ], [ %214, %.preheader434 ]
  %.0312450 = phi ptr [ %.0312, %235 ], [ %.0312447, %.preheader434 ]
  %.1305449 = phi i32 [ %.2306, %235 ], [ %.0304453, %.preheader434 ]
  %216 = getelementptr inbounds i8, ptr %215, i64 36
  %217 = load i32, ptr %216, align 4, !tbaa !41
  %218 = add i32 %217, 1
  store i32 %218, ptr %216, align 4, !tbaa !41
  %219 = getelementptr inbounds i8, ptr %215, i64 40
  %220 = load i8, ptr %219, align 8
  %221 = and i8 %220, 1
  %.not399 = icmp eq i8 %221, 0
  br i1 %.not399, label %222, label %235

222:                                              ; preds = %.lr.ph451
  %223 = or disjoint i8 %220, 1
  store i8 %223, ptr %219, align 8
  %224 = add nsw i32 %.1305449, 1
  %225 = getelementptr inbounds i8, ptr %215, i64 16
  %226 = load ptr, ptr %225, align 8, !tbaa !46
  %227 = call i32 @qh_pointid(ptr noundef %0, ptr noundef %226) #3
  %228 = icmp eq i32 %227, -1
  br i1 %228, label %229, label %235

229:                                              ; preds = %222
  %230 = load ptr, ptr %194, align 8, !tbaa !16
  %231 = load ptr, ptr %225, align 8, !tbaa !46
  %232 = getelementptr inbounds i8, ptr %215, i64 32
  %233 = load i32, ptr %232, align 8, !tbaa !42
  %234 = load ptr, ptr %195, align 8, !tbaa !47
  call void (ptr, ptr, i32, ptr, ...) @qh_fprintf(ptr noundef %0, ptr noundef %230, i32 noundef 6139, ptr noundef nonnull @.str.116, ptr noundef %231, i32 noundef %233, ptr noundef %234) #3
  store i32 1, ptr %3, align 4, !tbaa !5
  br label %235

235:                                              ; preds = %222, %229, %.lr.ph451
  %.2306 = phi i32 [ %.1305449, %.lr.ph451 ], [ %224, %229 ], [ %224, %222 ]
  %.0312 = getelementptr inbounds i8, ptr %.0312450, i64 8
  %236 = load ptr, ptr %.0312, align 8, !tbaa !37
  %.not398 = icmp eq ptr %236, null
  br i1 %.not398, label %.loopexit435, label %.lr.ph451, !llvm.loop !48

.loopexit435:                                     ; preds = %235, %.preheader434, %211, %199
  %.3307 = phi i32 [ %.0304453, %199 ], [ %.0304453, %211 ], [ %.0304453, %.preheader434 ], [ %.2306, %235 ]
  %.2302 = phi i32 [ %.0300454, %199 ], [ %.1301, %211 ], [ %.1301, %.preheader434 ], [ %.1301, %235 ]
  %237 = load ptr, ptr %197, align 8, !tbaa !23
  %.not364 = icmp eq ptr %237, null
  br i1 %.not364, label %.critedge11.loopexit, label %196, !llvm.loop !49

.critedge11.loopexit:                             ; preds = %.loopexit435, %196
  %.4.ph = phi i32 [ %.0304453, %196 ], [ %.3307, %.loopexit435 ]
  %.3303.ph = phi i32 [ %.0300454, %196 ], [ %.2302, %.loopexit435 ]
  %238 = sdiv i32 %.3303.ph, 2
  br label %.critedge11

.critedge11:                                      ; preds = %.critedge11.loopexit, %.critedge7
  %.4 = phi i32 [ 0, %.critedge7 ], [ %.4.ph, %.critedge11.loopexit ]
  %.3303 = phi i32 [ 0, %.critedge7 ], [ %238, %.critedge11.loopexit ]
  %239 = getelementptr inbounds i8, ptr %0, i64 2788
  %240 = load i32, ptr %239, align 4, !tbaa !50
  %241 = add i32 %240, %.2310
  store i32 %241, ptr %239, align 4, !tbaa !50
  %242 = load ptr, ptr %24, align 8, !tbaa !21
  %243 = icmp eq ptr %242, %1
  br i1 %243, label %244, label %388

244:                                              ; preds = %.critedge11
  %245 = getelementptr inbounds i8, ptr %0, i64 2568
  %246 = load i32, ptr %245, align 8, !tbaa !20
  %247 = getelementptr inbounds i8, ptr %0, i64 2496
  %248 = load i32, ptr %247, align 8, !tbaa !51
  %249 = sub nsw i32 %246, %248
  %.not366 = icmp eq i32 %.2310, %249
  br i1 %.not366, label %253, label %250

250:                                              ; preds = %244
  %251 = getelementptr inbounds i8, ptr %0, i64 2424
  %252 = load ptr, ptr %251, align 8, !tbaa !16
  call void (ptr, ptr, i32, ptr, ...) @qh_fprintf(ptr noundef nonnull %0, ptr noundef %252, i32 noundef 6140, ptr noundef nonnull @.str.117, i32 noundef %.2310, i32 noundef %246, i32 noundef %248) #3
  store i32 1, ptr %3, align 4, !tbaa !5
  %.pre495 = load i32, ptr %239, align 4, !tbaa !50
  br label %253

253:                                              ; preds = %250, %244
  %254 = phi i32 [ %.pre495, %250 ], [ %241, %244 ]
  %255 = add i32 %254, 1
  store i32 %255, ptr %239, align 4, !tbaa !50
  %256 = getelementptr inbounds i8, ptr %0, i64 1720
  %257 = load i32, ptr %256, align 8, !tbaa !52
  %.not367 = icmp eq i32 %257, 0
  br i1 %.not367, label %.critedge19, label %258

258:                                              ; preds = %253
  %259 = getelementptr inbounds i8, ptr %0, i64 2544
  %.1315455 = load ptr, ptr %259, align 8, !tbaa !37
  %.not368456 = icmp eq ptr %.1315455, null
  br i1 %.not368456, label %.critedge13, label %.lr.ph459

.lr.ph459:                                        ; preds = %258
  %260 = getelementptr inbounds i8, ptr %0, i64 2424
  br label %261

261:                                              ; preds = %.lr.ph459, %281
  %.1315458 = phi ptr [ %.1315455, %.lr.ph459 ], [ %.1315, %281 ]
  %.0298457 = phi i32 [ 0, %.lr.ph459 ], [ %.1299, %281 ]
  %262 = load ptr, ptr %.1315458, align 8, !tbaa !38
  %.not369 = icmp eq ptr %262, null
  br i1 %.not369, label %.critedge13, label %263

263:                                              ; preds = %261
  %264 = getelementptr inbounds i8, ptr %.1315458, i64 24
  %265 = load ptr, ptr %264, align 8, !tbaa !53
  %.not391 = icmp eq ptr %265, null
  br i1 %.not391, label %266, label %270

266:                                              ; preds = %263
  %267 = load ptr, ptr %260, align 8, !tbaa !16
  %268 = getelementptr inbounds i8, ptr %.1315458, i64 32
  %269 = load i32, ptr %268, align 8, !tbaa !42
  call void (ptr, ptr, i32, ptr, ...) @qh_fprintf(ptr noundef %0, ptr noundef %267, i32 noundef 6407, ptr noundef nonnull @.str.118, i32 noundef %269) #3
  store i32 1, ptr %3, align 4, !tbaa !5
  %.pre496 = load ptr, ptr %264, align 8, !tbaa !53
  br label %270

270:                                              ; preds = %266, %263
  %271 = phi ptr [ %.pre496, %266 ], [ %265, %263 ]
  %272 = getelementptr inbounds i8, ptr %.1315458, i64 32
  %273 = load i32, ptr %272, align 8, !tbaa !42
  call void @qh_setcheck(ptr noundef %0, ptr noundef %271, ptr noundef nonnull @.str.119, i32 noundef %273) #3
  %274 = getelementptr inbounds i8, ptr %.1315458, i64 40
  %275 = load i8, ptr %274, align 8
  %276 = and i8 %275, 4
  %.not392 = icmp eq i8 %276, 0
  br i1 %.not392, label %277, label %281

277:                                              ; preds = %270
  %278 = load ptr, ptr %264, align 8, !tbaa !53
  %279 = call i32 @qh_setsize(ptr noundef %0, ptr noundef %278) #3
  %280 = add nsw i32 %279, %.0298457
  br label %281

281:                                              ; preds = %270, %277
  %.1299 = phi i32 [ %.0298457, %270 ], [ %280, %277 ]
  %.1315 = load ptr, ptr %.1315458, align 8, !tbaa !37
  %.not368 = icmp eq ptr %.1315, null
  br i1 %.not368, label %.critedge13, label %261, !llvm.loop !54

.critedge13:                                      ; preds = %261, %281, %258
  %.0298.lcssa = phi i32 [ 0, %258 ], [ %.1299, %281 ], [ %.0298457, %261 ]
  br i1 %.not359, label %.critedge15, label %.preheader433

.preheader433:                                    ; preds = %.critedge13, %293
  %.0295464 = phi i32 [ %.1296, %293 ], [ 0, %.critedge13 ]
  %.2336463 = phi ptr [ %294, %293 ], [ %1, %.critedge13 ]
  %282 = getelementptr inbounds i8, ptr %.2336463, i64 56
  %283 = load ptr, ptr %282, align 8, !tbaa !23
  %.not371 = icmp eq ptr %283, null
  br i1 %.not371, label %.critedge15, label %284

284:                                              ; preds = %.preheader433
  %285 = getelementptr inbounds i8, ptr %.2336463, i64 112
  %286 = load i32, ptr %285, align 8
  %287 = and i32 %286, 2048
  %.not390 = icmp eq i32 %287, 0
  br i1 %.not390, label %288, label %293

288:                                              ; preds = %284
  %289 = getelementptr inbounds i8, ptr %.2336463, i64 64
  %290 = load ptr, ptr %289, align 8, !tbaa !45
  %291 = call i32 @qh_setsize(ptr noundef %0, ptr noundef %290) #3
  %292 = add nsw i32 %291, %.0295464
  %.pre497 = load ptr, ptr %282, align 8, !tbaa !23
  br label %293

293:                                              ; preds = %284, %288
  %294 = phi ptr [ %283, %284 ], [ %.pre497, %288 ]
  %.1296 = phi i32 [ %.0295464, %284 ], [ %292, %288 ]
  %.not370 = icmp eq ptr %294, null
  br i1 %.not370, label %.critedge15, label %.preheader433, !llvm.loop !55

.critedge15:                                      ; preds = %.preheader433, %293, %.critedge13
  %.2297 = phi i32 [ 0, %.critedge13 ], [ %.1296, %293 ], [ %.0295464, %.preheader433 ]
  %.not372 = icmp eq i32 %.0298.lcssa, %.2297
  br i1 %.not372, label %.critedge19, label %295

295:                                              ; preds = %.critedge15
  %296 = getelementptr inbounds i8, ptr %0, i64 2424
  %297 = load ptr, ptr %296, align 8, !tbaa !16
  call void (ptr, ptr, i32, ptr, ...) @qh_fprintf(ptr noundef %0, ptr noundef %297, i32 noundef 6141, ptr noundef nonnull @.str.120, i32 noundef %.0298.lcssa, i32 noundef %.2297) #3
  store i32 1, ptr %3, align 4, !tbaa !5
  %.2316473 = load ptr, ptr %259, align 8, !tbaa !37
  %.not373474 = icmp eq ptr %.2316473, null
  br i1 %.not373474, label %.critedge17, label %.lr.ph478

.lr.ph478:                                        ; preds = %295
  %298 = getelementptr inbounds i8, ptr %0, i64 2784
  br label %299

299:                                              ; preds = %.lr.ph478, %.loopexit432
  %.2316477 = phi ptr [ %.2316473, %.lr.ph478 ], [ %.2316, %.loopexit432 ]
  %.0317476 = phi ptr [ null, %.lr.ph478 ], [ %.4321, %.loopexit432 ]
  %.0322475 = phi ptr [ null, %.lr.ph478 ], [ %.4326, %.loopexit432 ]
  %300 = load ptr, ptr %.2316477, align 8, !tbaa !38
  %.not374 = icmp eq ptr %300, null
  br i1 %.not374, label %.critedge17, label %301

301:                                              ; preds = %299
  %302 = getelementptr inbounds i8, ptr %.2316477, i64 40
  %303 = load i8, ptr %302, align 8
  %304 = and i8 %303, 4
  %.not385 = icmp eq i8 %304, 0
  br i1 %.not385, label %305, label %.loopexit432

305:                                              ; preds = %301
  %306 = load i32, ptr %298, align 8, !tbaa !56
  %307 = add i32 %306, 1
  store i32 %307, ptr %298, align 8, !tbaa !56
  %308 = getelementptr inbounds i8, ptr %.2316477, i64 24
  %309 = load ptr, ptr %308, align 8, !tbaa !53
  %.not386 = icmp eq ptr %309, null
  br i1 %.not386, label %.loopexit432, label %.preheader431

.preheader431:                                    ; preds = %305
  %.0333465 = getelementptr inbounds i8, ptr %309, i64 8
  %310 = load ptr, ptr %.0333465, align 8, !tbaa !37
  %.not388466 = icmp eq ptr %310, null
  br i1 %.not388466, label %.loopexit432, label %.lr.ph470

.lr.ph470:                                        ; preds = %.preheader431
  %311 = getelementptr inbounds i8, ptr %.2316477, i64 32
  br label %312

312:                                              ; preds = %.lr.ph470, %333
  %313 = phi ptr [ %310, %.lr.ph470 ], [ %334, %333 ]
  %.0333469 = phi ptr [ %.0333465, %.lr.ph470 ], [ %.0333, %333 ]
  %.1318468 = phi ptr [ %.0317476, %.lr.ph470 ], [ %.3320, %333 ]
  %.1323467 = phi ptr [ %.0322475, %.lr.ph470 ], [ %.3325, %333 ]
  %314 = getelementptr inbounds i8, ptr %313, i64 104
  %315 = load i32, ptr %314, align 8, !tbaa !57
  %316 = load i32, ptr %298, align 8, !tbaa !56
  %317 = icmp eq i32 %315, %316
  br i1 %317, label %318, label %323

318:                                              ; preds = %312
  %319 = load ptr, ptr %296, align 8, !tbaa !16
  %320 = getelementptr inbounds i8, ptr %313, i64 108
  %321 = load i32, ptr %320, align 4, !tbaa !17
  %322 = load i32, ptr %311, align 8, !tbaa !42
  call void (ptr, ptr, i32, ptr, ...) @qh_fprintf(ptr noundef nonnull %0, ptr noundef %319, i32 noundef 6275, ptr noundef nonnull @.str.121, i32 noundef %321, i32 noundef %322) #3
  %.pre498 = load i32, ptr %298, align 8, !tbaa !56
  br label %323

323:                                              ; preds = %318, %312
  %324 = phi i32 [ %.pre498, %318 ], [ %316, %312 ]
  %.2324 = phi ptr [ %313, %318 ], [ %.1323467, %312 ]
  %.2319 = phi ptr [ %.1323467, %318 ], [ %.1318468, %312 ]
  store i32 %324, ptr %314, align 8, !tbaa !57
  %325 = getelementptr inbounds i8, ptr %313, i64 64
  %326 = load ptr, ptr %325, align 8, !tbaa !45
  %327 = call i32 @qh_setin(ptr noundef %326, ptr noundef nonnull %.2316477) #3
  %.not389 = icmp eq i32 %327, 0
  br i1 %.not389, label %328, label %333

328:                                              ; preds = %323
  %329 = load ptr, ptr %296, align 8, !tbaa !16
  %330 = getelementptr inbounds i8, ptr %313, i64 108
  %331 = load i32, ptr %330, align 4, !tbaa !17
  %332 = load i32, ptr %311, align 8, !tbaa !42
  call void (ptr, ptr, i32, ptr, ...) @qh_fprintf(ptr noundef nonnull %0, ptr noundef %329, i32 noundef 6276, ptr noundef nonnull @.str.122, i32 noundef %331, i32 noundef %332, i32 noundef %332, i32 noundef %331) #3
  br label %333

333:                                              ; preds = %328, %323
  %.3325 = phi ptr [ %.2324, %323 ], [ %313, %328 ]
  %.3320 = phi ptr [ %.2319, %323 ], [ %.2324, %328 ]
  %.0333 = getelementptr inbounds i8, ptr %.0333469, i64 8
  %334 = load ptr, ptr %.0333, align 8, !tbaa !37
  %.not388 = icmp eq ptr %334, null
  br i1 %.not388, label %.loopexit432, label %312, !llvm.loop !58

.loopexit432:                                     ; preds = %333, %.preheader431, %305, %301
  %.4326 = phi ptr [ %.0322475, %301 ], [ %.0322475, %305 ], [ %.0322475, %.preheader431 ], [ %.3325, %333 ]
  %.4321 = phi ptr [ %.0317476, %301 ], [ %.0317476, %305 ], [ %.0317476, %.preheader431 ], [ %.3320, %333 ]
  %.2316 = load ptr, ptr %.2316477, align 8, !tbaa !37
  %.not373 = icmp eq ptr %.2316, null
  br i1 %.not373, label %.critedge17, label %299, !llvm.loop !59

.critedge17:                                      ; preds = %299, %.loopexit432, %295
  %.0322.lcssa = phi ptr [ null, %295 ], [ %.4326, %.loopexit432 ], [ %.0322475, %299 ]
  %.0317.lcssa = phi ptr [ null, %295 ], [ %.4321, %.loopexit432 ], [ %.0317476, %299 ]
  br i1 %.not359, label %.critedge19, label %.preheader430

.preheader430:                                    ; preds = %.critedge17, %.loopexit
  %.5494 = phi ptr [ %.8, %.loopexit ], [ %.0317.lcssa, %.critedge17 ]
  %.5327493 = phi ptr [ %.8330, %.loopexit ], [ %.0322.lcssa, %.critedge17 ]
  %.3337492 = phi ptr [ %358, %.loopexit ], [ %1, %.critedge17 ]
  %335 = getelementptr inbounds i8, ptr %.3337492, i64 56
  %336 = load ptr, ptr %335, align 8, !tbaa !23
  %.not376 = icmp eq ptr %336, null
  br i1 %.not376, label %.critedge19, label %337

337:                                              ; preds = %.preheader430
  %338 = getelementptr inbounds i8, ptr %.3337492, i64 112
  %339 = load i32, ptr %338, align 8
  %340 = and i32 %339, 2048
  %.not381 = icmp eq i32 %340, 0
  br i1 %.not381, label %341, label %.loopexit

341:                                              ; preds = %337
  %342 = getelementptr inbounds i8, ptr %.3337492, i64 64
  %343 = load ptr, ptr %342, align 8, !tbaa !45
  %.not382 = icmp eq ptr %343, null
  br i1 %.not382, label %.loopexit, label %.preheader

.preheader:                                       ; preds = %341
  %.1313484 = getelementptr inbounds i8, ptr %343, i64 8
  %344 = load ptr, ptr %.1313484, align 8, !tbaa !37
  %.not383485 = icmp eq ptr %344, null
  br i1 %.not383485, label %.loopexit, label %.lr.ph489

.lr.ph489:                                        ; preds = %.preheader
  %345 = getelementptr inbounds i8, ptr %.3337492, i64 108
  br label %346

346:                                              ; preds = %.lr.ph489, %356
  %347 = phi ptr [ %344, %.lr.ph489 ], [ %357, %356 ]
  %.1313488 = phi ptr [ %.1313484, %.lr.ph489 ], [ %.1313, %356 ]
  %.6487 = phi ptr [ %.5494, %.lr.ph489 ], [ %.7, %356 ]
  %.6328486 = phi ptr [ %.5327493, %.lr.ph489 ], [ %.7329, %356 ]
  %348 = getelementptr inbounds i8, ptr %347, i64 24
  %349 = load ptr, ptr %348, align 8, !tbaa !53
  %350 = call i32 @qh_setin(ptr noundef %349, ptr noundef nonnull %.3337492) #3
  %.not384 = icmp eq i32 %350, 0
  br i1 %.not384, label %351, label %356

351:                                              ; preds = %346
  %352 = load ptr, ptr %296, align 8, !tbaa !16
  %353 = getelementptr inbounds i8, ptr %347, i64 32
  %354 = load i32, ptr %353, align 8, !tbaa !42
  %355 = load i32, ptr %345, align 4, !tbaa !17
  call void (ptr, ptr, i32, ptr, ...) @qh_fprintf(ptr noundef %0, ptr noundef %352, i32 noundef 6277, ptr noundef nonnull @.str.123, i32 noundef %354, i32 noundef %355, i32 noundef %355, i32 noundef %354) #3
  br label %356

356:                                              ; preds = %351, %346
  %.7329 = phi ptr [ %.6328486, %346 ], [ %.3337492, %351 ]
  %.7 = phi ptr [ %.6487, %346 ], [ %.6328486, %351 ]
  %.1313 = getelementptr inbounds i8, ptr %.1313488, i64 8
  %357 = load ptr, ptr %.1313, align 8, !tbaa !37
  %.not383 = icmp eq ptr %357, null
  br i1 %.not383, label %.loopexit.loopexit, label %346, !llvm.loop !60

.loopexit.loopexit:                               ; preds = %356
  %.pre499 = load ptr, ptr %335, align 8, !tbaa !23
  br label %.loopexit

.loopexit:                                        ; preds = %.loopexit.loopexit, %.preheader, %337, %341
  %358 = phi ptr [ %336, %337 ], [ %336, %341 ], [ %336, %.preheader ], [ %.pre499, %.loopexit.loopexit ]
  %.8330 = phi ptr [ %.5327493, %337 ], [ %.5327493, %341 ], [ %.5327493, %.preheader ], [ %.7329, %.loopexit.loopexit ]
  %.8 = phi ptr [ %.5494, %337 ], [ %.5494, %341 ], [ %.5494, %.preheader ], [ %.7, %.loopexit.loopexit ]
  %.not375 = icmp eq ptr %358, null
  br i1 %.not375, label %.critedge19, label %.preheader430, !llvm.loop !61

.critedge19:                                      ; preds = %.preheader430, %.loopexit, %.critedge15, %.critedge17, %253
  %.9331 = phi ptr [ %.0322.lcssa, %.critedge17 ], [ null, %.critedge15 ], [ null, %253 ], [ %.8330, %.loopexit ], [ %.5327493, %.preheader430 ]
  %.9 = phi ptr [ %.0317.lcssa, %.critedge17 ], [ null, %.critedge15 ], [ null, %253 ], [ %.8, %.loopexit ], [ %.5494, %.preheader430 ]
  %359 = getelementptr inbounds i8, ptr %0, i64 2572
  %360 = load i32, ptr %359, align 4, !tbaa !62
  %361 = getelementptr inbounds i8, ptr %0, i64 2840
  %362 = load ptr, ptr %361, align 8, !tbaa !63
  %363 = call i32 @qh_setsize(ptr noundef %0, ptr noundef %362) #3
  %364 = sub nsw i32 %360, %363
  %.not377 = icmp eq i32 %.4, %364
  br i1 %.not377, label %372, label %365

365:                                              ; preds = %.critedge19
  %366 = getelementptr inbounds i8, ptr %0, i64 2424
  %367 = load ptr, ptr %366, align 8, !tbaa !16
  %368 = load i32, ptr %359, align 4, !tbaa !62
  %369 = load ptr, ptr %361, align 8, !tbaa !63
  %370 = call i32 @qh_setsize(ptr noundef nonnull %0, ptr noundef %369) #3
  %371 = sub nsw i32 %368, %370
  call void (ptr, ptr, i32, ptr, ...) @qh_fprintf(ptr noundef nonnull %0, ptr noundef %367, i32 noundef 6142, ptr noundef nonnull @.str.124, i32 noundef %.4, i32 noundef %371) #3
  store i32 1, ptr %3, align 4, !tbaa !5
  br label %372

372:                                              ; preds = %365, %.critedge19
  %373 = getelementptr inbounds i8, ptr %0, i64 632
  %374 = load i32, ptr %373, align 8, !tbaa !44
  %375 = icmp ne i32 %374, 2
  %.not378 = icmp eq i32 %.4, %.2310
  %or.cond425 = select i1 %375, i1 true, i1 %.not378
  br i1 %or.cond425, label %379, label %376

376:                                              ; preds = %372
  %377 = getelementptr inbounds i8, ptr %0, i64 2424
  %378 = load ptr, ptr %377, align 8, !tbaa !16
  call void (ptr, ptr, i32, ptr, ...) @qh_fprintf(ptr noundef nonnull %0, ptr noundef %378, i32 noundef 6143, ptr noundef nonnull @.str.125, i32 noundef %.4, i32 noundef %.2310) #3
  store i32 1, ptr %3, align 4, !tbaa !5
  %.pr = load i32, ptr %373, align 8, !tbaa !44
  br label %379

379:                                              ; preds = %376, %372
  %380 = phi i32 [ %.pr, %376 ], [ %374, %372 ]
  %381 = icmp eq i32 %380, 3
  br i1 %381, label %382, label %388

382:                                              ; preds = %379
  %383 = add nsw i32 %.4, %.2310
  %384 = sub i32 %383, %.3303
  %.not379 = icmp eq i32 %384, 2
  br i1 %.not379, label %388, label %385

385:                                              ; preds = %382
  %386 = getelementptr inbounds i8, ptr %0, i64 2424
  %387 = load ptr, ptr %386, align 8, !tbaa !16
  call void (ptr, ptr, i32, ptr, ...) @qh_fprintf(ptr noundef nonnull %0, ptr noundef %387, i32 noundef 7063, ptr noundef nonnull @.str.126, i32 noundef %.4, i32 noundef %.2310, i32 noundef %.3303) #3
  br label %388

388:                                              ; preds = %379, %382, %385, %.critedge11
  %.10332 = phi ptr [ %.9331, %385 ], [ %.9331, %382 ], [ %.9331, %379 ], [ null, %.critedge11 ]
  %.10 = phi ptr [ %.9, %385 ], [ %.9, %382 ], [ %.9, %379 ], [ null, %.critedge11 ]
  %389 = load i32, ptr %3, align 4, !tbaa !5
  %.not380 = icmp eq i32 %389, 0
  br i1 %.not380, label %391, label %390

390:                                              ; preds = %388
  call void @qh_errexit2(ptr noundef nonnull %0, i32 noundef 5, ptr noundef %.10332, ptr noundef %.10) #3
  br label %391

391:                                              ; preds = %390, %388
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %3) #3
  ret void
}

; Function Attrs: nounwind uwtable
declare dso_local void @qh_checkfacet(ptr noundef, ptr noundef, i32 noundef, ptr noundef) local_unnamed_addr #2

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

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

; Function Attrs: nounwind uwtable
declare dso_local i32 @qh_checklists(ptr noundef, ptr noundef) local_unnamed_addr #2

; Function Attrs: nounwind uwtable
declare dso_local void @qh_printlists(ptr noundef) local_unnamed_addr #2

; Function Attrs: nounwind uwtable
declare dso_local void @qh_checkvertex(ptr noundef, ptr noundef, i32 noundef, ptr noundef) local_unnamed_addr #2

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


; Effective O3 passes: CorrelatedValuePropagationPass,EarlyCSEPass,GVNPass,GlobalOptPass,IPSCCPPass,InferFunctionAttrsPass,InstCombinePass,InstSimplifyPass,JumpThreadingPass,LCSSAPass,LICMPass,LoopRotatePass,LoopSimplifyPass,LoopUnrollPass,ReassociatePass,SROAPass,SimplifyCFGPass,TailCallElimPass