; LLVM IR from jingweizhanghuai/Morn :: test (test_JSON_file)

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

%struct.JSONNode = type { %union.anon, i8, ptr }
%union.anon = type { double }

@jsontype = external dso_local global [15 x ptr], align 16
@.str.14 = external hidden unnamed_addr constant [17 x i8], align 1
@.str.15 = external hidden unnamed_addr constant [15 x i8], align 1
@.str.16 = external hidden unnamed_addr constant [14 x i8], align 1
@.str.17 = external hidden unnamed_addr constant [6 x i8], align 1
@.str.18 = external hidden unnamed_addr constant [15 x i8], align 1
@.str.19 = external hidden unnamed_addr constant [14 x i8], align 1
@.str.20 = external hidden unnamed_addr constant [17 x i8], align 1
@.str.21 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.22 = external hidden unnamed_addr constant [6 x i8], align 1
@.str.23 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.24 = external hidden unnamed_addr constant [6 x i8], align 1
@.str.25 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.26 = external hidden unnamed_addr constant [6 x i8], align 1
@.str.27 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.28 = external hidden unnamed_addr constant [7 x i8], align 1
@.str.29 = external hidden unnamed_addr constant [8 x i8], align 1
@.str.30 = external hidden unnamed_addr constant [31 x i8], align 1
@.str.31 = external hidden unnamed_addr constant [8 x i8], align 1
@.str.32 = external hidden unnamed_addr constant [13 x i8], align 1
@.str.33 = external hidden unnamed_addr constant [36 x i8], align 1
@.str.34 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.35 = external hidden unnamed_addr constant [16 x i8], align 1
@.str.36 = external hidden unnamed_addr constant [4 x i8], align 1
@.str.37 = external hidden unnamed_addr constant [8 x i8], align 1
@.str.38 = external hidden unnamed_addr constant [8 x i8], align 1
@.str.39 = external hidden unnamed_addr constant [12 x i8], align 1
@.str.40 = external hidden unnamed_addr constant [9 x i8], align 1
@.str.41 = external hidden unnamed_addr constant [15 x i8], align 1
@.str.42 = external hidden unnamed_addr constant [9 x i8], align 1
@.str.43 = external hidden unnamed_addr constant [15 x i8], align 1
@.str.44 = external hidden unnamed_addr constant [5 x i8], align 1
@.str.45 = external hidden unnamed_addr constant [5 x i8], align 1
@.str.46 = external hidden unnamed_addr constant [22 x i8], align 1
@.str.47 = external hidden unnamed_addr constant [6 x i8], align 1
@.str.48 = external hidden unnamed_addr constant [23 x i8], align 1
@.str.49 = external hidden unnamed_addr constant [4 x i8], align 1
@.str.50 = external hidden unnamed_addr constant [21 x i8], align 1
@.str.51 = external hidden unnamed_addr constant [10 x i8], align 1
@.str.52 = external hidden unnamed_addr constant [11 x i8], align 1
@.str.53 = external hidden unnamed_addr constant [9 x i8], align 1
@.str.54 = external hidden unnamed_addr constant [6 x i8], align 1
@.str.55 = external hidden unnamed_addr constant [10 x i8], align 1
@.str.56 = external hidden unnamed_addr constant [6 x i8], align 1
@.str.57 = external hidden unnamed_addr constant [10 x i8], align 1
@.str.58 = external hidden unnamed_addr constant [6 x i8], align 1
@.str.59 = external hidden unnamed_addr constant [10 x i8], align 1
@.str.60 = external hidden unnamed_addr constant [6 x i8], align 1
@.str.61 = external hidden unnamed_addr constant [10 x i8], align 1
@.str.62 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.63 = external hidden unnamed_addr constant [4 x i8], align 1
@.str.64 = external hidden unnamed_addr constant [9 x i8], align 1
@.str.65 = external hidden unnamed_addr constant [13 x i8], align 1
@.str.66 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.67 = external hidden unnamed_addr constant [6 x i8], align 1
@.str.68 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.69 = external hidden unnamed_addr constant [18 x i8], align 1
@.str.70 = external hidden unnamed_addr constant [4 x i8], align 1
@.str.71 = external hidden unnamed_addr constant [18 x i8], align 1
@.str.72 = external hidden unnamed_addr constant [15 x i8], align 1
@.str.73 = external hidden unnamed_addr constant [4 x i8], align 1
@.str.74 = external hidden unnamed_addr constant [5 x i8], align 1
@.str.75 = external hidden unnamed_addr constant [14 x i8], align 1

; Function Attrs: nounwind uwtable
define dso_local i32 @main() #0 {
  %1 = alloca i32, align 4
  %2 = alloca ptr, align 8
  %3 = alloca ptr, align 8
  %4 = alloca ptr, align 8
  %5 = alloca %struct.JSONNode, align 8
  %6 = alloca i32, align 4
  %7 = alloca ptr, align 8
  %8 = alloca ptr, align 8
  %9 = alloca ptr, align 8
  %10 = alloca ptr, align 8
  %11 = alloca ptr, align 8
  %12 = alloca ptr, align 8
  %13 = alloca i32, align 4
  %14 = alloca i32, align 4
  %15 = alloca ptr, align 8
  %16 = alloca i32, align 4
  %17 = alloca ptr, align 8
  %18 = alloca %struct.JSONNode, align 8
  store i32 0, ptr %1, align 4
  call void @llvm.lifetime.start.p0(i64 8, ptr %2) #3
  %19 = call ptr (ptr, ...) @mFileCreate(ptr noundef @.str.14)
  store ptr %19, ptr %2, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %3) #3
  %20 = load ptr, ptr %2, align 8, !tbaa !5
  %21 = call ptr @mJSONLoad(ptr noundef %20)
  store ptr %21, ptr %3, align 8, !tbaa !5
  %22 = load ptr, ptr %3, align 8, !tbaa !5
  %23 = getelementptr inbounds %struct.JSONNode, ptr %22, i32 0, i32 1
  %24 = load i8, ptr %23, align 8, !tbaa !9
  %25 = zext i8 %24 to i64
  %26 = getelementptr inbounds [15 x ptr], ptr @jsontype, i64 0, i64 %25
  %27 = load ptr, ptr %26, align 8, !tbaa !5
  %28 = call i32 (ptr, ...) @printf(ptr noundef @.str.15, ptr noundef %27)
  %29 = load ptr, ptr %3, align 8, !tbaa !5
  %30 = getelementptr inbounds %struct.JSONNode, ptr %29, i32 0, i32 0
  %31 = load i16, ptr %30, align 8, !tbaa !11
  %32 = zext i16 %31 to i32
  %33 = call i32 (ptr, ...) @printf(ptr noundef @.str.16, i32 noundef %32)
  call void @llvm.lifetime.start.p0(i64 8, ptr %4) #3
  %34 = icmp eq i64 ptrtoint (ptr getelementptr inbounds (i8, ptr @.str.17, i64 1) to i64), add nsw (i64 ptrtoint (ptr @.str.17 to i64), i64 1)
  br i1 %34, label %35, label %38

35:                                               ; preds = %0
  %36 = load ptr, ptr %3, align 8, !tbaa !5
  %37 = call ptr @m_JSONRead(ptr noundef %36, i64 noundef ptrtoint (ptr @.str.17 to i64), ptr noundef null)
  br label %41

38:                                               ; preds = %0
  %39 = load ptr, ptr %3, align 8, !tbaa !5
  %40 = call ptr @m_JSONRead(ptr noundef %39, i64 noundef 0, ptr noundef @.str.17)
  br label %41

41:                                               ; preds = %38, %35
  %42 = phi ptr [ %37, %35 ], [ %40, %38 ]
  store ptr %42, ptr %4, align 8, !tbaa !5
  %43 = load ptr, ptr %4, align 8, !tbaa !5
  %44 = getelementptr inbounds %struct.JSONNode, ptr %43, i32 0, i32 1
  %45 = load i8, ptr %44, align 8, !tbaa !9
  %46 = zext i8 %45 to i64
  %47 = getelementptr inbounds [15 x ptr], ptr @jsontype, i64 0, i64 %46
  %48 = load ptr, ptr %47, align 8, !tbaa !5
  %49 = call i32 (ptr, ...) @printf(ptr noundef @.str.18, ptr noundef %48)
  %50 = load ptr, ptr %4, align 8, !tbaa !5
  %51 = getelementptr inbounds %struct.JSONNode, ptr %50, i32 0, i32 2
  %52 = load ptr, ptr %51, align 8, !tbaa !12
  %53 = call i32 (ptr, ...) @printf(ptr noundef @.str.19, ptr noundef %52)
  %54 = load ptr, ptr %4, align 8, !tbaa !5
  %55 = getelementptr inbounds %struct.JSONNode, ptr %54, i32 0, i32 0
  %56 = load ptr, ptr %55, align 8, !tbaa !11
  %57 = call i32 (ptr, ...) @printf(ptr noundef @.str.20, ptr noundef %56)
  %58 = icmp eq i64 ptrtoint (ptr getelementptr inbounds (i8, ptr @.str.21, i64 1) to i64), add nsw (i64 ptrtoint (ptr @.str.21 to i64), i64 1)
  br i1 %58, label %59, label %62

59:                                               ; preds = %41
  %60 = load ptr, ptr %3, align 8, !tbaa !5
  %61 = call ptr @m_JSONRead(ptr noundef %60, i64 noundef ptrtoint (ptr @.str.21 to i64), ptr noundef null)
  br label %65

62:                                               ; preds = %41
  %63 = load ptr, ptr %3, align 8, !tbaa !5
  %64 = call ptr @m_JSONRead(ptr noundef %63, i64 noundef 0, ptr noundef @.str.21)
  br label %65

65:                                               ; preds = %62, %59
  %66 = phi ptr [ %61, %59 ], [ %64, %62 ]
  store ptr %66, ptr %4, align 8, !tbaa !5
  %67 = load ptr, ptr %4, align 8, !tbaa !5
  %68 = icmp ne ptr %67, null
  br i1 %68, label %69, label %83

69:                                               ; preds = %65
  %70 = load ptr, ptr %4, align 8, !tbaa !5
  %71 = getelementptr inbounds %struct.JSONNode, ptr %70, i32 0, i32 1
  %72 = load i8, ptr %71, align 8, !tbaa !9
  %73 = zext i8 %72 to i32
  %74 = icmp eq i32 %73, 3
  br i1 %74, label %75, label %82

75:                                               ; preds = %69
  %76 = load ptr, ptr %4, align 8, !tbaa !5
  %77 = getelementptr inbounds %struct.JSONNode, ptr %76, i32 0, i32 0
  %78 = load i8, ptr %77, align 8, !tbaa !11, !range !13, !noundef !14
  %79 = trunc i8 %78 to i1
  %80 = zext i1 %79 to i32
  %81 = call i32 (ptr, ...) @printf(ptr noundef @.str.22, i32 noundef %80)
  br label %82

82:                                               ; preds = %75, %69
  br label %83

83:                                               ; preds = %82, %65
  call void @llvm.lifetime.start.p0(i64 24, ptr %5) #3
  %84 = load ptr, ptr %3, align 8, !tbaa !5
  %85 = call ptr @m_JSONRead(ptr noundef %84, i64 noundef ptrtoint (ptr @.str.23 to i64), ptr noundef %5)
  store ptr %85, ptr %4, align 8, !tbaa !5
  %86 = getelementptr inbounds %struct.JSONNode, ptr %5, i32 0, i32 0
  %87 = load i8, ptr %86, align 8, !tbaa !11, !range !13, !noundef !14
  %88 = trunc i8 %87 to i1
  %89 = zext i1 %88 to i32
  %90 = call i32 (ptr, ...) @printf(ptr noundef @.str.24, i32 noundef %89)
  call void @llvm.lifetime.start.p0(i64 4, ptr %6) #3
  %91 = icmp eq i64 ptrtoint (ptr getelementptr inbounds (i8, ptr @.str.25, i64 1) to i64), add nsw (i64 ptrtoint (ptr @.str.25 to i64), i64 1)
  br i1 %91, label %92, label %95

92:                                               ; preds = %83
  %93 = load ptr, ptr %3, align 8, !tbaa !5
  %94 = call ptr @m_JSONRead(ptr noundef %93, i64 noundef ptrtoint (ptr @.str.25 to i64), ptr noundef null)
  br label %98

95:                                               ; preds = %83
  %96 = load ptr, ptr %3, align 8, !tbaa !5
  %97 = call ptr @m_JSONRead(ptr noundef %96, i64 noundef 0, ptr noundef @.str.25)
  br label %98

98:                                               ; preds = %95, %92
  %99 = phi ptr [ %94, %92 ], [ %97, %95 ]
  %100 = load i32, ptr %99, align 4, !tbaa !15
  store i32 %100, ptr %6, align 4, !tbaa !15
  %101 = load i32, ptr %6, align 4, !tbaa !15
  %102 = call i32 (ptr, ...) @printf(ptr noundef @.str.26, i32 noundef %101)
  call void @llvm.lifetime.start.p0(i64 8, ptr %7) #3
  %103 = icmp eq i64 ptrtoint (ptr getelementptr inbounds (i8, ptr @.str.27, i64 1) to i64), add nsw (i64 ptrtoint (ptr @.str.27 to i64), i64 1)
  br i1 %103, label %104, label %107

