; LLVM IR from osmart/hole2 :: src/retired_routines (surface)

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

@culled_tri_count = external dso_local global i32, align 4
@smooth = external dso_local global i32, align 4
@dots = external dso_local global [30000 x [7 x double]], align 16
@culled_tri = external dso_local global [30000 x [6 x i32]], align 16
@stdout = external global ptr, align 8
@.str.72 = external hidden unnamed_addr constant [62 x i8], align 1
@.str.73 = external hidden unnamed_addr constant [81 x i8], align 1
@.str.74 = external hidden unnamed_addr constant [118 x i8], align 1
@.str.75 = external hidden unnamed_addr constant [118 x i8], align 1
@.str.76 = external hidden unnamed_addr constant [118 x i8], align 1
@.str.77 = external hidden unnamed_addr constant [9 x i8], align 1
@.str.78 = external hidden unnamed_addr constant [75 x i8], align 1
@.str.79 = external hidden unnamed_addr constant [75 x i8], align 1
@.str.80 = external hidden unnamed_addr constant [75 x i8], align 1
@.str.81 = external hidden unnamed_addr constant [48 x i8], align 1
@.str.82 = external hidden unnamed_addr constant [31 x i8], align 1
@.str.83 = external hidden unnamed_addr constant [51 x i8], align 1
@.str.84 = external hidden unnamed_addr constant [51 x i8], align 1
@.str.85 = external hidden unnamed_addr constant [51 x i8], align 1
@.str.86 = external hidden unnamed_addr constant [3 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

; Function Attrs: nounwind
declare i32 @fprintf(ptr noundef, ptr noundef, ...) #1

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

; Function Attrs: nounwind uwtable
declare dso_local i32 @vertex_normals() #2

; Function Attrs: nounwind uwtable
define dso_local void @povray_out() #2 {
  %1 = alloca i32, align 4
  call void @llvm.lifetime.start.p0(i64 4, ptr %1) #3
  %2 = load ptr, ptr @stdout, align 8, !tbaa !5
  %3 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %2, ptr noundef @.str.72) #3
  %4 = load ptr, ptr @stdout, align 8, !tbaa !5
  %5 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %4, ptr noundef @.str.73) #3
  %6 = load ptr, ptr @stdout, align 8, !tbaa !5
  %7 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %6, ptr noundef @.str.74) #3
  %8 = load ptr, ptr @stdout, align 8, !tbaa !5
  %9 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %8, ptr noundef @.str.75) #3
  %10 = load ptr, ptr @stdout, align 8, !tbaa !5
  %11 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %10, ptr noundef @.str.76) #3
  %12 = load ptr, ptr @stdout, align 8, !tbaa !5
  %13 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %12, ptr noundef @.str.77) #3
  %14 = load i32, ptr @smooth, align 4, !tbaa !9
  switch i32 %14, label %821 [
    i32 0, label %15
    i32 1, label %290
  ]

15:                                               ; preds = %0
  store i32 0, ptr %1, align 4, !tbaa !9
  br label %16

16:                                               ; preds = %286, %15
  %17 = load i32, ptr %1, align 4, !tbaa !9
  %18 = load i32, ptr @culled_tri_count, align 4, !tbaa !9
  %19 = icmp slt i32 %17, %18
  br i1 %19, label %20, label %289

20:                                               ; preds = %16
  %21 = load i32, ptr %1, align 4, !tbaa !9
  %22 = sext i32 %21 to i64
  %23 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %22
  %24 = getelementptr inbounds [6 x i32], ptr %23, i64 0, i64 3
  %25 = load i32, ptr %24, align 4, !tbaa !9
  %26 = icmp eq i32 %25, 3
  br i1 %26, label %27, label %111

27:                                               ; preds = %20
  %28 = load ptr, ptr @stdout, align 8, !tbaa !5
  %29 = load i32, ptr %1, align 4, !tbaa !9
  %30 = sext i32 %29 to i64
  %31 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %30
  %32 = getelementptr inbounds [6 x i32], ptr %31, i64 0, i64 0
  %33 = load i32, ptr %32, align 8, !tbaa !9
  %34 = sext i32 %33 to i64
  %35 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %34
  %36 = getelementptr inbounds [7 x double], ptr %35, i64 0, i64 0
  %37 = load double, ptr %36, align 8, !tbaa !11
  %38 = load i32, ptr %1, align 4, !tbaa !9
  %39 = sext i32 %38 to i64
  %40 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %39
  %41 = getelementptr inbounds [6 x i32], ptr %40, i64 0, i64 0
  %42 = load i32, ptr %41, align 8, !tbaa !9
  %43 = sext i32 %42 to i64
  %44 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %43
  %45 = getelementptr inbounds [7 x double], ptr %44, i64 0, i64 1
  %46 = load double, ptr %45, align 8, !tbaa !11
  %47 = load i32, ptr %1, align 4, !tbaa !9
  %48 = sext i32 %47 to i64
  %49 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %48
  %50 = getelementptr inbounds [6 x i32], ptr %49, i64 0, i64 0
  %51 = load i32, ptr %50, align 8, !tbaa !9
  %52 = sext i32 %51 to i64
  %53 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %52
  %54 = getelementptr inbounds [7 x double], ptr %53, i64 0, i64 2
  %55 = load double, ptr %54, align 8, !tbaa !11
  %56 = load i32, ptr %1, align 4, !tbaa !9
  %57 = sext i32 %56 to i64
  %58 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %57
  %59 = getelementptr inbounds [6 x i32], ptr %58, i64 0, i64 1
  %60 = load i32, ptr %59, align 4, !tbaa !9
  %61 = sext i32 %60 to i64
  %62 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %61
  %63 = getelementptr inbounds [7 x double], ptr %62, i64 0, i64 0
  %64 = load double, ptr %63, align 8, !tbaa !11
  %65 = load i32, ptr %1, align 4, !tbaa !9
  %66 = sext i32 %65 to i64
  %67 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %66
  %68 = getelementptr inbounds [6 x i32], ptr %67, i64 0, i64 1
  %69 = load i32, ptr %68, align 4, !tbaa !9
  %70 = sext i32 %69 to i64
  %71 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %70
  %72 = getelementptr inbounds [7 x double], ptr %71, i64 0, i64 1
  %73 = load double, ptr %72, align 8, !tbaa !11
  %74 = load i32, ptr %1, align 4, !tbaa !9
  %75 = sext i32 %74 to i64
  %76 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %75
  %77 = getelementptr inbounds [6 x i32], ptr %76, i64 0, i64 1
  %78 = load i32, ptr %77, align 4, !tbaa !9
  %79 = sext i32 %78 to i64
  %80 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %79
  %81 = getelementptr inbounds [7 x double], ptr %80, i64 0, i64 2
  %82 = load double, ptr %81, align 8, !tbaa !11
  %83 = load i32, ptr %1, align 4, !tbaa !9
  %84 = sext i32 %83 to i64
  %85 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %84
  %86 = getelementptr inbounds [6 x i32], ptr %85, i64 0, i64 2
  %87 = load i32, ptr %86, align 8, !tbaa !9
  %88 = sext i32 %87 to i64
  %89 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %88
  %90 = getelementptr inbounds [7 x double], ptr %89, i64 0, i64 0
  %91 = load double, ptr %90, align 8, !tbaa !11
  %92 = load i32, ptr %1, align 4, !tbaa !9
  %93 = sext i32 %92 to i64
  %94 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %93
  %95 = getelementptr inbounds [6 x i32], ptr %94, i64 0, i64 2
  %96 = load i32, ptr %95, align 8, !tbaa !9
  %97 = sext i32 %96 to i64
  %98 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %97
  %99 = getelementptr inbounds [7 x double], ptr %98, i64 0, i64 1
  %100 = load double, ptr %99, align 8, !tbaa !11
  %101 = load i32, ptr %1, align 4, !tbaa !9
  %102 = sext i32 %101 to i64
  %103 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %102
  %104 = getelementptr inbounds [6 x i32], ptr %103, i64 0, i64 2
  %105 = load i32, ptr %104, align 8, !tbaa !9
  %106 = sext i32 %105 to i64
  %107 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %106
  %108 = getelementptr inbounds [7 x double], ptr %107, i64 0, i64 2
  %109 = load double, ptr %108, align 8, !tbaa !11
  %110 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %28, ptr noundef @.str.78, double noundef %37, double noundef %46, double noundef %55, double noundef %64, double noundef %73, double noundef %82, double noundef %91, double noundef %100, double noundef %109) #3
  br label %286

