; LLVM IR from jingweizhanghuai/Morn :: example (JSON)

; 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 [23 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

; 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
  store i32 0, ptr %1, align 4
  call void @llvm.lifetime.start.p0(i64 8, ptr %2) #3
  %18 = call ptr (ptr, ...) @mFileCreate(ptr noundef @.str.14)
  store ptr %18, ptr %2, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %3) #3
  %19 = load ptr, ptr %2, align 8, !tbaa !5
  %20 = call ptr @mJSONLoad(ptr noundef %19)
  store ptr %20, ptr %3, align 8, !tbaa !5
  %21 = load ptr, ptr %3, align 8, !tbaa !5
  %22 = getelementptr inbounds %struct.JSONNode, ptr %21, i32 0, i32 1
  %23 = load i8, ptr %22, align 8, !tbaa !9
  %24 = zext i8 %23 to i64
  %25 = getelementptr inbounds [15 x ptr], ptr @jsontype, i64 0, i64 %24
  %26 = load ptr, ptr %25, align 8, !tbaa !5
  %27 = call i32 (ptr, ...) @printf(ptr noundef @.str.15, ptr noundef %26)
  %28 = load ptr, ptr %3, align 8, !tbaa !5
  %29 = getelementptr inbounds %struct.JSONNode, ptr %28, i32 0, i32 0
  %30 = load i16, ptr %29, align 8, !tbaa !11
  %31 = zext i16 %30 to i32
  %32 = call i32 (ptr, ...) @printf(ptr noundef @.str.16, i32 noundef %31)
  call void @llvm.lifetime.start.p0(i64 8, ptr %4) #3
  %33 = 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 %33, label %34, label %37

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

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

40:                                               ; preds = %37, %34
  %41 = phi ptr [ %36, %34 ], [ %39, %37 ]
  store ptr %41, ptr %4, align 8, !tbaa !5
  %42 = load ptr, ptr %4, align 8, !tbaa !5
  %43 = getelementptr inbounds %struct.JSONNode, ptr %42, i32 0, i32 1
  %44 = load i8, ptr %43, align 8, !tbaa !9
  %45 = zext i8 %44 to i64
  %46 = getelementptr inbounds [15 x ptr], ptr @jsontype, i64 0, i64 %45
  %47 = load ptr, ptr %46, align 8, !tbaa !5
  %48 = call i32 (ptr, ...) @printf(ptr noundef @.str.18, ptr noundef %47)
  %49 = load ptr, ptr %4, align 8, !tbaa !5
  %50 = getelementptr inbounds %struct.JSONNode, ptr %49, i32 0, i32 2
  %51 = load ptr, ptr %50, align 8, !tbaa !12
  %52 = call i32 (ptr, ...) @printf(ptr noundef @.str.19, ptr noundef %51)
  %53 = load ptr, ptr %4, align 8, !tbaa !5
  %54 = getelementptr inbounds %struct.JSONNode, ptr %53, i32 0, i32 0
  %55 = load ptr, ptr %54, align 8, !tbaa !11
  %56 = call i32 (ptr, ...) @printf(ptr noundef @.str.20, ptr noundef %55)
  %57 = 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 %57, label %58, label %61

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

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

64:                                               ; preds = %61, %58
  %65 = phi ptr [ %60, %58 ], [ %63, %61 ]
  store ptr %65, ptr %4, align 8, !tbaa !5
  %66 = load ptr, ptr %4, align 8, !tbaa !5
  %67 = icmp ne ptr %66, null
  br i1 %67, label %68, label %82

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

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

81:                                               ; preds = %74, %68
  br label %82

82:                                               ; preds = %81, %64
  call void @llvm.lifetime.start.p0(i64 24, ptr %5) #3
  %83 = load ptr, ptr %3, align 8, !tbaa !5
  %84 = call ptr @m_JSONRead(ptr noundef %83, i64 noundef ptrtoint (ptr @.str.23 to i64), ptr noundef %5)
  store ptr %84, ptr %4, align 8, !tbaa !5
  %85 = getelementptr inbounds %struct.JSONNode, ptr %5, i32 0, i32 0
  %86 = load i8, ptr %85, align 8, !tbaa !11, !range !13, !noundef !14
  %87 = trunc i8 %86 to i1
  %88 = zext i1 %87 to i32
  %89 = call i32 (ptr, ...) @printf(ptr noundef @.str.24, i32 noundef %88)
  call void @llvm.lifetime.start.p0(i64 4, ptr %6) #3
  %90 = 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 %90, label %91, label %94

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

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

97:                                               ; preds = %94, %91
  %98 = phi ptr [ %93, %91 ], [ %96, %94 ]
  %99 = load i32, ptr %98, align 4, !tbaa !15
  store i32 %99, ptr %6, align 4, !tbaa !15
  %100 = load i32, ptr %6, align 4, !tbaa !15
  %101 = call i32 (ptr, ...) @printf(ptr noundef @.str.26, i32 noundef %100)
  call void @llvm.lifetime.start.p0(i64 8, ptr %7) #3
  %102 = 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 %102, label %103, label %106

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

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

109:                                              ; preds = %106, %103
  %110 = phi ptr [ %105, %103 ], [ %108, %106 ]
  store ptr %110, ptr %7, align 8, !tbaa !5
  %111 = load ptr, ptr %7, align 8, !tbaa !5
  %112 = load double, ptr %111, align 8, !tbaa !17
  %113 = call i32 (ptr, ...) @printf(ptr noundef @.str.28, double noundef %112)
  %114 = 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 %114, label %115, label %118

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

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