104:                                              ; preds = %98
  %105 = load ptr, ptr %3, align 8, !tbaa !5
  %106 = call ptr @m_JSONRead(ptr noundef %105, i64 noundef ptrtoint (ptr @.str.27 to i64), ptr noundef null)
  br label %110

107:                                              ; preds = %98
  %108 = load ptr, ptr %3, align 8, !tbaa !5
  %109 = call ptr @m_JSONRead(ptr noundef %108, i64 noundef 0, ptr noundef @.str.27)
  br label %110

110:                                              ; preds = %107, %104
  %111 = phi ptr [ %106, %104 ], [ %109, %107 ]
  store ptr %111, ptr %7, align 8, !tbaa !5
  %112 = load ptr, ptr %7, align 8, !tbaa !5
  %113 = load double, ptr %112, align 8, !tbaa !17
  %114 = call i32 (ptr, ...) @printf(ptr noundef @.str.28, double noundef %113)
  %115 = icmp eq i64 ptrtoint (ptr getelementptr inbounds (i8, ptr @.str.29, i64 1) to i64), add nsw (i64 ptrtoint (ptr @.str.29 to i64), i64 1)
  br i1 %115, label %116, label %119

116:                                              ; preds = %110
  %117 = load ptr, ptr %3, align 8, !tbaa !5
  %118 = call ptr @m_JSONRead(ptr noundef %117, i64 noundef ptrtoint (ptr @.str.29 to i64), ptr noundef null)
  br label %122

119:                                              ; preds = %110
  %120 = load ptr, ptr %3, align 8, !tbaa !5
  %121 = call ptr @m_JSONRead(ptr noundef %120, i64 noundef 0, ptr noundef @.str.29)
  br label %122

122:                                              ; preds = %119, %116
  %123 = phi ptr [ %118, %116 ], [ %121, %119 ]
  store ptr %123, ptr %4, align 8, !tbaa !5
  %124 = load ptr, ptr %4, align 8, !tbaa !5
  %125 = getelementptr inbounds %struct.JSONNode, ptr %124, i32 0, i32 1
  %126 = load i8, ptr %125, align 8, !tbaa !9
  %127 = zext i8 %126 to i64
  %128 = getelementptr inbounds [15 x ptr], ptr @jsontype, i64 0, i64 %127
  %129 = load ptr, ptr %128, align 8, !tbaa !5
  %130 = load ptr, ptr %4, align 8, !tbaa !5
  %131 = getelementptr inbounds %struct.JSONNode, ptr %130, i32 0, i32 0
  %132 = load double, ptr %131, align 8, !tbaa !11
  %133 = call i32 (ptr, ...) @printf(ptr noundef @.str.30, ptr noundef %129, double noundef %132)
  %134 = icmp eq i64 ptrtoint (ptr getelementptr inbounds (i8, ptr @.str.31, i64 1) to i64), add nsw (i64 ptrtoint (ptr @.str.31 to i64), i64 1)
  br i1 %134, label %135, label %138

135:                                              ; preds = %122
  %136 = load ptr, ptr %3, align 8, !tbaa !5
  %137 = call ptr @m_JSONRead(ptr noundef %136, i64 noundef ptrtoint (ptr @.str.31 to i64), ptr noundef null)
  br label %141

138:                                              ; preds = %122
  %139 = load ptr, ptr %3, align 8, !tbaa !5
  %140 = call ptr @m_JSONRead(ptr noundef %139, i64 noundef 0, ptr noundef @.str.31)
  br label %141

141:                                              ; preds = %138, %135
  %142 = phi ptr [ %137, %135 ], [ %140, %138 ]
  store ptr %142, ptr %4, align 8, !tbaa !5
  %143 = load ptr, ptr %4, align 8, !tbaa !5
  %144 = getelementptr inbounds %struct.JSONNode, ptr %143, i32 0, i32 1
  %145 = load i8, ptr %144, align 8, !tbaa !9
  %146 = zext i8 %145 to i64
  %147 = getelementptr inbounds [15 x ptr], ptr @jsontype, i64 0, i64 %146
  %148 = load ptr, ptr %147, align 8, !tbaa !5
  %149 = load ptr, ptr %4, align 8, !tbaa !5
  %150 = getelementptr inbounds %struct.JSONNode, ptr %149, i32 0, i32 0
  %151 = load double, ptr %150, align 8, !tbaa !11
  %152 = call i32 (ptr, ...) @printf(ptr noundef @.str.30, ptr noundef %148, double noundef %151)
  %153 = icmp eq i64 ptrtoint (ptr getelementptr inbounds (i8, ptr @.str.32, i64 1) to i64), add nsw (i64 ptrtoint (ptr @.str.32 to i64), i64 1)
  br i1 %153, label %154, label %157

154:                                              ; preds = %141
  %155 = load ptr, ptr %3, align 8, !tbaa !5
  %156 = call ptr @m_JSONRead(ptr noundef %155, i64 noundef ptrtoint (ptr @.str.32 to i64), ptr noundef null)
  br label %160

157:                                              ; preds = %141
  %158 = load ptr, ptr %3, align 8, !tbaa !5
  %159 = call ptr @m_JSONRead(ptr noundef %158, i64 noundef 0, ptr noundef @.str.32)
  br label %160

160:                                              ; preds = %157, %154
  %161 = phi ptr [ %156, %154 ], [ %159, %157 ]
  store ptr %161, ptr %4, align 8, !tbaa !5
  %162 = load ptr, ptr %4, align 8, !tbaa !5
  %163 = getelementptr inbounds %struct.JSONNode, ptr %162, i32 0, i32 1
  %164 = load i8, ptr %163, align 8, !tbaa !9
  %165 = zext i8 %164 to i64
  %166 = getelementptr inbounds [15 x ptr], ptr @jsontype, i64 0, i64 %165
  %167 = load ptr, ptr %166, align 8, !tbaa !5
  %168 = load ptr, ptr %4, align 8, !tbaa !5
  %169 = getelementptr inbounds %struct.JSONNode, ptr %168, i32 0, i32 0
  %170 = load double, ptr %169, align 8, !tbaa !11
  %171 = call i32 (ptr, ...) @printf(ptr noundef @.str.33, ptr noundef %167, double noundef %170)
  %172 = icmp eq i64 ptrtoint (ptr getelementptr inbounds (i8, ptr @.str.34, i64 1) to i64), add nsw (i64 ptrtoint (ptr @.str.34 to i64), i64 1)
  br i1 %172, label %173, label %176

173:                                              ; preds = %160
  %174 = load ptr, ptr %3, align 8, !tbaa !5
  %175 = call ptr @m_JSONRead(ptr noundef %174, i64 noundef ptrtoint (ptr @.str.34 to i64), ptr noundef null)
  br label %179

176:                                              ; preds = %160
  %177 = load ptr, ptr %3, align 8, !tbaa !5
  %178 = call ptr @m_JSONRead(ptr noundef %177, i64 noundef 0, ptr noundef @.str.34)
  br label %179

179:                                              ; preds = %176, %173
  %180 = phi ptr [ %175, %173 ], [ %178, %176 ]
  store ptr %180, ptr %4, align 8, !tbaa !5
  %181 = load ptr, ptr %4, align 8, !tbaa !5
  %182 = getelementptr inbounds %struct.JSONNode, ptr %181, i32 0, i32 1
  %183 = load i8, ptr %182, align 8, !tbaa !9
  %184 = zext i8 %183 to i64
  %185 = getelementptr inbounds [15 x ptr], ptr @jsontype, i64 0, i64 %184
  %186 = load ptr, ptr %185, align 8, !tbaa !5
  %187 = load ptr, ptr %4, align 8, !tbaa !5
  %188 = getelementptr inbounds %struct.JSONNode, ptr %187, i32 0, i32 0
  %189 = load ptr, ptr %188, align 8, !tbaa !11
  %190 = call i32 (ptr, ...) @printf(ptr noundef @.str.35, ptr noundef %186, ptr noundef %189)
  %191 = icmp eq i64 ptrtoint (ptr getelementptr inbounds (i8, ptr @.str.36, i64 1) to i64), add nsw (i64 ptrtoint (ptr @.str.36 to i64), i64 1)
  br i1 %191, label %192, label %195

192:                                              ; preds = %179
  %193 = load ptr, ptr %3, align 8, !tbaa !5
  %194 = call ptr @m_JSONRead(ptr noundef %193, i64 noundef ptrtoint (ptr @.str.36 to i64), ptr noundef null)
  br label %198

195:                                              ; preds = %179
  %196 = load ptr, ptr %3, align 8, !tbaa !5
  %197 = call ptr @m_JSONRead(ptr noundef %196, i64 noundef 0, ptr noundef @.str.36)
  br label %198

198:                                              ; preds = %195, %192
  %199 = phi ptr [ %194, %192 ], [ %197, %195 ]
  store ptr %199, ptr %4, align 8, !tbaa !5
  %200 = load ptr, ptr %4, align 8, !tbaa !5
  %201 = getelementptr inbounds %struct.JSONNode, ptr %200, i32 0, i32 0
  %202 = load ptr, ptr %201, align 8, !tbaa !11
  %203 = call i32 (ptr, ...) @printf(ptr noundef @.str.37, ptr noundef %202)
  %204 = icmp eq i64 ptrtoint (ptr getelementptr inbounds (i8, ptr @.str.38, i64 1) to i64), add nsw (i64 ptrtoint (ptr @.str.38 to i64), i64 1)
  br i1 %204, label %205, label %208

205:                                              ; preds = %198
  %206 = load ptr, ptr %3, align 8, !tbaa !5
  %207 = call ptr @m_JSONRead(ptr noundef %206, i64 noundef ptrtoint (ptr @.str.38 to i64), ptr noundef null)
  br label %211

208:                                              ; preds = %198
  %209 = load ptr, ptr %3, align 8, !tbaa !5
  %210 = call ptr @m_JSONRead(ptr noundef %209, i64 noundef 0, ptr noundef @.str.38)
  br label %211

211:                                              ; preds = %208, %205
  %212 = phi ptr [ %207, %205 ], [ %210, %208 ]
  store ptr %212, ptr %4, align 8, !tbaa !5
  %213 = load ptr, ptr %4, align 8, !tbaa !5
  %214 = getelementptr inbounds %struct.JSONNode, ptr %213, i32 0, i32 0
  %215 = load ptr, ptr %214, align 8, !tbaa !11
  %216 = call i32 (ptr, ...) @printf(ptr noundef @.str.39, ptr noundef %215)
  %217 = icmp eq i64 ptrtoint (ptr getelementptr inbounds (i8, ptr @.str.40, i64 1) to i64), add nsw (i64 ptrtoint (ptr @.str.40 to i64), i64 1)
  br i1 %217, label %218, label %221

218:                                              ; preds = %211
  %219 = load ptr, ptr %3, align 8, !tbaa !5
  %220 = call ptr @m_JSONRead(ptr noundef %219, i64 noundef ptrtoint (ptr @.str.40 to i64), ptr noundef null)
  br label %224

221:                                              ; preds = %211
  %222 = load ptr, ptr %3, align 8, !tbaa !5
  %223 = call ptr @m_JSONRead(ptr noundef %222, i64 noundef 0, ptr noundef @.str.40)
  br label %224

224:                                              ; preds = %221, %218
  %225 = phi ptr [ %220, %218 ], [ %223, %221 ]
  store ptr %225, ptr %4, align 8, !tbaa !5
  %226 = load ptr, ptr %4, align 8, !tbaa !5
  %227 = getelementptr inbounds %struct.JSONNode, ptr %226, i32 0, i32 0
  %228 = load ptr, ptr %227, align 8, !tbaa !11
  %229 = call i32 (ptr, ...) @printf(ptr noundef @.str.41, ptr noundef %228)
  %230 = icmp eq i64 ptrtoint (ptr getelementptr inbounds (i8, ptr @.str.42, i64 1) to i64), add nsw (i64 ptrtoint (ptr @.str.42 to i64), i64 1)
  br i1 %230, label %231, label %234

231:                                              ; preds = %224
  %232 = load ptr, ptr %3, align 8, !tbaa !5
  %233 = call ptr @m_JSONRead(ptr noundef %232, i64 noundef ptrtoint (ptr @.str.42 to i64), ptr noundef null)
  br label %237

234:                                              ; preds = %224
  %235 = load ptr, ptr %3, align 8, !tbaa !5
  %236 = call ptr @m_JSONRead(ptr noundef %235, i64 noundef 0, ptr noundef @.str.42)
  br label %237

237:                                              ; preds = %234, %231
  %238 = phi ptr [ %233, %231 ], [ %236, %234 ]
  store ptr %238, ptr %4, align 8, !tbaa !5
  %239 = load ptr, ptr %4, align 8, !tbaa !5
  %240 = getelementptr inbounds %struct.JSONNode, ptr %239, i32 0, i32 0
  %241 = load ptr, ptr %240, align 8, !tbaa !11
  %242 = call i32 (ptr, ...) @printf(ptr noundef @.str.43, ptr noundef %241)
  %243 = icmp eq i64 ptrtoint (ptr getelementptr inbounds (i8, ptr @.str.44, i64 1) to i64), add nsw (i64 ptrtoint (ptr @.str.44 to i64), i64 1)
  br i1 %243, label %244, label %247

244:                                              ; preds = %237
  %245 = load ptr, ptr %3, align 8, !tbaa !5
  %246 = call ptr @m_JSONRead(ptr noundef %245, i64 noundef ptrtoint (ptr @.str.44 to i64), ptr noundef null)
  br label %250