111:                                              ; preds = %20
  %112 = load i32, ptr %1, align 4, !tbaa !9
  %113 = sext i32 %112 to i64
  %114 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %113
  %115 = getelementptr inbounds [6 x i32], ptr %114, i64 0, i64 3
  %116 = load i32, ptr %115, align 4, !tbaa !9
  %117 = icmp eq i32 %116, 7
  br i1 %117, label %118, label %202

118:                                              ; preds = %111
  %119 = load ptr, ptr @stdout, align 8, !tbaa !5
  %120 = load i32, ptr %1, align 4, !tbaa !9
  %121 = sext i32 %120 to i64
  %122 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %121
  %123 = getelementptr inbounds [6 x i32], ptr %122, i64 0, i64 0
  %124 = load i32, ptr %123, align 8, !tbaa !9
  %125 = sext i32 %124 to i64
  %126 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %125
  %127 = getelementptr inbounds [7 x double], ptr %126, i64 0, i64 0
  %128 = load double, ptr %127, align 8, !tbaa !11
  %129 = load i32, ptr %1, align 4, !tbaa !9
  %130 = sext i32 %129 to i64
  %131 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %130
  %132 = getelementptr inbounds [6 x i32], ptr %131, i64 0, i64 0
  %133 = load i32, ptr %132, align 8, !tbaa !9
  %134 = sext i32 %133 to i64
  %135 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %134
  %136 = getelementptr inbounds [7 x double], ptr %135, i64 0, i64 1
  %137 = load double, ptr %136, align 8, !tbaa !11
  %138 = load i32, ptr %1, align 4, !tbaa !9
  %139 = sext i32 %138 to i64
  %140 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %139
  %141 = getelementptr inbounds [6 x i32], ptr %140, i64 0, i64 0
  %142 = load i32, ptr %141, align 8, !tbaa !9
  %143 = sext i32 %142 to i64
  %144 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %143
  %145 = getelementptr inbounds [7 x double], ptr %144, i64 0, i64 2
  %146 = load double, ptr %145, align 8, !tbaa !11
  %147 = load i32, ptr %1, align 4, !tbaa !9
  %148 = sext i32 %147 to i64
  %149 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %148
  %150 = getelementptr inbounds [6 x i32], ptr %149, i64 0, i64 1
  %151 = load i32, ptr %150, align 4, !tbaa !9
  %152 = sext i32 %151 to i64
  %153 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %152
  %154 = getelementptr inbounds [7 x double], ptr %153, i64 0, i64 0
  %155 = load double, ptr %154, align 8, !tbaa !11
  %156 = load i32, ptr %1, align 4, !tbaa !9
  %157 = sext i32 %156 to i64
  %158 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %157
  %159 = getelementptr inbounds [6 x i32], ptr %158, i64 0, i64 1
  %160 = load i32, ptr %159, align 4, !tbaa !9
  %161 = sext i32 %160 to i64
  %162 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %161
  %163 = getelementptr inbounds [7 x double], ptr %162, i64 0, i64 1
  %164 = load double, ptr %163, align 8, !tbaa !11
  %165 = load i32, ptr %1, align 4, !tbaa !9
  %166 = sext i32 %165 to i64
  %167 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %166
  %168 = getelementptr inbounds [6 x i32], ptr %167, i64 0, i64 1
  %169 = load i32, ptr %168, align 4, !tbaa !9
  %170 = sext i32 %169 to i64
  %171 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %170
  %172 = getelementptr inbounds [7 x double], ptr %171, i64 0, i64 2
  %173 = load double, ptr %172, align 8, !tbaa !11
  %174 = load i32, ptr %1, align 4, !tbaa !9
  %175 = sext i32 %174 to i64
  %176 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %175
  %177 = getelementptr inbounds [6 x i32], ptr %176, i64 0, i64 2
  %178 = load i32, ptr %177, align 8, !tbaa !9
  %179 = sext i32 %178 to i64
  %180 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %179
  %181 = getelementptr inbounds [7 x double], ptr %180, i64 0, i64 0
  %182 = load double, ptr %181, align 8, !tbaa !11
  %183 = load i32, ptr %1, align 4, !tbaa !9
  %184 = sext i32 %183 to i64
  %185 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %184
  %186 = getelementptr inbounds [6 x i32], ptr %185, i64 0, i64 2
  %187 = load i32, ptr %186, align 8, !tbaa !9
  %188 = sext i32 %187 to i64
  %189 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %188
  %190 = getelementptr inbounds [7 x double], ptr %189, i64 0, i64 1
  %191 = load double, ptr %190, align 8, !tbaa !11
  %192 = load i32, ptr %1, align 4, !tbaa !9
  %193 = sext i32 %192 to i64
  %194 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %193
  %195 = getelementptr inbounds [6 x i32], ptr %194, i64 0, i64 2
  %196 = load i32, ptr %195, align 8, !tbaa !9
  %197 = sext i32 %196 to i64
  %198 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %197
  %199 = getelementptr inbounds [7 x double], ptr %198, i64 0, i64 2
  %200 = load double, ptr %199, align 8, !tbaa !11
  %201 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %119, ptr noundef @.str.79, double noundef %128, double noundef %137, double noundef %146, double noundef %155, double noundef %164, double noundef %173, double noundef %182, double noundef %191, double noundef %200) #3
  br label %286

