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

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

%struct.qhT = type { i32, i32, i32, i32, i32, i32, double, i32, i32, i32, i32, i32, i32, i32, i32, double, double, i32, i32, i32, i32, i32, i32, ptr, i32, i32, ptr, i32, i32, i32, i32, i32, i32, i32, double, double, i32, i32, i32, i32, double, double, i32, i32, double, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, [29 x i32], i32, i32, i32, i32, i32, i32, i32, i32, double, double, double, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, double, i32, i32, i32, i32, i32, i32, i32, i32, double, i32, ptr, ptr, i32, i32, i32, i32, i32, ptr, i32, ptr, i32, [256 x i8], i32, [256 x i8], [512 x i8], i32, i32, i32, i32, i32, i32, ptr, ptr, ptr, ptr, double, double, double, double, double, double, double, double, double, double, double, double, double, double, ptr, double, double, double, double, i32, [6 x i8], [1 x %struct.__jmp_buf_tag], [40 x i8], [1 x %struct.__jmp_buf_tag], [40 x i8], ptr, ptr, ptr, ptr, i32, i32, i32, ptr, ptr, ptr, ptr, ptr, i32, i32, ptr, i32, ptr, i32, ptr, ptr, ptr, ptr, i32, i32, i32, i32, i32, i32, i32, i32, i64, i32, i32, i32, i32, i32, ptr, ptr, i32, i32, i32, double, i32, double, double, double, i32, i32, i32, i32, i32, double, double, i32, i32, i32, i32, i32, i32, double, double, i32, i32, i32, i32, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, i32, ptr, ptr, i32, i32, i32, ptr, double, double, double, double, i32, i32, i32, i32, i32, i32, ptr, ptr, i32 }
%struct.__jmp_buf_tag = type { [8 x i64], i32, %struct.__sigset_t }
%struct.__sigset_t = type { [16 x i64] }
%struct.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 }

@qh_qh = external global %struct.qhT, align 8
@.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) #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, i32 noundef, ptr noundef, ...) #1

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

declare i32 @qh_pointid(ptr noundef) #1

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

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

24:                                               ; preds = %1
  %25 = load ptr, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 158), align 8, !tbaa !15
  %26 = load ptr, ptr %2, align 8, !tbaa !5
  %27 = getelementptr inbounds %struct.facetT, ptr %26, i32 0, i32 14
  %28 = load i32, ptr %27, align 4, !tbaa !16
  %29 = load i32, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 203), align 4, !tbaa !18
  call void (ptr, i32, ptr, ...) @qh_fprintf(ptr noundef %25, i32 noundef 1027, ptr noundef @.str.107, i32 noundef %28, i32 noundef %29)
  br label %30

30:                                               ; preds = %24, %1
  %31 = load ptr, ptr %2, align 8, !tbaa !5
  %32 = call i32 @qh_checklists(ptr noundef %31)
  %33 = icmp ne i32 %32, 0
  br i1 %33, label %40, label %34

34:                                               ; preds = %30
  store i32 1, ptr %16, align 4, !tbaa !9
  %35 = load ptr, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 158), align 8, !tbaa !15
  call void (ptr, i32, ptr, ...) @qh_fprintf(ptr noundef %35, i32 noundef 6374, ptr noundef @.str.108)
  %36 = load i32, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 178), align 8, !tbaa !19
  %37 = icmp slt i32 %36, 4000
  br i1 %37, label %38, label %39

38:                                               ; preds = %34
  call void @qh_printlists()
  br label %39

39:                                               ; preds = %38, %34
  br label %40

40:                                               ; preds = %39, %30
  %41 = load ptr, ptr %2, align 8, !tbaa !5
  %42 = load ptr, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 163), align 8, !tbaa !20
  %43 = icmp ne ptr %41, %42
  br i1 %43, label %47, label %44

44:                                               ; preds = %40
  %45 = load i32, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 48), align 4, !tbaa !21
  %46 = icmp ne i32 %45, 0
  br i1 %46, label %47, label %48

47:                                               ; preds = %44, %40
  store i32 1, ptr %19, align 4, !tbaa !9
  br label %48

48:                                               ; preds = %47, %44
  %49 = load ptr, ptr %2, align 8, !tbaa !5
  %50 = icmp ne ptr %49, null
  br i1 %50, label %51, label %311

51:                                               ; preds = %48
  %52 = load ptr, ptr %2, align 8, !tbaa !5
  store ptr %52, ptr %3, align 8, !tbaa !5
  br label %53

53:                                               ; preds = %306, %51
  %54 = load ptr, ptr %3, align 8, !tbaa !5
  %55 = icmp ne ptr %54, null
  br i1 %55, label %56, label %61

56:                                               ; preds = %53
  %57 = load ptr, ptr %3, align 8, !tbaa !5
  %58 = getelementptr inbounds %struct.facetT, ptr %57, i32 0, i32 7
  %59 = load ptr, ptr %58, align 8, !tbaa !22
  %60 = icmp ne ptr %59, null
  br label %61

61:                                               ; preds = %56, %53
  %62 = phi i1 [ false, %53 ], [ %60, %56 ]
  br i1 %62, label %63, label %310

63:                                               ; preds = %61
  %64 = load ptr, ptr %3, align 8, !tbaa !5
  %65 = load ptr, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 167), align 8, !tbaa !23
  %66 = icmp eq ptr %64, %65
  br i1 %66, label %67, label %68

67:                                               ; preds = %63
  store i32 1, ptr %20, align 4, !tbaa !9
  br label %68

68:                                               ; preds = %67, %63
  %69 = load ptr, ptr %3, align 8, !tbaa !5
  %70 = load ptr, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 166), align 8, !tbaa !24
  %71 = icmp eq ptr %69, %70
  br i1 %71, label %72, label %73

72:                                               ; preds = %68
  store i32 1, ptr %17, align 4, !tbaa !9
  br label %73

73:                                               ; preds = %72, %68
  %74 = load ptr, ptr %3, align 8, !tbaa !5
  %75 = getelementptr inbounds %struct.facetT, ptr %74, i32 0, i32 15
  %76 = load i32, ptr %75, align 8
  %77 = lshr i32 %76, 10
  %78 = and i32 %77, 1
  %79 = icmp ne i32 %78, 0
  br i1 %79, label %80, label %110

80:                                               ; preds = %73
  %81 = load i32, ptr %17, align 4, !tbaa !9
  %82 = icmp ne i32 %81, 0
  br i1 %82, label %110, label %83

83:                                               ; preds = %80
  %84 = load i32, ptr %20, align 4, !tbaa !9
  %85 = icmp ne i32 %84, 0
  br i1 %85, label %110, label %86

86:                                               ; preds = %83
  %87 = load ptr, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 158), align 8, !tbaa !15
  %88 = load ptr, ptr %3, align 8, !tbaa !5
  %89 = getelementptr inbounds %struct.facetT, ptr %88, i32 0, i32 14
  %90 = load i32, ptr %89, align 4, !tbaa !16
  %91 = load ptr, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 166), align 8, !tbaa !24
  %92 = icmp ne ptr %91, null
  br i1 %92, label %93, label %97

93:                                               ; preds = %86
  %94 = load ptr, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 166), align 8, !tbaa !24
  %95 = getelementptr inbounds %struct.facetT, ptr %94, i32 0, i32 14
  %96 = load i32, ptr %95, align 4, !tbaa !16
  br label %98

97:                                               ; preds = %86
  br label %98

98:                                               ; preds = %97, %93
  %99 = phi i32 [ %96, %93 ], [ -1, %97 ]
  %100 = load ptr, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 167), align 8, !tbaa !23
  %101 = icmp ne ptr %100, null
  br i1 %101, label %102, label %106

102:                                              ; preds = %98
  %103 = load ptr, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 167), align 8, !tbaa !23
  %104 = getelementptr inbounds %struct.facetT, ptr %103, i32 0, i32 14
  %105 = load i32, ptr %104, align 4, !tbaa !16
  br label %107

106:                                              ; preds = %98
  br label %107

107:                                              ; preds = %106, %102
  %108 = phi i32 [ %105, %102 ], [ -1, %106 ]
  call void (ptr, i32, ptr, ...) @qh_fprintf(ptr noundef %87, i32 noundef 6289, ptr noundef @.str.109, i32 noundef %90, i32 noundef %99, i32 noundef %108)
  %109 = load ptr, ptr %3, align 8, !tbaa !5
  call void @qh_errexit(i32 noundef 5, ptr noundef %109, ptr noundef null)
  br label %110

110:                                              ; preds = %107, %83, %80, %73
  %111 = load ptr, ptr %3, align 8, !tbaa !5
  %112 = getelementptr inbounds %struct.facetT, ptr %111, i32 0, i32 15
  %113 = load i32, ptr %112, align 8
  %114 = lshr i32 %113, 10
  %115 = and i32 %114, 1
  %116 = icmp ne i32 %115, 0
  br i1 %116, label %135, label %117

117:                                              ; preds = %110
  %118 = load i32, ptr %17, align 4, !tbaa !9
  %119 = icmp ne i32 %118, 0
  br i1 %119, label %120, label %135

120:                                              ; preds = %117
  %121 = load ptr, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 158), align 8, !tbaa !15
  %122 = load ptr, ptr %3, align 8, !tbaa !5
  %123 = getelementptr inbounds %struct.facetT, ptr %122, i32 0, i32 14
  %124 = load i32, ptr %123, align 4, !tbaa !16
  %125 = load ptr, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 166), align 8, !tbaa !24
  %126 = icmp ne ptr %125, null
  br i1 %126, label %127, label %131

127:                                              ; preds = %120
  %128 = load ptr, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 166), align 8, !tbaa !24
  %129 = getelementptr inbounds %struct.facetT, ptr %128, i32 0, i32 14
  %130 = load i32, ptr %129, align 4, !tbaa !16
  br label %132

131:                                              ; preds = %120
  br label %132

132:                                              ; preds = %131, %127
  %133 = phi i32 [ %130, %127 ], [ -1, %131 ]
  call void (ptr, i32, ptr, ...) @qh_fprintf(ptr noundef %121, i32 noundef 6292, ptr noundef @.str.110, i32 noundef %124, i32 noundef %133)
  %134 = load ptr, ptr %3, align 8, !tbaa !5
  call void @qh_errexit(i32 noundef 5, ptr noundef %134, ptr noundef null)
  br label %135

135:                                              ; preds = %132, %117, %110
  %136 = load ptr, ptr %3, align 8, !tbaa !5
  %137 = getelementptr inbounds %struct.facetT, ptr %136, i32 0, i32 15
  %138 = load i32, ptr %137, align 8
  %139 = lshr i32 %138, 11
  %140 = and i32 %139, 1
  %141 = load i32, ptr %20, align 4, !tbaa !9
  %142 = load i32, ptr %17, align 4, !tbaa !9
  %143 = icmp ne i32 %142, 0
  %144 = xor i1 %143, true
  %145 = zext i1 %144 to i32
  %146 = and i32 %141, %145
  %147 = icmp ne i32 %140, %146
  br i1 %147, label %148, label %179

148:                                              ; preds = %135
  %149 = load ptr, ptr %3, align 8, !tbaa !5
  %150 = getelementptr inbounds %struct.facetT, ptr %149, i32 0, i32 15
  %151 = load i32, ptr %150, align 8
  %152 = lshr i32 %151, 11
  %153 = and i32 %152, 1
  %154 = icmp ne i32 %153, 0
  br i1 %154, label %155, label %169

155:                                              ; preds = %148
  %156 = load ptr, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 158), align 8, !tbaa !15
  %157 = load ptr, ptr %3, align 8, !tbaa !5
  %158 = getelementptr inbounds %struct.facetT, ptr %157, i32 0, i32 14
  %159 = load i32, ptr %158, align 4, !tbaa !16
  %160 = load ptr, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 167), align 8, !tbaa !23
  %161 = icmp ne ptr %160, null
  br i1 %161, label %162, label %166

162:                                              ; preds = %155
  %163 = load ptr, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 167), align 8, !tbaa !23
  %164 = getelementptr inbounds %struct.facetT, ptr %163, i32 0, i32 14
  %165 = load i32, ptr %164, align 4, !tbaa !16
  br label %167

166:                                              ; preds = %155
  br label %167

167:                                              ; preds = %166, %162
  %168 = phi i32 [ %165, %162 ], [ -1, %166 ]
  call void (ptr, i32, ptr, ...) @qh_fprintf(ptr noundef %156, i32 noundef 6290, ptr noundef @.str.111, i32 noundef %159, i32 noundef %168)
  br label %177

169:                                              ; preds = %148
  %170 = load ptr, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 158), align 8, !tbaa !15
  %171 = load ptr, ptr %3, align 8, !tbaa !5
  %172 = getelementptr inbounds %struct.facetT, ptr %171, i32 0, i32 14
  %173 = load i32, ptr %172, align 4, !tbaa !16
  %174 = load ptr, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 166), align 8, !tbaa !24
  %175 = getelementptr inbounds %struct.facetT, ptr %174, i32 0, i32 14
  %176 = load i32, ptr %175, align 4, !tbaa !16
  call void (ptr, i32, ptr, ...) @qh_fprintf(ptr noundef %170, i32 noundef 6291, ptr noundef @.str.112, i32 noundef %173, i32 noundef %176)
  br label %177

177:                                              ; preds = %169, %167
  %178 = load ptr, ptr %3, align 8, !tbaa !5
  call void @qh_errexit(i32 noundef 5, ptr noundef %178, ptr noundef null)
  br label %179

179:                                              ; preds = %177, %135
  %180 = load i32, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 203), align 4, !tbaa !18
  %181 = icmp ne i32 %180, 0
  br i1 %181, label %182, label %191

182:                                              ; preds = %179
  %183 = load ptr, ptr %3, align 8, !tbaa !5
  %184 = getelementptr inbounds %struct.facetT, ptr %183, i32 0, i32 15
  %185 = load i32, ptr %184, align 8
  %186 = lshr i32 %185, 10
  %187 = and i32 %186, 1
  %188 = icmp ne i32 %187, 0
  %189 = xor i1 %188, true
  %190 = zext i1 %189 to i32
  store i32 %190, ptr %21, align 4, !tbaa !9
  br label %200

191:                                              ; preds = %179
  %192 = load ptr, ptr %3, align 8, !tbaa !5
  %193 = getelementptr inbounds %struct.facetT, ptr %192, i32 0, i32 15
  %194 = load i32, ptr %193, align 8
  %195 = lshr i32 %194, 11
  %196 = and i32 %195, 1
  %197 = icmp ne i32 %196, 0
  %198 = xor i1 %197, true
  %199 = zext i1 %198 to i32
  store i32 %199, ptr %21, align 4, !tbaa !9
  br label %200