247:                                              ; preds = %237
  %248 = load ptr, ptr %3, align 8, !tbaa !5
  %249 = call ptr @m_JSONRead(ptr noundef %248, i64 noundef 0, ptr noundef @.str.44)
  br label %250

250:                                              ; preds = %247, %244
  %251 = phi ptr [ %246, %244 ], [ %249, %247 ]
  store ptr %251, ptr %4, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %8) #3
  %252 = icmp eq i64 ptrtoint (ptr getelementptr inbounds (i8, ptr @.str.45, i64 1) to i64), add nsw (i64 ptrtoint (ptr @.str.45 to i64), i64 1)
  br i1 %252, label %253, label %256

253:                                              ; preds = %250
  %254 = load ptr, ptr %4, align 8, !tbaa !5
  %255 = call ptr @m_JSONRead(ptr noundef %254, i64 noundef ptrtoint (ptr @.str.45 to i64), ptr noundef null)
  br label %259

256:                                              ; preds = %250
  %257 = load ptr, ptr %4, align 8, !tbaa !5
  %258 = call ptr @m_JSONRead(ptr noundef %257, i64 noundef 0, ptr noundef @.str.45)
  br label %259

259:                                              ; preds = %256, %253
  %260 = phi ptr [ %255, %253 ], [ %258, %256 ]
  store ptr %260, ptr %8, align 8, !tbaa !5
  %261 = load ptr, ptr %8, align 8, !tbaa !5
  %262 = getelementptr inbounds %struct.JSONNode, ptr %261, i32 0, i32 0
  %263 = load i32, ptr %262, align 8, !tbaa !11
  %264 = load ptr, ptr %8, align 8, !tbaa !5
  %265 = getelementptr inbounds %struct.JSONNode, ptr %264, i32 0, i32 1
  %266 = load i8, ptr %265, align 8, !tbaa !9
  %267 = zext i8 %266 to i64
  %268 = getelementptr inbounds [15 x ptr], ptr @jsontype, i64 0, i64 %267
  %269 = load ptr, ptr %268, align 8, !tbaa !5
  %270 = call i32 (ptr, ...) @printf(ptr noundef @.str.46, i32 noundef %263, ptr noundef %269)
  call void @llvm.lifetime.start.p0(i64 8, ptr %9) #3
  %271 = icmp eq i64 ptrtoint (ptr getelementptr inbounds (i8, ptr @.str.47, i64 1) to i64), add nsw (i64 ptrtoint (ptr @.str.47 to i64), i64 1)
  br i1 %271, label %272, label %275

272:                                              ; preds = %259
  %273 = load ptr, ptr %4, align 8, !tbaa !5
  %274 = call ptr @m_JSONRead(ptr noundef %273, i64 noundef ptrtoint (ptr @.str.47 to i64), ptr noundef null)
  br label %278

275:                                              ; preds = %259
  %276 = load ptr, ptr %4, align 8, !tbaa !5
  %277 = call ptr @m_JSONRead(ptr noundef %276, i64 noundef 0, ptr noundef @.str.47)
  br label %278

278:                                              ; preds = %275, %272
  %279 = phi ptr [ %274, %272 ], [ %277, %275 ]
  store ptr %279, ptr %9, align 8, !tbaa !5
  %280 = load ptr, ptr %9, align 8, !tbaa !5
  %281 = getelementptr inbounds %struct.JSONNode, ptr %280, i32 0, i32 0
  %282 = load i32, ptr %281, align 8, !tbaa !11
  %283 = load ptr, ptr %9, align 8, !tbaa !5
  %284 = getelementptr inbounds %struct.JSONNode, ptr %283, i32 0, i32 1
  %285 = load i8, ptr %284, align 8, !tbaa !9
  %286 = zext i8 %285 to i64
  %287 = getelementptr inbounds [15 x ptr], ptr @jsontype, i64 0, i64 %286
  %288 = load ptr, ptr %287, align 8, !tbaa !5
  %289 = call i32 (ptr, ...) @printf(ptr noundef @.str.48, i32 noundef %282, ptr noundef %288)
  call void @llvm.lifetime.start.p0(i64 8, ptr %10) #3
  %290 = icmp eq i64 ptrtoint (ptr getelementptr inbounds (i8, ptr @.str.49, i64 1) to i64), add nsw (i64 ptrtoint (ptr @.str.49 to i64), i64 1)
  br i1 %290, label %291, label %294

291:                                              ; preds = %278
  %292 = load ptr, ptr %4, align 8, !tbaa !5
  %293 = call ptr @m_JSONRead(ptr noundef %292, i64 noundef ptrtoint (ptr @.str.49 to i64), ptr noundef null)
  br label %297

294:                                              ; preds = %278
  %295 = load ptr, ptr %4, align 8, !tbaa !5
  %296 = call ptr @m_JSONRead(ptr noundef %295, i64 noundef 0, ptr noundef @.str.49)
  br label %297

297:                                              ; preds = %294, %291
  %298 = phi ptr [ %293, %291 ], [ %296, %294 ]
  store ptr %298, ptr %10, align 8, !tbaa !5
  %299 = load ptr, ptr %10, align 8, !tbaa !5
  %300 = getelementptr inbounds %struct.JSONNode, ptr %299, i32 0, i32 0
  %301 = load i32, ptr %300, align 8, !tbaa !11
  %302 = load ptr, ptr %10, align 8, !tbaa !5
  %303 = getelementptr inbounds %struct.JSONNode, ptr %302, i32 0, i32 1
  %304 = load i8, ptr %303, align 8, !tbaa !9
  %305 = zext i8 %304 to i64
  %306 = getelementptr inbounds [15 x ptr], ptr @jsontype, i64 0, i64 %305
  %307 = load ptr, ptr %306, align 8, !tbaa !5
  %308 = call i32 (ptr, ...) @printf(ptr noundef @.str.50, i32 noundef %301, ptr noundef %307)
  %309 = icmp eq i64 ptrtoint (ptr getelementptr inbounds (i8, ptr @.str.51, i64 1) to i64), add nsw (i64 ptrtoint (ptr @.str.51 to i64), i64 1)
  br i1 %309, label %310, label %313

310:                                              ; preds = %297
  %311 = load ptr, ptr %3, align 8, !tbaa !5
  %312 = call ptr @m_JSONRead(ptr noundef %311, i64 noundef ptrtoint (ptr @.str.51 to i64), ptr noundef null)
  br label %316

313:                                              ; preds = %297
  %314 = load ptr, ptr %3, align 8, !tbaa !5
  %315 = call ptr @m_JSONRead(ptr noundef %314, i64 noundef 0, ptr noundef @.str.51)
  br label %316

316:                                              ; preds = %313, %310
  %317 = phi ptr [ %312, %310 ], [ %315, %313 ]
  store ptr %317, ptr %8, align 8, !tbaa !5
  %318 = load ptr, ptr %8, align 8, !tbaa !5
  %319 = getelementptr inbounds %struct.JSONNode, ptr %318, i32 0, i32 0
  %320 = load i32, ptr %319, align 8, !tbaa !11
  %321 = load ptr, ptr %8, align 8, !tbaa !5
  %322 = getelementptr inbounds %struct.JSONNode, ptr %321, i32 0, i32 1
  %323 = load i8, ptr %322, align 8, !tbaa !9
  %324 = zext i8 %323 to i64
  %325 = getelementptr inbounds [15 x ptr], ptr @jsontype, i64 0, i64 %324
  %326 = load ptr, ptr %325, align 8, !tbaa !5
  %327 = call i32 (ptr, ...) @printf(ptr noundef @.str.46, i32 noundef %320, ptr noundef %326)
  %328 = icmp eq i64 ptrtoint (ptr getelementptr inbounds (i8, ptr @.str.52, i64 1) to i64), add nsw (i64 ptrtoint (ptr @.str.52 to i64), i64 1)
  br i1 %328, label %329, label %332

329:                                              ; preds = %316
  %330 = load ptr, ptr %3, align 8, !tbaa !5
  %331 = call ptr @m_JSONRead(ptr noundef %330, i64 noundef ptrtoint (ptr @.str.52 to i64), ptr noundef null)
  br label %335

332:                                              ; preds = %316
  %333 = load ptr, ptr %3, align 8, !tbaa !5
  %334 = call ptr @m_JSONRead(ptr noundef %333, i64 noundef 0, ptr noundef @.str.52)
  br label %335

335:                                              ; preds = %332, %329
  %336 = phi ptr [ %331, %329 ], [ %334, %332 ]
  store ptr %336, ptr %9, align 8, !tbaa !5
  %337 = load ptr, ptr %9, align 8, !tbaa !5
  %338 = getelementptr inbounds %struct.JSONNode, ptr %337, i32 0, i32 0
  %339 = load i32, ptr %338, align 8, !tbaa !11
  %340 = load ptr, ptr %9, align 8, !tbaa !5
  %341 = getelementptr inbounds %struct.JSONNode, ptr %340, i32 0, i32 1
  %342 = load i8, ptr %341, align 8, !tbaa !9
  %343 = zext i8 %342 to i64
  %344 = getelementptr inbounds [15 x ptr], ptr @jsontype, i64 0, i64 %343
  %345 = load ptr, ptr %344, align 8, !tbaa !5
  %346 = call i32 (ptr, ...) @printf(ptr noundef @.str.48, i32 noundef %339, ptr noundef %345)
  %347 = icmp eq i64 ptrtoint (ptr getelementptr inbounds (i8, ptr @.str.53, i64 1) to i64), add nsw (i64 ptrtoint (ptr @.str.53 to i64), i64 1)
  br i1 %347, label %348, label %351

348:                                              ; preds = %335
  %349 = load ptr, ptr %3, align 8, !tbaa !5
  %350 = call ptr @m_JSONRead(ptr noundef %349, i64 noundef ptrtoint (ptr @.str.53 to i64), ptr noundef null)
  br label %354

351:                                              ; preds = %335
  %352 = load ptr, ptr %3, align 8, !tbaa !5
  %353 = call ptr @m_JSONRead(ptr noundef %352, i64 noundef 0, ptr noundef @.str.53)
  br label %354

354:                                              ; preds = %351, %348
  %355 = phi ptr [ %350, %348 ], [ %353, %351 ]
  store ptr %355, ptr %10, align 8, !tbaa !5
  %356 = load ptr, ptr %10, align 8, !tbaa !5
  %357 = getelementptr inbounds %struct.JSONNode, ptr %356, i32 0, i32 0
  %358 = load i32, ptr %357, align 8, !tbaa !11
  %359 = load ptr, ptr %10, align 8, !tbaa !5
  %360 = getelementptr inbounds %struct.JSONNode, ptr %359, i32 0, i32 1
  %361 = load i8, ptr %360, align 8, !tbaa !9
  %362 = zext i8 %361 to i64
  %363 = getelementptr inbounds [15 x ptr], ptr @jsontype, i64 0, i64 %362
  %364 = load ptr, ptr %363, align 8, !tbaa !5
  %365 = call i32 (ptr, ...) @printf(ptr noundef @.str.50, i32 noundef %358, ptr noundef %364)
  %366 = icmp eq i64 ptrtoint (ptr getelementptr inbounds (i8, ptr @.str.54, i64 1) to i64), add nsw (i64 ptrtoint (ptr @.str.54 to i64), i64 1)
  br i1 %366, label %367, label %370

367:                                              ; preds = %354
  %368 = load ptr, ptr %3, align 8, !tbaa !5
  %369 = call ptr @m_JSONRead(ptr noundef %368, i64 noundef ptrtoint (ptr @.str.54 to i64), ptr noundef null)
  br label %373

370:                                              ; preds = %354
  %371 = load ptr, ptr %3, align 8, !tbaa !5
  %372 = call ptr @m_JSONRead(ptr noundef %371, i64 noundef 0, ptr noundef @.str.54)
  br label %373

373:                                              ; preds = %370, %367
  %374 = phi ptr [ %369, %367 ], [ %372, %370 ]
  store ptr %374, ptr %4, align 8, !tbaa !5
  %375 = load ptr, ptr %4, align 8, !tbaa !5
  %376 = getelementptr inbounds %struct.JSONNode, ptr %375, i32 0, i32 0
  %377 = load i32, ptr %376, align 8, !tbaa !11
  %378 = call i32 (ptr, ...) @printf(ptr noundef @.str.55, i32 noundef %377)
  %379 = icmp eq i64 ptrtoint (ptr getelementptr inbounds (i8, ptr @.str.56, i64 1) to i64), add nsw (i64 ptrtoint (ptr @.str.56 to i64), i64 1)
  br i1 %379, label %380, label %383

380:                                              ; preds = %373
  %381 = load ptr, ptr %3, align 8, !tbaa !5
  %382 = call ptr @m_JSONRead(ptr noundef %381, i64 noundef ptrtoint (ptr @.str.56 to i64), ptr noundef null)
  br label %386

383:                                              ; preds = %373
  %384 = load ptr, ptr %3, align 8, !tbaa !5
  %385 = call ptr @m_JSONRead(ptr noundef %384, i64 noundef 0, ptr noundef @.str.56)
  br label %386