202:                                              ; preds = %111
  %203 = load ptr, ptr @stdout, align 8, !tbaa !5
  %204 = load i32, ptr %1, align 4, !tbaa !9
  %205 = sext i32 %204 to i64
  %206 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %205
  %207 = getelementptr inbounds [6 x i32], ptr %206, i64 0, i64 0
  %208 = load i32, ptr %207, align 8, !tbaa !9
  %209 = sext i32 %208 to i64
  %210 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %209
  %211 = getelementptr inbounds [7 x double], ptr %210, i64 0, i64 0
  %212 = load double, ptr %211, align 8, !tbaa !11
  %213 = load i32, ptr %1, align 4, !tbaa !9
  %214 = sext i32 %213 to i64
  %215 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %214
  %216 = getelementptr inbounds [6 x i32], ptr %215, i64 0, i64 0
  %217 = load i32, ptr %216, align 8, !tbaa !9
  %218 = sext i32 %217 to i64
  %219 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %218
  %220 = getelementptr inbounds [7 x double], ptr %219, i64 0, i64 1
  %221 = load double, ptr %220, align 8, !tbaa !11
  %222 = load i32, ptr %1, align 4, !tbaa !9
  %223 = sext i32 %222 to i64
  %224 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %223
  %225 = getelementptr inbounds [6 x i32], ptr %224, i64 0, i64 0
  %226 = load i32, ptr %225, align 8, !tbaa !9
  %227 = sext i32 %226 to i64
  %228 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %227
  %229 = getelementptr inbounds [7 x double], ptr %228, i64 0, i64 2
  %230 = load double, ptr %229, align 8, !tbaa !11
  %231 = load i32, ptr %1, align 4, !tbaa !9
  %232 = sext i32 %231 to i64
  %233 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %232
  %234 = getelementptr inbounds [6 x i32], ptr %233, i64 0, i64 1
  %235 = load i32, ptr %234, align 4, !tbaa !9
  %236 = sext i32 %235 to i64
  %237 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %236
  %238 = getelementptr inbounds [7 x double], ptr %237, i64 0, i64 0
  %239 = load double, ptr %238, align 8, !tbaa !11
  %240 = load i32, ptr %1, align 4, !tbaa !9
  %241 = sext i32 %240 to i64
  %242 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %241
  %243 = getelementptr inbounds [6 x i32], ptr %242, i64 0, i64 1
  %244 = load i32, ptr %243, align 4, !tbaa !9
  %245 = sext i32 %244 to i64
  %246 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %245
  %247 = getelementptr inbounds [7 x double], ptr %246, i64 0, i64 1
  %248 = load double, ptr %247, align 8, !tbaa !11
  %249 = load i32, ptr %1, align 4, !tbaa !9
  %250 = sext i32 %249 to i64
  %251 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %250
  %252 = getelementptr inbounds [6 x i32], ptr %251, i64 0, i64 1
  %253 = load i32, ptr %252, align 4, !tbaa !9
  %254 = sext i32 %253 to i64
  %255 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %254
  %256 = getelementptr inbounds [7 x double], ptr %255, i64 0, i64 2
  %257 = load double, ptr %256, align 8, !tbaa !11
  %258 = load i32, ptr %1, align 4, !tbaa !9
  %259 = sext i32 %258 to i64
  %260 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %259
  %261 = getelementptr inbounds [6 x i32], ptr %260, i64 0, i64 2
  %262 = load i32, ptr %261, align 8, !tbaa !9
  %263 = sext i32 %262 to i64
  %264 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %263
  %265 = getelementptr inbounds [7 x double], ptr %264, i64 0, i64 0
  %266 = load double, ptr %265, align 8, !tbaa !11
  %267 = load i32, ptr %1, align 4, !tbaa !9
  %268 = sext i32 %267 to i64
  %269 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %268
  %270 = getelementptr inbounds [6 x i32], ptr %269, i64 0, i64 2
  %271 = load i32, ptr %270, align 8, !tbaa !9
  %272 = sext i32 %271 to i64
  %273 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %272
  %274 = getelementptr inbounds [7 x double], ptr %273, i64 0, i64 1
  %275 = load double, ptr %274, align 8, !tbaa !11
  %276 = load i32, ptr %1, align 4, !tbaa !9
  %277 = sext i32 %276 to i64
  %278 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %277
  %279 = getelementptr inbounds [6 x i32], ptr %278, i64 0, i64 2
  %280 = load i32, ptr %279, align 8, !tbaa !9
  %281 = sext i32 %280 to i64
  %282 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %281
  %283 = getelementptr inbounds [7 x double], ptr %282, i64 0, i64 2
  %284 = load double, ptr %283, align 8, !tbaa !11
  %285 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %203, ptr noundef @.str.80, double noundef %212, double noundef %221, double noundef %230, double noundef %239, double noundef %248, double noundef %257, double noundef %266, double noundef %275, double noundef %284) #3
  br label %286

286:                                              ; preds = %202, %118, %27
  %287 = load i32, ptr %1, align 4, !tbaa !9
  %288 = add nsw i32 %287, 1
  store i32 %288, ptr %1, align 4, !tbaa !9
  br label %16, !llvm.loop !13

289:                                              ; preds = %16
  br label %821

290:                                              ; preds = %0
  %291 = call i32 @vertex_normals()
  store i32 0, ptr %1, align 4, !tbaa !9
  br label %292

292:                                              ; preds = %817, %290
  %293 = load i32, ptr %1, align 4, !tbaa !9
  %294 = load i32, ptr @culled_tri_count, align 4, !tbaa !9
  %295 = icmp slt i32 %293, %294
  br i1 %295, label %296, label %820

296:                                              ; preds = %292
  %297 = load i32, ptr %1, align 4, !tbaa !9
  %298 = sext i32 %297 to i64
  %299 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %298
  %300 = getelementptr inbounds [6 x i32], ptr %299, i64 0, i64 3
  %301 = load i32, ptr %300, align 4, !tbaa !9
  %302 = icmp eq i32 %301, 3
  br i1 %302, label %303, label %472