200:                                              ; preds = %191, %182
  %201 = load i32, ptr %21, align 4, !tbaa !9
  %202 = icmp ne i32 %201, 0
  br i1 %202, label %203, label %249

203:                                              ; preds = %200
  %204 = load i32, ptr %19, align 4, !tbaa !9
  %205 = icmp ne i32 %204, 0
  br i1 %205, label %245, label %206

206:                                              ; preds = %203
  %207 = load ptr, ptr %3, align 8, !tbaa !5
  %208 = load ptr, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 165), align 8, !tbaa !25
  %209 = icmp eq ptr %207, %208
  br i1 %209, label %210, label %211

210:                                              ; preds = %206
  store i32 1, ptr %19, align 4, !tbaa !9
  br label %244

211:                                              ; preds = %206
  %212 = load ptr, ptr %3, align 8, !tbaa !5
  %213 = getelementptr inbounds %struct.facetT, ptr %212, i32 0, i32 11
  %214 = load ptr, ptr %213, align 8, !tbaa !26
  %215 = call i32 @qh_setsize(ptr noundef %214)
  %216 = icmp ne i32 %215, 0
  br i1 %216, label %217, label %243

217:                                              ; preds = %211
  %218 = load i32, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 150), align 8, !tbaa !27
  %219 = icmp ne i32 %218, 0
  br i1 %219, label %220, label %226

220:                                              ; preds = %217
  %221 = load ptr, ptr %3, align 8, !tbaa !5
  %222 = getelementptr inbounds %struct.facetT, ptr %221, i32 0, i32 0
  %223 = load double, ptr %222, align 8, !tbaa !28
  %224 = load double, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 6), align 8, !tbaa !29
  %225 = fcmp oge double %223, %224
  br i1 %225, label %226, label %242

226:                                              ; preds = %220, %217
  %227 = load ptr, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 158), align 8, !tbaa !15
  %228 = load ptr, ptr %3, align 8, !tbaa !5
  %229 = getelementptr inbounds %struct.facetT, ptr %228, i32 0, i32 14
  %230 = load i32, ptr %229, align 4, !tbaa !16
  %231 = load ptr, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 165), align 8, !tbaa !25
  %232 = icmp ne ptr %231, null
  br i1 %232, label %233, label %237

233:                                              ; preds = %226
  %234 = load ptr, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 165), align 8, !tbaa !25
  %235 = getelementptr inbounds %struct.facetT, ptr %234, i32 0, i32 14
  %236 = load i32, ptr %235, align 4, !tbaa !16
  br label %238

237:                                              ; preds = %226
  br label %238

238:                                              ; preds = %237, %233
  %239 = phi i32 [ %236, %233 ], [ -1, %237 ]
  call void (ptr, i32, ptr, ...) @qh_fprintf(ptr noundef %227, i32 noundef 6137, ptr noundef @.str.113, i32 noundef %230, i32 noundef %239)
  %240 = load ptr, ptr %3, align 8, !tbaa !5
  %241 = load ptr, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 165), align 8, !tbaa !25
  call void @qh_errexit2(i32 noundef 5, ptr noundef %240, ptr noundef %241)
  br label %242

242:                                              ; preds = %238, %220
  br label %243

243:                                              ; preds = %242, %211
  br label %244

244:                                              ; preds = %243, %210
  br label %245

245:                                              ; preds = %244, %203
  %246 = load i32, ptr %11, align 4, !tbaa !9
  %247 = add nsw i32 %246, 1
  store i32 %247, ptr %11, align 4, !tbaa !9
  %248 = load ptr, ptr %3, align 8, !tbaa !5
  call void @qh_checkfacet(ptr noundef %248, i32 noundef 0, ptr noundef %16)
  br label %305

249:                                              ; preds = %200
  %250 = load ptr, ptr %3, align 8, !tbaa !5
  %251 = getelementptr inbounds %struct.facetT, ptr %250, i32 0, i32 15
  %252 = load i32, ptr %251, align 8
  %253 = lshr i32 %252, 11
  %254 = and i32 %253, 1
  %255 = icmp ne i32 %254, 0
  br i1 %255, label %256, label %304

256:                                              ; preds = %249
  %257 = load i32, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 202), align 8, !tbaa !30
  %258 = icmp ne i32 %257, 0
  br i1 %258, label %259, label %304

259:                                              ; preds = %256
  %260 = load ptr, ptr %3, align 8, !tbaa !5
  %261 = getelementptr inbounds %struct.facetT, ptr %260, i32 0, i32 10
  %262 = load ptr, ptr %261, align 8, !tbaa !31
  %263 = icmp ne ptr %262, null
  br i1 %263, label %264, label %274

264:                                              ; preds = %259
  %265 = load ptr, ptr %3, align 8, !tbaa !5
  %266 = getelementptr inbounds %struct.facetT, ptr %265, i32 0, i32 10
  %267 = load ptr, ptr %266, align 8, !tbaa !31
  %268 = getelementptr inbounds %struct.setT, ptr %267, i32 0, i32 1
  %269 = getelementptr inbounds [1 x %union.setelemT], ptr %268, i64 0, i64 0
  %270 = load ptr, ptr %269, align 8, !tbaa !32
  %271 = icmp ne ptr %270, null
  br i1 %271, label %272, label %273

272:                                              ; preds = %264
  br i1 false, label %274, label %289

273:                                              ; preds = %264
  br i1 true, label %274, label %289

274:                                              ; preds = %273, %272, %259
  %275 = load ptr, ptr %3, align 8, !tbaa !5
  %276 = getelementptr inbounds %struct.facetT, ptr %275, i32 0, i32 9
  %277 = load ptr, ptr %276, align 8, !tbaa !33
  %278 = icmp ne ptr %277, null
  br i1 %278, label %279, label %303

279:                                              ; preds = %274
  %280 = load ptr, ptr %3, align 8, !tbaa !5
  %281 = getelementptr inbounds %struct.facetT, ptr %280, i32 0, i32 9
  %282 = load ptr, ptr %281, align 8, !tbaa !33
  %283 = getelementptr inbounds %struct.setT, ptr %282, i32 0, i32 1
  %284 = getelementptr inbounds [1 x %union.setelemT], ptr %283, i64 0, i64 0
  %285 = load ptr, ptr %284, align 8, !tbaa !32
  %286 = icmp ne ptr %285, null
  br i1 %286, label %287, label %288

287:                                              ; preds = %279
  br i1 false, label %303, label %289

288:                                              ; preds = %279
  br i1 true, label %303, label %289

289:                                              ; preds = %288, %287, %273, %272
  %290 = load ptr, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 158), align 8, !tbaa !15
  %291 = load ptr, ptr %3, align 8, !tbaa !5
  %292 = getelementptr inbounds %struct.facetT, ptr %291, i32 0, i32 14
  %293 = load i32, ptr %292, align 4, !tbaa !16
  %294 = load ptr, ptr %3, align 8, !tbaa !5
  %295 = getelementptr inbounds %struct.facetT, ptr %294, i32 0, i32 10
  %296 = load ptr, ptr %295, align 8, !tbaa !31
  %297 = call i32 @qh_setsize(ptr noundef %296)
  %298 = load ptr, ptr %3, align 8, !tbaa !5
  %299 = getelementptr inbounds %struct.facetT, ptr %298, i32 0, i32 9
  %300 = load ptr, ptr %299, align 8, !tbaa !33
  %301 = call i32 @qh_setsize(ptr noundef %300)
  call void (ptr, i32, ptr, ...) @qh_fprintf(ptr noundef %290, i32 noundef 6376, ptr noundef @.str.114, i32 noundef %293, i32 noundef %297, i32 noundef %301)
  %302 = load ptr, ptr %3, align 8, !tbaa !5
  call void @qh_errexit(i32 noundef 5, ptr noundef %302, ptr noundef null)
  br label %303

303:                                              ; preds = %289, %288, %287, %274
  br label %304

304:                                              ; preds = %303, %256, %249
  br label %305

305:                                              ; preds = %304, %245
  br label %306

306:                                              ; preds = %305
  %307 = load ptr, ptr %3, align 8, !tbaa !5
  %308 = getelementptr inbounds %struct.facetT, ptr %307, i32 0, i32 7
  %309 = load ptr, ptr %308, align 8, !tbaa !22
  store ptr %309, ptr %3, align 8, !tbaa !5
  br label %53, !llvm.loop !34

310:                                              ; preds = %61
  br label %311

311:                                              ; preds = %310, %48
  %312 = load ptr, ptr %2, align 8, !tbaa !5
  %313 = load ptr, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 163), align 8, !tbaa !20
  %314 = icmp eq ptr %312, %313
  br i1 %314, label %315, label %317

315:                                              ; preds = %311
  %316 = load ptr, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 175), align 8, !tbaa !36
  store ptr %316, ptr %10, align 8, !tbaa !5
  br label %325

317:                                              ; preds = %311
  %318 = load ptr, ptr %2, align 8, !tbaa !5
  %319 = load ptr, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 166), align 8, !tbaa !24
  %320 = icmp eq ptr %318, %319
  br i1 %320, label %321, label %323

321:                                              ; preds = %317
  %322 = load ptr, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 177), align 8, !tbaa !37
  store ptr %322, ptr %10, align 8, !tbaa !5
  br label %324

323:                                              ; preds = %317
  store ptr null, ptr %10, align 8, !tbaa !5
  br label %324

324:                                              ; preds = %323, %321
  br label %325

325:                                              ; preds = %324, %315
  %326 = load ptr, ptr %10, align 8, !tbaa !5
  store ptr %326, ptr %8, align 8, !tbaa !5
  br label %327

327:                                              ; preds = %385, %325
  %328 = load ptr, ptr %8, align 8, !tbaa !5
  %329 = icmp ne ptr %328, null
  br i1 %329, label %330, label %335

330:                                              ; preds = %327
  %331 = load ptr, ptr %8, align 8, !tbaa !5
  %332 = getelementptr inbounds %struct.vertexT, ptr %331, i32 0, i32 0
  %333 = load ptr, ptr %332, align 8, !tbaa !38
  %334 = icmp ne ptr %333, null
  br label %335

335:                                              ; preds = %330, %327
  %336 = phi i1 [ false, %327 ], [ %334, %330 ]
  br i1 %336, label %337, label %389

337:                                              ; preds = %335
  %338 = load ptr, ptr %8, align 8, !tbaa !5
  call void @qh_checkvertex(ptr noundef %338, i32 noundef 0, ptr noundef %16)
  %339 = load ptr, ptr %8, align 8, !tbaa !5
  %340 = load ptr, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 177), align 8, !tbaa !37
  %341 = icmp eq ptr %339, %340
  br i1 %341, label %342, label %343

342:                                              ; preds = %337
  store i32 1, ptr %18, align 4, !tbaa !9
  br label %343

343:                                              ; preds = %342, %337
  %344 = load ptr, ptr %8, align 8, !tbaa !5
  %345 = getelementptr inbounds %struct.vertexT, ptr %344, i32 0, i32 6
  %346 = load i8, ptr %345, align 8
  %347 = and i8 %346, -2
  %348 = or i8 %347, 0
  store i8 %348, ptr %345, align 8
  %349 = load ptr, ptr %8, align 8, !tbaa !5
  %350 = getelementptr inbounds %struct.vertexT, ptr %349, i32 0, i32 5
  store i32 0, ptr %350, align 4, !tbaa !40
  %351 = load ptr, ptr %8, align 8, !tbaa !5
  %352 = getelementptr inbounds %struct.vertexT, ptr %351, i32 0, i32 6
  %353 = load i8, ptr %352, align 8
  %354 = lshr i8 %353, 4
  %355 = and i8 %354, 1
  %356 = zext i8 %355 to i32
  %357 = icmp ne i32 %356, 0
  br i1 %357, label %358, label %384

358:                                              ; preds = %343
  %359 = load i32, ptr %18, align 4, !tbaa !9
  %360 = icmp ne i32 %359, 0
  br i1 %360, label %384, label %361

361:                                              ; preds = %358
  %362 = load ptr, ptr %8, align 8, !tbaa !5
  %363 = getelementptr inbounds %struct.vertexT, ptr %362, i32 0, i32 6
  %364 = load i8, ptr %363, align 8
  %365 = lshr i8 %364, 2
  %366 = and i8 %365, 1
  %367 = zext i8 %366 to i32
  %368 = icmp ne i32 %367, 0
  br i1 %368, label %384, label %369

369:                                              ; preds = %361
  %370 = load ptr, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 158), align 8, !tbaa !15
  %371 = load ptr, ptr %8, align 8, !tbaa !5
  %372 = getelementptr inbounds %struct.vertexT, ptr %371, i32 0, i32 4
  %373 = load i32, ptr %372, align 8, !tbaa !41
  %374 = load ptr, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 177), align 8, !tbaa !37
  %375 = icmp ne ptr %374, null
  br i1 %375, label %376, label %380

376:                                              ; preds = %369
  %377 = load ptr, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 177), align 8, !tbaa !37
  %378 = getelementptr inbounds %struct.vertexT, ptr %377, i32 0, i32 4
  %379 = load i32, ptr %378, align 8, !tbaa !41
  br label %381

380:                                              ; preds = %369
  br label %381

381:                                              ; preds = %380, %376
  %382 = phi i32 [ %379, %376 ], [ -1, %380 ]
  call void (ptr, i32, ptr, ...) @qh_fprintf(ptr noundef %370, i32 noundef 6288, ptr noundef @.str.115, i32 noundef %373, i32 noundef %382)
  %383 = load ptr, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 167), align 8, !tbaa !23
  call void @qh_errexit(i32 noundef 5, ptr noundef %383, ptr noundef null)
  br label %384

384:                                              ; preds = %381, %361, %358, %343
  br label %385

385:                                              ; preds = %384
  %386 = load ptr, ptr %8, align 8, !tbaa !5
  %387 = getelementptr inbounds %struct.vertexT, ptr %386, i32 0, i32 0
  %388 = load ptr, ptr %387, align 8, !tbaa !38
  store ptr %388, ptr %8, align 8, !tbaa !5
  br label %327, !llvm.loop !42

389:                                              ; preds = %335
  %390 = load ptr, ptr %2, align 8, !tbaa !5
  %391 = icmp ne ptr %390, null
  br i1 %391, label %392, label %488

392:                                              ; preds = %389
  %393 = load ptr, ptr %2, align 8, !tbaa !5
  store ptr %393, ptr %3, align 8, !tbaa !5
  br label %394