386:                                              ; preds = %383, %380
  %387 = phi ptr [ %382, %380 ], [ %385, %383 ]
  store ptr %387, ptr %4, align 8, !tbaa !5
  %388 = load ptr, ptr %4, align 8, !tbaa !5
  %389 = getelementptr inbounds %struct.JSONNode, ptr %388, i32 0, i32 0
  %390 = load i32, ptr %389, align 8, !tbaa !11
  %391 = call i32 (ptr, ...) @printf(ptr noundef @.str.57, i32 noundef %390)
  %392 = icmp eq i64 ptrtoint (ptr getelementptr inbounds (i8, ptr @.str.58, i64 1) to i64), add nsw (i64 ptrtoint (ptr @.str.58 to i64), i64 1)
  br i1 %392, label %393, label %396

393:                                              ; preds = %386
  %394 = load ptr, ptr %3, align 8, !tbaa !5
  %395 = call ptr @m_JSONRead(ptr noundef %394, i64 noundef ptrtoint (ptr @.str.58 to i64), ptr noundef null)
  br label %399

396:                                              ; preds = %386
  %397 = load ptr, ptr %3, align 8, !tbaa !5
  %398 = call ptr @m_JSONRead(ptr noundef %397, i64 noundef 0, ptr noundef @.str.58)
  br label %399

399:                                              ; preds = %396, %393
  %400 = phi ptr [ %395, %393 ], [ %398, %396 ]
  store ptr %400, ptr %4, align 8, !tbaa !5
  %401 = load ptr, ptr %4, align 8, !tbaa !5
  %402 = getelementptr inbounds %struct.JSONNode, ptr %401, i32 0, i32 0
  %403 = load i32, ptr %402, align 8, !tbaa !11
  %404 = call i32 (ptr, ...) @printf(ptr noundef @.str.59, i32 noundef %403)
  %405 = icmp eq i64 ptrtoint (ptr getelementptr inbounds (i8, ptr @.str.60, i64 1) to i64), add nsw (i64 ptrtoint (ptr @.str.60 to i64), i64 1)
  br i1 %405, label %406, label %409

406:                                              ; preds = %399
  %407 = load ptr, ptr %3, align 8, !tbaa !5
  %408 = call ptr @m_JSONRead(ptr noundef %407, i64 noundef ptrtoint (ptr @.str.60 to i64), ptr noundef null)
  br label %412

409:                                              ; preds = %399
  %410 = load ptr, ptr %3, align 8, !tbaa !5
  %411 = call ptr @m_JSONRead(ptr noundef %410, i64 noundef 0, ptr noundef @.str.60)
  br label %412

412:                                              ; preds = %409, %406
  %413 = phi ptr [ %408, %406 ], [ %411, %409 ]
  store ptr %413, ptr %4, align 8, !tbaa !5
  %414 = load ptr, ptr %4, align 8, !tbaa !5
  %415 = getelementptr inbounds %struct.JSONNode, ptr %414, i32 0, i32 0
  %416 = load i32, ptr %415, align 8, !tbaa !11
  %417 = call i32 (ptr, ...) @printf(ptr noundef @.str.61, i32 noundef %416)
  call void @llvm.lifetime.start.p0(i64 8, ptr %11) #3
  %418 = icmp eq i64 ptrtoint (ptr getelementptr inbounds (i8, ptr @.str.62, i64 1) to i64), add nsw (i64 ptrtoint (ptr @.str.62 to i64), i64 1)
  br i1 %418, label %419, label %422

419:                                              ; preds = %412
  %420 = load ptr, ptr %3, align 8, !tbaa !5
  %421 = call ptr @m_JSONRead(ptr noundef %420, i64 noundef ptrtoint (ptr @.str.62 to i64), ptr noundef null)
  br label %425

422:                                              ; preds = %412
  %423 = load ptr, ptr %3, align 8, !tbaa !5
  %424 = call ptr @m_JSONRead(ptr noundef %423, i64 noundef 0, ptr noundef @.str.62)
  br label %425

425:                                              ; preds = %422, %419
  %426 = phi ptr [ %421, %419 ], [ %424, %422 ]
  store ptr %426, ptr %4, align 8, !tbaa !5
  %427 = load ptr, ptr %4, align 8, !tbaa !5
  %428 = call ptr @m_JSONRead(ptr noundef %427, i64 noundef 0, ptr noundef null)
  store ptr %428, ptr %11, align 8, !tbaa !5
  %429 = load ptr, ptr %11, align 8, !tbaa !5
  %430 = getelementptr inbounds %struct.JSONNode, ptr %429, i32 0, i32 0
  %431 = load i32, ptr %430, align 8, !tbaa !11
  %432 = call i32 (ptr, ...) @printf(ptr noundef @.str.55, i32 noundef %431)
  %433 = load ptr, ptr %4, align 8, !tbaa !5
  %434 = call ptr @m_JSONRead(ptr noundef %433, i64 noundef 1, ptr noundef null)
  store ptr %434, ptr %11, align 8, !tbaa !5
  %435 = load ptr, ptr %11, align 8, !tbaa !5
  %436 = getelementptr inbounds %struct.JSONNode, ptr %435, i32 0, i32 0
  %437 = load i32, ptr %436, align 8, !tbaa !11
  %438 = call i32 (ptr, ...) @printf(ptr noundef @.str.57, i32 noundef %437)
  %439 = icmp eq i64 ptrtoint (ptr getelementptr inbounds (i8, ptr @.str.63, i64 1) to i64), add nsw (i64 ptrtoint (ptr @.str.63 to i64), i64 1)
  br i1 %439, label %440, label %443

440:                                              ; preds = %425
  %441 = load ptr, ptr %4, align 8, !tbaa !5
  %442 = call ptr @m_JSONRead(ptr noundef %441, i64 noundef ptrtoint (ptr @.str.63 to i64), ptr noundef null)
  br label %446

443:                                              ; preds = %425
  %444 = load ptr, ptr %4, align 8, !tbaa !5
  %445 = call ptr @m_JSONRead(ptr noundef %444, i64 noundef 0, ptr noundef @.str.63)
  br label %446

446:                                              ; preds = %443, %440
  %447 = phi ptr [ %442, %440 ], [ %445, %443 ]
  store ptr %447, ptr %11, align 8, !tbaa !5
  %448 = load ptr, ptr %11, align 8, !tbaa !5
  %449 = getelementptr inbounds %struct.JSONNode, ptr %448, i32 0, i32 0
  %450 = load i32, ptr %449, align 8, !tbaa !11
  %451 = call i32 (ptr, ...) @printf(ptr noundef @.str.59, i32 noundef %450)
  %452 = icmp eq i64 ptrtoint (ptr getelementptr inbounds (i8, ptr @.str.60, i64 1) to i64), add nsw (i64 ptrtoint (ptr @.str.60 to i64), i64 1)
  br i1 %452, label %453, label %456

453:                                              ; preds = %446
  %454 = load ptr, ptr %3, align 8, !tbaa !5
  %455 = call ptr @m_JSONRead(ptr noundef %454, i64 noundef ptrtoint (ptr @.str.60 to i64), ptr noundef null)
  br label %459

456:                                              ; preds = %446
  %457 = load ptr, ptr %3, align 8, !tbaa !5
  %458 = call ptr @m_JSONRead(ptr noundef %457, i64 noundef 0, ptr noundef @.str.60)
  br label %459

459:                                              ; preds = %456, %453
  %460 = phi ptr [ %455, %453 ], [ %458, %456 ]
  store ptr %460, ptr %11, align 8, !tbaa !5
  %461 = load ptr, ptr %11, align 8, !tbaa !5
  %462 = getelementptr inbounds %struct.JSONNode, ptr %461, i32 0, i32 0
  %463 = load i32, ptr %462, align 8, !tbaa !11
  %464 = call i32 (ptr, ...) @printf(ptr noundef @.str.61, i32 noundef %463)
  %465 = icmp eq i64 ptrtoint (ptr getelementptr inbounds (i8, ptr @.str.64, i64 1) to i64), add nsw (i64 ptrtoint (ptr @.str.64 to i64), i64 1)
  br i1 %465, label %466, label %469

466:                                              ; preds = %459
  %467 = load ptr, ptr %3, align 8, !tbaa !5
  %468 = call ptr @m_JSONRead(ptr noundef %467, i64 noundef ptrtoint (ptr @.str.64 to i64), ptr noundef null)
  br label %472

469:                                              ; preds = %459
  %470 = load ptr, ptr %3, align 8, !tbaa !5
  %471 = call ptr @m_JSONRead(ptr noundef %470, i64 noundef 0, ptr noundef @.str.64)
  br label %472

472:                                              ; preds = %469, %466
  %473 = phi ptr [ %468, %466 ], [ %471, %469 ]
  store ptr %473, ptr %4, align 8, !tbaa !5
  %474 = load ptr, ptr %4, align 8, !tbaa !5
  %475 = getelementptr inbounds %struct.JSONNode, ptr %474, i32 0, i32 0
  %476 = load i32, ptr %475, align 8, !tbaa !11
  %477 = call i32 (ptr, ...) @printf(ptr noundef @.str.65, i32 noundef %476)
  call void @llvm.lifetime.start.p0(i64 8, ptr %12) #3
  %478 = icmp eq i64 ptrtoint (ptr getelementptr inbounds (i8, ptr @.str.66, i64 1) to i64), add nsw (i64 ptrtoint (ptr @.str.66 to i64), i64 1)
  br i1 %478, label %479, label %482

479:                                              ; preds = %472
  %480 = load ptr, ptr %3, align 8, !tbaa !5
  %481 = call ptr @m_JSONRead(ptr noundef %480, i64 noundef ptrtoint (ptr @.str.66 to i64), ptr noundef null)
  br label %485

482:                                              ; preds = %472
  %483 = load ptr, ptr %3, align 8, !tbaa !5
  %484 = call ptr @m_JSONRead(ptr noundef %483, i64 noundef 0, ptr noundef @.str.66)
  br label %485

485:                                              ; preds = %482, %479
  %486 = phi ptr [ %481, %479 ], [ %484, %482 ]
  store ptr %486, ptr %12, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %13) #3
  store i32 0, ptr %13, align 4, !tbaa !15
  br label %487

487:                                              ; preds = %554, %485
  %488 = load i32, ptr %13, align 4, !tbaa !15
  %489 = load ptr, ptr %12, align 8, !tbaa !5
  %490 = getelementptr inbounds %struct.JSONNode, ptr %489, i32 0, i32 0
  %491 = load i16, ptr %490, align 8, !tbaa !11
  %492 = zext i16 %491 to i32
  %493 = icmp slt i32 %488, %492
  br i1 %493, label %495, label %494

494:                                              ; preds = %487
  store i32 2, ptr %14, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %13) #3
  br label %557

495:                                              ; preds = %487
  call void @llvm.lifetime.start.p0(i64 8, ptr %15) #3
  %496 = load i32, ptr %13, align 4, !tbaa !15
  %497 = add nsw i32 %496, 1
  %498 = sext i32 %497 to i64
  %499 = load i32, ptr %13, align 4, !tbaa !15
  %500 = sext i32 %499 to i64
  %501 = add nsw i64 %500, 1
  %502 = icmp eq i64 %498, %501
  br i1 %502, label %503, label %508

503:                                              ; preds = %495
  %504 = load ptr, ptr %12, align 8, !tbaa !5
  %505 = load i32, ptr %13, align 4, !tbaa !15
  %506 = sext i32 %505 to i64
  %507 = call ptr @m_JSONRead(ptr noundef %504, i64 noundef %506, ptr noundef null)
  br label %514

508:                                              ; preds = %495
  %509 = load ptr, ptr %12, align 8, !tbaa !5
  %510 = load i32, ptr %13, align 4, !tbaa !15
  %511 = sext i32 %510 to i64
  %512 = inttoptr i64 %511 to ptr
  %513 = call ptr @m_JSONRead(ptr noundef %509, i64 noundef 0, ptr noundef %512)
  br label %514

514:                                              ; preds = %508, %503
  %515 = phi ptr [ %507, %503 ], [ %513, %508 ]
  store ptr %515, ptr %15, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %16) #3
  store i32 0, ptr %16, align 4, !tbaa !15
  br label %516

516:                                              ; preds = %549, %514
  %517 = load i32, ptr %16, align 4, !tbaa !15
  %518 = load ptr, ptr %15, align 8, !tbaa !5
  %519 = getelementptr inbounds %struct.JSONNode, ptr %518, i32 0, i32 0
  %520 = load i16, ptr %519, align 8, !tbaa !11
  %521 = zext i16 %520 to i32
  %522 = icmp slt i32 %517, %521
  br i1 %522, label %524, label %523

523:                                              ; preds = %516
  store i32 5, ptr %14, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %16) #3
  br label %552

524:                                              ; preds = %516
  call void @llvm.lifetime.start.p0(i64 8, ptr %17) #3
  %525 = load i32, ptr %16, align 4, !tbaa !15
  %526 = add nsw i32 %525, 1
  %527 = sext i32 %526 to i64
  %528 = load i32, ptr %16, align 4, !tbaa !15
  %529 = sext i32 %528 to i64
  %530 = add nsw i64 %529, 1
  %531 = icmp eq i64 %527, %530
  br i1 %531, label %532, label %537

532:                                              ; preds = %524
  %533 = load ptr, ptr %15, align 8, !tbaa !5
  %534 = load i32, ptr %16, align 4, !tbaa !15
  %535 = sext i32 %534 to i64
  %536 = call ptr @m_JSONRead(ptr noundef %533, i64 noundef %535, ptr noundef null)
  br label %543