303:                                              ; preds = %296
  %304 = load ptr, ptr @stdout, align 8, !tbaa !5
  %305 = load i32, ptr %1, align 4, !tbaa !9
  %306 = sext i32 %305 to i64
  %307 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %306
  %308 = getelementptr inbounds [6 x i32], ptr %307, i64 0, i64 0
  %309 = load i32, ptr %308, align 8, !tbaa !9
  %310 = sext i32 %309 to i64
  %311 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %310
  %312 = getelementptr inbounds [7 x double], ptr %311, i64 0, i64 0
  %313 = load double, ptr %312, align 8, !tbaa !11
  %314 = load i32, ptr %1, align 4, !tbaa !9
  %315 = sext i32 %314 to i64
  %316 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %315
  %317 = getelementptr inbounds [6 x i32], ptr %316, i64 0, i64 0
  %318 = load i32, ptr %317, align 8, !tbaa !9
  %319 = sext i32 %318 to i64
  %320 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %319
  %321 = getelementptr inbounds [7 x double], ptr %320, i64 0, i64 1
  %322 = load double, ptr %321, align 8, !tbaa !11
  %323 = load i32, ptr %1, align 4, !tbaa !9
  %324 = sext i32 %323 to i64
  %325 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %324
  %326 = getelementptr inbounds [6 x i32], ptr %325, i64 0, i64 0
  %327 = load i32, ptr %326, align 8, !tbaa !9
  %328 = sext i32 %327 to i64
  %329 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %328
  %330 = getelementptr inbounds [7 x double], ptr %329, i64 0, i64 2
  %331 = load double, ptr %330, align 8, !tbaa !11
  %332 = load i32, ptr %1, align 4, !tbaa !9
  %333 = sext i32 %332 to i64
  %334 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %333
  %335 = getelementptr inbounds [6 x i32], ptr %334, i64 0, i64 0
  %336 = load i32, ptr %335, align 8, !tbaa !9
  %337 = sext i32 %336 to i64
  %338 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %337
  %339 = getelementptr inbounds [7 x double], ptr %338, i64 0, i64 4
  %340 = load double, ptr %339, align 8, !tbaa !11
  %341 = load i32, ptr %1, align 4, !tbaa !9
  %342 = sext i32 %341 to i64
  %343 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %342
  %344 = getelementptr inbounds [6 x i32], ptr %343, i64 0, i64 0
  %345 = load i32, ptr %344, align 8, !tbaa !9
  %346 = sext i32 %345 to i64
  %347 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %346
  %348 = getelementptr inbounds [7 x double], ptr %347, i64 0, i64 5
  %349 = load double, ptr %348, align 8, !tbaa !11
  %350 = load i32, ptr %1, align 4, !tbaa !9
  %351 = sext i32 %350 to i64
  %352 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %351
  %353 = getelementptr inbounds [6 x i32], ptr %352, i64 0, i64 0
  %354 = load i32, ptr %353, align 8, !tbaa !9
  %355 = sext i32 %354 to i64
  %356 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %355
  %357 = getelementptr inbounds [7 x double], ptr %356, i64 0, i64 6
  %358 = load double, ptr %357, align 8, !tbaa !11
  %359 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %304, ptr noundef @.str.81, double noundef %313, double noundef %322, double noundef %331, double noundef %340, double noundef %349, double noundef %358) #3
  %360 = load ptr, ptr @stdout, align 8, !tbaa !5
  %361 = load i32, ptr %1, align 4, !tbaa !9
  %362 = sext i32 %361 to i64
  %363 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %362
  %364 = getelementptr inbounds [6 x i32], ptr %363, i64 0, i64 1
  %365 = load i32, ptr %364, align 4, !tbaa !9
  %366 = sext i32 %365 to i64
  %367 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %366
  %368 = getelementptr inbounds [7 x double], ptr %367, i64 0, i64 0
  %369 = load double, ptr %368, align 8, !tbaa !11
  %370 = load i32, ptr %1, align 4, !tbaa !9
  %371 = sext i32 %370 to i64
  %372 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %371
  %373 = getelementptr inbounds [6 x i32], ptr %372, i64 0, i64 1
  %374 = load i32, ptr %373, align 4, !tbaa !9
  %375 = sext i32 %374 to i64
  %376 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %375
  %377 = getelementptr inbounds [7 x double], ptr %376, i64 0, i64 1
  %378 = load double, ptr %377, align 8, !tbaa !11
  %379 = load i32, ptr %1, align 4, !tbaa !9
  %380 = sext i32 %379 to i64
  %381 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %380
  %382 = getelementptr inbounds [6 x i32], ptr %381, i64 0, i64 1
  %383 = load i32, ptr %382, align 4, !tbaa !9
  %384 = sext i32 %383 to i64
  %385 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %384
  %386 = getelementptr inbounds [7 x double], ptr %385, i64 0, i64 2
  %387 = load double, ptr %386, align 8, !tbaa !11
  %388 = load i32, ptr %1, align 4, !tbaa !9
  %389 = sext i32 %388 to i64
  %390 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %389
  %391 = getelementptr inbounds [6 x i32], ptr %390, i64 0, i64 1
  %392 = load i32, ptr %391, align 4, !tbaa !9
  %393 = sext i32 %392 to i64
  %394 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %393
  %395 = getelementptr inbounds [7 x double], ptr %394, i64 0, i64 4
  %396 = load double, ptr %395, align 8, !tbaa !11
  %397 = load i32, ptr %1, align 4, !tbaa !9
  %398 = sext i32 %397 to i64
  %399 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %398
  %400 = getelementptr inbounds [6 x i32], ptr %399, i64 0, i64 1
  %401 = load i32, ptr %400, align 4, !tbaa !9
  %402 = sext i32 %401 to i64
  %403 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %402
  %404 = getelementptr inbounds [7 x double], ptr %403, i64 0, i64 5
  %405 = load double, ptr %404, align 8, !tbaa !11
  %406 = load i32, ptr %1, align 4, !tbaa !9
  %407 = sext i32 %406 to i64
  %408 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %407
  %409 = getelementptr inbounds [6 x i32], ptr %408, i64 0, i64 1
  %410 = load i32, ptr %409, align 4, !tbaa !9
  %411 = sext i32 %410 to i64
  %412 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %411
  %413 = getelementptr inbounds [7 x double], ptr %412, i64 0, i64 6
  %414 = load double, ptr %413, align 8, !tbaa !11
  %415 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %360, ptr noundef @.str.82, double noundef %369, double noundef %378, double noundef %387, double noundef %396, double noundef %405, double noundef %414) #3
  %416 = load ptr, ptr @stdout, align 8, !tbaa !5
  %417 = load i32, ptr %1, align 4, !tbaa !9
  %418 = sext i32 %417 to i64
  %419 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %418
  %420 = getelementptr inbounds [6 x i32], ptr %419, i64 0, i64 2
  %421 = load i32, ptr %420, align 8, !tbaa !9
  %422 = sext i32 %421 to i64
  %423 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %422
  %424 = getelementptr inbounds [7 x double], ptr %423, i64 0, i64 0
  %425 = load double, ptr %424, align 8, !tbaa !11
  %426 = load i32, ptr %1, align 4, !tbaa !9
  %427 = sext i32 %426 to i64
  %428 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %427
  %429 = getelementptr inbounds [6 x i32], ptr %428, i64 0, i64 2
  %430 = load i32, ptr %429, align 8, !tbaa !9
  %431 = sext i32 %430 to i64
  %432 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %431
  %433 = getelementptr inbounds [7 x double], ptr %432, i64 0, i64 1
  %434 = load double, ptr %433, align 8, !tbaa !11
  %435 = load i32, ptr %1, align 4, !tbaa !9
  %436 = sext i32 %435 to i64
  %437 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %436
  %438 = getelementptr inbounds [6 x i32], ptr %437, i64 0, i64 2
  %439 = load i32, ptr %438, align 8, !tbaa !9
  %440 = sext i32 %439 to i64
  %441 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %440
  %442 = getelementptr inbounds [7 x double], ptr %441, i64 0, i64 2
  %443 = load double, ptr %442, align 8, !tbaa !11
  %444 = load i32, ptr %1, align 4, !tbaa !9
  %445 = sext i32 %444 to i64
  %446 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %445
  %447 = getelementptr inbounds [6 x i32], ptr %446, i64 0, i64 2
  %448 = load i32, ptr %447, align 8, !tbaa !9
  %449 = sext i32 %448 to i64
  %450 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %449
  %451 = getelementptr inbounds [7 x double], ptr %450, i64 0, i64 4
  %452 = load double, ptr %451, align 8, !tbaa !11
  %453 = load i32, ptr %1, align 4, !tbaa !9
  %454 = sext i32 %453 to i64
  %455 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %454
  %456 = getelementptr inbounds [6 x i32], ptr %455, i64 0, i64 2
  %457 = load i32, ptr %456, align 8, !tbaa !9
  %458 = sext i32 %457 to i64
  %459 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %458
  %460 = getelementptr inbounds [7 x double], ptr %459, i64 0, i64 5
  %461 = load double, ptr %460, align 8, !tbaa !11
  %462 = load i32, ptr %1, align 4, !tbaa !9
  %463 = sext i32 %462 to i64
  %464 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %463
  %465 = getelementptr inbounds [6 x i32], ptr %464, i64 0, i64 2
  %466 = load i32, ptr %465, align 8, !tbaa !9
  %467 = sext i32 %466 to i64
  %468 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %467
  %469 = getelementptr inbounds [7 x double], ptr %468, i64 0, i64 6
  %470 = load double, ptr %469, align 8, !tbaa !11
  %471 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %416, ptr noundef @.str.83, double noundef %425, double noundef %434, double noundef %443, double noundef %452, double noundef %461, double noundef %470) #3
  br label %817

472:                                              ; preds = %296
  %473 = load i32, ptr %1, align 4, !tbaa !9
  %474 = sext i32 %473 to i64
  %475 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %474
  %476 = getelementptr inbounds [6 x i32], ptr %475, i64 0, i64 3
  %477 = load i32, ptr %476, align 4, !tbaa !9
  %478 = icmp eq i32 %477, 7
  br i1 %478, label %479, label %648