121:                                              ; preds = %118, %115
  %122 = phi ptr [ %117, %115 ], [ %120, %118 ]
  store ptr %122, ptr %4, align 8, !tbaa !5
  %123 = load ptr, ptr %4, align 8, !tbaa !5
  %124 = getelementptr inbounds %struct.JSONNode, ptr %123, i32 0, i32 1
  %125 = load i8, ptr %124, align 8, !tbaa !9
  %126 = zext i8 %125 to i64
  %127 = getelementptr inbounds [15 x ptr], ptr @jsontype, i64 0, i64 %126
  %128 = load ptr, ptr %127, align 8, !tbaa !5
  %129 = load ptr, ptr %4, align 8, !tbaa !5
  %130 = getelementptr inbounds %struct.JSONNode, ptr %129, i32 0, i32 0
  %131 = load double, ptr %130, align 8, !tbaa !11
  %132 = call i32 (ptr, ...) @printf(ptr noundef @.str.30, ptr noundef %128, double noundef %131)
  %133 = 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 %133, label %134, label %137

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

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

140:                                              ; preds = %137, %134
  %141 = phi ptr [ %136, %134 ], [ %139, %137 ]
  store ptr %141, ptr %4, align 8, !tbaa !5
  %142 = load ptr, ptr %4, align 8, !tbaa !5
  %143 = getelementptr inbounds %struct.JSONNode, ptr %142, i32 0, i32 1
  %144 = load i8, ptr %143, align 8, !tbaa !9
  %145 = zext i8 %144 to i64
  %146 = getelementptr inbounds [15 x ptr], ptr @jsontype, i64 0, i64 %145
  %147 = load ptr, ptr %146, align 8, !tbaa !5
  %148 = load ptr, ptr %4, align 8, !tbaa !5
  %149 = getelementptr inbounds %struct.JSONNode, ptr %148, i32 0, i32 0
  %150 = load double, ptr %149, align 8, !tbaa !11
  %151 = call i32 (ptr, ...) @printf(ptr noundef @.str.30, ptr noundef %147, double noundef %150)
  %152 = 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 %152, label %153, label %156

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

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

159:                                              ; preds = %156, %153
  %160 = phi ptr [ %155, %153 ], [ %158, %156 ]
  store ptr %160, ptr %4, align 8, !tbaa !5
  %161 = load ptr, ptr %4, align 8, !tbaa !5
  %162 = getelementptr inbounds %struct.JSONNode, ptr %161, i32 0, i32 1
  %163 = load i8, ptr %162, align 8, !tbaa !9
  %164 = zext i8 %163 to i64
  %165 = getelementptr inbounds [15 x ptr], ptr @jsontype, i64 0, i64 %164
  %166 = load ptr, ptr %165, align 8, !tbaa !5
  %167 = load ptr, ptr %4, align 8, !tbaa !5
  %168 = getelementptr inbounds %struct.JSONNode, ptr %167, i32 0, i32 0
  %169 = load double, ptr %168, align 8, !tbaa !11
  %170 = call i32 (ptr, ...) @printf(ptr noundef @.str.33, ptr noundef %166, double noundef %169)
  %171 = 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 %171, label %172, label %175

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

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

178:                                              ; preds = %175, %172
  %179 = phi ptr [ %174, %172 ], [ %177, %175 ]
  store ptr %179, ptr %4, align 8, !tbaa !5
  %180 = load ptr, ptr %4, align 8, !tbaa !5
  %181 = getelementptr inbounds %struct.JSONNode, ptr %180, i32 0, i32 1
  %182 = load i8, ptr %181, align 8, !tbaa !9
  %183 = zext i8 %182 to i64
  %184 = getelementptr inbounds [15 x ptr], ptr @jsontype, i64 0, i64 %183
  %185 = load ptr, ptr %184, align 8, !tbaa !5
  %186 = load ptr, ptr %4, align 8, !tbaa !5
  %187 = getelementptr inbounds %struct.JSONNode, ptr %186, i32 0, i32 0
  %188 = load ptr, ptr %187, align 8, !tbaa !11
  %189 = call i32 (ptr, ...) @printf(ptr noundef @.str.35, ptr noundef %185, ptr noundef %188)
  %190 = 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 %190, label %191, label %194

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

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

197:                                              ; preds = %194, %191
  %198 = phi ptr [ %193, %191 ], [ %196, %194 ]
  store ptr %198, ptr %4, align 8, !tbaa !5
  %199 = load ptr, ptr %4, align 8, !tbaa !5
  %200 = getelementptr inbounds %struct.JSONNode, ptr %199, i32 0, i32 0
  %201 = load ptr, ptr %200, align 8, !tbaa !11
  %202 = call i32 (ptr, ...) @printf(ptr noundef @.str.37, ptr noundef %201)
  %203 = 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 %203, label %204, label %207

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

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

210:                                              ; preds = %207, %204
  %211 = phi ptr [ %206, %204 ], [ %209, %207 ]
  store ptr %211, ptr %4, align 8, !tbaa !5
  %212 = load ptr, ptr %4, align 8, !tbaa !5
  %213 = getelementptr inbounds %struct.JSONNode, ptr %212, i32 0, i32 0
  %214 = load ptr, ptr %213, align 8, !tbaa !11
  %215 = call i32 (ptr, ...) @printf(ptr noundef @.str.39, ptr noundef %214)
  %216 = 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 %216, label %217, label %220

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

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

223:                                              ; preds = %220, %217
  %224 = phi ptr [ %219, %217 ], [ %222, %220 ]
  store ptr %224, ptr %4, align 8, !tbaa !5
  %225 = load ptr, ptr %4, align 8, !tbaa !5
  %226 = getelementptr inbounds %struct.JSONNode, ptr %225, i32 0, i32 0
  %227 = load ptr, ptr %226, align 8, !tbaa !11
  %228 = call i32 (ptr, ...) @printf(ptr noundef @.str.41, ptr noundef %227)
  %229 = 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 %229, label %230, label %233

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

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