537:                                              ; preds = %524
  %538 = load ptr, ptr %15, align 8, !tbaa !5
  %539 = load i32, ptr %16, align 4, !tbaa !15
  %540 = sext i32 %539 to i64
  %541 = inttoptr i64 %540 to ptr
  %542 = call ptr @m_JSONRead(ptr noundef %538, i64 noundef 0, ptr noundef %541)
  br label %543

543:                                              ; preds = %537, %532
  %544 = phi ptr [ %536, %532 ], [ %542, %537 ]
  store ptr %544, ptr %17, align 8, !tbaa !5
  %545 = load ptr, ptr %17, align 8, !tbaa !5
  %546 = getelementptr inbounds %struct.JSONNode, ptr %545, i32 0, i32 0
  %547 = load i32, ptr %546, align 8, !tbaa !11
  %548 = call i32 (ptr, ...) @printf(ptr noundef @.str.67, i32 noundef %547)
  call void @llvm.lifetime.end.p0(i64 8, ptr %17) #3
  br label %549

549:                                              ; preds = %543
  %550 = load i32, ptr %16, align 4, !tbaa !15
  %551 = add nsw i32 %550, 1
  store i32 %551, ptr %16, align 4, !tbaa !15
  br label %516, !llvm.loop !19

552:                                              ; preds = %523
  %553 = call i32 (ptr, ...) @printf(ptr noundef @.str.68)
  call void @llvm.lifetime.end.p0(i64 8, ptr %15) #3
  br label %554

554:                                              ; preds = %552
  %555 = load i32, ptr %13, align 4, !tbaa !15
  %556 = add nsw i32 %555, 1
  store i32 %556, ptr %13, align 4, !tbaa !15
  br label %487, !llvm.loop !21

557:                                              ; preds = %494
  %558 = icmp eq i64 ptrtoint (ptr getelementptr inbounds (i8, ptr @.str.69, i64 1) to i64), add nsw (i64 ptrtoint (ptr @.str.69 to i64), i64 1)
  br i1 %558, label %559, label %562

559:                                              ; preds = %557
  %560 = load ptr, ptr %3, align 8, !tbaa !5
  %561 = call ptr @m_JSONRead(ptr noundef %560, i64 noundef ptrtoint (ptr @.str.69 to i64), ptr noundef null)
  br label %565

562:                                              ; preds = %557
  %563 = load ptr, ptr %3, align 8, !tbaa !5
  %564 = call ptr @m_JSONRead(ptr noundef %563, i64 noundef 0, ptr noundef @.str.69)
  br label %565

565:                                              ; preds = %562, %559
  %566 = phi ptr [ %561, %559 ], [ %564, %562 ]
  store ptr %566, ptr %4, align 8, !tbaa !5
  %567 = load ptr, ptr %4, align 8, !tbaa !5
  %568 = getelementptr inbounds %struct.JSONNode, ptr %567, i32 0, i32 0
  %569 = load ptr, ptr %568, align 8, !tbaa !11
  %570 = call i32 (ptr, ...) @printf(ptr noundef @.str.70, ptr noundef %569)
  %571 = icmp eq i64 ptrtoint (ptr getelementptr inbounds (i8, ptr @.str.71, i64 1) to i64), add nsw (i64 ptrtoint (ptr @.str.71 to i64), i64 1)
  br i1 %571, label %572, label %575

572:                                              ; preds = %565
  %573 = load ptr, ptr %3, align 8, !tbaa !5
  %574 = call ptr @m_JSONRead(ptr noundef %573, i64 noundef ptrtoint (ptr @.str.71 to i64), ptr noundef null)
  br label %578

575:                                              ; preds = %565
  %576 = load ptr, ptr %3, align 8, !tbaa !5
  %577 = call ptr @m_JSONRead(ptr noundef %576, i64 noundef 0, ptr noundef @.str.71)
  br label %578

578:                                              ; preds = %575, %572
  %579 = phi ptr [ %574, %572 ], [ %577, %575 ]
  store ptr %579, ptr %4, align 8, !tbaa !5
  %580 = load ptr, ptr %4, align 8, !tbaa !5
  %581 = getelementptr inbounds %struct.JSONNode, ptr %580, i32 0, i32 0
  %582 = load ptr, ptr %581, align 8, !tbaa !11
  %583 = call i32 (ptr, ...) @printf(ptr noundef @.str.70, ptr noundef %582)
  %584 = icmp eq i64 ptrtoint (ptr getelementptr inbounds (i8, ptr @.str.72, i64 1) to i64), add nsw (i64 ptrtoint (ptr @.str.72 to i64), i64 1)
  br i1 %584, label %585, label %588

585:                                              ; preds = %578
  %586 = load ptr, ptr %3, align 8, !tbaa !5
  %587 = call ptr @m_JSONRead(ptr noundef %586, i64 noundef ptrtoint (ptr @.str.72 to i64), ptr noundef null)
  br label %591

588:                                              ; preds = %578
  %589 = load ptr, ptr %3, align 8, !tbaa !5
  %590 = call ptr @m_JSONRead(ptr noundef %589, i64 noundef 0, ptr noundef @.str.72)
  br label %591

591:                                              ; preds = %588, %585
  %592 = phi ptr [ %587, %585 ], [ %590, %588 ]
  store ptr %592, ptr %4, align 8, !tbaa !5
  %593 = load ptr, ptr %4, align 8, !tbaa !5
  %594 = getelementptr inbounds %struct.JSONNode, ptr %593, i32 0, i32 0
  %595 = load ptr, ptr %594, align 8, !tbaa !11
  %596 = call i32 (ptr, ...) @printf(ptr noundef @.str.70, ptr noundef %595)
  %597 = load ptr, ptr %3, align 8, !tbaa !5
  %598 = getelementptr inbounds %struct.JSONNode, ptr %597, i32 0, i32 0
  %599 = load i16, ptr %598, align 8, !tbaa !11
  %600 = zext i16 %599 to i32
  %601 = call i32 (ptr, ...) @printf(ptr noundef @.str.16, i32 noundef %600)
  call void @llvm.lifetime.start.p0(i64 24, ptr %18) #3
  %602 = getelementptr inbounds %struct.JSONNode, ptr %18, i32 0, i32 1
  store i8 9, ptr %602, align 8, !tbaa !9
  %603 = getelementptr inbounds %struct.JSONNode, ptr %18, i32 0, i32 0
  store ptr @.str.73, ptr %603, align 8, !tbaa !11
  %604 = load ptr, ptr %3, align 8, !tbaa !5
  %605 = call ptr @m_JSONWrite(ptr noundef %604, i64 noundef ptrtoint (ptr @.str.74 to i64), ptr noundef %18)
  store ptr %605, ptr %4, align 8, !tbaa !5
  %606 = load ptr, ptr %4, align 8, !tbaa !5
  %607 = call i32 (ptr, ...) @printf(ptr noundef @.str.75, ptr noundef %606)
  %608 = load ptr, ptr %3, align 8, !tbaa !5
  %609 = getelementptr inbounds %struct.JSONNode, ptr %608, i32 0, i32 0
  %610 = load i16, ptr %609, align 8, !tbaa !11
  %611 = zext i16 %610 to i32
  %612 = call i32 (ptr, ...) @printf(ptr noundef @.str.16, i32 noundef %611)
  %613 = icmp eq i64 ptrtoint (ptr getelementptr inbounds (i8, ptr @.str.74, i64 1) to i64), add nsw (i64 ptrtoint (ptr @.str.74 to i64), i64 1)
  br i1 %613, label %614, label %617

614:                                              ; preds = %591
  %615 = load ptr, ptr %3, align 8, !tbaa !5
  %616 = call ptr @m_JSONRead(ptr noundef %615, i64 noundef ptrtoint (ptr @.str.74 to i64), ptr noundef null)
  br label %620

617:                                              ; preds = %591
  %618 = load ptr, ptr %3, align 8, !tbaa !5
  %619 = call ptr @m_JSONRead(ptr noundef %618, i64 noundef 0, ptr noundef @.str.74)
  br label %620

620:                                              ; preds = %617, %614
  %621 = phi ptr [ %616, %614 ], [ %619, %617 ]
  store ptr %621, ptr %4, align 8, !tbaa !5
  %622 = load ptr, ptr %4, align 8, !tbaa !5
  %623 = call i32 (ptr, ...) @printf(ptr noundef @.str.75, ptr noundef %622)
  %624 = load ptr, ptr %4, align 8, !tbaa !5
  %625 = getelementptr inbounds %struct.JSONNode, ptr %624, i32 0, i32 0
  %626 = load ptr, ptr %625, align 8, !tbaa !11
  %627 = call i32 (ptr, ...) @printf(ptr noundef @.str.70, ptr noundef %626)
  %628 = load ptr, ptr %2, align 8, !tbaa !5
  call void @mObjectRelease(ptr noundef %628)
  call void @llvm.lifetime.end.p0(i64 24, ptr %18) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %12) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %11) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %10) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %9) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %8) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %7) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %6) #3
  call void @llvm.lifetime.end.p0(i64 24, ptr %5) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %4) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %3) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %2) #3
  %629 = load i32, ptr %1, align 4
  ret i32 %629
}

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

declare ptr @mFileCreate(ptr noundef, ...) #2

declare ptr @mJSONLoad(ptr noundef) #2

declare i32 @printf(ptr noundef, ...) #2

declare ptr @m_JSONRead(ptr noundef, i64 noundef, ptr noundef) #2

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

declare ptr @m_JSONWrite(ptr noundef, i64 noundef, ptr noundef) #2

declare void @mObjectRelease(ptr noundef) #2

attributes #0 = { 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 #1 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #2 = { "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, !7, i64 8}
!10 = !{!"JSONNode", !7, i64 0, !7, i64 8, !6, i64 16}
!11 = !{!7, !7, i64 0}
!12 = !{!10, !6, i64 16}
!13 = !{i8 0, i8 2}
!14 = !{}
!15 = !{!16, !16, i64 0}
!16 = !{!"int", !7, i64 0}
!17 = !{!18, !18, i64 0}
!18 = !{!"double", !7, i64 0}
!19 = distinct !{!19, !20}
!20 = !{!"llvm.loop.mustprogress"}
!21 = distinct !{!21, !20}


; Optimized IR (opt -passes='default<O3>'):
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

%struct.JSONNode = type { %union.anon, i8, ptr }
%union.anon = type { double }

@jsontype = external dso_local local_unnamed_addr global [15 x ptr], align 16
@.str.14 = external hidden unnamed_addr constant [17 x i8], align 1
@.str.15 = external hidden unnamed_addr constant [15 x i8], align 1
@.str.16 = external hidden unnamed_addr constant [14 x i8], align 1
@.str.17 = external hidden unnamed_addr constant [6 x i8], align 1
@.str.18 = external hidden unnamed_addr constant [15 x i8], align 1
@.str.19 = external hidden unnamed_addr constant [14 x i8], align 1
@.str.20 = external hidden unnamed_addr constant [17 x i8], align 1
@.str.21 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.22 = external hidden unnamed_addr constant [6 x i8], align 1
@.str.23 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.24 = external hidden unnamed_addr constant [6 x i8], align 1
@.str.25 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.26 = external hidden unnamed_addr constant [6 x i8], align 1
@.str.27 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.28 = external hidden unnamed_addr constant [7 x i8], align 1
@.str.29 = external hidden unnamed_addr constant [8 x i8], align 1
@.str.30 = external hidden unnamed_addr constant [31 x i8], align 1
@.str.31 = external hidden unnamed_addr constant [8 x i8], align 1
@.str.32 = external hidden unnamed_addr constant [13 x i8], align 1
@.str.33 = external hidden unnamed_addr constant [36 x i8], align 1
@.str.34 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.35 = external hidden unnamed_addr constant [16 x i8], align 1
@.str.36 = external hidden unnamed_addr constant [4 x i8], align 1
@.str.37 = external hidden unnamed_addr constant [8 x i8], align 1
@.str.38 = external hidden unnamed_addr constant [8 x i8], align 1
@.str.39 = external hidden unnamed_addr constant [12 x i8], align 1
@.str.40 = external hidden unnamed_addr constant [9 x i8], align 1
@.str.41 = external hidden unnamed_addr constant [15 x i8], align 1
@.str.42 = external hidden unnamed_addr constant [9 x i8], align 1
@.str.43 = external hidden unnamed_addr constant [15 x i8], align 1
@.str.44 = external hidden unnamed_addr constant [5 x i8], align 1
@.str.45 = external hidden unnamed_addr constant [5 x i8], align 1
@.str.46 = external hidden unnamed_addr constant [22 x i8], align 1
@.str.47 = external hidden unnamed_addr constant [6 x i8], align 1
@.str.48 = external hidden unnamed_addr constant [23 x i8], align 1
@.str.49 = external hidden unnamed_addr constant [4 x i8], align 1
@.str.50 = external hidden unnamed_addr constant [21 x i8], align 1
@.str.51 = external hidden unnamed_addr constant [10 x i8], align 1
@.str.52 = external hidden unnamed_addr constant [11 x i8], align 1
@.str.53 = external hidden unnamed_addr constant [9 x i8], align 1
@.str.54 = external hidden unnamed_addr constant [6 x i8], align 1
@.str.55 = external hidden unnamed_addr constant [10 x i8], align 1
@.str.56 = external hidden unnamed_addr constant [6 x i8], align 1
@.str.57 = external hidden unnamed_addr constant [10 x i8], align 1
@.str.58 = external hidden unnamed_addr constant [6 x i8], align 1
@.str.59 = external hidden unnamed_addr constant [10 x i8], align 1
@.str.60 = external hidden unnamed_addr constant [6 x i8], align 1
@.str.61 = external hidden unnamed_addr constant [10 x i8], align 1
@.str.62 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.63 = external hidden unnamed_addr constant [4 x i8], align 1
@.str.64 = external hidden unnamed_addr constant [9 x i8], align 1
@.str.65 = external hidden unnamed_addr constant [13 x i8], align 1
@.str.66 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.67 = external hidden unnamed_addr constant [6 x i8], align 1
@.str.68 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.69 = external hidden unnamed_addr constant [18 x i8], align 1
@.str.70 = external hidden unnamed_addr constant [4 x i8], align 1
@.str.71 = external hidden unnamed_addr constant [18 x i8], align 1
@.str.72 = external hidden unnamed_addr constant [15 x i8], align 1
@.str.73 = external hidden unnamed_addr constant [4 x i8], align 1
@.str.74 = external hidden unnamed_addr constant [5 x i8], align 1
@.str.75 = external hidden unnamed_addr constant [14 x i8], align 1

