; LLVM IR from facebook/hermes :: API/hermes_sandbox/external (hermes_sandbox_impl_compiled_2)

; 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.w2c_hermes = type { ptr, ptr, ptr, i32, i32, i32, %struct.wasm_rt_memory_t, %struct.wasm_rt_funcref_table_t }
%struct.wasm_rt_memory_t = type { ptr, i64, i64, i64, i8 }
%struct.wasm_rt_funcref_table_t = type { ptr, i32, i32 }

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

; Function Attrs: inlinehint nounwind uwtable
declare hidden i32 @i32_load8_u(ptr noundef, i64 noundef) #1

; Function Attrs: inlinehint nounwind uwtable
declare hidden void @i32_store8(ptr noundef, i64 noundef, i32 noundef) #1

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

; Function Attrs: noreturn
declare void @wasm_rt_trap(i32 noundef) #2

; Function Attrs: inlinehint nounwind uwtable
declare hidden i32 @i32_load(ptr noundef, i64 noundef) #1

declare void @w2c_hermes_0x5F_assert_fail(ptr noundef, i32 noundef, i32 noundef, i32 noundef, i32 noundef) #3

declare void @w2c_hermes_hermes0x3A0x3AESTree0x3A0x3ARecursiveVisitorDispatch0x3Chermes0x3A0x3Asem0x3A0x3ASemanticValidator0x2C0x20true0x3E0x3A0x3Avisit0x28hermes0x3A0x3Asem0x3A0x3ASemanticValidator0x260x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x29(ptr noundef, i32 noundef, i32 noundef, i32 noundef, i32 noundef) #3

; Function Attrs: nounwind uwtable
define dso_local void @w2c_hermes_hermes0x3A0x3Asem0x3A0x3ASemanticValidator0x3A0x3AvisitParamsAndBody0x28hermes0x3A0x3AESTree0x3A0x3AFunctionLikeNode0x2A0x29(ptr noundef %0, i32 noundef %1, i32 noundef %2) #4 {
  %4 = alloca ptr, align 8
  %5 = alloca i32, align 4
  %6 = alloca i32, align 4
  %7 = alloca i32, align 4
  %8 = alloca i32, align 4
  %9 = alloca i32, align 4
  %10 = alloca i32, align 4
  %11 = alloca i32, align 4
  %12 = alloca i32, align 4
  %13 = alloca i32, align 4
  %14 = alloca i32, align 4
  %15 = alloca i32, align 4
  store ptr %0, ptr %4, align 8, !tbaa !5
  store i32 %1, ptr %5, align 4, !tbaa !9
  store i32 %2, ptr %6, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %7) #5
  store i32 0, ptr %7, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %8) #5
  store i32 0, ptr %8, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %9) #5
  store i32 0, ptr %9, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %10) #5
  store i32 0, ptr %10, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %11) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %12) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %13) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %14) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %15) #5
  %16 = load ptr, ptr %4, align 8, !tbaa !5
  %17 = getelementptr inbounds %struct.w2c_hermes, ptr %16, i32 0, i32 3
  %18 = load i32, ptr %17, align 8, !tbaa !11
  store i32 %18, ptr %11, align 4, !tbaa !9
  store i32 16, ptr %12, align 4, !tbaa !9
  %19 = load i32, ptr %12, align 4, !tbaa !9
  %20 = load i32, ptr %11, align 4, !tbaa !9
  %21 = sub i32 %20, %19
  store i32 %21, ptr %11, align 4, !tbaa !9
  %22 = load i32, ptr %11, align 4, !tbaa !9
  store i32 %22, ptr %9, align 4, !tbaa !9
  %23 = load i32, ptr %11, align 4, !tbaa !9
  %24 = load ptr, ptr %4, align 8, !tbaa !5
  %25 = getelementptr inbounds %struct.w2c_hermes, ptr %24, i32 0, i32 3
  store i32 %23, ptr %25, align 8, !tbaa !11
  %26 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %26, ptr %11, align 4, !tbaa !9
  %27 = load ptr, ptr %4, align 8, !tbaa !5
  %28 = getelementptr inbounds %struct.w2c_hermes, ptr %27, i32 0, i32 6
  %29 = load i32, ptr %11, align 4, !tbaa !9
  %30 = zext i32 %29 to i64
  %31 = add i64 %30, 8
  %32 = call i32 @i32_load(ptr noundef %28, i64 noundef %31)
  store i32 %32, ptr %11, align 4, !tbaa !9
  store i32 4, ptr %12, align 4, !tbaa !9
  %33 = load i32, ptr %12, align 4, !tbaa !9
  %34 = load i32, ptr %11, align 4, !tbaa !9
  %35 = sub i32 %34, %33
  store i32 %35, ptr %11, align 4, !tbaa !9
  %36 = load i32, ptr %11, align 4, !tbaa !9
  switch i32 %36, label %42 [
    i32 0, label %37
    i32 1, label %38
    i32 2, label %39
    i32 3, label %40
    i32 4, label %41
  ]

37:                                               ; preds = %3
  br label %43

38:                                               ; preds = %3
  br label %245

39:                                               ; preds = %3
  br label %447

40:                                               ; preds = %3
  br label %668

41:                                               ; preds = %3
  br label %889

42:                                               ; preds = %3
  br label %1110

43:                                               ; preds = %37
  %44 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %44, ptr %11, align 4, !tbaa !9
  store i32 8, ptr %12, align 4, !tbaa !9
  %45 = load i32, ptr %12, align 4, !tbaa !9
  %46 = load i32, ptr %11, align 4, !tbaa !9
  %47 = add i32 %46, %45
  store i32 %47, ptr %11, align 4, !tbaa !9
  %48 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %48, ptr %12, align 4, !tbaa !9
  %49 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %49, ptr %13, align 4, !tbaa !9
  %50 = load ptr, ptr %4, align 8, !tbaa !5
  %51 = getelementptr inbounds %struct.w2c_hermes, ptr %50, i32 0, i32 6
  %52 = load i32, ptr %13, align 4, !tbaa !9
  %53 = zext i32 %52 to i64
  %54 = add i64 %53, 44
  %55 = call i32 @i32_load(ptr noundef %51, i64 noundef %54)
  store i32 %55, ptr %13, align 4, !tbaa !9
  %56 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %56, ptr %14, align 4, !tbaa !9
  %57 = load ptr, ptr %4, align 8, !tbaa !5
  %58 = load i32, ptr %11, align 4, !tbaa !9
  %59 = load i32, ptr %12, align 4, !tbaa !9
  %60 = load i32, ptr %13, align 4, !tbaa !9
  %61 = load i32, ptr %14, align 4, !tbaa !9
  call void @w2c_hermes_hermes0x3A0x3AESTree0x3A0x3ARecursiveVisitorDispatch0x3Chermes0x3A0x3Asem0x3A0x3ASemanticValidator0x2C0x20true0x3E0x3A0x3Avisit0x28hermes0x3A0x3Asem0x3A0x3ASemanticValidator0x260x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x29(ptr noundef %57, i32 noundef %58, i32 noundef %59, i32 noundef %60, i32 noundef %61)
  %62 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %62, ptr %11, align 4, !tbaa !9
  %63 = load ptr, ptr %4, align 8, !tbaa !5
  %64 = getelementptr inbounds %struct.w2c_hermes, ptr %63, i32 0, i32 6
  %65 = load i32, ptr %11, align 4, !tbaa !9
  %66 = zext i32 %65 to i64
  %67 = add i64 %66, 52
  %68 = call i32 @i32_load(ptr noundef %64, i64 noundef %67)
  store i32 %68, ptr %11, align 4, !tbaa !9
  %69 = load i32, ptr %11, align 4, !tbaa !9
  store i32 %69, ptr %7, align 4, !tbaa !9
  %70 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %70, ptr %12, align 4, !tbaa !9
  store i32 48, ptr %13, align 4, !tbaa !9
  %71 = load i32, ptr %13, align 4, !tbaa !9
  %72 = load i32, ptr %12, align 4, !tbaa !9
  %73 = add i32 %72, %71
  store i32 %73, ptr %12, align 4, !tbaa !9
  %74 = load i32, ptr %12, align 4, !tbaa !9
  store i32 %74, ptr %8, align 4, !tbaa !9
  %75 = load i32, ptr %11, align 4, !tbaa !9
  %76 = load i32, ptr %12, align 4, !tbaa !9
  %77 = icmp ne i32 %75, %76
  %78 = zext i1 %77 to i32
  store i32 %78, ptr %11, align 4, !tbaa !9
  %79 = load i32, ptr %11, align 4, !tbaa !9
  %80 = icmp ne i32 %79, 0
  br i1 %80, label %81, label %135

81:                                               ; preds = %43
  %82 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %82, ptr %11, align 4, !tbaa !9
  %83 = load ptr, ptr %4, align 8, !tbaa !5
  %84 = getelementptr inbounds %struct.w2c_hermes, ptr %83, i32 0, i32 6
  %85 = load i32, ptr %11, align 4, !tbaa !9
  %86 = zext i32 %85 to i64
  %87 = add i64 %86, 80
  %88 = call i32 @i32_load8_u(ptr noundef %84, i64 noundef %87)
  store i32 %88, ptr %11, align 4, !tbaa !9
  %89 = load i32, ptr %11, align 4, !tbaa !9
  store i32 %89, ptr %10, align 4, !tbaa !9
  br label %90

90:                                               ; preds = %133, %81
  %91 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %91, ptr %11, align 4, !tbaa !9
  store i32 1, ptr %12, align 4, !tbaa !9
  %92 = load ptr, ptr %4, align 8, !tbaa !5
  %93 = getelementptr inbounds %struct.w2c_hermes, ptr %92, i32 0, i32 6
  %94 = load i32, ptr %11, align 4, !tbaa !9
  %95 = zext i32 %94 to i64
  %96 = add i64 %95, 80
  %97 = load i32, ptr %12, align 4, !tbaa !9
  call void @i32_store8(ptr noundef %93, i64 noundef %96, i32 noundef %97)
  %98 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %98, ptr %11, align 4, !tbaa !9
  store i32 8, ptr %12, align 4, !tbaa !9
  %99 = load i32, ptr %12, align 4, !tbaa !9
  %100 = load i32, ptr %11, align 4, !tbaa !9
  %101 = add i32 %100, %99
  store i32 %101, ptr %11, align 4, !tbaa !9
  %102 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %102, ptr %12, align 4, !tbaa !9
  %103 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %103, ptr %13, align 4, !tbaa !9
  %104 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %104, ptr %14, align 4, !tbaa !9
  %105 = load ptr, ptr %4, align 8, !tbaa !5
  %106 = load i32, ptr %11, align 4, !tbaa !9
  %107 = load i32, ptr %12, align 4, !tbaa !9
  %108 = load i32, ptr %13, align 4, !tbaa !9
  %109 = load i32, ptr %14, align 4, !tbaa !9
  call void @w2c_hermes_hermes0x3A0x3AESTree0x3A0x3ARecursiveVisitorDispatch0x3Chermes0x3A0x3Asem0x3A0x3ASemanticValidator0x2C0x20true0x3E0x3A0x3Avisit0x28hermes0x3A0x3Asem0x3A0x3ASemanticValidator0x260x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x29(ptr noundef %105, i32 noundef %106, i32 noundef %107, i32 noundef %108, i32 noundef %109)
  %110 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %110, ptr %11, align 4, !tbaa !9
  %111 = load i32, ptr %10, align 4, !tbaa !9
  store i32 %111, ptr %12, align 4, !tbaa !9
  %112 = load ptr, ptr %4, align 8, !tbaa !5
  %113 = getelementptr inbounds %struct.w2c_hermes, ptr %112, i32 0, i32 6
  %114 = load i32, ptr %11, align 4, !tbaa !9
  %115 = zext i32 %114 to i64
  %116 = add i64 %115, 80
  %117 = load i32, ptr %12, align 4, !tbaa !9
  call void @i32_store8(ptr noundef %113, i64 noundef %116, i32 noundef %117)
  %118 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %118, ptr %11, align 4, !tbaa !9
  %119 = load ptr, ptr %4, align 8, !tbaa !5
  %120 = getelementptr inbounds %struct.w2c_hermes, ptr %119, i32 0, i32 6
  %121 = load i32, ptr %11, align 4, !tbaa !9
  %122 = zext i32 %121 to i64
  %123 = add i64 %122, 4
  %124 = call i32 @i32_load(ptr noundef %120, i64 noundef %123)
  store i32 %124, ptr %11, align 4, !tbaa !9
  %125 = load i32, ptr %11, align 4, !tbaa !9
  store i32 %125, ptr %7, align 4, !tbaa !9
  %126 = load i32, ptr %8, align 4, !tbaa !9
  store i32 %126, ptr %12, align 4, !tbaa !9
  %127 = load i32, ptr %11, align 4, !tbaa !9
  %128 = load i32, ptr %12, align 4, !tbaa !9
  %129 = icmp ne i32 %127, %128
  %130 = zext i1 %129 to i32
  store i32 %130, ptr %11, align 4, !tbaa !9
  %131 = load i32, ptr %11, align 4, !tbaa !9
  %132 = icmp ne i32 %131, 0
  br i1 %132, label %133, label %134

133:                                              ; preds = %90
  br label %90

134:                                              ; preds = %90
  br label %135

135:                                              ; preds = %134, %43
  %136 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %136, ptr %11, align 4, !tbaa !9
  %137 = load ptr, ptr %4, align 8, !tbaa !5
  %138 = getelementptr inbounds %struct.w2c_hermes, ptr %137, i32 0, i32 6
  %139 = load i32, ptr %11, align 4, !tbaa !9
  %140 = zext i32 %139 to i64
  %141 = add i64 %140, 56
  %142 = call i32 @i32_load(ptr noundef %138, i64 noundef %141)
  store i32 %142, ptr %11, align 4, !tbaa !9
  %143 = load i32, ptr %11, align 4, !tbaa !9
  store i32 %143, ptr %7, align 4, !tbaa !9
  %144 = load i32, ptr %11, align 4, !tbaa !9
  %145 = icmp ne i32 %144, 0
  %146 = xor i1 %145, true
  %147 = zext i1 %146 to i32
  store i32 %147, ptr %11, align 4, !tbaa !9
  %148 = load i32, ptr %11, align 4, !tbaa !9
  %149 = icmp ne i32 %148, 0
  br i1 %149, label %150, label %151

150:                                              ; preds = %135
  br label %1124

151:                                              ; preds = %135
  %152 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %152, ptr %11, align 4, !tbaa !9
  %153 = load ptr, ptr %4, align 8, !tbaa !5
  %154 = getelementptr inbounds %struct.w2c_hermes, ptr %153, i32 0, i32 6
  %155 = load i32, ptr %11, align 4, !tbaa !9
  %156 = zext i32 %155 to i64
  %157 = add i64 %156, 8
  %158 = call i32 @i32_load(ptr noundef %154, i64 noundef %157)
  store i32 %158, ptr %11, align 4, !tbaa !9
  %159 = load i32, ptr %11, align 4, !tbaa !9
  store i32 %159, ptr %8, align 4, !tbaa !9
  store i32 20, ptr %12, align 4, !tbaa !9
  %160 = load i32, ptr %11, align 4, !tbaa !9
  %161 = load i32, ptr %12, align 4, !tbaa !9
  %162 = icmp eq i32 %160, %161
  %163 = zext i1 %162 to i32
  store i32 %163, ptr %11, align 4, !tbaa !9
  %164 = load i32, ptr %11, align 4, !tbaa !9
  %165 = icmp ne i32 %164, 0
  br i1 %165, label %166, label %232

166:                                              ; preds = %151
  %167 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %167, ptr %11, align 4, !tbaa !9
  store i32 0, ptr %12, align 4, !tbaa !9
  %168 = load i32, ptr %8, align 4, !tbaa !9
  store i32 %168, ptr %13, align 4, !tbaa !9
  store i32 20, ptr %14, align 4, !tbaa !9
  %169 = load i32, ptr %13, align 4, !tbaa !9
  %170 = load i32, ptr %14, align 4, !tbaa !9
  %171 = icmp eq i32 %169, %170
  %172 = zext i1 %171 to i32
  store i32 %172, ptr %13, align 4, !tbaa !9
  %173 = load i32, ptr %13, align 4, !tbaa !9
  %174 = icmp ne i32 %173, 0
  br i1 %174, label %175, label %177

175:                                              ; preds = %166
  %176 = load i32, ptr %11, align 4, !tbaa !9
  br label %179

177:                                              ; preds = %166
  %178 = load i32, ptr %12, align 4, !tbaa !9
  br label %179

179:                                              ; preds = %177, %175
  %180 = phi i32 [ %176, %175 ], [ %178, %177 ]
  store i32 %180, ptr %11, align 4, !tbaa !9
  %181 = load i32, ptr %11, align 4, !tbaa !9
  store i32 %181, ptr %7, align 4, !tbaa !9
  %182 = load ptr, ptr %4, align 8, !tbaa !5
  %183 = getelementptr inbounds %struct.w2c_hermes, ptr %182, i32 0, i32 6
  %184 = load i32, ptr %11, align 4, !tbaa !9
  %185 = zext i32 %184 to i64
  %186 = add i64 %185, 40
  %187 = call i32 @i32_load(ptr noundef %183, i64 noundef %186)
  store i32 %187, ptr %11, align 4, !tbaa !9
  %188 = load i32, ptr %11, align 4, !tbaa !9
  store i32 %188, ptr %6, align 4, !tbaa !9
  %189 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %189, ptr %12, align 4, !tbaa !9
  store i32 36, ptr %13, align 4, !tbaa !9
  %190 = load i32, ptr %13, align 4, !tbaa !9
  %191 = load i32, ptr %12, align 4, !tbaa !9
  %192 = add i32 %191, %190
  store i32 %192, ptr %12, align 4, !tbaa !9
  %193 = load i32, ptr %12, align 4, !tbaa !9
  store i32 %193, ptr %8, align 4, !tbaa !9
  %194 = load i32, ptr %11, align 4, !tbaa !9
  %195 = load i32, ptr %12, align 4, !tbaa !9
  %196 = icmp eq i32 %194, %195
  %197 = zext i1 %196 to i32
  store i32 %197, ptr %11, align 4, !tbaa !9
  %198 = load i32, ptr %11, align 4, !tbaa !9
  %199 = icmp ne i32 %198, 0
  br i1 %199, label %200, label %201