479:                                              ; preds = %472
  %480 = load ptr, ptr @stdout, align 8, !tbaa !5
  %481 = load i32, ptr %1, align 4, !tbaa !9
  %482 = sext i32 %481 to i64
  %483 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %482
  %484 = getelementptr inbounds [6 x i32], ptr %483, i64 0, i64 0
  %485 = load i32, ptr %484, align 8, !tbaa !9
  %486 = sext i32 %485 to i64
  %487 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %486
  %488 = getelementptr inbounds [7 x double], ptr %487, i64 0, i64 0
  %489 = load double, ptr %488, align 8, !tbaa !11
  %490 = load i32, ptr %1, align 4, !tbaa !9
  %491 = sext i32 %490 to i64
  %492 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %491
  %493 = getelementptr inbounds [6 x i32], ptr %492, i64 0, i64 0
  %494 = load i32, ptr %493, align 8, !tbaa !9
  %495 = sext i32 %494 to i64
  %496 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %495
  %497 = getelementptr inbounds [7 x double], ptr %496, i64 0, i64 1
  %498 = load double, ptr %497, align 8, !tbaa !11
  %499 = load i32, ptr %1, align 4, !tbaa !9
  %500 = sext i32 %499 to i64
  %501 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %500
  %502 = getelementptr inbounds [6 x i32], ptr %501, i64 0, i64 0
  %503 = load i32, ptr %502, align 8, !tbaa !9
  %504 = sext i32 %503 to i64
  %505 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %504
  %506 = getelementptr inbounds [7 x double], ptr %505, i64 0, i64 2
  %507 = load double, ptr %506, align 8, !tbaa !11
  %508 = load i32, ptr %1, align 4, !tbaa !9
  %509 = sext i32 %508 to i64
  %510 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %509
  %511 = getelementptr inbounds [6 x i32], ptr %510, i64 0, i64 0
  %512 = load i32, ptr %511, align 8, !tbaa !9
  %513 = sext i32 %512 to i64
  %514 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %513
  %515 = getelementptr inbounds [7 x double], ptr %514, i64 0, i64 4
  %516 = load double, ptr %515, align 8, !tbaa !11
  %517 = load i32, ptr %1, align 4, !tbaa !9
  %518 = sext i32 %517 to i64
  %519 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %518
  %520 = getelementptr inbounds [6 x i32], ptr %519, i64 0, i64 0
  %521 = load i32, ptr %520, align 8, !tbaa !9
  %522 = sext i32 %521 to i64
  %523 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %522
  %524 = getelementptr inbounds [7 x double], ptr %523, i64 0, i64 5
  %525 = load double, ptr %524, align 8, !tbaa !11
  %526 = load i32, ptr %1, align 4, !tbaa !9
  %527 = sext i32 %526 to i64
  %528 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %527
  %529 = getelementptr inbounds [6 x i32], ptr %528, i64 0, i64 0
  %530 = load i32, ptr %529, align 8, !tbaa !9
  %531 = sext i32 %530 to i64
  %532 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %531
  %533 = getelementptr inbounds [7 x double], ptr %532, i64 0, i64 6
  %534 = load double, ptr %533, align 8, !tbaa !11
  %535 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %480, ptr noundef @.str.81, double noundef %489, double noundef %498, double noundef %507, double noundef %516, double noundef %525, double noundef %534) #3
  %536 = load ptr, ptr @stdout, align 8, !tbaa !5
  %537 = load i32, ptr %1, align 4, !tbaa !9
  %538 = sext i32 %537 to i64
  %539 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %538
  %540 = getelementptr inbounds [6 x i32], ptr %539, i64 0, i64 1
  %541 = load i32, ptr %540, align 4, !tbaa !9
  %542 = sext i32 %541 to i64
  %543 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %542
  %544 = getelementptr inbounds [7 x double], ptr %543, i64 0, i64 0
  %545 = load double, ptr %544, align 8, !tbaa !11
  %546 = load i32, ptr %1, align 4, !tbaa !9
  %547 = sext i32 %546 to i64
  %548 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %547
  %549 = getelementptr inbounds [6 x i32], ptr %548, i64 0, i64 1
  %550 = load i32, ptr %549, align 4, !tbaa !9
  %551 = sext i32 %550 to i64
  %552 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %551
  %553 = getelementptr inbounds [7 x double], ptr %552, i64 0, i64 1
  %554 = load double, ptr %553, align 8, !tbaa !11
  %555 = load i32, ptr %1, align 4, !tbaa !9
  %556 = sext i32 %555 to i64
  %557 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %556
  %558 = getelementptr inbounds [6 x i32], ptr %557, i64 0, i64 1
  %559 = load i32, ptr %558, align 4, !tbaa !9
  %560 = sext i32 %559 to i64
  %561 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %560
  %562 = getelementptr inbounds [7 x double], ptr %561, i64 0, i64 2
  %563 = load double, ptr %562, align 8, !tbaa !11
  %564 = load i32, ptr %1, align 4, !tbaa !9
  %565 = sext i32 %564 to i64
  %566 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %565
  %567 = getelementptr inbounds [6 x i32], ptr %566, i64 0, i64 1
  %568 = load i32, ptr %567, align 4, !tbaa !9
  %569 = sext i32 %568 to i64
  %570 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %569
  %571 = getelementptr inbounds [7 x double], ptr %570, i64 0, i64 4
  %572 = load double, ptr %571, align 8, !tbaa !11
  %573 = load i32, ptr %1, align 4, !tbaa !9
  %574 = sext i32 %573 to i64
  %575 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %574
  %576 = getelementptr inbounds [6 x i32], ptr %575, i64 0, i64 1
  %577 = load i32, ptr %576, align 4, !tbaa !9
  %578 = sext i32 %577 to i64
  %579 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %578
  %580 = getelementptr inbounds [7 x double], ptr %579, i64 0, i64 5
  %581 = load double, ptr %580, align 8, !tbaa !11
  %582 = load i32, ptr %1, align 4, !tbaa !9
  %583 = sext i32 %582 to i64
  %584 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %583
  %585 = getelementptr inbounds [6 x i32], ptr %584, i64 0, i64 1
  %586 = load i32, ptr %585, align 4, !tbaa !9
  %587 = sext i32 %586 to i64
  %588 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %587
  %589 = getelementptr inbounds [7 x double], ptr %588, i64 0, i64 6
  %590 = load double, ptr %589, align 8, !tbaa !11
  %591 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %536, ptr noundef @.str.82, double noundef %545, double noundef %554, double noundef %563, double noundef %572, double noundef %581, double noundef %590) #3
  %592 = load ptr, ptr @stdout, align 8, !tbaa !5
  %593 = load i32, ptr %1, align 4, !tbaa !9
  %594 = sext i32 %593 to i64
  %595 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %594
  %596 = getelementptr inbounds [6 x i32], ptr %595, i64 0, i64 2
  %597 = load i32, ptr %596, align 8, !tbaa !9
  %598 = sext i32 %597 to i64
  %599 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %598
  %600 = getelementptr inbounds [7 x double], ptr %599, i64 0, i64 0
  %601 = load double, ptr %600, align 8, !tbaa !11
  %602 = load i32, ptr %1, align 4, !tbaa !9
  %603 = sext i32 %602 to i64
  %604 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %603
  %605 = getelementptr inbounds [6 x i32], ptr %604, i64 0, i64 2
  %606 = load i32, ptr %605, align 8, !tbaa !9
  %607 = sext i32 %606 to i64
  %608 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %607
  %609 = getelementptr inbounds [7 x double], ptr %608, i64 0, i64 1
  %610 = load double, ptr %609, align 8, !tbaa !11
  %611 = load i32, ptr %1, align 4, !tbaa !9
  %612 = sext i32 %611 to i64
  %613 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %612
  %614 = getelementptr inbounds [6 x i32], ptr %613, i64 0, i64 2
  %615 = load i32, ptr %614, align 8, !tbaa !9
  %616 = sext i32 %615 to i64
  %617 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %616
  %618 = getelementptr inbounds [7 x double], ptr %617, i64 0, i64 2
  %619 = load double, ptr %618, align 8, !tbaa !11
  %620 = load i32, ptr %1, align 4, !tbaa !9
  %621 = sext i32 %620 to i64
  %622 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %621
  %623 = getelementptr inbounds [6 x i32], ptr %622, i64 0, i64 2
  %624 = load i32, ptr %623, align 8, !tbaa !9
  %625 = sext i32 %624 to i64
  %626 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %625
  %627 = getelementptr inbounds [7 x double], ptr %626, i64 0, i64 4
  %628 = load double, ptr %627, align 8, !tbaa !11
  %629 = load i32, ptr %1, align 4, !tbaa !9
  %630 = sext i32 %629 to i64
  %631 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %630
  %632 = getelementptr inbounds [6 x i32], ptr %631, i64 0, i64 2
  %633 = load i32, ptr %632, align 8, !tbaa !9
  %634 = sext i32 %633 to i64
  %635 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %634
  %636 = getelementptr inbounds [7 x double], ptr %635, i64 0, i64 5
  %637 = load double, ptr %636, align 8, !tbaa !11
  %638 = load i32, ptr %1, align 4, !tbaa !9
  %639 = sext i32 %638 to i64
  %640 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %639
  %641 = getelementptr inbounds [6 x i32], ptr %640, i64 0, i64 2
  %642 = load i32, ptr %641, align 8, !tbaa !9
  %643 = sext i32 %642 to i64
  %644 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %643
  %645 = getelementptr inbounds [7 x double], ptr %644, i64 0, i64 6
  %646 = load double, ptr %645, align 8, !tbaa !11
  %647 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %592, ptr noundef @.str.84, double noundef %601, double noundef %610, double noundef %619, double noundef %628, double noundef %637, double noundef %646) #3
  br label %817