; Function Attrs: nounwind uwtable
define dso_local noundef i32 @main() local_unnamed_addr #0 {
  %1 = alloca %struct.JSONNode, align 8
  %2 = alloca %struct.JSONNode, align 8
  %3 = tail call ptr (ptr, ...) @mFileCreate(ptr noundef nonnull @.str.14) #4
  %4 = tail call ptr @mJSONLoad(ptr noundef %3) #4
  %5 = getelementptr inbounds i8, ptr %4, i64 8
  %6 = load i8, ptr %5, align 8, !tbaa !5
  %7 = zext i8 %6 to i64
  %8 = getelementptr inbounds [15 x ptr], ptr @jsontype, i64 0, i64 %7
  %9 = load ptr, ptr %8, align 8, !tbaa !10
  %10 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.15, ptr noundef %9)
  %11 = load i16, ptr %4, align 8, !tbaa !11
  %12 = zext i16 %11 to i32
  %13 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.16, i32 noundef %12)
  %14 = icmp eq i64 ptrtoint (ptr getelementptr inbounds (i8, ptr @.str.17, i64 1) to i64), add (i64 ptrtoint (ptr @.str.17 to i64), i64 1)
  br i1 %14, label %15, label %17

15:                                               ; preds = %0
  %16 = tail call ptr @m_JSONRead(ptr noundef nonnull %4, i64 noundef ptrtoint (ptr @.str.17 to i64), ptr noundef null) #4
  br label %19

17:                                               ; preds = %0
  %18 = tail call ptr @m_JSONRead(ptr noundef nonnull %4, i64 noundef 0, ptr noundef nonnull @.str.17) #4
  br label %19

19:                                               ; preds = %17, %15
  %20 = phi ptr [ %16, %15 ], [ %18, %17 ]
  %21 = getelementptr inbounds i8, ptr %20, i64 8
  %22 = load i8, ptr %21, align 8, !tbaa !5
  %23 = zext i8 %22 to i64
  %24 = getelementptr inbounds [15 x ptr], ptr @jsontype, i64 0, i64 %23
  %25 = load ptr, ptr %24, align 8, !tbaa !10
  %26 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.18, ptr noundef %25)
  %27 = getelementptr inbounds i8, ptr %20, i64 16
  %28 = load ptr, ptr %27, align 8, !tbaa !12
  %29 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.19, ptr noundef %28)
  %30 = load ptr, ptr %20, align 8, !tbaa !11
  %31 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.20, ptr noundef %30)
  %32 = icmp eq i64 ptrtoint (ptr getelementptr inbounds (i8, ptr @.str.21, i64 1) to i64), add (i64 ptrtoint (ptr @.str.21 to i64), i64 1)
  br i1 %32, label %33, label %35

33:                                               ; preds = %19
  %34 = tail call ptr @m_JSONRead(ptr noundef nonnull %4, i64 noundef ptrtoint (ptr @.str.21 to i64), ptr noundef null) #4
  br label %37

35:                                               ; preds = %19
  %36 = tail call ptr @m_JSONRead(ptr noundef nonnull %4, i64 noundef 0, ptr noundef nonnull @.str.21) #4
  br label %37

37:                                               ; preds = %35, %33
  %38 = phi ptr [ %34, %33 ], [ %36, %35 ]
  %.not = icmp eq ptr %38, null
  br i1 %.not, label %47, label %39

39:                                               ; preds = %37
  %40 = getelementptr inbounds i8, ptr %38, i64 8
  %41 = load i8, ptr %40, align 8, !tbaa !5
  %42 = icmp eq i8 %41, 3
  br i1 %42, label %43, label %47

43:                                               ; preds = %39
  %44 = load i8, ptr %38, align 8, !tbaa !11, !range !13, !noundef !14
  %45 = zext nneg i8 %44 to i32
  %46 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.22, i32 noundef %45)
  br label %47

47:                                               ; preds = %39, %43, %37
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %1) #4
  %48 = call ptr @m_JSONRead(ptr noundef nonnull %4, i64 noundef ptrtoint (ptr @.str.23 to i64), ptr noundef nonnull %1) #4
  %49 = load i8, ptr %1, align 8, !tbaa !11, !range !13, !noundef !14
  %50 = zext nneg i8 %49 to i32
  %51 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.24, i32 noundef %50)
  %52 = icmp eq i64 ptrtoint (ptr getelementptr inbounds (i8, ptr @.str.25, i64 1) to i64), add (i64 ptrtoint (ptr @.str.25 to i64), i64 1)
  br i1 %52, label %53, label %55

53:                                               ; preds = %47
  %54 = call ptr @m_JSONRead(ptr noundef nonnull %4, i64 noundef ptrtoint (ptr @.str.25 to i64), ptr noundef null) #4
  br label %57

55:                                               ; preds = %47
  %56 = call ptr @m_JSONRead(ptr noundef nonnull %4, i64 noundef 0, ptr noundef nonnull @.str.25) #4
  br label %57

57:                                               ; preds = %55, %53
  %58 = phi ptr [ %54, %53 ], [ %56, %55 ]
  %59 = load i32, ptr %58, align 4, !tbaa !15
  %60 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.26, i32 noundef %59)
  %61 = icmp eq i64 ptrtoint (ptr getelementptr inbounds (i8, ptr @.str.27, i64 1) to i64), add (i64 ptrtoint (ptr @.str.27 to i64), i64 1)
  br i1 %61, label %62, label %64

62:                                               ; preds = %57
  %63 = call ptr @m_JSONRead(ptr noundef nonnull %4, i64 noundef ptrtoint (ptr @.str.27 to i64), ptr noundef null) #4
  br label %66

64:                                               ; preds = %57
  %65 = call ptr @m_JSONRead(ptr noundef nonnull %4, i64 noundef 0, ptr noundef nonnull @.str.27) #4
  br label %66

66:                                               ; preds = %64, %62
  %67 = phi ptr [ %63, %62 ], [ %65, %64 ]
  %68 = load double, ptr %67, align 8, !tbaa !17
  %69 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.28, double noundef %68)
  %70 = icmp eq i64 ptrtoint (ptr getelementptr inbounds (i8, ptr @.str.29, i64 1) to i64), add (i64 ptrtoint (ptr @.str.29 to i64), i64 1)
  br i1 %70, label %71, label %73

71:                                               ; preds = %66
  %72 = call ptr @m_JSONRead(ptr noundef nonnull %4, i64 noundef ptrtoint (ptr @.str.29 to i64), ptr noundef null) #4
  br label %75

73:                                               ; preds = %66
  %74 = call ptr @m_JSONRead(ptr noundef nonnull %4, i64 noundef 0, ptr noundef nonnull @.str.29) #4
  br label %75

75:                                               ; preds = %73, %71
  %76 = phi ptr [ %72, %71 ], [ %74, %73 ]
  %77 = getelementptr inbounds i8, ptr %76, i64 8
  %78 = load i8, ptr %77, align 8, !tbaa !5
  %79 = zext i8 %78 to i64
  %80 = getelementptr inbounds [15 x ptr], ptr @jsontype, i64 0, i64 %79
  %81 = load ptr, ptr %80, align 8, !tbaa !10
  %82 = load double, ptr %76, align 8, !tbaa !11
  %83 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.30, ptr noundef %81, double noundef %82)
  %84 = icmp eq i64 ptrtoint (ptr getelementptr inbounds (i8, ptr @.str.31, i64 1) to i64), add (i64 ptrtoint (ptr @.str.31 to i64), i64 1)
  br i1 %84, label %85, label %87

85:                                               ; preds = %75
  %86 = call ptr @m_JSONRead(ptr noundef nonnull %4, i64 noundef ptrtoint (ptr @.str.31 to i64), ptr noundef null) #4
  br label %89

87:                                               ; preds = %75
  %88 = call ptr @m_JSONRead(ptr noundef nonnull %4, i64 noundef 0, ptr noundef nonnull @.str.31) #4
  br label %89

89:                                               ; preds = %87, %85
  %90 = phi ptr [ %86, %85 ], [ %88, %87 ]
  %91 = getelementptr inbounds i8, ptr %90, i64 8
  %92 = load i8, ptr %91, align 8, !tbaa !5
  %93 = zext i8 %92 to i64
  %94 = getelementptr inbounds [15 x ptr], ptr @jsontype, i64 0, i64 %93
  %95 = load ptr, ptr %94, align 8, !tbaa !10
  %96 = load double, ptr %90, align 8, !tbaa !11
  %97 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.30, ptr noundef %95, double noundef %96)
  %98 = icmp eq i64 ptrtoint (ptr getelementptr inbounds (i8, ptr @.str.32, i64 1) to i64), add (i64 ptrtoint (ptr @.str.32 to i64), i64 1)
  br i1 %98, label %99, label %101

99:                                               ; preds = %89
  %100 = call ptr @m_JSONRead(ptr noundef nonnull %4, i64 noundef ptrtoint (ptr @.str.32 to i64), ptr noundef null) #4
  br label %103

101:                                              ; preds = %89
  %102 = call ptr @m_JSONRead(ptr noundef nonnull %4, i64 noundef 0, ptr noundef nonnull @.str.32) #4
  br label %103

103:                                              ; preds = %101, %99
  %104 = phi ptr [ %100, %99 ], [ %102, %101 ]
  %105 = getelementptr inbounds i8, ptr %104, i64 8
  %106 = load i8, ptr %105, align 8, !tbaa !5
  %107 = zext i8 %106 to i64
  %108 = getelementptr inbounds [15 x ptr], ptr @jsontype, i64 0, i64 %107
  %109 = load ptr, ptr %108, align 8, !tbaa !10
  %110 = load double, ptr %104, align 8, !tbaa !11
  %111 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.33, ptr noundef %109, double noundef %110)
  %112 = icmp eq i64 ptrtoint (ptr getelementptr inbounds (i8, ptr @.str.34, i64 1) to i64), add (i64 ptrtoint (ptr @.str.34 to i64), i64 1)
  br i1 %112, label %113, label %115

113:                                              ; preds = %103
  %114 = call ptr @m_JSONRead(ptr noundef nonnull %4, i64 noundef ptrtoint (ptr @.str.34 to i64), ptr noundef null) #4
  br label %117

115:                                              ; preds = %103
  %116 = call ptr @m_JSONRead(ptr noundef nonnull %4, i64 noundef 0, ptr noundef nonnull @.str.34) #4
  br label %117

117:                                              ; preds = %115, %113
  %118 = phi ptr [ %114, %113 ], [ %116, %115 ]
  %119 = getelementptr inbounds i8, ptr %118, i64 8
  %120 = load i8, ptr %119, align 8, !tbaa !5
  %121 = zext i8 %120 to i64
  %122 = getelementptr inbounds [15 x ptr], ptr @jsontype, i64 0, i64 %121
  %123 = load ptr, ptr %122, align 8, !tbaa !10
  %124 = load ptr, ptr %118, align 8, !tbaa !11
  %125 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.35, ptr noundef %123, ptr noundef %124)
  %126 = icmp eq i64 ptrtoint (ptr getelementptr inbounds (i8, ptr @.str.36, i64 1) to i64), add (i64 ptrtoint (ptr @.str.36 to i64), i64 1)
  br i1 %126, label %127, label %129

127:                                              ; preds = %117
  %128 = call ptr @m_JSONRead(ptr noundef nonnull %4, i64 noundef ptrtoint (ptr @.str.36 to i64), ptr noundef null) #4
  br label %131

129:                                              ; preds = %117
  %130 = call ptr @m_JSONRead(ptr noundef nonnull %4, i64 noundef 0, ptr noundef nonnull @.str.36) #4
  br label %131

131:                                              ; preds = %129, %127
  %132 = phi ptr [ %128, %127 ], [ %130, %129 ]
  %133 = load ptr, ptr %132, align 8, !tbaa !11
  %134 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.37, ptr noundef %133)
  %135 = icmp eq i64 ptrtoint (ptr getelementptr inbounds (i8, ptr @.str.38, i64 1) to i64), add (i64 ptrtoint (ptr @.str.38 to i64), i64 1)
  br i1 %135, label %136, label %138

