; LLVM IR from niessner/Matterport :: code/gaps/pkgs/R3Shapes/R3Mesh.ll (ZN6R3Mesh11ReadOffFileEPKc)

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

%class.RNArray = type { %class.RNVArray }
%class.RNVArray = type { ptr, i32, i32 }
%class.R3Point = type { [3 x double] }

@stderr = external global ptr, align 8
@.str.57 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.70 = external hidden unnamed_addr constant [24 x i8], align 1
@.str.71 = external hidden unnamed_addr constant [4 x i8], align 1
@.str.72 = external hidden unnamed_addr constant [9 x i8], align 1
@.str.73 = external hidden unnamed_addr constant [7 x i8], align 1
@.str.74 = external hidden unnamed_addr constant [51 x i8], align 1
@.str.75 = external hidden unnamed_addr constant [10 x i8], align 1
@.str.76 = external hidden unnamed_addr constant [60 x i8], align 1
@.str.77 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.78 = external hidden unnamed_addr constant [46 x i8], align 1
@.str.79 = external hidden unnamed_addr constant [49 x i8], align 1

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN7RNArrayIP12R3MeshVertexEC2Ev(ptr noundef nonnull align 8 dereferenceable(16)) unnamed_addr #0 align 2

declare i32 @__gxx_personality_v0(...)

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

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local noundef ptr @_ZNK6R3Mesh6VertexEi(ptr noundef nonnull align 8 dereferenceable(272), i32 noundef) #2 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(24) ptr @_ZNK6R3Mesh14VertexPositionEPK12R3MeshVertex(ptr noundef nonnull align 8 dereferenceable(272), ptr noundef) #3 align 2

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

declare void @_ZN7R3PointC1Eddd(ptr noundef nonnull align 8 dereferenceable(24), double noundef, double noundef, double noundef) unnamed_addr #4

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef i32 @_ZNK8RNVArray8NEntriesEv(ptr noundef nonnull align 8 dereferenceable(16)) #3 align 2

; Function Attrs: mustprogress uwtable
declare dso_local noundef ptr @_ZN7RNArrayIP12R3MeshVertexE6InsertES1_(ptr noundef nonnull align 8 dereferenceable(16), ptr noundef) #0 align 2

; Function Attrs: mustprogress uwtable
declare dso_local noundef ptr @_ZNK7RNArrayIP12R3MeshVertexE3KthEi(ptr noundef nonnull align 8 dereferenceable(16), i32 noundef) #0 align 2

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

declare void @_Z6RNFailPKcz(ptr noundef, ...) #4

declare noalias ptr @fopen(ptr noundef, ptr noundef) #4

declare ptr @fgets(ptr noundef, i32 noundef, ptr noundef) #4

; Function Attrs: nounwind willreturn memory(read)
declare i32 @isspace(i32 noundef) #6

; Function Attrs: nounwind
declare i32 @__isoc99_sscanf(ptr noundef, ptr noundef, ...) #5

; Function Attrs: inlinehint mustprogress nounwind willreturn memory(read) uwtable
declare i32 @atoi(ptr noundef nonnull) #7

declare i32 @fclose(ptr noundef) #4

; Function Attrs: nounwind
declare void @_ZN8RNVArrayD2Ev(ptr noundef nonnull align 8 dereferenceable(16)) unnamed_addr #5

; Function Attrs: mustprogress uwtable
define dso_local noundef i32 @_ZN6R3Mesh11ReadOffFileEPKc(ptr noundef nonnull align 8 dereferenceable(272) %0, ptr noundef %1) unnamed_addr #0 align 2 personality ptr @__gxx_personality_v0 {
  %3 = alloca i32, align 4
  %4 = alloca ptr, align 8
  %5 = alloca ptr, align 8
  %6 = alloca ptr, align 8
  %7 = alloca i32, align 4
  %8 = alloca i32, align 4
  %9 = alloca i32, align 4
  %10 = alloca i32, align 4
  %11 = alloca i32, align 4
  %12 = alloca i32, align 4
  %13 = alloca i32, align 4
  %14 = alloca [1024 x i8], align 16
  %15 = alloca [64 x i8], align 16
  %16 = alloca %class.RNArray, align 8
  %17 = alloca ptr, align 8
  %18 = alloca i32, align 4
  %19 = alloca ptr, align 8
  %20 = alloca i32, align 4
  %21 = alloca double, align 8
  %22 = alloca double, align 8
  %23 = alloca double, align 8
  %24 = alloca %class.R3Point, align 8
  %25 = alloca i32, align 4
  %26 = alloca ptr, align 8
  %27 = alloca ptr, align 8
  %28 = alloca ptr, align 8
  %29 = alloca i32, align 4
  %30 = alloca ptr, align 8
  %31 = alloca i32, align 4
  %32 = alloca ptr, align 8
  %33 = alloca ptr, align 8
  %34 = alloca ptr, align 8
  %35 = alloca ptr, align 8
  %36 = alloca ptr, align 8
  %37 = alloca ptr, align 8
  store ptr %0, ptr %4, align 8, !tbaa !5
  store ptr %1, ptr %5, align 8, !tbaa !5
  %38 = load ptr, ptr %4, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %6) #8
  %39 = load ptr, ptr %5, align 8, !tbaa !5
  %40 = call noalias ptr @fopen(ptr noundef %39, ptr noundef @.str.57)
  store ptr %40, ptr %6, align 8, !tbaa !5
  %41 = icmp ne ptr %40, null
  br i1 %41, label %46, label %42

42:                                               ; preds = %2
  %43 = load ptr, ptr @stderr, align 8, !tbaa !5
  %44 = load ptr, ptr %5, align 8, !tbaa !5
  %45 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %43, ptr noundef @.str.70, ptr noundef %44) #8
  store i32 0, ptr %3, align 4
  store i32 1, ptr %7, align 4
  br label %403

46:                                               ; preds = %2
  call void @llvm.lifetime.start.p0(i64 4, ptr %8) #8
  store i32 0, ptr %8, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %9) #8
  store i32 0, ptr %9, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %10) #8
  store i32 0, ptr %10, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %11) #8
  store i32 0, ptr %11, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %12) #8
  store i32 0, ptr %12, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %13) #8
  store i32 0, ptr %13, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 1024, ptr %14) #8
  call void @llvm.lifetime.start.p0(i64 64, ptr %15) #8
  call void @llvm.lifetime.start.p0(i64 16, ptr %16) #8
  call void @_ZN7RNArrayIP12R3MeshVertexEC2Ev(ptr noundef nonnull align 8 dereferenceable(16) %16)
  br label %47

47:                                               ; preds = %283, %281, %46
  %48 = getelementptr inbounds [1024 x i8], ptr %14, i64 0, i64 0
  %49 = load ptr, ptr %6, align 8, !tbaa !5
  %50 = invoke ptr @fgets(ptr noundef %48, i32 noundef 1023, ptr noundef %49)
          to label %51 unwind label %66

51:                                               ; preds = %47
  %52 = icmp ne ptr %50, null
  br i1 %52, label %53, label %285

53:                                               ; preds = %51
  %54 = load i32, ptr %11, align 4, !tbaa !9
  %55 = add nsw i32 %54, 1
  store i32 %55, ptr %11, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %19) #8
  %56 = getelementptr inbounds [1024 x i8], ptr %14, i64 0, i64 0
  store ptr %56, ptr %19, align 8, !tbaa !5
  br label %57

57:                                               ; preds = %63, %53
  %58 = load ptr, ptr %19, align 8, !tbaa !5
  %59 = load i8, ptr %58, align 1, !tbaa !11
  %60 = sext i8 %59 to i32
  %61 = call i32 @isspace(i32 noundef %60) #9
  %62 = icmp ne i32 %61, 0
  br i1 %62, label %63, label %70

63:                                               ; preds = %57
  %64 = load ptr, ptr %19, align 8, !tbaa !5
  %65 = getelementptr inbounds i8, ptr %64, i32 1
  store ptr %65, ptr %19, align 8, !tbaa !5
  br label %57, !llvm.loop !12

66:                                               ; preds = %397, %47
  %67 = landingpad { ptr, i32 }
          cleanup
  %68 = extractvalue { ptr, i32 } %67, 0
  store ptr %68, ptr %17, align 8
  %69 = extractvalue { ptr, i32 } %67, 1
  store i32 %69, ptr %18, align 4
  br label %402