200:                                              ; preds = %179
  br label %1116

201:                                              ; preds = %179
  br label %202

202:                                              ; preds = %230, %201
  %203 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %203, ptr %11, align 4, !tbaa !9
  store i32 8, ptr %12, align 4, !tbaa !9
  %204 = load i32, ptr %12, align 4, !tbaa !9
  %205 = load i32, ptr %11, align 4, !tbaa !9
  %206 = add i32 %205, %204
  store i32 %206, ptr %11, align 4, !tbaa !9
  %207 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %207, ptr %12, align 4, !tbaa !9
  %208 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %208, ptr %13, align 4, !tbaa !9
  %209 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %209, ptr %14, align 4, !tbaa !9
  %210 = load ptr, ptr %4, align 8, !tbaa !5
  %211 = load i32, ptr %11, align 4, !tbaa !9
  %212 = load i32, ptr %12, align 4, !tbaa !9
  %213 = load i32, ptr %13, align 4, !tbaa !9
  %214 = load i32, ptr %14, align 4, !tbaa !9
  call void @w2c_hermes_hermes0x3A0x3AESTree0x3A0x3ARecursiveVisitorDispatch0x3Chermes0x3A0x3Asem0x3A0x3ASemanticValidator0x2C0x20true0x3E0x3A0x3Avisit0x28hermes0x3A0x3Asem0x3A0x3ASemanticValidator0x260x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x29(ptr noundef %210, i32 noundef %211, i32 noundef %212, i32 noundef %213, i32 noundef %214)
  %215 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %215, ptr %11, align 4, !tbaa !9
  %216 = load ptr, ptr %4, align 8, !tbaa !5
  %217 = getelementptr inbounds %struct.w2c_hermes, ptr %216, i32 0, i32 6
  %218 = load i32, ptr %11, align 4, !tbaa !9
  %219 = zext i32 %218 to i64
  %220 = add i64 %219, 4
  %221 = call i32 @i32_load(ptr noundef %217, i64 noundef %220)
  store i32 %221, ptr %11, align 4, !tbaa !9
  %222 = load i32, ptr %11, align 4, !tbaa !9
  store i32 %222, ptr %6, align 4, !tbaa !9
  %223 = load i32, ptr %8, align 4, !tbaa !9
  store i32 %223, ptr %12, align 4, !tbaa !9
  %224 = load i32, ptr %11, align 4, !tbaa !9
  %225 = load i32, ptr %12, align 4, !tbaa !9
  %226 = icmp ne i32 %224, %225
  %227 = zext i1 %226 to i32
  store i32 %227, ptr %11, align 4, !tbaa !9
  %228 = load i32, ptr %11, align 4, !tbaa !9
  %229 = icmp ne i32 %228, 0
  br i1 %229, label %230, label %231

230:                                              ; preds = %202
  br label %202

231:                                              ; preds = %202
  br label %1116

232:                                              ; preds = %151
  %233 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %233, ptr %11, align 4, !tbaa !9
  store i32 8, ptr %12, align 4, !tbaa !9
  %234 = load i32, ptr %12, align 4, !tbaa !9
  %235 = load i32, ptr %11, align 4, !tbaa !9
  %236 = add i32 %235, %234
  store i32 %236, ptr %11, align 4, !tbaa !9
  %237 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %237, ptr %12, align 4, !tbaa !9
  %238 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %238, ptr %13, align 4, !tbaa !9
  %239 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %239, ptr %14, align 4, !tbaa !9
  %240 = load ptr, ptr %4, align 8, !tbaa !5
  %241 = load i32, ptr %11, align 4, !tbaa !9
  %242 = load i32, ptr %12, align 4, !tbaa !9
  %243 = load i32, ptr %13, align 4, !tbaa !9
  %244 = load i32, ptr %14, align 4, !tbaa !9
  call void @w2c_hermes_hermes0x3A0x3AESTree0x3A0x3ARecursiveVisitorDispatch0x3Chermes0x3A0x3Asem0x3A0x3ASemanticValidator0x2C0x20true0x3E0x3A0x3Avisit0x28hermes0x3A0x3Asem0x3A0x3ASemanticValidator0x260x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x29(ptr noundef %240, i32 noundef %241, i32 noundef %242, i32 noundef %243, i32 noundef %244)
  br label %1116

245:                                              ; preds = %38
  %246 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %246, ptr %11, align 4, !tbaa !9
  store i32 8, ptr %12, align 4, !tbaa !9
  %247 = load i32, ptr %12, align 4, !tbaa !9
  %248 = load i32, ptr %11, align 4, !tbaa !9
  %249 = add i32 %248, %247
  store i32 %249, ptr %11, align 4, !tbaa !9
  %250 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %250, ptr %12, align 4, !tbaa !9
  %251 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %251, ptr %13, align 4, !tbaa !9
  %252 = load ptr, ptr %4, align 8, !tbaa !5
  %253 = getelementptr inbounds %struct.w2c_hermes, ptr %252, i32 0, i32 6
  %254 = load i32, ptr %13, align 4, !tbaa !9
  %255 = zext i32 %254 to i64
  %256 = add i64 %255, 44
  %257 = call i32 @i32_load(ptr noundef %253, i64 noundef %256)
  store i32 %257, ptr %13, align 4, !tbaa !9
  %258 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %258, ptr %14, align 4, !tbaa !9
  %259 = load ptr, ptr %4, align 8, !tbaa !5
  %260 = load i32, ptr %11, align 4, !tbaa !9
  %261 = load i32, ptr %12, align 4, !tbaa !9
  %262 = load i32, ptr %13, align 4, !tbaa !9
  %263 = load i32, ptr %14, align 4, !tbaa !9
  call void @w2c_hermes_hermes0x3A0x3AESTree0x3A0x3ARecursiveVisitorDispatch0x3Chermes0x3A0x3Asem0x3A0x3ASemanticValidator0x2C0x20true0x3E0x3A0x3Avisit0x28hermes0x3A0x3Asem0x3A0x3ASemanticValidator0x260x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x29(ptr noundef %259, i32 noundef %260, i32 noundef %261, i32 noundef %262, i32 noundef %263)
  %264 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %264, ptr %11, align 4, !tbaa !9
  %265 = load ptr, ptr %4, align 8, !tbaa !5
  %266 = getelementptr inbounds %struct.w2c_hermes, ptr %265, i32 0, i32 6
  %267 = load i32, ptr %11, align 4, !tbaa !9
  %268 = zext i32 %267 to i64
  %269 = add i64 %268, 52
  %270 = call i32 @i32_load(ptr noundef %266, i64 noundef %269)
  store i32 %270, ptr %11, align 4, !tbaa !9
  %271 = load i32, ptr %11, align 4, !tbaa !9
  store i32 %271, ptr %7, align 4, !tbaa !9
  %272 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %272, ptr %12, align 4, !tbaa !9
  store i32 48, ptr %13, align 4, !tbaa !9
  %273 = load i32, ptr %13, align 4, !tbaa !9
  %274 = load i32, ptr %12, align 4, !tbaa !9
  %275 = add i32 %274, %273
  store i32 %275, ptr %12, align 4, !tbaa !9
  %276 = load i32, ptr %12, align 4, !tbaa !9
  store i32 %276, ptr %8, align 4, !tbaa !9
  %277 = load i32, ptr %11, align 4, !tbaa !9
  %278 = load i32, ptr %12, align 4, !tbaa !9
  %279 = icmp ne i32 %277, %278
  %280 = zext i1 %279 to i32
  store i32 %280, ptr %11, align 4, !tbaa !9
  %281 = load i32, ptr %11, align 4, !tbaa !9
  %282 = icmp ne i32 %281, 0
  br i1 %282, label %283, label %337

283:                                              ; preds = %245
  %284 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %284, ptr %11, align 4, !tbaa !9
  %285 = load ptr, ptr %4, align 8, !tbaa !5
  %286 = getelementptr inbounds %struct.w2c_hermes, ptr %285, i32 0, i32 6
  %287 = load i32, ptr %11, align 4, !tbaa !9
  %288 = zext i32 %287 to i64
  %289 = add i64 %288, 80
  %290 = call i32 @i32_load8_u(ptr noundef %286, i64 noundef %289)
  store i32 %290, ptr %11, align 4, !tbaa !9
  %291 = load i32, ptr %11, align 4, !tbaa !9
  store i32 %291, ptr %10, align 4, !tbaa !9
  br label %292

292:                                              ; preds = %335, %283
  %293 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %293, ptr %11, align 4, !tbaa !9
  store i32 1, ptr %12, align 4, !tbaa !9
  %294 = load ptr, ptr %4, align 8, !tbaa !5
  %295 = getelementptr inbounds %struct.w2c_hermes, ptr %294, i32 0, i32 6
  %296 = load i32, ptr %11, align 4, !tbaa !9
  %297 = zext i32 %296 to i64
  %298 = add i64 %297, 80
  %299 = load i32, ptr %12, align 4, !tbaa !9
  call void @i32_store8(ptr noundef %295, i64 noundef %298, i32 noundef %299)
  %300 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %300, ptr %11, align 4, !tbaa !9
  store i32 8, ptr %12, align 4, !tbaa !9
  %301 = load i32, ptr %12, align 4, !tbaa !9
  %302 = load i32, ptr %11, align 4, !tbaa !9
  %303 = add i32 %302, %301
  store i32 %303, ptr %11, align 4, !tbaa !9
  %304 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %304, ptr %12, align 4, !tbaa !9
  %305 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %305, ptr %13, align 4, !tbaa !9
  %306 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %306, ptr %14, align 4, !tbaa !9
  %307 = load ptr, ptr %4, align 8, !tbaa !5
  %308 = load i32, ptr %11, align 4, !tbaa !9
  %309 = load i32, ptr %12, align 4, !tbaa !9
  %310 = load i32, ptr %13, align 4, !tbaa !9
  %311 = load i32, ptr %14, align 4, !tbaa !9
  call void @w2c_hermes_hermes0x3A0x3AESTree0x3A0x3ARecursiveVisitorDispatch0x3Chermes0x3A0x3Asem0x3A0x3ASemanticValidator0x2C0x20true0x3E0x3A0x3Avisit0x28hermes0x3A0x3Asem0x3A0x3ASemanticValidator0x260x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x29(ptr noundef %307, i32 noundef %308, i32 noundef %309, i32 noundef %310, i32 noundef %311)
  %312 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %312, ptr %11, align 4, !tbaa !9
  %313 = load i32, ptr %10, align 4, !tbaa !9
  store i32 %313, ptr %12, align 4, !tbaa !9
  %314 = load ptr, ptr %4, align 8, !tbaa !5
  %315 = getelementptr inbounds %struct.w2c_hermes, ptr %314, i32 0, i32 6
  %316 = load i32, ptr %11, align 4, !tbaa !9
  %317 = zext i32 %316 to i64
  %318 = add i64 %317, 80
  %319 = load i32, ptr %12, align 4, !tbaa !9
  call void @i32_store8(ptr noundef %315, i64 noundef %318, i32 noundef %319)
  %320 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %320, ptr %11, align 4, !tbaa !9
  %321 = load ptr, ptr %4, align 8, !tbaa !5
  %322 = getelementptr inbounds %struct.w2c_hermes, ptr %321, i32 0, i32 6
  %323 = load i32, ptr %11, align 4, !tbaa !9
  %324 = zext i32 %323 to i64
  %325 = add i64 %324, 4
  %326 = call i32 @i32_load(ptr noundef %322, i64 noundef %325)
  store i32 %326, ptr %11, align 4, !tbaa !9
  %327 = load i32, ptr %11, align 4, !tbaa !9
  store i32 %327, ptr %7, align 4, !tbaa !9
  %328 = load i32, ptr %8, align 4, !tbaa !9
  store i32 %328, ptr %12, align 4, !tbaa !9
  %329 = load i32, ptr %11, align 4, !tbaa !9
  %330 = load i32, ptr %12, align 4, !tbaa !9
  %331 = icmp ne i32 %329, %330
  %332 = zext i1 %331 to i32
  store i32 %332, ptr %11, align 4, !tbaa !9
  %333 = load i32, ptr %11, align 4, !tbaa !9
  %334 = icmp ne i32 %333, 0
  br i1 %334, label %335, label %336

335:                                              ; preds = %292
  br label %292

336:                                              ; preds = %292
  br label %337

337:                                              ; preds = %336, %245
  %338 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %338, ptr %11, align 4, !tbaa !9
  %339 = load ptr, ptr %4, align 8, !tbaa !5
  %340 = getelementptr inbounds %struct.w2c_hermes, ptr %339, i32 0, i32 6
  %341 = load i32, ptr %11, align 4, !tbaa !9
  %342 = zext i32 %341 to i64
  %343 = add i64 %342, 56
  %344 = call i32 @i32_load(ptr noundef %340, i64 noundef %343)
  store i32 %344, ptr %11, align 4, !tbaa !9
  %345 = load i32, ptr %11, align 4, !tbaa !9
  store i32 %345, ptr %7, align 4, !tbaa !9
  %346 = load i32, ptr %11, align 4, !tbaa !9
  %347 = icmp ne i32 %346, 0
  %348 = xor i1 %347, true
  %349 = zext i1 %348 to i32
  store i32 %349, ptr %11, align 4, !tbaa !9
  %350 = load i32, ptr %11, align 4, !tbaa !9
  %351 = icmp ne i32 %350, 0
  br i1 %351, label %352, label %353

352:                                              ; preds = %337
  br label %1142

353:                                              ; preds = %337
  %354 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %354, ptr %11, align 4, !tbaa !9
  %355 = load ptr, ptr %4, align 8, !tbaa !5
  %356 = getelementptr inbounds %struct.w2c_hermes, ptr %355, i32 0, i32 6
  %357 = load i32, ptr %11, align 4, !tbaa !9
  %358 = zext i32 %357 to i64
  %359 = add i64 %358, 8
  %360 = call i32 @i32_load(ptr noundef %356, i64 noundef %359)
  store i32 %360, ptr %11, align 4, !tbaa !9
  %361 = load i32, ptr %11, align 4, !tbaa !9
  store i32 %361, ptr %8, align 4, !tbaa !9
  store i32 20, ptr %12, align 4, !tbaa !9
  %362 = load i32, ptr %11, align 4, !tbaa !9
  %363 = load i32, ptr %12, align 4, !tbaa !9
  %364 = icmp eq i32 %362, %363
  %365 = zext i1 %364 to i32
  store i32 %365, ptr %11, align 4, !tbaa !9
  %366 = load i32, ptr %11, align 4, !tbaa !9
  %367 = icmp ne i32 %366, 0
  br i1 %367, label %368, label %434

368:                                              ; preds = %353
  %369 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %369, ptr %11, align 4, !tbaa !9
  store i32 0, ptr %12, align 4, !tbaa !9
  %370 = load i32, ptr %8, align 4, !tbaa !9
  store i32 %370, ptr %13, align 4, !tbaa !9
  store i32 20, ptr %14, align 4, !tbaa !9
  %371 = load i32, ptr %13, align 4, !tbaa !9
  %372 = load i32, ptr %14, align 4, !tbaa !9
  %373 = icmp eq i32 %371, %372
  %374 = zext i1 %373 to i32
  store i32 %374, ptr %13, align 4, !tbaa !9
  %375 = load i32, ptr %13, align 4, !tbaa !9
  %376 = icmp ne i32 %375, 0
  br i1 %376, label %377, label %379

377:                                              ; preds = %368
  %378 = load i32, ptr %11, align 4, !tbaa !9
  br label %381

379:                                              ; preds = %368
  %380 = load i32, ptr %12, align 4, !tbaa !9
  br label %381

381:                                              ; preds = %379, %377
  %382 = phi i32 [ %378, %377 ], [ %380, %379 ]
  store i32 %382, ptr %11, align 4, !tbaa !9
  %383 = load i32, ptr %11, align 4, !tbaa !9
  store i32 %383, ptr %7, align 4, !tbaa !9
  %384 = load ptr, ptr %4, align 8, !tbaa !5
  %385 = getelementptr inbounds %struct.w2c_hermes, ptr %384, i32 0, i32 6
  %386 = load i32, ptr %11, align 4, !tbaa !9
  %387 = zext i32 %386 to i64
  %388 = add i64 %387, 40
  %389 = call i32 @i32_load(ptr noundef %385, i64 noundef %388)
  store i32 %389, ptr %11, align 4, !tbaa !9
  %390 = load i32, ptr %11, align 4, !tbaa !9
  store i32 %390, ptr %6, align 4, !tbaa !9
  %391 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %391, ptr %12, align 4, !tbaa !9
  store i32 36, ptr %13, align 4, !tbaa !9
  %392 = load i32, ptr %13, align 4, !tbaa !9
  %393 = load i32, ptr %12, align 4, !tbaa !9
  %394 = add i32 %393, %392
  store i32 %394, ptr %12, align 4, !tbaa !9
  %395 = load i32, ptr %12, align 4, !tbaa !9
  store i32 %395, ptr %8, align 4, !tbaa !9
  %396 = load i32, ptr %11, align 4, !tbaa !9
  %397 = load i32, ptr %12, align 4, !tbaa !9
  %398 = icmp eq i32 %396, %397
  %399 = zext i1 %398 to i32
  store i32 %399, ptr %11, align 4, !tbaa !9
  %400 = load i32, ptr %11, align 4, !tbaa !9
  %401 = icmp ne i32 %400, 0
  br i1 %401, label %402, label %403