136:                                              ; preds = %131
  %137 = call ptr @m_JSONRead(ptr noundef nonnull %4, i64 noundef ptrtoint (ptr @.str.38 to i64), ptr noundef null) #4
  br label %140

138:                                              ; preds = %131
  %139 = call ptr @m_JSONRead(ptr noundef nonnull %4, i64 noundef 0, ptr noundef nonnull @.str.38) #4
  br label %140

140:                                              ; preds = %138, %136
  %141 = phi ptr [ %137, %136 ], [ %139, %138 ]
  %142 = load ptr, ptr %141, align 8, !tbaa !11
  %143 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.39, ptr noundef %142)
  %144 = icmp eq i64 ptrtoint (ptr getelementptr inbounds (i8, ptr @.str.40, i64 1) to i64), add (i64 ptrtoint (ptr @.str.40 to i64), i64 1)
  br i1 %144, label %145, label %147

145:                                              ; preds = %140
  %146 = call ptr @m_JSONRead(ptr noundef nonnull %4, i64 noundef ptrtoint (ptr @.str.40 to i64), ptr noundef null) #4
  br label %149

147:                                              ; preds = %140
  %148 = call ptr @m_JSONRead(ptr noundef nonnull %4, i64 noundef 0, ptr noundef nonnull @.str.40) #4
  br label %149

149:                                              ; preds = %147, %145
  %150 = phi ptr [ %146, %145 ], [ %148, %147 ]
  %151 = load ptr, ptr %150, align 8, !tbaa !11
  %152 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.41, ptr noundef %151)
  %153 = icmp eq i64 ptrtoint (ptr getelementptr inbounds (i8, ptr @.str.42, i64 1) to i64), add (i64 ptrtoint (ptr @.str.42 to i64), i64 1)
  br i1 %153, label %154, label %156

154:                                              ; preds = %149
  %155 = call ptr @m_JSONRead(ptr noundef nonnull %4, i64 noundef ptrtoint (ptr @.str.42 to i64), ptr noundef null) #4
  br label %158

156:                                              ; preds = %149
  %157 = call ptr @m_JSONRead(ptr noundef nonnull %4, i64 noundef 0, ptr noundef nonnull @.str.42) #4
  br label %158

158:                                              ; preds = %156, %154
  %159 = phi ptr [ %155, %154 ], [ %157, %156 ]
  %160 = load ptr, ptr %159, align 8, !tbaa !11
  %161 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.43, ptr noundef %160)
  %162 = icmp eq i64 ptrtoint (ptr getelementptr inbounds (i8, ptr @.str.44, i64 1) to i64), add (i64 ptrtoint (ptr @.str.44 to i64), i64 1)
  br i1 %162, label %163, label %165

163:                                              ; preds = %158
  %164 = call ptr @m_JSONRead(ptr noundef nonnull %4, i64 noundef ptrtoint (ptr @.str.44 to i64), ptr noundef null) #4
  br label %167

165:                                              ; preds = %158
  %166 = call ptr @m_JSONRead(ptr noundef nonnull %4, i64 noundef 0, ptr noundef nonnull @.str.44) #4
  br label %167

167:                                              ; preds = %165, %163
  %168 = phi ptr [ %164, %163 ], [ %166, %165 ]
  %169 = icmp eq i64 ptrtoint (ptr getelementptr inbounds (i8, ptr @.str.45, i64 1) to i64), add (i64 ptrtoint (ptr @.str.45 to i64), i64 1)
  br i1 %169, label %170, label %172

170:                                              ; preds = %167
  %171 = call ptr @m_JSONRead(ptr noundef %168, i64 noundef ptrtoint (ptr @.str.45 to i64), ptr noundef null) #4
  br label %174

172:                                              ; preds = %167
  %173 = call ptr @m_JSONRead(ptr noundef %168, i64 noundef 0, ptr noundef nonnull @.str.45) #4
  br label %174

174:                                              ; preds = %172, %170
  %175 = phi ptr [ %171, %170 ], [ %173, %172 ]
  %176 = load i32, ptr %175, align 8, !tbaa !11
  %177 = getelementptr inbounds i8, ptr %175, i64 8
  %178 = load i8, ptr %177, align 8, !tbaa !5
  %179 = zext i8 %178 to i64
  %180 = getelementptr inbounds [15 x ptr], ptr @jsontype, i64 0, i64 %179
  %181 = load ptr, ptr %180, align 8, !tbaa !10
  %182 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.46, i32 noundef %176, ptr noundef %181)
  %183 = icmp eq i64 ptrtoint (ptr getelementptr inbounds (i8, ptr @.str.47, i64 1) to i64), add (i64 ptrtoint (ptr @.str.47 to i64), i64 1)
  br i1 %183, label %184, label %186

184:                                              ; preds = %174
  %185 = call ptr @m_JSONRead(ptr noundef %168, i64 noundef ptrtoint (ptr @.str.47 to i64), ptr noundef null) #4
  br label %188

186:                                              ; preds = %174
  %187 = call ptr @m_JSONRead(ptr noundef %168, i64 noundef 0, ptr noundef nonnull @.str.47) #4
  br label %188

188:                                              ; preds = %186, %184
  %189 = phi ptr [ %185, %184 ], [ %187, %186 ]
  %190 = load i32, ptr %189, align 8, !tbaa !11
  %191 = getelementptr inbounds i8, ptr %189, i64 8
  %192 = load i8, ptr %191, align 8, !tbaa !5
  %193 = zext i8 %192 to i64
  %194 = getelementptr inbounds [15 x ptr], ptr @jsontype, i64 0, i64 %193
  %195 = load ptr, ptr %194, align 8, !tbaa !10
  %196 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.48, i32 noundef %190, ptr noundef %195)
  %197 = icmp eq i64 ptrtoint (ptr getelementptr inbounds (i8, ptr @.str.49, i64 1) to i64), add (i64 ptrtoint (ptr @.str.49 to i64), i64 1)
  br i1 %197, label %198, label %200

198:                                              ; preds = %188
  %199 = call ptr @m_JSONRead(ptr noundef %168, i64 noundef ptrtoint (ptr @.str.49 to i64), ptr noundef null) #4
  br label %202

200:                                              ; preds = %188
  %201 = call ptr @m_JSONRead(ptr noundef %168, i64 noundef 0, ptr noundef nonnull @.str.49) #4
  br label %202

202:                                              ; preds = %200, %198
  %203 = phi ptr [ %199, %198 ], [ %201, %200 ]
  %204 = load i32, ptr %203, align 8, !tbaa !11
  %205 = getelementptr inbounds i8, ptr %203, i64 8
  %206 = load i8, ptr %205, align 8, !tbaa !5
  %207 = zext i8 %206 to i64
  %208 = getelementptr inbounds [15 x ptr], ptr @jsontype, i64 0, i64 %207
  %209 = load ptr, ptr %208, align 8, !tbaa !10
  %210 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.50, i32 noundef %204, ptr noundef %209)
  %211 = icmp eq i64 ptrtoint (ptr getelementptr inbounds (i8, ptr @.str.51, i64 1) to i64), add (i64 ptrtoint (ptr @.str.51 to i64), i64 1)
  br i1 %211, label %212, label %214

212:                                              ; preds = %202
  %213 = call ptr @m_JSONRead(ptr noundef nonnull %4, i64 noundef ptrtoint (ptr @.str.51 to i64), ptr noundef null) #4
  br label %216

214:                                              ; preds = %202
  %215 = call ptr @m_JSONRead(ptr noundef nonnull %4, i64 noundef 0, ptr noundef nonnull @.str.51) #4
  br label %216

216:                                              ; preds = %214, %212
  %217 = phi ptr [ %213, %212 ], [ %215, %214 ]
  %218 = load i32, ptr %217, align 8, !tbaa !11
  %219 = getelementptr inbounds i8, ptr %217, i64 8
  %220 = load i8, ptr %219, align 8, !tbaa !5
  %221 = zext i8 %220 to i64
  %222 = getelementptr inbounds [15 x ptr], ptr @jsontype, i64 0, i64 %221
  %223 = load ptr, ptr %222, align 8, !tbaa !10
  %224 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.46, i32 noundef %218, ptr noundef %223)
  %225 = icmp eq i64 ptrtoint (ptr getelementptr inbounds (i8, ptr @.str.52, i64 1) to i64), add (i64 ptrtoint (ptr @.str.52 to i64), i64 1)
  br i1 %225, label %226, label %228

226:                                              ; preds = %216
  %227 = call ptr @m_JSONRead(ptr noundef nonnull %4, i64 noundef ptrtoint (ptr @.str.52 to i64), ptr noundef null) #4
  br label %230

228:                                              ; preds = %216
  %229 = call ptr @m_JSONRead(ptr noundef nonnull %4, i64 noundef 0, ptr noundef nonnull @.str.52) #4
  br label %230

230:                                              ; preds = %228, %226
  %231 = phi ptr [ %227, %226 ], [ %229, %228 ]
  %232 = load i32, ptr %231, align 8, !tbaa !11
  %233 = getelementptr inbounds i8, ptr %231, i64 8
  %234 = load i8, ptr %233, align 8, !tbaa !5
  %235 = zext i8 %234 to i64
  %236 = getelementptr inbounds [15 x ptr], ptr @jsontype, i64 0, i64 %235
  %237 = load ptr, ptr %236, align 8, !tbaa !10
  %238 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.48, i32 noundef %232, ptr noundef %237)
  %239 = icmp eq i64 ptrtoint (ptr getelementptr inbounds (i8, ptr @.str.53, i64 1) to i64), add (i64 ptrtoint (ptr @.str.53 to i64), i64 1)
  br i1 %239, label %240, label %242

240:                                              ; preds = %230
  %241 = call ptr @m_JSONRead(ptr noundef nonnull %4, i64 noundef ptrtoint (ptr @.str.53 to i64), ptr noundef null) #4
  br label %244

242:                                              ; preds = %230
  %243 = call ptr @m_JSONRead(ptr noundef nonnull %4, i64 noundef 0, ptr noundef nonnull @.str.53) #4
  br label %244

244:                                              ; preds = %242, %240
  %245 = phi ptr [ %241, %240 ], [ %243, %242 ]
  %246 = load i32, ptr %245, align 8, !tbaa !11
  %247 = getelementptr inbounds i8, ptr %245, i64 8
  %248 = load i8, ptr %247, align 8, !tbaa !5
  %249 = zext i8 %248 to i64
  %250 = getelementptr inbounds [15 x ptr], ptr @jsontype, i64 0, i64 %249
  %251 = load ptr, ptr %250, align 8, !tbaa !10
  %252 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.50, i32 noundef %246, ptr noundef %251)
  %253 = icmp eq i64 ptrtoint (ptr getelementptr inbounds (i8, ptr @.str.54, i64 1) to i64), add (i64 ptrtoint (ptr @.str.54 to i64), i64 1)
  br i1 %253, label %254, label %256

254:                                              ; preds = %244
  %255 = call ptr @m_JSONRead(ptr noundef nonnull %4, i64 noundef ptrtoint (ptr @.str.54 to i64), ptr noundef null) #4
  br label %258

256:                                              ; preds = %244
  %257 = call ptr @m_JSONRead(ptr noundef nonnull %4, i64 noundef 0, ptr noundef nonnull @.str.54) #4
  br label %258

258:                                              ; preds = %256, %254
  %259 = phi ptr [ %255, %254 ], [ %257, %256 ]
  %260 = load i32, ptr %259, align 8, !tbaa !11
  %261 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.55, i32 noundef %260)
  %262 = icmp eq i64 ptrtoint (ptr getelementptr inbounds (i8, ptr @.str.56, i64 1) to i64), add (i64 ptrtoint (ptr @.str.56 to i64), i64 1)
  br i1 %262, label %263, label %265

263:                                              ; preds = %258
  %264 = call ptr @m_JSONRead(ptr noundef nonnull %4, i64 noundef ptrtoint (ptr @.str.56 to i64), ptr noundef null) #4
  br label %267

265:                                              ; preds = %258
  %266 = call ptr @m_JSONRead(ptr noundef nonnull %4, i64 noundef 0, ptr noundef nonnull @.str.56) #4
  br label %267

267:                                              ; preds = %265, %263
  %268 = phi ptr [ %264, %263 ], [ %266, %265 ]
  %269 = load i32, ptr %268, align 8, !tbaa !11
  %270 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.57, i32 noundef %269)
  %271 = icmp eq i64 ptrtoint (ptr getelementptr inbounds (i8, ptr @.str.58, i64 1) to i64), add (i64 ptrtoint (ptr @.str.58 to i64), i64 1)
  br i1 %271, label %272, label %274

272:                                              ; preds = %267
  %273 = call ptr @m_JSONRead(ptr noundef nonnull %4, i64 noundef ptrtoint (ptr @.str.58 to i64), ptr noundef null) #4
  br label %276

274:                                              ; preds = %267
  %275 = call ptr @m_JSONRead(ptr noundef nonnull %4, i64 noundef 0, ptr noundef nonnull @.str.58) #4
  br label %276

276:                                              ; preds = %274, %272
  %277 = phi ptr [ %273, %272 ], [ %275, %274 ]
  %278 = load i32, ptr %277, align 8, !tbaa !11
  %279 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.59, i32 noundef %278)
  %280 = icmp eq i64 ptrtoint (ptr getelementptr inbounds (i8, ptr @.str.60, i64 1) to i64), add (i64 ptrtoint (ptr @.str.60 to i64), i64 1)
  br i1 %280, label %281, label %283