70:                                               ; preds = %57
  %71 = load ptr, ptr %19, align 8, !tbaa !5
  %72 = load i8, ptr %71, align 1, !tbaa !11
  %73 = sext i8 %72 to i32
  %74 = icmp eq i32 %73, 35
  br i1 %74, label %75, label %76

75:                                               ; preds = %70
  store i32 2, ptr %7, align 4
  br label %281, !llvm.loop !14

76:                                               ; preds = %70
  %77 = load ptr, ptr %19, align 8, !tbaa !5
  %78 = load i8, ptr %77, align 1, !tbaa !11
  %79 = sext i8 %78 to i32
  %80 = icmp eq i32 %79, 0
  br i1 %80, label %81, label %82

81:                                               ; preds = %76
  store i32 2, ptr %7, align 4
  br label %281, !llvm.loop !14

82:                                               ; preds = %76
  %83 = load i32, ptr %8, align 4, !tbaa !9
  %84 = icmp eq i32 %83, 0
  br i1 %84, label %85, label %117

85:                                               ; preds = %82
  %86 = load ptr, ptr %19, align 8, !tbaa !5
  %87 = call noundef ptr @strstr(ptr noundef %86, ptr noundef @.str.71) #9
  %88 = icmp ne ptr %87, null
  br i1 %88, label %89, label %97

89:                                               ; preds = %85
  call void @llvm.lifetime.start.p0(i64 4, ptr %20) #8
  %90 = load ptr, ptr %19, align 8, !tbaa !5
  %91 = getelementptr inbounds [64 x i8], ptr %15, i64 0, i64 0
  %92 = call i32 (ptr, ptr, ...) @__isoc99_sscanf(ptr noundef %90, ptr noundef @.str.72, ptr noundef %91, ptr noundef %20, ptr noundef %9, ptr noundef %10) #8
  %93 = icmp eq i32 %92, 4
  br i1 %93, label %94, label %96

94:                                               ; preds = %89
  %95 = load i32, ptr %20, align 4, !tbaa !9
  store i32 %95, ptr %8, align 4, !tbaa !9
  br label %96

96:                                               ; preds = %94, %89
  call void @llvm.lifetime.end.p0(i64 4, ptr %20) #8
  br label %116

97:                                               ; preds = %85
  %98 = load ptr, ptr %19, align 8, !tbaa !5
  %99 = call i32 (ptr, ptr, ...) @__isoc99_sscanf(ptr noundef %98, ptr noundef @.str.73, ptr noundef %8, ptr noundef %9, ptr noundef %10) #8
  %100 = icmp ne i32 %99, 3
  br i1 %100, label %104, label %101

101:                                              ; preds = %97
  %102 = load i32, ptr %8, align 4, !tbaa !9
  %103 = icmp eq i32 %102, 0
  br i1 %103, label %104, label %115

104:                                              ; preds = %101, %97
  %105 = load i32, ptr %11, align 4, !tbaa !9
  %106 = load ptr, ptr %5, align 8, !tbaa !5
  invoke void (ptr, ...) @_Z6RNFailPKcz(ptr noundef @.str.74, i32 noundef %105, ptr noundef %106)
          to label %107 unwind label %111

107:                                              ; preds = %104
  %108 = load ptr, ptr %6, align 8, !tbaa !5
  %109 = invoke i32 @fclose(ptr noundef %108)
          to label %110 unwind label %111

110:                                              ; preds = %107
  store i32 0, ptr %3, align 4
  store i32 1, ptr %7, align 4
  br label %281

111:                                              ; preds = %274, %107, %104
  %112 = landingpad { ptr, i32 }
          cleanup
  %113 = extractvalue { ptr, i32 } %112, 0
  store ptr %113, ptr %17, align 8
  %114 = extractvalue { ptr, i32 } %112, 1
  store i32 %114, ptr %18, align 4
  br label %284

115:                                              ; preds = %101
  br label %116

116:                                              ; preds = %115, %96
  br label %280

117:                                              ; preds = %82
  %118 = load i32, ptr %12, align 4, !tbaa !9
  %119 = load i32, ptr %8, align 4, !tbaa !9
  %120 = icmp slt i32 %118, %119
  br i1 %120, label %121, label %156

121:                                              ; preds = %117
  call void @llvm.lifetime.start.p0(i64 8, ptr %21) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr %22) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr %23) #8
  %122 = load ptr, ptr %19, align 8, !tbaa !5
  %123 = call i32 (ptr, ptr, ...) @__isoc99_sscanf(ptr noundef %122, ptr noundef @.str.75, ptr noundef %21, ptr noundef %22, ptr noundef %23) #8
  %124 = icmp ne i32 %123, 3
  br i1 %124, label %125, label %136

125:                                              ; preds = %121
  %126 = load i32, ptr %11, align 4, !tbaa !9
  %127 = load ptr, ptr %5, align 8, !tbaa !5
  invoke void (ptr, ...) @_Z6RNFailPKcz(ptr noundef @.str.76, i32 noundef %126, ptr noundef %127)
          to label %128 unwind label %132

128:                                              ; preds = %125
  %129 = load ptr, ptr %6, align 8, !tbaa !5
  %130 = invoke i32 @fclose(ptr noundef %129)
          to label %131 unwind label %132

131:                                              ; preds = %128
  store i32 0, ptr %3, align 4
  store i32 1, ptr %7, align 4
  br label %148

132:                                              ; preds = %128, %125
  %133 = landingpad { ptr, i32 }
          cleanup
  %134 = extractvalue { ptr, i32 } %133, 0
  store ptr %134, ptr %17, align 8
  %135 = extractvalue { ptr, i32 } %133, 1
  store i32 %135, ptr %18, align 4
  br label %155

136:                                              ; preds = %121
  call void @llvm.lifetime.start.p0(i64 24, ptr %24) #8
  %137 = load double, ptr %21, align 8, !tbaa !15
  %138 = load double, ptr %22, align 8, !tbaa !15
  %139 = load double, ptr %23, align 8, !tbaa !15
  invoke void @_ZN7R3PointC1Eddd(ptr noundef nonnull align 8 dereferenceable(24) %24, double noundef %137, double noundef %138, double noundef %139)
          to label %140 unwind label %151

140:                                              ; preds = %136
  %141 = load ptr, ptr %38, align 8, !tbaa !17
  %142 = getelementptr inbounds ptr, ptr %141, i64 4
  %143 = load ptr, ptr %142, align 8
  %144 = invoke noundef ptr %143(ptr noundef nonnull align 8 dereferenceable(272) %38, ptr noundef nonnull align 8 dereferenceable(24) %24, ptr noundef null)
          to label %145 unwind label %151

145:                                              ; preds = %140
  call void @llvm.lifetime.end.p0(i64 24, ptr %24) #8
  %146 = load i32, ptr %12, align 4, !tbaa !9
  %147 = add nsw i32 %146, 1
  store i32 %147, ptr %12, align 4, !tbaa !9
  store i32 0, ptr %7, align 4
  br label %148

148:                                              ; preds = %145, %131
  call void @llvm.lifetime.end.p0(i64 8, ptr %23) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %22) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %21) #8
  %149 = load i32, ptr %7, align 4
  switch i32 %149, label %281 [
    i32 0, label %150
  ]

150:                                              ; preds = %148
  br label %279

151:                                              ; preds = %140, %136
  %152 = landingpad { ptr, i32 }
          cleanup
  %153 = extractvalue { ptr, i32 } %152, 0
  store ptr %153, ptr %17, align 8
  %154 = extractvalue { ptr, i32 } %152, 1
  store i32 %154, ptr %18, align 4
  call void @llvm.lifetime.end.p0(i64 24, ptr %24) #8
  br label %155

155:                                              ; preds = %151, %132
  call void @llvm.lifetime.end.p0(i64 8, ptr %23) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %22) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %21) #8
  br label %284

156:                                              ; preds = %117
  %157 = load i32, ptr %13, align 4, !tbaa !9
  %158 = load i32, ptr %9, align 4, !tbaa !9
  %159 = icmp slt i32 %157, %158
  br i1 %159, label %160, label %274

160:                                              ; preds = %156
  call void @llvm.lifetime.start.p0(i64 4, ptr %25) #8
  store i32 0, ptr %25, align 4, !tbaa !9
  %161 = load ptr, ptr %19, align 8, !tbaa !5
  %162 = call ptr @strtok(ptr noundef %161, ptr noundef @.str.77) #8
  store ptr %162, ptr %19, align 8, !tbaa !5
  %163 = load ptr, ptr %19, align 8, !tbaa !5
  %164 = icmp ne ptr %163, null
  br i1 %164, label %165, label %168