402:                                              ; preds = %381
  br label %1116

403:                                              ; preds = %381
  br label %404

404:                                              ; preds = %432, %403
  %405 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %405, ptr %11, align 4, !tbaa !9
  store i32 8, ptr %12, align 4, !tbaa !9
  %406 = load i32, ptr %12, align 4, !tbaa !9
  %407 = load i32, ptr %11, align 4, !tbaa !9
  %408 = add i32 %407, %406
  store i32 %408, ptr %11, align 4, !tbaa !9
  %409 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %409, ptr %12, align 4, !tbaa !9
  %410 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %410, ptr %13, align 4, !tbaa !9
  %411 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %411, ptr %14, align 4, !tbaa !9
  %412 = load ptr, ptr %4, align 8, !tbaa !5
  %413 = load i32, ptr %11, align 4, !tbaa !9
  %414 = load i32, ptr %12, align 4, !tbaa !9
  %415 = load i32, ptr %13, align 4, !tbaa !9
  %416 = load i32, ptr %14, align 4, !tbaa !9
  call void @w2c_hermes_hermes0x3A0x3AESTree0x3A0x3ARecursiveVisitorDispatch0x3Chermes0x3A0x3Asem0x3A0x3ASemanticValidator0x2C0x20true0x3E0x3A0x3Avisit0x28hermes0x3A0x3Asem0x3A0x3ASemanticValidator0x260x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x29(ptr noundef %412, i32 noundef %413, i32 noundef %414, i32 noundef %415, i32 noundef %416)
  %417 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %417, ptr %11, align 4, !tbaa !9
  %418 = load ptr, ptr %4, align 8, !tbaa !5
  %419 = getelementptr inbounds %struct.w2c_hermes, ptr %418, i32 0, i32 6
  %420 = load i32, ptr %11, align 4, !tbaa !9
  %421 = zext i32 %420 to i64
  %422 = add i64 %421, 4
  %423 = call i32 @i32_load(ptr noundef %419, i64 noundef %422)
  store i32 %423, ptr %11, align 4, !tbaa !9
  %424 = load i32, ptr %11, align 4, !tbaa !9
  store i32 %424, ptr %6, align 4, !tbaa !9
  %425 = load i32, ptr %8, align 4, !tbaa !9
  store i32 %425, ptr %12, align 4, !tbaa !9
  %426 = load i32, ptr %11, align 4, !tbaa !9
  %427 = load i32, ptr %12, align 4, !tbaa !9
  %428 = icmp ne i32 %426, %427
  %429 = zext i1 %428 to i32
  store i32 %429, ptr %11, align 4, !tbaa !9
  %430 = load i32, ptr %11, align 4, !tbaa !9
  %431 = icmp ne i32 %430, 0
  br i1 %431, label %432, label %433

432:                                              ; preds = %404
  br label %404

433:                                              ; preds = %404
  br label %1116

434:                                              ; preds = %353
  %435 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %435, ptr %11, align 4, !tbaa !9
  store i32 8, ptr %12, align 4, !tbaa !9
  %436 = load i32, ptr %12, align 4, !tbaa !9
  %437 = load i32, ptr %11, align 4, !tbaa !9
  %438 = add i32 %437, %436
  store i32 %438, ptr %11, align 4, !tbaa !9
  %439 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %439, ptr %12, align 4, !tbaa !9
  %440 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %440, ptr %13, align 4, !tbaa !9
  %441 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %441, ptr %14, align 4, !tbaa !9
  %442 = load ptr, ptr %4, align 8, !tbaa !5
  %443 = load i32, ptr %11, align 4, !tbaa !9
  %444 = load i32, ptr %12, align 4, !tbaa !9
  %445 = load i32, ptr %13, align 4, !tbaa !9
  %446 = load i32, ptr %14, align 4, !tbaa !9
  call void @w2c_hermes_hermes0x3A0x3AESTree0x3A0x3ARecursiveVisitorDispatch0x3Chermes0x3A0x3Asem0x3A0x3ASemanticValidator0x2C0x20true0x3E0x3A0x3Avisit0x28hermes0x3A0x3Asem0x3A0x3ASemanticValidator0x260x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x29(ptr noundef %442, i32 noundef %443, i32 noundef %444, i32 noundef %445, i32 noundef %446)
  br label %1116

447:                                              ; preds = %39
  %448 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %448, ptr %11, align 4, !tbaa !9
  store i32 8, ptr %12, align 4, !tbaa !9
  %449 = load i32, ptr %12, align 4, !tbaa !9
  %450 = load i32, ptr %11, align 4, !tbaa !9
  %451 = add i32 %450, %449
  store i32 %451, ptr %11, align 4, !tbaa !9
  %452 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %452, ptr %12, align 4, !tbaa !9
  %453 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %453, ptr %13, align 4, !tbaa !9
  %454 = load ptr, ptr %4, align 8, !tbaa !5
  %455 = getelementptr inbounds %struct.w2c_hermes, ptr %454, i32 0, i32 6
  %456 = load i32, ptr %13, align 4, !tbaa !9
  %457 = zext i32 %456 to i64
  %458 = add i64 %457, 44
  %459 = call i32 @i32_load(ptr noundef %455, i64 noundef %458)
  store i32 %459, ptr %13, align 4, !tbaa !9
  %460 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %460, ptr %14, align 4, !tbaa !9
  %461 = load ptr, ptr %4, align 8, !tbaa !5
  %462 = load i32, ptr %11, align 4, !tbaa !9
  %463 = load i32, ptr %12, align 4, !tbaa !9
  %464 = load i32, ptr %13, align 4, !tbaa !9
  %465 = load i32, ptr %14, align 4, !tbaa !9
  call void @w2c_hermes_hermes0x3A0x3AESTree0x3A0x3ARecursiveVisitorDispatch0x3Chermes0x3A0x3Asem0x3A0x3ASemanticValidator0x2C0x20true0x3E0x3A0x3Avisit0x28hermes0x3A0x3Asem0x3A0x3ASemanticValidator0x260x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x29(ptr noundef %461, i32 noundef %462, i32 noundef %463, i32 noundef %464, i32 noundef %465)
  %466 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %466, ptr %11, align 4, !tbaa !9
  %467 = load ptr, ptr %4, align 8, !tbaa !5
  %468 = getelementptr inbounds %struct.w2c_hermes, ptr %467, i32 0, i32 6
  %469 = load i32, ptr %11, align 4, !tbaa !9
  %470 = zext i32 %469 to i64
  %471 = add i64 %470, 52
  %472 = call i32 @i32_load(ptr noundef %468, i64 noundef %471)
  store i32 %472, ptr %11, align 4, !tbaa !9
  %473 = load i32, ptr %11, align 4, !tbaa !9
  store i32 %473, ptr %7, align 4, !tbaa !9
  %474 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %474, ptr %12, align 4, !tbaa !9
  store i32 48, ptr %13, align 4, !tbaa !9
  %475 = load i32, ptr %13, align 4, !tbaa !9
  %476 = load i32, ptr %12, align 4, !tbaa !9
  %477 = add i32 %476, %475
  store i32 %477, ptr %12, align 4, !tbaa !9
  %478 = load i32, ptr %12, align 4, !tbaa !9
  store i32 %478, ptr %8, align 4, !tbaa !9
  %479 = load i32, ptr %11, align 4, !tbaa !9
  %480 = load i32, ptr %12, align 4, !tbaa !9
  %481 = icmp ne i32 %479, %480
  %482 = zext i1 %481 to i32
  store i32 %482, ptr %11, align 4, !tbaa !9
  %483 = load i32, ptr %11, align 4, !tbaa !9
  %484 = icmp ne i32 %483, 0
  br i1 %484, label %485, label %539

485:                                              ; preds = %447
  %486 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %486, ptr %11, align 4, !tbaa !9
  %487 = load ptr, ptr %4, align 8, !tbaa !5
  %488 = getelementptr inbounds %struct.w2c_hermes, ptr %487, i32 0, i32 6
  %489 = load i32, ptr %11, align 4, !tbaa !9
  %490 = zext i32 %489 to i64
  %491 = add i64 %490, 80
  %492 = call i32 @i32_load8_u(ptr noundef %488, i64 noundef %491)
  store i32 %492, ptr %11, align 4, !tbaa !9
  %493 = load i32, ptr %11, align 4, !tbaa !9
  store i32 %493, ptr %10, align 4, !tbaa !9
  br label %494

494:                                              ; preds = %537, %485
  %495 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %495, ptr %11, align 4, !tbaa !9
  store i32 1, ptr %12, align 4, !tbaa !9
  %496 = load ptr, ptr %4, align 8, !tbaa !5
  %497 = getelementptr inbounds %struct.w2c_hermes, ptr %496, i32 0, i32 6
  %498 = load i32, ptr %11, align 4, !tbaa !9
  %499 = zext i32 %498 to i64
  %500 = add i64 %499, 80
  %501 = load i32, ptr %12, align 4, !tbaa !9
  call void @i32_store8(ptr noundef %497, i64 noundef %500, i32 noundef %501)
  %502 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %502, ptr %11, align 4, !tbaa !9
  store i32 8, ptr %12, align 4, !tbaa !9
  %503 = load i32, ptr %12, align 4, !tbaa !9
  %504 = load i32, ptr %11, align 4, !tbaa !9
  %505 = add i32 %504, %503
  store i32 %505, ptr %11, align 4, !tbaa !9
  %506 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %506, ptr %12, align 4, !tbaa !9
  %507 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %507, ptr %13, align 4, !tbaa !9
  %508 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %508, ptr %14, align 4, !tbaa !9
  %509 = load ptr, ptr %4, align 8, !tbaa !5
  %510 = load i32, ptr %11, align 4, !tbaa !9
  %511 = load i32, ptr %12, align 4, !tbaa !9
  %512 = load i32, ptr %13, align 4, !tbaa !9
  %513 = load i32, ptr %14, align 4, !tbaa !9
  call void @w2c_hermes_hermes0x3A0x3AESTree0x3A0x3ARecursiveVisitorDispatch0x3Chermes0x3A0x3Asem0x3A0x3ASemanticValidator0x2C0x20true0x3E0x3A0x3Avisit0x28hermes0x3A0x3Asem0x3A0x3ASemanticValidator0x260x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x29(ptr noundef %509, i32 noundef %510, i32 noundef %511, i32 noundef %512, i32 noundef %513)
  %514 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %514, ptr %11, align 4, !tbaa !9
  %515 = load i32, ptr %10, align 4, !tbaa !9
  store i32 %515, ptr %12, align 4, !tbaa !9
  %516 = load ptr, ptr %4, align 8, !tbaa !5
  %517 = getelementptr inbounds %struct.w2c_hermes, ptr %516, i32 0, i32 6
  %518 = load i32, ptr %11, align 4, !tbaa !9
  %519 = zext i32 %518 to i64
  %520 = add i64 %519, 80
  %521 = load i32, ptr %12, align 4, !tbaa !9
  call void @i32_store8(ptr noundef %517, i64 noundef %520, i32 noundef %521)
  %522 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %522, ptr %11, align 4, !tbaa !9
  %523 = load ptr, ptr %4, align 8, !tbaa !5
  %524 = getelementptr inbounds %struct.w2c_hermes, ptr %523, i32 0, i32 6
  %525 = load i32, ptr %11, align 4, !tbaa !9
  %526 = zext i32 %525 to i64
  %527 = add i64 %526, 4
  %528 = call i32 @i32_load(ptr noundef %524, i64 noundef %527)
  store i32 %528, ptr %11, align 4, !tbaa !9
  %529 = load i32, ptr %11, align 4, !tbaa !9
  store i32 %529, ptr %7, align 4, !tbaa !9
  %530 = load i32, ptr %8, align 4, !tbaa !9
  store i32 %530, ptr %12, align 4, !tbaa !9
  %531 = load i32, ptr %11, align 4, !tbaa !9
  %532 = load i32, ptr %12, align 4, !tbaa !9
  %533 = icmp ne i32 %531, %532
  %534 = zext i1 %533 to i32
  store i32 %534, ptr %11, align 4, !tbaa !9
  %535 = load i32, ptr %11, align 4, !tbaa !9
  %536 = icmp ne i32 %535, 0
  br i1 %536, label %537, label %538

537:                                              ; preds = %494
  br label %494

538:                                              ; preds = %494
  br label %539

539:                                              ; preds = %538, %447
  %540 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %540, ptr %11, align 4, !tbaa !9
  %541 = load ptr, ptr %4, align 8, !tbaa !5
  %542 = getelementptr inbounds %struct.w2c_hermes, ptr %541, i32 0, i32 6
  %543 = load i32, ptr %11, align 4, !tbaa !9
  %544 = zext i32 %543 to i64
  %545 = add i64 %544, 56
  %546 = call i32 @i32_load(ptr noundef %542, i64 noundef %545)
  store i32 %546, ptr %11, align 4, !tbaa !9
  %547 = load i32, ptr %11, align 4, !tbaa !9
  store i32 %547, ptr %7, align 4, !tbaa !9
  %548 = load i32, ptr %11, align 4, !tbaa !9
  %549 = icmp ne i32 %548, 0
  %550 = xor i1 %549, true
  %551 = zext i1 %550 to i32
  store i32 %551, ptr %11, align 4, !tbaa !9
  %552 = load i32, ptr %11, align 4, !tbaa !9
  %553 = icmp ne i32 %552, 0
  br i1 %553, label %554, label %555

554:                                              ; preds = %539
  br label %1160

555:                                              ; preds = %539
  %556 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %556, ptr %11, align 4, !tbaa !9
  %557 = load ptr, ptr %4, align 8, !tbaa !5
  %558 = getelementptr inbounds %struct.w2c_hermes, ptr %557, i32 0, i32 6
  %559 = load i32, ptr %11, align 4, !tbaa !9
  %560 = zext i32 %559 to i64
  %561 = add i64 %560, 8
  %562 = call i32 @i32_load(ptr noundef %558, i64 noundef %561)
  store i32 %562, ptr %11, align 4, !tbaa !9
  %563 = load i32, ptr %11, align 4, !tbaa !9
  store i32 %563, ptr %8, align 4, !tbaa !9
  store i32 20, ptr %12, align 4, !tbaa !9
  %564 = load i32, ptr %11, align 4, !tbaa !9
  %565 = load i32, ptr %12, align 4, !tbaa !9
  %566 = icmp eq i32 %564, %565
  %567 = zext i1 %566 to i32
  store i32 %567, ptr %11, align 4, !tbaa !9
  %568 = load i32, ptr %11, align 4, !tbaa !9
  %569 = icmp ne i32 %568, 0
  br i1 %569, label %570, label %636

570:                                              ; preds = %555
  %571 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %571, ptr %11, align 4, !tbaa !9
  store i32 0, ptr %12, align 4, !tbaa !9
  %572 = load i32, ptr %8, align 4, !tbaa !9
  store i32 %572, ptr %13, align 4, !tbaa !9
  store i32 20, ptr %14, align 4, !tbaa !9
  %573 = load i32, ptr %13, align 4, !tbaa !9
  %574 = load i32, ptr %14, align 4, !tbaa !9
  %575 = icmp eq i32 %573, %574
  %576 = zext i1 %575 to i32
  store i32 %576, ptr %13, align 4, !tbaa !9
  %577 = load i32, ptr %13, align 4, !tbaa !9
  %578 = icmp ne i32 %577, 0
  br i1 %578, label %579, label %581

579:                                              ; preds = %570
  %580 = load i32, ptr %11, align 4, !tbaa !9
  br label %583

581:                                              ; preds = %570
  %582 = load i32, ptr %12, align 4, !tbaa !9
  br label %583

583:                                              ; preds = %581, %579
  %584 = phi i32 [ %580, %579 ], [ %582, %581 ]
  store i32 %584, ptr %11, align 4, !tbaa !9
  %585 = load i32, ptr %11, align 4, !tbaa !9
  store i32 %585, ptr %8, align 4, !tbaa !9
  %586 = load ptr, ptr %4, align 8, !tbaa !5
  %587 = getelementptr inbounds %struct.w2c_hermes, ptr %586, i32 0, i32 6
  %588 = load i32, ptr %11, align 4, !tbaa !9
  %589 = zext i32 %588 to i64
  %590 = add i64 %589, 40
  %591 = call i32 @i32_load(ptr noundef %587, i64 noundef %590)
  store i32 %591, ptr %11, align 4, !tbaa !9
  %592 = load i32, ptr %11, align 4, !tbaa !9
  store i32 %592, ptr %7, align 4, !tbaa !9
  %593 = load i32, ptr %8, align 4, !tbaa !9
  store i32 %593, ptr %12, align 4, !tbaa !9
  store i32 36, ptr %13, align 4, !tbaa !9
  %594 = load i32, ptr %13, align 4, !tbaa !9
  %595 = load i32, ptr %12, align 4, !tbaa !9
  %596 = add i32 %595, %594
  store i32 %596, ptr %12, align 4, !tbaa !9
  %597 = load i32, ptr %12, align 4, !tbaa !9
  store i32 %597, ptr %10, align 4, !tbaa !9
  %598 = load i32, ptr %11, align 4, !tbaa !9
  %599 = load i32, ptr %12, align 4, !tbaa !9
  %600 = icmp eq i32 %598, %599
  %601 = zext i1 %600 to i32
  store i32 %601, ptr %11, align 4, !tbaa !9
  %602 = load i32, ptr %11, align 4, !tbaa !9
  %603 = icmp ne i32 %602, 0
  br i1 %603, label %604, label %605

604:                                              ; preds = %583
  br label %649

605:                                              ; preds = %583
  br label %606