394:                                              ; preds = %483, %392
  %395 = load ptr, ptr %3, align 8, !tbaa !5
  %396 = icmp ne ptr %395, null
  br i1 %396, label %397, label %402

397:                                              ; preds = %394
  %398 = load ptr, ptr %3, align 8, !tbaa !5
  %399 = getelementptr inbounds %struct.facetT, ptr %398, i32 0, i32 7
  %400 = load ptr, ptr %399, align 8, !tbaa !22
  %401 = icmp ne ptr %400, null
  br label %402

402:                                              ; preds = %397, %394
  %403 = phi i1 [ false, %394 ], [ %401, %397 ]
  br i1 %403, label %404, label %487

404:                                              ; preds = %402
  %405 = load ptr, ptr %3, align 8, !tbaa !5
  %406 = getelementptr inbounds %struct.facetT, ptr %405, i32 0, i32 15
  %407 = load i32, ptr %406, align 8
  %408 = lshr i32 %407, 11
  %409 = and i32 %408, 1
  %410 = icmp ne i32 %409, 0
  br i1 %410, label %411, label %412

411:                                              ; preds = %404
  br label %483

412:                                              ; preds = %404
  %413 = load ptr, ptr %3, align 8, !tbaa !5
  %414 = getelementptr inbounds %struct.facetT, ptr %413, i32 0, i32 15
  %415 = load i32, ptr %414, align 8
  %416 = lshr i32 %415, 13
  %417 = and i32 %416, 1
  %418 = icmp ne i32 %417, 0
  br i1 %418, label %419, label %423

419:                                              ; preds = %412
  %420 = load i32, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 110), align 8, !tbaa !43
  %421 = load i32, ptr %13, align 4, !tbaa !9
  %422 = add nsw i32 %421, %420
  store i32 %422, ptr %13, align 4, !tbaa !9
  br label %430

423:                                              ; preds = %412
  %424 = load ptr, ptr %3, align 8, !tbaa !5
  %425 = getelementptr inbounds %struct.facetT, ptr %424, i32 0, i32 9
  %426 = load ptr, ptr %425, align 8, !tbaa !33
  %427 = call i32 @qh_setsize(ptr noundef %426)
  %428 = load i32, ptr %13, align 4, !tbaa !9
  %429 = add nsw i32 %428, %427
  store i32 %429, ptr %13, align 4, !tbaa !9
  br label %430

430:                                              ; preds = %423, %419
  store ptr null, ptr %8, align 8, !tbaa !5
  %431 = load ptr, ptr %3, align 8, !tbaa !5
  %432 = getelementptr inbounds %struct.facetT, ptr %431, i32 0, i32 8
  %433 = load ptr, ptr %432, align 8, !tbaa !44
  %434 = icmp ne ptr %433, null
  br i1 %434, label %435, label %482

435:                                              ; preds = %430
  %436 = load ptr, ptr %3, align 8, !tbaa !5
  %437 = getelementptr inbounds %struct.facetT, ptr %436, i32 0, i32 8
  %438 = load ptr, ptr %437, align 8, !tbaa !44
  %439 = getelementptr inbounds %struct.setT, ptr %438, i32 0, i32 1
  %440 = getelementptr inbounds [1 x %union.setelemT], ptr %439, i64 0, i64 0
  store ptr %440, ptr %9, align 8, !tbaa !5
  br label %441

441:                                              ; preds = %480, %435
  %442 = load ptr, ptr %9, align 8, !tbaa !5
  %443 = getelementptr inbounds ptr, ptr %442, i32 1
  store ptr %443, ptr %9, align 8, !tbaa !5
  %444 = load ptr, ptr %442, align 8, !tbaa !5
  store ptr %444, ptr %8, align 8, !tbaa !5
  %445 = icmp ne ptr %444, null
  br i1 %445, label %446, label %481

446:                                              ; preds = %441
  %447 = load ptr, ptr %8, align 8, !tbaa !5
  %448 = getelementptr inbounds %struct.vertexT, ptr %447, i32 0, i32 5
  %449 = load i32, ptr %448, align 4, !tbaa !40
  %450 = add i32 %449, 1
  store i32 %450, ptr %448, align 4, !tbaa !40
  %451 = load ptr, ptr %8, align 8, !tbaa !5
  %452 = getelementptr inbounds %struct.vertexT, ptr %451, i32 0, i32 6
  %453 = load i8, ptr %452, align 8
  %454 = and i8 %453, 1
  %455 = zext i8 %454 to i32
  %456 = icmp ne i32 %455, 0
  br i1 %456, label %480, label %457

457:                                              ; preds = %446
  %458 = load ptr, ptr %8, align 8, !tbaa !5
  %459 = getelementptr inbounds %struct.vertexT, ptr %458, i32 0, i32 6
  %460 = load i8, ptr %459, align 8
  %461 = and i8 %460, -2
  %462 = or i8 %461, 1
  store i8 %462, ptr %459, align 8
  %463 = load i32, ptr %12, align 4, !tbaa !9
  %464 = add nsw i32 %463, 1
  store i32 %464, ptr %12, align 4, !tbaa !9
  %465 = load ptr, ptr %8, align 8, !tbaa !5
  %466 = getelementptr inbounds %struct.vertexT, ptr %465, i32 0, i32 2
  %467 = load ptr, ptr %466, align 8, !tbaa !45
  %468 = call i32 @qh_pointid(ptr noundef %467)
  %469 = icmp eq i32 %468, -1
  br i1 %469, label %470, label %479

470:                                              ; preds = %457
  %471 = load ptr, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 158), align 8, !tbaa !15
  %472 = load ptr, ptr %8, align 8, !tbaa !5
  %473 = getelementptr inbounds %struct.vertexT, ptr %472, i32 0, i32 2
  %474 = load ptr, ptr %473, align 8, !tbaa !45
  %475 = load ptr, ptr %8, align 8, !tbaa !5
  %476 = getelementptr inbounds %struct.vertexT, ptr %475, i32 0, i32 4
  %477 = load i32, ptr %476, align 8, !tbaa !41
  %478 = load ptr, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 113), align 8, !tbaa !46
  call void (ptr, i32, ptr, ...) @qh_fprintf(ptr noundef %471, i32 noundef 6139, ptr noundef @.str.116, ptr noundef %474, i32 noundef %477, ptr noundef %478)
  store i32 1, ptr %16, align 4, !tbaa !9
  br label %479

479:                                              ; preds = %470, %457
  br label %480

480:                                              ; preds = %479, %446
  br label %441, !llvm.loop !47

481:                                              ; preds = %441
  br label %482

482:                                              ; preds = %481, %430
  br label %483

483:                                              ; preds = %482, %411
  %484 = load ptr, ptr %3, align 8, !tbaa !5
  %485 = getelementptr inbounds %struct.facetT, ptr %484, i32 0, i32 7
  %486 = load ptr, ptr %485, align 8, !tbaa !22
  store ptr %486, ptr %3, align 8, !tbaa !5
  br label %394, !llvm.loop !48

487:                                              ; preds = %402
  br label %488

488:                                              ; preds = %487, %389
  %489 = load i32, ptr %11, align 4, !tbaa !9
  %490 = load i32, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 218), align 4, !tbaa !49
  %491 = add i32 %490, %489
  store i32 %491, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 218), align 4, !tbaa !49
  %492 = load ptr, ptr %2, align 8, !tbaa !5
  %493 = load ptr, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 163), align 8, !tbaa !20
  %494 = icmp eq ptr %492, %493
  br i1 %494, label %495, label %804

495:                                              ; preds = %488
  %496 = load i32, ptr %11, align 4, !tbaa !9
  %497 = load i32, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 178), align 8, !tbaa !19
  %498 = load i32, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 168), align 8, !tbaa !50
  %499 = sub nsw i32 %497, %498
  %500 = icmp ne i32 %496, %499
  br i1 %500, label %501, label %506

501:                                              ; preds = %495
  %502 = load ptr, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 158), align 8, !tbaa !15
  %503 = load i32, ptr %11, align 4, !tbaa !9
  %504 = load i32, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 178), align 8, !tbaa !19
  %505 = load i32, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 168), align 8, !tbaa !50
  call void (ptr, i32, ptr, ...) @qh_fprintf(ptr noundef %502, i32 noundef 6140, ptr noundef @.str.117, i32 noundef %503, i32 noundef %504, i32 noundef %505)
  store i32 1, ptr %16, align 4, !tbaa !9
  br label %506

506:                                              ; preds = %501, %495
  %507 = load i32, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 218), align 4, !tbaa !49
  %508 = add i32 %507, 1
  store i32 %508, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 218), align 4, !tbaa !49
  %509 = load i32, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 125), align 8, !tbaa !51
  %510 = icmp ne i32 %509, 0
  br i1 %510, label %511, label %761

511:                                              ; preds = %506
  %512 = load ptr, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 175), align 8, !tbaa !36
  store ptr %512, ptr %8, align 8, !tbaa !5
  br label %513

513:                                              ; preds = %555, %511
  %514 = load ptr, ptr %8, align 8, !tbaa !5
  %515 = icmp ne ptr %514, null
  br i1 %515, label %516, label %521

516:                                              ; preds = %513
  %517 = load ptr, ptr %8, align 8, !tbaa !5
  %518 = getelementptr inbounds %struct.vertexT, ptr %517, i32 0, i32 0
  %519 = load ptr, ptr %518, align 8, !tbaa !38
  %520 = icmp ne ptr %519, null
  br label %521

521:                                              ; preds = %516, %513
  %522 = phi i1 [ false, %513 ], [ %520, %516 ]
  br i1 %522, label %523, label %559

523:                                              ; preds = %521
  %524 = load ptr, ptr %8, align 8, !tbaa !5
  %525 = getelementptr inbounds %struct.vertexT, ptr %524, i32 0, i32 3
  %526 = load ptr, ptr %525, align 8, !tbaa !52
  %527 = icmp ne ptr %526, null
  br i1 %527, label %533, label %528

528:                                              ; preds = %523
  %529 = load ptr, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 158), align 8, !tbaa !15
  %530 = load ptr, ptr %8, align 8, !tbaa !5
  %531 = getelementptr inbounds %struct.vertexT, ptr %530, i32 0, i32 4
  %532 = load i32, ptr %531, align 8, !tbaa !41
  call void (ptr, i32, ptr, ...) @qh_fprintf(ptr noundef %529, i32 noundef 6407, ptr noundef @.str.118, i32 noundef %532)
  store i32 1, ptr %16, align 4, !tbaa !9
  br label %533

533:                                              ; preds = %528, %523
  %534 = load ptr, ptr %8, align 8, !tbaa !5
  %535 = getelementptr inbounds %struct.vertexT, ptr %534, i32 0, i32 3
  %536 = load ptr, ptr %535, align 8, !tbaa !52
  %537 = load ptr, ptr %8, align 8, !tbaa !5
  %538 = getelementptr inbounds %struct.vertexT, ptr %537, i32 0, i32 4
  %539 = load i32, ptr %538, align 8, !tbaa !41
  call void @qh_setcheck(ptr noundef %536, ptr noundef @.str.119, i32 noundef %539)
  %540 = load ptr, ptr %8, align 8, !tbaa !5
  %541 = getelementptr inbounds %struct.vertexT, ptr %540, i32 0, i32 6
  %542 = load i8, ptr %541, align 8
  %543 = lshr i8 %542, 2
  %544 = and i8 %543, 1
  %545 = zext i8 %544 to i32
  %546 = icmp ne i32 %545, 0
  br i1 %546, label %547, label %548

547:                                              ; preds = %533
  br label %555

548:                                              ; preds = %533
  %549 = load ptr, ptr %8, align 8, !tbaa !5
  %550 = getelementptr inbounds %struct.vertexT, ptr %549, i32 0, i32 3
  %551 = load ptr, ptr %550, align 8, !tbaa !52
  %552 = call i32 @qh_setsize(ptr noundef %551)
  %553 = load i32, ptr %14, align 4, !tbaa !9
  %554 = add nsw i32 %553, %552
  store i32 %554, ptr %14, align 4, !tbaa !9
  br label %555

555:                                              ; preds = %548, %547
  %556 = load ptr, ptr %8, align 8, !tbaa !5
  %557 = getelementptr inbounds %struct.vertexT, ptr %556, i32 0, i32 0
  %558 = load ptr, ptr %557, align 8, !tbaa !38
  store ptr %558, ptr %8, align 8, !tbaa !5
  br label %513, !llvm.loop !53

559:                                              ; preds = %521
  %560 = load ptr, ptr %2, align 8, !tbaa !5
  %561 = icmp ne ptr %560, null
  br i1 %561, label %562, label %594

562:                                              ; preds = %559
  %563 = load ptr, ptr %2, align 8, !tbaa !5
  store ptr %563, ptr %3, align 8, !tbaa !5
  br label %564

564:                                              ; preds = %589, %562
  %565 = load ptr, ptr %3, align 8, !tbaa !5
  %566 = icmp ne ptr %565, null
  br i1 %566, label %567, label %572

567:                                              ; preds = %564
  %568 = load ptr, ptr %3, align 8, !tbaa !5
  %569 = getelementptr inbounds %struct.facetT, ptr %568, i32 0, i32 7
  %570 = load ptr, ptr %569, align 8, !tbaa !22
  %571 = icmp ne ptr %570, null
  br label %572

572:                                              ; preds = %567, %564
  %573 = phi i1 [ false, %564 ], [ %571, %567 ]
  br i1 %573, label %574, label %593

574:                                              ; preds = %572
  %575 = load ptr, ptr %3, align 8, !tbaa !5
  %576 = getelementptr inbounds %struct.facetT, ptr %575, i32 0, i32 15
  %577 = load i32, ptr %576, align 8
  %578 = lshr i32 %577, 11
  %579 = and i32 %578, 1
  %580 = icmp ne i32 %579, 0
  br i1 %580, label %588, label %581

581:                                              ; preds = %574
  %582 = load ptr, ptr %3, align 8, !tbaa !5
  %583 = getelementptr inbounds %struct.facetT, ptr %582, i32 0, i32 8
  %584 = load ptr, ptr %583, align 8, !tbaa !44
  %585 = call i32 @qh_setsize(ptr noundef %584)
  %586 = load i32, ptr %15, align 4, !tbaa !9
  %587 = add nsw i32 %586, %585
  store i32 %587, ptr %15, align 4, !tbaa !9
  br label %588

588:                                              ; preds = %581, %574
  br label %589

589:                                              ; preds = %588
  %590 = load ptr, ptr %3, align 8, !tbaa !5
  %591 = getelementptr inbounds %struct.facetT, ptr %590, i32 0, i32 7
  %592 = load ptr, ptr %591, align 8, !tbaa !22
  store ptr %592, ptr %3, align 8, !tbaa !5
  br label %564, !llvm.loop !54