236:                                              ; preds = %233, %230
  %237 = phi ptr [ %232, %230 ], [ %235, %233 ]
  store ptr %237, ptr %4, align 8, !tbaa !5
  %238 = load ptr, ptr %4, align 8, !tbaa !5
  %239 = getelementptr inbounds %struct.JSONNode, ptr %238, i32 0, i32 0
  %240 = load ptr, ptr %239, align 8, !tbaa !11
  %241 = call i32 (ptr, ...) @printf(ptr noundef @.str.43, ptr noundef %240)
  %242 = 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 %242, label %243, label %246

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

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

249:                                              ; preds = %246, %243
  %250 = phi ptr [ %245, %243 ], [ %248, %246 ]
  store ptr %250, ptr %4, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %8) #3
  %251 = 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 %251, label %252, label %255

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

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

258:                                              ; preds = %255, %252
  %259 = phi ptr [ %254, %252 ], [ %257, %255 ]
  store ptr %259, ptr %8, align 8, !tbaa !5
  %260 = load ptr, ptr %8, align 8, !tbaa !5
  %261 = getelementptr inbounds %struct.JSONNode, ptr %260, i32 0, i32 0
  %262 = load i32, ptr %261, align 8, !tbaa !11
  %263 = load ptr, ptr %8, align 8, !tbaa !5
  %264 = getelementptr inbounds %struct.JSONNode, ptr %263, i32 0, i32 1
  %265 = load i8, ptr %264, align 8, !tbaa !9
  %266 = zext i8 %265 to i64
  %267 = getelementptr inbounds [15 x ptr], ptr @jsontype, i64 0, i64 %266
  %268 = load ptr, ptr %267, align 8, !tbaa !5
  %269 = call i32 (ptr, ...) @printf(ptr noundef @.str.46, i32 noundef %262, ptr noundef %268)
  call void @llvm.lifetime.start.p0(i64 8, ptr %9) #3
  %270 = 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 %270, label %271, label %274

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

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

277:                                              ; preds = %274, %271
  %278 = phi ptr [ %273, %271 ], [ %276, %274 ]
  store ptr %278, ptr %9, align 8, !tbaa !5
  %279 = load ptr, ptr %9, align 8, !tbaa !5
  %280 = getelementptr inbounds %struct.JSONNode, ptr %279, i32 0, i32 0
  %281 = load i32, ptr %280, align 8, !tbaa !11
  %282 = load ptr, ptr %9, align 8, !tbaa !5
  %283 = getelementptr inbounds %struct.JSONNode, ptr %282, i32 0, i32 1
  %284 = load i8, ptr %283, align 8, !tbaa !9
  %285 = zext i8 %284 to i64
  %286 = getelementptr inbounds [15 x ptr], ptr @jsontype, i64 0, i64 %285
  %287 = load ptr, ptr %286, align 8, !tbaa !5
  %288 = call i32 (ptr, ...) @printf(ptr noundef @.str.48, i32 noundef %281, ptr noundef %287)
  call void @llvm.lifetime.start.p0(i64 8, ptr %10) #3
  %289 = 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 %289, label %290, label %293

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

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

296:                                              ; preds = %293, %290
  %297 = phi ptr [ %292, %290 ], [ %295, %293 ]
  store ptr %297, ptr %10, align 8, !tbaa !5
  %298 = load ptr, ptr %10, align 8, !tbaa !5
  %299 = getelementptr inbounds %struct.JSONNode, ptr %298, i32 0, i32 0
  %300 = load i32, ptr %299, align 8, !tbaa !11
  %301 = load ptr, ptr %10, align 8, !tbaa !5
  %302 = getelementptr inbounds %struct.JSONNode, ptr %301, i32 0, i32 1
  %303 = load i8, ptr %302, align 8, !tbaa !9
  %304 = zext i8 %303 to i64
  %305 = getelementptr inbounds [15 x ptr], ptr @jsontype, i64 0, i64 %304
  %306 = load ptr, ptr %305, align 8, !tbaa !5
  %307 = call i32 (ptr, ...) @printf(ptr noundef @.str.50, i32 noundef %300, ptr noundef %306)
  %308 = 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 %308, label %309, label %312

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

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

315:                                              ; preds = %312, %309
  %316 = phi ptr [ %311, %309 ], [ %314, %312 ]
  store ptr %316, ptr %8, align 8, !tbaa !5
  %317 = load ptr, ptr %8, align 8, !tbaa !5
  %318 = getelementptr inbounds %struct.JSONNode, ptr %317, i32 0, i32 0
  %319 = load i32, ptr %318, align 8, !tbaa !11
  %320 = load ptr, ptr %8, align 8, !tbaa !5
  %321 = getelementptr inbounds %struct.JSONNode, ptr %320, i32 0, i32 1
  %322 = load i8, ptr %321, align 8, !tbaa !9
  %323 = zext i8 %322 to i64
  %324 = getelementptr inbounds [15 x ptr], ptr @jsontype, i64 0, i64 %323
  %325 = load ptr, ptr %324, align 8, !tbaa !5
  %326 = call i32 (ptr, ...) @printf(ptr noundef @.str.46, i32 noundef %319, ptr noundef %325)
  %327 = 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 %327, label %328, label %331

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

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

334:                                              ; preds = %331, %328
  %335 = phi ptr [ %330, %328 ], [ %333, %331 ]
  store ptr %335, ptr %9, align 8, !tbaa !5
  %336 = load ptr, ptr %9, align 8, !tbaa !5
  %337 = getelementptr inbounds %struct.JSONNode, ptr %336, i32 0, i32 0
  %338 = load i32, ptr %337, align 8, !tbaa !11
  %339 = load ptr, ptr %9, align 8, !tbaa !5
  %340 = getelementptr inbounds %struct.JSONNode, ptr %339, i32 0, i32 1
  %341 = load i8, ptr %340, align 8, !tbaa !9
  %342 = zext i8 %341 to i64
  %343 = getelementptr inbounds [15 x ptr], ptr @jsontype, i64 0, i64 %342
  %344 = load ptr, ptr %343, align 8, !tbaa !5
  %345 = call i32 (ptr, ...) @printf(ptr noundef @.str.48, i32 noundef %338, ptr noundef %344)
  %346 = 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 %346, label %347, label %350

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

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