606:                                              ; preds = %634, %605
  %607 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %607, ptr %11, align 4, !tbaa !9
  store i32 8, ptr %12, align 4, !tbaa !9
  %608 = load i32, ptr %12, align 4, !tbaa !9
  %609 = load i32, ptr %11, align 4, !tbaa !9
  %610 = add i32 %609, %608
  store i32 %610, ptr %11, align 4, !tbaa !9
  %611 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %611, ptr %12, align 4, !tbaa !9
  %612 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %612, ptr %13, align 4, !tbaa !9
  %613 = load i32, ptr %8, align 4, !tbaa !9
  store i32 %613, ptr %14, align 4, !tbaa !9
  %614 = load ptr, ptr %4, align 8, !tbaa !5
  %615 = load i32, ptr %11, align 4, !tbaa !9
  %616 = load i32, ptr %12, align 4, !tbaa !9
  %617 = load i32, ptr %13, align 4, !tbaa !9
  %618 = load i32, ptr %14, align 4, !tbaa !9
  call void @w2c_hermes_hermes0x3A0x3AESTree0x3A0x3ARecursiveVisitorDispatch0x3Chermes0x3A0x3Asem0x3A0x3ASemanticValidator0x2C0x20true0x3E0x3A0x3Avisit0x28hermes0x3A0x3Asem0x3A0x3ASemanticValidator0x260x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x29(ptr noundef %614, i32 noundef %615, i32 noundef %616, i32 noundef %617, i32 noundef %618)
  %619 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %619, ptr %11, align 4, !tbaa !9
  %620 = load ptr, ptr %4, align 8, !tbaa !5
  %621 = getelementptr inbounds %struct.w2c_hermes, ptr %620, i32 0, i32 6
  %622 = load i32, ptr %11, align 4, !tbaa !9
  %623 = zext i32 %622 to i64
  %624 = add i64 %623, 4
  %625 = call i32 @i32_load(ptr noundef %621, i64 noundef %624)
  store i32 %625, ptr %11, align 4, !tbaa !9
  %626 = load i32, ptr %11, align 4, !tbaa !9
  store i32 %626, ptr %7, align 4, !tbaa !9
  %627 = load i32, ptr %10, align 4, !tbaa !9
  store i32 %627, ptr %12, align 4, !tbaa !9
  %628 = load i32, ptr %11, align 4, !tbaa !9
  %629 = load i32, ptr %12, align 4, !tbaa !9
  %630 = icmp ne i32 %628, %629
  %631 = zext i1 %630 to i32
  store i32 %631, ptr %11, align 4, !tbaa !9
  %632 = load i32, ptr %11, align 4, !tbaa !9
  %633 = icmp ne i32 %632, 0
  br i1 %633, label %634, label %635

634:                                              ; preds = %606
  br label %606

635:                                              ; preds = %606
  br label %649

636:                                              ; preds = %555
  %637 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %637, ptr %11, align 4, !tbaa !9
  store i32 8, ptr %12, align 4, !tbaa !9
  %638 = load i32, ptr %12, align 4, !tbaa !9
  %639 = load i32, ptr %11, align 4, !tbaa !9
  %640 = add i32 %639, %638
  store i32 %640, ptr %11, align 4, !tbaa !9
  %641 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %641, ptr %12, align 4, !tbaa !9
  %642 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %642, ptr %13, align 4, !tbaa !9
  %643 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %643, ptr %14, align 4, !tbaa !9
  %644 = load ptr, ptr %4, align 8, !tbaa !5
  %645 = load i32, ptr %11, align 4, !tbaa !9
  %646 = load i32, ptr %12, align 4, !tbaa !9
  %647 = load i32, ptr %13, align 4, !tbaa !9
  %648 = load i32, ptr %14, align 4, !tbaa !9
  call void @w2c_hermes_hermes0x3A0x3AESTree0x3A0x3ARecursiveVisitorDispatch0x3Chermes0x3A0x3Asem0x3A0x3ASemanticValidator0x2C0x20true0x3E0x3A0x3Avisit0x28hermes0x3A0x3Asem0x3A0x3ASemanticValidator0x260x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x29(ptr noundef %644, i32 noundef %645, i32 noundef %646, i32 noundef %647, i32 noundef %648)
  br label %649

649:                                              ; preds = %636, %635, %604
  %650 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %650, ptr %11, align 4, !tbaa !9
  store i32 8, ptr %12, align 4, !tbaa !9
  %651 = load i32, ptr %12, align 4, !tbaa !9
  %652 = load i32, ptr %11, align 4, !tbaa !9
  %653 = add i32 %652, %651
  store i32 %653, ptr %11, align 4, !tbaa !9
  %654 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %654, ptr %12, align 4, !tbaa !9
  %655 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %655, ptr %13, align 4, !tbaa !9
  %656 = load ptr, ptr %4, align 8, !tbaa !5
  %657 = getelementptr inbounds %struct.w2c_hermes, ptr %656, i32 0, i32 6
  %658 = load i32, ptr %13, align 4, !tbaa !9
  %659 = zext i32 %658 to i64
  %660 = add i64 %659, 64
  %661 = call i32 @i32_load(ptr noundef %657, i64 noundef %660)
  store i32 %661, ptr %13, align 4, !tbaa !9
  %662 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %662, ptr %14, align 4, !tbaa !9
  %663 = load ptr, ptr %4, align 8, !tbaa !5
  %664 = load i32, ptr %11, align 4, !tbaa !9
  %665 = load i32, ptr %12, align 4, !tbaa !9
  %666 = load i32, ptr %13, align 4, !tbaa !9
  %667 = load i32, ptr %14, align 4, !tbaa !9
  call void @w2c_hermes_hermes0x3A0x3AESTree0x3A0x3ARecursiveVisitorDispatch0x3Chermes0x3A0x3Asem0x3A0x3ASemanticValidator0x2C0x20true0x3E0x3A0x3Avisit0x28hermes0x3A0x3Asem0x3A0x3ASemanticValidator0x260x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x29(ptr noundef %663, i32 noundef %664, i32 noundef %665, i32 noundef %666, i32 noundef %667)
  br label %1116

668:                                              ; preds = %40
  %669 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %669, ptr %11, align 4, !tbaa !9
  store i32 8, ptr %12, align 4, !tbaa !9
  %670 = load i32, ptr %12, align 4, !tbaa !9
  %671 = load i32, ptr %11, align 4, !tbaa !9
  %672 = add i32 %671, %670
  store i32 %672, ptr %11, align 4, !tbaa !9
  %673 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %673, ptr %12, align 4, !tbaa !9
  %674 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %674, ptr %13, align 4, !tbaa !9
  %675 = load ptr, ptr %4, align 8, !tbaa !5
  %676 = getelementptr inbounds %struct.w2c_hermes, ptr %675, i32 0, i32 6
  %677 = load i32, ptr %13, align 4, !tbaa !9
  %678 = zext i32 %677 to i64
  %679 = add i64 %678, 44
  %680 = call i32 @i32_load(ptr noundef %676, i64 noundef %679)
  store i32 %680, ptr %13, align 4, !tbaa !9
  %681 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %681, ptr %14, align 4, !tbaa !9
  %682 = load ptr, ptr %4, align 8, !tbaa !5
  %683 = load i32, ptr %11, align 4, !tbaa !9
  %684 = load i32, ptr %12, align 4, !tbaa !9
  %685 = load i32, ptr %13, align 4, !tbaa !9
  %686 = load i32, ptr %14, align 4, !tbaa !9
  call void @w2c_hermes_hermes0x3A0x3AESTree0x3A0x3ARecursiveVisitorDispatch0x3Chermes0x3A0x3Asem0x3A0x3ASemanticValidator0x2C0x20true0x3E0x3A0x3Avisit0x28hermes0x3A0x3Asem0x3A0x3ASemanticValidator0x260x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x29(ptr noundef %682, i32 noundef %683, i32 noundef %684, i32 noundef %685, i32 noundef %686)
  %687 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %687, ptr %11, align 4, !tbaa !9
  %688 = load ptr, ptr %4, align 8, !tbaa !5
  %689 = getelementptr inbounds %struct.w2c_hermes, ptr %688, i32 0, i32 6
  %690 = load i32, ptr %11, align 4, !tbaa !9
  %691 = zext i32 %690 to i64
  %692 = add i64 %691, 52
  %693 = call i32 @i32_load(ptr noundef %689, i64 noundef %692)
  store i32 %693, ptr %11, align 4, !tbaa !9
  %694 = load i32, ptr %11, align 4, !tbaa !9
  store i32 %694, ptr %7, align 4, !tbaa !9
  %695 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %695, ptr %12, align 4, !tbaa !9
  store i32 48, ptr %13, align 4, !tbaa !9
  %696 = load i32, ptr %13, align 4, !tbaa !9
  %697 = load i32, ptr %12, align 4, !tbaa !9
  %698 = add i32 %697, %696
  store i32 %698, ptr %12, align 4, !tbaa !9
  %699 = load i32, ptr %12, align 4, !tbaa !9
  store i32 %699, ptr %8, align 4, !tbaa !9
  %700 = load i32, ptr %11, align 4, !tbaa !9
  %701 = load i32, ptr %12, align 4, !tbaa !9
  %702 = icmp ne i32 %700, %701
  %703 = zext i1 %702 to i32
  store i32 %703, ptr %11, align 4, !tbaa !9
  %704 = load i32, ptr %11, align 4, !tbaa !9
  %705 = icmp ne i32 %704, 0
  br i1 %705, label %706, label %760

706:                                              ; preds = %668
  %707 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %707, ptr %11, align 4, !tbaa !9
  %708 = load ptr, ptr %4, align 8, !tbaa !5
  %709 = getelementptr inbounds %struct.w2c_hermes, ptr %708, i32 0, i32 6
  %710 = load i32, ptr %11, align 4, !tbaa !9
  %711 = zext i32 %710 to i64
  %712 = add i64 %711, 80
  %713 = call i32 @i32_load8_u(ptr noundef %709, i64 noundef %712)
  store i32 %713, ptr %11, align 4, !tbaa !9
  %714 = load i32, ptr %11, align 4, !tbaa !9
  store i32 %714, ptr %10, align 4, !tbaa !9
  br label %715

715:                                              ; preds = %758, %706
  %716 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %716, ptr %11, align 4, !tbaa !9
  store i32 1, ptr %12, align 4, !tbaa !9
  %717 = load ptr, ptr %4, align 8, !tbaa !5
  %718 = getelementptr inbounds %struct.w2c_hermes, ptr %717, i32 0, i32 6
  %719 = load i32, ptr %11, align 4, !tbaa !9
  %720 = zext i32 %719 to i64
  %721 = add i64 %720, 80
  %722 = load i32, ptr %12, align 4, !tbaa !9
  call void @i32_store8(ptr noundef %718, i64 noundef %721, i32 noundef %722)
  %723 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %723, ptr %11, align 4, !tbaa !9
  store i32 8, ptr %12, align 4, !tbaa !9
  %724 = load i32, ptr %12, align 4, !tbaa !9
  %725 = load i32, ptr %11, align 4, !tbaa !9
  %726 = add i32 %725, %724
  store i32 %726, ptr %11, align 4, !tbaa !9
  %727 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %727, ptr %12, align 4, !tbaa !9
  %728 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %728, ptr %13, align 4, !tbaa !9
  %729 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %729, ptr %14, align 4, !tbaa !9
  %730 = load ptr, ptr %4, align 8, !tbaa !5
  %731 = load i32, ptr %11, align 4, !tbaa !9
  %732 = load i32, ptr %12, align 4, !tbaa !9
  %733 = load i32, ptr %13, align 4, !tbaa !9
  %734 = load i32, ptr %14, align 4, !tbaa !9
  call void @w2c_hermes_hermes0x3A0x3AESTree0x3A0x3ARecursiveVisitorDispatch0x3Chermes0x3A0x3Asem0x3A0x3ASemanticValidator0x2C0x20true0x3E0x3A0x3Avisit0x28hermes0x3A0x3Asem0x3A0x3ASemanticValidator0x260x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x29(ptr noundef %730, i32 noundef %731, i32 noundef %732, i32 noundef %733, i32 noundef %734)
  %735 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %735, ptr %11, align 4, !tbaa !9
  %736 = load i32, ptr %10, align 4, !tbaa !9
  store i32 %736, ptr %12, align 4, !tbaa !9
  %737 = load ptr, ptr %4, align 8, !tbaa !5
  %738 = getelementptr inbounds %struct.w2c_hermes, ptr %737, i32 0, i32 6
  %739 = load i32, ptr %11, align 4, !tbaa !9
  %740 = zext i32 %739 to i64
  %741 = add i64 %740, 80
  %742 = load i32, ptr %12, align 4, !tbaa !9
  call void @i32_store8(ptr noundef %738, i64 noundef %741, i32 noundef %742)
  %743 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %743, ptr %11, align 4, !tbaa !9
  %744 = load ptr, ptr %4, align 8, !tbaa !5
  %745 = getelementptr inbounds %struct.w2c_hermes, ptr %744, i32 0, i32 6
  %746 = load i32, ptr %11, align 4, !tbaa !9
  %747 = zext i32 %746 to i64
  %748 = add i64 %747, 4
  %749 = call i32 @i32_load(ptr noundef %745, i64 noundef %748)
  store i32 %749, ptr %11, align 4, !tbaa !9
  %750 = load i32, ptr %11, align 4, !tbaa !9
  store i32 %750, ptr %7, align 4, !tbaa !9
  %751 = load i32, ptr %8, align 4, !tbaa !9
  store i32 %751, ptr %12, align 4, !tbaa !9
  %752 = load i32, ptr %11, align 4, !tbaa !9
  %753 = load i32, ptr %12, align 4, !tbaa !9
  %754 = icmp ne i32 %752, %753
  %755 = zext i1 %754 to i32
  store i32 %755, ptr %11, align 4, !tbaa !9
  %756 = load i32, ptr %11, align 4, !tbaa !9
  %757 = icmp ne i32 %756, 0
  br i1 %757, label %758, label %759

758:                                              ; preds = %715
  br label %715

759:                                              ; preds = %715
  br label %760

760:                                              ; preds = %759, %668
  %761 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %761, ptr %11, align 4, !tbaa !9
  %762 = load ptr, ptr %4, align 8, !tbaa !5
  %763 = getelementptr inbounds %struct.w2c_hermes, ptr %762, i32 0, i32 6
  %764 = load i32, ptr %11, align 4, !tbaa !9
  %765 = zext i32 %764 to i64
  %766 = add i64 %765, 56
  %767 = call i32 @i32_load(ptr noundef %763, i64 noundef %766)
  store i32 %767, ptr %11, align 4, !tbaa !9
  %768 = load i32, ptr %11, align 4, !tbaa !9
  store i32 %768, ptr %7, align 4, !tbaa !9
  %769 = load i32, ptr %11, align 4, !tbaa !9
  %770 = icmp ne i32 %769, 0
  %771 = xor i1 %770, true
  %772 = zext i1 %771 to i32
  store i32 %772, ptr %11, align 4, !tbaa !9
  %773 = load i32, ptr %11, align 4, !tbaa !9
  %774 = icmp ne i32 %773, 0
  br i1 %774, label %775, label %776

775:                                              ; preds = %760
  br label %1178

776:                                              ; preds = %760
  %777 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %777, ptr %11, align 4, !tbaa !9
  %778 = load ptr, ptr %4, align 8, !tbaa !5
  %779 = getelementptr inbounds %struct.w2c_hermes, ptr %778, i32 0, i32 6
  %780 = load i32, ptr %11, align 4, !tbaa !9
  %781 = zext i32 %780 to i64
  %782 = add i64 %781, 8
  %783 = call i32 @i32_load(ptr noundef %779, i64 noundef %782)
  store i32 %783, ptr %11, align 4, !tbaa !9
  %784 = load i32, ptr %11, align 4, !tbaa !9
  store i32 %784, ptr %8, align 4, !tbaa !9
  store i32 20, ptr %12, align 4, !tbaa !9
  %785 = load i32, ptr %11, align 4, !tbaa !9
  %786 = load i32, ptr %12, align 4, !tbaa !9
  %787 = icmp eq i32 %785, %786
  %788 = zext i1 %787 to i32
  store i32 %788, ptr %11, align 4, !tbaa !9
  %789 = load i32, ptr %11, align 4, !tbaa !9
  %790 = icmp ne i32 %789, 0
  br i1 %790, label %791, label %857

791:                                              ; preds = %776
  %792 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %792, ptr %11, align 4, !tbaa !9
  store i32 0, ptr %12, align 4, !tbaa !9
  %793 = load i32, ptr %8, align 4, !tbaa !9
  store i32 %793, ptr %13, align 4, !tbaa !9
  store i32 20, ptr %14, align 4, !tbaa !9
  %794 = load i32, ptr %13, align 4, !tbaa !9
  %795 = load i32, ptr %14, align 4, !tbaa !9
  %796 = icmp eq i32 %794, %795
  %797 = zext i1 %796 to i32
  store i32 %797, ptr %13, align 4, !tbaa !9
  %798 = load i32, ptr %13, align 4, !tbaa !9
  %799 = icmp ne i32 %798, 0
  br i1 %799, label %800, label %802

800:                                              ; preds = %791
  %801 = load i32, ptr %11, align 4, !tbaa !9
  br label %804

802:                                              ; preds = %791
  %803 = load i32, ptr %12, align 4, !tbaa !9
  br label %804