165:                                              ; preds = %160
  %166 = load ptr, ptr %19, align 8, !tbaa !5
  %167 = call i32 @atoi(ptr noundef %166) #9
  store i32 %167, ptr %25, align 4, !tbaa !9
  br label %179

168:                                              ; preds = %160
  %169 = load i32, ptr %11, align 4, !tbaa !9
  %170 = load ptr, ptr %5, align 8, !tbaa !5
  invoke void (ptr, ...) @_Z6RNFailPKcz(ptr noundef @.str.78, i32 noundef %169, ptr noundef %170)
          to label %171 unwind label %175

171:                                              ; preds = %168
  %172 = load ptr, ptr %6, align 8, !tbaa !5
  %173 = invoke i32 @fclose(ptr noundef %172)
          to label %174 unwind label %175

174:                                              ; preds = %171
  store i32 0, ptr %3, align 4
  store i32 1, ptr %7, align 4
  br label %270

175:                                              ; preds = %171, %168
  %176 = landingpad { ptr, i32 }
          cleanup
  %177 = extractvalue { ptr, i32 } %176, 0
  store ptr %177, ptr %17, align 8
  %178 = extractvalue { ptr, i32 } %176, 1
  store i32 %178, ptr %18, align 4
  br label %273

179:                                              ; preds = %165
  call void @llvm.lifetime.start.p0(i64 8, ptr %26) #8
  store ptr null, ptr %26, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %27) #8
  store ptr null, ptr %27, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %28) #8
  store ptr null, ptr %28, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %29) #8
  store i32 0, ptr %29, align 4, !tbaa !9
  br label %180

180:                                              ; preds = %260, %179
  %181 = load i32, ptr %29, align 4, !tbaa !9
  %182 = load i32, ptr %25, align 4, !tbaa !9
  %183 = icmp slt i32 %181, %182
  br i1 %183, label %185, label %184

184:                                              ; preds = %180
  store i32 6, ptr %7, align 4
  br label %263

185:                                              ; preds = %180
  %186 = call ptr @strtok(ptr noundef null, ptr noundef @.str.77) #8
  store ptr %186, ptr %19, align 8, !tbaa !5
  %187 = load ptr, ptr %19, align 8, !tbaa !5
  %188 = icmp ne ptr %187, null
  br i1 %188, label %189, label %205

189:                                              ; preds = %185
  call void @llvm.lifetime.start.p0(i64 8, ptr %30) #8
  %190 = load ptr, ptr %19, align 8, !tbaa !5
  %191 = call i32 @atoi(ptr noundef %190) #9
  %192 = invoke noundef ptr @_ZNK6R3Mesh6VertexEi(ptr noundef nonnull align 8 dereferenceable(272) %38, i32 noundef %191)
          to label %193 unwind label %198

193:                                              ; preds = %189
  store ptr %192, ptr %30, align 8, !tbaa !5
  %194 = load ptr, ptr %26, align 8, !tbaa !5
  %195 = icmp ne ptr %194, null
  br i1 %195, label %202, label %196

196:                                              ; preds = %193
  %197 = load ptr, ptr %30, align 8, !tbaa !5
  store ptr %197, ptr %26, align 8, !tbaa !5
  br label %204

198:                                              ; preds = %189
  %199 = landingpad { ptr, i32 }
          cleanup
  %200 = extractvalue { ptr, i32 } %199, 0
  store ptr %200, ptr %17, align 8
  %201 = extractvalue { ptr, i32 } %199, 1
  store i32 %201, ptr %18, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %30) #8
  br label %265

202:                                              ; preds = %193
  %203 = load ptr, ptr %30, align 8, !tbaa !5
  store ptr %203, ptr %28, align 8, !tbaa !5
  br label %204

204:                                              ; preds = %202, %196
  call void @llvm.lifetime.end.p0(i64 8, ptr %30) #8
  br label %216

205:                                              ; preds = %185
  %206 = load i32, ptr %11, align 4, !tbaa !9
  %207 = load ptr, ptr %5, align 8, !tbaa !5
  invoke void (ptr, ...) @_Z6RNFailPKcz(ptr noundef @.str.78, i32 noundef %206, ptr noundef %207)
          to label %208 unwind label %212

208:                                              ; preds = %205
  %209 = load ptr, ptr %6, align 8, !tbaa !5
  %210 = invoke i32 @fclose(ptr noundef %209)
          to label %211 unwind label %212

211:                                              ; preds = %208
  store i32 0, ptr %3, align 4
  store i32 1, ptr %7, align 4
  br label %263

212:                                              ; preds = %253, %250, %247, %237, %208, %205
  %213 = landingpad { ptr, i32 }
          cleanup
  %214 = extractvalue { ptr, i32 } %213, 0
  store ptr %214, ptr %17, align 8
  %215 = extractvalue { ptr, i32 } %213, 1
  store i32 %215, ptr %18, align 4
  br label %265

216:                                              ; preds = %204
  %217 = load ptr, ptr %26, align 8, !tbaa !5
  %218 = icmp ne ptr %217, null
  br i1 %218, label %219, label %258

219:                                              ; preds = %216
  %220 = load ptr, ptr %27, align 8, !tbaa !5
  %221 = icmp ne ptr %220, null
  br i1 %221, label %222, label %258

222:                                              ; preds = %219
  %223 = load ptr, ptr %28, align 8, !tbaa !5
  %224 = icmp ne ptr %223, null
  br i1 %224, label %225, label %258

225:                                              ; preds = %222
  %226 = load ptr, ptr %26, align 8, !tbaa !5
  %227 = load ptr, ptr %27, align 8, !tbaa !5
  %228 = icmp ne ptr %226, %227
  br i1 %228, label %229, label %258

229:                                              ; preds = %225
  %230 = load ptr, ptr %27, align 8, !tbaa !5
  %231 = load ptr, ptr %28, align 8, !tbaa !5
  %232 = icmp ne ptr %230, %231
  br i1 %232, label %233, label %258

233:                                              ; preds = %229
  %234 = load ptr, ptr %26, align 8, !tbaa !5
  %235 = load ptr, ptr %28, align 8, !tbaa !5
  %236 = icmp ne ptr %234, %235
  br i1 %236, label %237, label %258

237:                                              ; preds = %233
  %238 = load ptr, ptr %26, align 8, !tbaa !5
  %239 = load ptr, ptr %27, align 8, !tbaa !5
  %240 = load ptr, ptr %28, align 8, !tbaa !5
  %241 = load ptr, ptr %38, align 8, !tbaa !17
  %242 = getelementptr inbounds ptr, ptr %241, i64 9
  %243 = load ptr, ptr %242, align 8
  %244 = invoke noundef ptr %243(ptr noundef nonnull align 8 dereferenceable(272) %38, ptr noundef %238, ptr noundef %239, ptr noundef %240, ptr noundef null)
          to label %245 unwind label %212

245:                                              ; preds = %237
  %246 = icmp ne ptr %244, null
  br i1 %246, label %257, label %247

247:                                              ; preds = %245
  %248 = load ptr, ptr %26, align 8, !tbaa !5
  %249 = invoke noundef ptr @_ZN7RNArrayIP12R3MeshVertexE6InsertES1_(ptr noundef nonnull align 8 dereferenceable(16) %16, ptr noundef %248)
          to label %250 unwind label %212

250:                                              ; preds = %247
  %251 = load ptr, ptr %27, align 8, !tbaa !5
  %252 = invoke noundef ptr @_ZN7RNArrayIP12R3MeshVertexE6InsertES1_(ptr noundef nonnull align 8 dereferenceable(16) %16, ptr noundef %251)
          to label %253 unwind label %212

253:                                              ; preds = %250
  %254 = load ptr, ptr %28, align 8, !tbaa !5
  %255 = invoke noundef ptr @_ZN7RNArrayIP12R3MeshVertexE6InsertES1_(ptr noundef nonnull align 8 dereferenceable(16) %16, ptr noundef %254)
          to label %256 unwind label %212

256:                                              ; preds = %253
  br label %257

257:                                              ; preds = %256, %245
  br label %258

258:                                              ; preds = %257, %233, %229, %225, %222, %219, %216
  %259 = load ptr, ptr %28, align 8, !tbaa !5
  store ptr %259, ptr %27, align 8, !tbaa !5
  br label %260

260:                                              ; preds = %258
  %261 = load i32, ptr %29, align 4, !tbaa !9
  %262 = add nsw i32 %261, 1
  store i32 %262, ptr %29, align 4, !tbaa !9
  br label %180, !llvm.loop !19