353:                                              ; preds = %350, %347
  %354 = phi ptr [ %349, %347 ], [ %352, %350 ]
  store ptr %354, ptr %10, align 8, !tbaa !5
  %355 = load ptr, ptr %10, align 8, !tbaa !5
  %356 = getelementptr inbounds %struct.JSONNode, ptr %355, i32 0, i32 0
  %357 = load i32, ptr %356, align 8, !tbaa !11
  %358 = load ptr, ptr %10, align 8, !tbaa !5
  %359 = getelementptr inbounds %struct.JSONNode, ptr %358, i32 0, i32 1
  %360 = load i8, ptr %359, align 8, !tbaa !9
  %361 = zext i8 %360 to i64
  %362 = getelementptr inbounds [15 x ptr], ptr @jsontype, i64 0, i64 %361
  %363 = load ptr, ptr %362, align 8, !tbaa !5
  %364 = call i32 (ptr, ...) @printf(ptr noundef @.str.50, i32 noundef %357, ptr noundef %363)
  %365 = 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 %365, label %366, label %369

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

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

372:                                              ; preds = %369, %366
  %373 = phi ptr [ %368, %366 ], [ %371, %369 ]
  store ptr %373, ptr %4, align 8, !tbaa !5
  %374 = load ptr, ptr %4, align 8, !tbaa !5
  %375 = getelementptr inbounds %struct.JSONNode, ptr %374, i32 0, i32 0
  %376 = load i32, ptr %375, align 8, !tbaa !11
  %377 = call i32 (ptr, ...) @printf(ptr noundef @.str.55, i32 noundef %376)
  %378 = 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 %378, label %379, label %382

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

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

385:                                              ; preds = %382, %379
  %386 = phi ptr [ %381, %379 ], [ %384, %382 ]
  store ptr %386, ptr %4, align 8, !tbaa !5
  %387 = load ptr, ptr %4, align 8, !tbaa !5
  %388 = getelementptr inbounds %struct.JSONNode, ptr %387, i32 0, i32 0
  %389 = load i32, ptr %388, align 8, !tbaa !11
  %390 = call i32 (ptr, ...) @printf(ptr noundef @.str.57, i32 noundef %389)
  %391 = 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 %391, label %392, label %395

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

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

398:                                              ; preds = %395, %392
  %399 = phi ptr [ %394, %392 ], [ %397, %395 ]
  store ptr %399, ptr %4, align 8, !tbaa !5
  %400 = load ptr, ptr %4, align 8, !tbaa !5
  %401 = getelementptr inbounds %struct.JSONNode, ptr %400, i32 0, i32 0
  %402 = load i32, ptr %401, align 8, !tbaa !11
  %403 = call i32 (ptr, ...) @printf(ptr noundef @.str.59, i32 noundef %402)
  %404 = 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 %404, label %405, label %408

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

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

411:                                              ; preds = %408, %405
  %412 = phi ptr [ %407, %405 ], [ %410, %408 ]
  store ptr %412, ptr %4, align 8, !tbaa !5
  %413 = load ptr, ptr %4, align 8, !tbaa !5
  %414 = getelementptr inbounds %struct.JSONNode, ptr %413, i32 0, i32 0
  %415 = load i32, ptr %414, align 8, !tbaa !11
  %416 = call i32 (ptr, ...) @printf(ptr noundef @.str.61, i32 noundef %415)
  call void @llvm.lifetime.start.p0(i64 8, ptr %11) #3
  %417 = 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 %417, label %418, label %421

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

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

424:                                              ; preds = %421, %418
  %425 = phi ptr [ %420, %418 ], [ %423, %421 ]
  store ptr %425, ptr %4, align 8, !tbaa !5
  %426 = load ptr, ptr %4, align 8, !tbaa !5
  %427 = call ptr @m_JSONRead(ptr noundef %426, i64 noundef 0, ptr noundef null)
  store ptr %427, ptr %11, align 8, !tbaa !5
  %428 = load ptr, ptr %11, align 8, !tbaa !5
  %429 = getelementptr inbounds %struct.JSONNode, ptr %428, i32 0, i32 0
  %430 = load i32, ptr %429, align 8, !tbaa !11
  %431 = call i32 (ptr, ...) @printf(ptr noundef @.str.55, i32 noundef %430)
  %432 = load ptr, ptr %4, align 8, !tbaa !5
  %433 = call ptr @m_JSONRead(ptr noundef %432, i64 noundef 1, ptr noundef null)
  store ptr %433, ptr %11, align 8, !tbaa !5
  %434 = load ptr, ptr %11, align 8, !tbaa !5
  %435 = getelementptr inbounds %struct.JSONNode, ptr %434, i32 0, i32 0
  %436 = load i32, ptr %435, align 8, !tbaa !11
  %437 = call i32 (ptr, ...) @printf(ptr noundef @.str.57, i32 noundef %436)
  %438 = 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 %438, label %439, label %442

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

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

445:                                              ; preds = %442, %439
  %446 = phi ptr [ %441, %439 ], [ %444, %442 ]
  store ptr %446, ptr %11, align 8, !tbaa !5
  %447 = load ptr, ptr %11, align 8, !tbaa !5
  %448 = getelementptr inbounds %struct.JSONNode, ptr %447, i32 0, i32 0
  %449 = load i32, ptr %448, align 8, !tbaa !11
  %450 = call i32 (ptr, ...) @printf(ptr noundef @.str.59, i32 noundef %449)
  %451 = 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 %451, label %452, label %455

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

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