804:                                              ; preds = %802, %800
  %805 = phi i32 [ %801, %800 ], [ %803, %802 ]
  store i32 %805, ptr %11, align 4, !tbaa !9
  %806 = load i32, ptr %11, align 4, !tbaa !9
  store i32 %806, ptr %8, align 4, !tbaa !9
  %807 = load ptr, ptr %4, align 8, !tbaa !5
  %808 = getelementptr inbounds %struct.w2c_hermes, ptr %807, i32 0, i32 6
  %809 = load i32, ptr %11, align 4, !tbaa !9
  %810 = zext i32 %809 to i64
  %811 = add i64 %810, 40
  %812 = call i32 @i32_load(ptr noundef %808, i64 noundef %811)
  store i32 %812, ptr %11, align 4, !tbaa !9
  %813 = load i32, ptr %11, align 4, !tbaa !9
  store i32 %813, ptr %7, align 4, !tbaa !9
  %814 = load i32, ptr %8, align 4, !tbaa !9
  store i32 %814, ptr %12, align 4, !tbaa !9
  store i32 36, ptr %13, align 4, !tbaa !9
  %815 = load i32, ptr %13, align 4, !tbaa !9
  %816 = load i32, ptr %12, align 4, !tbaa !9
  %817 = add i32 %816, %815
  store i32 %817, ptr %12, align 4, !tbaa !9
  %818 = load i32, ptr %12, align 4, !tbaa !9
  store i32 %818, ptr %10, align 4, !tbaa !9
  %819 = load i32, ptr %11, align 4, !tbaa !9
  %820 = load i32, ptr %12, align 4, !tbaa !9
  %821 = icmp eq i32 %819, %820
  %822 = zext i1 %821 to i32
  store i32 %822, ptr %11, align 4, !tbaa !9
  %823 = load i32, ptr %11, align 4, !tbaa !9
  %824 = icmp ne i32 %823, 0
  br i1 %824, label %825, label %826

825:                                              ; preds = %804
  br label %870

826:                                              ; preds = %804
  br label %827

827:                                              ; preds = %855, %826
  %828 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %828, ptr %11, align 4, !tbaa !9
  store i32 8, ptr %12, align 4, !tbaa !9
  %829 = load i32, ptr %12, align 4, !tbaa !9
  %830 = load i32, ptr %11, align 4, !tbaa !9
  %831 = add i32 %830, %829
  store i32 %831, ptr %11, align 4, !tbaa !9
  %832 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %832, ptr %12, align 4, !tbaa !9
  %833 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %833, ptr %13, align 4, !tbaa !9
  %834 = load i32, ptr %8, align 4, !tbaa !9
  store i32 %834, ptr %14, align 4, !tbaa !9
  %835 = load ptr, ptr %4, align 8, !tbaa !5
  %836 = load i32, ptr %11, align 4, !tbaa !9
  %837 = load i32, ptr %12, align 4, !tbaa !9
  %838 = load i32, ptr %13, align 4, !tbaa !9
  %839 = load i32, ptr %14, align 4, !tbaa !9
  call void @w2c_hermes_hermes0x3A0x3AESTree0x3A0x3ARecursiveVisitorDispatch0x3Chermes0x3A0x3Asem0x3A0x3ASemanticValidator0x2C0x20true0x3E0x3A0x3Avisit0x28hermes0x3A0x3Asem0x3A0x3ASemanticValidator0x260x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x29(ptr noundef %835, i32 noundef %836, i32 noundef %837, i32 noundef %838, i32 noundef %839)
  %840 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %840, ptr %11, align 4, !tbaa !9
  %841 = load ptr, ptr %4, align 8, !tbaa !5
  %842 = getelementptr inbounds %struct.w2c_hermes, ptr %841, i32 0, i32 6
  %843 = load i32, ptr %11, align 4, !tbaa !9
  %844 = zext i32 %843 to i64
  %845 = add i64 %844, 4
  %846 = call i32 @i32_load(ptr noundef %842, i64 noundef %845)
  store i32 %846, ptr %11, align 4, !tbaa !9
  %847 = load i32, ptr %11, align 4, !tbaa !9
  store i32 %847, ptr %7, align 4, !tbaa !9
  %848 = load i32, ptr %10, align 4, !tbaa !9
  store i32 %848, ptr %12, align 4, !tbaa !9
  %849 = load i32, ptr %11, align 4, !tbaa !9
  %850 = load i32, ptr %12, align 4, !tbaa !9
  %851 = icmp ne i32 %849, %850
  %852 = zext i1 %851 to i32
  store i32 %852, ptr %11, align 4, !tbaa !9
  %853 = load i32, ptr %11, align 4, !tbaa !9
  %854 = icmp ne i32 %853, 0
  br i1 %854, label %855, label %856

855:                                              ; preds = %827
  br label %827

856:                                              ; preds = %827
  br label %870

857:                                              ; preds = %776
  %858 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %858, ptr %11, align 4, !tbaa !9
  store i32 8, ptr %12, align 4, !tbaa !9
  %859 = load i32, ptr %12, align 4, !tbaa !9
  %860 = load i32, ptr %11, align 4, !tbaa !9
  %861 = add i32 %860, %859
  store i32 %861, ptr %11, align 4, !tbaa !9
  %862 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %862, ptr %12, align 4, !tbaa !9
  %863 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %863, ptr %13, align 4, !tbaa !9
  %864 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %864, ptr %14, align 4, !tbaa !9
  %865 = load ptr, ptr %4, align 8, !tbaa !5
  %866 = load i32, ptr %11, align 4, !tbaa !9
  %867 = load i32, ptr %12, align 4, !tbaa !9
  %868 = load i32, ptr %13, align 4, !tbaa !9
  %869 = load i32, ptr %14, align 4, !tbaa !9
  call void @w2c_hermes_hermes0x3A0x3AESTree0x3A0x3ARecursiveVisitorDispatch0x3Chermes0x3A0x3Asem0x3A0x3ASemanticValidator0x2C0x20true0x3E0x3A0x3Avisit0x28hermes0x3A0x3Asem0x3A0x3ASemanticValidator0x260x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x29(ptr noundef %865, i32 noundef %866, i32 noundef %867, i32 noundef %868, i32 noundef %869)
  br label %870

870:                                              ; preds = %857, %856, %825
  %871 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %871, ptr %11, align 4, !tbaa !9
  store i32 8, ptr %12, align 4, !tbaa !9
  %872 = load i32, ptr %12, align 4, !tbaa !9
  %873 = load i32, ptr %11, align 4, !tbaa !9
  %874 = add i32 %873, %872
  store i32 %874, ptr %11, align 4, !tbaa !9
  %875 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %875, ptr %12, align 4, !tbaa !9
  %876 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %876, ptr %13, align 4, !tbaa !9
  %877 = load ptr, ptr %4, align 8, !tbaa !5
  %878 = getelementptr inbounds %struct.w2c_hermes, ptr %877, i32 0, i32 6
  %879 = load i32, ptr %13, align 4, !tbaa !9
  %880 = zext i32 %879 to i64
  %881 = add i64 %880, 64
  %882 = call i32 @i32_load(ptr noundef %878, i64 noundef %881)
  store i32 %882, ptr %13, align 4, !tbaa !9
  %883 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %883, ptr %14, align 4, !tbaa !9
  %884 = load ptr, ptr %4, align 8, !tbaa !5
  %885 = load i32, ptr %11, align 4, !tbaa !9
  %886 = load i32, ptr %12, align 4, !tbaa !9
  %887 = load i32, ptr %13, align 4, !tbaa !9
  %888 = load i32, ptr %14, align 4, !tbaa !9
  call void @w2c_hermes_hermes0x3A0x3AESTree0x3A0x3ARecursiveVisitorDispatch0x3Chermes0x3A0x3Asem0x3A0x3ASemanticValidator0x2C0x20true0x3E0x3A0x3Avisit0x28hermes0x3A0x3Asem0x3A0x3ASemanticValidator0x260x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x29(ptr noundef %884, i32 noundef %885, i32 noundef %886, i32 noundef %887, i32 noundef %888)
  br label %1116

889:                                              ; preds = %41
  %890 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %890, ptr %11, align 4, !tbaa !9
  store i32 8, ptr %12, align 4, !tbaa !9
  %891 = load i32, ptr %12, align 4, !tbaa !9
  %892 = load i32, ptr %11, align 4, !tbaa !9
  %893 = add i32 %892, %891
  store i32 %893, ptr %11, align 4, !tbaa !9
  %894 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %894, ptr %12, align 4, !tbaa !9
  %895 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %895, ptr %13, align 4, !tbaa !9
  %896 = load ptr, ptr %4, align 8, !tbaa !5
  %897 = getelementptr inbounds %struct.w2c_hermes, ptr %896, i32 0, i32 6
  %898 = load i32, ptr %13, align 4, !tbaa !9
  %899 = zext i32 %898 to i64
  %900 = add i64 %899, 44
  %901 = call i32 @i32_load(ptr noundef %897, i64 noundef %900)
  store i32 %901, ptr %13, align 4, !tbaa !9
  %902 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %902, ptr %14, align 4, !tbaa !9
  %903 = load ptr, ptr %4, align 8, !tbaa !5
  %904 = load i32, ptr %11, align 4, !tbaa !9
  %905 = load i32, ptr %12, align 4, !tbaa !9
  %906 = load i32, ptr %13, align 4, !tbaa !9
  %907 = load i32, ptr %14, align 4, !tbaa !9
  call void @w2c_hermes_hermes0x3A0x3AESTree0x3A0x3ARecursiveVisitorDispatch0x3Chermes0x3A0x3Asem0x3A0x3ASemanticValidator0x2C0x20true0x3E0x3A0x3Avisit0x28hermes0x3A0x3Asem0x3A0x3ASemanticValidator0x260x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x29(ptr noundef %903, i32 noundef %904, i32 noundef %905, i32 noundef %906, i32 noundef %907)
  %908 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %908, ptr %11, align 4, !tbaa !9
  %909 = load ptr, ptr %4, align 8, !tbaa !5
  %910 = getelementptr inbounds %struct.w2c_hermes, ptr %909, i32 0, i32 6
  %911 = load i32, ptr %11, align 4, !tbaa !9
  %912 = zext i32 %911 to i64
  %913 = add i64 %912, 52
  %914 = call i32 @i32_load(ptr noundef %910, i64 noundef %913)
  store i32 %914, ptr %11, align 4, !tbaa !9
  %915 = load i32, ptr %11, align 4, !tbaa !9
  store i32 %915, ptr %7, align 4, !tbaa !9
  %916 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %916, ptr %12, align 4, !tbaa !9
  store i32 48, ptr %13, align 4, !tbaa !9
  %917 = load i32, ptr %13, align 4, !tbaa !9
  %918 = load i32, ptr %12, align 4, !tbaa !9
  %919 = add i32 %918, %917
  store i32 %919, ptr %12, align 4, !tbaa !9
  %920 = load i32, ptr %12, align 4, !tbaa !9
  store i32 %920, ptr %8, align 4, !tbaa !9
  %921 = load i32, ptr %11, align 4, !tbaa !9
  %922 = load i32, ptr %12, align 4, !tbaa !9
  %923 = icmp ne i32 %921, %922
  %924 = zext i1 %923 to i32
  store i32 %924, ptr %11, align 4, !tbaa !9
  %925 = load i32, ptr %11, align 4, !tbaa !9
  %926 = icmp ne i32 %925, 0
  br i1 %926, label %927, label %981

927:                                              ; preds = %889
  %928 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %928, ptr %11, align 4, !tbaa !9
  %929 = load ptr, ptr %4, align 8, !tbaa !5
  %930 = getelementptr inbounds %struct.w2c_hermes, ptr %929, i32 0, i32 6
  %931 = load i32, ptr %11, align 4, !tbaa !9
  %932 = zext i32 %931 to i64
  %933 = add i64 %932, 80
  %934 = call i32 @i32_load8_u(ptr noundef %930, i64 noundef %933)
  store i32 %934, ptr %11, align 4, !tbaa !9
  %935 = load i32, ptr %11, align 4, !tbaa !9
  store i32 %935, ptr %10, align 4, !tbaa !9
  br label %936

936:                                              ; preds = %979, %927
  %937 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %937, ptr %11, align 4, !tbaa !9
  store i32 1, ptr %12, align 4, !tbaa !9
  %938 = load ptr, ptr %4, align 8, !tbaa !5
  %939 = getelementptr inbounds %struct.w2c_hermes, ptr %938, i32 0, i32 6
  %940 = load i32, ptr %11, align 4, !tbaa !9
  %941 = zext i32 %940 to i64
  %942 = add i64 %941, 80
  %943 = load i32, ptr %12, align 4, !tbaa !9
  call void @i32_store8(ptr noundef %939, i64 noundef %942, i32 noundef %943)
  %944 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %944, ptr %11, align 4, !tbaa !9
  store i32 8, ptr %12, align 4, !tbaa !9
  %945 = load i32, ptr %12, align 4, !tbaa !9
  %946 = load i32, ptr %11, align 4, !tbaa !9
  %947 = add i32 %946, %945
  store i32 %947, ptr %11, align 4, !tbaa !9
  %948 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %948, ptr %12, align 4, !tbaa !9
  %949 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %949, ptr %13, align 4, !tbaa !9
  %950 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %950, ptr %14, align 4, !tbaa !9
  %951 = load ptr, ptr %4, align 8, !tbaa !5
  %952 = load i32, ptr %11, align 4, !tbaa !9
  %953 = load i32, ptr %12, align 4, !tbaa !9
  %954 = load i32, ptr %13, align 4, !tbaa !9
  %955 = load i32, ptr %14, align 4, !tbaa !9
  call void @w2c_hermes_hermes0x3A0x3AESTree0x3A0x3ARecursiveVisitorDispatch0x3Chermes0x3A0x3Asem0x3A0x3ASemanticValidator0x2C0x20true0x3E0x3A0x3Avisit0x28hermes0x3A0x3Asem0x3A0x3ASemanticValidator0x260x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x29(ptr noundef %951, i32 noundef %952, i32 noundef %953, i32 noundef %954, i32 noundef %955)
  %956 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %956, ptr %11, align 4, !tbaa !9
  %957 = load i32, ptr %10, align 4, !tbaa !9
  store i32 %957, ptr %12, align 4, !tbaa !9
  %958 = load ptr, ptr %4, align 8, !tbaa !5
  %959 = getelementptr inbounds %struct.w2c_hermes, ptr %958, i32 0, i32 6
  %960 = load i32, ptr %11, align 4, !tbaa !9
  %961 = zext i32 %960 to i64
  %962 = add i64 %961, 80
  %963 = load i32, ptr %12, align 4, !tbaa !9
  call void @i32_store8(ptr noundef %959, i64 noundef %962, i32 noundef %963)
  %964 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %964, ptr %11, align 4, !tbaa !9
  %965 = load ptr, ptr %4, align 8, !tbaa !5
  %966 = getelementptr inbounds %struct.w2c_hermes, ptr %965, i32 0, i32 6
  %967 = load i32, ptr %11, align 4, !tbaa !9
  %968 = zext i32 %967 to i64
  %969 = add i64 %968, 4
  %970 = call i32 @i32_load(ptr noundef %966, i64 noundef %969)
  store i32 %970, ptr %11, align 4, !tbaa !9
  %971 = load i32, ptr %11, align 4, !tbaa !9
  store i32 %971, ptr %7, align 4, !tbaa !9
  %972 = load i32, ptr %8, align 4, !tbaa !9
  store i32 %972, ptr %12, align 4, !tbaa !9
  %973 = load i32, ptr %11, align 4, !tbaa !9
  %974 = load i32, ptr %12, align 4, !tbaa !9
  %975 = icmp ne i32 %973, %974
  %976 = zext i1 %975 to i32
  store i32 %976, ptr %11, align 4, !tbaa !9
  %977 = load i32, ptr %11, align 4, !tbaa !9
  %978 = icmp ne i32 %977, 0
  br i1 %978, label %979, label %980

979:                                              ; preds = %936
  br label %936

980:                                              ; preds = %936
  br label %981

981:                                              ; preds = %980, %889
  %982 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %982, ptr %11, align 4, !tbaa !9
  %983 = load ptr, ptr %4, align 8, !tbaa !5
  %984 = getelementptr inbounds %struct.w2c_hermes, ptr %983, i32 0, i32 6
  %985 = load i32, ptr %11, align 4, !tbaa !9
  %986 = zext i32 %985 to i64
  %987 = add i64 %986, 56
  %988 = call i32 @i32_load(ptr noundef %984, i64 noundef %987)
  store i32 %988, ptr %11, align 4, !tbaa !9
  %989 = load i32, ptr %11, align 4, !tbaa !9
  store i32 %989, ptr %7, align 4, !tbaa !9
  %990 = load i32, ptr %11, align 4, !tbaa !9
  %991 = icmp ne i32 %990, 0
  %992 = xor i1 %991, true
  %993 = zext i1 %992 to i32
  store i32 %993, ptr %11, align 4, !tbaa !9
  %994 = load i32, ptr %11, align 4, !tbaa !9
  %995 = icmp ne i32 %994, 0
  br i1 %995, label %996, label %997

996:                                              ; preds = %981
  br label %1196

997:                                              ; preds = %981
  %998 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %998, ptr %11, align 4, !tbaa !9
  %999 = load ptr, ptr %4, align 8, !tbaa !5
  %1000 = getelementptr inbounds %struct.w2c_hermes, ptr %999, i32 0, i32 6
  %1001 = load i32, ptr %11, align 4, !tbaa !9
  %1002 = zext i32 %1001 to i64
  %1003 = add i64 %1002, 8
  %1004 = call i32 @i32_load(ptr noundef %1000, i64 noundef %1003)
  store i32 %1004, ptr %11, align 4, !tbaa !9
  %1005 = load i32, ptr %11, align 4, !tbaa !9
  store i32 %1005, ptr %8, align 4, !tbaa !9
  store i32 20, ptr %12, align 4, !tbaa !9
  %1006 = load i32, ptr %11, align 4, !tbaa !9
  %1007 = load i32, ptr %12, align 4, !tbaa !9
  %1008 = icmp eq i32 %1006, %1007
  %1009 = zext i1 %1008 to i32
  store i32 %1009, ptr %11, align 4, !tbaa !9
  %1010 = load i32, ptr %11, align 4, !tbaa !9
  %1011 = icmp ne i32 %1010, 0
  br i1 %1011, label %1012, label %1078