263:                                              ; preds = %211, %184
  call void @llvm.lifetime.end.p0(i64 4, ptr %29) #8
  %264 = load i32, ptr %7, align 4
  switch i32 %264, label %269 [
    i32 6, label %266
  ]

265:                                              ; preds = %212, %198
  call void @llvm.lifetime.end.p0(i64 4, ptr %29) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %28) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %27) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %26) #8
  br label %273

266:                                              ; preds = %263
  %267 = load i32, ptr %13, align 4, !tbaa !9
  %268 = add nsw i32 %267, 1
  store i32 %268, ptr %13, align 4, !tbaa !9
  store i32 0, ptr %7, align 4
  br label %269

269:                                              ; preds = %266, %263
  call void @llvm.lifetime.end.p0(i64 8, ptr %28) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %27) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %26) #8
  br label %270

270:                                              ; preds = %269, %174
  call void @llvm.lifetime.end.p0(i64 4, ptr %25) #8
  %271 = load i32, ptr %7, align 4
  switch i32 %271, label %281 [
    i32 0, label %272
  ]

272:                                              ; preds = %270
  br label %278

273:                                              ; preds = %265, %175
  call void @llvm.lifetime.end.p0(i64 4, ptr %25) #8
  br label %284

274:                                              ; preds = %156
  %275 = load i32, ptr %11, align 4, !tbaa !9
  %276 = load ptr, ptr %5, align 8, !tbaa !5
  invoke void (ptr, ...) @_Z6RNFailPKcz(ptr noundef @.str.79, i32 noundef %275, ptr noundef %276)
          to label %277 unwind label %111

277:                                              ; preds = %274
  store i32 3, ptr %7, align 4
  br label %281

278:                                              ; preds = %272
  br label %279

279:                                              ; preds = %278, %150
  br label %280

280:                                              ; preds = %279, %116
  store i32 0, ptr %7, align 4
  br label %281

281:                                              ; preds = %280, %277, %270, %148, %110, %81, %75
  call void @llvm.lifetime.end.p0(i64 8, ptr %19) #8
  %282 = load i32, ptr %7, align 4
  switch i32 %282, label %401 [
    i32 0, label %283
    i32 2, label %47
    i32 3, label %285
  ]

283:                                              ; preds = %281
  br label %47, !llvm.loop !14

284:                                              ; preds = %273, %155, %111
  call void @llvm.lifetime.end.p0(i64 8, ptr %19) #8
  br label %402

285:                                              ; preds = %281, %51
  call void @llvm.lifetime.start.p0(i64 4, ptr %31) #8
  store i32 0, ptr %31, align 4, !tbaa !9
  br label %286

286:                                              ; preds = %390, %285
  %287 = load i32, ptr %31, align 4, !tbaa !9
  %288 = invoke noundef i32 @_ZNK8RNVArray8NEntriesEv(ptr noundef nonnull align 8 dereferenceable(16) %16)
          to label %289 unwind label %293

289:                                              ; preds = %286
  %290 = sub nsw i32 %288, 3
  %291 = icmp sle i32 %287, %290
  br i1 %291, label %297, label %292

292:                                              ; preds = %289
  store i32 9, ptr %7, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %31) #8
  br label %397

293:                                              ; preds = %286
  %294 = landingpad { ptr, i32 }
          cleanup
  %295 = extractvalue { ptr, i32 } %294, 0
  store ptr %295, ptr %17, align 8
  %296 = extractvalue { ptr, i32 } %294, 1
  store i32 %296, ptr %18, align 4
  br label %396

297:                                              ; preds = %289
  call void @llvm.lifetime.start.p0(i64 8, ptr %32) #8
  %298 = load i32, ptr %31, align 4, !tbaa !9
  %299 = add nsw i32 %298, 0
  %300 = invoke noundef ptr @_ZNK7RNArrayIP12R3MeshVertexE3KthEi(ptr noundef nonnull align 8 dereferenceable(16) %16, i32 noundef %299)
          to label %301 unwind label %362

301:                                              ; preds = %297
  store ptr %300, ptr %32, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %33) #8
  %302 = load i32, ptr %31, align 4, !tbaa !9
  %303 = add nsw i32 %302, 1
  %304 = invoke noundef ptr @_ZNK7RNArrayIP12R3MeshVertexE3KthEi(ptr noundef nonnull align 8 dereferenceable(16) %16, i32 noundef %303)
          to label %305 unwind label %366

305:                                              ; preds = %301
  store ptr %304, ptr %33, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %34) #8
  %306 = load i32, ptr %31, align 4, !tbaa !9
  %307 = add nsw i32 %306, 2
  %308 = invoke noundef ptr @_ZNK7RNArrayIP12R3MeshVertexE3KthEi(ptr noundef nonnull align 8 dereferenceable(16) %16, i32 noundef %307)
          to label %309 unwind label %370

309:                                              ; preds = %305
  store ptr %308, ptr %34, align 8, !tbaa !5
  %310 = load ptr, ptr %32, align 8, !tbaa !5
  %311 = load ptr, ptr %33, align 8, !tbaa !5
  %312 = load ptr, ptr %34, align 8, !tbaa !5
  %313 = load ptr, ptr %38, align 8, !tbaa !17
  %314 = getelementptr inbounds ptr, ptr %313, i64 9
  %315 = load ptr, ptr %314, align 8
  %316 = invoke noundef ptr %315(ptr noundef nonnull align 8 dereferenceable(272) %38, ptr noundef %310, ptr noundef %311, ptr noundef %312, ptr noundef null)
          to label %317 unwind label %370

317:                                              ; preds = %309
  %318 = icmp ne ptr %316, null
  br i1 %318, label %389, label %319

319:                                              ; preds = %317
  %320 = load ptr, ptr %32, align 8, !tbaa !5
  %321 = load ptr, ptr %34, align 8, !tbaa !5
  %322 = load ptr, ptr %33, align 8, !tbaa !5
  %323 = load ptr, ptr %38, align 8, !tbaa !17
  %324 = getelementptr inbounds ptr, ptr %323, i64 9
  %325 = load ptr, ptr %324, align 8
  %326 = invoke noundef ptr %325(ptr noundef nonnull align 8 dereferenceable(272) %38, ptr noundef %320, ptr noundef %321, ptr noundef %322, ptr noundef null)
          to label %327 unwind label %370

327:                                              ; preds = %319
  %328 = icmp ne ptr %326, null
  br i1 %328, label %388, label %329

329:                                              ; preds = %327
  call void @llvm.lifetime.start.p0(i64 8, ptr %35) #8
  %330 = load ptr, ptr %32, align 8, !tbaa !5
  %331 = invoke noundef nonnull align 8 dereferenceable(24) ptr @_ZNK6R3Mesh14VertexPositionEPK12R3MeshVertex(ptr noundef nonnull align 8 dereferenceable(272) %38, ptr noundef %330)
          to label %332 unwind label %374

332:                                              ; preds = %329
  %333 = load ptr, ptr %38, align 8, !tbaa !17
  %334 = getelementptr inbounds ptr, ptr %333, i64 4
  %335 = load ptr, ptr %334, align 8
  %336 = invoke noundef ptr %335(ptr noundef nonnull align 8 dereferenceable(272) %38, ptr noundef nonnull align 8 dereferenceable(24) %331, ptr noundef null)
          to label %337 unwind label %374

337:                                              ; preds = %332
  store ptr %336, ptr %35, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %36) #8
  %338 = load ptr, ptr %33, align 8, !tbaa !5
  %339 = invoke noundef nonnull align 8 dereferenceable(24) ptr @_ZNK6R3Mesh14VertexPositionEPK12R3MeshVertex(ptr noundef nonnull align 8 dereferenceable(272) %38, ptr noundef %338)
          to label %340 unwind label %378

340:                                              ; preds = %337
  %341 = load ptr, ptr %38, align 8, !tbaa !17
  %342 = getelementptr inbounds ptr, ptr %341, i64 4
  %343 = load ptr, ptr %342, align 8
  %344 = invoke noundef ptr %343(ptr noundef nonnull align 8 dereferenceable(272) %38, ptr noundef nonnull align 8 dereferenceable(24) %339, ptr noundef null)
          to label %345 unwind label %378

345:                                              ; preds = %340
  store ptr %344, ptr %36, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %37) #8
  %346 = load ptr, ptr %34, align 8, !tbaa !5
  %347 = invoke noundef nonnull align 8 dereferenceable(24) ptr @_ZNK6R3Mesh14VertexPositionEPK12R3MeshVertex(ptr noundef nonnull align 8 dereferenceable(272) %38, ptr noundef %346)
          to label %348 unwind label %382