458:                                              ; preds = %455, %452
  %459 = phi ptr [ %454, %452 ], [ %457, %455 ]
  store ptr %459, ptr %11, align 8, !tbaa !5
  %460 = load ptr, ptr %11, align 8, !tbaa !5
  %461 = getelementptr inbounds %struct.JSONNode, ptr %460, i32 0, i32 0
  %462 = load i32, ptr %461, align 8, !tbaa !11
  %463 = call i32 (ptr, ...) @printf(ptr noundef @.str.61, i32 noundef %462)
  %464 = 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 %464, label %465, label %468

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

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

471:                                              ; preds = %468, %465
  %472 = phi ptr [ %467, %465 ], [ %470, %468 ]
  store ptr %472, ptr %4, align 8, !tbaa !5
  %473 = load ptr, ptr %4, align 8, !tbaa !5
  %474 = getelementptr inbounds %struct.JSONNode, ptr %473, i32 0, i32 0
  %475 = load i32, ptr %474, align 8, !tbaa !11
  %476 = call i32 (ptr, ...) @printf(ptr noundef @.str.65, i32 noundef %475)
  call void @llvm.lifetime.start.p0(i64 8, ptr %12) #3
  %477 = 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 %477, label %478, label %481

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

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

484:                                              ; preds = %481, %478
  %485 = phi ptr [ %480, %478 ], [ %483, %481 ]
  store ptr %485, 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 %486

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

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

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

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

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

513:                                              ; preds = %507, %502
  %514 = phi ptr [ %506, %502 ], [ %512, %507 ]
  store ptr %514, 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 %515

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

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

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

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

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

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

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

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

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

556:                                              ; preds = %493
  %557 = 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 %557, label %558, label %561

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

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

564:                                              ; preds = %561, %558
  %565 = phi ptr [ %560, %558 ], [ %563, %561 ]
  store ptr %565, ptr %4, align 8, !tbaa !5
  %566 = load ptr, ptr %4, align 8, !tbaa !5
  %567 = getelementptr inbounds %struct.JSONNode, ptr %566, i32 0, i32 0
  %568 = load ptr, ptr %567, align 8, !tbaa !11
  %569 = call i32 (ptr, ...) @printf(ptr noundef @.str.70, ptr noundef %568)
  %570 = 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 %570, label %571, label %574

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

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

577:                                              ; preds = %574, %571
  %578 = phi ptr [ %573, %571 ], [ %576, %574 ]
  store ptr %578, ptr %4, align 8, !tbaa !5
  %579 = load ptr, ptr %4, align 8, !tbaa !5
  %580 = getelementptr inbounds %struct.JSONNode, ptr %579, i32 0, i32 0
  %581 = load ptr, ptr %580, align 8, !tbaa !11
  %582 = call i32 (ptr, ...) @printf(ptr noundef @.str.70, ptr noundef %581)
  %583 = 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 %583, label %584, label %587

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

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

590:                                              ; preds = %587, %584
  %591 = phi ptr [ %586, %584 ], [ %589, %587 ]
  store ptr %591, ptr %4, align 8, !tbaa !5
  %592 = load ptr, ptr %4, align 8, !tbaa !5
  %593 = getelementptr inbounds %struct.JSONNode, ptr %592, i32 0, i32 0
  %594 = load ptr, ptr %593, align 8, !tbaa !11
  %595 = call i32 (ptr, ...) @printf(ptr noundef @.str.70, ptr noundef %594)
  %596 = load ptr, ptr %2, align 8, !tbaa !5
  call void @mObjectRelease(ptr noundef %596)
  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
  %597 = load i32, ptr %1, align 4
  ret i32 %597
}

; 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 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 [23 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

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

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

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

18:                                               ; preds = %16, %14
  %19 = phi ptr [ %15, %14 ], [ %17, %16 ]
  %20 = getelementptr inbounds i8, ptr %19, i64 8
  %21 = load i8, ptr %20, align 8, !tbaa !5
  %22 = zext i8 %21 to i64
  %23 = getelementptr inbounds [15 x ptr], ptr @jsontype, i64 0, i64 %22
  %24 = load ptr, ptr %23, align 8, !tbaa !10
  %25 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.18, ptr noundef %24)
  %26 = getelementptr inbounds i8, ptr %19, i64 16
  %27 = load ptr, ptr %26, align 8, !tbaa !12
  %28 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.19, ptr noundef %27)
  %29 = load ptr, ptr %19, align 8, !tbaa !11
  %30 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.20, ptr noundef %29)
  %31 = 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 %31, label %32, label %34

32:                                               ; preds = %18
  %33 = tail call ptr @m_JSONRead(ptr noundef nonnull %3, i64 noundef ptrtoint (ptr @.str.21 to i64), ptr noundef null) #4
  br label %36

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

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

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

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

46:                                               ; preds = %38, %42, %36
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %1) #4
  %47 = call ptr @m_JSONRead(ptr noundef nonnull %3, i64 noundef ptrtoint (ptr @.str.23 to i64), ptr noundef nonnull %1) #4
  %48 = load i8, ptr %1, align 8, !tbaa !11, !range !13, !noundef !14
  %49 = zext nneg i8 %48 to i32
  %50 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.24, i32 noundef %49)
  %51 = 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 %51, label %52, label %54

52:                                               ; preds = %46
  %53 = call ptr @m_JSONRead(ptr noundef nonnull %3, i64 noundef ptrtoint (ptr @.str.25 to i64), ptr noundef null) #4
  br label %56

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

56:                                               ; preds = %54, %52
  %57 = phi ptr [ %53, %52 ], [ %55, %54 ]
  %58 = load i32, ptr %57, align 4, !tbaa !15
  %59 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.26, i32 noundef %58)
  %60 = 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 %60, label %61, label %63

61:                                               ; preds = %56
  %62 = call ptr @m_JSONRead(ptr noundef nonnull %3, i64 noundef ptrtoint (ptr @.str.27 to i64), ptr noundef null) #4
  br label %65

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

65:                                               ; preds = %63, %61
  %66 = phi ptr [ %62, %61 ], [ %64, %63 ]
  %67 = load double, ptr %66, align 8, !tbaa !17
  %68 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.28, double noundef %67)
  %69 = 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 %69, label %70, label %72