593:                                              ; preds = %572
  br label %594

594:                                              ; preds = %593, %559
  %595 = load i32, ptr %14, align 4, !tbaa !9
  %596 = load i32, ptr %15, align 4, !tbaa !9
  %597 = icmp ne i32 %595, %596
  br i1 %597, label %598, label %760

598:                                              ; preds = %594
  %599 = load ptr, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 158), align 8, !tbaa !15
  %600 = load i32, ptr %14, align 4, !tbaa !9
  %601 = load i32, ptr %15, align 4, !tbaa !9
  call void (ptr, i32, ptr, ...) @qh_fprintf(ptr noundef %599, i32 noundef 6141, ptr noundef @.str.120, i32 noundef %600, i32 noundef %601)
  store i32 1, ptr %16, align 4, !tbaa !9
  %602 = load ptr, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 175), align 8, !tbaa !36
  store ptr %602, ptr %8, align 8, !tbaa !5
  br label %603

603:                                              ; preds = %685, %598
  %604 = load ptr, ptr %8, align 8, !tbaa !5
  %605 = icmp ne ptr %604, null
  br i1 %605, label %606, label %611

606:                                              ; preds = %603
  %607 = load ptr, ptr %8, align 8, !tbaa !5
  %608 = getelementptr inbounds %struct.vertexT, ptr %607, i32 0, i32 0
  %609 = load ptr, ptr %608, align 8, !tbaa !38
  %610 = icmp ne ptr %609, null
  br label %611

611:                                              ; preds = %606, %603
  %612 = phi i1 [ false, %603 ], [ %610, %606 ]
  br i1 %612, label %613, label %689

613:                                              ; preds = %611
  %614 = load ptr, ptr %8, align 8, !tbaa !5
  %615 = getelementptr inbounds %struct.vertexT, ptr %614, i32 0, i32 6
  %616 = load i8, ptr %615, align 8
  %617 = lshr i8 %616, 2
  %618 = and i8 %617, 1
  %619 = zext i8 %618 to i32
  %620 = icmp ne i32 %619, 0
  br i1 %620, label %621, label %622

621:                                              ; preds = %613
  br label %685

622:                                              ; preds = %613
  %623 = load i32, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 217), align 8, !tbaa !55
  %624 = add i32 %623, 1
  store i32 %624, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 217), align 8, !tbaa !55
  store ptr null, ptr %4, align 8, !tbaa !5
  %625 = load ptr, ptr %8, align 8, !tbaa !5
  %626 = getelementptr inbounds %struct.vertexT, ptr %625, i32 0, i32 3
  %627 = load ptr, ptr %626, align 8, !tbaa !52
  %628 = icmp ne ptr %627, null
  br i1 %628, label %629, label %684

629:                                              ; preds = %622
  %630 = load ptr, ptr %8, align 8, !tbaa !5
  %631 = getelementptr inbounds %struct.vertexT, ptr %630, i32 0, i32 3
  %632 = load ptr, ptr %631, align 8, !tbaa !52
  %633 = getelementptr inbounds %struct.setT, ptr %632, i32 0, i32 1
  %634 = getelementptr inbounds [1 x %union.setelemT], ptr %633, i64 0, i64 0
  store ptr %634, ptr %5, align 8, !tbaa !5
  br label %635

635:                                              ; preds = %682, %629
  %636 = load ptr, ptr %5, align 8, !tbaa !5
  %637 = getelementptr inbounds ptr, ptr %636, i32 1
  store ptr %637, ptr %5, align 8, !tbaa !5
  %638 = load ptr, ptr %636, align 8, !tbaa !5
  store ptr %638, ptr %4, align 8, !tbaa !5
  %639 = icmp ne ptr %638, null
  br i1 %639, label %640, label %683

640:                                              ; preds = %635
  %641 = load ptr, ptr %4, align 8, !tbaa !5
  %642 = getelementptr inbounds %struct.facetT, ptr %641, i32 0, i32 13
  %643 = load i32, ptr %642, align 8, !tbaa !56
  %644 = load i32, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 217), align 8, !tbaa !55
  %645 = icmp eq i32 %643, %644
  br i1 %645, label %646, label %656

646:                                              ; preds = %640
  %647 = load ptr, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 158), align 8, !tbaa !15
  %648 = load ptr, ptr %4, align 8, !tbaa !5
  %649 = getelementptr inbounds %struct.facetT, ptr %648, i32 0, i32 14
  %650 = load i32, ptr %649, align 4, !tbaa !16
  %651 = load ptr, ptr %8, align 8, !tbaa !5
  %652 = getelementptr inbounds %struct.vertexT, ptr %651, i32 0, i32 4
  %653 = load i32, ptr %652, align 8, !tbaa !41
  call void (ptr, i32, ptr, ...) @qh_fprintf(ptr noundef %647, i32 noundef 6275, ptr noundef @.str.121, i32 noundef %650, i32 noundef %653)
  %654 = load ptr, ptr %6, align 8, !tbaa !5
  store ptr %654, ptr %7, align 8, !tbaa !5
  %655 = load ptr, ptr %4, align 8, !tbaa !5
  store ptr %655, ptr %6, align 8, !tbaa !5
  br label %656

656:                                              ; preds = %646, %640
  %657 = load i32, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 217), align 8, !tbaa !55
  %658 = load ptr, ptr %4, align 8, !tbaa !5
  %659 = getelementptr inbounds %struct.facetT, ptr %658, i32 0, i32 13
  store i32 %657, ptr %659, align 8, !tbaa !56
  %660 = load ptr, ptr %4, align 8, !tbaa !5
  %661 = getelementptr inbounds %struct.facetT, ptr %660, i32 0, i32 8
  %662 = load ptr, ptr %661, align 8, !tbaa !44
  %663 = load ptr, ptr %8, align 8, !tbaa !5
  %664 = call i32 @qh_setin(ptr noundef %662, ptr noundef %663)
  %665 = icmp ne i32 %664, 0
  br i1 %665, label %682, label %666

666:                                              ; preds = %656
  %667 = load ptr, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 158), align 8, !tbaa !15
  %668 = load ptr, ptr %4, align 8, !tbaa !5
  %669 = getelementptr inbounds %struct.facetT, ptr %668, i32 0, i32 14
  %670 = load i32, ptr %669, align 4, !tbaa !16
  %671 = load ptr, ptr %8, align 8, !tbaa !5
  %672 = getelementptr inbounds %struct.vertexT, ptr %671, i32 0, i32 4
  %673 = load i32, ptr %672, align 8, !tbaa !41
  %674 = load ptr, ptr %8, align 8, !tbaa !5
  %675 = getelementptr inbounds %struct.vertexT, ptr %674, i32 0, i32 4
  %676 = load i32, ptr %675, align 8, !tbaa !41
  %677 = load ptr, ptr %4, align 8, !tbaa !5
  %678 = getelementptr inbounds %struct.facetT, ptr %677, i32 0, i32 14
  %679 = load i32, ptr %678, align 4, !tbaa !16
  call void (ptr, i32, ptr, ...) @qh_fprintf(ptr noundef %667, i32 noundef 6276, ptr noundef @.str.122, i32 noundef %670, i32 noundef %673, i32 noundef %676, i32 noundef %679)
  %680 = load ptr, ptr %6, align 8, !tbaa !5
  store ptr %680, ptr %7, align 8, !tbaa !5
  %681 = load ptr, ptr %4, align 8, !tbaa !5
  store ptr %681, ptr %6, align 8, !tbaa !5
  br label %682

682:                                              ; preds = %666, %656
  br label %635, !llvm.loop !57

683:                                              ; preds = %635
  br label %684

684:                                              ; preds = %683, %622
  br label %685

685:                                              ; preds = %684, %621
  %686 = load ptr, ptr %8, align 8, !tbaa !5
  %687 = getelementptr inbounds %struct.vertexT, ptr %686, i32 0, i32 0
  %688 = load ptr, ptr %687, align 8, !tbaa !38
  store ptr %688, ptr %8, align 8, !tbaa !5
  br label %603, !llvm.loop !58

689:                                              ; preds = %611
  %690 = load ptr, ptr %2, align 8, !tbaa !5
  %691 = icmp ne ptr %690, null
  br i1 %691, label %692, label %759

692:                                              ; preds = %689
  %693 = load ptr, ptr %2, align 8, !tbaa !5
  store ptr %693, ptr %3, align 8, !tbaa !5
  br label %694

694:                                              ; preds = %754, %692
  %695 = load ptr, ptr %3, align 8, !tbaa !5
  %696 = icmp ne ptr %695, null
  br i1 %696, label %697, label %702

697:                                              ; preds = %694
  %698 = load ptr, ptr %3, align 8, !tbaa !5
  %699 = getelementptr inbounds %struct.facetT, ptr %698, i32 0, i32 7
  %700 = load ptr, ptr %699, align 8, !tbaa !22
  %701 = icmp ne ptr %700, null
  br label %702

702:                                              ; preds = %697, %694
  %703 = phi i1 [ false, %694 ], [ %701, %697 ]
  br i1 %703, label %704, label %758

704:                                              ; preds = %702
  %705 = load ptr, ptr %3, align 8, !tbaa !5
  %706 = getelementptr inbounds %struct.facetT, ptr %705, i32 0, i32 15
  %707 = load i32, ptr %706, align 8
  %708 = lshr i32 %707, 11
  %709 = and i32 %708, 1
  %710 = icmp ne i32 %709, 0
  br i1 %710, label %753, label %711

711:                                              ; preds = %704
  store ptr null, ptr %8, align 8, !tbaa !5
  %712 = load ptr, ptr %3, align 8, !tbaa !5
  %713 = getelementptr inbounds %struct.facetT, ptr %712, i32 0, i32 8
  %714 = load ptr, ptr %713, align 8, !tbaa !44
  %715 = icmp ne ptr %714, null
  br i1 %715, label %716, label %752

716:                                              ; preds = %711
  %717 = load ptr, ptr %3, align 8, !tbaa !5
  %718 = getelementptr inbounds %struct.facetT, ptr %717, i32 0, i32 8
  %719 = load ptr, ptr %718, align 8, !tbaa !44
  %720 = getelementptr inbounds %struct.setT, ptr %719, i32 0, i32 1
  %721 = getelementptr inbounds [1 x %union.setelemT], ptr %720, i64 0, i64 0
  store ptr %721, ptr %9, align 8, !tbaa !5
  br label %722

722:                                              ; preds = %750, %716
  %723 = load ptr, ptr %9, align 8, !tbaa !5
  %724 = getelementptr inbounds ptr, ptr %723, i32 1
  store ptr %724, ptr %9, align 8, !tbaa !5
  %725 = load ptr, ptr %723, align 8, !tbaa !5
  store ptr %725, ptr %8, align 8, !tbaa !5
  %726 = icmp ne ptr %725, null
  br i1 %726, label %727, label %751

727:                                              ; preds = %722
  %728 = load ptr, ptr %8, align 8, !tbaa !5
  %729 = getelementptr inbounds %struct.vertexT, ptr %728, i32 0, i32 3
  %730 = load ptr, ptr %729, align 8, !tbaa !52
  %731 = load ptr, ptr %3, align 8, !tbaa !5
  %732 = call i32 @qh_setin(ptr noundef %730, ptr noundef %731)
  %733 = icmp ne i32 %732, 0
  br i1 %733, label %750, label %734

734:                                              ; preds = %727
  %735 = load ptr, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 158), align 8, !tbaa !15
  %736 = load ptr, ptr %8, align 8, !tbaa !5
  %737 = getelementptr inbounds %struct.vertexT, ptr %736, i32 0, i32 4
  %738 = load i32, ptr %737, align 8, !tbaa !41
  %739 = load ptr, ptr %3, align 8, !tbaa !5
  %740 = getelementptr inbounds %struct.facetT, ptr %739, i32 0, i32 14
  %741 = load i32, ptr %740, align 4, !tbaa !16
  %742 = load ptr, ptr %3, align 8, !tbaa !5
  %743 = getelementptr inbounds %struct.facetT, ptr %742, i32 0, i32 14
  %744 = load i32, ptr %743, align 4, !tbaa !16
  %745 = load ptr, ptr %8, align 8, !tbaa !5
  %746 = getelementptr inbounds %struct.vertexT, ptr %745, i32 0, i32 4
  %747 = load i32, ptr %746, align 8, !tbaa !41
  call void (ptr, i32, ptr, ...) @qh_fprintf(ptr noundef %735, i32 noundef 6277, ptr noundef @.str.123, i32 noundef %738, i32 noundef %741, i32 noundef %744, i32 noundef %747)
  %748 = load ptr, ptr %6, align 8, !tbaa !5
  store ptr %748, ptr %7, align 8, !tbaa !5
  %749 = load ptr, ptr %3, align 8, !tbaa !5
  store ptr %749, ptr %6, align 8, !tbaa !5
  br label %750

750:                                              ; preds = %734, %727
  br label %722, !llvm.loop !59

751:                                              ; preds = %722
  br label %752

752:                                              ; preds = %751, %711
  br label %753

753:                                              ; preds = %752, %704
  br label %754

754:                                              ; preds = %753
  %755 = load ptr, ptr %3, align 8, !tbaa !5
  %756 = getelementptr inbounds %struct.facetT, ptr %755, i32 0, i32 7
  %757 = load ptr, ptr %756, align 8, !tbaa !22
  store ptr %757, ptr %3, align 8, !tbaa !5
  br label %694, !llvm.loop !60

758:                                              ; preds = %702
  br label %759

759:                                              ; preds = %758, %689
  br label %760

760:                                              ; preds = %759, %594
  br label %761

761:                                              ; preds = %760, %506
  %762 = load i32, ptr %12, align 4, !tbaa !9
  %763 = load i32, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 179), align 4, !tbaa !61
  %764 = load ptr, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 226), align 8, !tbaa !62
  %765 = call i32 @qh_setsize(ptr noundef %764)
  %766 = sub nsw i32 %763, %765
  %767 = icmp ne i32 %762, %766
  br i1 %767, label %768, label %775

768:                                              ; preds = %761
  %769 = load ptr, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 158), align 8, !tbaa !15
  %770 = load i32, ptr %12, align 4, !tbaa !9
  %771 = load i32, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 179), align 4, !tbaa !61
  %772 = load ptr, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 226), align 8, !tbaa !62
  %773 = call i32 @qh_setsize(ptr noundef %772)
  %774 = sub nsw i32 %771, %773
  call void (ptr, i32, ptr, ...) @qh_fprintf(ptr noundef %769, i32 noundef 6142, ptr noundef @.str.124, i32 noundef %770, i32 noundef %774)
  store i32 1, ptr %16, align 4, !tbaa !9
  br label %775