348:                                              ; preds = %345
  %349 = load ptr, ptr %38, align 8, !tbaa !17
  %350 = getelementptr inbounds ptr, ptr %349, i64 4
  %351 = load ptr, ptr %350, align 8
  %352 = invoke noundef ptr %351(ptr noundef nonnull align 8 dereferenceable(272) %38, ptr noundef nonnull align 8 dereferenceable(24) %347, ptr noundef null)
          to label %353 unwind label %382

353:                                              ; preds = %348
  store ptr %352, ptr %37, align 8, !tbaa !5
  %354 = load ptr, ptr %35, align 8, !tbaa !5
  %355 = load ptr, ptr %36, align 8, !tbaa !5
  %356 = load ptr, ptr %37, align 8, !tbaa !5
  %357 = load ptr, ptr %38, align 8, !tbaa !17
  %358 = getelementptr inbounds ptr, ptr %357, i64 9
  %359 = load ptr, ptr %358, align 8
  %360 = invoke noundef ptr %359(ptr noundef nonnull align 8 dereferenceable(272) %38, ptr noundef %354, ptr noundef %355, ptr noundef %356, ptr noundef null)
          to label %361 unwind label %382

361:                                              ; preds = %353
  call void @llvm.lifetime.end.p0(i64 8, ptr %37) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %36) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %35) #8
  br label %388

362:                                              ; preds = %297
  %363 = landingpad { ptr, i32 }
          cleanup
  %364 = extractvalue { ptr, i32 } %363, 0
  store ptr %364, ptr %17, align 8
  %365 = extractvalue { ptr, i32 } %363, 1
  store i32 %365, ptr %18, align 4
  br label %395

366:                                              ; preds = %301
  %367 = landingpad { ptr, i32 }
          cleanup
  %368 = extractvalue { ptr, i32 } %367, 0
  store ptr %368, ptr %17, align 8
  %369 = extractvalue { ptr, i32 } %367, 1
  store i32 %369, ptr %18, align 4
  br label %394

370:                                              ; preds = %319, %309, %305
  %371 = landingpad { ptr, i32 }
          cleanup
  %372 = extractvalue { ptr, i32 } %371, 0
  store ptr %372, ptr %17, align 8
  %373 = extractvalue { ptr, i32 } %371, 1
  store i32 %373, ptr %18, align 4
  br label %393

374:                                              ; preds = %332, %329
  %375 = landingpad { ptr, i32 }
          cleanup
  %376 = extractvalue { ptr, i32 } %375, 0
  store ptr %376, ptr %17, align 8
  %377 = extractvalue { ptr, i32 } %375, 1
  store i32 %377, ptr %18, align 4
  br label %387

378:                                              ; preds = %340, %337
  %379 = landingpad { ptr, i32 }
          cleanup
  %380 = extractvalue { ptr, i32 } %379, 0
  store ptr %380, ptr %17, align 8
  %381 = extractvalue { ptr, i32 } %379, 1
  store i32 %381, ptr %18, align 4
  br label %386

382:                                              ; preds = %353, %348, %345
  %383 = landingpad { ptr, i32 }
          cleanup
  %384 = extractvalue { ptr, i32 } %383, 0
  store ptr %384, ptr %17, align 8
  %385 = extractvalue { ptr, i32 } %383, 1
  store i32 %385, ptr %18, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %37) #8
  br label %386

386:                                              ; preds = %382, %378
  call void @llvm.lifetime.end.p0(i64 8, ptr %36) #8
  br label %387

387:                                              ; preds = %386, %374
  call void @llvm.lifetime.end.p0(i64 8, ptr %35) #8
  br label %393

388:                                              ; preds = %361, %327
  br label %389

389:                                              ; preds = %388, %317
  call void @llvm.lifetime.end.p0(i64 8, ptr %34) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %33) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %32) #8
  br label %390

390:                                              ; preds = %389
  %391 = load i32, ptr %31, align 4, !tbaa !9
  %392 = add nsw i32 %391, 3
  store i32 %392, ptr %31, align 4, !tbaa !9
  br label %286, !llvm.loop !20

393:                                              ; preds = %387, %370
  call void @llvm.lifetime.end.p0(i64 8, ptr %34) #8
  br label %394

394:                                              ; preds = %393, %366
  call void @llvm.lifetime.end.p0(i64 8, ptr %33) #8
  br label %395

395:                                              ; preds = %394, %362
  call void @llvm.lifetime.end.p0(i64 8, ptr %32) #8
  br label %396

396:                                              ; preds = %395, %293
  call void @llvm.lifetime.end.p0(i64 4, ptr %31) #8
  br label %402

397:                                              ; preds = %292
  %398 = load ptr, ptr %6, align 8, !tbaa !5
  %399 = invoke i32 @fclose(ptr noundef %398)
          to label %400 unwind label %66

400:                                              ; preds = %397
  store i32 1, ptr %3, align 4
  store i32 1, ptr %7, align 4
  br label %401

401:                                              ; preds = %400, %281
  call void @_ZN8RNVArrayD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %16) #8
  call void @llvm.lifetime.end.p0(i64 16, ptr %16) #8
  call void @llvm.lifetime.end.p0(i64 64, ptr %15) #8
  call void @llvm.lifetime.end.p0(i64 1024, ptr %14) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %13) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %12) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %11) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %10) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %9) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %8) #8
  br label %403

402:                                              ; preds = %396, %284, %66
  call void @_ZN8RNVArrayD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %16) #8
  call void @llvm.lifetime.end.p0(i64 16, ptr %16) #8
  call void @llvm.lifetime.end.p0(i64 64, ptr %15) #8
  call void @llvm.lifetime.end.p0(i64 1024, ptr %14) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %13) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %12) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %11) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %10) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %9) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %8) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %6) #8
  br label %405

403:                                              ; preds = %401, %42
  call void @llvm.lifetime.end.p0(i64 8, ptr %6) #8
  %404 = load i32, ptr %3, align 4
  ret i32 %404

405:                                              ; preds = %402
  %406 = load ptr, ptr %17, align 8
  %407 = load i32, ptr %18, align 4
  %408 = insertvalue { ptr, i32 } poison, ptr %406, 0
  %409 = insertvalue { ptr, i32 } %408, i32 %407, 1
  resume { ptr, i32 } %409
}

; Function Attrs: nounwind willreturn memory(read)
declare noundef ptr @strstr(ptr noundef, ptr noundef) #6

; Function Attrs: nounwind
declare ptr @strtok(ptr noundef, ptr noundef) #5

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

!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++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"int", !7, i64 0}
!11 = !{!7, !7, i64 0}
!12 = distinct !{!12, !13}
!13 = !{!"llvm.loop.mustprogress"}
!14 = distinct !{!14, !13}
!15 = !{!16, !16, i64 0}
!16 = !{!"double", !7, i64 0}
!17 = !{!18, !18, i64 0}
!18 = !{!"vtable pointer", !8, i64 0}
!19 = distinct !{!19, !13}
!20 = distinct !{!20, !13}


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

%class.RNArray = type { %class.RNVArray }
%class.RNVArray = type { ptr, i32, i32 }
%class.R3Point = type { [3 x double] }

@stderr = external local_unnamed_addr global ptr, align 8
@.str.57 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.70 = external hidden unnamed_addr constant [24 x i8], align 1
@.str.71 = external hidden unnamed_addr constant [4 x i8], align 1
@.str.72 = external hidden unnamed_addr constant [9 x i8], align 1
@.str.73 = external hidden unnamed_addr constant [7 x i8], align 1
@.str.74 = external hidden unnamed_addr constant [51 x i8], align 1
@.str.75 = external hidden unnamed_addr constant [10 x i8], align 1
@.str.76 = external hidden unnamed_addr constant [60 x i8], align 1
@.str.77 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.78 = external hidden unnamed_addr constant [46 x i8], align 1
@.str.79 = external hidden unnamed_addr constant [49 x i8], align 1

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN7RNArrayIP12R3MeshVertexEC2Ev(ptr noundef nonnull align 8 dereferenceable(16)) unnamed_addr #0 align 2

declare i32 @__gxx_personality_v0(...)

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

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local noundef ptr @_ZNK6R3Mesh6VertexEi(ptr noundef nonnull align 8 dereferenceable(272), i32 noundef) local_unnamed_addr #2 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(24) ptr @_ZNK6R3Mesh14VertexPositionEPK12R3MeshVertex(ptr noundef nonnull align 8 dereferenceable(272), ptr noundef) local_unnamed_addr #3 align 2

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