70:                                               ; preds = %65
  %71 = call ptr @m_JSONRead(ptr noundef nonnull %3, i64 noundef ptrtoint (ptr @.str.29 to i64), ptr noundef null) #4
  br label %74

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

74:                                               ; preds = %72, %70
  %75 = phi ptr [ %71, %70 ], [ %73, %72 ]
  %76 = getelementptr inbounds i8, ptr %75, i64 8
  %77 = load i8, ptr %76, align 8, !tbaa !5
  %78 = zext i8 %77 to i64
  %79 = getelementptr inbounds [15 x ptr], ptr @jsontype, i64 0, i64 %78
  %80 = load ptr, ptr %79, align 8, !tbaa !10
  %81 = load double, ptr %75, align 8, !tbaa !11
  %82 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.30, ptr noundef %80, double noundef %81)
  %83 = 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 %83, label %84, label %86

84:                                               ; preds = %74
  %85 = call ptr @m_JSONRead(ptr noundef nonnull %3, i64 noundef ptrtoint (ptr @.str.31 to i64), ptr noundef null) #4
  br label %88

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

88:                                               ; preds = %86, %84
  %89 = phi ptr [ %85, %84 ], [ %87, %86 ]
  %90 = getelementptr inbounds i8, ptr %89, i64 8
  %91 = load i8, ptr %90, align 8, !tbaa !5
  %92 = zext i8 %91 to i64
  %93 = getelementptr inbounds [15 x ptr], ptr @jsontype, i64 0, i64 %92
  %94 = load ptr, ptr %93, align 8, !tbaa !10
  %95 = load double, ptr %89, align 8, !tbaa !11
  %96 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.30, ptr noundef %94, double noundef %95)
  %97 = 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 %97, label %98, label %100

98:                                               ; preds = %88
  %99 = call ptr @m_JSONRead(ptr noundef nonnull %3, i64 noundef ptrtoint (ptr @.str.32 to i64), ptr noundef null) #4
  br label %102

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

102:                                              ; preds = %100, %98
  %103 = phi ptr [ %99, %98 ], [ %101, %100 ]
  %104 = getelementptr inbounds i8, ptr %103, i64 8
  %105 = load i8, ptr %104, align 8, !tbaa !5
  %106 = zext i8 %105 to i64
  %107 = getelementptr inbounds [15 x ptr], ptr @jsontype, i64 0, i64 %106
  %108 = load ptr, ptr %107, align 8, !tbaa !10
  %109 = load double, ptr %103, align 8, !tbaa !11
  %110 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.33, ptr noundef %108, double noundef %109)
  %111 = 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 %111, label %112, label %114

112:                                              ; preds = %102
  %113 = call ptr @m_JSONRead(ptr noundef nonnull %3, i64 noundef ptrtoint (ptr @.str.34 to i64), ptr noundef null) #4
  br label %116

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

116:                                              ; preds = %114, %112
  %117 = phi ptr [ %113, %112 ], [ %115, %114 ]
  %118 = getelementptr inbounds i8, ptr %117, i64 8
  %119 = load i8, ptr %118, align 8, !tbaa !5
  %120 = zext i8 %119 to i64
  %121 = getelementptr inbounds [15 x ptr], ptr @jsontype, i64 0, i64 %120
  %122 = load ptr, ptr %121, align 8, !tbaa !10
  %123 = load ptr, ptr %117, align 8, !tbaa !11
  %124 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.35, ptr noundef %122, ptr noundef %123)
  %125 = 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 %125, label %126, label %128

126:                                              ; preds = %116
  %127 = call ptr @m_JSONRead(ptr noundef nonnull %3, i64 noundef ptrtoint (ptr @.str.36 to i64), ptr noundef null) #4
  br label %130

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

130:                                              ; preds = %128, %126
  %131 = phi ptr [ %127, %126 ], [ %129, %128 ]
  %132 = load ptr, ptr %131, align 8, !tbaa !11
  %133 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.37, ptr noundef %132)
  %134 = 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 %134, label %135, label %137

135:                                              ; preds = %130
  %136 = call ptr @m_JSONRead(ptr noundef nonnull %3, i64 noundef ptrtoint (ptr @.str.38 to i64), ptr noundef null) #4
  br label %139

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

139:                                              ; preds = %137, %135
  %140 = phi ptr [ %136, %135 ], [ %138, %137 ]
  %141 = load ptr, ptr %140, align 8, !tbaa !11
  %142 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.39, ptr noundef %141)
  %143 = 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 %143, label %144, label %146

144:                                              ; preds = %139
  %145 = call ptr @m_JSONRead(ptr noundef nonnull %3, i64 noundef ptrtoint (ptr @.str.40 to i64), ptr noundef null) #4
  br label %148

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

148:                                              ; preds = %146, %144
  %149 = phi ptr [ %145, %144 ], [ %147, %146 ]
  %150 = load ptr, ptr %149, align 8, !tbaa !11
  %151 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.41, ptr noundef %150)
  %152 = 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 %152, label %153, label %155

153:                                              ; preds = %148
  %154 = call ptr @m_JSONRead(ptr noundef nonnull %3, i64 noundef ptrtoint (ptr @.str.42 to i64), ptr noundef null) #4
  br label %157

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

157:                                              ; preds = %155, %153
  %158 = phi ptr [ %154, %153 ], [ %156, %155 ]
  %159 = load ptr, ptr %158, align 8, !tbaa !11
  %160 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.43, ptr noundef %159)
  %161 = 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 %161, label %162, label %164

162:                                              ; preds = %157
  %163 = call ptr @m_JSONRead(ptr noundef nonnull %3, i64 noundef ptrtoint (ptr @.str.44 to i64), ptr noundef null) #4
  br label %166

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