1012:                                             ; preds = %997
  %1013 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %1013, ptr %11, align 4, !tbaa !9
  store i32 0, ptr %12, align 4, !tbaa !9
  %1014 = load i32, ptr %8, align 4, !tbaa !9
  store i32 %1014, ptr %13, align 4, !tbaa !9
  store i32 20, ptr %14, align 4, !tbaa !9
  %1015 = load i32, ptr %13, align 4, !tbaa !9
  %1016 = load i32, ptr %14, align 4, !tbaa !9
  %1017 = icmp eq i32 %1015, %1016
  %1018 = zext i1 %1017 to i32
  store i32 %1018, ptr %13, align 4, !tbaa !9
  %1019 = load i32, ptr %13, align 4, !tbaa !9
  %1020 = icmp ne i32 %1019, 0
  br i1 %1020, label %1021, label %1023

1021:                                             ; preds = %1012
  %1022 = load i32, ptr %11, align 4, !tbaa !9
  br label %1025

1023:                                             ; preds = %1012
  %1024 = load i32, ptr %12, align 4, !tbaa !9
  br label %1025

1025:                                             ; preds = %1023, %1021
  %1026 = phi i32 [ %1022, %1021 ], [ %1024, %1023 ]
  store i32 %1026, ptr %11, align 4, !tbaa !9
  %1027 = load i32, ptr %11, align 4, !tbaa !9
  store i32 %1027, ptr %8, align 4, !tbaa !9
  %1028 = load ptr, ptr %4, align 8, !tbaa !5
  %1029 = getelementptr inbounds %struct.w2c_hermes, ptr %1028, i32 0, i32 6
  %1030 = load i32, ptr %11, align 4, !tbaa !9
  %1031 = zext i32 %1030 to i64
  %1032 = add i64 %1031, 40
  %1033 = call i32 @i32_load(ptr noundef %1029, i64 noundef %1032)
  store i32 %1033, ptr %11, align 4, !tbaa !9
  %1034 = load i32, ptr %11, align 4, !tbaa !9
  store i32 %1034, ptr %7, align 4, !tbaa !9
  %1035 = load i32, ptr %8, align 4, !tbaa !9
  store i32 %1035, ptr %12, align 4, !tbaa !9
  store i32 36, ptr %13, align 4, !tbaa !9
  %1036 = load i32, ptr %13, align 4, !tbaa !9
  %1037 = load i32, ptr %12, align 4, !tbaa !9
  %1038 = add i32 %1037, %1036
  store i32 %1038, ptr %12, align 4, !tbaa !9
  %1039 = load i32, ptr %12, align 4, !tbaa !9
  store i32 %1039, ptr %10, align 4, !tbaa !9
  %1040 = load i32, ptr %11, align 4, !tbaa !9
  %1041 = load i32, ptr %12, align 4, !tbaa !9
  %1042 = icmp eq i32 %1040, %1041
  %1043 = zext i1 %1042 to i32
  store i32 %1043, ptr %11, align 4, !tbaa !9
  %1044 = load i32, ptr %11, align 4, !tbaa !9
  %1045 = icmp ne i32 %1044, 0
  br i1 %1045, label %1046, label %1047

1046:                                             ; preds = %1025
  br label %1091

1047:                                             ; preds = %1025
  br label %1048

1048:                                             ; preds = %1076, %1047
  %1049 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %1049, ptr %11, align 4, !tbaa !9
  store i32 8, ptr %12, align 4, !tbaa !9
  %1050 = load i32, ptr %12, align 4, !tbaa !9
  %1051 = load i32, ptr %11, align 4, !tbaa !9
  %1052 = add i32 %1051, %1050
  store i32 %1052, ptr %11, align 4, !tbaa !9
  %1053 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1053, ptr %12, align 4, !tbaa !9
  %1054 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %1054, ptr %13, align 4, !tbaa !9
  %1055 = load i32, ptr %8, align 4, !tbaa !9
  store i32 %1055, ptr %14, align 4, !tbaa !9
  %1056 = load ptr, ptr %4, align 8, !tbaa !5
  %1057 = load i32, ptr %11, align 4, !tbaa !9
  %1058 = load i32, ptr %12, align 4, !tbaa !9
  %1059 = load i32, ptr %13, align 4, !tbaa !9
  %1060 = load i32, ptr %14, align 4, !tbaa !9
  call void @w2c_hermes_hermes0x3A0x3AESTree0x3A0x3ARecursiveVisitorDispatch0x3Chermes0x3A0x3Asem0x3A0x3ASemanticValidator0x2C0x20true0x3E0x3A0x3Avisit0x28hermes0x3A0x3Asem0x3A0x3ASemanticValidator0x260x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x29(ptr noundef %1056, i32 noundef %1057, i32 noundef %1058, i32 noundef %1059, i32 noundef %1060)
  %1061 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %1061, ptr %11, align 4, !tbaa !9
  %1062 = load ptr, ptr %4, align 8, !tbaa !5
  %1063 = getelementptr inbounds %struct.w2c_hermes, ptr %1062, i32 0, i32 6
  %1064 = load i32, ptr %11, align 4, !tbaa !9
  %1065 = zext i32 %1064 to i64
  %1066 = add i64 %1065, 4
  %1067 = call i32 @i32_load(ptr noundef %1063, i64 noundef %1066)
  store i32 %1067, ptr %11, align 4, !tbaa !9
  %1068 = load i32, ptr %11, align 4, !tbaa !9
  store i32 %1068, ptr %7, align 4, !tbaa !9
  %1069 = load i32, ptr %10, align 4, !tbaa !9
  store i32 %1069, ptr %12, align 4, !tbaa !9
  %1070 = load i32, ptr %11, align 4, !tbaa !9
  %1071 = load i32, ptr %12, align 4, !tbaa !9
  %1072 = icmp ne i32 %1070, %1071
  %1073 = zext i1 %1072 to i32
  store i32 %1073, ptr %11, align 4, !tbaa !9
  %1074 = load i32, ptr %11, align 4, !tbaa !9
  %1075 = icmp ne i32 %1074, 0
  br i1 %1075, label %1076, label %1077

1076:                                             ; preds = %1048
  br label %1048

1077:                                             ; preds = %1048
  br label %1091

1078:                                             ; preds = %997
  %1079 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %1079, ptr %11, align 4, !tbaa !9
  store i32 8, ptr %12, align 4, !tbaa !9
  %1080 = load i32, ptr %12, align 4, !tbaa !9
  %1081 = load i32, ptr %11, align 4, !tbaa !9
  %1082 = add i32 %1081, %1080
  store i32 %1082, ptr %11, align 4, !tbaa !9
  %1083 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1083, ptr %12, align 4, !tbaa !9
  %1084 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %1084, ptr %13, align 4, !tbaa !9
  %1085 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %1085, ptr %14, align 4, !tbaa !9
  %1086 = load ptr, ptr %4, align 8, !tbaa !5
  %1087 = load i32, ptr %11, align 4, !tbaa !9
  %1088 = load i32, ptr %12, align 4, !tbaa !9
  %1089 = load i32, ptr %13, align 4, !tbaa !9
  %1090 = load i32, ptr %14, align 4, !tbaa !9
  call void @w2c_hermes_hermes0x3A0x3AESTree0x3A0x3ARecursiveVisitorDispatch0x3Chermes0x3A0x3Asem0x3A0x3ASemanticValidator0x2C0x20true0x3E0x3A0x3Avisit0x28hermes0x3A0x3Asem0x3A0x3ASemanticValidator0x260x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x29(ptr noundef %1086, i32 noundef %1087, i32 noundef %1088, i32 noundef %1089, i32 noundef %1090)
  br label %1091

1091:                                             ; preds = %1078, %1077, %1046
  %1092 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %1092, ptr %11, align 4, !tbaa !9
  store i32 8, ptr %12, align 4, !tbaa !9
  %1093 = load i32, ptr %12, align 4, !tbaa !9
  %1094 = load i32, ptr %11, align 4, !tbaa !9
  %1095 = add i32 %1094, %1093
  store i32 %1095, ptr %11, align 4, !tbaa !9
  %1096 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1096, ptr %12, align 4, !tbaa !9
  %1097 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %1097, ptr %13, align 4, !tbaa !9
  %1098 = load ptr, ptr %4, align 8, !tbaa !5
  %1099 = getelementptr inbounds %struct.w2c_hermes, ptr %1098, i32 0, i32 6
  %1100 = load i32, ptr %13, align 4, !tbaa !9
  %1101 = zext i32 %1100 to i64
  %1102 = add i64 %1101, 64
  %1103 = call i32 @i32_load(ptr noundef %1099, i64 noundef %1102)
  store i32 %1103, ptr %13, align 4, !tbaa !9
  %1104 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %1104, ptr %14, align 4, !tbaa !9
  %1105 = load ptr, ptr %4, align 8, !tbaa !5
  %1106 = load i32, ptr %11, align 4, !tbaa !9
  %1107 = load i32, ptr %12, align 4, !tbaa !9
  %1108 = load i32, ptr %13, align 4, !tbaa !9
  %1109 = load i32, ptr %14, align 4, !tbaa !9
  call void @w2c_hermes_hermes0x3A0x3AESTree0x3A0x3ARecursiveVisitorDispatch0x3Chermes0x3A0x3Asem0x3A0x3ASemanticValidator0x2C0x20true0x3E0x3A0x3Avisit0x28hermes0x3A0x3Asem0x3A0x3ASemanticValidator0x260x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x29(ptr noundef %1105, i32 noundef %1106, i32 noundef %1107, i32 noundef %1108, i32 noundef %1109)
  br label %1116

1110:                                             ; preds = %42
  %1111 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1111, ptr %11, align 4, !tbaa !9
  %1112 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %1112, ptr %12, align 4, !tbaa !9
  %1113 = load ptr, ptr %4, align 8, !tbaa !5
  %1114 = load i32, ptr %11, align 4, !tbaa !9
  %1115 = load i32, ptr %12, align 4, !tbaa !9
  call void @w2c_hermes_hermes0x3A0x3AESTree0x3A0x3ARecursiveVisitorDispatch0x3Chermes0x3A0x3Asem0x3A0x3ASemanticValidator0x2C0x20true0x3E0x3A0x3AvisitChildren0x28hermes0x3A0x3Asem0x3A0x3ASemanticValidator0x260x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x29(ptr noundef %1113, i32 noundef %1114, i32 noundef %1115)
  br label %1116

1116:                                             ; preds = %1110, %1091, %870, %649, %434, %433, %402, %232, %231, %200
  %1117 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %1117, ptr %11, align 4, !tbaa !9
  store i32 16, ptr %12, align 4, !tbaa !9
  %1118 = load i32, ptr %12, align 4, !tbaa !9
  %1119 = load i32, ptr %11, align 4, !tbaa !9
  %1120 = add i32 %1119, %1118
  store i32 %1120, ptr %11, align 4, !tbaa !9
  %1121 = load i32, ptr %11, align 4, !tbaa !9
  %1122 = load ptr, ptr %4, align 8, !tbaa !5
  %1123 = getelementptr inbounds %struct.w2c_hermes, ptr %1122, i32 0, i32 3
  store i32 %1121, ptr %1123, align 8, !tbaa !11
  br label %1214

1124:                                             ; preds = %150
  store i32 0, ptr %11, align 4, !tbaa !9
  %1125 = load i32, ptr %11, align 4, !tbaa !9
  store i32 %1125, ptr %5, align 4, !tbaa !9
  store i32 147142, ptr %12, align 4, !tbaa !9
  %1126 = load i32, ptr %12, align 4, !tbaa !9
  %1127 = load i32, ptr %11, align 4, !tbaa !9
  %1128 = add i32 %1127, %1126
  store i32 %1128, ptr %11, align 4, !tbaa !9
  %1129 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1129, ptr %12, align 4, !tbaa !9
  store i32 82611, ptr %13, align 4, !tbaa !9
  %1130 = load i32, ptr %13, align 4, !tbaa !9
  %1131 = load i32, ptr %12, align 4, !tbaa !9
  %1132 = add i32 %1131, %1130
  store i32 %1132, ptr %12, align 4, !tbaa !9
  store i32 106, ptr %13, align 4, !tbaa !9
  %1133 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1133, ptr %14, align 4, !tbaa !9
  store i32 28119, ptr %15, align 4, !tbaa !9
  %1134 = load i32, ptr %15, align 4, !tbaa !9
  %1135 = load i32, ptr %14, align 4, !tbaa !9
  %1136 = add i32 %1135, %1134
  store i32 %1136, ptr %14, align 4, !tbaa !9
  %1137 = load ptr, ptr %4, align 8, !tbaa !5
  %1138 = load i32, ptr %11, align 4, !tbaa !9
  %1139 = load i32, ptr %12, align 4, !tbaa !9
  %1140 = load i32, ptr %13, align 4, !tbaa !9
  %1141 = load i32, ptr %14, align 4, !tbaa !9
  call void @w2c_hermes_0x5F_assert_fail(ptr noundef %1137, i32 noundef %1138, i32 noundef %1139, i32 noundef %1140, i32 noundef %1141)
  call void @wasm_rt_trap(i32 noundef 5) #6
  unreachable

1142:                                             ; preds = %352
  store i32 0, ptr %11, align 4, !tbaa !9
  %1143 = load i32, ptr %11, align 4, !tbaa !9
  store i32 %1143, ptr %5, align 4, !tbaa !9
  store i32 147142, ptr %12, align 4, !tbaa !9
  %1144 = load i32, ptr %12, align 4, !tbaa !9
  %1145 = load i32, ptr %11, align 4, !tbaa !9
  %1146 = add i32 %1145, %1144
  store i32 %1146, ptr %11, align 4, !tbaa !9
  %1147 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1147, ptr %12, align 4, !tbaa !9
  store i32 82611, ptr %13, align 4, !tbaa !9
  %1148 = load i32, ptr %13, align 4, !tbaa !9
  %1149 = load i32, ptr %12, align 4, !tbaa !9
  %1150 = add i32 %1149, %1148
  store i32 %1150, ptr %12, align 4, !tbaa !9
  store i32 106, ptr %13, align 4, !tbaa !9
  %1151 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1151, ptr %14, align 4, !tbaa !9
  store i32 28119, ptr %15, align 4, !tbaa !9
  %1152 = load i32, ptr %15, align 4, !tbaa !9
  %1153 = load i32, ptr %14, align 4, !tbaa !9
  %1154 = add i32 %1153, %1152
  store i32 %1154, ptr %14, align 4, !tbaa !9
  %1155 = load ptr, ptr %4, align 8, !tbaa !5
  %1156 = load i32, ptr %11, align 4, !tbaa !9
  %1157 = load i32, ptr %12, align 4, !tbaa !9
  %1158 = load i32, ptr %13, align 4, !tbaa !9
  %1159 = load i32, ptr %14, align 4, !tbaa !9
  call void @w2c_hermes_0x5F_assert_fail(ptr noundef %1155, i32 noundef %1156, i32 noundef %1157, i32 noundef %1158, i32 noundef %1159)
  call void @wasm_rt_trap(i32 noundef 5) #6
  unreachable

1160:                                             ; preds = %554
  store i32 0, ptr %11, align 4, !tbaa !9
  %1161 = load i32, ptr %11, align 4, !tbaa !9
  store i32 %1161, ptr %5, align 4, !tbaa !9
  store i32 147142, ptr %12, align 4, !tbaa !9
  %1162 = load i32, ptr %12, align 4, !tbaa !9
  %1163 = load i32, ptr %11, align 4, !tbaa !9
  %1164 = add i32 %1163, %1162
  store i32 %1164, ptr %11, align 4, !tbaa !9
  %1165 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1165, ptr %12, align 4, !tbaa !9
  store i32 82611, ptr %13, align 4, !tbaa !9
  %1166 = load i32, ptr %13, align 4, !tbaa !9
  %1167 = load i32, ptr %12, align 4, !tbaa !9
  %1168 = add i32 %1167, %1166
  store i32 %1168, ptr %12, align 4, !tbaa !9
  store i32 106, ptr %13, align 4, !tbaa !9
  %1169 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1169, ptr %14, align 4, !tbaa !9
  store i32 28119, ptr %15, align 4, !tbaa !9
  %1170 = load i32, ptr %15, align 4, !tbaa !9
  %1171 = load i32, ptr %14, align 4, !tbaa !9
  %1172 = add i32 %1171, %1170
  store i32 %1172, ptr %14, align 4, !tbaa !9
  %1173 = load ptr, ptr %4, align 8, !tbaa !5
  %1174 = load i32, ptr %11, align 4, !tbaa !9
  %1175 = load i32, ptr %12, align 4, !tbaa !9
  %1176 = load i32, ptr %13, align 4, !tbaa !9
  %1177 = load i32, ptr %14, align 4, !tbaa !9
  call void @w2c_hermes_0x5F_assert_fail(ptr noundef %1173, i32 noundef %1174, i32 noundef %1175, i32 noundef %1176, i32 noundef %1177)
  call void @wasm_rt_trap(i32 noundef 5) #6
  unreachable

1178:                                             ; preds = %775
  store i32 0, ptr %11, align 4, !tbaa !9
  %1179 = load i32, ptr %11, align 4, !tbaa !9
  store i32 %1179, ptr %5, align 4, !tbaa !9
  store i32 147142, ptr %12, align 4, !tbaa !9
  %1180 = load i32, ptr %12, align 4, !tbaa !9
  %1181 = load i32, ptr %11, align 4, !tbaa !9
  %1182 = add i32 %1181, %1180
  store i32 %1182, ptr %11, align 4, !tbaa !9
  %1183 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1183, ptr %12, align 4, !tbaa !9
  store i32 82611, ptr %13, align 4, !tbaa !9
  %1184 = load i32, ptr %13, align 4, !tbaa !9
  %1185 = load i32, ptr %12, align 4, !tbaa !9
  %1186 = add i32 %1185, %1184
  store i32 %1186, ptr %12, align 4, !tbaa !9
  store i32 106, ptr %13, align 4, !tbaa !9
  %1187 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1187, ptr %14, align 4, !tbaa !9
  store i32 28119, ptr %15, align 4, !tbaa !9
  %1188 = load i32, ptr %15, align 4, !tbaa !9
  %1189 = load i32, ptr %14, align 4, !tbaa !9
  %1190 = add i32 %1189, %1188
  store i32 %1190, ptr %14, align 4, !tbaa !9
  %1191 = load ptr, ptr %4, align 8, !tbaa !5
  %1192 = load i32, ptr %11, align 4, !tbaa !9
  %1193 = load i32, ptr %12, align 4, !tbaa !9
  %1194 = load i32, ptr %13, align 4, !tbaa !9
  %1195 = load i32, ptr %14, align 4, !tbaa !9
  call void @w2c_hermes_0x5F_assert_fail(ptr noundef %1191, i32 noundef %1192, i32 noundef %1193, i32 noundef %1194, i32 noundef %1195)
  call void @wasm_rt_trap(i32 noundef 5) #6
  unreachable