declare void @_ZN7R3PointC1Eddd(ptr noundef nonnull align 8 dereferenceable(24), double noundef, double noundef, double noundef) unnamed_addr #4

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef i32 @_ZNK8RNVArray8NEntriesEv(ptr noundef nonnull align 8 dereferenceable(16)) local_unnamed_addr #3 align 2

; Function Attrs: mustprogress uwtable
declare dso_local noundef ptr @_ZN7RNArrayIP12R3MeshVertexE6InsertES1_(ptr noundef nonnull align 8 dereferenceable(16), ptr noundef) local_unnamed_addr #0 align 2

; Function Attrs: mustprogress uwtable
declare dso_local noundef ptr @_ZNK7RNArrayIP12R3MeshVertexE3KthEi(ptr noundef nonnull align 8 dereferenceable(16), i32 noundef) local_unnamed_addr #0 align 2

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

declare void @_Z6RNFailPKcz(ptr noundef, ...) local_unnamed_addr #4

; Function Attrs: nofree nounwind
declare noalias noundef ptr @fopen(ptr nocapture noundef readonly, ptr nocapture noundef readonly) local_unnamed_addr #5

; Function Attrs: nofree nounwind
declare noundef ptr @fgets(ptr noundef, i32 noundef, ptr nocapture noundef) local_unnamed_addr #5

; Function Attrs: mustprogress nofree nounwind willreturn memory(read)
declare i32 @isspace(i32 noundef) local_unnamed_addr #6

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

; Function Attrs: inlinehint mustprogress nofree nounwind willreturn memory(read) uwtable
declare i32 @atoi(ptr nocapture noundef nonnull) local_unnamed_addr #7

; Function Attrs: nofree nounwind
declare noundef i32 @fclose(ptr nocapture noundef) local_unnamed_addr #5

; Function Attrs: nounwind
declare void @_ZN8RNVArrayD2Ev(ptr noundef nonnull align 8 dereferenceable(16)) unnamed_addr #8

; Function Attrs: mustprogress uwtable
define dso_local noundef i32 @_ZN6R3Mesh11ReadOffFileEPKc(ptr noundef nonnull align 8 dereferenceable(272) %0, ptr noundef %1) unnamed_addr #0 align 2 personality ptr @__gxx_personality_v0 {
  %3 = alloca i32, align 4
  %4 = alloca i32, align 4
  %5 = alloca i32, align 4
  %6 = alloca [1024 x i8], align 16
  %7 = alloca [64 x i8], align 16
  %8 = alloca %class.RNArray, align 8
  %9 = alloca i32, align 4
  %10 = alloca double, align 8
  %11 = alloca double, align 8
  %12 = alloca double, align 8
  %13 = alloca %class.R3Point, align 8
  %14 = tail call noalias ptr @fopen(ptr noundef %1, ptr noundef nonnull @.str.57)
  %.not = icmp eq ptr %14, null
  br i1 %.not, label %15, label %18

15:                                               ; preds = %2
  %16 = load ptr, ptr @stderr, align 8, !tbaa !5
  %17 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %16, ptr noundef nonnull @.str.70, ptr noundef %1) #11
  br label %175

18:                                               ; preds = %2
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %3) #12
  store i32 0, ptr %3, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %4) #12
  store i32 0, ptr %4, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %5) #12
  store i32 0, ptr %5, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 1024, ptr nonnull %6) #12
  call void @llvm.lifetime.start.p0(i64 64, ptr nonnull %7) #12
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %8) #12
  call void @_ZN7RNArrayIP12R3MeshVertexEC2Ev(ptr noundef nonnull align 8 dereferenceable(16) %8)
  %19 = call ptr @fgets(ptr noundef nonnull %6, i32 noundef 1023, ptr noundef nonnull %14)
  %.not135207 = icmp eq ptr %19, null
  br i1 %.not135207, label %.thread177, label %.lr.ph212

.lr.ph212:                                        ; preds = %18, %.thread168
  %.094210 = phi i32 [ %26, %.thread168 ], [ 0, %18 ]
  %.095209 = phi i32 [ %.398, %.thread168 ], [ 0, %18 ]
  %.099208 = phi i32 [ %.4103, %.thread168 ], [ 0, %18 ]
  br label %20

20:                                               ; preds = %20, %.lr.ph212
  %.0129 = phi ptr [ %6, %.lr.ph212 ], [ %24, %20 ]
  %21 = load i8, ptr %.0129, align 1, !tbaa !11
  %22 = sext i8 %21 to i32
  %23 = call i32 @isspace(i32 noundef %22) #13
  %.not136 = icmp eq i32 %23, 0
  %24 = getelementptr inbounds i8, ptr %.0129, i64 1
  br i1 %.not136, label %25, label %20, !llvm.loop !12

25:                                               ; preds = %20
  %26 = add nuw nsw i32 %.094210, 1
  switch i8 %21, label %27 [
    i8 35, label %.thread168
    i8 0, label %.thread168
  ], !llvm.loop !14

27:                                               ; preds = %25
  %28 = load i32, ptr %3, align 4, !tbaa !9
  %29 = icmp eq i32 %28, 0
  br i1 %29, label %30, label %48

30:                                               ; preds = %27
  %31 = call noundef ptr @strstr(ptr noundef nonnull dereferenceable(1) %.0129, ptr noundef nonnull dereferenceable(1) @.str.71) #13
  %.not150 = icmp eq ptr %31, null
  br i1 %.not150, label %38, label %32

32:                                               ; preds = %30
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %9) #12
  %33 = call i32 (ptr, ptr, ...) @__isoc99_sscanf(ptr noundef nonnull %.0129, ptr noundef nonnull @.str.72, ptr noundef nonnull %7, ptr noundef nonnull %9, ptr noundef nonnull %4, ptr noundef nonnull %5) #12
  %34 = icmp eq i32 %33, 4
  br i1 %34, label %35, label %37

35:                                               ; preds = %32
  %36 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %36, ptr %3, align 4, !tbaa !9
  br label %37

37:                                               ; preds = %35, %32
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %9) #12
  br label %.thread168

38:                                               ; preds = %30
  %39 = call i32 (ptr, ptr, ...) @__isoc99_sscanf(ptr noundef nonnull %.0129, ptr noundef nonnull @.str.73, ptr noundef nonnull %3, ptr noundef nonnull %4, ptr noundef nonnull %5) #12
  %40 = icmp ne i32 %39, 3
  %41 = load i32, ptr %3, align 4
  %42 = icmp eq i32 %41, 0
  %or.cond = select i1 %40, i1 true, i1 %42
  br i1 %or.cond, label %43, label %.thread168

43:                                               ; preds = %38
  invoke void (ptr, ...) @_Z6RNFailPKcz(ptr noundef nonnull @.str.74, i32 noundef %26, ptr noundef %1)
          to label %44 unwind label %46

44:                                               ; preds = %43
  %45 = call i32 @fclose(ptr noundef nonnull %14)
  br label %.thread173

46:                                               ; preds = %112, %43
  %47 = landingpad { ptr, i32 }
          cleanup
  br label %174

48:                                               ; preds = %27
  %49 = icmp slt i32 %.095209, %28
  br i1 %49, label %50, label %70

50:                                               ; preds = %48
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %10) #12
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %11) #12
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %12) #12
  %51 = call i32 (ptr, ptr, ...) @__isoc99_sscanf(ptr noundef nonnull %.0129, ptr noundef nonnull @.str.75, ptr noundef nonnull %10, ptr noundef nonnull %11, ptr noundef nonnull %12) #12
  %.not147 = icmp eq i32 %51, 3
  br i1 %.not147, label %55, label %52

52:                                               ; preds = %50
  invoke void (ptr, ...) @_Z6RNFailPKcz(ptr noundef nonnull @.str.76, i32 noundef %26, ptr noundef %1)
          to label %65 unwind label %53

53:                                               ; preds = %52
  %54 = landingpad { ptr, i32 }
          cleanup
  br label %69

55:                                               ; preds = %50
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %13) #12
  %56 = load double, ptr %10, align 8, !tbaa !15
  %57 = load double, ptr %11, align 8, !tbaa !15
  %58 = load double, ptr %12, align 8, !tbaa !15
  invoke void @_ZN7R3PointC1Eddd(ptr noundef nonnull align 8 dereferenceable(24) %13, double noundef %56, double noundef %57, double noundef %58)
          to label %59 unwind label %67