775:                                              ; preds = %768, %761
  %776 = load i32, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 110), align 8, !tbaa !43
  %777 = icmp eq i32 %776, 2
  br i1 %777, label %778, label %786

778:                                              ; preds = %775
  %779 = load i32, ptr %12, align 4, !tbaa !9
  %780 = load i32, ptr %11, align 4, !tbaa !9
  %781 = icmp ne i32 %779, %780
  br i1 %781, label %782, label %786

782:                                              ; preds = %778
  %783 = load ptr, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 158), align 8, !tbaa !15
  %784 = load i32, ptr %12, align 4, !tbaa !9
  %785 = load i32, ptr %11, align 4, !tbaa !9
  call void (ptr, i32, ptr, ...) @qh_fprintf(ptr noundef %783, i32 noundef 6143, ptr noundef @.str.125, i32 noundef %784, i32 noundef %785)
  store i32 1, ptr %16, align 4, !tbaa !9
  br label %786

786:                                              ; preds = %782, %778, %775
  %787 = load i32, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 110), align 8, !tbaa !43
  %788 = icmp eq i32 %787, 3
  br i1 %788, label %789, label %803

789:                                              ; preds = %786
  %790 = load i32, ptr %12, align 4, !tbaa !9
  %791 = load i32, ptr %11, align 4, !tbaa !9
  %792 = add nsw i32 %790, %791
  %793 = load i32, ptr %13, align 4, !tbaa !9
  %794 = sdiv i32 %793, 2
  %795 = sub nsw i32 %792, %794
  %796 = icmp ne i32 %795, 2
  br i1 %796, label %797, label %803

797:                                              ; preds = %789
  %798 = load ptr, ptr getelementptr inbounds (%struct.qhT, ptr @qh_qh, i32 0, i32 158), align 8, !tbaa !15
  %799 = load i32, ptr %12, align 4, !tbaa !9
  %800 = load i32, ptr %11, align 4, !tbaa !9
  %801 = load i32, ptr %13, align 4, !tbaa !9
  %802 = sdiv i32 %801, 2
  call void (ptr, i32, ptr, ...) @qh_fprintf(ptr noundef %798, i32 noundef 7063, ptr noundef @.str.126, i32 noundef %799, i32 noundef %800, i32 noundef %802)
  br label %803

803:                                              ; preds = %797, %789, %786
  br label %804

804:                                              ; preds = %803, %488
  %805 = load i32, ptr %16, align 4, !tbaa !9
  %806 = icmp ne i32 %805, 0
  br i1 %806, label %807, label %810

807:                                              ; preds = %804
  %808 = load ptr, ptr %6, align 8, !tbaa !5
  %809 = load ptr, ptr %7, align 8, !tbaa !5
  call void @qh_errexit2(i32 noundef 5, ptr noundef %808, ptr noundef %809)
  br label %810

810:                                              ; preds = %807, %804
  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 4, ptr %12) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %11) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %10) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %9) #3
  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
  call void @llvm.lifetime.end.p0(i64 8, ptr %4) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %3) #3
  ret void
}

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

declare void @qh_setcheck(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) #2

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