648:                                              ; preds = %472
  %649 = load ptr, ptr @stdout, align 8, !tbaa !5
  %650 = load i32, ptr %1, align 4, !tbaa !9
  %651 = sext i32 %650 to i64
  %652 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %651
  %653 = getelementptr inbounds [6 x i32], ptr %652, i64 0, i64 0
  %654 = load i32, ptr %653, align 8, !tbaa !9
  %655 = sext i32 %654 to i64
  %656 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %655
  %657 = getelementptr inbounds [7 x double], ptr %656, i64 0, i64 0
  %658 = load double, ptr %657, align 8, !tbaa !11
  %659 = load i32, ptr %1, align 4, !tbaa !9
  %660 = sext i32 %659 to i64
  %661 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %660
  %662 = getelementptr inbounds [6 x i32], ptr %661, i64 0, i64 0
  %663 = load i32, ptr %662, align 8, !tbaa !9
  %664 = sext i32 %663 to i64
  %665 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %664
  %666 = getelementptr inbounds [7 x double], ptr %665, i64 0, i64 1
  %667 = load double, ptr %666, align 8, !tbaa !11
  %668 = load i32, ptr %1, align 4, !tbaa !9
  %669 = sext i32 %668 to i64
  %670 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %669
  %671 = getelementptr inbounds [6 x i32], ptr %670, i64 0, i64 0
  %672 = load i32, ptr %671, align 8, !tbaa !9
  %673 = sext i32 %672 to i64
  %674 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %673
  %675 = getelementptr inbounds [7 x double], ptr %674, i64 0, i64 2
  %676 = load double, ptr %675, align 8, !tbaa !11
  %677 = load i32, ptr %1, align 4, !tbaa !9
  %678 = sext i32 %677 to i64
  %679 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %678
  %680 = getelementptr inbounds [6 x i32], ptr %679, i64 0, i64 0
  %681 = load i32, ptr %680, align 8, !tbaa !9
  %682 = sext i32 %681 to i64
  %683 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %682
  %684 = getelementptr inbounds [7 x double], ptr %683, i64 0, i64 4
  %685 = load double, ptr %684, align 8, !tbaa !11
  %686 = load i32, ptr %1, align 4, !tbaa !9
  %687 = sext i32 %686 to i64
  %688 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %687
  %689 = getelementptr inbounds [6 x i32], ptr %688, i64 0, i64 0
  %690 = load i32, ptr %689, align 8, !tbaa !9
  %691 = sext i32 %690 to i64
  %692 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %691
  %693 = getelementptr inbounds [7 x double], ptr %692, i64 0, i64 5
  %694 = load double, ptr %693, align 8, !tbaa !11
  %695 = load i32, ptr %1, align 4, !tbaa !9
  %696 = sext i32 %695 to i64
  %697 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %696
  %698 = getelementptr inbounds [6 x i32], ptr %697, i64 0, i64 0
  %699 = load i32, ptr %698, align 8, !tbaa !9
  %700 = sext i32 %699 to i64
  %701 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %700
  %702 = getelementptr inbounds [7 x double], ptr %701, i64 0, i64 6
  %703 = load double, ptr %702, align 8, !tbaa !11
  %704 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %649, ptr noundef @.str.81, double noundef %658, double noundef %667, double noundef %676, double noundef %685, double noundef %694, double noundef %703) #3
  %705 = load ptr, ptr @stdout, align 8, !tbaa !5
  %706 = load i32, ptr %1, align 4, !tbaa !9
  %707 = sext i32 %706 to i64
  %708 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %707
  %709 = getelementptr inbounds [6 x i32], ptr %708, i64 0, i64 1
  %710 = load i32, ptr %709, align 4, !tbaa !9
  %711 = sext i32 %710 to i64
  %712 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %711
  %713 = getelementptr inbounds [7 x double], ptr %712, i64 0, i64 0
  %714 = load double, ptr %713, align 8, !tbaa !11
  %715 = load i32, ptr %1, align 4, !tbaa !9
  %716 = sext i32 %715 to i64
  %717 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %716
  %718 = getelementptr inbounds [6 x i32], ptr %717, i64 0, i64 1
  %719 = load i32, ptr %718, align 4, !tbaa !9
  %720 = sext i32 %719 to i64
  %721 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %720
  %722 = getelementptr inbounds [7 x double], ptr %721, i64 0, i64 1
  %723 = load double, ptr %722, align 8, !tbaa !11
  %724 = load i32, ptr %1, align 4, !tbaa !9
  %725 = sext i32 %724 to i64
  %726 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %725
  %727 = getelementptr inbounds [6 x i32], ptr %726, i64 0, i64 1
  %728 = load i32, ptr %727, align 4, !tbaa !9
  %729 = sext i32 %728 to i64
  %730 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %729
  %731 = getelementptr inbounds [7 x double], ptr %730, i64 0, i64 2
  %732 = load double, ptr %731, align 8, !tbaa !11
  %733 = load i32, ptr %1, align 4, !tbaa !9
  %734 = sext i32 %733 to i64
  %735 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %734
  %736 = getelementptr inbounds [6 x i32], ptr %735, i64 0, i64 1
  %737 = load i32, ptr %736, align 4, !tbaa !9
  %738 = sext i32 %737 to i64
  %739 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %738
  %740 = getelementptr inbounds [7 x double], ptr %739, i64 0, i64 4
  %741 = load double, ptr %740, align 8, !tbaa !11
  %742 = load i32, ptr %1, align 4, !tbaa !9
  %743 = sext i32 %742 to i64
  %744 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %743
  %745 = getelementptr inbounds [6 x i32], ptr %744, i64 0, i64 1
  %746 = load i32, ptr %745, align 4, !tbaa !9
  %747 = sext i32 %746 to i64
  %748 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %747
  %749 = getelementptr inbounds [7 x double], ptr %748, i64 0, i64 5
  %750 = load double, ptr %749, align 8, !tbaa !11
  %751 = load i32, ptr %1, align 4, !tbaa !9
  %752 = sext i32 %751 to i64
  %753 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %752
  %754 = getelementptr inbounds [6 x i32], ptr %753, i64 0, i64 1
  %755 = load i32, ptr %754, align 4, !tbaa !9
  %756 = sext i32 %755 to i64
  %757 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %756
  %758 = getelementptr inbounds [7 x double], ptr %757, i64 0, i64 6
  %759 = load double, ptr %758, align 8, !tbaa !11
  %760 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %705, ptr noundef @.str.82, double noundef %714, double noundef %723, double noundef %732, double noundef %741, double noundef %750, double noundef %759) #3
  %761 = load ptr, ptr @stdout, align 8, !tbaa !5
  %762 = load i32, ptr %1, align 4, !tbaa !9
  %763 = sext i32 %762 to i64
  %764 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %763
  %765 = getelementptr inbounds [6 x i32], ptr %764, i64 0, i64 2
  %766 = load i32, ptr %765, align 8, !tbaa !9
  %767 = sext i32 %766 to i64
  %768 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %767
  %769 = getelementptr inbounds [7 x double], ptr %768, i64 0, i64 0
  %770 = load double, ptr %769, align 8, !tbaa !11
  %771 = load i32, ptr %1, align 4, !tbaa !9
  %772 = sext i32 %771 to i64
  %773 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %772
  %774 = getelementptr inbounds [6 x i32], ptr %773, i64 0, i64 2
  %775 = load i32, ptr %774, align 8, !tbaa !9
  %776 = sext i32 %775 to i64
  %777 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %776
  %778 = getelementptr inbounds [7 x double], ptr %777, i64 0, i64 1
  %779 = load double, ptr %778, align 8, !tbaa !11
  %780 = load i32, ptr %1, align 4, !tbaa !9
  %781 = sext i32 %780 to i64
  %782 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %781
  %783 = getelementptr inbounds [6 x i32], ptr %782, i64 0, i64 2
  %784 = load i32, ptr %783, align 8, !tbaa !9
  %785 = sext i32 %784 to i64
  %786 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %785
  %787 = getelementptr inbounds [7 x double], ptr %786, i64 0, i64 2
  %788 = load double, ptr %787, align 8, !tbaa !11
  %789 = load i32, ptr %1, align 4, !tbaa !9
  %790 = sext i32 %789 to i64
  %791 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %790
  %792 = getelementptr inbounds [6 x i32], ptr %791, i64 0, i64 2
  %793 = load i32, ptr %792, align 8, !tbaa !9
  %794 = sext i32 %793 to i64
  %795 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %794
  %796 = getelementptr inbounds [7 x double], ptr %795, i64 0, i64 4
  %797 = load double, ptr %796, align 8, !tbaa !11
  %798 = load i32, ptr %1, align 4, !tbaa !9
  %799 = sext i32 %798 to i64
  %800 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %799
  %801 = getelementptr inbounds [6 x i32], ptr %800, i64 0, i64 2
  %802 = load i32, ptr %801, align 8, !tbaa !9
  %803 = sext i32 %802 to i64
  %804 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %803
  %805 = getelementptr inbounds [7 x double], ptr %804, i64 0, i64 5
  %806 = load double, ptr %805, align 8, !tbaa !11
  %807 = load i32, ptr %1, align 4, !tbaa !9
  %808 = sext i32 %807 to i64
  %809 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %808
  %810 = getelementptr inbounds [6 x i32], ptr %809, i64 0, i64 2
  %811 = load i32, ptr %810, align 8, !tbaa !9
  %812 = sext i32 %811 to i64
  %813 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %812
  %814 = getelementptr inbounds [7 x double], ptr %813, i64 0, i64 6
  %815 = load double, ptr %814, align 8, !tbaa !11
  %816 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %761, ptr noundef @.str.85, double noundef %770, double noundef %779, double noundef %788, double noundef %797, double noundef %806, double noundef %815) #3
  br label %817