59:                                               ; preds = %55
  %60 = load ptr, ptr %0, align 8, !tbaa !17
  %61 = getelementptr inbounds i8, ptr %60, i64 32
  %62 = load ptr, ptr %61, align 8
  %63 = invoke noundef ptr %62(ptr noundef nonnull align 8 dereferenceable(272) %0, ptr noundef nonnull align 8 dereferenceable(24) %13, ptr noundef null)
          to label %.thread unwind label %67

.thread:                                          ; preds = %59
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %13) #12
  %64 = add nsw i32 %.095209, 1
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %12) #12
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %11) #12
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %10) #12
  br label %.thread168

65:                                               ; preds = %52
  %66 = call i32 @fclose(ptr noundef nonnull %14)
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %12) #12
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %11) #12
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %10) #12
  br label %.thread173

67:                                               ; preds = %59, %55
  %68 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %13) #12
  br label %69

69:                                               ; preds = %67, %53
  %.pn148 = phi { ptr, i32 } [ %54, %53 ], [ %68, %67 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %12) #12
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %11) #12
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %10) #12
  br label %174

70:                                               ; preds = %48
  %71 = load i32, ptr %4, align 4, !tbaa !9
  %72 = icmp slt i32 %.099208, %71
  br i1 %72, label %73, label %112

73:                                               ; preds = %70
  %74 = call ptr @strtok(ptr noundef nonnull %.0129, ptr noundef nonnull @.str.77) #12
  %.not137 = icmp eq ptr %74, null
  br i1 %.not137, label %77, label %75

75:                                               ; preds = %73
  %76 = call i32 @atoi(ptr nocapture noundef %74) #13
  %.not139203 = icmp sgt i32 %76, 0
  br i1 %.not139203, label %.lr.ph, label %._crit_edge

77:                                               ; preds = %73
  invoke void (ptr, ...) @_Z6RNFailPKcz(ptr noundef nonnull @.str.78, i32 noundef %26, ptr noundef %1)
          to label %78 unwind label %80

78:                                               ; preds = %77
  %79 = call i32 @fclose(ptr noundef nonnull %14)
  br label %.thread173

80:                                               ; preds = %77
  %81 = landingpad { ptr, i32 }
          cleanup
  br label %174

.lr.ph:                                           ; preds = %75, %108
  %.0123206 = phi i32 [ %109, %108 ], [ 0, %75 ]
  %.0124205 = phi ptr [ %.0124., %108 ], [ null, %75 ]
  %.0127204 = phi ptr [ %..0127, %108 ], [ null, %75 ]
  %82 = call ptr @strtok(ptr noundef null, ptr noundef nonnull @.str.77) #12
  %.not138 = icmp eq ptr %82, null
  br i1 %.not138, label %95, label %83

83:                                               ; preds = %.lr.ph
  %84 = call i32 @atoi(ptr nocapture noundef %82) #13
  %85 = invoke noundef ptr @_ZNK6R3Mesh6VertexEi(ptr noundef nonnull align 8 dereferenceable(272) %0, i32 noundef %84)
          to label %86 unwind label %93

86:                                               ; preds = %83
  %.not140 = icmp eq ptr %.0127204, null
  %..0127 = select i1 %.not140, ptr %85, ptr %.0127204
  %.0124. = select i1 %.not140, ptr %.0124205, ptr %85
  %87 = icmp eq ptr %..0127, null
  %88 = icmp eq ptr %.0124205, null
  %89 = icmp eq ptr %.0124., null
  %.not194 = or i1 %88, %89
  %.not141 = icmp eq ptr %..0127, %.0124205
  %90 = or i1 %.not141, %.not194
  %.not142 = icmp eq ptr %.0124205, %.0124.
  %91 = or i1 %.not142, %90
  %.not143 = icmp eq ptr %..0127, %.0124.
  %92 = or i1 %.not143, %91
  %or.cond165 = select i1 %87, i1 true, i1 %92
  br i1 %or.cond165, label %108, label %96

93:                                               ; preds = %83
  %94 = landingpad { ptr, i32 }
          cleanup
  br label %174

95:                                               ; preds = %.lr.ph
  invoke void (ptr, ...) @_Z6RNFailPKcz(ptr noundef nonnull @.str.78, i32 noundef %26, ptr noundef %1)
          to label %select.unfold unwind label %.loopexit.split-lp

.loopexit:                                        ; preds = %96, %102, %104, %106
  %lpad.loopexit = landingpad { ptr, i32 }
          cleanup
  br label %174

.loopexit.split-lp:                               ; preds = %95
  %lpad.loopexit.split-lp = landingpad { ptr, i32 }
          cleanup
  br label %174

96:                                               ; preds = %86
  %97 = load ptr, ptr %0, align 8, !tbaa !17
  %98 = getelementptr inbounds i8, ptr %97, i64 72
  %99 = load ptr, ptr %98, align 8
  %100 = invoke noundef ptr %99(ptr noundef nonnull align 8 dereferenceable(272) %0, ptr noundef nonnull %..0127, ptr noundef nonnull %.0124205, ptr noundef nonnull %.0124., ptr noundef null)
          to label %101 unwind label %.loopexit

101:                                              ; preds = %96
  %.not144 = icmp eq ptr %100, null
  br i1 %.not144, label %102, label %108

102:                                              ; preds = %101
  %103 = invoke noundef ptr @_ZN7RNArrayIP12R3MeshVertexE6InsertES1_(ptr noundef nonnull align 8 dereferenceable(16) %8, ptr noundef nonnull %..0127)
          to label %104 unwind label %.loopexit

104:                                              ; preds = %102
  %105 = invoke noundef ptr @_ZN7RNArrayIP12R3MeshVertexE6InsertES1_(ptr noundef nonnull align 8 dereferenceable(16) %8, ptr noundef nonnull %.0124205)
          to label %106 unwind label %.loopexit

106:                                              ; preds = %104
  %107 = invoke noundef ptr @_ZN7RNArrayIP12R3MeshVertexE6InsertES1_(ptr noundef nonnull align 8 dereferenceable(16) %8, ptr noundef nonnull %.0124.)
          to label %108 unwind label %.loopexit

108:                                              ; preds = %101, %106, %86
  %109 = add nuw nsw i32 %.0123206, 1
  %exitcond.not = icmp eq i32 %109, %76
  br i1 %exitcond.not, label %._crit_edge, label %.lr.ph, !llvm.loop !19

._crit_edge:                                      ; preds = %108, %75
  %110 = add nsw i32 %.099208, 1
  br label %.thread168

select.unfold:                                    ; preds = %95
  %111 = call i32 @fclose(ptr noundef nonnull %14)
  br label %.thread173

112:                                              ; preds = %70
  invoke void (ptr, ...) @_Z6RNFailPKcz(ptr noundef nonnull @.str.79, i32 noundef %26, ptr noundef %1)
          to label %.thread177 unwind label %46

.thread168:                                       ; preds = %._crit_edge, %38, %37, %.thread, %25, %25
  %.4103 = phi i32 [ %.099208, %25 ], [ %.099208, %25 ], [ %.099208, %37 ], [ %.099208, %38 ], [ %.099208, %.thread ], [ %110, %._crit_edge ]
  %.398 = phi i32 [ %.095209, %25 ], [ %.095209, %25 ], [ %.095209, %37 ], [ %.095209, %38 ], [ %64, %.thread ], [ %.095209, %._crit_edge ]
  %113 = call ptr @fgets(ptr noundef nonnull %6, i32 noundef 1023, ptr noundef nonnull %14)
  %.not135 = icmp eq ptr %113, null
  br i1 %.not135, label %.thread177, label %.lr.ph212

.thread177:                                       ; preds = %.thread168, %18, %112
  %114 = call noundef i32 @_ZNK8RNVArray8NEntriesEv(ptr noundef nonnull align 8 dereferenceable(16) %8)
  %.not153213 = icmp slt i32 %114, 3
  br i1 %.not153213, label %._crit_edge216, label %.lr.ph215

._crit_edge216:                                   ; preds = %170, %.thread177
  %115 = call i32 @fclose(ptr noundef nonnull %14)
  br label %.thread173

.lr.ph215:                                        ; preds = %.thread177, %170
  %.0112214 = phi i32 [ %171, %170 ], [ 0, %.thread177 ]
  %116 = invoke noundef ptr @_ZNK7RNArrayIP12R3MeshVertexE3KthEi(ptr noundef nonnull align 8 dereferenceable(16) %8, i32 noundef %.0112214)
          to label %117 unwind label %158