166:                                              ; preds = %164, %162
  %167 = phi ptr [ %163, %162 ], [ %165, %164 ]
  %168 = 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 %168, label %169, label %171

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

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

173:                                              ; preds = %171, %169
  %174 = phi ptr [ %170, %169 ], [ %172, %171 ]
  %175 = load i32, ptr %174, align 8, !tbaa !11
  %176 = getelementptr inbounds i8, ptr %174, i64 8
  %177 = load i8, ptr %176, align 8, !tbaa !5
  %178 = zext i8 %177 to i64
  %179 = getelementptr inbounds [15 x ptr], ptr @jsontype, i64 0, i64 %178
  %180 = load ptr, ptr %179, align 8, !tbaa !10
  %181 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.46, i32 noundef %175, ptr noundef %180)
  %182 = 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 %182, label %183, label %185

183:                                              ; preds = %173
  %184 = call ptr @m_JSONRead(ptr noundef %167, i64 noundef ptrtoint (ptr @.str.47 to i64), ptr noundef null) #4
  br label %187

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

187:                                              ; preds = %185, %183
  %188 = phi ptr [ %184, %183 ], [ %186, %185 ]
  %189 = load i32, ptr %188, align 8, !tbaa !11
  %190 = getelementptr inbounds i8, ptr %188, i64 8
  %191 = load i8, ptr %190, align 8, !tbaa !5
  %192 = zext i8 %191 to i64
  %193 = getelementptr inbounds [15 x ptr], ptr @jsontype, i64 0, i64 %192
  %194 = load ptr, ptr %193, align 8, !tbaa !10
  %195 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.48, i32 noundef %189, ptr noundef %194)
  %196 = 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 %196, label %197, label %199

197:                                              ; preds = %187
  %198 = call ptr @m_JSONRead(ptr noundef %167, i64 noundef ptrtoint (ptr @.str.49 to i64), ptr noundef null) #4
  br label %201

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

201:                                              ; preds = %199, %197
  %202 = phi ptr [ %198, %197 ], [ %200, %199 ]
  %203 = load i32, ptr %202, align 8, !tbaa !11
  %204 = getelementptr inbounds i8, ptr %202, i64 8
  %205 = load i8, ptr %204, align 8, !tbaa !5
  %206 = zext i8 %205 to i64
  %207 = getelementptr inbounds [15 x ptr], ptr @jsontype, i64 0, i64 %206
  %208 = load ptr, ptr %207, align 8, !tbaa !10
  %209 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.50, i32 noundef %203, ptr noundef %208)
  %210 = 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 %210, label %211, label %213

211:                                              ; preds = %201
  %212 = call ptr @m_JSONRead(ptr noundef nonnull %3, i64 noundef ptrtoint (ptr @.str.51 to i64), ptr noundef null) #4
  br label %215

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

215:                                              ; preds = %213, %211
  %216 = phi ptr [ %212, %211 ], [ %214, %213 ]
  %217 = load i32, ptr %216, align 8, !tbaa !11
  %218 = getelementptr inbounds i8, ptr %216, i64 8
  %219 = load i8, ptr %218, align 8, !tbaa !5
  %220 = zext i8 %219 to i64
  %221 = getelementptr inbounds [15 x ptr], ptr @jsontype, i64 0, i64 %220
  %222 = load ptr, ptr %221, align 8, !tbaa !10
  %223 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.46, i32 noundef %217, ptr noundef %222)
  %224 = 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 %224, label %225, label %227

225:                                              ; preds = %215
  %226 = call ptr @m_JSONRead(ptr noundef nonnull %3, i64 noundef ptrtoint (ptr @.str.52 to i64), ptr noundef null) #4
  br label %229

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

229:                                              ; preds = %227, %225
  %230 = phi ptr [ %226, %225 ], [ %228, %227 ]
  %231 = load i32, ptr %230, align 8, !tbaa !11
  %232 = getelementptr inbounds i8, ptr %230, i64 8
  %233 = load i8, ptr %232, align 8, !tbaa !5
  %234 = zext i8 %233 to i64
  %235 = getelementptr inbounds [15 x ptr], ptr @jsontype, i64 0, i64 %234
  %236 = load ptr, ptr %235, align 8, !tbaa !10
  %237 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.48, i32 noundef %231, ptr noundef %236)
  %238 = 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 %238, label %239, label %241

239:                                              ; preds = %229
  %240 = call ptr @m_JSONRead(ptr noundef nonnull %3, i64 noundef ptrtoint (ptr @.str.53 to i64), ptr noundef null) #4
  br label %243

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

243:                                              ; preds = %241, %239
  %244 = phi ptr [ %240, %239 ], [ %242, %241 ]
  %245 = load i32, ptr %244, align 8, !tbaa !11
  %246 = getelementptr inbounds i8, ptr %244, i64 8
  %247 = load i8, ptr %246, align 8, !tbaa !5
  %248 = zext i8 %247 to i64
  %249 = getelementptr inbounds [15 x ptr], ptr @jsontype, i64 0, i64 %248
  %250 = load ptr, ptr %249, align 8, !tbaa !10
  %251 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.50, i32 noundef %245, ptr noundef %250)
  %252 = 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 %252, label %253, label %255

253:                                              ; preds = %243
  %254 = call ptr @m_JSONRead(ptr noundef nonnull %3, i64 noundef ptrtoint (ptr @.str.54 to i64), ptr noundef null) #4
  br label %257

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

257:                                              ; preds = %255, %253
  %258 = phi ptr [ %254, %253 ], [ %256, %255 ]
  %259 = load i32, ptr %258, align 8, !tbaa !11
  %260 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.55, i32 noundef %259)
  %261 = 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 %261, label %262, label %264

262:                                              ; preds = %257
  %263 = call ptr @m_JSONRead(ptr noundef nonnull %3, i64 noundef ptrtoint (ptr @.str.56 to i64), ptr noundef null) #4
  br label %266

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