; Function Attrs: nounwind uwtable
declare dso_local void @qh_checkvertex(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, !6, i64 2984, !10, i64 2992}
!13 = !{!"double", !7, i64 0}
!14 = !{!"long", !7, i64 0}
!15 = !{!12, !6, i64 2424}
!16 = !{!17, !10, i64 108}
!17 = !{!"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}
!18 = !{!12, !10, i64 2708}
!19 = !{!12, !10, i64 2568}
!20 = !{!12, !6, i64 2456}
!21 = !{!12, !10, i64 236}
!22 = !{!17, !6, i64 56}
!23 = !{!12, !6, i64 2488}
!24 = !{!12, !6, i64 2480}
!25 = !{!12, !6, i64 2472}
!26 = !{!17, !6, i64 88}
!27 = !{!12, !10, i64 1912}
!28 = !{!17, !13, i64 0}
!29 = !{!12, !13, i64 24}
!30 = !{!12, !10, i64 2704}
!31 = !{!17, !6, i64 80}
!32 = !{!7, !7, i64 0}
!33 = !{!17, !6, i64 72}
!34 = distinct !{!34, !35}
!35 = !{!"llvm.loop.mustprogress"}
!36 = !{!12, !6, i64 2544}
!37 = !{!12, !6, i64 2560}
!38 = !{!39, !6, i64 0}
!39 = !{!"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}
!40 = !{!39, !10, i64 36}
!41 = !{!39, !10, i64 32}
!42 = distinct !{!42, !35}
!43 = !{!12, !10, i64 632}
!44 = !{!17, !6, i64 64}
!45 = !{!39, !6, i64 16}
!46 = !{!12, !6, i64 648}
!47 = distinct !{!47, !35}
!48 = distinct !{!48, !35}
!49 = !{!12, !10, i64 2788}
!50 = !{!12, !10, i64 2496}
!51 = !{!12, !10, i64 1720}
!52 = !{!39, !6, i64 24}
!53 = distinct !{!53, !35}
!54 = distinct !{!54, !35}
!55 = !{!12, !10, i64 2784}
!56 = !{!17, !10, i64 104}
!57 = distinct !{!57, !35}
!58 = distinct !{!58, !35}
!59 = distinct !{!59, !35}
!60 = distinct !{!60, !35}
!61 = !{!12, !10, i64 2572}
!62 = !{!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"

%struct.qhT = type { i32, i32, i32, i32, i32, i32, double, i32, i32, i32, i32, i32, i32, i32, i32, double, double, i32, i32, i32, i32, i32, i32, ptr, i32, i32, ptr, i32, i32, i32, i32, i32, i32, i32, double, double, i32, i32, i32, i32, double, double, i32, i32, double, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, [29 x i32], i32, i32, i32, i32, i32, i32, i32, i32, double, double, double, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, double, i32, i32, i32, i32, i32, i32, i32, i32, double, i32, ptr, ptr, i32, i32, i32, i32, i32, ptr, i32, ptr, i32, [256 x i8], i32, [256 x i8], [512 x i8], i32, i32, i32, i32, i32, i32, ptr, ptr, ptr, ptr, double, double, double, double, double, double, double, double, double, double, double, double, double, double, ptr, double, double, double, double, i32, [6 x i8], [1 x %struct.__jmp_buf_tag], [40 x i8], [1 x %struct.__jmp_buf_tag], [40 x i8], ptr, ptr, ptr, ptr, i32, i32, i32, ptr, ptr, ptr, ptr, ptr, i32, i32, ptr, i32, ptr, i32, ptr, ptr, ptr, ptr, i32, i32, i32, i32, i32, i32, i32, i32, i64, i32, i32, i32, i32, i32, ptr, ptr, i32, i32, i32, double, i32, double, double, double, i32, i32, i32, i32, i32, double, double, i32, i32, i32, i32, i32, i32, double, double, i32, i32, i32, i32, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, i32, ptr, ptr, i32, i32, i32, ptr, double, double, double, double, i32, i32, i32, i32, i32, i32, ptr, ptr, i32 }
%struct.__jmp_buf_tag = type { [8 x i64], i32, %struct.__sigset_t }
%struct.__sigset_t = type { [16 x i64] }

@qh_qh = external local_unnamed_addr global %struct.qhT, align 8
@.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) 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, i32 noundef, ptr noundef, ...) local_unnamed_addr #1

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

declare i32 @qh_pointid(ptr noundef) local_unnamed_addr #1

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

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

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

10:                                               ; preds = %5, %1
  %11 = tail call i32 @qh_checklists(ptr noundef %0)
  %.not = icmp eq i32 %11, 0
  br i1 %.not, label %12, label %17

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

16:                                               ; preds = %12
  tail call void @qh_printlists()
  br label %17

17:                                               ; preds = %12, %16, %10
  %18 = load ptr, ptr getelementptr inbounds (i8, ptr @qh_qh, i64 2456), align 8, !tbaa !19
  %.not249 = icmp eq ptr %0, null
  br i1 %.not249, label %.critedge, label %.preheader330.preheader

.preheader330.preheader:                          ; preds = %17
  %19 = icmp ne ptr %18, %0
  %20 = load i32, ptr getelementptr inbounds (i8, ptr @qh_qh, i64 236), align 4
  %21 = icmp ne i32 %20, 0
  %or.cond = select i1 %19, i1 true, i1 %21
  %spec.select = zext i1 %or.cond to i32
  br label %.preheader330

.preheader330:                                    ; preds = %.preheader330.preheader, %136
  %.0180335 = phi i32 [ %spec.select311, %136 ], [ 0, %.preheader330.preheader ]
  %.1182334 = phi i32 [ %.3, %136 ], [ %spec.select, %.preheader330.preheader ]
  %.0185333 = phi i32 [ %.1186, %136 ], [ 0, %.preheader330.preheader ]
  %.0200332 = phi i32 [ %.1201, %136 ], [ 0, %.preheader330.preheader ]
  %.0226331 = phi ptr [ %137, %136 ], [ %0, %.preheader330.preheader ]
  %22 = getelementptr inbounds i8, ptr %.0226331, i64 56
  %23 = load ptr, ptr %22, align 8, !tbaa !20
  %.not251 = icmp eq ptr %23, null
  br i1 %.not251, label %.critedge.loopexit, label %24

24:                                               ; preds = %.preheader330
  %25 = load ptr, ptr getelementptr inbounds (i8, ptr @qh_qh, i64 2488), align 8, !tbaa !21
  %26 = icmp eq ptr %.0226331, %25
  %spec.select311 = select i1 %26, i32 1, i32 %.0180335
  %27 = load ptr, ptr getelementptr inbounds (i8, ptr @qh_qh, i64 2480), align 8, !tbaa !22
  %28 = icmp eq ptr %.0226331, %27
  %.1186 = select i1 %28, i32 1, i32 %.0185333
  %29 = getelementptr inbounds i8, ptr %.0226331, i64 112
  %30 = load i32, ptr %29, align 8
  %31 = and i32 %30, 1024
  %32 = icmp eq i32 %31, 0
  %33 = icmp ne i32 %.1186, 0
  %or.cond3 = select i1 %32, i1 true, i1 %33
  %34 = icmp ne i32 %spec.select311, 0
  %or.cond5 = select i1 %or.cond3, i1 true, i1 %34
  br i1 %or.cond5, label %48, label %35

35:                                               ; preds = %24
  %36 = load ptr, ptr getelementptr inbounds (i8, ptr @qh_qh, i64 2424), align 8, !tbaa !14
  %37 = getelementptr inbounds i8, ptr %.0226331, i64 108
  %38 = load i32, ptr %37, align 4, !tbaa !15
  %.not292 = icmp eq ptr %27, null
  br i1 %.not292, label %42, label %39

39:                                               ; preds = %35
  %40 = getelementptr inbounds i8, ptr %27, i64 108
  %41 = load i32, ptr %40, align 4, !tbaa !15
  br label %42

42:                                               ; preds = %35, %39
  %43 = phi i32 [ %41, %39 ], [ -1, %35 ]
  %.not293 = icmp eq ptr %25, null
  br i1 %.not293, label %.thread, label %44

44:                                               ; preds = %42
  %45 = getelementptr inbounds i8, ptr %25, i64 108
  %46 = load i32, ptr %45, align 4, !tbaa !15
  br label %.thread

.thread:                                          ; preds = %44, %42
  %47 = phi i32 [ %46, %44 ], [ -1, %42 ]
  call void (ptr, i32, ptr, ...) @qh_fprintf(ptr noundef %36, i32 noundef 6289, ptr noundef nonnull @.str.109, i32 noundef %38, i32 noundef %43, i32 noundef %47) #3
  br label %.sink.split

48:                                               ; preds = %24
  %or.cond7 = select i1 %32, i1 %33, i1 false
  br i1 %or.cond7, label %49, label %58

49:                                               ; preds = %48
  %50 = load ptr, ptr getelementptr inbounds (i8, ptr @qh_qh, i64 2424), align 8, !tbaa !14
  %51 = getelementptr inbounds i8, ptr %.0226331, i64 108
  %52 = load i32, ptr %51, align 4, !tbaa !15
  %.not294 = icmp eq ptr %27, null
  br i1 %.not294, label %56, label %53

53:                                               ; preds = %49
  %54 = getelementptr inbounds i8, ptr %27, i64 108
  %55 = load i32, ptr %54, align 4, !tbaa !15
  br label %56

56:                                               ; preds = %49, %53
  %57 = phi i32 [ %55, %53 ], [ -1, %49 ]
  call void (ptr, i32, ptr, ...) @qh_fprintf(ptr noundef %50, i32 noundef 6292, ptr noundef nonnull @.str.110, i32 noundef %52, i32 noundef %57) #3
  br label %.sink.split

.sink.split:                                      ; preds = %56, %.thread
  call void @qh_errexit(i32 noundef 5, ptr noundef nonnull %.0226331, ptr noundef null) #3
  br label %58

58:                                               ; preds = %.sink.split, %48
  %59 = load i32, ptr %29, align 8
  %60 = lshr i32 %59, 11
  %61 = and i32 %60, 1
  %62 = and i32 %spec.select311, 1
  %63 = select i1 %33, i32 0, i32 %62
  %.not295 = icmp eq i32 %61, %63
  br i1 %.not295, label %80, label %64

64:                                               ; preds = %58
  %.not296 = icmp eq i32 %61, 0
  %65 = load ptr, ptr getelementptr inbounds (i8, ptr @qh_qh, i64 2424), align 8, !tbaa !14
  %66 = getelementptr inbounds i8, ptr %.0226331, i64 108
  %67 = load i32, ptr %66, align 4, !tbaa !15
  br i1 %.not296, label %75, label %68

68:                                               ; preds = %64
  %69 = load ptr, ptr getelementptr inbounds (i8, ptr @qh_qh, i64 2488), align 8, !tbaa !21
  %.not297 = icmp eq ptr %69, null
  br i1 %.not297, label %73, label %70

70:                                               ; preds = %68
  %71 = getelementptr inbounds i8, ptr %69, i64 108
  %72 = load i32, ptr %71, align 4, !tbaa !15
  br label %73

73:                                               ; preds = %68, %70
  %74 = phi i32 [ %72, %70 ], [ -1, %68 ]
  call void (ptr, i32, ptr, ...) @qh_fprintf(ptr noundef %65, i32 noundef 6290, ptr noundef nonnull @.str.111, i32 noundef %67, i32 noundef %74) #3
  br label %79

75:                                               ; preds = %64
  %76 = load ptr, ptr getelementptr inbounds (i8, ptr @qh_qh, i64 2480), align 8, !tbaa !22
  %77 = getelementptr inbounds i8, ptr %76, i64 108
  %78 = load i32, ptr %77, align 4, !tbaa !15
  call void (ptr, i32, ptr, ...) @qh_fprintf(ptr noundef %65, i32 noundef 6291, ptr noundef nonnull @.str.112, i32 noundef %67, i32 noundef %78) #3
  br label %79

79:                                               ; preds = %75, %73
  call void @qh_errexit(i32 noundef 5, ptr noundef nonnull %.0226331, ptr noundef null) #3
  br label %80

80:                                               ; preds = %79, %58
  %81 = load i32, ptr getelementptr inbounds (i8, ptr @qh_qh, i64 2708), align 4, !tbaa !17
  %.not298 = icmp eq i32 %81, 0
  %82 = load i32, ptr %29, align 8
  %83 = select i1 %.not298, i32 2048, i32 1024
  %84 = and i32 %82, %83
  %.not302.not = icmp eq i32 %84, 0
  br i1 %.not302.not, label %85, label %111

85:                                               ; preds = %80
  %.not307 = icmp ne i32 %.1182334, 0
  %86 = load ptr, ptr getelementptr inbounds (i8, ptr @qh_qh, i64 2472), align 8
  %87 = icmp eq ptr %.0226331, %86
  %or.cond316 = select i1 %.not307, i1 true, i1 %87
  br i1 %or.cond316, label %109, label %88

88:                                               ; preds = %85
  %89 = getelementptr inbounds i8, ptr %.0226331, i64 88
  %90 = load ptr, ptr %89, align 8, !tbaa !23
  %91 = call i32 @qh_setsize(ptr noundef %90) #3
  %.not308 = icmp eq i32 %91, 0
  br i1 %.not308, label %109, label %92

92:                                               ; preds = %88
  %93 = load i32, ptr getelementptr inbounds (i8, ptr @qh_qh, i64 1912), align 8, !tbaa !24
  %.not309 = icmp eq i32 %93, 0
  br i1 %.not309, label %98, label %94

94:                                               ; preds = %92
  %95 = load double, ptr %.0226331, align 8, !tbaa !25
  %96 = load double, ptr getelementptr inbounds (i8, ptr @qh_qh, i64 24), align 8, !tbaa !26
  %97 = fcmp ult double %95, %96
  br i1 %97, label %109, label %98

98:                                               ; preds = %94, %92
  %99 = load ptr, ptr getelementptr inbounds (i8, ptr @qh_qh, i64 2424), align 8, !tbaa !14
  %100 = getelementptr inbounds i8, ptr %.0226331, i64 108
  %101 = load i32, ptr %100, align 4, !tbaa !15
  %102 = load ptr, ptr getelementptr inbounds (i8, ptr @qh_qh, i64 2472), align 8, !tbaa !27
  %.not310 = icmp eq ptr %102, null
  br i1 %.not310, label %106, label %103

103:                                              ; preds = %98
  %104 = getelementptr inbounds i8, ptr %102, i64 108
  %105 = load i32, ptr %104, align 4, !tbaa !15
  br label %106

106:                                              ; preds = %98, %103
  %107 = phi i32 [ %105, %103 ], [ -1, %98 ]
  call void (ptr, i32, ptr, ...) @qh_fprintf(ptr noundef %99, i32 noundef 6137, ptr noundef nonnull @.str.113, i32 noundef %101, i32 noundef %107) #3
  %108 = load ptr, ptr getelementptr inbounds (i8, ptr @qh_qh, i64 2472), align 8, !tbaa !27
  call void @qh_errexit2(i32 noundef 5, ptr noundef nonnull %.0226331, ptr noundef %108) #3
  br label %109

109:                                              ; preds = %94, %106, %88, %85
  %.2 = phi i32 [ 1, %85 ], [ 0, %106 ], [ 0, %94 ], [ 0, %88 ]
  %110 = add nsw i32 %.0200332, 1
  call void @qh_checkfacet(ptr noundef nonnull %.0226331, i32 noundef 0, ptr noundef nonnull %2)
  br label %136

111:                                              ; preds = %80
  %112 = and i32 %82, 2048
  %113 = icmp ne i32 %112, 0
  %114 = load i32, ptr getelementptr inbounds (i8, ptr @qh_qh, i64 2704), align 8
  %115 = icmp ne i32 %114, 0
  %or.cond9 = select i1 %113, i1 %115, i1 false
  br i1 %or.cond9, label %116, label %136

116:                                              ; preds = %111
  %117 = getelementptr inbounds i8, ptr %.0226331, i64 80
  %118 = load ptr, ptr %117, align 8, !tbaa !28
  %.not303 = icmp eq ptr %118, null
  br i1 %.not303, label %122, label %119

119:                                              ; preds = %116
  %120 = getelementptr inbounds i8, ptr %118, i64 8
  %121 = load ptr, ptr %120, align 8, !tbaa !29
  %.not304 = icmp eq ptr %121, null
  br i1 %.not304, label %122, label %128

122:                                              ; preds = %119, %116
  %123 = getelementptr inbounds i8, ptr %.0226331, i64 72
  %124 = load ptr, ptr %123, align 8, !tbaa !30
  %.not305 = icmp eq ptr %124, null
  br i1 %.not305, label %136, label %125

125:                                              ; preds = %122
  %126 = getelementptr inbounds i8, ptr %124, i64 8
  %127 = load ptr, ptr %126, align 8, !tbaa !29
  %.not306 = icmp eq ptr %127, null
  br i1 %.not306, label %136, label %128

128:                                              ; preds = %125, %119
  %129 = load ptr, ptr getelementptr inbounds (i8, ptr @qh_qh, i64 2424), align 8, !tbaa !14
  %130 = getelementptr inbounds i8, ptr %.0226331, i64 108
  %131 = load i32, ptr %130, align 4, !tbaa !15
  %132 = call i32 @qh_setsize(ptr noundef %118) #3
  %133 = getelementptr inbounds i8, ptr %.0226331, i64 72
  %134 = load ptr, ptr %133, align 8, !tbaa !30
  %135 = call i32 @qh_setsize(ptr noundef %134) #3
  call void (ptr, i32, ptr, ...) @qh_fprintf(ptr noundef %129, i32 noundef 6376, ptr noundef nonnull @.str.114, i32 noundef %131, i32 noundef %132, i32 noundef %135) #3
  call void @qh_errexit(i32 noundef 5, ptr noundef nonnull %.0226331, ptr noundef null) #3
  br label %136

136:                                              ; preds = %109, %122, %128, %125, %111
  %.1201 = phi i32 [ %110, %109 ], [ %.0200332, %128 ], [ %.0200332, %125 ], [ %.0200332, %122 ], [ %.0200332, %111 ]
  %.3 = phi i32 [ %.2, %109 ], [ %.1182334, %128 ], [ %.1182334, %125 ], [ %.1182334, %122 ], [ %.1182334, %111 ]
  %137 = load ptr, ptr %22, align 8, !tbaa !20
  %.not250 = icmp eq ptr %137, null
  br i1 %.not250, label %.critedge.loopexit, label %.preheader330, !llvm.loop !31

.critedge.loopexit:                               ; preds = %136, %.preheader330
  %.2202.ph = phi i32 [ %.0200332, %.preheader330 ], [ %.1201, %136 ]
  %.pre = load ptr, ptr getelementptr inbounds (i8, ptr @qh_qh, i64 2456), align 8, !tbaa !19
  br label %.critedge

.critedge:                                        ; preds = %.critedge.loopexit, %17
  %138 = phi ptr [ %18, %17 ], [ %.pre, %.critedge.loopexit ]
  %.2202 = phi i32 [ 0, %17 ], [ %.2202.ph, %.critedge.loopexit ]
  %139 = icmp eq ptr %138, %0
  br i1 %139, label %select.unfold, label %140

140:                                              ; preds = %.critedge
  %141 = load ptr, ptr getelementptr inbounds (i8, ptr @qh_qh, i64 2480), align 8, !tbaa !22
  %142 = icmp eq ptr %141, %0
  br i1 %142, label %select.unfold, label %.critedge11

select.unfold:                                    ; preds = %.critedge, %140
  %.0203.in = phi ptr [ getelementptr inbounds (i8, ptr @qh_qh, i64 2560), %140 ], [ getelementptr inbounds (i8, ptr @qh_qh, i64 2544), %.critedge ]
  %.0203 = load ptr, ptr %.0203.in, align 8
  %.not252336 = icmp eq ptr %.0203, null
  br i1 %.not252336, label %.critedge11, label %.lr.ph

.lr.ph:                                           ; preds = %select.unfold, %165
  %.0183338 = phi i32 [ %spec.select312, %165 ], [ 0, %select.unfold ]
  %.0206337 = phi ptr [ %166, %165 ], [ %.0203, %select.unfold ]
  %143 = load ptr, ptr %.0206337, align 8, !tbaa !33
  %.not253 = icmp eq ptr %143, null
  br i1 %.not253, label %.critedge11, label %144

144:                                              ; preds = %.lr.ph
  call void @qh_checkvertex(ptr noundef nonnull %.0206337, i32 noundef 0, ptr noundef nonnull %2)
  %145 = load ptr, ptr getelementptr inbounds (i8, ptr @qh_qh, i64 2560), align 8, !tbaa !35
  %146 = icmp eq ptr %.0206337, %145
  %spec.select312 = select i1 %146, i32 1, i32 %.0183338
  %147 = getelementptr inbounds i8, ptr %.0206337, i64 40
  %148 = load i8, ptr %147, align 8
  %149 = and i8 %148, -2
  store i8 %149, ptr %147, align 8
  %150 = getelementptr inbounds i8, ptr %.0206337, i64 36
  store i32 0, ptr %150, align 4, !tbaa !36
  %151 = icmp eq i32 %spec.select312, 0
  %152 = and i8 %148, 20
  %153 = icmp eq i8 %152, 16
  %or.cond313 = select i1 %153, i1 %151, i1 false
  br i1 %or.cond313, label %154, label %165

154:                                              ; preds = %144
  %155 = load ptr, ptr getelementptr inbounds (i8, ptr @qh_qh, i64 2424), align 8, !tbaa !14
  %156 = getelementptr inbounds i8, ptr %.0206337, i64 32
  %157 = load i32, ptr %156, align 8, !tbaa !37
  %158 = load ptr, ptr getelementptr inbounds (i8, ptr @qh_qh, i64 2560), align 8, !tbaa !35
  %.not291 = icmp eq ptr %158, null
  br i1 %.not291, label %162, label %159

159:                                              ; preds = %154
  %160 = getelementptr inbounds i8, ptr %158, i64 32
  %161 = load i32, ptr %160, align 8, !tbaa !37
  br label %162

162:                                              ; preds = %154, %159
  %163 = phi i32 [ %161, %159 ], [ -1, %154 ]
  call void (ptr, i32, ptr, ...) @qh_fprintf(ptr noundef %155, i32 noundef 6288, ptr noundef nonnull @.str.115, i32 noundef %157, i32 noundef %163) #3
  %164 = load ptr, ptr getelementptr inbounds (i8, ptr @qh_qh, i64 2488), align 8, !tbaa !21
  call void @qh_errexit(i32 noundef 5, ptr noundef %164, ptr noundef null) #3
  br label %165

165:                                              ; preds = %144, %162
  %166 = load ptr, ptr %.0206337, align 8, !tbaa !33
  %.not252 = icmp eq ptr %166, null
  br i1 %.not252, label %.critedge11, label %.lr.ph, !llvm.loop !38

.critedge11:                                      ; preds = %.lr.ph, %165, %140, %select.unfold
  br i1 %.not249, label %.critedge15, label %.preheader329

.preheader329:                                    ; preds = %.critedge11, %.loopexit328
  %.0192347 = phi i32 [ %.2194, %.loopexit328 ], [ 0, %.critedge11 ]
  %.0196346 = phi i32 [ %.3199, %.loopexit328 ], [ 0, %.critedge11 ]
  %.1227345 = phi ptr [ %207, %.loopexit328 ], [ %0, %.critedge11 ]
  %167 = getelementptr inbounds i8, ptr %.1227345, i64 56
  %168 = load ptr, ptr %167, align 8, !tbaa !20
  %.not255 = icmp eq ptr %168, null
  br i1 %.not255, label %.critedge15.loopexit, label %169

169:                                              ; preds = %.preheader329
  %170 = getelementptr inbounds i8, ptr %.1227345, i64 112
  %171 = load i32, ptr %170, align 8
  %172 = and i32 %171, 2048
  %.not283 = icmp eq i32 %172, 0
  br i1 %.not283, label %173, label %.loopexit328

173:                                              ; preds = %169
  %174 = and i32 %171, 8192
  %.not284 = icmp eq i32 %174, 0
  br i1 %.not284, label %177, label %175

175:                                              ; preds = %173
  %176 = load i32, ptr getelementptr inbounds (i8, ptr @qh_qh, i64 632), align 8, !tbaa !39
  br label %181

177:                                              ; preds = %173
  %178 = getelementptr inbounds i8, ptr %.1227345, i64 72
  %179 = load ptr, ptr %178, align 8, !tbaa !30
  %180 = call i32 @qh_setsize(ptr noundef %179) #3
  br label %181

181:                                              ; preds = %177, %175
  %.pn285 = phi i32 [ %176, %175 ], [ %180, %177 ]
  %.1193 = add nsw i32 %.pn285, %.0192347
  %182 = getelementptr inbounds i8, ptr %.1227345, i64 64
  %183 = load ptr, ptr %182, align 8, !tbaa !40
  %.not286 = icmp eq ptr %183, null
  br i1 %.not286, label %.loopexit328, label %.preheader327

.preheader327:                                    ; preds = %181
  %.0204340 = getelementptr inbounds i8, ptr %183, i64 8
  %184 = load ptr, ptr %.0204340, align 8, !tbaa !41
  %.not288341 = icmp eq ptr %184, null
  br i1 %.not288341, label %.loopexit328, label %.lr.ph344

.lr.ph344:                                        ; preds = %.preheader327, %205
  %185 = phi ptr [ %206, %205 ], [ %184, %.preheader327 ]
  %.0204343 = phi ptr [ %.0204, %205 ], [ %.0204340, %.preheader327 ]
  %.1197342 = phi i32 [ %.2198, %205 ], [ %.0196346, %.preheader327 ]
  %186 = getelementptr inbounds i8, ptr %185, i64 36
  %187 = load i32, ptr %186, align 4, !tbaa !36
  %188 = add i32 %187, 1
  store i32 %188, ptr %186, align 4, !tbaa !36
  %189 = getelementptr inbounds i8, ptr %185, i64 40
  %190 = load i8, ptr %189, align 8
  %191 = and i8 %190, 1
  %.not289 = icmp eq i8 %191, 0
  br i1 %.not289, label %192, label %205

192:                                              ; preds = %.lr.ph344
  %193 = or disjoint i8 %190, 1
  store i8 %193, ptr %189, align 8
  %194 = add nsw i32 %.1197342, 1
  %195 = getelementptr inbounds i8, ptr %185, i64 16
  %196 = load ptr, ptr %195, align 8, !tbaa !42
  %197 = call i32 @qh_pointid(ptr noundef %196) #3
  %198 = icmp eq i32 %197, -1
  br i1 %198, label %199, label %205

199:                                              ; preds = %192
  %200 = load ptr, ptr getelementptr inbounds (i8, ptr @qh_qh, i64 2424), align 8, !tbaa !14
  %201 = load ptr, ptr %195, align 8, !tbaa !42
  %202 = getelementptr inbounds i8, ptr %185, i64 32
  %203 = load i32, ptr %202, align 8, !tbaa !37
  %204 = load ptr, ptr getelementptr inbounds (i8, ptr @qh_qh, i64 648), align 8, !tbaa !43
  call void (ptr, i32, ptr, ...) @qh_fprintf(ptr noundef %200, i32 noundef 6139, ptr noundef nonnull @.str.116, ptr noundef %201, i32 noundef %203, ptr noundef %204) #3
  store i32 1, ptr %2, align 4, !tbaa !5
  br label %205

205:                                              ; preds = %192, %199, %.lr.ph344
  %.2198 = phi i32 [ %.1197342, %.lr.ph344 ], [ %194, %199 ], [ %194, %192 ]
  %.0204 = getelementptr inbounds i8, ptr %.0204343, i64 8
  %206 = load ptr, ptr %.0204, align 8, !tbaa !41
  %.not288 = icmp eq ptr %206, null
  br i1 %.not288, label %.loopexit328, label %.lr.ph344, !llvm.loop !44

.loopexit328:                                     ; preds = %205, %.preheader327, %181, %169
  %.3199 = phi i32 [ %.0196346, %169 ], [ %.0196346, %181 ], [ %.0196346, %.preheader327 ], [ %.2198, %205 ]
  %.2194 = phi i32 [ %.0192347, %169 ], [ %.1193, %181 ], [ %.1193, %.preheader327 ], [ %.1193, %205 ]
  %207 = load ptr, ptr %167, align 8, !tbaa !20
  %.not254 = icmp eq ptr %207, null
  br i1 %.not254, label %.critedge15.loopexit, label %.preheader329, !llvm.loop !45

.critedge15.loopexit:                             ; preds = %.loopexit328, %.preheader329
  %.4.ph = phi i32 [ %.0196346, %.preheader329 ], [ %.3199, %.loopexit328 ]
  %.3195.ph = phi i32 [ %.0192347, %.preheader329 ], [ %.2194, %.loopexit328 ]
  %208 = sdiv i32 %.3195.ph, 2
  br label %.critedge15

.critedge15:                                      ; preds = %.critedge15.loopexit, %.critedge11
  %.4 = phi i32 [ 0, %.critedge11 ], [ %.4.ph, %.critedge15.loopexit ]
  %.3195 = phi i32 [ 0, %.critedge11 ], [ %208, %.critedge15.loopexit ]
  %209 = load i32, ptr getelementptr inbounds (i8, ptr @qh_qh, i64 2788), align 4, !tbaa !46
  %210 = add i32 %209, %.2202
  store i32 %210, ptr getelementptr inbounds (i8, ptr @qh_qh, i64 2788), align 4, !tbaa !46
  %211 = load ptr, ptr getelementptr inbounds (i8, ptr @qh_qh, i64 2456), align 8, !tbaa !19
  %212 = icmp eq ptr %211, %0
  br i1 %212, label %213, label %340

213:                                              ; preds = %.critedge15
  %214 = load i32, ptr getelementptr inbounds (i8, ptr @qh_qh, i64 2568), align 8, !tbaa !18
  %215 = load i32, ptr getelementptr inbounds (i8, ptr @qh_qh, i64 2496), align 8, !tbaa !47
  %216 = sub nsw i32 %214, %215
  %.not256 = icmp eq i32 %.2202, %216
  br i1 %.not256, label %219, label %217

217:                                              ; preds = %213
  %218 = load ptr, ptr getelementptr inbounds (i8, ptr @qh_qh, i64 2424), align 8, !tbaa !14
  call void (ptr, i32, ptr, ...) @qh_fprintf(ptr noundef %218, i32 noundef 6140, ptr noundef nonnull @.str.117, i32 noundef %.2202, i32 noundef %214, i32 noundef %215) #3
  store i32 1, ptr %2, align 4, !tbaa !5
  %.pre388 = load i32, ptr getelementptr inbounds (i8, ptr @qh_qh, i64 2788), align 4, !tbaa !46
  br label %219

219:                                              ; preds = %217, %213
  %220 = phi i32 [ %.pre388, %217 ], [ %210, %213 ]
  %221 = add i32 %220, 1
  store i32 %221, ptr getelementptr inbounds (i8, ptr @qh_qh, i64 2788), align 4, !tbaa !46
  %222 = load i32, ptr getelementptr inbounds (i8, ptr @qh_qh, i64 1720), align 8, !tbaa !48
  %.not257 = icmp eq i32 %222, 0
  br i1 %.not257, label %.critedge23, label %.preheader326

.preheader326:                                    ; preds = %219
  %.1207348 = load ptr, ptr getelementptr inbounds (i8, ptr @qh_qh, i64 2544), align 8, !tbaa !41
  %.not258349 = icmp eq ptr %.1207348, null
  br i1 %.not258349, label %.critedge17, label %.lr.ph352

.lr.ph352:                                        ; preds = %.preheader326, %242
  %.1207351 = phi ptr [ %.1207, %242 ], [ %.1207348, %.preheader326 ]
  %.0190350 = phi i32 [ %.1191, %242 ], [ 0, %.preheader326 ]
  %223 = load ptr, ptr %.1207351, align 8, !tbaa !33
  %.not259 = icmp eq ptr %223, null
  br i1 %.not259, label %.critedge17, label %224

224:                                              ; preds = %.lr.ph352
  %225 = getelementptr inbounds i8, ptr %.1207351, i64 24
  %226 = load ptr, ptr %225, align 8, !tbaa !49
  %.not281 = icmp eq ptr %226, null
  br i1 %.not281, label %227, label %231

227:                                              ; preds = %224
  %228 = load ptr, ptr getelementptr inbounds (i8, ptr @qh_qh, i64 2424), align 8, !tbaa !14
  %229 = getelementptr inbounds i8, ptr %.1207351, i64 32
  %230 = load i32, ptr %229, align 8, !tbaa !37
  call void (ptr, i32, ptr, ...) @qh_fprintf(ptr noundef %228, i32 noundef 6407, ptr noundef nonnull @.str.118, i32 noundef %230) #3
  store i32 1, ptr %2, align 4, !tbaa !5
  %.pre389 = load ptr, ptr %225, align 8, !tbaa !49
  br label %231

231:                                              ; preds = %227, %224
  %232 = phi ptr [ %.pre389, %227 ], [ %226, %224 ]
  %233 = getelementptr inbounds i8, ptr %.1207351, i64 32
  %234 = load i32, ptr %233, align 8, !tbaa !37
  call void @qh_setcheck(ptr noundef %232, ptr noundef nonnull @.str.119, i32 noundef %234) #3
  %235 = getelementptr inbounds i8, ptr %.1207351, i64 40
  %236 = load i8, ptr %235, align 8
  %237 = and i8 %236, 4
  %.not282 = icmp eq i8 %237, 0
  br i1 %.not282, label %238, label %242

238:                                              ; preds = %231
  %239 = load ptr, ptr %225, align 8, !tbaa !49
  %240 = call i32 @qh_setsize(ptr noundef %239) #3
  %241 = add nsw i32 %240, %.0190350
  br label %242

242:                                              ; preds = %231, %238
  %.1191 = phi i32 [ %.0190350, %231 ], [ %241, %238 ]
  %.1207 = load ptr, ptr %.1207351, align 8, !tbaa !41
  %.not258 = icmp eq ptr %.1207, null
  br i1 %.not258, label %.critedge17, label %.lr.ph352, !llvm.loop !50

.critedge17:                                      ; preds = %.lr.ph352, %242, %.preheader326
  %.0190.lcssa = phi i32 [ 0, %.preheader326 ], [ %.1191, %242 ], [ %.0190350, %.lr.ph352 ]
  br i1 %.not249, label %.critedge19, label %.preheader325

.preheader325:                                    ; preds = %.critedge17, %254
  %.0187357 = phi i32 [ %.1188, %254 ], [ 0, %.critedge17 ]
  %.2228356 = phi ptr [ %255, %254 ], [ %0, %.critedge17 ]
  %243 = getelementptr inbounds i8, ptr %.2228356, i64 56
  %244 = load ptr, ptr %243, align 8, !tbaa !20
  %.not261 = icmp eq ptr %244, null
  br i1 %.not261, label %.critedge19, label %245

245:                                              ; preds = %.preheader325
  %246 = getelementptr inbounds i8, ptr %.2228356, i64 112
  %247 = load i32, ptr %246, align 8
  %248 = and i32 %247, 2048
  %.not280 = icmp eq i32 %248, 0
  br i1 %.not280, label %249, label %254

249:                                              ; preds = %245
  %250 = getelementptr inbounds i8, ptr %.2228356, i64 64
  %251 = load ptr, ptr %250, align 8, !tbaa !40
  %252 = call i32 @qh_setsize(ptr noundef %251) #3
  %253 = add nsw i32 %252, %.0187357
  %.pre390 = load ptr, ptr %243, align 8, !tbaa !20
  br label %254

254:                                              ; preds = %245, %249
  %255 = phi ptr [ %244, %245 ], [ %.pre390, %249 ]
  %.1188 = phi i32 [ %.0187357, %245 ], [ %253, %249 ]
  %.not260 = icmp eq ptr %255, null
  br i1 %.not260, label %.critedge19, label %.preheader325, !llvm.loop !51

.critedge19:                                      ; preds = %.preheader325, %254, %.critedge17
  %.2189 = phi i32 [ 0, %.critedge17 ], [ %.1188, %254 ], [ %.0187357, %.preheader325 ]
  %.not262 = icmp eq i32 %.0190.lcssa, %.2189
  br i1 %.not262, label %.critedge23, label %256

256:                                              ; preds = %.critedge19
  %257 = load ptr, ptr getelementptr inbounds (i8, ptr @qh_qh, i64 2424), align 8, !tbaa !14
  call void (ptr, i32, ptr, ...) @qh_fprintf(ptr noundef %257, i32 noundef 6141, ptr noundef nonnull @.str.120, i32 noundef %.0190.lcssa, i32 noundef %.2189) #3
  store i32 1, ptr %2, align 4, !tbaa !5
  %.2208366 = load ptr, ptr getelementptr inbounds (i8, ptr @qh_qh, i64 2544), align 8, !tbaa !41
  %.not263367 = icmp eq ptr %.2208366, null
  br i1 %.not263367, label %.critedge21, label %.lr.ph371

.lr.ph371:                                        ; preds = %256, %.loopexit324
  %.2208370 = phi ptr [ %.2208, %.loopexit324 ], [ %.2208366, %256 ]
  %.0209369 = phi ptr [ %.4213, %.loopexit324 ], [ null, %256 ]
  %.0214368 = phi ptr [ %.4218, %.loopexit324 ], [ null, %256 ]
  %258 = load ptr, ptr %.2208370, align 8, !tbaa !33
  %.not264 = icmp eq ptr %258, null
  br i1 %.not264, label %.critedge21, label %259

259:                                              ; preds = %.lr.ph371
  %260 = getelementptr inbounds i8, ptr %.2208370, i64 40
  %261 = load i8, ptr %260, align 8
  %262 = and i8 %261, 4
  %.not275 = icmp eq i8 %262, 0
  br i1 %.not275, label %263, label %.loopexit324

263:                                              ; preds = %259
  %264 = load i32, ptr getelementptr inbounds (i8, ptr @qh_qh, i64 2784), align 8, !tbaa !52
  %265 = add i32 %264, 1
  store i32 %265, ptr getelementptr inbounds (i8, ptr @qh_qh, i64 2784), align 8, !tbaa !52
  %266 = getelementptr inbounds i8, ptr %.2208370, i64 24
  %267 = load ptr, ptr %266, align 8, !tbaa !49
  %.not276 = icmp eq ptr %267, null
  br i1 %.not276, label %.loopexit324, label %.preheader323

.preheader323:                                    ; preds = %263
  %.0225358 = getelementptr inbounds i8, ptr %267, i64 8
  %268 = load ptr, ptr %.0225358, align 8, !tbaa !41
  %.not278359 = icmp eq ptr %268, null
  br i1 %.not278359, label %.loopexit324, label %.lr.ph363

.lr.ph363:                                        ; preds = %.preheader323
  %269 = getelementptr inbounds i8, ptr %.2208370, i64 32
  br label %270

270:                                              ; preds = %.lr.ph363, %291
  %271 = phi ptr [ %268, %.lr.ph363 ], [ %292, %291 ]
  %.0225362 = phi ptr [ %.0225358, %.lr.ph363 ], [ %.0225, %291 ]
  %.1210361 = phi ptr [ %.0209369, %.lr.ph363 ], [ %.3212, %291 ]
  %.1215360 = phi ptr [ %.0214368, %.lr.ph363 ], [ %.3217, %291 ]
  %272 = getelementptr inbounds i8, ptr %271, i64 104
  %273 = load i32, ptr %272, align 8, !tbaa !53
  %274 = load i32, ptr getelementptr inbounds (i8, ptr @qh_qh, i64 2784), align 8, !tbaa !52
  %275 = icmp eq i32 %273, %274
  br i1 %275, label %276, label %281

276:                                              ; preds = %270
  %277 = load ptr, ptr getelementptr inbounds (i8, ptr @qh_qh, i64 2424), align 8, !tbaa !14
  %278 = getelementptr inbounds i8, ptr %271, i64 108
  %279 = load i32, ptr %278, align 4, !tbaa !15
  %280 = load i32, ptr %269, align 8, !tbaa !37
  call void (ptr, i32, ptr, ...) @qh_fprintf(ptr noundef %277, i32 noundef 6275, ptr noundef nonnull @.str.121, i32 noundef %279, i32 noundef %280) #3
  %.pre391 = load i32, ptr getelementptr inbounds (i8, ptr @qh_qh, i64 2784), align 8, !tbaa !52
  br label %281

281:                                              ; preds = %276, %270
  %282 = phi i32 [ %.pre391, %276 ], [ %274, %270 ]
  %.2216 = phi ptr [ %271, %276 ], [ %.1215360, %270 ]
  %.2211 = phi ptr [ %.1215360, %276 ], [ %.1210361, %270 ]
  store i32 %282, ptr %272, align 8, !tbaa !53
  %283 = getelementptr inbounds i8, ptr %271, i64 64
  %284 = load ptr, ptr %283, align 8, !tbaa !40
  %285 = call i32 @qh_setin(ptr noundef %284, ptr noundef nonnull %.2208370) #3
  %.not279 = icmp eq i32 %285, 0
  br i1 %.not279, label %286, label %291

286:                                              ; preds = %281
  %287 = load ptr, ptr getelementptr inbounds (i8, ptr @qh_qh, i64 2424), align 8, !tbaa !14
  %288 = getelementptr inbounds i8, ptr %271, i64 108
  %289 = load i32, ptr %288, align 4, !tbaa !15
  %290 = load i32, ptr %269, align 8, !tbaa !37
  call void (ptr, i32, ptr, ...) @qh_fprintf(ptr noundef %287, i32 noundef 6276, ptr noundef nonnull @.str.122, i32 noundef %289, i32 noundef %290, i32 noundef %290, i32 noundef %289) #3
  br label %291

291:                                              ; preds = %286, %281
  %.3217 = phi ptr [ %.2216, %281 ], [ %271, %286 ]
  %.3212 = phi ptr [ %.2211, %281 ], [ %.2216, %286 ]
  %.0225 = getelementptr inbounds i8, ptr %.0225362, i64 8
  %292 = load ptr, ptr %.0225, align 8, !tbaa !41
  %.not278 = icmp eq ptr %292, null
  br i1 %.not278, label %.loopexit324, label %270, !llvm.loop !54

.loopexit324:                                     ; preds = %291, %.preheader323, %263, %259
  %.4218 = phi ptr [ %.0214368, %259 ], [ %.0214368, %263 ], [ %.0214368, %.preheader323 ], [ %.3217, %291 ]
  %.4213 = phi ptr [ %.0209369, %259 ], [ %.0209369, %263 ], [ %.0209369, %.preheader323 ], [ %.3212, %291 ]
  %.2208 = load ptr, ptr %.2208370, align 8, !tbaa !41
  %.not263 = icmp eq ptr %.2208, null
  br i1 %.not263, label %.critedge21, label %.lr.ph371, !llvm.loop !55

.critedge21:                                      ; preds = %.lr.ph371, %.loopexit324, %256
  %.0214.lcssa = phi ptr [ null, %256 ], [ %.4218, %.loopexit324 ], [ %.0214368, %.lr.ph371 ]
  %.0209.lcssa = phi ptr [ null, %256 ], [ %.4213, %.loopexit324 ], [ %.0209369, %.lr.ph371 ]
  br i1 %.not249, label %.critedge23, label %.preheader322

.preheader322:                                    ; preds = %.critedge21, %.loopexit
  %.5387 = phi ptr [ %.8, %.loopexit ], [ %.0209.lcssa, %.critedge21 ]
  %.5219386 = phi ptr [ %.8222, %.loopexit ], [ %.0214.lcssa, %.critedge21 ]
  %.3229385 = phi ptr [ %316, %.loopexit ], [ %0, %.critedge21 ]
  %293 = getelementptr inbounds i8, ptr %.3229385, i64 56
  %294 = load ptr, ptr %293, align 8, !tbaa !20
  %.not266 = icmp eq ptr %294, null
  br i1 %.not266, label %.critedge23, label %295

295:                                              ; preds = %.preheader322
  %296 = getelementptr inbounds i8, ptr %.3229385, i64 112
  %297 = load i32, ptr %296, align 8
  %298 = and i32 %297, 2048
  %.not271 = icmp eq i32 %298, 0
  br i1 %.not271, label %299, label %.loopexit

299:                                              ; preds = %295
  %300 = getelementptr inbounds i8, ptr %.3229385, i64 64
  %301 = load ptr, ptr %300, align 8, !tbaa !40
  %.not272 = icmp eq ptr %301, null
  br i1 %.not272, label %.loopexit, label %.preheader

.preheader:                                       ; preds = %299
  %.1205377 = getelementptr inbounds i8, ptr %301, i64 8
  %302 = load ptr, ptr %.1205377, align 8, !tbaa !41
  %.not273378 = icmp eq ptr %302, null
  br i1 %.not273378, label %.loopexit, label %.lr.ph382

.lr.ph382:                                        ; preds = %.preheader
  %303 = getelementptr inbounds i8, ptr %.3229385, i64 108
  br label %304

304:                                              ; preds = %.lr.ph382, %314
  %305 = phi ptr [ %302, %.lr.ph382 ], [ %315, %314 ]
  %.1205381 = phi ptr [ %.1205377, %.lr.ph382 ], [ %.1205, %314 ]
  %.6380 = phi ptr [ %.5387, %.lr.ph382 ], [ %.7, %314 ]
  %.6220379 = phi ptr [ %.5219386, %.lr.ph382 ], [ %.7221, %314 ]
  %306 = getelementptr inbounds i8, ptr %305, i64 24
  %307 = load ptr, ptr %306, align 8, !tbaa !49
  %308 = call i32 @qh_setin(ptr noundef %307, ptr noundef nonnull %.3229385) #3
  %.not274 = icmp eq i32 %308, 0
  br i1 %.not274, label %309, label %314

309:                                              ; preds = %304
  %310 = load ptr, ptr getelementptr inbounds (i8, ptr @qh_qh, i64 2424), align 8, !tbaa !14
  %311 = getelementptr inbounds i8, ptr %305, i64 32
  %312 = load i32, ptr %311, align 8, !tbaa !37
  %313 = load i32, ptr %303, align 4, !tbaa !15
  call void (ptr, i32, ptr, ...) @qh_fprintf(ptr noundef %310, i32 noundef 6277, ptr noundef nonnull @.str.123, i32 noundef %312, i32 noundef %313, i32 noundef %313, i32 noundef %312) #3
  br label %314

314:                                              ; preds = %309, %304
  %.7221 = phi ptr [ %.6220379, %304 ], [ %.3229385, %309 ]
  %.7 = phi ptr [ %.6380, %304 ], [ %.6220379, %309 ]
  %.1205 = getelementptr inbounds i8, ptr %.1205381, i64 8
  %315 = load ptr, ptr %.1205, align 8, !tbaa !41
  %.not273 = icmp eq ptr %315, null
  br i1 %.not273, label %.loopexit.loopexit, label %304, !llvm.loop !56

.loopexit.loopexit:                               ; preds = %314
  %.pre392 = load ptr, ptr %293, align 8, !tbaa !20
  br label %.loopexit

.loopexit:                                        ; preds = %.loopexit.loopexit, %.preheader, %295, %299
  %316 = phi ptr [ %294, %295 ], [ %294, %299 ], [ %294, %.preheader ], [ %.pre392, %.loopexit.loopexit ]
  %.8222 = phi ptr [ %.5219386, %295 ], [ %.5219386, %299 ], [ %.5219386, %.preheader ], [ %.7221, %.loopexit.loopexit ]
  %.8 = phi ptr [ %.5387, %295 ], [ %.5387, %299 ], [ %.5387, %.preheader ], [ %.7, %.loopexit.loopexit ]
  %.not265 = icmp eq ptr %316, null
  br i1 %.not265, label %.critedge23, label %.preheader322, !llvm.loop !57

.critedge23:                                      ; preds = %.preheader322, %.loopexit, %.critedge19, %.critedge21, %219
  %.9223 = phi ptr [ %.0214.lcssa, %.critedge21 ], [ null, %.critedge19 ], [ null, %219 ], [ %.8222, %.loopexit ], [ %.5219386, %.preheader322 ]
  %.9 = phi ptr [ %.0209.lcssa, %.critedge21 ], [ null, %.critedge19 ], [ null, %219 ], [ %.8, %.loopexit ], [ %.5387, %.preheader322 ]
  %317 = load i32, ptr getelementptr inbounds (i8, ptr @qh_qh, i64 2572), align 4, !tbaa !58
  %318 = load ptr, ptr getelementptr inbounds (i8, ptr @qh_qh, i64 2840), align 8, !tbaa !59
  %319 = call i32 @qh_setsize(ptr noundef %318) #3
  %320 = sub nsw i32 %317, %319
  %.not267 = icmp eq i32 %.4, %320
  br i1 %.not267, label %327, label %321

321:                                              ; preds = %.critedge23
  %322 = load ptr, ptr getelementptr inbounds (i8, ptr @qh_qh, i64 2424), align 8, !tbaa !14
  %323 = load i32, ptr getelementptr inbounds (i8, ptr @qh_qh, i64 2572), align 4, !tbaa !58
  %324 = load ptr, ptr getelementptr inbounds (i8, ptr @qh_qh, i64 2840), align 8, !tbaa !59
  %325 = call i32 @qh_setsize(ptr noundef %324) #3
  %326 = sub nsw i32 %323, %325
  call void (ptr, i32, ptr, ...) @qh_fprintf(ptr noundef %322, i32 noundef 6142, ptr noundef nonnull @.str.124, i32 noundef %.4, i32 noundef %326) #3
  store i32 1, ptr %2, align 4, !tbaa !5
  br label %327

327:                                              ; preds = %321, %.critedge23
  %328 = load i32, ptr getelementptr inbounds (i8, ptr @qh_qh, i64 632), align 8, !tbaa !39
  %329 = icmp ne i32 %328, 2
  %.not268 = icmp eq i32 %.4, %.2202
  %or.cond314 = select i1 %329, i1 true, i1 %.not268
  br i1 %or.cond314, label %332, label %330

330:                                              ; preds = %327
  %331 = load ptr, ptr getelementptr inbounds (i8, ptr @qh_qh, i64 2424), align 8, !tbaa !14
  call void (ptr, i32, ptr, ...) @qh_fprintf(ptr noundef %331, i32 noundef 6143, ptr noundef nonnull @.str.125, i32 noundef %.4, i32 noundef %.2202) #3
  store i32 1, ptr %2, align 4, !tbaa !5
  %.pr = load i32, ptr getelementptr inbounds (i8, ptr @qh_qh, i64 632), align 8, !tbaa !39
  br label %332

332:                                              ; preds = %330, %327
  %333 = phi i32 [ %.pr, %330 ], [ %328, %327 ]
  %334 = icmp eq i32 %333, 3
  br i1 %334, label %335, label %340

335:                                              ; preds = %332
  %336 = add nsw i32 %.4, %.2202
  %337 = sub i32 %336, %.3195
  %.not269 = icmp eq i32 %337, 2
  br i1 %.not269, label %340, label %338

338:                                              ; preds = %335
  %339 = load ptr, ptr getelementptr inbounds (i8, ptr @qh_qh, i64 2424), align 8, !tbaa !14
  call void (ptr, i32, ptr, ...) @qh_fprintf(ptr noundef %339, i32 noundef 7063, ptr noundef nonnull @.str.126, i32 noundef %.4, i32 noundef %.2202, i32 noundef %.3195) #3
  br label %340

340:                                              ; preds = %332, %335, %338, %.critedge15
  %.10224 = phi ptr [ %.9223, %338 ], [ %.9223, %335 ], [ %.9223, %332 ], [ null, %.critedge15 ]
  %.10 = phi ptr [ %.9, %338 ], [ %.9, %335 ], [ %.9, %332 ], [ null, %.critedge15 ]
  %341 = load i32, ptr %2, align 4, !tbaa !5
  %.not270 = icmp eq i32 %341, 0
  br i1 %.not270, label %343, label %342

342:                                              ; preds = %340
  call void @qh_errexit2(i32 noundef 5, ptr noundef %.10224, ptr noundef %.10) #3
  br label %343

343:                                              ; preds = %342, %340
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %2) #3
  ret void
}

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