117:                                              ; preds = %.lr.ph215
  %118 = add nuw nsw i32 %.0112214, 1
  %119 = invoke noundef ptr @_ZNK7RNArrayIP12R3MeshVertexE3KthEi(ptr noundef nonnull align 8 dereferenceable(16) %8, i32 noundef %118)
          to label %120 unwind label %160

120:                                              ; preds = %117
  %121 = add nuw nsw i32 %.0112214, 2
  %122 = invoke noundef ptr @_ZNK7RNArrayIP12R3MeshVertexE3KthEi(ptr noundef nonnull align 8 dereferenceable(16) %8, i32 noundef %121)
          to label %123 unwind label %162

123:                                              ; preds = %120
  %124 = load ptr, ptr %0, align 8, !tbaa !17
  %125 = getelementptr inbounds i8, ptr %124, i64 72
  %126 = load ptr, ptr %125, align 8
  %127 = invoke noundef ptr %126(ptr noundef nonnull align 8 dereferenceable(272) %0, ptr noundef %116, ptr noundef %119, ptr noundef %122, ptr noundef null)
          to label %128 unwind label %162

128:                                              ; preds = %123
  %.not154 = icmp eq ptr %127, null
  br i1 %.not154, label %129, label %170

129:                                              ; preds = %128
  %130 = load ptr, ptr %0, align 8, !tbaa !17
  %131 = getelementptr inbounds i8, ptr %130, i64 72
  %132 = load ptr, ptr %131, align 8
  %133 = invoke noundef ptr %132(ptr noundef nonnull align 8 dereferenceable(272) %0, ptr noundef %116, ptr noundef %122, ptr noundef %119, ptr noundef null)
          to label %134 unwind label %162

134:                                              ; preds = %129
  %.not155 = icmp eq ptr %133, null
  br i1 %.not155, label %135, label %170

135:                                              ; preds = %134
  %136 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZNK6R3Mesh14VertexPositionEPK12R3MeshVertex(ptr noundef nonnull align 8 dereferenceable(272) %0, ptr noundef %116)
  %137 = load ptr, ptr %0, align 8, !tbaa !17
  %138 = getelementptr inbounds i8, ptr %137, i64 32
  %139 = load ptr, ptr %138, align 8
  %140 = invoke noundef ptr %139(ptr noundef nonnull align 8 dereferenceable(272) %0, ptr noundef nonnull align 8 dereferenceable(24) %136, ptr noundef null)
          to label %141 unwind label %164

141:                                              ; preds = %135
  %142 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZNK6R3Mesh14VertexPositionEPK12R3MeshVertex(ptr noundef nonnull align 8 dereferenceable(272) %0, ptr noundef %119)
  %143 = load ptr, ptr %0, align 8, !tbaa !17
  %144 = getelementptr inbounds i8, ptr %143, i64 32
  %145 = load ptr, ptr %144, align 8
  %146 = invoke noundef ptr %145(ptr noundef nonnull align 8 dereferenceable(272) %0, ptr noundef nonnull align 8 dereferenceable(24) %142, ptr noundef null)
          to label %147 unwind label %166

147:                                              ; preds = %141
  %148 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZNK6R3Mesh14VertexPositionEPK12R3MeshVertex(ptr noundef nonnull align 8 dereferenceable(272) %0, ptr noundef %122)
  %149 = load ptr, ptr %0, align 8, !tbaa !17
  %150 = getelementptr inbounds i8, ptr %149, i64 32
  %151 = load ptr, ptr %150, align 8
  %152 = invoke noundef ptr %151(ptr noundef nonnull align 8 dereferenceable(272) %0, ptr noundef nonnull align 8 dereferenceable(24) %148, ptr noundef null)
          to label %153 unwind label %168

153:                                              ; preds = %147
  %154 = load ptr, ptr %0, align 8, !tbaa !17
  %155 = getelementptr inbounds i8, ptr %154, i64 72
  %156 = load ptr, ptr %155, align 8
  %157 = invoke noundef ptr %156(ptr noundef nonnull align 8 dereferenceable(272) %0, ptr noundef %140, ptr noundef %146, ptr noundef %152, ptr noundef null)
          to label %170 unwind label %168

158:                                              ; preds = %.lr.ph215
  %159 = landingpad { ptr, i32 }
          cleanup
  br label %174

160:                                              ; preds = %117
  %161 = landingpad { ptr, i32 }
          cleanup
  br label %174

162:                                              ; preds = %129, %123, %120
  %163 = landingpad { ptr, i32 }
          cleanup
  br label %174

164:                                              ; preds = %135
  %165 = landingpad { ptr, i32 }
          cleanup
  br label %174

166:                                              ; preds = %141
  %167 = landingpad { ptr, i32 }
          cleanup
  br label %174

168:                                              ; preds = %153, %147
  %169 = landingpad { ptr, i32 }
          cleanup
  br label %174

170:                                              ; preds = %153, %134, %128
  %171 = add nuw nsw i32 %.0112214, 3
  %172 = call noundef i32 @_ZNK8RNVArray8NEntriesEv(ptr noundef nonnull align 8 dereferenceable(16) %8)
  %173 = add nsw i32 %172, -3
  %.not153 = icmp sgt i32 %171, %173
  br i1 %.not153, label %._crit_edge216, label %.lr.ph215, !llvm.loop !20

.thread173:                                       ; preds = %78, %select.unfold, %65, %44, %._crit_edge216
  %.6 = phi i32 [ 1, %._crit_edge216 ], [ 0, %44 ], [ 0, %65 ], [ 0, %select.unfold ], [ 0, %78 ]
  call void @_ZN8RNVArrayD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %8) #12
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %8) #12
  call void @llvm.lifetime.end.p0(i64 64, ptr nonnull %7) #12
  call void @llvm.lifetime.end.p0(i64 1024, ptr nonnull %6) #12
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %5) #12
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %4) #12
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %3) #12
  br label %175

174:                                              ; preds = %.loopexit, %.loopexit.split-lp, %158, %162, %166, %168, %164, %160, %46, %69, %93, %80
  %.pn156.pn.pn.pn.pn.pn = phi { ptr, i32 } [ %47, %46 ], [ %.pn148, %69 ], [ %81, %80 ], [ %94, %93 ], [ %159, %158 ], [ %161, %160 ], [ %163, %162 ], [ %165, %164 ], [ %169, %168 ], [ %167, %166 ], [ %lpad.loopexit, %.loopexit ], [ %lpad.loopexit.split-lp, %.loopexit.split-lp ]
  call void @_ZN8RNVArrayD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %8) #12
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %8) #12
  call void @llvm.lifetime.end.p0(i64 64, ptr nonnull %7) #12
  call void @llvm.lifetime.end.p0(i64 1024, ptr nonnull %6) #12
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %5) #12
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %4) #12
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %3) #12
  resume { ptr, i32 } %.pn156.pn.pn.pn.pn.pn

175:                                              ; preds = %.thread173, %15
  %.7 = phi i32 [ %.6, %.thread173 ], [ 0, %15 ]
  ret i32 %.7
}

; Function Attrs: mustprogress nofree nounwind willreturn memory(argmem: read)
declare noundef ptr @strstr(ptr noundef, ptr nocapture noundef) local_unnamed_addr #9

; Function Attrs: mustprogress nofree nounwind willreturn
declare ptr @strtok(ptr noundef, ptr nocapture noundef readonly) local_unnamed_addr #10

attributes #0 = { mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #1 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #2 = { inlinehint mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { inlinehint mustprogress 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 #4 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #5 = { 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 #6 = { mustprogress nofree nounwind willreturn memory(read) "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 #7 = { inlinehint mustprogress nofree nounwind willreturn memory(read) 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 #8 = { 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 #9 = { mustprogress nofree nounwind willreturn memory(argmem: read) "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 #10 = { mustprogress nofree nounwind willreturn "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 #11 = { cold nounwind }
attributes #12 = { nounwind }
attributes #13 = { nounwind willreturn memory(read) }

!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++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"int", !7, i64 0}
!11 = !{!7, !7, i64 0}
!12 = distinct !{!12, !13}
!13 = !{!"llvm.loop.mustprogress"}
!14 = distinct !{!14, !13}
!15 = !{!16, !16, i64 0}
!16 = !{!"double", !7, i64 0}
!17 = !{!18, !18, i64 0}
!18 = !{!"vtable pointer", !8, i64 0}
!19 = distinct !{!19, !13}
!20 = distinct !{!20, !13}


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