266:                                              ; preds = %264, %262
  %267 = phi ptr [ %263, %262 ], [ %265, %264 ]
  %268 = load i32, ptr %267, align 8, !tbaa !11
  %269 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.57, i32 noundef %268)
  %270 = 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 %270, label %271, label %273

271:                                              ; preds = %266
  %272 = call ptr @m_JSONRead(ptr noundef nonnull %3, i64 noundef ptrtoint (ptr @.str.58 to i64), ptr noundef null) #4
  br label %275

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

275:                                              ; preds = %273, %271
  %276 = phi ptr [ %272, %271 ], [ %274, %273 ]
  %277 = load i32, ptr %276, align 8, !tbaa !11
  %278 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.59, i32 noundef %277)
  %279 = 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 %279, label %280, label %282

280:                                              ; preds = %275
  %281 = call ptr @m_JSONRead(ptr noundef nonnull %3, i64 noundef ptrtoint (ptr @.str.60 to i64), ptr noundef null) #4
  br label %284

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

284:                                              ; preds = %282, %280
  %285 = phi ptr [ %281, %280 ], [ %283, %282 ]
  %286 = load i32, ptr %285, align 8, !tbaa !11
  %287 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.61, i32 noundef %286)
  %288 = 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 %288, label %289, label %291

289:                                              ; preds = %284
  %290 = call ptr @m_JSONRead(ptr noundef nonnull %3, i64 noundef ptrtoint (ptr @.str.62 to i64), ptr noundef null) #4
  br label %293

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

293:                                              ; preds = %291, %289
  %294 = phi ptr [ %290, %289 ], [ %292, %291 ]
  %295 = call ptr @m_JSONRead(ptr noundef %294, i64 noundef 0, ptr noundef null) #4
  %296 = load i32, ptr %295, align 8, !tbaa !11
  %297 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.55, i32 noundef %296)
  %298 = call ptr @m_JSONRead(ptr noundef %294, i64 noundef 1, ptr noundef null) #4
  %299 = load i32, ptr %298, align 8, !tbaa !11
  %300 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.57, i32 noundef %299)
  %301 = 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 %301, label %302, label %304

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

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

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

310:                                              ; preds = %306
  %311 = call ptr @m_JSONRead(ptr noundef nonnull %3, i64 noundef ptrtoint (ptr @.str.60 to i64), ptr noundef null) #4
  br label %314

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

314:                                              ; preds = %312, %310
  %315 = phi ptr [ %311, %310 ], [ %313, %312 ]
  %316 = load i32, ptr %315, align 8, !tbaa !11
  %317 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.61, i32 noundef %316)
  %318 = 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 %318, label %319, label %321

319:                                              ; preds = %314
  %320 = call ptr @m_JSONRead(ptr noundef nonnull %3, i64 noundef ptrtoint (ptr @.str.64 to i64), ptr noundef null) #4
  br label %323

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

323:                                              ; preds = %321, %319
  %324 = phi ptr [ %320, %319 ], [ %322, %321 ]
  %325 = load i32, ptr %324, align 8, !tbaa !11
  %326 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.65, i32 noundef %325)
  %327 = 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 %327, label %328, label %330

328:                                              ; preds = %323
  %329 = call ptr @m_JSONRead(ptr noundef nonnull %3, i64 noundef ptrtoint (ptr @.str.66 to i64), ptr noundef null) #4
  br label %332

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

332:                                              ; preds = %330, %328
  %333 = phi ptr [ %329, %328 ], [ %331, %330 ]
  %334 = load i16, ptr %333, align 8, !tbaa !11
  %.not139 = icmp eq i16 %334, 0
  br i1 %.not139, label %._crit_edge138, label %.lr.ph137

._crit_edge138:                                   ; preds = %._crit_edge, %332
  %335 = 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 %335, label %348, label %350

.lr.ph137:                                        ; preds = %332, %._crit_edge
  %indvars.iv142 = phi i64 [ %indvars.iv.next143, %._crit_edge ], [ 0, %332 ]
  %indvars.iv.next143 = add nuw nsw i64 %indvars.iv142, 1
  %336 = call ptr @m_JSONRead(ptr noundef nonnull %333, i64 noundef %indvars.iv142, ptr noundef null) #4
  %337 = load i16, ptr %336, align 8, !tbaa !11
  %.not140 = icmp eq i16 %337, 0
  br i1 %.not140, label %._crit_edge, label %.lr.ph

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

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

348:                                              ; preds = %._crit_edge138
  %349 = call ptr @m_JSONRead(ptr noundef nonnull %3, i64 noundef ptrtoint (ptr @.str.69 to i64), ptr noundef null) #4
  br label %352

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

352:                                              ; preds = %350, %348
  %353 = phi ptr [ %349, %348 ], [ %351, %350 ]
  %354 = load ptr, ptr %353, align 8, !tbaa !11
  %355 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.70, ptr noundef %354)
  %356 = 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 %356, label %357, label %359

357:                                              ; preds = %352
  %358 = call ptr @m_JSONRead(ptr noundef nonnull %3, i64 noundef ptrtoint (ptr @.str.71 to i64), ptr noundef null) #4
  br label %361

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

361:                                              ; preds = %359, %357
  %362 = phi ptr [ %358, %357 ], [ %360, %359 ]
  %363 = load ptr, ptr %362, align 8, !tbaa !11
  %364 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.70, ptr noundef %363)
  %365 = 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 %365, label %366, label %368

366:                                              ; preds = %361
  %367 = call ptr @m_JSONRead(ptr noundef nonnull %3, i64 noundef ptrtoint (ptr @.str.72 to i64), ptr noundef null) #4
  br label %370

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

370:                                              ; preds = %368, %366
  %371 = phi ptr [ %367, %366 ], [ %369, %368 ]
  %372 = load ptr, ptr %371, align 8, !tbaa !11
  %373 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.70, ptr noundef %372)
  call void @mObjectRelease(ptr noundef %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 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