817:                                              ; preds = %648, %479, %303
  %818 = load i32, ptr %1, align 4, !tbaa !9
  %819 = add nsw i32 %818, 1
  store i32 %819, ptr %1, align 4, !tbaa !9
  br label %292, !llvm.loop !15

820:                                              ; preds = %292
  br label %821

821:                                              ; preds = %820, %289, %0
  %822 = load ptr, ptr @stdout, align 8, !tbaa !5
  %823 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %822, ptr noundef @.str.86) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %1) #3
  ret void
}

attributes #0 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #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, !12, i64 0}
!12 = !{!"double", !7, i64 0}
!13 = distinct !{!13, !14}
!14 = !{!"llvm.loop.mustprogress"}
!15 = distinct !{!15, !14}


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

@culled_tri_count = external dso_local local_unnamed_addr global i32, align 4
@smooth = external dso_local local_unnamed_addr global i32, align 4
@dots = external dso_local local_unnamed_addr global [30000 x [7 x double]], align 16
@culled_tri = external dso_local local_unnamed_addr global [30000 x [6 x i32]], align 16
@stdout = external local_unnamed_addr global ptr, align 8
@.str.72 = external hidden unnamed_addr constant [62 x i8], align 1
@.str.73 = external hidden unnamed_addr constant [81 x i8], align 1
@.str.74 = external hidden unnamed_addr constant [118 x i8], align 1
@.str.75 = external hidden unnamed_addr constant [118 x i8], align 1
@.str.76 = external hidden unnamed_addr constant [118 x i8], align 1
@.str.77 = external hidden unnamed_addr constant [9 x i8], align 1
@.str.78 = external hidden unnamed_addr constant [75 x i8], align 1
@.str.79 = external hidden unnamed_addr constant [75 x i8], align 1
@.str.80 = external hidden unnamed_addr constant [75 x i8], align 1
@.str.81 = external hidden unnamed_addr constant [48 x i8], align 1
@.str.82 = external hidden unnamed_addr constant [31 x i8], align 1
@.str.83 = external hidden unnamed_addr constant [51 x i8], align 1
@.str.84 = external hidden unnamed_addr constant [51 x i8], align 1
@.str.85 = external hidden unnamed_addr constant [51 x i8], align 1
@.str.86 = external hidden unnamed_addr constant [3 x i8], align 1

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

; Function Attrs: nounwind uwtable
declare dso_local i32 @vertex_normals() local_unnamed_addr #1

; Function Attrs: nounwind uwtable
define dso_local void @povray_out() local_unnamed_addr #1 {
  %1 = load ptr, ptr @stdout, align 8, !tbaa !5
  %2 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %1, ptr noundef nonnull @.str.72) #2
  %3 = load ptr, ptr @stdout, align 8, !tbaa !5
  %4 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %3, ptr noundef nonnull @.str.73) #2
  %5 = load ptr, ptr @stdout, align 8, !tbaa !5
  %6 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %5, ptr noundef nonnull @.str.74) #2
  %7 = load ptr, ptr @stdout, align 8, !tbaa !5
  %8 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %7, ptr noundef nonnull @.str.75) #2
  %9 = load ptr, ptr @stdout, align 8, !tbaa !5
  %10 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %9, ptr noundef nonnull @.str.76) #2
  %11 = load ptr, ptr @stdout, align 8, !tbaa !5
  %12 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %11, ptr noundef nonnull @.str.77) #2
  %13 = load i32, ptr @smooth, align 4, !tbaa !9
  switch i32 %13, label %.loopexit [
    i32 0, label %.preheader
    i32 1, label %50
  ]

.preheader:                                       ; preds = %0
  %14 = load i32, ptr @culled_tri_count, align 4, !tbaa !9
  %15 = icmp sgt i32 %14, 0
  br i1 %15, label %.lr.ph94, label %.loopexit