1196:                                             ; preds = %996
  store i32 0, ptr %11, align 4, !tbaa !9
  %1197 = load i32, ptr %11, align 4, !tbaa !9
  store i32 %1197, ptr %5, align 4, !tbaa !9
  store i32 147142, ptr %12, align 4, !tbaa !9
  %1198 = load i32, ptr %12, align 4, !tbaa !9
  %1199 = load i32, ptr %11, align 4, !tbaa !9
  %1200 = add i32 %1199, %1198
  store i32 %1200, ptr %11, align 4, !tbaa !9
  %1201 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1201, ptr %12, align 4, !tbaa !9
  store i32 82611, ptr %13, align 4, !tbaa !9
  %1202 = load i32, ptr %13, align 4, !tbaa !9
  %1203 = load i32, ptr %12, align 4, !tbaa !9
  %1204 = add i32 %1203, %1202
  store i32 %1204, ptr %12, align 4, !tbaa !9
  store i32 106, ptr %13, align 4, !tbaa !9
  %1205 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1205, ptr %14, align 4, !tbaa !9
  store i32 28119, ptr %15, align 4, !tbaa !9
  %1206 = load i32, ptr %15, align 4, !tbaa !9
  %1207 = load i32, ptr %14, align 4, !tbaa !9
  %1208 = add i32 %1207, %1206
  store i32 %1208, ptr %14, align 4, !tbaa !9
  %1209 = load ptr, ptr %4, align 8, !tbaa !5
  %1210 = load i32, ptr %11, align 4, !tbaa !9
  %1211 = load i32, ptr %12, align 4, !tbaa !9
  %1212 = load i32, ptr %13, align 4, !tbaa !9
  %1213 = load i32, ptr %14, align 4, !tbaa !9
  call void @w2c_hermes_0x5F_assert_fail(ptr noundef %1209, i32 noundef %1210, i32 noundef %1211, i32 noundef %1212, i32 noundef %1213)
  call void @wasm_rt_trap(i32 noundef 5) #6
  unreachable

1214:                                             ; preds = %1116
  call void @llvm.lifetime.end.p0(i64 4, ptr %15) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %14) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %13) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %12) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %11) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %10) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %9) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %8) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %7) #5
  ret void
}

declare void @w2c_hermes_hermes0x3A0x3AESTree0x3A0x3ARecursiveVisitorDispatch0x3Chermes0x3A0x3Asem0x3A0x3ASemanticValidator0x2C0x20true0x3E0x3A0x3AvisitChildren0x28hermes0x3A0x3Asem0x3A0x3ASemanticValidator0x260x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x29(ptr noundef, i32 noundef, i32 noundef) #3

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

!llvm.module.flags = !{!0, !1, !2, !3}
!llvm.ident = !{!4}

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"int", !7, i64 0}
!11 = !{!12, !10, i64 24}
!12 = !{!"w2c_hermes", !6, i64 0, !6, i64 8, !6, i64 16, !10, i64 24, !10, i64 28, !10, i64 32, !13, i64 40, !16, i64 80}
!13 = !{!"", !6, i64 0, !14, i64 8, !14, i64 16, !14, i64 24, !15, i64 32}
!14 = !{!"long", !7, i64 0}
!15 = !{!"_Bool", !7, i64 0}
!16 = !{!"", !6, i64 0, !10, i64 8, !10, i64 12}


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

; Function Attrs: inlinehint nounwind uwtable
declare hidden i32 @i32_load8_u(ptr noundef, i64 noundef) local_unnamed_addr #0

; Function Attrs: inlinehint nounwind uwtable
declare hidden void @i32_store8(ptr noundef, i64 noundef, i32 noundef) local_unnamed_addr #0

; Function Attrs: noreturn
declare void @wasm_rt_trap(i32 noundef) local_unnamed_addr #1

; Function Attrs: inlinehint nounwind uwtable
declare hidden i32 @i32_load(ptr noundef, i64 noundef) local_unnamed_addr #0

declare void @w2c_hermes_0x5F_assert_fail(ptr noundef, i32 noundef, i32 noundef, i32 noundef, i32 noundef) local_unnamed_addr #2

declare void @w2c_hermes_hermes0x3A0x3AESTree0x3A0x3ARecursiveVisitorDispatch0x3Chermes0x3A0x3Asem0x3A0x3ASemanticValidator0x2C0x20true0x3E0x3A0x3Avisit0x28hermes0x3A0x3Asem0x3A0x3ASemanticValidator0x260x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x29(ptr noundef, i32 noundef, i32 noundef, i32 noundef, i32 noundef) local_unnamed_addr #2

; Function Attrs: nounwind uwtable
define dso_local void @w2c_hermes_hermes0x3A0x3Asem0x3A0x3ASemanticValidator0x3A0x3AvisitParamsAndBody0x28hermes0x3A0x3AESTree0x3A0x3AFunctionLikeNode0x2A0x29(ptr noundef %0, i32 noundef %1, i32 noundef %2) local_unnamed_addr #3 {
  %4 = getelementptr inbounds i8, ptr %0, i64 24
  %5 = load i32, ptr %4, align 8, !tbaa !5
  %6 = add i32 %5, -16
  store i32 %6, ptr %4, align 8, !tbaa !5
  %7 = getelementptr inbounds i8, ptr %0, i64 40
  %8 = zext i32 %2 to i64
  %9 = add nuw nsw i64 %8, 8
  %10 = tail call i32 @i32_load(ptr noundef nonnull %7, i64 noundef %9)
  switch i32 %10, label %172 [
    i32 4, label %11
    i32 5, label %42
    i32 6, label %73
    i32 7, label %106
    i32 8, label %139
  ]

11:                                               ; preds = %3
  %12 = add i32 %5, -8
  %13 = add nuw nsw i64 %8, 44
  %14 = tail call i32 @i32_load(ptr noundef nonnull %7, i64 noundef %13)
  tail call void @w2c_hermes_hermes0x3A0x3AESTree0x3A0x3ARecursiveVisitorDispatch0x3Chermes0x3A0x3Asem0x3A0x3ASemanticValidator0x2C0x20true0x3E0x3A0x3Avisit0x28hermes0x3A0x3Asem0x3A0x3ASemanticValidator0x260x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x29(ptr noundef nonnull %0, i32 noundef %12, i32 noundef %1, i32 noundef %14, i32 noundef %2) #4
  %15 = add nuw nsw i64 %8, 52
  %16 = tail call i32 @i32_load(ptr noundef nonnull %7, i64 noundef %15)
  %17 = add i32 %2, 48
  %.not747 = icmp eq i32 %16, %17
  br i1 %.not747, label %.loopexit751, label %18

18:                                               ; preds = %11
  %19 = zext i32 %1 to i64
  %20 = add nuw nsw i64 %19, 80
  %21 = tail call i32 @i32_load8_u(ptr noundef nonnull %7, i64 noundef %20)
  br label %22

22:                                               ; preds = %22, %18
  %.0 = phi i32 [ %16, %18 ], [ %25, %22 ]
  tail call void @i32_store8(ptr noundef nonnull %7, i64 noundef %20, i32 noundef 1)
  tail call void @w2c_hermes_hermes0x3A0x3AESTree0x3A0x3ARecursiveVisitorDispatch0x3Chermes0x3A0x3Asem0x3A0x3ASemanticValidator0x2C0x20true0x3E0x3A0x3Avisit0x28hermes0x3A0x3Asem0x3A0x3ASemanticValidator0x260x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x29(ptr noundef %0, i32 noundef %12, i32 noundef %1, i32 noundef %.0, i32 noundef %2) #4
  tail call void @i32_store8(ptr noundef nonnull %7, i64 noundef %20, i32 noundef %21)
  %23 = zext i32 %.0 to i64
  %24 = add nuw nsw i64 %23, 4
  %25 = tail call i32 @i32_load(ptr noundef nonnull %7, i64 noundef %24)
  %.not748 = icmp eq i32 %25, %17
  br i1 %.not748, label %.loopexit751, label %22

.loopexit751:                                     ; preds = %22, %11
  %26 = add nuw nsw i64 %8, 56
  %27 = tail call i32 @i32_load(ptr noundef nonnull %7, i64 noundef %26)
  %.not749 = icmp eq i32 %27, 0
  br i1 %.not749, label %173, label %28

28:                                               ; preds = %.loopexit751
  %29 = zext i32 %27 to i64
  %30 = add nuw nsw i64 %29, 8
  %31 = tail call i32 @i32_load(ptr noundef nonnull %7, i64 noundef %30)
  %32 = icmp eq i32 %31, 20
  br i1 %32, label %33, label %41

33:                                               ; preds = %28
  %34 = add nuw nsw i64 %29, 40
  %35 = tail call i32 @i32_load(ptr noundef nonnull %7, i64 noundef %34)
  %36 = add i32 %27, 36
  %37 = icmp eq i32 %35, %36
  br i1 %37, label %.loopexit, label %.preheader

.preheader:                                       ; preds = %33, %.preheader
  %.0715 = phi i32 [ %40, %.preheader ], [ %35, %33 ]
  tail call void @w2c_hermes_hermes0x3A0x3AESTree0x3A0x3ARecursiveVisitorDispatch0x3Chermes0x3A0x3Asem0x3A0x3ASemanticValidator0x2C0x20true0x3E0x3A0x3Avisit0x28hermes0x3A0x3Asem0x3A0x3ASemanticValidator0x260x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x29(ptr noundef %0, i32 noundef %12, i32 noundef %1, i32 noundef %.0715, i32 noundef %27) #4
  %38 = zext i32 %.0715 to i64
  %39 = add nuw nsw i64 %38, 4
  %40 = tail call i32 @i32_load(ptr noundef nonnull %7, i64 noundef %39)
  %.not750 = icmp eq i32 %40, %36
  br i1 %.not750, label %.loopexit, label %.preheader

41:                                               ; preds = %28
  tail call void @w2c_hermes_hermes0x3A0x3AESTree0x3A0x3ARecursiveVisitorDispatch0x3Chermes0x3A0x3Asem0x3A0x3ASemanticValidator0x2C0x20true0x3E0x3A0x3Avisit0x28hermes0x3A0x3Asem0x3A0x3ASemanticValidator0x260x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x29(ptr noundef %0, i32 noundef %12, i32 noundef %1, i32 noundef %27, i32 noundef %2) #4
  br label %.loopexit

42:                                               ; preds = %3
  %43 = add i32 %5, -8
  %44 = add nuw nsw i64 %8, 44
  %45 = tail call i32 @i32_load(ptr noundef nonnull %7, i64 noundef %44)
  tail call void @w2c_hermes_hermes0x3A0x3AESTree0x3A0x3ARecursiveVisitorDispatch0x3Chermes0x3A0x3Asem0x3A0x3ASemanticValidator0x2C0x20true0x3E0x3A0x3Avisit0x28hermes0x3A0x3Asem0x3A0x3ASemanticValidator0x260x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x29(ptr noundef nonnull %0, i32 noundef %43, i32 noundef %1, i32 noundef %45, i32 noundef %2) #4
  %46 = add nuw nsw i64 %8, 52
  %47 = tail call i32 @i32_load(ptr noundef nonnull %7, i64 noundef %46)
  %48 = add i32 %2, 48
  %.not743 = icmp eq i32 %47, %48
  br i1 %.not743, label %.loopexit754, label %49

49:                                               ; preds = %42
  %50 = zext i32 %1 to i64
  %51 = add nuw nsw i64 %50, 80
  %52 = tail call i32 @i32_load8_u(ptr noundef nonnull %7, i64 noundef %51)
  br label %53

53:                                               ; preds = %53, %49
  %.1 = phi i32 [ %47, %49 ], [ %56, %53 ]
  tail call void @i32_store8(ptr noundef nonnull %7, i64 noundef %51, i32 noundef 1)
  tail call void @w2c_hermes_hermes0x3A0x3AESTree0x3A0x3ARecursiveVisitorDispatch0x3Chermes0x3A0x3Asem0x3A0x3ASemanticValidator0x2C0x20true0x3E0x3A0x3Avisit0x28hermes0x3A0x3Asem0x3A0x3ASemanticValidator0x260x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x29(ptr noundef %0, i32 noundef %43, i32 noundef %1, i32 noundef %.1, i32 noundef %2) #4
  tail call void @i32_store8(ptr noundef nonnull %7, i64 noundef %51, i32 noundef %52)
  %54 = zext i32 %.1 to i64
  %55 = add nuw nsw i64 %54, 4
  %56 = tail call i32 @i32_load(ptr noundef nonnull %7, i64 noundef %55)
  %.not744 = icmp eq i32 %56, %48
  br i1 %.not744, label %.loopexit754, label %53

.loopexit754:                                     ; preds = %53, %42
  %57 = add nuw nsw i64 %8, 56
  %58 = tail call i32 @i32_load(ptr noundef nonnull %7, i64 noundef %57)
  %.not745 = icmp eq i32 %58, 0
  br i1 %.not745, label %174, label %59

59:                                               ; preds = %.loopexit754
  %60 = zext i32 %58 to i64
  %61 = add nuw nsw i64 %60, 8
  %62 = tail call i32 @i32_load(ptr noundef nonnull %7, i64 noundef %61)
  %63 = icmp eq i32 %62, 20
  br i1 %63, label %64, label %72

64:                                               ; preds = %59
  %65 = add nuw nsw i64 %60, 40
  %66 = tail call i32 @i32_load(ptr noundef nonnull %7, i64 noundef %65)
  %67 = add i32 %58, 36
  %68 = icmp eq i32 %66, %67
  br i1 %68, label %.loopexit, label %.preheader752

.preheader752:                                    ; preds = %64, %.preheader752
  %.1716 = phi i32 [ %71, %.preheader752 ], [ %66, %64 ]
  tail call void @w2c_hermes_hermes0x3A0x3AESTree0x3A0x3ARecursiveVisitorDispatch0x3Chermes0x3A0x3Asem0x3A0x3ASemanticValidator0x2C0x20true0x3E0x3A0x3Avisit0x28hermes0x3A0x3Asem0x3A0x3ASemanticValidator0x260x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x29(ptr noundef %0, i32 noundef %43, i32 noundef %1, i32 noundef %.1716, i32 noundef %58) #4
  %69 = zext i32 %.1716 to i64
  %70 = add nuw nsw i64 %69, 4
  %71 = tail call i32 @i32_load(ptr noundef nonnull %7, i64 noundef %70)
  %.not746 = icmp eq i32 %71, %67
  br i1 %.not746, label %.loopexit, label %.preheader752

72:                                               ; preds = %59
  tail call void @w2c_hermes_hermes0x3A0x3AESTree0x3A0x3ARecursiveVisitorDispatch0x3Chermes0x3A0x3Asem0x3A0x3ASemanticValidator0x2C0x20true0x3E0x3A0x3Avisit0x28hermes0x3A0x3Asem0x3A0x3ASemanticValidator0x260x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x29(ptr noundef %0, i32 noundef %43, i32 noundef %1, i32 noundef %58, i32 noundef %2) #4
  br label %.loopexit

73:                                               ; preds = %3
  %74 = add i32 %5, -8
  %75 = add nuw nsw i64 %8, 44
  %76 = tail call i32 @i32_load(ptr noundef nonnull %7, i64 noundef %75)
  tail call void @w2c_hermes_hermes0x3A0x3AESTree0x3A0x3ARecursiveVisitorDispatch0x3Chermes0x3A0x3Asem0x3A0x3ASemanticValidator0x2C0x20true0x3E0x3A0x3Avisit0x28hermes0x3A0x3Asem0x3A0x3ASemanticValidator0x260x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x29(ptr noundef nonnull %0, i32 noundef %74, i32 noundef %1, i32 noundef %76, i32 noundef %2) #4
  %77 = add nuw nsw i64 %8, 52
  %78 = tail call i32 @i32_load(ptr noundef nonnull %7, i64 noundef %77)
  %79 = add i32 %2, 48
  %.not739 = icmp eq i32 %78, %79
  br i1 %.not739, label %.loopexit757, label %80

80:                                               ; preds = %73
  %81 = zext i32 %1 to i64
  %82 = add nuw nsw i64 %81, 80
  %83 = tail call i32 @i32_load8_u(ptr noundef nonnull %7, i64 noundef %82)
  br label %84

84:                                               ; preds = %84, %80
  %.2 = phi i32 [ %78, %80 ], [ %87, %84 ]
  tail call void @i32_store8(ptr noundef nonnull %7, i64 noundef %82, i32 noundef 1)
  tail call void @w2c_hermes_hermes0x3A0x3AESTree0x3A0x3ARecursiveVisitorDispatch0x3Chermes0x3A0x3Asem0x3A0x3ASemanticValidator0x2C0x20true0x3E0x3A0x3Avisit0x28hermes0x3A0x3Asem0x3A0x3ASemanticValidator0x260x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x29(ptr noundef %0, i32 noundef %74, i32 noundef %1, i32 noundef %.2, i32 noundef %2) #4
  tail call void @i32_store8(ptr noundef nonnull %7, i64 noundef %82, i32 noundef %83)
  %85 = zext i32 %.2 to i64
  %86 = add nuw nsw i64 %85, 4
  %87 = tail call i32 @i32_load(ptr noundef nonnull %7, i64 noundef %86)
  %.not740 = icmp eq i32 %87, %79
  br i1 %.not740, label %.loopexit757, label %84