declare void @qh_setcheck(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) local_unnamed_addr #2

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

; Function Attrs: nounwind uwtable
declare dso_local void @qh_checkvertex(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, !12, i64 2984, !6, i64 2992}
!11 = !{!"double", !7, i64 0}
!12 = !{!"any pointer", !7, i64 0}
!13 = !{!"long", !7, i64 0}
!14 = !{!10, !12, i64 2424}
!15 = !{!16, !6, i64 108}
!16 = !{!"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}
!17 = !{!10, !6, i64 2708}
!18 = !{!10, !6, i64 2568}
!19 = !{!10, !12, i64 2456}
!20 = !{!16, !12, i64 56}
!21 = !{!10, !12, i64 2488}
!22 = !{!10, !12, i64 2480}
!23 = !{!16, !12, i64 88}
!24 = !{!10, !6, i64 1912}
!25 = !{!16, !11, i64 0}
!26 = !{!10, !11, i64 24}
!27 = !{!10, !12, i64 2472}
!28 = !{!16, !12, i64 80}
!29 = !{!7, !7, i64 0}
!30 = !{!16, !12, i64 72}
!31 = distinct !{!31, !32}
!32 = !{!"llvm.loop.mustprogress"}
!33 = !{!34, !12, i64 0}
!34 = !{!"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}
!35 = !{!10, !12, i64 2560}
!36 = !{!34, !6, i64 36}
!37 = !{!34, !6, i64 32}
!38 = distinct !{!38, !32}
!39 = !{!10, !6, i64 632}
!40 = !{!16, !12, i64 64}
!41 = !{!12, !12, i64 0}
!42 = !{!34, !12, i64 16}
!43 = !{!10, !12, i64 648}
!44 = distinct !{!44, !32}
!45 = distinct !{!45, !32}
!46 = !{!10, !6, i64 2788}
!47 = !{!10, !6, i64 2496}
!48 = !{!10, !6, i64 1720}
!49 = !{!34, !12, i64 24}
!50 = distinct !{!50, !32}
!51 = distinct !{!51, !32}
!52 = !{!10, !6, i64 2784}
!53 = !{!16, !6, i64 104}
!54 = distinct !{!54, !32}
!55 = distinct !{!55, !32}
!56 = distinct !{!56, !32}
!57 = distinct !{!57, !32}
!58 = !{!10, !6, i64 2572}
!59 = !{!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