.lr.ph94:                                         ; preds = %.preheader, %.lr.ph94
  %indvars.iv97 = phi i64 [ %indvars.iv.next98, %.lr.ph94 ], [ 0, %.preheader ]
  %16 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %indvars.iv97
  %17 = getelementptr inbounds i8, ptr %16, i64 12
  %18 = load i32, ptr %17, align 4, !tbaa !9
  %19 = load ptr, ptr @stdout, align 8, !tbaa !5
  %20 = load i32, ptr %16, align 8, !tbaa !9
  %21 = sext i32 %20 to i64
  %22 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %21
  %23 = load double, ptr %22, align 8, !tbaa !11
  %24 = getelementptr inbounds i8, ptr %22, i64 8
  %25 = load double, ptr %24, align 8, !tbaa !11
  %26 = getelementptr inbounds i8, ptr %22, i64 16
  %27 = load double, ptr %26, align 8, !tbaa !11
  %28 = getelementptr inbounds i8, ptr %16, i64 4
  %29 = load i32, ptr %28, align 4, !tbaa !9
  %30 = sext i32 %29 to i64
  %31 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %30
  %32 = load double, ptr %31, align 8, !tbaa !11
  %33 = getelementptr inbounds i8, ptr %31, i64 8
  %34 = load double, ptr %33, align 8, !tbaa !11
  %35 = getelementptr inbounds i8, ptr %31, i64 16
  %36 = load double, ptr %35, align 8, !tbaa !11
  %37 = getelementptr inbounds i8, ptr %16, i64 8
  %38 = load i32, ptr %37, align 8, !tbaa !9
  %39 = sext i32 %38 to i64
  %40 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %39
  %41 = load double, ptr %40, align 8, !tbaa !11
  %42 = getelementptr inbounds i8, ptr %40, i64 8
  %43 = load double, ptr %42, align 8, !tbaa !11
  %44 = getelementptr inbounds i8, ptr %40, i64 16
  %45 = load double, ptr %44, align 8, !tbaa !11
  %switch.selectcmp = icmp eq i32 %18, 7
  %switch.select = select i1 %switch.selectcmp, ptr @.str.79, ptr @.str.80
  %switch.selectcmp101 = icmp eq i32 %18, 3
  %switch.select102 = select i1 %switch.selectcmp101, ptr @.str.78, ptr %switch.select
  %46 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %19, ptr noundef nonnull %switch.select102, double noundef %23, double noundef %25, double noundef %27, double noundef %32, double noundef %34, double noundef %36, double noundef %41, double noundef %43, double noundef %45) #2
  %indvars.iv.next98 = add nuw nsw i64 %indvars.iv97, 1
  %47 = load i32, ptr @culled_tri_count, align 4, !tbaa !9
  %48 = sext i32 %47 to i64
  %49 = icmp slt i64 %indvars.iv.next98, %48
  br i1 %49, label %.lr.ph94, label %.loopexit, !llvm.loop !13

50:                                               ; preds = %0
  %51 = tail call i32 @vertex_normals()
  %52 = load i32, ptr @culled_tri_count, align 4, !tbaa !9
  %53 = icmp sgt i32 %52, 0
  br i1 %53, label %.lr.ph, label %.loopexit

.lr.ph:                                           ; preds = %50, %.lr.ph
  %indvars.iv = phi i64 [ %indvars.iv.next, %.lr.ph ], [ 0, %50 ]
  %54 = getelementptr inbounds [30000 x [6 x i32]], ptr @culled_tri, i64 0, i64 %indvars.iv
  %55 = getelementptr inbounds i8, ptr %54, i64 12
  %56 = load i32, ptr %55, align 4, !tbaa !9
  %57 = load ptr, ptr @stdout, align 8, !tbaa !5
  %58 = load i32, ptr %54, align 8, !tbaa !9
  %59 = sext i32 %58 to i64
  %60 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %59
  %61 = load double, ptr %60, align 8, !tbaa !11
  %62 = getelementptr inbounds i8, ptr %60, i64 8
  %63 = load double, ptr %62, align 8, !tbaa !11
  %64 = getelementptr inbounds i8, ptr %60, i64 16
  %65 = load double, ptr %64, align 8, !tbaa !11
  %66 = getelementptr inbounds i8, ptr %60, i64 32
  %67 = load double, ptr %66, align 8, !tbaa !11
  %68 = getelementptr inbounds i8, ptr %60, i64 40
  %69 = load double, ptr %68, align 8, !tbaa !11
  %70 = getelementptr inbounds i8, ptr %60, i64 48
  %71 = load double, ptr %70, align 8, !tbaa !11
  %72 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %57, ptr noundef nonnull @.str.81, double noundef %61, double noundef %63, double noundef %65, double noundef %67, double noundef %69, double noundef %71) #2
  %73 = load ptr, ptr @stdout, align 8, !tbaa !5
  %74 = getelementptr inbounds i8, ptr %54, i64 4
  %75 = load i32, ptr %74, align 4, !tbaa !9
  %76 = sext i32 %75 to i64
  %77 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %76
  %78 = load double, ptr %77, align 8, !tbaa !11
  %79 = getelementptr inbounds i8, ptr %77, i64 8
  %80 = load double, ptr %79, align 8, !tbaa !11
  %81 = getelementptr inbounds i8, ptr %77, i64 16
  %82 = load double, ptr %81, align 8, !tbaa !11
  %83 = getelementptr inbounds i8, ptr %77, i64 32
  %84 = load double, ptr %83, align 8, !tbaa !11
  %85 = getelementptr inbounds i8, ptr %77, i64 40
  %86 = load double, ptr %85, align 8, !tbaa !11
  %87 = getelementptr inbounds i8, ptr %77, i64 48
  %88 = load double, ptr %87, align 8, !tbaa !11
  %89 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %73, ptr noundef nonnull @.str.82, double noundef %78, double noundef %80, double noundef %82, double noundef %84, double noundef %86, double noundef %88) #2
  %90 = load ptr, ptr @stdout, align 8, !tbaa !5
  %91 = getelementptr inbounds i8, ptr %54, i64 8
  %92 = load i32, ptr %91, align 8, !tbaa !9
  %93 = sext i32 %92 to i64
  %94 = getelementptr inbounds [30000 x [7 x double]], ptr @dots, i64 0, i64 %93
  %95 = load double, ptr %94, align 8, !tbaa !11
  %96 = getelementptr inbounds i8, ptr %94, i64 8
  %97 = load double, ptr %96, align 8, !tbaa !11
  %98 = getelementptr inbounds i8, ptr %94, i64 16
  %99 = load double, ptr %98, align 8, !tbaa !11
  %100 = getelementptr inbounds i8, ptr %94, i64 32
  %101 = load double, ptr %100, align 8, !tbaa !11
  %102 = getelementptr inbounds i8, ptr %94, i64 40
  %103 = load double, ptr %102, align 8, !tbaa !11
  %104 = getelementptr inbounds i8, ptr %94, i64 48
  %105 = load double, ptr %104, align 8, !tbaa !11
  %switch.selectcmp103 = icmp eq i32 %56, 7
  %switch.select104 = select i1 %switch.selectcmp103, ptr @.str.84, ptr @.str.85
  %switch.selectcmp105 = icmp eq i32 %56, 3
  %switch.select106 = select i1 %switch.selectcmp105, ptr @.str.83, ptr %switch.select104
  %106 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %90, ptr noundef nonnull %switch.select106, double noundef %95, double noundef %97, double noundef %99, double noundef %101, double noundef %103, double noundef %105) #2
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %107 = load i32, ptr @culled_tri_count, align 4, !tbaa !9
  %108 = sext i32 %107 to i64
  %109 = icmp slt i64 %indvars.iv.next, %108
  br i1 %109, label %.lr.ph, label %.loopexit, !llvm.loop !15

.loopexit:                                        ; preds = %.lr.ph, %.lr.ph94, %50, %.preheader, %0
  %110 = load ptr, ptr @stdout, align 8, !tbaa !5
  %111 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %110, ptr noundef nonnull @.str.86) #2
  ret void
}

attributes #0 = { nofree nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #1 = { 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 #2 = { 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, !12, i64 0}
!12 = !{!"double", !7, i64 0}
!13 = distinct !{!13, !14}
!14 = !{!"llvm.loop.mustprogress"}
!15 = distinct !{!15, !14}


; Effective O3 passes: EarlyCSEPass,GlobalOptPass,IndVarSimplifyPass,InferFunctionAttrsPass,InstCombinePass,JumpThreadingPass,LoopRotatePass,LoopSimplifyPass,LoopUnrollPass,SROAPass,SimplifyCFGPass,TailCallElimPass