281:                                              ; preds = %276
  %282 = call ptr @m_JSONRead(ptr noundef nonnull %4, i64 noundef ptrtoint (ptr @.str.60 to i64), ptr noundef null) #4
  br label %285

283:                                              ; preds = %276
  %284 = call ptr @m_JSONRead(ptr noundef nonnull %4, i64 noundef 0, ptr noundef nonnull @.str.60) #4
  br label %285

285:                                              ; preds = %283, %281
  %286 = phi ptr [ %282, %281 ], [ %284, %283 ]
  %287 = load i32, ptr %286, align 8, !tbaa !11
  %288 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.61, i32 noundef %287)
  %289 = icmp eq i64 ptrtoint (ptr getelementptr inbounds (i8, ptr @.str.62, i64 1) to i64), add (i64 ptrtoint (ptr @.str.62 to i64), i64 1)
  br i1 %289, label %290, label %292

290:                                              ; preds = %285
  %291 = call ptr @m_JSONRead(ptr noundef nonnull %4, i64 noundef ptrtoint (ptr @.str.62 to i64), ptr noundef null) #4
  br label %294

292:                                              ; preds = %285
  %293 = call ptr @m_JSONRead(ptr noundef nonnull %4, i64 noundef 0, ptr noundef nonnull @.str.62) #4
  br label %294

294:                                              ; preds = %292, %290
  %295 = phi ptr [ %291, %290 ], [ %293, %292 ]
  %296 = call ptr @m_JSONRead(ptr noundef %295, i64 noundef 0, ptr noundef null) #4
  %297 = load i32, ptr %296, align 8, !tbaa !11
  %298 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.55, i32 noundef %297)
  %299 = call ptr @m_JSONRead(ptr noundef %295, i64 noundef 1, ptr noundef null) #4
  %300 = load i32, ptr %299, align 8, !tbaa !11
  %301 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.57, i32 noundef %300)
  %302 = icmp eq i64 ptrtoint (ptr getelementptr inbounds (i8, ptr @.str.63, i64 1) to i64), add (i64 ptrtoint (ptr @.str.63 to i64), i64 1)
  br i1 %302, label %303, label %305

303:                                              ; preds = %294
  %304 = call ptr @m_JSONRead(ptr noundef %295, i64 noundef ptrtoint (ptr @.str.63 to i64), ptr noundef null) #4
  br label %307

305:                                              ; preds = %294
  %306 = call ptr @m_JSONRead(ptr noundef %295, i64 noundef 0, ptr noundef nonnull @.str.63) #4
  br label %307

307:                                              ; preds = %305, %303
  %308 = phi ptr [ %304, %303 ], [ %306, %305 ]
  %309 = load i32, ptr %308, align 8, !tbaa !11
  %310 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.59, i32 noundef %309)
  br i1 %280, label %311, label %313

311:                                              ; preds = %307
  %312 = call ptr @m_JSONRead(ptr noundef nonnull %4, i64 noundef ptrtoint (ptr @.str.60 to i64), ptr noundef null) #4
  br label %315

313:                                              ; preds = %307
  %314 = call ptr @m_JSONRead(ptr noundef nonnull %4, i64 noundef 0, ptr noundef nonnull @.str.60) #4
  br label %315

315:                                              ; preds = %313, %311
  %316 = phi ptr [ %312, %311 ], [ %314, %313 ]
  %317 = load i32, ptr %316, align 8, !tbaa !11
  %318 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.61, i32 noundef %317)
  %319 = icmp eq i64 ptrtoint (ptr getelementptr inbounds (i8, ptr @.str.64, i64 1) to i64), add (i64 ptrtoint (ptr @.str.64 to i64), i64 1)
  br i1 %319, label %320, label %322

320:                                              ; preds = %315
  %321 = call ptr @m_JSONRead(ptr noundef nonnull %4, i64 noundef ptrtoint (ptr @.str.64 to i64), ptr noundef null) #4
  br label %324

322:                                              ; preds = %315
  %323 = call ptr @m_JSONRead(ptr noundef nonnull %4, i64 noundef 0, ptr noundef nonnull @.str.64) #4
  br label %324

324:                                              ; preds = %322, %320
  %325 = phi ptr [ %321, %320 ], [ %323, %322 ]
  %326 = load i32, ptr %325, align 8, !tbaa !11
  %327 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.65, i32 noundef %326)
  %328 = icmp eq i64 ptrtoint (ptr getelementptr inbounds (i8, ptr @.str.66, i64 1) to i64), add (i64 ptrtoint (ptr @.str.66 to i64), i64 1)
  br i1 %328, label %329, label %331

329:                                              ; preds = %324
  %330 = call ptr @m_JSONRead(ptr noundef nonnull %4, i64 noundef ptrtoint (ptr @.str.66 to i64), ptr noundef null) #4
  br label %333

331:                                              ; preds = %324
  %332 = call ptr @m_JSONRead(ptr noundef nonnull %4, i64 noundef 0, ptr noundef nonnull @.str.66) #4
  br label %333

333:                                              ; preds = %331, %329
  %334 = phi ptr [ %330, %329 ], [ %332, %331 ]
  %335 = load i16, ptr %334, align 8, !tbaa !11
  %.not147 = icmp eq i16 %335, 0
  br i1 %.not147, label %._crit_edge146, label %.lr.ph145

._crit_edge146:                                   ; preds = %._crit_edge, %333
  %336 = icmp eq i64 ptrtoint (ptr getelementptr inbounds (i8, ptr @.str.69, i64 1) to i64), add (i64 ptrtoint (ptr @.str.69 to i64), i64 1)
  br i1 %336, label %349, label %351

.lr.ph145:                                        ; preds = %333, %._crit_edge
  %indvars.iv150 = phi i64 [ %indvars.iv.next151, %._crit_edge ], [ 0, %333 ]
  %indvars.iv.next151 = add nuw nsw i64 %indvars.iv150, 1
  %337 = call ptr @m_JSONRead(ptr noundef nonnull %334, i64 noundef %indvars.iv150, ptr noundef null) #4
  %338 = load i16, ptr %337, align 8, !tbaa !11
  %.not148 = icmp eq i16 %338, 0
  br i1 %.not148, label %._crit_edge, label %.lr.ph

._crit_edge:                                      ; preds = %.lr.ph, %.lr.ph145
  %339 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.68)
  %340 = load i16, ptr %334, align 8, !tbaa !11
  %341 = zext i16 %340 to i64
  %342 = icmp ult i64 %indvars.iv.next151, %341
  br i1 %342, label %.lr.ph145, label %._crit_edge146, !llvm.loop !19

.lr.ph:                                           ; preds = %.lr.ph145, %.lr.ph
  %indvars.iv = phi i64 [ %indvars.iv.next, %.lr.ph ], [ 0, %.lr.ph145 ]
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %343 = call ptr @m_JSONRead(ptr noundef nonnull %337, i64 noundef %indvars.iv, ptr noundef null) #4
  %344 = load i32, ptr %343, align 8, !tbaa !11
  %345 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.67, i32 noundef %344)
  %346 = load i16, ptr %337, align 8, !tbaa !11
  %347 = zext i16 %346 to i64
  %348 = icmp ult i64 %indvars.iv.next, %347
  br i1 %348, label %.lr.ph, label %._crit_edge, !llvm.loop !21

349:                                              ; preds = %._crit_edge146
  %350 = call ptr @m_JSONRead(ptr noundef nonnull %4, i64 noundef ptrtoint (ptr @.str.69 to i64), ptr noundef null) #4
  br label %353

351:                                              ; preds = %._crit_edge146
  %352 = call ptr @m_JSONRead(ptr noundef nonnull %4, i64 noundef 0, ptr noundef nonnull @.str.69) #4
  br label %353

353:                                              ; preds = %351, %349
  %354 = phi ptr [ %350, %349 ], [ %352, %351 ]
  %355 = load ptr, ptr %354, align 8, !tbaa !11
  %356 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.70, ptr noundef %355)
  %357 = icmp eq i64 ptrtoint (ptr getelementptr inbounds (i8, ptr @.str.71, i64 1) to i64), add (i64 ptrtoint (ptr @.str.71 to i64), i64 1)
  br i1 %357, label %358, label %360

358:                                              ; preds = %353
  %359 = call ptr @m_JSONRead(ptr noundef nonnull %4, i64 noundef ptrtoint (ptr @.str.71 to i64), ptr noundef null) #4
  br label %362

360:                                              ; preds = %353
  %361 = call ptr @m_JSONRead(ptr noundef nonnull %4, i64 noundef 0, ptr noundef nonnull @.str.71) #4
  br label %362

362:                                              ; preds = %360, %358
  %363 = phi ptr [ %359, %358 ], [ %361, %360 ]
  %364 = load ptr, ptr %363, align 8, !tbaa !11
  %365 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.70, ptr noundef %364)
  %366 = icmp eq i64 ptrtoint (ptr getelementptr inbounds (i8, ptr @.str.72, i64 1) to i64), add (i64 ptrtoint (ptr @.str.72 to i64), i64 1)
  br i1 %366, label %367, label %369

367:                                              ; preds = %362
  %368 = call ptr @m_JSONRead(ptr noundef nonnull %4, i64 noundef ptrtoint (ptr @.str.72 to i64), ptr noundef null) #4
  br label %371

369:                                              ; preds = %362
  %370 = call ptr @m_JSONRead(ptr noundef nonnull %4, i64 noundef 0, ptr noundef nonnull @.str.72) #4
  br label %371

371:                                              ; preds = %369, %367
  %372 = phi ptr [ %368, %367 ], [ %370, %369 ]
  %373 = load ptr, ptr %372, align 8, !tbaa !11
  %374 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.70, ptr noundef %373)
  %375 = load i16, ptr %4, align 8, !tbaa !11
  %376 = zext i16 %375 to i32
  %377 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.16, i32 noundef %376)
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %2) #4
  %378 = getelementptr inbounds i8, ptr %2, i64 8
  store i8 9, ptr %378, align 8, !tbaa !5
  store ptr @.str.73, ptr %2, align 8, !tbaa !11
  %379 = call ptr @m_JSONWrite(ptr noundef nonnull %4, i64 noundef ptrtoint (ptr @.str.74 to i64), ptr noundef nonnull %2) #4
  %380 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.75, ptr noundef %379)
  %381 = load i16, ptr %4, align 8, !tbaa !11
  %382 = zext i16 %381 to i32
  %383 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.16, i32 noundef %382)
  %384 = icmp eq i64 ptrtoint (ptr getelementptr inbounds (i8, ptr @.str.74, i64 1) to i64), add (i64 ptrtoint (ptr @.str.74 to i64), i64 1)
  br i1 %384, label %385, label %387

385:                                              ; preds = %371
  %386 = call ptr @m_JSONRead(ptr noundef nonnull %4, i64 noundef ptrtoint (ptr @.str.74 to i64), ptr noundef null) #4
  br label %389

387:                                              ; preds = %371
  %388 = call ptr @m_JSONRead(ptr noundef nonnull %4, i64 noundef 0, ptr noundef nonnull @.str.74) #4
  br label %389

389:                                              ; preds = %387, %385
  %390 = phi ptr [ %386, %385 ], [ %388, %387 ]
  %391 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.75, ptr noundef %390)
  %392 = load ptr, ptr %390, align 8, !tbaa !11
  %393 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.70, ptr noundef %392)
  call void @mObjectRelease(ptr noundef %3) #4
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %2) #4
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %1) #4
  ret i32 0
}

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

declare ptr @mFileCreate(ptr noundef, ...) local_unnamed_addr #2

declare ptr @mJSONLoad(ptr noundef) local_unnamed_addr #2

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

declare ptr @m_JSONRead(ptr noundef, i64 noundef, ptr noundef) local_unnamed_addr #2

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

declare ptr @m_JSONWrite(ptr noundef, i64 noundef, ptr noundef) local_unnamed_addr #2

declare void @mObjectRelease(ptr noundef) local_unnamed_addr #2

attributes #0 = { 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 #1 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #2 = { "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 = { 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 #4 = { 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, !7, i64 8}
!6 = !{!"JSONNode", !7, i64 0, !7, i64 8, !9, i64 16}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!"any pointer", !7, i64 0}
!10 = !{!9, !9, i64 0}
!11 = !{!7, !7, i64 0}
!12 = !{!6, !9, i64 16}
!13 = !{i8 0, i8 2}
!14 = !{}
!15 = !{!16, !16, i64 0}
!16 = !{!"int", !7, i64 0}
!17 = !{!18, !18, i64 0}
!18 = !{!"double", !7, i64 0}
!19 = distinct !{!19, !20}
!20 = !{!"llvm.loop.mustprogress"}
!21 = distinct !{!21, !20}


; Effective O3 passes: ConstraintEliminationPass,EarlyCSEPass,GlobalOptPass,IPSCCPPass,IndVarSimplifyPass,InferFunctionAttrsPass,InstCombinePass,JumpThreadingPass,LoopInstSimplifyPass,LoopRotatePass,LoopSimplifyCFGPass,LoopSimplifyPass,LoopUnrollPass,PostOrderFunctionAttrsPass,SCCPPass,SROAPass,SimplifyCFGPass,TailCallElimPass