.loopexit757:                                     ; preds = %84, %73
  %88 = add nuw nsw i64 %8, 56
  %89 = tail call i32 @i32_load(ptr noundef nonnull %7, i64 noundef %88)
  %.not741 = icmp eq i32 %89, 0
  br i1 %.not741, label %175, label %90

90:                                               ; preds = %.loopexit757
  %91 = zext i32 %89 to i64
  %92 = add nuw nsw i64 %91, 8
  %93 = tail call i32 @i32_load(ptr noundef nonnull %7, i64 noundef %92)
  %94 = icmp eq i32 %93, 20
  br i1 %94, label %95, label %103

95:                                               ; preds = %90
  %96 = add nuw nsw i64 %91, 40
  %97 = tail call i32 @i32_load(ptr noundef nonnull %7, i64 noundef %96)
  %98 = add i32 %89, 36
  %99 = icmp eq i32 %97, %98
  br i1 %99, label %.loopexit756, label %.preheader755

.preheader755:                                    ; preds = %95, %.preheader755
  %.3 = phi i32 [ %102, %.preheader755 ], [ %97, %95 ]
  tail call void @w2c_hermes_hermes0x3A0x3AESTree0x3A0x3ARecursiveVisitorDispatch0x3Chermes0x3A0x3Asem0x3A0x3ASemanticValidator0x2C0x20true0x3E0x3A0x3Avisit0x28hermes0x3A0x3Asem0x3A0x3ASemanticValidator0x260x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x29(ptr noundef %0, i32 noundef %74, i32 noundef %1, i32 noundef %.3, i32 noundef %89) #4
  %100 = zext i32 %.3 to i64
  %101 = add nuw nsw i64 %100, 4
  %102 = tail call i32 @i32_load(ptr noundef nonnull %7, i64 noundef %101)
  %.not742 = icmp eq i32 %102, %98
  br i1 %.not742, label %.loopexit756, label %.preheader755

103:                                              ; preds = %90
  tail call void @w2c_hermes_hermes0x3A0x3AESTree0x3A0x3ARecursiveVisitorDispatch0x3Chermes0x3A0x3Asem0x3A0x3ASemanticValidator0x2C0x20true0x3E0x3A0x3Avisit0x28hermes0x3A0x3Asem0x3A0x3ASemanticValidator0x260x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x29(ptr noundef %0, i32 noundef %74, i32 noundef %1, i32 noundef %89, i32 noundef %2) #4
  br label %.loopexit756

.loopexit756:                                     ; preds = %.preheader755, %95, %103
  %104 = add nuw nsw i64 %8, 64
  %105 = tail call i32 @i32_load(ptr noundef nonnull %7, i64 noundef %104)
  tail call void @w2c_hermes_hermes0x3A0x3AESTree0x3A0x3ARecursiveVisitorDispatch0x3Chermes0x3A0x3Asem0x3A0x3ASemanticValidator0x2C0x20true0x3E0x3A0x3Avisit0x28hermes0x3A0x3Asem0x3A0x3ASemanticValidator0x260x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x29(ptr noundef %0, i32 noundef %74, i32 noundef %1, i32 noundef %105, i32 noundef %2) #4
  br label %.loopexit

106:                                              ; preds = %3
  %107 = add i32 %5, -8
  %108 = add nuw nsw i64 %8, 44
  %109 = tail call i32 @i32_load(ptr noundef nonnull %7, i64 noundef %108)
  tail call void @w2c_hermes_hermes0x3A0x3AESTree0x3A0x3ARecursiveVisitorDispatch0x3Chermes0x3A0x3Asem0x3A0x3ASemanticValidator0x2C0x20true0x3E0x3A0x3Avisit0x28hermes0x3A0x3Asem0x3A0x3ASemanticValidator0x260x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x29(ptr noundef nonnull %0, i32 noundef %107, i32 noundef %1, i32 noundef %109, i32 noundef %2) #4
  %110 = add nuw nsw i64 %8, 52
  %111 = tail call i32 @i32_load(ptr noundef nonnull %7, i64 noundef %110)
  %112 = add i32 %2, 48
  %.not735 = icmp eq i32 %111, %112
  br i1 %.not735, label %.loopexit760, label %113

113:                                              ; preds = %106
  %114 = zext i32 %1 to i64
  %115 = add nuw nsw i64 %114, 80
  %116 = tail call i32 @i32_load8_u(ptr noundef nonnull %7, i64 noundef %115)
  br label %117

117:                                              ; preds = %117, %113
  %.4 = phi i32 [ %111, %113 ], [ %120, %117 ]
  tail call void @i32_store8(ptr noundef nonnull %7, i64 noundef %115, i32 noundef 1)
  tail call void @w2c_hermes_hermes0x3A0x3AESTree0x3A0x3ARecursiveVisitorDispatch0x3Chermes0x3A0x3Asem0x3A0x3ASemanticValidator0x2C0x20true0x3E0x3A0x3Avisit0x28hermes0x3A0x3Asem0x3A0x3ASemanticValidator0x260x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x29(ptr noundef %0, i32 noundef %107, i32 noundef %1, i32 noundef %.4, i32 noundef %2) #4
  tail call void @i32_store8(ptr noundef nonnull %7, i64 noundef %115, i32 noundef %116)
  %118 = zext i32 %.4 to i64
  %119 = add nuw nsw i64 %118, 4
  %120 = tail call i32 @i32_load(ptr noundef nonnull %7, i64 noundef %119)
  %.not736 = icmp eq i32 %120, %112
  br i1 %.not736, label %.loopexit760, label %117

.loopexit760:                                     ; preds = %117, %106
  %121 = add nuw nsw i64 %8, 56
  %122 = tail call i32 @i32_load(ptr noundef nonnull %7, i64 noundef %121)
  %.not737 = icmp eq i32 %122, 0
  br i1 %.not737, label %176, label %123

123:                                              ; preds = %.loopexit760
  %124 = zext i32 %122 to i64
  %125 = add nuw nsw i64 %124, 8
  %126 = tail call i32 @i32_load(ptr noundef nonnull %7, i64 noundef %125)
  %127 = icmp eq i32 %126, 20
  br i1 %127, label %128, label %136

128:                                              ; preds = %123
  %129 = add nuw nsw i64 %124, 40
  %130 = tail call i32 @i32_load(ptr noundef nonnull %7, i64 noundef %129)
  %131 = add i32 %122, 36
  %132 = icmp eq i32 %130, %131
  br i1 %132, label %.loopexit759, label %.preheader758

.preheader758:                                    ; preds = %128, %.preheader758
  %.5 = phi i32 [ %135, %.preheader758 ], [ %130, %128 ]
  tail call void @w2c_hermes_hermes0x3A0x3AESTree0x3A0x3ARecursiveVisitorDispatch0x3Chermes0x3A0x3Asem0x3A0x3ASemanticValidator0x2C0x20true0x3E0x3A0x3Avisit0x28hermes0x3A0x3Asem0x3A0x3ASemanticValidator0x260x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x29(ptr noundef %0, i32 noundef %107, i32 noundef %1, i32 noundef %.5, i32 noundef %122) #4
  %133 = zext i32 %.5 to i64
  %134 = add nuw nsw i64 %133, 4
  %135 = tail call i32 @i32_load(ptr noundef nonnull %7, i64 noundef %134)
  %.not738 = icmp eq i32 %135, %131
  br i1 %.not738, label %.loopexit759, label %.preheader758

136:                                              ; preds = %123
  tail call void @w2c_hermes_hermes0x3A0x3AESTree0x3A0x3ARecursiveVisitorDispatch0x3Chermes0x3A0x3Asem0x3A0x3ASemanticValidator0x2C0x20true0x3E0x3A0x3Avisit0x28hermes0x3A0x3Asem0x3A0x3ASemanticValidator0x260x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x29(ptr noundef %0, i32 noundef %107, i32 noundef %1, i32 noundef %122, i32 noundef %2) #4
  br label %.loopexit759

.loopexit759:                                     ; preds = %.preheader758, %128, %136
  %137 = add nuw nsw i64 %8, 64
  %138 = tail call i32 @i32_load(ptr noundef nonnull %7, i64 noundef %137)
  tail call void @w2c_hermes_hermes0x3A0x3AESTree0x3A0x3ARecursiveVisitorDispatch0x3Chermes0x3A0x3Asem0x3A0x3ASemanticValidator0x2C0x20true0x3E0x3A0x3Avisit0x28hermes0x3A0x3Asem0x3A0x3ASemanticValidator0x260x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x29(ptr noundef %0, i32 noundef %107, i32 noundef %1, i32 noundef %138, i32 noundef %2) #4
  br label %.loopexit

139:                                              ; preds = %3
  %140 = add i32 %5, -8
  %141 = add nuw nsw i64 %8, 44
  %142 = tail call i32 @i32_load(ptr noundef nonnull %7, i64 noundef %141)
  tail call void @w2c_hermes_hermes0x3A0x3AESTree0x3A0x3ARecursiveVisitorDispatch0x3Chermes0x3A0x3Asem0x3A0x3ASemanticValidator0x2C0x20true0x3E0x3A0x3Avisit0x28hermes0x3A0x3Asem0x3A0x3ASemanticValidator0x260x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x29(ptr noundef nonnull %0, i32 noundef %140, i32 noundef %1, i32 noundef %142, i32 noundef %2) #4
  %143 = add nuw nsw i64 %8, 52
  %144 = tail call i32 @i32_load(ptr noundef nonnull %7, i64 noundef %143)
  %145 = add i32 %2, 48
  %.not = icmp eq i32 %144, %145
  br i1 %.not, label %.loopexit763, label %146

146:                                              ; preds = %139
  %147 = zext i32 %1 to i64
  %148 = add nuw nsw i64 %147, 80
  %149 = tail call i32 @i32_load8_u(ptr noundef nonnull %7, i64 noundef %148)
  br label %150

150:                                              ; preds = %150, %146
  %.6 = phi i32 [ %144, %146 ], [ %153, %150 ]
  tail call void @i32_store8(ptr noundef nonnull %7, i64 noundef %148, i32 noundef 1)
  tail call void @w2c_hermes_hermes0x3A0x3AESTree0x3A0x3ARecursiveVisitorDispatch0x3Chermes0x3A0x3Asem0x3A0x3ASemanticValidator0x2C0x20true0x3E0x3A0x3Avisit0x28hermes0x3A0x3Asem0x3A0x3ASemanticValidator0x260x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x29(ptr noundef %0, i32 noundef %140, i32 noundef %1, i32 noundef %.6, i32 noundef %2) #4
  tail call void @i32_store8(ptr noundef nonnull %7, i64 noundef %148, i32 noundef %149)
  %151 = zext i32 %.6 to i64
  %152 = add nuw nsw i64 %151, 4
  %153 = tail call i32 @i32_load(ptr noundef nonnull %7, i64 noundef %152)
  %.not732 = icmp eq i32 %153, %145
  br i1 %.not732, label %.loopexit763, label %150

.loopexit763:                                     ; preds = %150, %139
  %154 = add nuw nsw i64 %8, 56
  %155 = tail call i32 @i32_load(ptr noundef nonnull %7, i64 noundef %154)
  %.not733 = icmp eq i32 %155, 0
  br i1 %.not733, label %177, label %156

156:                                              ; preds = %.loopexit763
  %157 = zext i32 %155 to i64
  %158 = add nuw nsw i64 %157, 8
  %159 = tail call i32 @i32_load(ptr noundef nonnull %7, i64 noundef %158)
  %160 = icmp eq i32 %159, 20
  br i1 %160, label %161, label %169

161:                                              ; preds = %156
  %162 = add nuw nsw i64 %157, 40
  %163 = tail call i32 @i32_load(ptr noundef nonnull %7, i64 noundef %162)
  %164 = add i32 %155, 36
  %165 = icmp eq i32 %163, %164
  br i1 %165, label %.loopexit762, label %.preheader761

.preheader761:                                    ; preds = %161, %.preheader761
  %.7 = phi i32 [ %168, %.preheader761 ], [ %163, %161 ]
  tail call void @w2c_hermes_hermes0x3A0x3AESTree0x3A0x3ARecursiveVisitorDispatch0x3Chermes0x3A0x3Asem0x3A0x3ASemanticValidator0x2C0x20true0x3E0x3A0x3Avisit0x28hermes0x3A0x3Asem0x3A0x3ASemanticValidator0x260x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x29(ptr noundef %0, i32 noundef %140, i32 noundef %1, i32 noundef %.7, i32 noundef %155) #4
  %166 = zext i32 %.7 to i64
  %167 = add nuw nsw i64 %166, 4
  %168 = tail call i32 @i32_load(ptr noundef nonnull %7, i64 noundef %167)
  %.not734 = icmp eq i32 %168, %164
  br i1 %.not734, label %.loopexit762, label %.preheader761

169:                                              ; preds = %156
  tail call void @w2c_hermes_hermes0x3A0x3AESTree0x3A0x3ARecursiveVisitorDispatch0x3Chermes0x3A0x3Asem0x3A0x3ASemanticValidator0x2C0x20true0x3E0x3A0x3Avisit0x28hermes0x3A0x3Asem0x3A0x3ASemanticValidator0x260x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x29(ptr noundef %0, i32 noundef %140, i32 noundef %1, i32 noundef %155, i32 noundef %2) #4
  br label %.loopexit762

.loopexit762:                                     ; preds = %.preheader761, %161, %169
  %170 = add nuw nsw i64 %8, 64
  %171 = tail call i32 @i32_load(ptr noundef nonnull %7, i64 noundef %170)
  tail call void @w2c_hermes_hermes0x3A0x3AESTree0x3A0x3ARecursiveVisitorDispatch0x3Chermes0x3A0x3Asem0x3A0x3ASemanticValidator0x2C0x20true0x3E0x3A0x3Avisit0x28hermes0x3A0x3Asem0x3A0x3ASemanticValidator0x260x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x29(ptr noundef %0, i32 noundef %140, i32 noundef %1, i32 noundef %171, i32 noundef %2) #4
  br label %.loopexit

172:                                              ; preds = %3
  tail call void @w2c_hermes_hermes0x3A0x3AESTree0x3A0x3ARecursiveVisitorDispatch0x3Chermes0x3A0x3Asem0x3A0x3ASemanticValidator0x2C0x20true0x3E0x3A0x3AvisitChildren0x28hermes0x3A0x3Asem0x3A0x3ASemanticValidator0x260x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x29(ptr noundef nonnull %0, i32 noundef %1, i32 noundef %2) #4
  br label %.loopexit

.loopexit:                                        ; preds = %.preheader752, %.preheader, %64, %33, %172, %.loopexit762, %.loopexit759, %.loopexit756, %72, %41
  store i32 %5, ptr %4, align 8, !tbaa !5
  ret void

173:                                              ; preds = %.loopexit751
  tail call void @w2c_hermes_0x5F_assert_fail(ptr noundef %0, i32 noundef 147142, i32 noundef 82611, i32 noundef 106, i32 noundef 28119) #4
  tail call void @wasm_rt_trap(i32 noundef 5) #5
  unreachable

174:                                              ; preds = %.loopexit754
  tail call void @w2c_hermes_0x5F_assert_fail(ptr noundef %0, i32 noundef 147142, i32 noundef 82611, i32 noundef 106, i32 noundef 28119) #4
  tail call void @wasm_rt_trap(i32 noundef 5) #5
  unreachable

175:                                              ; preds = %.loopexit757
  tail call void @w2c_hermes_0x5F_assert_fail(ptr noundef %0, i32 noundef 147142, i32 noundef 82611, i32 noundef 106, i32 noundef 28119) #4
  tail call void @wasm_rt_trap(i32 noundef 5) #5
  unreachable

176:                                              ; preds = %.loopexit760
  tail call void @w2c_hermes_0x5F_assert_fail(ptr noundef %0, i32 noundef 147142, i32 noundef 82611, i32 noundef 106, i32 noundef 28119) #4
  tail call void @wasm_rt_trap(i32 noundef 5) #5
  unreachable

177:                                              ; preds = %.loopexit763
  tail call void @w2c_hermes_0x5F_assert_fail(ptr noundef %0, i32 noundef 147142, i32 noundef 82611, i32 noundef 106, i32 noundef 28119) #4
  tail call void @wasm_rt_trap(i32 noundef 5) #5
  unreachable
}

declare void @w2c_hermes_hermes0x3A0x3AESTree0x3A0x3ARecursiveVisitorDispatch0x3Chermes0x3A0x3Asem0x3A0x3ASemanticValidator0x2C0x20true0x3E0x3A0x3AvisitChildren0x28hermes0x3A0x3Asem0x3A0x3ASemanticValidator0x260x2C0x20hermes0x3A0x3AESTree0x3A0x3ANode0x2A0x29(ptr noundef, i32 noundef, i32 noundef) local_unnamed_addr #2

attributes #0 = { inlinehint 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 = { noreturn "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #2 = { "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 uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #4 = { nounwind }
attributes #5 = { noreturn 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, !10, i64 24}
!6 = !{!"w2c_hermes", !7, i64 0, !7, i64 8, !7, i64 16, !10, i64 24, !10, i64 28, !10, i64 32, !11, i64 40, !14, i64 80}
!7 = !{!"any pointer", !8, i64 0}
!8 = !{!"omnipotent char", !9, i64 0}
!9 = !{!"Simple C/C++ TBAA"}
!10 = !{!"int", !8, i64 0}
!11 = !{!"", !7, i64 0, !12, i64 8, !12, i64 16, !12, i64 24, !13, i64 32}
!12 = !{!"long", !8, i64 0}
!13 = !{!"_Bool", !8, i64 0}
!14 = !{!"", !7, i64 0, !10, i64 8, !10, i64 12}


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