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

; 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 }
%struct.wasm_rt_funcref_t = type { ptr, ptr, ptr }

@w2c_hermes_t3 = external constant ptr, align 8

; 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_load(ptr noundef, i64 noundef) #1

; Function Attrs: inlinehint nounwind uwtable
declare hidden void @i32_store(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

declare void @w2c_hermes_dlfree(ptr noundef, i32 noundef) #2

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

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

; Function Attrs: inlinehint nounwind uwtable
declare hidden zeroext i1 @func_types_eq(ptr noundef, ptr noundef) #1

; Function Attrs: nocallback nofree nosync nounwind willreturn memory(none)
declare i64 @llvm.expect.i64(i64, i64) #4

declare i32 @w2c_hermes_hermes0x3A0x3Avm0x3A0x3AAlignedHeapSegment0x3A0x3A0x7EAlignedHeapSegment0x280x29(ptr noundef, i32 noundef) #2

declare void @w2c_hermes_std0x3A0x3A_0x5F20x3A0x3A_0x5Fshared_weak_count0x3A0x3A_0x5Frelease_weak0x280x29(ptr noundef, i32 noundef) #2

; Function Attrs: nounwind uwtable
define dso_local i32 @w2c_hermes_hermes0x3A0x3Avm0x3A0x3AHadesGC0x3A0x3A0x7EHadesGC0x280x29(ptr noundef %0, i32 noundef %1) #5 {
  %3 = alloca ptr, align 8
  %4 = alloca i32, align 4
  %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
  %16 = alloca i32, align 4
  %17 = alloca i32, align 4
  %18 = alloca i32, align 4
  store ptr %0, ptr %3, align 8, !tbaa !5
  store i32 %1, ptr %4, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %5) #6
  store i32 0, ptr %5, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %6) #6
  store i32 0, ptr %6, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %7) #6
  store i32 0, ptr %7, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %8) #6
  store i32 0, ptr %8, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %9) #6
  store i32 0, ptr %9, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %10) #6
  store i32 0, ptr %10, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %11) #6
  store i32 0, ptr %11, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %12) #6
  store i32 0, ptr %12, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %13) #6
  store i32 0, ptr %13, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %14) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %15) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %16) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %17) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %18) #6
  %19 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %19, ptr %14, align 4, !tbaa !9
  store i32 4420, ptr %15, align 4, !tbaa !9
  %20 = load i32, ptr %15, align 4, !tbaa !9
  %21 = load i32, ptr %14, align 4, !tbaa !9
  %22 = add i32 %21, %20
  store i32 %22, ptr %14, align 4, !tbaa !9
  %23 = load ptr, ptr %3, align 8, !tbaa !5
  %24 = getelementptr inbounds %struct.w2c_hermes, ptr %23, i32 0, i32 6
  %25 = load i32, ptr %14, align 4, !tbaa !9
  %26 = zext i32 %25 to i64
  %27 = call i32 @i32_load(ptr noundef %24, i64 noundef %26)
  store i32 %27, ptr %14, align 4, !tbaa !9
  %28 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %28, ptr %5, align 4, !tbaa !9
  %29 = load i32, ptr %14, align 4, !tbaa !9
  %30 = icmp ne i32 %29, 0
  %31 = xor i1 %30, true
  %32 = zext i1 %31 to i32
  store i32 %32, ptr %14, align 4, !tbaa !9
  %33 = load i32, ptr %14, align 4, !tbaa !9
  %34 = icmp ne i32 %33, 0
  br i1 %34, label %35, label %36

35:                                               ; preds = %2
  br label %137

36:                                               ; preds = %2
  %37 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %37, ptr %14, align 4, !tbaa !9
  %38 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %38, ptr %15, align 4, !tbaa !9
  %39 = load ptr, ptr %3, align 8, !tbaa !5
  %40 = getelementptr inbounds %struct.w2c_hermes, ptr %39, i32 0, i32 6
  %41 = load i32, ptr %15, align 4, !tbaa !9
  %42 = zext i32 %41 to i64
  %43 = add i64 %42, 4
  %44 = call i32 @i32_load(ptr noundef %40, i64 noundef %43)
  store i32 %44, ptr %15, align 4, !tbaa !9
  %45 = load i32, ptr %15, align 4, !tbaa !9
  store i32 %45, ptr %6, align 4, !tbaa !9
  store i32 1, ptr %16, align 4, !tbaa !9
  %46 = load i32, ptr %16, align 4, !tbaa !9
  %47 = load i32, ptr %15, align 4, !tbaa !9
  %48 = sub i32 %47, %46
  store i32 %48, ptr %15, align 4, !tbaa !9
  %49 = load ptr, ptr %3, align 8, !tbaa !5
  %50 = getelementptr inbounds %struct.w2c_hermes, ptr %49, i32 0, i32 6
  %51 = load i32, ptr %14, align 4, !tbaa !9
  %52 = zext i32 %51 to i64
  %53 = add i64 %52, 4
  %54 = load i32, ptr %15, align 4, !tbaa !9
  call void @i32_store(ptr noundef %50, i64 noundef %53, i32 noundef %54)
  %55 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %55, ptr %14, align 4, !tbaa !9
  %56 = load i32, ptr %14, align 4, !tbaa !9
  %57 = icmp ne i32 %56, 0
  br i1 %57, label %58, label %59

58:                                               ; preds = %36
  br label %137

59:                                               ; preds = %36
  %60 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %60, ptr %14, align 4, !tbaa !9
  %61 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %61, ptr %15, align 4, !tbaa !9
  %62 = load ptr, ptr %3, align 8, !tbaa !5
  %63 = getelementptr inbounds %struct.w2c_hermes, ptr %62, i32 0, i32 6
  %64 = load i32, ptr %15, align 4, !tbaa !9
  %65 = zext i32 %64 to i64
  %66 = call i32 @i32_load(ptr noundef %63, i64 noundef %65)
  store i32 %66, ptr %15, align 4, !tbaa !9
  %67 = load ptr, ptr %3, align 8, !tbaa !5
  %68 = getelementptr inbounds %struct.w2c_hermes, ptr %67, i32 0, i32 6
  %69 = load i32, ptr %15, align 4, !tbaa !9
  %70 = zext i32 %69 to i64
  %71 = add i64 %70, 8
  %72 = call i32 @i32_load(ptr noundef %68, i64 noundef %71)
  store i32 %72, ptr %15, align 4, !tbaa !9
  %73 = load i32, ptr %15, align 4, !tbaa !9
  %74 = load ptr, ptr %3, align 8, !tbaa !5
  %75 = getelementptr inbounds %struct.w2c_hermes, ptr %74, i32 0, i32 7
  %76 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %75, i32 0, i32 2
  %77 = load i32, ptr %76, align 4, !tbaa !11
  %78 = icmp ult i32 %73, %77
  br i1 %78, label %79, label %102

79:                                               ; preds = %59
  %80 = load ptr, ptr %3, align 8, !tbaa !5
  %81 = getelementptr inbounds %struct.w2c_hermes, ptr %80, i32 0, i32 7
  %82 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %81, i32 0, i32 0
  %83 = load ptr, ptr %82, align 8, !tbaa !17
  %84 = load i32, ptr %15, align 4, !tbaa !9
  %85 = zext i32 %84 to i64
  %86 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %83, i64 %85
  %87 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %86, i32 0, i32 1
  %88 = load ptr, ptr %87, align 8, !tbaa !18
  %89 = icmp ne ptr %88, null
  br i1 %89, label %90, label %102

90:                                               ; preds = %79
  %91 = load ptr, ptr @w2c_hermes_t3, align 8, !tbaa !5
  %92 = load ptr, ptr %3, align 8, !tbaa !5
  %93 = getelementptr inbounds %struct.w2c_hermes, ptr %92, i32 0, i32 7
  %94 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %93, i32 0, i32 0
  %95 = load ptr, ptr %94, align 8, !tbaa !17
  %96 = load i32, ptr %15, align 4, !tbaa !9
  %97 = zext i32 %96 to i64
  %98 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %95, i64 %97
  %99 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %98, i32 0, i32 0
  %100 = load ptr, ptr %99, align 8, !tbaa !20
  %101 = call zeroext i1 @func_types_eq(ptr noundef %91, ptr noundef %100)
  br label %102

102:                                              ; preds = %90, %79, %59
  %103 = phi i1 [ false, %79 ], [ false, %59 ], [ %101, %90 ]
  %104 = xor i1 %103, true
  %105 = xor i1 %104, true
  %106 = zext i1 %105 to i32
  %107 = sext i32 %106 to i64
  %108 = call i64 @llvm.expect.i64(i64 %107, i64 1)
  %109 = icmp ne i64 %108, 0
  br i1 %109, label %112, label %110

110:                                              ; preds = %102
  call void @wasm_rt_trap(i32 noundef 6) #7
  unreachable

111:                                              ; No predecessors!
  br label %112

112:                                              ; preds = %111, %102
  %113 = phi i1 [ true, %102 ], [ false, %111 ]
  %114 = zext i1 %113 to i32
  %115 = load ptr, ptr %3, align 8, !tbaa !5
  %116 = getelementptr inbounds %struct.w2c_hermes, ptr %115, i32 0, i32 7
  %117 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %116, i32 0, i32 0
  %118 = load ptr, ptr %117, align 8, !tbaa !17
  %119 = load i32, ptr %15, align 4, !tbaa !9
  %120 = zext i32 %119 to i64
  %121 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %118, i64 %120
  %122 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %121, i32 0, i32 1
  %123 = load ptr, ptr %122, align 8, !tbaa !18
  %124 = load ptr, ptr %3, align 8, !tbaa !5
  %125 = getelementptr inbounds %struct.w2c_hermes, ptr %124, i32 0, i32 7
  %126 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %125, i32 0, i32 0
  %127 = load ptr, ptr %126, align 8, !tbaa !17
  %128 = load i32, ptr %15, align 4, !tbaa !9
  %129 = zext i32 %128 to i64
  %130 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %127, i64 %129
  %131 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %130, i32 0, i32 2
  %132 = load ptr, ptr %131, align 8, !tbaa !21
  %133 = load i32, ptr %14, align 4, !tbaa !9
  call void %123(ptr noundef %132, i32 noundef %133)
  %134 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %134, ptr %14, align 4, !tbaa !9
  %135 = load ptr, ptr %3, align 8, !tbaa !5
  %136 = load i32, ptr %14, align 4, !tbaa !9
  call void @w2c_hermes_std0x3A0x3A_0x5F20x3A0x3A_0x5Fshared_weak_count0x3A0x3A_0x5Frelease_weak0x280x29(ptr noundef %135, i32 noundef %136)
  br label %137

137:                                              ; preds = %112, %58, %35
  %138 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %138, ptr %14, align 4, !tbaa !9
  store i32 4052, ptr %15, align 4, !tbaa !9
  %139 = load i32, ptr %15, align 4, !tbaa !9
  %140 = load i32, ptr %14, align 4, !tbaa !9
  %141 = add i32 %140, %139
  store i32 %141, ptr %14, align 4, !tbaa !9
  store i32 0, ptr %15, align 4, !tbaa !9
  %142 = load ptr, ptr %3, align 8, !tbaa !5
  %143 = load i32, ptr %14, align 4, !tbaa !9
  %144 = load i32, ptr %15, align 4, !tbaa !9
  call void @w2c_hermes_std0x3A0x3A_0x5F20x3A0x3Aunique_ptr0x3Chermes0x3A0x3Avm0x3A0x3AHadesGC0x3A0x3ACollectionStats0x2C0x20std0x3A0x3A_0x5F20x3A0x3Adefault_delete0x3Chermes0x3A0x3Avm0x3A0x3AHadesGC0x3A0x3ACollectionStats0x3E0x3E0x3A0x3Areset0x5Babi0x3Av150070x5D0x28hermes0x3A0x3Avm0x3A0x3AHadesGC0x3A0x3ACollectionStats0x2A0x29(ptr noundef %142, i32 noundef %143, i32 noundef %144)
  %145 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %145, ptr %14, align 4, !tbaa !9
  store i32 4048, ptr %15, align 4, !tbaa !9
  %146 = load i32, ptr %15, align 4, !tbaa !9
  %147 = load i32, ptr %14, align 4, !tbaa !9
  %148 = add i32 %147, %146
  store i32 %148, ptr %14, align 4, !tbaa !9
  store i32 0, ptr %15, align 4, !tbaa !9
  %149 = load ptr, ptr %3, align 8, !tbaa !5
  %150 = load i32, ptr %14, align 4, !tbaa !9
  %151 = load i32, ptr %15, align 4, !tbaa !9
  call void @w2c_hermes_std0x3A0x3A_0x5F20x3A0x3Aunique_ptr0x3Chermes0x3A0x3Avm0x3A0x3AHadesGC0x3A0x3ACollectionStats0x2C0x20std0x3A0x3A_0x5F20x3A0x3Adefault_delete0x3Chermes0x3A0x3Avm0x3A0x3AHadesGC0x3A0x3ACollectionStats0x3E0x3E0x3A0x3Areset0x5Babi0x3Av150070x5D0x28hermes0x3A0x3Avm0x3A0x3AHadesGC0x3A0x3ACollectionStats0x2A0x29(ptr noundef %149, i32 noundef %150, i32 noundef %151)
  %152 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %152, ptr %14, align 4, !tbaa !9
  store i32 4016, ptr %15, align 4, !tbaa !9
  %153 = load i32, ptr %15, align 4, !tbaa !9
  %154 = load i32, ptr %14, align 4, !tbaa !9
  %155 = add i32 %154, %153
  store i32 %155, ptr %14, align 4, !tbaa !9
  %156 = load ptr, ptr %3, align 8, !tbaa !5
  %157 = getelementptr inbounds %struct.w2c_hermes, ptr %156, i32 0, i32 6
  %158 = load i32, ptr %14, align 4, !tbaa !9
  %159 = zext i32 %158 to i64
  %160 = call i32 @i32_load(ptr noundef %157, i64 noundef %159)
  store i32 %160, ptr %14, align 4, !tbaa !9
  %161 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %161, ptr %5, align 4, !tbaa !9
  %162 = load i32, ptr %14, align 4, !tbaa !9
  %163 = icmp ne i32 %162, 0
  br i1 %163, label %164, label %266

164:                                              ; preds = %137
  %165 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %165, ptr %14, align 4, !tbaa !9
  %166 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %166, ptr %15, align 4, !tbaa !9
  %167 = load ptr, ptr %3, align 8, !tbaa !5
  %168 = getelementptr inbounds %struct.w2c_hermes, ptr %167, i32 0, i32 6
  %169 = load i32, ptr %15, align 4, !tbaa !9
  %170 = zext i32 %169 to i64
  %171 = add i64 %170, 4
  %172 = call i32 @i32_load(ptr noundef %168, i64 noundef %171)
  store i32 %172, ptr %15, align 4, !tbaa !9
  store i32 1, ptr %16, align 4, !tbaa !9
  %173 = load i32, ptr %16, align 4, !tbaa !9
  %174 = load i32, ptr %15, align 4, !tbaa !9
  %175 = sub i32 %174, %173
  store i32 %175, ptr %15, align 4, !tbaa !9
  %176 = load i32, ptr %15, align 4, !tbaa !9
  store i32 %176, ptr %6, align 4, !tbaa !9
  %177 = load ptr, ptr %3, align 8, !tbaa !5
  %178 = getelementptr inbounds %struct.w2c_hermes, ptr %177, i32 0, i32 6
  %179 = load i32, ptr %14, align 4, !tbaa !9
  %180 = zext i32 %179 to i64
  %181 = add i64 %180, 4
  %182 = load i32, ptr %15, align 4, !tbaa !9
  call void @i32_store(ptr noundef %178, i64 noundef %181, i32 noundef %182)
  %183 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %183, ptr %14, align 4, !tbaa !9
  store i32 -1, ptr %15, align 4, !tbaa !9
  %184 = load i32, ptr %14, align 4, !tbaa !9
  %185 = load i32, ptr %15, align 4, !tbaa !9
  %186 = icmp eq i32 %184, %185
  %187 = zext i1 %186 to i32
  store i32 %187, ptr %14, align 4, !tbaa !9
  %188 = load i32, ptr %14, align 4, !tbaa !9
  %189 = icmp ne i32 %188, 0
  br i1 %189, label %190, label %265

190:                                              ; preds = %164
  %191 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %191, ptr %14, align 4, !tbaa !9
  %192 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %192, ptr %15, align 4, !tbaa !9
  %193 = load ptr, ptr %3, align 8, !tbaa !5
  %194 = getelementptr inbounds %struct.w2c_hermes, ptr %193, i32 0, i32 6
  %195 = load i32, ptr %15, align 4, !tbaa !9
  %196 = zext i32 %195 to i64
  %197 = call i32 @i32_load(ptr noundef %194, i64 noundef %196)
  store i32 %197, ptr %15, align 4, !tbaa !9
  %198 = load ptr, ptr %3, align 8, !tbaa !5
  %199 = getelementptr inbounds %struct.w2c_hermes, ptr %198, i32 0, i32 6
  %200 = load i32, ptr %15, align 4, !tbaa !9
  %201 = zext i32 %200 to i64
  %202 = add i64 %201, 8
  %203 = call i32 @i32_load(ptr noundef %199, i64 noundef %202)
  store i32 %203, ptr %15, align 4, !tbaa !9
  %204 = load i32, ptr %15, align 4, !tbaa !9
  %205 = load ptr, ptr %3, align 8, !tbaa !5
  %206 = getelementptr inbounds %struct.w2c_hermes, ptr %205, i32 0, i32 7
  %207 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %206, i32 0, i32 2
  %208 = load i32, ptr %207, align 4, !tbaa !11
  %209 = icmp ult i32 %204, %208
  br i1 %209, label %210, label %233

210:                                              ; preds = %190
  %211 = load ptr, ptr %3, align 8, !tbaa !5
  %212 = getelementptr inbounds %struct.w2c_hermes, ptr %211, i32 0, i32 7
  %213 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %212, i32 0, i32 0
  %214 = load ptr, ptr %213, align 8, !tbaa !17
  %215 = load i32, ptr %15, align 4, !tbaa !9
  %216 = zext i32 %215 to i64
  %217 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %214, i64 %216
  %218 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %217, i32 0, i32 1
  %219 = load ptr, ptr %218, align 8, !tbaa !18
  %220 = icmp ne ptr %219, null
  br i1 %220, label %221, label %233

221:                                              ; preds = %210
  %222 = load ptr, ptr @w2c_hermes_t3, align 8, !tbaa !5
  %223 = load ptr, ptr %3, align 8, !tbaa !5
  %224 = getelementptr inbounds %struct.w2c_hermes, ptr %223, i32 0, i32 7
  %225 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %224, i32 0, i32 0
  %226 = load ptr, ptr %225, align 8, !tbaa !17
  %227 = load i32, ptr %15, align 4, !tbaa !9
  %228 = zext i32 %227 to i64
  %229 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %226, i64 %228
  %230 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %229, i32 0, i32 0
  %231 = load ptr, ptr %230, align 8, !tbaa !20
  %232 = call zeroext i1 @func_types_eq(ptr noundef %222, ptr noundef %231)
  br label %233

233:                                              ; preds = %221, %210, %190
  %234 = phi i1 [ false, %210 ], [ false, %190 ], [ %232, %221 ]
  %235 = xor i1 %234, true
  %236 = xor i1 %235, true
  %237 = zext i1 %236 to i32
  %238 = sext i32 %237 to i64
  %239 = call i64 @llvm.expect.i64(i64 %238, i64 1)
  %240 = icmp ne i64 %239, 0
  br i1 %240, label %243, label %241

241:                                              ; preds = %233
  call void @wasm_rt_trap(i32 noundef 6) #7
  unreachable

242:                                              ; No predecessors!
  br label %243

243:                                              ; preds = %242, %233
  %244 = phi i1 [ true, %233 ], [ false, %242 ]
  %245 = zext i1 %244 to i32
  %246 = load ptr, ptr %3, align 8, !tbaa !5
  %247 = getelementptr inbounds %struct.w2c_hermes, ptr %246, i32 0, i32 7
  %248 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %247, i32 0, i32 0
  %249 = load ptr, ptr %248, align 8, !tbaa !17
  %250 = load i32, ptr %15, align 4, !tbaa !9
  %251 = zext i32 %250 to i64
  %252 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %249, i64 %251
  %253 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %252, i32 0, i32 1
  %254 = load ptr, ptr %253, align 8, !tbaa !18
  %255 = load ptr, ptr %3, align 8, !tbaa !5
  %256 = getelementptr inbounds %struct.w2c_hermes, ptr %255, i32 0, i32 7
  %257 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %256, i32 0, i32 0
  %258 = load ptr, ptr %257, align 8, !tbaa !17
  %259 = load i32, ptr %15, align 4, !tbaa !9
  %260 = zext i32 %259 to i64
  %261 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %258, i64 %260
  %262 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %261, i32 0, i32 2
  %263 = load ptr, ptr %262, align 8, !tbaa !21
  %264 = load i32, ptr %14, align 4, !tbaa !9
  call void %254(ptr noundef %263, i32 noundef %264)
  br label %265

265:                                              ; preds = %243, %164
  br label %266

266:                                              ; preds = %265, %137
  %267 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %267, ptr %14, align 4, !tbaa !9
  %268 = load ptr, ptr %3, align 8, !tbaa !5
  %269 = getelementptr inbounds %struct.w2c_hermes, ptr %268, i32 0, i32 6
  %270 = load i32, ptr %14, align 4, !tbaa !9
  %271 = zext i32 %270 to i64
  %272 = add i64 %271, 4012
  %273 = call i32 @i32_load(ptr noundef %269, i64 noundef %272)
  store i32 %273, ptr %14, align 4, !tbaa !9
  %274 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %274, ptr %11, align 4, !tbaa !9
  %275 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %275, ptr %14, align 4, !tbaa !9
  store i32 0, ptr %15, align 4, !tbaa !9
  %276 = load ptr, ptr %3, align 8, !tbaa !5
  %277 = getelementptr inbounds %struct.w2c_hermes, ptr %276, i32 0, i32 6
  %278 = load i32, ptr %14, align 4, !tbaa !9
  %279 = zext i32 %278 to i64
  %280 = add i64 %279, 4012
  %281 = load i32, ptr %15, align 4, !tbaa !9
  call void @i32_store(ptr noundef %277, i64 noundef %280, i32 noundef %281)
  %282 = load i32, ptr %11, align 4, !tbaa !9
  store i32 %282, ptr %14, align 4, !tbaa !9
  %283 = load i32, ptr %14, align 4, !tbaa !9
  %284 = icmp ne i32 %283, 0
  br i1 %284, label %285, label %843

285:                                              ; preds = %266
  %286 = load i32, ptr %11, align 4, !tbaa !9
  store i32 %286, ptr %14, align 4, !tbaa !9
  store i32 1, ptr %15, align 4, !tbaa !9
  %287 = load ptr, ptr %3, align 8, !tbaa !5
  %288 = getelementptr inbounds %struct.w2c_hermes, ptr %287, i32 0, i32 6
  %289 = load i32, ptr %14, align 4, !tbaa !9
  %290 = zext i32 %289 to i64
  %291 = add i64 %290, 96
  %292 = load i32, ptr %15, align 4, !tbaa !9
  call void @i32_store8(ptr noundef %288, i64 noundef %291, i32 noundef %292)
  %293 = load i32, ptr %11, align 4, !tbaa !9
  store i32 %293, ptr %14, align 4, !tbaa !9
  store i32 100, ptr %15, align 4, !tbaa !9
  %294 = load i32, ptr %15, align 4, !tbaa !9
  %295 = load i32, ptr %14, align 4, !tbaa !9
  %296 = add i32 %295, %294
  store i32 %296, ptr %14, align 4, !tbaa !9
  %297 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %297, ptr %6, align 4, !tbaa !9
  %298 = load ptr, ptr %3, align 8, !tbaa !5
  %299 = load i32, ptr %14, align 4, !tbaa !9
  call void @w2c_hermes_std0x3A0x3A_0x5F20x3A0x3Athread0x3A0x3Ajoin0x280x29(ptr noundef %298, i32 noundef %299)
  %300 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %300, ptr %14, align 4, !tbaa !9
  %301 = load ptr, ptr %3, align 8, !tbaa !5
  %302 = load i32, ptr %14, align 4, !tbaa !9
  call void @w2c_hermes_std0x3A0x3A_0x5F20x3A0x3Athread0x3A0x3A0x7Ethread0x280x29(ptr noundef %301, i32 noundef %302)
  %303 = load i32, ptr %11, align 4, !tbaa !9
  store i32 %303, ptr %14, align 4, !tbaa !9
  store i32 72, ptr %15, align 4, !tbaa !9
  %304 = load i32, ptr %15, align 4, !tbaa !9
  %305 = load i32, ptr %14, align 4, !tbaa !9
  %306 = add i32 %305, %304
  store i32 %306, ptr %14, align 4, !tbaa !9
  %307 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %307, ptr %12, align 4, !tbaa !9
  %308 = load ptr, ptr %3, align 8, !tbaa !5
  %309 = getelementptr inbounds %struct.w2c_hermes, ptr %308, i32 0, i32 6
  %310 = load i32, ptr %14, align 4, !tbaa !9
  %311 = zext i32 %310 to i64
  %312 = add i64 %311, 8
  %313 = call i32 @i32_load(ptr noundef %309, i64 noundef %312)
  store i32 %313, ptr %14, align 4, !tbaa !9
  %314 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %314, ptr %13, align 4, !tbaa !9
  %315 = load i32, ptr %12, align 4, !tbaa !9
  store i32 %315, ptr %15, align 4, !tbaa !9
  %316 = load ptr, ptr %3, align 8, !tbaa !5
  %317 = getelementptr inbounds %struct.w2c_hermes, ptr %316, i32 0, i32 6
  %318 = load i32, ptr %15, align 4, !tbaa !9
  %319 = zext i32 %318 to i64
  %320 = add i64 %319, 4
  %321 = call i32 @i32_load(ptr noundef %317, i64 noundef %320)
  store i32 %321, ptr %15, align 4, !tbaa !9
  %322 = load i32, ptr %15, align 4, !tbaa !9
  store i32 %322, ptr %5, align 4, !tbaa !9
  %323 = load i32, ptr %14, align 4, !tbaa !9
  %324 = load i32, ptr %15, align 4, !tbaa !9
  %325 = icmp eq i32 %323, %324
  %326 = zext i1 %325 to i32
  store i32 %326, ptr %14, align 4, !tbaa !9
  %327 = load i32, ptr %14, align 4, !tbaa !9
  %328 = icmp ne i32 %327, 0
  br i1 %328, label %329, label %335

329:                                              ; preds = %285
  %330 = load i32, ptr %12, align 4, !tbaa !9
  store i32 %330, ptr %14, align 4, !tbaa !9
  store i32 20, ptr %15, align 4, !tbaa !9
  %331 = load i32, ptr %15, align 4, !tbaa !9
  %332 = load i32, ptr %14, align 4, !tbaa !9
  %333 = add i32 %332, %331
  store i32 %333, ptr %14, align 4, !tbaa !9
  %334 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %334, ptr %8, align 4, !tbaa !9
  br label %638

335:                                              ; preds = %285
  %336 = load i32, ptr %12, align 4, !tbaa !9
  store i32 %336, ptr %14, align 4, !tbaa !9
  store i32 20, ptr %15, align 4, !tbaa !9
  %337 = load i32, ptr %15, align 4, !tbaa !9
  %338 = load i32, ptr %14, align 4, !tbaa !9
  %339 = add i32 %338, %337
  store i32 %339, ptr %14, align 4, !tbaa !9
  %340 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %340, ptr %8, align 4, !tbaa !9
  %341 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %341, ptr %14, align 4, !tbaa !9
  %342 = load i32, ptr %12, align 4, !tbaa !9
  store i32 %342, ptr %15, align 4, !tbaa !9
  %343 = load ptr, ptr %3, align 8, !tbaa !5
  %344 = getelementptr inbounds %struct.w2c_hermes, ptr %343, i32 0, i32 6
  %345 = load i32, ptr %15, align 4, !tbaa !9
  %346 = zext i32 %345 to i64
  %347 = add i64 %346, 16
  %348 = call i32 @i32_load(ptr noundef %344, i64 noundef %347)
  store i32 %348, ptr %15, align 4, !tbaa !9
  %349 = load i32, ptr %15, align 4, !tbaa !9
  store i32 %349, ptr %7, align 4, !tbaa !9
  store i32 170, ptr %16, align 4, !tbaa !9
  %350 = load i32, ptr %16, align 4, !tbaa !9
  %351 = icmp eq i32 %350, 0
  %352 = xor i1 %351, true
  %353 = xor i1 %352, true
  %354 = zext i1 %353 to i32
  %355 = sext i32 %354 to i64
  %356 = call i64 @llvm.expect.i64(i64 %355, i64 0)
  %357 = icmp ne i64 %356, 0
  br i1 %357, label %358, label %360

358:                                              ; preds = %335
  call void @wasm_rt_trap(i32 noundef 3) #7
  unreachable

359:                                              ; No predecessors!
  br label %364

360:                                              ; preds = %335
  %361 = load i32, ptr %15, align 4, !tbaa !9
  %362 = load i32, ptr %16, align 4, !tbaa !9
  %363 = udiv i32 %361, %362
  br label %364

364:                                              ; preds = %360, %359
  %365 = phi i32 [ 0, %359 ], [ %363, %360 ]
  store i32 %365, ptr %15, align 4, !tbaa !9
  %366 = load i32, ptr %15, align 4, !tbaa !9
  store i32 %366, ptr %6, align 4, !tbaa !9
  store i32 2, ptr %16, align 4, !tbaa !9
  %367 = load i32, ptr %16, align 4, !tbaa !9
  %368 = and i32 %367, 31
  %369 = load i32, ptr %15, align 4, !tbaa !9
  %370 = shl i32 %369, %368
  store i32 %370, ptr %15, align 4, !tbaa !9
  %371 = load i32, ptr %15, align 4, !tbaa !9
  %372 = load i32, ptr %14, align 4, !tbaa !9
  %373 = add i32 %372, %371
  store i32 %373, ptr %14, align 4, !tbaa !9
  %374 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %374, ptr %10, align 4, !tbaa !9
  %375 = load ptr, ptr %3, align 8, !tbaa !5
  %376 = getelementptr inbounds %struct.w2c_hermes, ptr %375, i32 0, i32 6
  %377 = load i32, ptr %14, align 4, !tbaa !9
  %378 = zext i32 %377 to i64
  %379 = call i32 @i32_load(ptr noundef %376, i64 noundef %378)
  store i32 %379, ptr %14, align 4, !tbaa !9
  %380 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %380, ptr %15, align 4, !tbaa !9
  %381 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %381, ptr %16, align 4, !tbaa !9
  store i32 170, ptr %17, align 4, !tbaa !9
  %382 = load i32, ptr %17, align 4, !tbaa !9
  %383 = load i32, ptr %16, align 4, !tbaa !9
  %384 = mul i32 %383, %382
  store i32 %384, ptr %16, align 4, !tbaa !9
  %385 = load i32, ptr %16, align 4, !tbaa !9
  %386 = load i32, ptr %15, align 4, !tbaa !9
  %387 = sub i32 %386, %385
  store i32 %387, ptr %15, align 4, !tbaa !9
  store i32 24, ptr %16, align 4, !tbaa !9
  %388 = load i32, ptr %16, align 4, !tbaa !9
  %389 = load i32, ptr %15, align 4, !tbaa !9
  %390 = mul i32 %389, %388
  store i32 %390, ptr %15, align 4, !tbaa !9
  %391 = load i32, ptr %15, align 4, !tbaa !9
  %392 = load i32, ptr %14, align 4, !tbaa !9
  %393 = add i32 %392, %391
  store i32 %393, ptr %14, align 4, !tbaa !9
  %394 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %394, ptr %6, align 4, !tbaa !9
  %395 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %395, ptr %15, align 4, !tbaa !9
  %396 = load i32, ptr %12, align 4, !tbaa !9
  store i32 %396, ptr %16, align 4, !tbaa !9
  %397 = load ptr, ptr %3, align 8, !tbaa !5
  %398 = getelementptr inbounds %struct.w2c_hermes, ptr %397, i32 0, i32 6
  %399 = load i32, ptr %16, align 4, !tbaa !9
  %400 = zext i32 %399 to i64
  %401 = add i64 %400, 20
  %402 = call i32 @i32_load(ptr noundef %398, i64 noundef %401)
  store i32 %402, ptr %16, align 4, !tbaa !9
  %403 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %403, ptr %17, align 4, !tbaa !9
  %404 = load i32, ptr %17, align 4, !tbaa !9
  %405 = load i32, ptr %16, align 4, !tbaa !9
  %406 = add i32 %405, %404
  store i32 %406, ptr %16, align 4, !tbaa !9
  %407 = load i32, ptr %16, align 4, !tbaa !9
  store i32 %407, ptr %9, align 4, !tbaa !9
  store i32 170, ptr %17, align 4, !tbaa !9
  %408 = load i32, ptr %17, align 4, !tbaa !9
  %409 = icmp eq i32 %408, 0
  %410 = xor i1 %409, true
  %411 = xor i1 %410, true
  %412 = zext i1 %411 to i32
  %413 = sext i32 %412 to i64
  %414 = call i64 @llvm.expect.i64(i64 %413, i64 0)
  %415 = icmp ne i64 %414, 0
  br i1 %415, label %416, label %418

416:                                              ; preds = %364
  call void @wasm_rt_trap(i32 noundef 3) #7
  unreachable

417:                                              ; No predecessors!
  br label %422

418:                                              ; preds = %364
  %419 = load i32, ptr %16, align 4, !tbaa !9
  %420 = load i32, ptr %17, align 4, !tbaa !9
  %421 = udiv i32 %419, %420
  br label %422

422:                                              ; preds = %418, %417
  %423 = phi i32 [ 0, %417 ], [ %421, %418 ]
  store i32 %423, ptr %16, align 4, !tbaa !9
  %424 = load i32, ptr %16, align 4, !tbaa !9
  store i32 %424, ptr %7, align 4, !tbaa !9
  store i32 2, ptr %17, align 4, !tbaa !9
  %425 = load i32, ptr %17, align 4, !tbaa !9
  %426 = and i32 %425, 31
  %427 = load i32, ptr %16, align 4, !tbaa !9
  %428 = shl i32 %427, %426
  store i32 %428, ptr %16, align 4, !tbaa !9
  %429 = load i32, ptr %16, align 4, !tbaa !9
  %430 = load i32, ptr %15, align 4, !tbaa !9
  %431 = add i32 %430, %429
  store i32 %431, ptr %15, align 4, !tbaa !9
  %432 = load ptr, ptr %3, align 8, !tbaa !5
  %433 = getelementptr inbounds %struct.w2c_hermes, ptr %432, i32 0, i32 6
  %434 = load i32, ptr %15, align 4, !tbaa !9
  %435 = zext i32 %434 to i64
  %436 = call i32 @i32_load(ptr noundef %433, i64 noundef %435)
  store i32 %436, ptr %15, align 4, !tbaa !9
  %437 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %437, ptr %16, align 4, !tbaa !9
  %438 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %438, ptr %17, align 4, !tbaa !9
  store i32 170, ptr %18, align 4, !tbaa !9
  %439 = load i32, ptr %18, align 4, !tbaa !9
  %440 = load i32, ptr %17, align 4, !tbaa !9
  %441 = mul i32 %440, %439
  store i32 %441, ptr %17, align 4, !tbaa !9
  %442 = load i32, ptr %17, align 4, !tbaa !9
  %443 = load i32, ptr %16, align 4, !tbaa !9
  %444 = sub i32 %443, %442
  store i32 %444, ptr %16, align 4, !tbaa !9
  store i32 24, ptr %17, align 4, !tbaa !9
  %445 = load i32, ptr %17, align 4, !tbaa !9
  %446 = load i32, ptr %16, align 4, !tbaa !9
  %447 = mul i32 %446, %445
  store i32 %447, ptr %16, align 4, !tbaa !9
  %448 = load i32, ptr %16, align 4, !tbaa !9
  %449 = load i32, ptr %15, align 4, !tbaa !9
  %450 = add i32 %449, %448
  store i32 %450, ptr %15, align 4, !tbaa !9
  %451 = load i32, ptr %15, align 4, !tbaa !9
  store i32 %451, ptr %9, align 4, !tbaa !9
  %452 = load i32, ptr %14, align 4, !tbaa !9
  %453 = load i32, ptr %15, align 4, !tbaa !9
  %454 = icmp eq i32 %452, %453
  %455 = zext i1 %454 to i32
  store i32 %455, ptr %14, align 4, !tbaa !9
  %456 = load i32, ptr %14, align 4, !tbaa !9
  %457 = icmp ne i32 %456, 0
  br i1 %457, label %458, label %459

458:                                              ; preds = %422
  br label %638

459:                                              ; preds = %422
  br label %460

460:                                              ; preds = %620, %459
  %461 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %461, ptr %14, align 4, !tbaa !9
  %462 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %462, ptr %15, align 4, !tbaa !9
  %463 = load ptr, ptr %3, align 8, !tbaa !5
  %464 = getelementptr inbounds %struct.w2c_hermes, ptr %463, i32 0, i32 6
  %465 = load i32, ptr %15, align 4, !tbaa !9
  %466 = zext i32 %465 to i64
  %467 = add i64 %466, 16
  %468 = call i32 @i32_load(ptr noundef %464, i64 noundef %467)
  store i32 %468, ptr %15, align 4, !tbaa !9
  %469 = load i32, ptr %15, align 4, !tbaa !9
  store i32 %469, ptr %5, align 4, !tbaa !9
  %470 = load i32, ptr %14, align 4, !tbaa !9
  %471 = load i32, ptr %15, align 4, !tbaa !9
  %472 = icmp eq i32 %470, %471
  %473 = zext i1 %472 to i32
  store i32 %473, ptr %14, align 4, !tbaa !9
  %474 = load i32, ptr %14, align 4, !tbaa !9
  %475 = icmp ne i32 %474, 0
  br i1 %475, label %476, label %487

476:                                              ; preds = %460
  %477 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %477, ptr %14, align 4, !tbaa !9
  %478 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %478, ptr %5, align 4, !tbaa !9
  %479 = load ptr, ptr %3, align 8, !tbaa !5
  %480 = getelementptr inbounds %struct.w2c_hermes, ptr %479, i32 0, i32 6
  %481 = load i32, ptr %14, align 4, !tbaa !9
  %482 = zext i32 %481 to i64
  %483 = call i32 @i32_load(ptr noundef %480, i64 noundef %482)
  store i32 %483, ptr %14, align 4, !tbaa !9
  store i32 16, ptr %15, align 4, !tbaa !9
  %484 = load i32, ptr %15, align 4, !tbaa !9
  %485 = load i32, ptr %14, align 4, !tbaa !9
  %486 = add i32 %485, %484
  store i32 %486, ptr %14, align 4, !tbaa !9
  br label %506

487:                                              ; preds = %460
  %488 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %488, ptr %14, align 4, !tbaa !9
  %489 = load i32, ptr %14, align 4, !tbaa !9
  %490 = icmp ne i32 %489, 0
  %491 = xor i1 %490, true
  %492 = zext i1 %491 to i32
  store i32 %492, ptr %14, align 4, !tbaa !9
  %493 = load i32, ptr %14, align 4, !tbaa !9
  %494 = icmp ne i32 %493, 0
  br i1 %494, label %495, label %496

495:                                              ; preds = %487
  br label %576

496:                                              ; preds = %487
  %497 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %497, ptr %14, align 4, !tbaa !9
  %498 = load ptr, ptr %3, align 8, !tbaa !5
  %499 = getelementptr inbounds %struct.w2c_hermes, ptr %498, i32 0, i32 6
  %500 = load i32, ptr %14, align 4, !tbaa !9
  %501 = zext i32 %500 to i64
  %502 = call i32 @i32_load(ptr noundef %499, i64 noundef %501)
  store i32 %502, ptr %14, align 4, !tbaa !9
  store i32 20, ptr %15, align 4, !tbaa !9
  %503 = load i32, ptr %15, align 4, !tbaa !9
  %504 = load i32, ptr %14, align 4, !tbaa !9
  %505 = add i32 %504, %503
  store i32 %505, ptr %14, align 4, !tbaa !9
  br label %506

506:                                              ; preds = %496, %476
  %507 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %507, ptr %7, align 4, !tbaa !9
  %508 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %508, ptr %14, align 4, !tbaa !9
  %509 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %509, ptr %15, align 4, !tbaa !9
  %510 = load ptr, ptr %3, align 8, !tbaa !5
  %511 = getelementptr inbounds %struct.w2c_hermes, ptr %510, i32 0, i32 6
  %512 = load i32, ptr %15, align 4, !tbaa !9
  %513 = zext i32 %512 to i64
  %514 = call i32 @i32_load(ptr noundef %511, i64 noundef %513)
  store i32 %514, ptr %15, align 4, !tbaa !9
  %515 = load i32, ptr %15, align 4, !tbaa !9
  %516 = load ptr, ptr %3, align 8, !tbaa !5
  %517 = getelementptr inbounds %struct.w2c_hermes, ptr %516, i32 0, i32 7
  %518 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %517, i32 0, i32 2
  %519 = load i32, ptr %518, align 4, !tbaa !11
  %520 = icmp ult i32 %515, %519
  br i1 %520, label %521, label %544

521:                                              ; preds = %506
  %522 = load ptr, ptr %3, align 8, !tbaa !5
  %523 = getelementptr inbounds %struct.w2c_hermes, ptr %522, i32 0, i32 7
  %524 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %523, i32 0, i32 0
  %525 = load ptr, ptr %524, align 8, !tbaa !17
  %526 = load i32, ptr %15, align 4, !tbaa !9
  %527 = zext i32 %526 to i64
  %528 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %525, i64 %527
  %529 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %528, i32 0, i32 1
  %530 = load ptr, ptr %529, align 8, !tbaa !18
  %531 = icmp ne ptr %530, null
  br i1 %531, label %532, label %544

532:                                              ; preds = %521
  %533 = load ptr, ptr @w2c_hermes_t3, align 8, !tbaa !5
  %534 = load ptr, ptr %3, align 8, !tbaa !5
  %535 = getelementptr inbounds %struct.w2c_hermes, ptr %534, i32 0, i32 7
  %536 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %535, i32 0, i32 0
  %537 = load ptr, ptr %536, align 8, !tbaa !17
  %538 = load i32, ptr %15, align 4, !tbaa !9
  %539 = zext i32 %538 to i64
  %540 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %537, i64 %539
  %541 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %540, i32 0, i32 0
  %542 = load ptr, ptr %541, align 8, !tbaa !20
  %543 = call zeroext i1 @func_types_eq(ptr noundef %533, ptr noundef %542)
  br label %544

544:                                              ; preds = %532, %521, %506
  %545 = phi i1 [ false, %521 ], [ false, %506 ], [ %543, %532 ]
  %546 = xor i1 %545, true
  %547 = xor i1 %546, true
  %548 = zext i1 %547 to i32
  %549 = sext i32 %548 to i64
  %550 = call i64 @llvm.expect.i64(i64 %549, i64 1)
  %551 = icmp ne i64 %550, 0
  br i1 %551, label %554, label %552

552:                                              ; preds = %544
  call void @wasm_rt_trap(i32 noundef 6) #7
  unreachable

553:                                              ; No predecessors!
  br label %554

554:                                              ; preds = %553, %544
  %555 = phi i1 [ true, %544 ], [ false, %553 ]
  %556 = zext i1 %555 to i32
  %557 = load ptr, ptr %3, align 8, !tbaa !5
  %558 = getelementptr inbounds %struct.w2c_hermes, ptr %557, i32 0, i32 7
  %559 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %558, i32 0, i32 0
  %560 = load ptr, ptr %559, align 8, !tbaa !17
  %561 = load i32, ptr %15, align 4, !tbaa !9
  %562 = zext i32 %561 to i64
  %563 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %560, i64 %562
  %564 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %563, i32 0, i32 1
  %565 = load ptr, ptr %564, align 8, !tbaa !18
  %566 = load ptr, ptr %3, align 8, !tbaa !5
  %567 = getelementptr inbounds %struct.w2c_hermes, ptr %566, i32 0, i32 7
  %568 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %567, i32 0, i32 0
  %569 = load ptr, ptr %568, align 8, !tbaa !17
  %570 = load i32, ptr %15, align 4, !tbaa !9
  %571 = zext i32 %570 to i64
  %572 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %569, i64 %571
  %573 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %572, i32 0, i32 2
  %574 = load ptr, ptr %573, align 8, !tbaa !21
  %575 = load i32, ptr %14, align 4, !tbaa !9
  call void %565(ptr noundef %574, i32 noundef %575)
  br label %576

576:                                              ; preds = %554, %495
  %577 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %577, ptr %14, align 4, !tbaa !9
  store i32 24, ptr %15, align 4, !tbaa !9
  %578 = load i32, ptr %15, align 4, !tbaa !9
  %579 = load i32, ptr %14, align 4, !tbaa !9
  %580 = add i32 %579, %578
  store i32 %580, ptr %14, align 4, !tbaa !9
  %581 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %581, ptr %6, align 4, !tbaa !9
  %582 = load i32, ptr %10, align 4, !tbaa !9
  store i32 %582, ptr %15, align 4, !tbaa !9
  %583 = load ptr, ptr %3, align 8, !tbaa !5
  %584 = getelementptr inbounds %struct.w2c_hermes, ptr %583, i32 0, i32 6
  %585 = load i32, ptr %15, align 4, !tbaa !9
  %586 = zext i32 %585 to i64
  %587 = call i32 @i32_load(ptr noundef %584, i64 noundef %586)
  store i32 %587, ptr %15, align 4, !tbaa !9
  %588 = load i32, ptr %15, align 4, !tbaa !9
  %589 = load i32, ptr %14, align 4, !tbaa !9
  %590 = sub i32 %589, %588
  store i32 %590, ptr %14, align 4, !tbaa !9
  store i32 4080, ptr %15, align 4, !tbaa !9
  %591 = load i32, ptr %14, align 4, !tbaa !9
  %592 = load i32, ptr %15, align 4, !tbaa !9
  %593 = icmp eq i32 %591, %592
  %594 = zext i1 %593 to i32
  store i32 %594, ptr %14, align 4, !tbaa !9
  %595 = load i32, ptr %14, align 4, !tbaa !9
  %596 = icmp ne i32 %595, 0
  br i1 %596, label %597, label %611

597:                                              ; preds = %576
  %598 = load i32, ptr %10, align 4, !tbaa !9
  store i32 %598, ptr %14, align 4, !tbaa !9
  %599 = load ptr, ptr %3, align 8, !tbaa !5
  %600 = getelementptr inbounds %struct.w2c_hermes, ptr %599, i32 0, i32 6
  %601 = load i32, ptr %14, align 4, !tbaa !9
  %602 = zext i32 %601 to i64
  %603 = add i64 %602, 4
  %604 = call i32 @i32_load(ptr noundef %600, i64 noundef %603)
  store i32 %604, ptr %14, align 4, !tbaa !9
  %605 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %605, ptr %6, align 4, !tbaa !9
  %606 = load i32, ptr %10, align 4, !tbaa !9
  store i32 %606, ptr %14, align 4, !tbaa !9
  store i32 4, ptr %15, align 4, !tbaa !9
  %607 = load i32, ptr %15, align 4, !tbaa !9
  %608 = load i32, ptr %14, align 4, !tbaa !9
  %609 = add i32 %608, %607
  store i32 %609, ptr %14, align 4, !tbaa !9
  %610 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %610, ptr %10, align 4, !tbaa !9
  br label %611

611:                                              ; preds = %597, %576
  %612 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %612, ptr %14, align 4, !tbaa !9
  %613 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %613, ptr %15, align 4, !tbaa !9
  %614 = load i32, ptr %14, align 4, !tbaa !9
  %615 = load i32, ptr %15, align 4, !tbaa !9
  %616 = icmp ne i32 %614, %615
  %617 = zext i1 %616 to i32
  store i32 %617, ptr %14, align 4, !tbaa !9
  %618 = load i32, ptr %14, align 4, !tbaa !9
  %619 = icmp ne i32 %618, 0
  br i1 %619, label %620, label %621

620:                                              ; preds = %611
  br label %460

621:                                              ; preds = %611
  %622 = load i32, ptr %12, align 4, !tbaa !9
  store i32 %622, ptr %14, align 4, !tbaa !9
  %623 = load ptr, ptr %3, align 8, !tbaa !5
  %624 = getelementptr inbounds %struct.w2c_hermes, ptr %623, i32 0, i32 6
  %625 = load i32, ptr %14, align 4, !tbaa !9
  %626 = zext i32 %625 to i64
  %627 = add i64 %626, 4
  %628 = call i32 @i32_load(ptr noundef %624, i64 noundef %627)
  store i32 %628, ptr %14, align 4, !tbaa !9
  %629 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %629, ptr %5, align 4, !tbaa !9
  %630 = load i32, ptr %12, align 4, !tbaa !9
  store i32 %630, ptr %14, align 4, !tbaa !9
  %631 = load ptr, ptr %3, align 8, !tbaa !5
  %632 = getelementptr inbounds %struct.w2c_hermes, ptr %631, i32 0, i32 6
  %633 = load i32, ptr %14, align 4, !tbaa !9
  %634 = zext i32 %633 to i64
  %635 = add i64 %634, 8
  %636 = call i32 @i32_load(ptr noundef %632, i64 noundef %635)
  store i32 %636, ptr %14, align 4, !tbaa !9
  %637 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %637, ptr %13, align 4, !tbaa !9
  br label %638

638:                                              ; preds = %621, %458, %329
  %639 = load i32, ptr %8, align 4, !tbaa !9
  store i32 %639, ptr %14, align 4, !tbaa !9
  store i32 0, ptr %15, align 4, !tbaa !9
  %640 = load ptr, ptr %3, align 8, !tbaa !5
  %641 = getelementptr inbounds %struct.w2c_hermes, ptr %640, i32 0, i32 6
  %642 = load i32, ptr %14, align 4, !tbaa !9
  %643 = zext i32 %642 to i64
  %644 = load i32, ptr %15, align 4, !tbaa !9
  call void @i32_store(ptr noundef %641, i64 noundef %643, i32 noundef %644)
  %645 = load i32, ptr %13, align 4, !tbaa !9
  store i32 %645, ptr %14, align 4, !tbaa !9
  %646 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %646, ptr %15, align 4, !tbaa !9
  %647 = load i32, ptr %15, align 4, !tbaa !9
  %648 = load i32, ptr %14, align 4, !tbaa !9
  %649 = sub i32 %648, %647
  store i32 %649, ptr %14, align 4, !tbaa !9
  %650 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %650, ptr %6, align 4, !tbaa !9
  store i32 8, ptr %15, align 4, !tbaa !9
  %651 = load i32, ptr %14, align 4, !tbaa !9
  %652 = load i32, ptr %15, align 4, !tbaa !9
  %653 = icmp ugt i32 %651, %652
  %654 = zext i1 %653 to i32
  store i32 %654, ptr %14, align 4, !tbaa !9
  %655 = load i32, ptr %14, align 4, !tbaa !9
  %656 = icmp ne i32 %655, 0
  br i1 %656, label %657, label %705

657:                                              ; preds = %638
  br label %658

658:                                              ; preds = %703, %657
  %659 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %659, ptr %14, align 4, !tbaa !9
  %660 = load ptr, ptr %3, align 8, !tbaa !5
  %661 = getelementptr inbounds %struct.w2c_hermes, ptr %660, i32 0, i32 6
  %662 = load i32, ptr %14, align 4, !tbaa !9
  %663 = zext i32 %662 to i64
  %664 = call i32 @i32_load(ptr noundef %661, i64 noundef %663)
  store i32 %664, ptr %14, align 4, !tbaa !9
  %665 = load ptr, ptr %3, align 8, !tbaa !5
  %666 = load i32, ptr %14, align 4, !tbaa !9
  call void @w2c_hermes_dlfree(ptr noundef %665, i32 noundef %666)
  %667 = load i32, ptr %12, align 4, !tbaa !9
  store i32 %667, ptr %14, align 4, !tbaa !9
  %668 = load i32, ptr %12, align 4, !tbaa !9
  store i32 %668, ptr %15, align 4, !tbaa !9
  %669 = load ptr, ptr %3, align 8, !tbaa !5
  %670 = getelementptr inbounds %struct.w2c_hermes, ptr %669, i32 0, i32 6
  %671 = load i32, ptr %15, align 4, !tbaa !9
  %672 = zext i32 %671 to i64
  %673 = add i64 %672, 4
  %674 = call i32 @i32_load(ptr noundef %670, i64 noundef %673)
  store i32 %674, ptr %15, align 4, !tbaa !9
  store i32 4, ptr %16, align 4, !tbaa !9
  %675 = load i32, ptr %16, align 4, !tbaa !9
  %676 = load i32, ptr %15, align 4, !tbaa !9
  %677 = add i32 %676, %675
  store i32 %677, ptr %15, align 4, !tbaa !9
  %678 = load i32, ptr %15, align 4, !tbaa !9
  store i32 %678, ptr %5, align 4, !tbaa !9
  %679 = load ptr, ptr %3, align 8, !tbaa !5
  %680 = getelementptr inbounds %struct.w2c_hermes, ptr %679, i32 0, i32 6
  %681 = load i32, ptr %14, align 4, !tbaa !9
  %682 = zext i32 %681 to i64
  %683 = add i64 %682, 4
  %684 = load i32, ptr %15, align 4, !tbaa !9
  call void @i32_store(ptr noundef %680, i64 noundef %683, i32 noundef %684)
  %685 = load i32, ptr %12, align 4, !tbaa !9
  store i32 %685, ptr %14, align 4, !tbaa !9
  %686 = load ptr, ptr %3, align 8, !tbaa !5
  %687 = getelementptr inbounds %struct.w2c_hermes, ptr %686, i32 0, i32 6
  %688 = load i32, ptr %14, align 4, !tbaa !9
  %689 = zext i32 %688 to i64
  %690 = add i64 %689, 8
  %691 = call i32 @i32_load(ptr noundef %687, i64 noundef %690)
  store i32 %691, ptr %14, align 4, !tbaa !9
  %692 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %692, ptr %15, align 4, !tbaa !9
  %693 = load i32, ptr %15, align 4, !tbaa !9
  %694 = load i32, ptr %14, align 4, !tbaa !9
  %695 = sub i32 %694, %693
  store i32 %695, ptr %14, align 4, !tbaa !9
  %696 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %696, ptr %6, align 4, !tbaa !9
  store i32 8, ptr %15, align 4, !tbaa !9
  %697 = load i32, ptr %14, align 4, !tbaa !9
  %698 = load i32, ptr %15, align 4, !tbaa !9
  %699 = icmp ugt i32 %697, %698
  %700 = zext i1 %699 to i32
  store i32 %700, ptr %14, align 4, !tbaa !9
  %701 = load i32, ptr %14, align 4, !tbaa !9
  %702 = icmp ne i32 %701, 0
  br i1 %702, label %703, label %704

703:                                              ; preds = %658
  br label %658

704:                                              ; preds = %658
  br label %705

705:                                              ; preds = %704, %638
  store i32 85, ptr %14, align 4, !tbaa !9
  %706 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %706, ptr %5, align 4, !tbaa !9
  %707 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %707, ptr %14, align 4, !tbaa !9
  store i32 2, ptr %15, align 4, !tbaa !9
  %708 = load i32, ptr %15, align 4, !tbaa !9
  %709 = and i32 %708, 31
  %710 = load i32, ptr %14, align 4, !tbaa !9
  %711 = lshr i32 %710, %709
  store i32 %711, ptr %14, align 4, !tbaa !9
  store i32 1, ptr %15, align 4, !tbaa !9
  %712 = load i32, ptr %15, align 4, !tbaa !9
  %713 = load i32, ptr %14, align 4, !tbaa !9
  %714 = sub i32 %713, %712
  store i32 %714, ptr %14, align 4, !tbaa !9
  %715 = load i32, ptr %14, align 4, !tbaa !9
  switch i32 %715, label %718 [
    i32 0, label %716
    i32 1, label %717
  ]

716:                                              ; preds = %705
  br label %721

717:                                              ; preds = %705
  br label %719

718:                                              ; preds = %705
  br label %730

719:                                              ; preds = %717
  store i32 170, ptr %14, align 4, !tbaa !9
  %720 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %720, ptr %5, align 4, !tbaa !9
  br label %721

721:                                              ; preds = %719, %716
  %722 = load i32, ptr %12, align 4, !tbaa !9
  store i32 %722, ptr %14, align 4, !tbaa !9
  %723 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %723, ptr %15, align 4, !tbaa !9
  %724 = load ptr, ptr %3, align 8, !tbaa !5
  %725 = getelementptr inbounds %struct.w2c_hermes, ptr %724, i32 0, i32 6
  %726 = load i32, ptr %14, align 4, !tbaa !9
  %727 = zext i32 %726 to i64
  %728 = add i64 %727, 16
  %729 = load i32, ptr %15, align 4, !tbaa !9
  call void @i32_store(ptr noundef %725, i64 noundef %728, i32 noundef %729)
  br label %730

730:                                              ; preds = %721, %718
  %731 = load i32, ptr %11, align 4, !tbaa !9
  store i32 %731, ptr %14, align 4, !tbaa !9
  %732 = load ptr, ptr %3, align 8, !tbaa !5
  %733 = getelementptr inbounds %struct.w2c_hermes, ptr %732, i32 0, i32 6
  %734 = load i32, ptr %14, align 4, !tbaa !9
  %735 = zext i32 %734 to i64
  %736 = add i64 %735, 76
  %737 = call i32 @i32_load(ptr noundef %733, i64 noundef %736)
  store i32 %737, ptr %14, align 4, !tbaa !9
  %738 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %738, ptr %5, align 4, !tbaa !9
  %739 = load i32, ptr %11, align 4, !tbaa !9
  store i32 %739, ptr %15, align 4, !tbaa !9
  %740 = load ptr, ptr %3, align 8, !tbaa !5
  %741 = getelementptr inbounds %struct.w2c_hermes, ptr %740, i32 0, i32 6
  %742 = load i32, ptr %15, align 4, !tbaa !9
  %743 = zext i32 %742 to i64
  %744 = add i64 %743, 80
  %745 = call i32 @i32_load(ptr noundef %741, i64 noundef %744)
  store i32 %745, ptr %15, align 4, !tbaa !9
  %746 = load i32, ptr %15, align 4, !tbaa !9
  store i32 %746, ptr %6, align 4, !tbaa !9
  %747 = load i32, ptr %14, align 4, !tbaa !9
  %748 = load i32, ptr %15, align 4, !tbaa !9
  %749 = icmp eq i32 %747, %748
  %750 = zext i1 %749 to i32
  store i32 %750, ptr %14, align 4, !tbaa !9
  %751 = load i32, ptr %14, align 4, !tbaa !9
  %752 = icmp ne i32 %751, 0
  br i1 %752, label %753, label %754

753:                                              ; preds = %730
  br label %824

754:                                              ; preds = %730
  br label %755

755:                                              ; preds = %776, %754
  %756 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %756, ptr %14, align 4, !tbaa !9
  %757 = load ptr, ptr %3, align 8, !tbaa !5
  %758 = getelementptr inbounds %struct.w2c_hermes, ptr %757, i32 0, i32 6
  %759 = load i32, ptr %14, align 4, !tbaa !9
  %760 = zext i32 %759 to i64
  %761 = call i32 @i32_load(ptr noundef %758, i64 noundef %760)
  store i32 %761, ptr %14, align 4, !tbaa !9
  %762 = load ptr, ptr %3, align 8, !tbaa !5
  %763 = load i32, ptr %14, align 4, !tbaa !9
  call void @w2c_hermes_dlfree(ptr noundef %762, i32 noundef %763)
  %764 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %764, ptr %14, align 4, !tbaa !9
  store i32 4, ptr %15, align 4, !tbaa !9
  %765 = load i32, ptr %15, align 4, !tbaa !9
  %766 = load i32, ptr %14, align 4, !tbaa !9
  %767 = add i32 %766, %765
  store i32 %767, ptr %14, align 4, !tbaa !9
  %768 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %768, ptr %5, align 4, !tbaa !9
  %769 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %769, ptr %15, align 4, !tbaa !9
  %770 = load i32, ptr %14, align 4, !tbaa !9
  %771 = load i32, ptr %15, align 4, !tbaa !9
  %772 = icmp ne i32 %770, %771
  %773 = zext i1 %772 to i32
  store i32 %773, ptr %14, align 4, !tbaa !9
  %774 = load i32, ptr %14, align 4, !tbaa !9
  %775 = icmp ne i32 %774, 0
  br i1 %775, label %776, label %777

776:                                              ; preds = %755
  br label %755

777:                                              ; preds = %755
  %778 = load i32, ptr %11, align 4, !tbaa !9
  store i32 %778, ptr %14, align 4, !tbaa !9
  %779 = load ptr, ptr %3, align 8, !tbaa !5
  %780 = getelementptr inbounds %struct.w2c_hermes, ptr %779, i32 0, i32 6
  %781 = load i32, ptr %14, align 4, !tbaa !9
  %782 = zext i32 %781 to i64
  %783 = add i64 %782, 80
  %784 = call i32 @i32_load(ptr noundef %780, i64 noundef %783)
  store i32 %784, ptr %14, align 4, !tbaa !9
  %785 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %785, ptr %5, align 4, !tbaa !9
  %786 = load i32, ptr %11, align 4, !tbaa !9
  store i32 %786, ptr %15, align 4, !tbaa !9
  %787 = load ptr, ptr %3, align 8, !tbaa !5
  %788 = getelementptr inbounds %struct.w2c_hermes, ptr %787, i32 0, i32 6
  %789 = load i32, ptr %15, align 4, !tbaa !9
  %790 = zext i32 %789 to i64
  %791 = add i64 %790, 76
  %792 = call i32 @i32_load(ptr noundef %788, i64 noundef %791)
  store i32 %792, ptr %15, align 4, !tbaa !9
  %793 = load i32, ptr %15, align 4, !tbaa !9
  store i32 %793, ptr %6, align 4, !tbaa !9
  %794 = load i32, ptr %14, align 4, !tbaa !9
  %795 = load i32, ptr %15, align 4, !tbaa !9
  %796 = icmp eq i32 %794, %795
  %797 = zext i1 %796 to i32
  store i32 %797, ptr %14, align 4, !tbaa !9
  %798 = load i32, ptr %14, align 4, !tbaa !9
  %799 = icmp ne i32 %798, 0
  br i1 %799, label %800, label %801

800:                                              ; preds = %777
  br label %824

801:                                              ; preds = %777
  %802 = load i32, ptr %11, align 4, !tbaa !9
  store i32 %802, ptr %14, align 4, !tbaa !9
  %803 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %803, ptr %15, align 4, !tbaa !9
  %804 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %804, ptr %16, align 4, !tbaa !9
  %805 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %805, ptr %17, align 4, !tbaa !9
  %806 = load i32, ptr %17, align 4, !tbaa !9
  %807 = load i32, ptr %16, align 4, !tbaa !9
  %808 = sub i32 %807, %806
  store i32 %808, ptr %16, align 4, !tbaa !9
  store i32 3, ptr %17, align 4, !tbaa !9
  %809 = load i32, ptr %17, align 4, !tbaa !9
  %810 = load i32, ptr %16, align 4, !tbaa !9
  %811 = add i32 %810, %809
  store i32 %811, ptr %16, align 4, !tbaa !9
  store i32 -4, ptr %17, align 4, !tbaa !9
  %812 = load i32, ptr %17, align 4, !tbaa !9
  %813 = load i32, ptr %16, align 4, !tbaa !9
  %814 = and i32 %813, %812
  store i32 %814, ptr %16, align 4, !tbaa !9
  %815 = load i32, ptr %16, align 4, !tbaa !9
  %816 = load i32, ptr %15, align 4, !tbaa !9
  %817 = add i32 %816, %815
  store i32 %817, ptr %15, align 4, !tbaa !9
  %818 = load ptr, ptr %3, align 8, !tbaa !5
  %819 = getelementptr inbounds %struct.w2c_hermes, ptr %818, i32 0, i32 6
  %820 = load i32, ptr %14, align 4, !tbaa !9
  %821 = zext i32 %820 to i64
  %822 = add i64 %821, 80
  %823 = load i32, ptr %15, align 4, !tbaa !9
  call void @i32_store(ptr noundef %819, i64 noundef %822, i32 noundef %823)
  br label %824

824:                                              ; preds = %801, %800, %753
  %825 = load i32, ptr %11, align 4, !tbaa !9
  store i32 %825, ptr %14, align 4, !tbaa !9
  %826 = load ptr, ptr %3, align 8, !tbaa !5
  %827 = getelementptr inbounds %struct.w2c_hermes, ptr %826, i32 0, i32 6
  %828 = load i32, ptr %14, align 4, !tbaa !9
  %829 = zext i32 %828 to i64
  %830 = add i64 %829, 72
  %831 = call i32 @i32_load(ptr noundef %827, i64 noundef %830)
  store i32 %831, ptr %14, align 4, !tbaa !9
  %832 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %832, ptr %6, align 4, !tbaa !9
  %833 = load i32, ptr %14, align 4, !tbaa !9
  %834 = icmp ne i32 %833, 0
  br i1 %834, label %835, label %839

835:                                              ; preds = %824
  %836 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %836, ptr %14, align 4, !tbaa !9
  %837 = load ptr, ptr %3, align 8, !tbaa !5
  %838 = load i32, ptr %14, align 4, !tbaa !9
  call void @w2c_hermes_dlfree(ptr noundef %837, i32 noundef %838)
  br label %839

839:                                              ; preds = %835, %824
  %840 = load i32, ptr %11, align 4, !tbaa !9
  store i32 %840, ptr %14, align 4, !tbaa !9
  %841 = load ptr, ptr %3, align 8, !tbaa !5
  %842 = load i32, ptr %14, align 4, !tbaa !9
  call void @w2c_hermes_dlfree(ptr noundef %841, i32 noundef %842)
  br label %843

843:                                              ; preds = %839, %266
  %844 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %844, ptr %14, align 4, !tbaa !9
  %845 = load ptr, ptr %3, align 8, !tbaa !5
  %846 = getelementptr inbounds %struct.w2c_hermes, ptr %845, i32 0, i32 6
  %847 = load i32, ptr %14, align 4, !tbaa !9
  %848 = zext i32 %847 to i64
  %849 = add i64 %848, 4008
  %850 = call i32 @i32_load(ptr noundef %846, i64 noundef %849)
  store i32 %850, ptr %14, align 4, !tbaa !9
  %851 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %851, ptr %5, align 4, !tbaa !9
  %852 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %852, ptr %14, align 4, !tbaa !9
  store i32 0, ptr %15, align 4, !tbaa !9
  %853 = load ptr, ptr %3, align 8, !tbaa !5
  %854 = getelementptr inbounds %struct.w2c_hermes, ptr %853, i32 0, i32 6
  %855 = load i32, ptr %14, align 4, !tbaa !9
  %856 = zext i32 %855 to i64
  %857 = add i64 %856, 4008
  %858 = load i32, ptr %15, align 4, !tbaa !9
  call void @i32_store(ptr noundef %854, i64 noundef %857, i32 noundef %858)
  %859 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %859, ptr %14, align 4, !tbaa !9
  %860 = load i32, ptr %14, align 4, !tbaa !9
  %861 = icmp ne i32 %860, 0
  br i1 %861, label %862, label %930

862:                                              ; preds = %843
  %863 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %863, ptr %14, align 4, !tbaa !9
  %864 = load ptr, ptr %3, align 8, !tbaa !5
  %865 = getelementptr inbounds %struct.w2c_hermes, ptr %864, i32 0, i32 6
  %866 = load i32, ptr %14, align 4, !tbaa !9
  %867 = zext i32 %866 to i64
  %868 = add i64 %867, 572
  %869 = call i32 @i32_load(ptr noundef %865, i64 noundef %868)
  store i32 %869, ptr %14, align 4, !tbaa !9
  %870 = load ptr, ptr %3, align 8, !tbaa !5
  %871 = load i32, ptr %14, align 4, !tbaa !9
  call void @w2c_hermes_dlfree(ptr noundef %870, i32 noundef %871)
  %872 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %872, ptr %14, align 4, !tbaa !9
  %873 = load ptr, ptr %3, align 8, !tbaa !5
  %874 = getelementptr inbounds %struct.w2c_hermes, ptr %873, i32 0, i32 6
  %875 = load i32, ptr %14, align 4, !tbaa !9
  %876 = zext i32 %875 to i64
  %877 = add i64 %876, 560
  %878 = call i32 @i32_load(ptr noundef %874, i64 noundef %877)
  store i32 %878, ptr %14, align 4, !tbaa !9
  %879 = load ptr, ptr %3, align 8, !tbaa !5
  %880 = load i32, ptr %14, align 4, !tbaa !9
  call void @w2c_hermes_dlfree(ptr noundef %879, i32 noundef %880)
  %881 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %881, ptr %14, align 4, !tbaa !9
  %882 = load ptr, ptr %3, align 8, !tbaa !5
  %883 = getelementptr inbounds %struct.w2c_hermes, ptr %882, i32 0, i32 6
  %884 = load i32, ptr %14, align 4, !tbaa !9
  %885 = zext i32 %884 to i64
  %886 = add i64 %885, 548
  %887 = call i32 @i32_load(ptr noundef %883, i64 noundef %886)
  store i32 %887, ptr %14, align 4, !tbaa !9
  %888 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %888, ptr %6, align 4, !tbaa !9
  %889 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %889, ptr %15, align 4, !tbaa !9
  store i32 560, ptr %16, align 4, !tbaa !9
  %890 = load i32, ptr %16, align 4, !tbaa !9
  %891 = load i32, ptr %15, align 4, !tbaa !9
  %892 = add i32 %891, %890
  store i32 %892, ptr %15, align 4, !tbaa !9
  %893 = load i32, ptr %14, align 4, !tbaa !9
  %894 = load i32, ptr %15, align 4, !tbaa !9
  %895 = icmp ne i32 %893, %894
  %896 = zext i1 %895 to i32
  store i32 %896, ptr %14, align 4, !tbaa !9
  %897 = load i32, ptr %14, align 4, !tbaa !9
  %898 = icmp ne i32 %897, 0
  br i1 %898, label %899, label %903

899:                                              ; preds = %862
  %900 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %900, ptr %14, align 4, !tbaa !9
  %901 = load ptr, ptr %3, align 8, !tbaa !5
  %902 = load i32, ptr %14, align 4, !tbaa !9
  call void @w2c_hermes_dlfree(ptr noundef %901, i32 noundef %902)
  br label %903

903:                                              ; preds = %899, %862
  %904 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %904, ptr %14, align 4, !tbaa !9
  %905 = load ptr, ptr %3, align 8, !tbaa !5
  %906 = getelementptr inbounds %struct.w2c_hermes, ptr %905, i32 0, i32 6
  %907 = load i32, ptr %14, align 4, !tbaa !9
  %908 = zext i32 %907 to i64
  %909 = add i64 %908, 16
  %910 = call i32 @i32_load(ptr noundef %906, i64 noundef %909)
  store i32 %910, ptr %14, align 4, !tbaa !9
  %911 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %911, ptr %6, align 4, !tbaa !9
  %912 = load i32, ptr %14, align 4, !tbaa !9
  %913 = icmp ne i32 %912, 0
  br i1 %913, label %914, label %926

914:                                              ; preds = %903
  %915 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %915, ptr %14, align 4, !tbaa !9
  %916 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %916, ptr %15, align 4, !tbaa !9
  %917 = load ptr, ptr %3, align 8, !tbaa !5
  %918 = getelementptr inbounds %struct.w2c_hermes, ptr %917, i32 0, i32 6
  %919 = load i32, ptr %14, align 4, !tbaa !9
  %920 = zext i32 %919 to i64
  %921 = add i64 %920, 20
  %922 = load i32, ptr %15, align 4, !tbaa !9
  call void @i32_store(ptr noundef %918, i64 noundef %921, i32 noundef %922)
  %923 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %923, ptr %14, align 4, !tbaa !9
  %924 = load ptr, ptr %3, align 8, !tbaa !5
  %925 = load i32, ptr %14, align 4, !tbaa !9
  call void @w2c_hermes_dlfree(ptr noundef %924, i32 noundef %925)
  br label %926

926:                                              ; preds = %914, %903
  %927 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %927, ptr %14, align 4, !tbaa !9
  %928 = load ptr, ptr %3, align 8, !tbaa !5
  %929 = load i32, ptr %14, align 4, !tbaa !9
  call void @w2c_hermes_dlfree(ptr noundef %928, i32 noundef %929)
  br label %930

930:                                              ; preds = %926, %843
  %931 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %931, ptr %14, align 4, !tbaa !9
  store i32 4000, ptr %15, align 4, !tbaa !9
  %932 = load i32, ptr %15, align 4, !tbaa !9
  %933 = load i32, ptr %14, align 4, !tbaa !9
  %934 = add i32 %933, %932
  store i32 %934, ptr %14, align 4, !tbaa !9
  %935 = load ptr, ptr %3, align 8, !tbaa !5
  %936 = getelementptr inbounds %struct.w2c_hermes, ptr %935, i32 0, i32 6
  %937 = load i32, ptr %14, align 4, !tbaa !9
  %938 = zext i32 %937 to i64
  %939 = call i32 @i32_load(ptr noundef %936, i64 noundef %938)
  store i32 %939, ptr %14, align 4, !tbaa !9
  %940 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %940, ptr %5, align 4, !tbaa !9
  %941 = load i32, ptr %14, align 4, !tbaa !9
  %942 = icmp ne i32 %941, 0
  %943 = xor i1 %942, true
  %944 = zext i1 %943 to i32
  store i32 %944, ptr %14, align 4, !tbaa !9
  %945 = load i32, ptr %14, align 4, !tbaa !9
  %946 = icmp ne i32 %945, 0
  br i1 %946, label %947, label %948

947:                                              ; preds = %930
  br label %1049

948:                                              ; preds = %930
  %949 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %949, ptr %14, align 4, !tbaa !9
  %950 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %950, ptr %15, align 4, !tbaa !9
  %951 = load ptr, ptr %3, align 8, !tbaa !5
  %952 = getelementptr inbounds %struct.w2c_hermes, ptr %951, i32 0, i32 6
  %953 = load i32, ptr %15, align 4, !tbaa !9
  %954 = zext i32 %953 to i64
  %955 = add i64 %954, 4
  %956 = call i32 @i32_load(ptr noundef %952, i64 noundef %955)
  store i32 %956, ptr %15, align 4, !tbaa !9
  %957 = load i32, ptr %15, align 4, !tbaa !9
  store i32 %957, ptr %6, align 4, !tbaa !9
  store i32 1, ptr %16, align 4, !tbaa !9
  %958 = load i32, ptr %16, align 4, !tbaa !9
  %959 = load i32, ptr %15, align 4, !tbaa !9
  %960 = sub i32 %959, %958
  store i32 %960, ptr %15, align 4, !tbaa !9
  %961 = load ptr, ptr %3, align 8, !tbaa !5
  %962 = getelementptr inbounds %struct.w2c_hermes, ptr %961, i32 0, i32 6
  %963 = load i32, ptr %14, align 4, !tbaa !9
  %964 = zext i32 %963 to i64
  %965 = add i64 %964, 4
  %966 = load i32, ptr %15, align 4, !tbaa !9
  call void @i32_store(ptr noundef %962, i64 noundef %965, i32 noundef %966)
  %967 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %967, ptr %14, align 4, !tbaa !9
  %968 = load i32, ptr %14, align 4, !tbaa !9
  %969 = icmp ne i32 %968, 0
  br i1 %969, label %970, label %971

970:                                              ; preds = %948
  br label %1049

971:                                              ; preds = %948
  %972 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %972, ptr %14, align 4, !tbaa !9
  %973 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %973, ptr %15, align 4, !tbaa !9
  %974 = load ptr, ptr %3, align 8, !tbaa !5
  %975 = getelementptr inbounds %struct.w2c_hermes, ptr %974, i32 0, i32 6
  %976 = load i32, ptr %15, align 4, !tbaa !9
  %977 = zext i32 %976 to i64
  %978 = call i32 @i32_load(ptr noundef %975, i64 noundef %977)
  store i32 %978, ptr %15, align 4, !tbaa !9
  %979 = load ptr, ptr %3, align 8, !tbaa !5
  %980 = getelementptr inbounds %struct.w2c_hermes, ptr %979, i32 0, i32 6
  %981 = load i32, ptr %15, align 4, !tbaa !9
  %982 = zext i32 %981 to i64
  %983 = add i64 %982, 8
  %984 = call i32 @i32_load(ptr noundef %980, i64 noundef %983)
  store i32 %984, ptr %15, align 4, !tbaa !9
  %985 = load i32, ptr %15, align 4, !tbaa !9
  %986 = load ptr, ptr %3, align 8, !tbaa !5
  %987 = getelementptr inbounds %struct.w2c_hermes, ptr %986, i32 0, i32 7
  %988 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %987, i32 0, i32 2
  %989 = load i32, ptr %988, align 4, !tbaa !11
  %990 = icmp ult i32 %985, %989
  br i1 %990, label %991, label %1014

991:                                              ; preds = %971
  %992 = load ptr, ptr %3, align 8, !tbaa !5
  %993 = getelementptr inbounds %struct.w2c_hermes, ptr %992, i32 0, i32 7
  %994 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %993, i32 0, i32 0
  %995 = load ptr, ptr %994, align 8, !tbaa !17
  %996 = load i32, ptr %15, align 4, !tbaa !9
  %997 = zext i32 %996 to i64
  %998 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %995, i64 %997
  %999 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %998, i32 0, i32 1
  %1000 = load ptr, ptr %999, align 8, !tbaa !18
  %1001 = icmp ne ptr %1000, null
  br i1 %1001, label %1002, label %1014

1002:                                             ; preds = %991
  %1003 = load ptr, ptr @w2c_hermes_t3, align 8, !tbaa !5
  %1004 = load ptr, ptr %3, align 8, !tbaa !5
  %1005 = getelementptr inbounds %struct.w2c_hermes, ptr %1004, i32 0, i32 7
  %1006 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %1005, i32 0, i32 0
  %1007 = load ptr, ptr %1006, align 8, !tbaa !17
  %1008 = load i32, ptr %15, align 4, !tbaa !9
  %1009 = zext i32 %1008 to i64
  %1010 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1007, i64 %1009
  %1011 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1010, i32 0, i32 0
  %1012 = load ptr, ptr %1011, align 8, !tbaa !20
  %1013 = call zeroext i1 @func_types_eq(ptr noundef %1003, ptr noundef %1012)
  br label %1014

1014:                                             ; preds = %1002, %991, %971
  %1015 = phi i1 [ false, %991 ], [ false, %971 ], [ %1013, %1002 ]
  %1016 = xor i1 %1015, true
  %1017 = xor i1 %1016, true
  %1018 = zext i1 %1017 to i32
  %1019 = sext i32 %1018 to i64
  %1020 = call i64 @llvm.expect.i64(i64 %1019, i64 1)
  %1021 = icmp ne i64 %1020, 0
  br i1 %1021, label %1024, label %1022

1022:                                             ; preds = %1014
  call void @wasm_rt_trap(i32 noundef 6) #7
  unreachable

1023:                                             ; No predecessors!
  br label %1024

1024:                                             ; preds = %1023, %1014
  %1025 = phi i1 [ true, %1014 ], [ false, %1023 ]
  %1026 = zext i1 %1025 to i32
  %1027 = load ptr, ptr %3, align 8, !tbaa !5
  %1028 = getelementptr inbounds %struct.w2c_hermes, ptr %1027, i32 0, i32 7
  %1029 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %1028, i32 0, i32 0
  %1030 = load ptr, ptr %1029, align 8, !tbaa !17
  %1031 = load i32, ptr %15, align 4, !tbaa !9
  %1032 = zext i32 %1031 to i64
  %1033 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1030, i64 %1032
  %1034 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1033, i32 0, i32 1
  %1035 = load ptr, ptr %1034, align 8, !tbaa !18
  %1036 = load ptr, ptr %3, align 8, !tbaa !5
  %1037 = getelementptr inbounds %struct.w2c_hermes, ptr %1036, i32 0, i32 7
  %1038 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %1037, i32 0, i32 0
  %1039 = load ptr, ptr %1038, align 8, !tbaa !17
  %1040 = load i32, ptr %15, align 4, !tbaa !9
  %1041 = zext i32 %1040 to i64
  %1042 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1039, i64 %1041
  %1043 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1042, i32 0, i32 2
  %1044 = load ptr, ptr %1043, align 8, !tbaa !21
  %1045 = load i32, ptr %14, align 4, !tbaa !9
  call void %1035(ptr noundef %1044, i32 noundef %1045)
  %1046 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1046, ptr %14, align 4, !tbaa !9
  %1047 = load ptr, ptr %3, align 8, !tbaa !5
  %1048 = load i32, ptr %14, align 4, !tbaa !9
  call void @w2c_hermes_std0x3A0x3A_0x5F20x3A0x3A_0x5Fshared_weak_count0x3A0x3A_0x5Frelease_weak0x280x29(ptr noundef %1047, i32 noundef %1048)
  br label %1049

1049:                                             ; preds = %1024, %970, %947
  %1050 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %1050, ptr %14, align 4, !tbaa !9
  store i32 0, ptr %15, align 4, !tbaa !9
  %1051 = load ptr, ptr %3, align 8, !tbaa !5
  %1052 = getelementptr inbounds %struct.w2c_hermes, ptr %1051, i32 0, i32 6
  %1053 = load i32, ptr %14, align 4, !tbaa !9
  %1054 = zext i32 %1053 to i64
  %1055 = add i64 %1054, 712
  %1056 = load i32, ptr %15, align 4, !tbaa !9
  call void @i32_store(ptr noundef %1052, i64 noundef %1055, i32 noundef %1056)
  %1057 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %1057, ptr %14, align 4, !tbaa !9
  %1058 = load ptr, ptr %3, align 8, !tbaa !5
  %1059 = getelementptr inbounds %struct.w2c_hermes, ptr %1058, i32 0, i32 6
  %1060 = load i32, ptr %14, align 4, !tbaa !9
  %1061 = zext i32 %1060 to i64
  %1062 = add i64 %1061, 700
  %1063 = call i32 @i32_load(ptr noundef %1059, i64 noundef %1062)
  store i32 %1063, ptr %14, align 4, !tbaa !9
  %1064 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %1064, ptr %13, align 4, !tbaa !9
  %1065 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %1065, ptr %15, align 4, !tbaa !9
  %1066 = load ptr, ptr %3, align 8, !tbaa !5
  %1067 = getelementptr inbounds %struct.w2c_hermes, ptr %1066, i32 0, i32 6
  %1068 = load i32, ptr %15, align 4, !tbaa !9
  %1069 = zext i32 %1068 to i64
  %1070 = add i64 %1069, 696
  %1071 = call i32 @i32_load(ptr noundef %1067, i64 noundef %1070)
  store i32 %1071, ptr %15, align 4, !tbaa !9
  %1072 = load i32, ptr %15, align 4, !tbaa !9
  store i32 %1072, ptr %5, align 4, !tbaa !9
  %1073 = load i32, ptr %15, align 4, !tbaa !9
  %1074 = load i32, ptr %14, align 4, !tbaa !9
  %1075 = sub i32 %1074, %1073
  store i32 %1075, ptr %14, align 4, !tbaa !9
  %1076 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %1076, ptr %7, align 4, !tbaa !9
  store i32 9, ptr %15, align 4, !tbaa !9
  %1077 = load i32, ptr %14, align 4, !tbaa !9
  %1078 = load i32, ptr %15, align 4, !tbaa !9
  %1079 = icmp uge i32 %1077, %1078
  %1080 = zext i1 %1079 to i32
  store i32 %1080, ptr %14, align 4, !tbaa !9
  %1081 = load i32, ptr %14, align 4, !tbaa !9
  %1082 = icmp ne i32 %1081, 0
  br i1 %1082, label %1083, label %1132

1083:                                             ; preds = %1049
  br label %1084

1084:                                             ; preds = %1130, %1083
  %1085 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1085, ptr %14, align 4, !tbaa !9
  %1086 = load ptr, ptr %3, align 8, !tbaa !5
  %1087 = getelementptr inbounds %struct.w2c_hermes, ptr %1086, i32 0, i32 6
  %1088 = load i32, ptr %14, align 4, !tbaa !9
  %1089 = zext i32 %1088 to i64
  %1090 = call i32 @i32_load(ptr noundef %1087, i64 noundef %1089)
  store i32 %1090, ptr %14, align 4, !tbaa !9
  %1091 = load ptr, ptr %3, align 8, !tbaa !5
  %1092 = load i32, ptr %14, align 4, !tbaa !9
  call void @w2c_hermes_dlfree(ptr noundef %1091, i32 noundef %1092)
  %1093 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %1093, ptr %14, align 4, !tbaa !9
  %1094 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %1094, ptr %15, align 4, !tbaa !9
  %1095 = load ptr, ptr %3, align 8, !tbaa !5
  %1096 = getelementptr inbounds %struct.w2c_hermes, ptr %1095, i32 0, i32 6
  %1097 = load i32, ptr %15, align 4, !tbaa !9
  %1098 = zext i32 %1097 to i64
  %1099 = add i64 %1098, 696
  %1100 = call i32 @i32_load(ptr noundef %1096, i64 noundef %1099)
  store i32 %1100, ptr %15, align 4, !tbaa !9
  store i32 4, ptr %16, align 4, !tbaa !9
  %1101 = load i32, ptr %16, align 4, !tbaa !9
  %1102 = load i32, ptr %15, align 4, !tbaa !9
  %1103 = add i32 %1102, %1101
  store i32 %1103, ptr %15, align 4, !tbaa !9
  %1104 = load i32, ptr %15, align 4, !tbaa !9
  store i32 %1104, ptr %5, align 4, !tbaa !9
  %1105 = load ptr, ptr %3, align 8, !tbaa !5
  %1106 = getelementptr inbounds %struct.w2c_hermes, ptr %1105, i32 0, i32 6
  %1107 = load i32, ptr %14, align 4, !tbaa !9
  %1108 = zext i32 %1107 to i64
  %1109 = add i64 %1108, 696
  %1110 = load i32, ptr %15, align 4, !tbaa !9
  call void @i32_store(ptr noundef %1106, i64 noundef %1109, i32 noundef %1110)
  %1111 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %1111, ptr %14, align 4, !tbaa !9
  %1112 = load ptr, ptr %3, align 8, !tbaa !5
  %1113 = getelementptr inbounds %struct.w2c_hermes, ptr %1112, i32 0, i32 6
  %1114 = load i32, ptr %14, align 4, !tbaa !9
  %1115 = zext i32 %1114 to i64
  %1116 = add i64 %1115, 700
  %1117 = call i32 @i32_load(ptr noundef %1113, i64 noundef %1116)
  store i32 %1117, ptr %14, align 4, !tbaa !9
  %1118 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %1118, ptr %13, align 4, !tbaa !9
  %1119 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1119, ptr %15, align 4, !tbaa !9
  %1120 = load i32, ptr %15, align 4, !tbaa !9
  %1121 = load i32, ptr %14, align 4, !tbaa !9
  %1122 = sub i32 %1121, %1120
  store i32 %1122, ptr %14, align 4, !tbaa !9
  %1123 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %1123, ptr %7, align 4, !tbaa !9
  store i32 8, ptr %15, align 4, !tbaa !9
  %1124 = load i32, ptr %14, align 4, !tbaa !9
  %1125 = load i32, ptr %15, align 4, !tbaa !9
  %1126 = icmp ugt i32 %1124, %1125
  %1127 = zext i1 %1126 to i32
  store i32 %1127, ptr %14, align 4, !tbaa !9
  %1128 = load i32, ptr %14, align 4, !tbaa !9
  %1129 = icmp ne i32 %1128, 0
  br i1 %1129, label %1130, label %1131

1130:                                             ; preds = %1084
  br label %1084

1131:                                             ; preds = %1084
  br label %1132

1132:                                             ; preds = %1131, %1049
  store i32 8, ptr %14, align 4, !tbaa !9
  %1133 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %1133, ptr %6, align 4, !tbaa !9
  %1134 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %1134, ptr %14, align 4, !tbaa !9
  store i32 2, ptr %15, align 4, !tbaa !9
  %1135 = load i32, ptr %15, align 4, !tbaa !9
  %1136 = and i32 %1135, 31
  %1137 = load i32, ptr %14, align 4, !tbaa !9
  %1138 = lshr i32 %1137, %1136
  store i32 %1138, ptr %14, align 4, !tbaa !9
  store i32 1, ptr %15, align 4, !tbaa !9
  %1139 = load i32, ptr %15, align 4, !tbaa !9
  %1140 = load i32, ptr %14, align 4, !tbaa !9
  %1141 = sub i32 %1140, %1139
  store i32 %1141, ptr %14, align 4, !tbaa !9
  %1142 = load i32, ptr %14, align 4, !tbaa !9
  switch i32 %1142, label %1145 [
    i32 0, label %1143
    i32 1, label %1144
  ]

1143:                                             ; preds = %1132
  br label %1148

1144:                                             ; preds = %1132
  br label %1146

1145:                                             ; preds = %1132
  br label %1157

1146:                                             ; preds = %1144
  store i32 16, ptr %14, align 4, !tbaa !9
  %1147 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %1147, ptr %6, align 4, !tbaa !9
  br label %1148

1148:                                             ; preds = %1146, %1143
  %1149 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %1149, ptr %14, align 4, !tbaa !9
  %1150 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %1150, ptr %15, align 4, !tbaa !9
  %1151 = load ptr, ptr %3, align 8, !tbaa !5
  %1152 = getelementptr inbounds %struct.w2c_hermes, ptr %1151, i32 0, i32 6
  %1153 = load i32, ptr %14, align 4, !tbaa !9
  %1154 = zext i32 %1153 to i64
  %1155 = add i64 %1154, 708
  %1156 = load i32, ptr %15, align 4, !tbaa !9
  call void @i32_store(ptr noundef %1152, i64 noundef %1155, i32 noundef %1156)
  br label %1157

1157:                                             ; preds = %1148, %1145
  %1158 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1158, ptr %14, align 4, !tbaa !9
  %1159 = load i32, ptr %13, align 4, !tbaa !9
  store i32 %1159, ptr %15, align 4, !tbaa !9
  %1160 = load i32, ptr %14, align 4, !tbaa !9
  %1161 = load i32, ptr %15, align 4, !tbaa !9
  %1162 = icmp eq i32 %1160, %1161
  %1163 = zext i1 %1162 to i32
  store i32 %1163, ptr %14, align 4, !tbaa !9
  %1164 = load i32, ptr %14, align 4, !tbaa !9
  %1165 = icmp ne i32 %1164, 0
  br i1 %1165, label %1166, label %1167

1166:                                             ; preds = %1157
  br label %1237

1167:                                             ; preds = %1157
  br label %1168

1168:                                             ; preds = %1189, %1167
  %1169 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1169, ptr %14, align 4, !tbaa !9
  %1170 = load ptr, ptr %3, align 8, !tbaa !5
  %1171 = getelementptr inbounds %struct.w2c_hermes, ptr %1170, i32 0, i32 6
  %1172 = load i32, ptr %14, align 4, !tbaa !9
  %1173 = zext i32 %1172 to i64
  %1174 = call i32 @i32_load(ptr noundef %1171, i64 noundef %1173)
  store i32 %1174, ptr %14, align 4, !tbaa !9
  %1175 = load ptr, ptr %3, align 8, !tbaa !5
  %1176 = load i32, ptr %14, align 4, !tbaa !9
  call void @w2c_hermes_dlfree(ptr noundef %1175, i32 noundef %1176)
  %1177 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1177, ptr %14, align 4, !tbaa !9
  store i32 4, ptr %15, align 4, !tbaa !9
  %1178 = load i32, ptr %15, align 4, !tbaa !9
  %1179 = load i32, ptr %14, align 4, !tbaa !9
  %1180 = add i32 %1179, %1178
  store i32 %1180, ptr %14, align 4, !tbaa !9
  %1181 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %1181, ptr %5, align 4, !tbaa !9
  %1182 = load i32, ptr %13, align 4, !tbaa !9
  store i32 %1182, ptr %15, align 4, !tbaa !9
  %1183 = load i32, ptr %14, align 4, !tbaa !9
  %1184 = load i32, ptr %15, align 4, !tbaa !9
  %1185 = icmp ne i32 %1183, %1184
  %1186 = zext i1 %1185 to i32
  store i32 %1186, ptr %14, align 4, !tbaa !9
  %1187 = load i32, ptr %14, align 4, !tbaa !9
  %1188 = icmp ne i32 %1187, 0
  br i1 %1188, label %1189, label %1190

1189:                                             ; preds = %1168
  br label %1168

1190:                                             ; preds = %1168
  %1191 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %1191, ptr %14, align 4, !tbaa !9
  %1192 = load ptr, ptr %3, align 8, !tbaa !5
  %1193 = getelementptr inbounds %struct.w2c_hermes, ptr %1192, i32 0, i32 6
  %1194 = load i32, ptr %14, align 4, !tbaa !9
  %1195 = zext i32 %1194 to i64
  %1196 = add i64 %1195, 700
  %1197 = call i32 @i32_load(ptr noundef %1193, i64 noundef %1196)
  store i32 %1197, ptr %14, align 4, !tbaa !9
  %1198 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %1198, ptr %5, align 4, !tbaa !9
  %1199 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %1199, ptr %15, align 4, !tbaa !9
  %1200 = load ptr, ptr %3, align 8, !tbaa !5
  %1201 = getelementptr inbounds %struct.w2c_hermes, ptr %1200, i32 0, i32 6
  %1202 = load i32, ptr %15, align 4, !tbaa !9
  %1203 = zext i32 %1202 to i64
  %1204 = add i64 %1203, 696
  %1205 = call i32 @i32_load(ptr noundef %1201, i64 noundef %1204)
  store i32 %1205, ptr %15, align 4, !tbaa !9
  %1206 = load i32, ptr %15, align 4, !tbaa !9
  store i32 %1206, ptr %6, align 4, !tbaa !9
  %1207 = load i32, ptr %14, align 4, !tbaa !9
  %1208 = load i32, ptr %15, align 4, !tbaa !9
  %1209 = icmp eq i32 %1207, %1208
  %1210 = zext i1 %1209 to i32
  store i32 %1210, ptr %14, align 4, !tbaa !9
  %1211 = load i32, ptr %14, align 4, !tbaa !9
  %1212 = icmp ne i32 %1211, 0
  br i1 %1212, label %1213, label %1214

1213:                                             ; preds = %1190
  br label %1237

1214:                                             ; preds = %1190
  %1215 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %1215, ptr %14, align 4, !tbaa !9
  %1216 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1216, ptr %15, align 4, !tbaa !9
  %1217 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %1217, ptr %16, align 4, !tbaa !9
  %1218 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1218, ptr %17, align 4, !tbaa !9
  %1219 = load i32, ptr %17, align 4, !tbaa !9
  %1220 = load i32, ptr %16, align 4, !tbaa !9
  %1221 = sub i32 %1220, %1219
  store i32 %1221, ptr %16, align 4, !tbaa !9
  store i32 3, ptr %17, align 4, !tbaa !9
  %1222 = load i32, ptr %17, align 4, !tbaa !9
  %1223 = load i32, ptr %16, align 4, !tbaa !9
  %1224 = add i32 %1223, %1222
  store i32 %1224, ptr %16, align 4, !tbaa !9
  store i32 -4, ptr %17, align 4, !tbaa !9
  %1225 = load i32, ptr %17, align 4, !tbaa !9
  %1226 = load i32, ptr %16, align 4, !tbaa !9
  %1227 = and i32 %1226, %1225
  store i32 %1227, ptr %16, align 4, !tbaa !9
  %1228 = load i32, ptr %16, align 4, !tbaa !9
  %1229 = load i32, ptr %15, align 4, !tbaa !9
  %1230 = add i32 %1229, %1228
  store i32 %1230, ptr %15, align 4, !tbaa !9
  %1231 = load ptr, ptr %3, align 8, !tbaa !5
  %1232 = getelementptr inbounds %struct.w2c_hermes, ptr %1231, i32 0, i32 6
  %1233 = load i32, ptr %14, align 4, !tbaa !9
  %1234 = zext i32 %1233 to i64
  %1235 = add i64 %1234, 700
  %1236 = load i32, ptr %15, align 4, !tbaa !9
  call void @i32_store(ptr noundef %1232, i64 noundef %1235, i32 noundef %1236)
  br label %1237

1237:                                             ; preds = %1214, %1213, %1166
  %1238 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %1238, ptr %14, align 4, !tbaa !9
  %1239 = load ptr, ptr %3, align 8, !tbaa !5
  %1240 = getelementptr inbounds %struct.w2c_hermes, ptr %1239, i32 0, i32 6
  %1241 = load i32, ptr %14, align 4, !tbaa !9
  %1242 = zext i32 %1241 to i64
  %1243 = add i64 %1242, 692
  %1244 = call i32 @i32_load(ptr noundef %1240, i64 noundef %1243)
  store i32 %1244, ptr %14, align 4, !tbaa !9
  %1245 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %1245, ptr %6, align 4, !tbaa !9
  %1246 = load i32, ptr %14, align 4, !tbaa !9
  %1247 = icmp ne i32 %1246, 0
  br i1 %1247, label %1248, label %1252

1248:                                             ; preds = %1237
  %1249 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %1249, ptr %14, align 4, !tbaa !9
  %1250 = load ptr, ptr %3, align 8, !tbaa !5
  %1251 = load i32, ptr %14, align 4, !tbaa !9
  call void @w2c_hermes_dlfree(ptr noundef %1250, i32 noundef %1251)
  br label %1252

1252:                                             ; preds = %1248, %1237
  %1253 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %1253, ptr %14, align 4, !tbaa !9
  store i32 596, ptr %15, align 4, !tbaa !9
  %1254 = load i32, ptr %15, align 4, !tbaa !9
  %1255 = load i32, ptr %14, align 4, !tbaa !9
  %1256 = add i32 %1255, %1254
  store i32 %1256, ptr %14, align 4, !tbaa !9
  %1257 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %1257, ptr %8, align 4, !tbaa !9
  %1258 = load ptr, ptr %3, align 8, !tbaa !5
  %1259 = getelementptr inbounds %struct.w2c_hermes, ptr %1258, i32 0, i32 6
  %1260 = load i32, ptr %14, align 4, !tbaa !9
  %1261 = zext i32 %1260 to i64
  %1262 = add i64 %1261, 8
  %1263 = call i32 @i32_load(ptr noundef %1259, i64 noundef %1262)
  store i32 %1263, ptr %14, align 4, !tbaa !9
  %1264 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %1264, ptr %13, align 4, !tbaa !9
  %1265 = load i32, ptr %8, align 4, !tbaa !9
  store i32 %1265, ptr %15, align 4, !tbaa !9
  %1266 = load ptr, ptr %3, align 8, !tbaa !5
  %1267 = getelementptr inbounds %struct.w2c_hermes, ptr %1266, i32 0, i32 6
  %1268 = load i32, ptr %15, align 4, !tbaa !9
  %1269 = zext i32 %1268 to i64
  %1270 = add i64 %1269, 4
  %1271 = call i32 @i32_load(ptr noundef %1267, i64 noundef %1270)
  store i32 %1271, ptr %15, align 4, !tbaa !9
  %1272 = load i32, ptr %15, align 4, !tbaa !9
  store i32 %1272, ptr %9, align 4, !tbaa !9
  %1273 = load i32, ptr %14, align 4, !tbaa !9
  %1274 = load i32, ptr %15, align 4, !tbaa !9
  %1275 = icmp eq i32 %1273, %1274
  %1276 = zext i1 %1275 to i32
  store i32 %1276, ptr %14, align 4, !tbaa !9
  %1277 = load i32, ptr %14, align 4, !tbaa !9
  %1278 = icmp ne i32 %1277, 0
  br i1 %1278, label %1279, label %1285

1279:                                             ; preds = %1252
  %1280 = load i32, ptr %8, align 4, !tbaa !9
  store i32 %1280, ptr %14, align 4, !tbaa !9
  store i32 20, ptr %15, align 4, !tbaa !9
  %1281 = load i32, ptr %15, align 4, !tbaa !9
  %1282 = load i32, ptr %14, align 4, !tbaa !9
  %1283 = add i32 %1282, %1281
  store i32 %1283, ptr %14, align 4, !tbaa !9
  %1284 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %1284, ptr %7, align 4, !tbaa !9
  br label %1441

1285:                                             ; preds = %1252
  %1286 = load i32, ptr %8, align 4, !tbaa !9
  store i32 %1286, ptr %14, align 4, !tbaa !9
  store i32 20, ptr %15, align 4, !tbaa !9
  %1287 = load i32, ptr %15, align 4, !tbaa !9
  %1288 = load i32, ptr %14, align 4, !tbaa !9
  %1289 = add i32 %1288, %1287
  store i32 %1289, ptr %14, align 4, !tbaa !9
  %1290 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %1290, ptr %7, align 4, !tbaa !9
  %1291 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %1291, ptr %14, align 4, !tbaa !9
  %1292 = load i32, ptr %8, align 4, !tbaa !9
  store i32 %1292, ptr %15, align 4, !tbaa !9
  %1293 = load ptr, ptr %3, align 8, !tbaa !5
  %1294 = getelementptr inbounds %struct.w2c_hermes, ptr %1293, i32 0, i32 6
  %1295 = load i32, ptr %15, align 4, !tbaa !9
  %1296 = zext i32 %1295 to i64
  %1297 = add i64 %1296, 16
  %1298 = call i32 @i32_load(ptr noundef %1294, i64 noundef %1297)
  store i32 %1298, ptr %15, align 4, !tbaa !9
  %1299 = load i32, ptr %15, align 4, !tbaa !9
  store i32 %1299, ptr %6, align 4, !tbaa !9
  store i32 6, ptr %16, align 4, !tbaa !9
  %1300 = load i32, ptr %16, align 4, !tbaa !9
  %1301 = and i32 %1300, 31
  %1302 = load i32, ptr %15, align 4, !tbaa !9
  %1303 = lshr i32 %1302, %1301
  store i32 %1303, ptr %15, align 4, !tbaa !9
  store i32 67108860, ptr %16, align 4, !tbaa !9
  %1304 = load i32, ptr %16, align 4, !tbaa !9
  %1305 = load i32, ptr %15, align 4, !tbaa !9
  %1306 = and i32 %1305, %1304
  store i32 %1306, ptr %15, align 4, !tbaa !9
  %1307 = load i32, ptr %15, align 4, !tbaa !9
  %1308 = load i32, ptr %14, align 4, !tbaa !9
  %1309 = add i32 %1308, %1307
  store i32 %1309, ptr %14, align 4, !tbaa !9
  %1310 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %1310, ptr %5, align 4, !tbaa !9
  %1311 = load ptr, ptr %3, align 8, !tbaa !5
  %1312 = getelementptr inbounds %struct.w2c_hermes, ptr %1311, i32 0, i32 6
  %1313 = load i32, ptr %14, align 4, !tbaa !9
  %1314 = zext i32 %1313 to i64
  %1315 = call i32 @i32_load(ptr noundef %1312, i64 noundef %1314)
  store i32 %1315, ptr %14, align 4, !tbaa !9
  %1316 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %1316, ptr %15, align 4, !tbaa !9
  store i32 255, ptr %16, align 4, !tbaa !9
  %1317 = load i32, ptr %16, align 4, !tbaa !9
  %1318 = load i32, ptr %15, align 4, !tbaa !9
  %1319 = and i32 %1318, %1317
  store i32 %1319, ptr %15, align 4, !tbaa !9
  store i32 4, ptr %16, align 4, !tbaa !9
  %1320 = load i32, ptr %16, align 4, !tbaa !9
  %1321 = and i32 %1320, 31
  %1322 = load i32, ptr %15, align 4, !tbaa !9
  %1323 = shl i32 %1322, %1321
  store i32 %1323, ptr %15, align 4, !tbaa !9
  %1324 = load i32, ptr %15, align 4, !tbaa !9
  %1325 = load i32, ptr %14, align 4, !tbaa !9
  %1326 = add i32 %1325, %1324
  store i32 %1326, ptr %14, align 4, !tbaa !9
  %1327 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %1327, ptr %10, align 4, !tbaa !9
  %1328 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %1328, ptr %15, align 4, !tbaa !9
  %1329 = load i32, ptr %8, align 4, !tbaa !9
  store i32 %1329, ptr %16, align 4, !tbaa !9
  %1330 = load ptr, ptr %3, align 8, !tbaa !5
  %1331 = getelementptr inbounds %struct.w2c_hermes, ptr %1330, i32 0, i32 6
  %1332 = load i32, ptr %16, align 4, !tbaa !9
  %1333 = zext i32 %1332 to i64
  %1334 = add i64 %1333, 20
  %1335 = call i32 @i32_load(ptr noundef %1331, i64 noundef %1334)
  store i32 %1335, ptr %16, align 4, !tbaa !9
  %1336 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %1336, ptr %17, align 4, !tbaa !9
  %1337 = load i32, ptr %17, align 4, !tbaa !9
  %1338 = load i32, ptr %16, align 4, !tbaa !9
  %1339 = add i32 %1338, %1337
  store i32 %1339, ptr %16, align 4, !tbaa !9
  %1340 = load i32, ptr %16, align 4, !tbaa !9
  store i32 %1340, ptr %6, align 4, !tbaa !9
  store i32 6, ptr %17, align 4, !tbaa !9
  %1341 = load i32, ptr %17, align 4, !tbaa !9
  %1342 = and i32 %1341, 31
  %1343 = load i32, ptr %16, align 4, !tbaa !9
  %1344 = lshr i32 %1343, %1342
  store i32 %1344, ptr %16, align 4, !tbaa !9
  store i32 67108860, ptr %17, align 4, !tbaa !9
  %1345 = load i32, ptr %17, align 4, !tbaa !9
  %1346 = load i32, ptr %16, align 4, !tbaa !9
  %1347 = and i32 %1346, %1345
  store i32 %1347, ptr %16, align 4, !tbaa !9
  %1348 = load i32, ptr %16, align 4, !tbaa !9
  %1349 = load i32, ptr %15, align 4, !tbaa !9
  %1350 = add i32 %1349, %1348
  store i32 %1350, ptr %15, align 4, !tbaa !9
  %1351 = load ptr, ptr %3, align 8, !tbaa !5
  %1352 = getelementptr inbounds %struct.w2c_hermes, ptr %1351, i32 0, i32 6
  %1353 = load i32, ptr %15, align 4, !tbaa !9
  %1354 = zext i32 %1353 to i64
  %1355 = call i32 @i32_load(ptr noundef %1352, i64 noundef %1354)
  store i32 %1355, ptr %15, align 4, !tbaa !9
  %1356 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %1356, ptr %16, align 4, !tbaa !9
  store i32 255, ptr %17, align 4, !tbaa !9
  %1357 = load i32, ptr %17, align 4, !tbaa !9
  %1358 = load i32, ptr %16, align 4, !tbaa !9
  %1359 = and i32 %1358, %1357
  store i32 %1359, ptr %16, align 4, !tbaa !9
  store i32 4, ptr %17, align 4, !tbaa !9
  %1360 = load i32, ptr %17, align 4, !tbaa !9
  %1361 = and i32 %1360, 31
  %1362 = load i32, ptr %16, align 4, !tbaa !9
  %1363 = shl i32 %1362, %1361
  store i32 %1363, ptr %16, align 4, !tbaa !9
  %1364 = load i32, ptr %16, align 4, !tbaa !9
  %1365 = load i32, ptr %15, align 4, !tbaa !9
  %1366 = add i32 %1365, %1364
  store i32 %1366, ptr %15, align 4, !tbaa !9
  %1367 = load i32, ptr %15, align 4, !tbaa !9
  store i32 %1367, ptr %6, align 4, !tbaa !9
  %1368 = load i32, ptr %14, align 4, !tbaa !9
  %1369 = load i32, ptr %15, align 4, !tbaa !9
  %1370 = icmp eq i32 %1368, %1369
  %1371 = zext i1 %1370 to i32
  store i32 %1371, ptr %14, align 4, !tbaa !9
  %1372 = load i32, ptr %14, align 4, !tbaa !9
  %1373 = icmp ne i32 %1372, 0
  br i1 %1373, label %1374, label %1375

1374:                                             ; preds = %1285
  br label %1441

1375:                                             ; preds = %1285
  br label %1376

1376:                                             ; preds = %1423, %1375
  %1377 = load i32, ptr %10, align 4, !tbaa !9
  store i32 %1377, ptr %14, align 4, !tbaa !9
  %1378 = load ptr, ptr %3, align 8, !tbaa !5
  %1379 = load i32, ptr %14, align 4, !tbaa !9
  %1380 = call i32 @w2c_hermes_hermes0x3A0x3Avm0x3A0x3AAlignedHeapSegment0x3A0x3A0x7EAlignedHeapSegment0x280x29(ptr noundef %1378, i32 noundef %1379)
  store i32 %1380, ptr %14, align 4, !tbaa !9
  store i32 16, ptr %15, align 4, !tbaa !9
  %1381 = load i32, ptr %15, align 4, !tbaa !9
  %1382 = load i32, ptr %14, align 4, !tbaa !9
  %1383 = add i32 %1382, %1381
  store i32 %1383, ptr %14, align 4, !tbaa !9
  %1384 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %1384, ptr %10, align 4, !tbaa !9
  %1385 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1385, ptr %15, align 4, !tbaa !9
  %1386 = load ptr, ptr %3, align 8, !tbaa !5
  %1387 = getelementptr inbounds %struct.w2c_hermes, ptr %1386, i32 0, i32 6
  %1388 = load i32, ptr %15, align 4, !tbaa !9
  %1389 = zext i32 %1388 to i64
  %1390 = call i32 @i32_load(ptr noundef %1387, i64 noundef %1389)
  store i32 %1390, ptr %15, align 4, !tbaa !9
  %1391 = load i32, ptr %15, align 4, !tbaa !9
  %1392 = load i32, ptr %14, align 4, !tbaa !9
  %1393 = sub i32 %1392, %1391
  store i32 %1393, ptr %14, align 4, !tbaa !9
  store i32 4096, ptr %15, align 4, !tbaa !9
  %1394 = load i32, ptr %14, align 4, !tbaa !9
  %1395 = load i32, ptr %15, align 4, !tbaa !9
  %1396 = icmp eq i32 %1394, %1395
  %1397 = zext i1 %1396 to i32
  store i32 %1397, ptr %14, align 4, !tbaa !9
  %1398 = load i32, ptr %14, align 4, !tbaa !9
  %1399 = icmp ne i32 %1398, 0
  br i1 %1399, label %1400, label %1414

1400:                                             ; preds = %1376
  %1401 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1401, ptr %14, align 4, !tbaa !9
  %1402 = load ptr, ptr %3, align 8, !tbaa !5
  %1403 = getelementptr inbounds %struct.w2c_hermes, ptr %1402, i32 0, i32 6
  %1404 = load i32, ptr %14, align 4, !tbaa !9
  %1405 = zext i32 %1404 to i64
  %1406 = add i64 %1405, 4
  %1407 = call i32 @i32_load(ptr noundef %1403, i64 noundef %1406)
  store i32 %1407, ptr %14, align 4, !tbaa !9
  %1408 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %1408, ptr %10, align 4, !tbaa !9
  %1409 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1409, ptr %14, align 4, !tbaa !9
  store i32 4, ptr %15, align 4, !tbaa !9
  %1410 = load i32, ptr %15, align 4, !tbaa !9
  %1411 = load i32, ptr %14, align 4, !tbaa !9
  %1412 = add i32 %1411, %1410
  store i32 %1412, ptr %14, align 4, !tbaa !9
  %1413 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %1413, ptr %5, align 4, !tbaa !9
  br label %1414

1414:                                             ; preds = %1400, %1376
  %1415 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %1415, ptr %14, align 4, !tbaa !9
  %1416 = load i32, ptr %10, align 4, !tbaa !9
  store i32 %1416, ptr %15, align 4, !tbaa !9
  %1417 = load i32, ptr %14, align 4, !tbaa !9
  %1418 = load i32, ptr %15, align 4, !tbaa !9
  %1419 = icmp ne i32 %1417, %1418
  %1420 = zext i1 %1419 to i32
  store i32 %1420, ptr %14, align 4, !tbaa !9
  %1421 = load i32, ptr %14, align 4, !tbaa !9
  %1422 = icmp ne i32 %1421, 0
  br i1 %1422, label %1423, label %1424

1423:                                             ; preds = %1414
  br label %1376

1424:                                             ; preds = %1414
  %1425 = load i32, ptr %8, align 4, !tbaa !9
  store i32 %1425, ptr %14, align 4, !tbaa !9
  %1426 = load ptr, ptr %3, align 8, !tbaa !5
  %1427 = getelementptr inbounds %struct.w2c_hermes, ptr %1426, i32 0, i32 6
  %1428 = load i32, ptr %14, align 4, !tbaa !9
  %1429 = zext i32 %1428 to i64
  %1430 = add i64 %1429, 4
  %1431 = call i32 @i32_load(ptr noundef %1427, i64 noundef %1430)
  store i32 %1431, ptr %14, align 4, !tbaa !9
  %1432 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %1432, ptr %9, align 4, !tbaa !9
  %1433 = load i32, ptr %8, align 4, !tbaa !9
  store i32 %1433, ptr %14, align 4, !tbaa !9
  %1434 = load ptr, ptr %3, align 8, !tbaa !5
  %1435 = getelementptr inbounds %struct.w2c_hermes, ptr %1434, i32 0, i32 6
  %1436 = load i32, ptr %14, align 4, !tbaa !9
  %1437 = zext i32 %1436 to i64
  %1438 = add i64 %1437, 8
  %1439 = call i32 @i32_load(ptr noundef %1435, i64 noundef %1438)
  store i32 %1439, ptr %14, align 4, !tbaa !9
  %1440 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %1440, ptr %13, align 4, !tbaa !9
  br label %1441

1441:                                             ; preds = %1424, %1374, %1279
  %1442 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %1442, ptr %14, align 4, !tbaa !9
  store i32 0, ptr %15, align 4, !tbaa !9
  %1443 = load ptr, ptr %3, align 8, !tbaa !5
  %1444 = getelementptr inbounds %struct.w2c_hermes, ptr %1443, i32 0, i32 6
  %1445 = load i32, ptr %14, align 4, !tbaa !9
  %1446 = zext i32 %1445 to i64
  %1447 = load i32, ptr %15, align 4, !tbaa !9
  call void @i32_store(ptr noundef %1444, i64 noundef %1446, i32 noundef %1447)
  %1448 = load i32, ptr %13, align 4, !tbaa !9
  store i32 %1448, ptr %14, align 4, !tbaa !9
  %1449 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %1449, ptr %15, align 4, !tbaa !9
  %1450 = load i32, ptr %15, align 4, !tbaa !9
  %1451 = load i32, ptr %14, align 4, !tbaa !9
  %1452 = sub i32 %1451, %1450
  store i32 %1452, ptr %14, align 4, !tbaa !9
  %1453 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %1453, ptr %10, align 4, !tbaa !9
  store i32 8, ptr %15, align 4, !tbaa !9
  %1454 = load i32, ptr %14, align 4, !tbaa !9
  %1455 = load i32, ptr %15, align 4, !tbaa !9
  %1456 = icmp ugt i32 %1454, %1455
  %1457 = zext i1 %1456 to i32
  store i32 %1457, ptr %14, align 4, !tbaa !9
  %1458 = load i32, ptr %14, align 4, !tbaa !9
  %1459 = icmp ne i32 %1458, 0
  br i1 %1459, label %1460, label %1508

1460:                                             ; preds = %1441
  br label %1461

1461:                                             ; preds = %1506, %1460
  %1462 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %1462, ptr %14, align 4, !tbaa !9
  %1463 = load ptr, ptr %3, align 8, !tbaa !5
  %1464 = getelementptr inbounds %struct.w2c_hermes, ptr %1463, i32 0, i32 6
  %1465 = load i32, ptr %14, align 4, !tbaa !9
  %1466 = zext i32 %1465 to i64
  %1467 = call i32 @i32_load(ptr noundef %1464, i64 noundef %1466)
  store i32 %1467, ptr %14, align 4, !tbaa !9
  %1468 = load ptr, ptr %3, align 8, !tbaa !5
  %1469 = load i32, ptr %14, align 4, !tbaa !9
  call void @w2c_hermes_dlfree(ptr noundef %1468, i32 noundef %1469)
  %1470 = load i32, ptr %8, align 4, !tbaa !9
  store i32 %1470, ptr %14, align 4, !tbaa !9
  %1471 = load i32, ptr %8, align 4, !tbaa !9
  store i32 %1471, ptr %15, align 4, !tbaa !9
  %1472 = load ptr, ptr %3, align 8, !tbaa !5
  %1473 = getelementptr inbounds %struct.w2c_hermes, ptr %1472, i32 0, i32 6
  %1474 = load i32, ptr %15, align 4, !tbaa !9
  %1475 = zext i32 %1474 to i64
  %1476 = add i64 %1475, 4
  %1477 = call i32 @i32_load(ptr noundef %1473, i64 noundef %1476)
  store i32 %1477, ptr %15, align 4, !tbaa !9
  store i32 4, ptr %16, align 4, !tbaa !9
  %1478 = load i32, ptr %16, align 4, !tbaa !9
  %1479 = load i32, ptr %15, align 4, !tbaa !9
  %1480 = add i32 %1479, %1478
  store i32 %1480, ptr %15, align 4, !tbaa !9
  %1481 = load i32, ptr %15, align 4, !tbaa !9
  store i32 %1481, ptr %9, align 4, !tbaa !9
  %1482 = load ptr, ptr %3, align 8, !tbaa !5
  %1483 = getelementptr inbounds %struct.w2c_hermes, ptr %1482, i32 0, i32 6
  %1484 = load i32, ptr %14, align 4, !tbaa !9
  %1485 = zext i32 %1484 to i64
  %1486 = add i64 %1485, 4
  %1487 = load i32, ptr %15, align 4, !tbaa !9
  call void @i32_store(ptr noundef %1483, i64 noundef %1486, i32 noundef %1487)
  %1488 = load i32, ptr %8, align 4, !tbaa !9
  store i32 %1488, ptr %14, align 4, !tbaa !9
  %1489 = load ptr, ptr %3, align 8, !tbaa !5
  %1490 = getelementptr inbounds %struct.w2c_hermes, ptr %1489, i32 0, i32 6
  %1491 = load i32, ptr %14, align 4, !tbaa !9
  %1492 = zext i32 %1491 to i64
  %1493 = add i64 %1492, 8
  %1494 = call i32 @i32_load(ptr noundef %1490, i64 noundef %1493)
  store i32 %1494, ptr %14, align 4, !tbaa !9
  %1495 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %1495, ptr %15, align 4, !tbaa !9
  %1496 = load i32, ptr %15, align 4, !tbaa !9
  %1497 = load i32, ptr %14, align 4, !tbaa !9
  %1498 = sub i32 %1497, %1496
  store i32 %1498, ptr %14, align 4, !tbaa !9
  %1499 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %1499, ptr %10, align 4, !tbaa !9
  store i32 8, ptr %15, align 4, !tbaa !9
  %1500 = load i32, ptr %14, align 4, !tbaa !9
  %1501 = load i32, ptr %15, align 4, !tbaa !9
  %1502 = icmp ugt i32 %1500, %1501
  %1503 = zext i1 %1502 to i32
  store i32 %1503, ptr %14, align 4, !tbaa !9
  %1504 = load i32, ptr %14, align 4, !tbaa !9
  %1505 = icmp ne i32 %1504, 0
  br i1 %1505, label %1506, label %1507

1506:                                             ; preds = %1461
  br label %1461

1507:                                             ; preds = %1461
  br label %1508

1508:                                             ; preds = %1507, %1441
  store i32 128, ptr %14, align 4, !tbaa !9
  %1509 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %1509, ptr %9, align 4, !tbaa !9
  %1510 = load i32, ptr %10, align 4, !tbaa !9
  store i32 %1510, ptr %14, align 4, !tbaa !9
  store i32 2, ptr %15, align 4, !tbaa !9
  %1511 = load i32, ptr %15, align 4, !tbaa !9
  %1512 = and i32 %1511, 31
  %1513 = load i32, ptr %14, align 4, !tbaa !9
  %1514 = lshr i32 %1513, %1512
  store i32 %1514, ptr %14, align 4, !tbaa !9
  store i32 1, ptr %15, align 4, !tbaa !9
  %1515 = load i32, ptr %15, align 4, !tbaa !9
  %1516 = load i32, ptr %14, align 4, !tbaa !9
  %1517 = sub i32 %1516, %1515
  store i32 %1517, ptr %14, align 4, !tbaa !9
  %1518 = load i32, ptr %14, align 4, !tbaa !9
  switch i32 %1518, label %1521 [
    i32 0, label %1519
    i32 1, label %1520
  ]

1519:                                             ; preds = %1508
  br label %1524

1520:                                             ; preds = %1508
  br label %1522

1521:                                             ; preds = %1508
  br label %1533

1522:                                             ; preds = %1520
  store i32 256, ptr %14, align 4, !tbaa !9
  %1523 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %1523, ptr %9, align 4, !tbaa !9
  br label %1524

1524:                                             ; preds = %1522, %1519
  %1525 = load i32, ptr %8, align 4, !tbaa !9
  store i32 %1525, ptr %14, align 4, !tbaa !9
  %1526 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %1526, ptr %15, align 4, !tbaa !9
  %1527 = load ptr, ptr %3, align 8, !tbaa !5
  %1528 = getelementptr inbounds %struct.w2c_hermes, ptr %1527, i32 0, i32 6
  %1529 = load i32, ptr %14, align 4, !tbaa !9
  %1530 = zext i32 %1529 to i64
  %1531 = add i64 %1530, 16
  %1532 = load i32, ptr %15, align 4, !tbaa !9
  call void @i32_store(ptr noundef %1528, i64 noundef %1531, i32 noundef %1532)
  br label %1533

1533:                                             ; preds = %1524, %1521
  %1534 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %1534, ptr %14, align 4, !tbaa !9
  %1535 = load ptr, ptr %3, align 8, !tbaa !5
  %1536 = getelementptr inbounds %struct.w2c_hermes, ptr %1535, i32 0, i32 6
  %1537 = load i32, ptr %14, align 4, !tbaa !9
  %1538 = zext i32 %1537 to i64
  %1539 = add i64 %1538, 600
  %1540 = call i32 @i32_load(ptr noundef %1536, i64 noundef %1539)
  store i32 %1540, ptr %14, align 4, !tbaa !9
  %1541 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %1541, ptr %7, align 4, !tbaa !9
  %1542 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %1542, ptr %15, align 4, !tbaa !9
  %1543 = load ptr, ptr %3, align 8, !tbaa !5
  %1544 = getelementptr inbounds %struct.w2c_hermes, ptr %1543, i32 0, i32 6
  %1545 = load i32, ptr %15, align 4, !tbaa !9
  %1546 = zext i32 %1545 to i64
  %1547 = add i64 %1546, 604
  %1548 = call i32 @i32_load(ptr noundef %1544, i64 noundef %1547)
  store i32 %1548, ptr %15, align 4, !tbaa !9
  %1549 = load i32, ptr %15, align 4, !tbaa !9
  store i32 %1549, ptr %6, align 4, !tbaa !9
  %1550 = load i32, ptr %14, align 4, !tbaa !9
  %1551 = load i32, ptr %15, align 4, !tbaa !9
  %1552 = icmp eq i32 %1550, %1551
  %1553 = zext i1 %1552 to i32
  store i32 %1553, ptr %14, align 4, !tbaa !9
  %1554 = load i32, ptr %14, align 4, !tbaa !9
  %1555 = icmp ne i32 %1554, 0
  br i1 %1555, label %1556, label %1557

1556:                                             ; preds = %1533
  br label %1627

1557:                                             ; preds = %1533
  br label %1558

1558:                                             ; preds = %1579, %1557
  %1559 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %1559, ptr %14, align 4, !tbaa !9
  %1560 = load ptr, ptr %3, align 8, !tbaa !5
  %1561 = getelementptr inbounds %struct.w2c_hermes, ptr %1560, i32 0, i32 6
  %1562 = load i32, ptr %14, align 4, !tbaa !9
  %1563 = zext i32 %1562 to i64
  %1564 = call i32 @i32_load(ptr noundef %1561, i64 noundef %1563)
  store i32 %1564, ptr %14, align 4, !tbaa !9
  %1565 = load ptr, ptr %3, align 8, !tbaa !5
  %1566 = load i32, ptr %14, align 4, !tbaa !9
  call void @w2c_hermes_dlfree(ptr noundef %1565, i32 noundef %1566)
  %1567 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %1567, ptr %14, align 4, !tbaa !9
  store i32 4, ptr %15, align 4, !tbaa !9
  %1568 = load i32, ptr %15, align 4, !tbaa !9
  %1569 = load i32, ptr %14, align 4, !tbaa !9
  %1570 = add i32 %1569, %1568
  store i32 %1570, ptr %14, align 4, !tbaa !9
  %1571 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %1571, ptr %7, align 4, !tbaa !9
  %1572 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %1572, ptr %15, align 4, !tbaa !9
  %1573 = load i32, ptr %14, align 4, !tbaa !9
  %1574 = load i32, ptr %15, align 4, !tbaa !9
  %1575 = icmp ne i32 %1573, %1574
  %1576 = zext i1 %1575 to i32
  store i32 %1576, ptr %14, align 4, !tbaa !9
  %1577 = load i32, ptr %14, align 4, !tbaa !9
  %1578 = icmp ne i32 %1577, 0
  br i1 %1578, label %1579, label %1580

1579:                                             ; preds = %1558
  br label %1558

1580:                                             ; preds = %1558
  %1581 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %1581, ptr %14, align 4, !tbaa !9
  %1582 = load ptr, ptr %3, align 8, !tbaa !5
  %1583 = getelementptr inbounds %struct.w2c_hermes, ptr %1582, i32 0, i32 6
  %1584 = load i32, ptr %14, align 4, !tbaa !9
  %1585 = zext i32 %1584 to i64
  %1586 = add i64 %1585, 604
  %1587 = call i32 @i32_load(ptr noundef %1583, i64 noundef %1586)
  store i32 %1587, ptr %14, align 4, !tbaa !9
  %1588 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %1588, ptr %5, align 4, !tbaa !9
  %1589 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %1589, ptr %15, align 4, !tbaa !9
  %1590 = load ptr, ptr %3, align 8, !tbaa !5
  %1591 = getelementptr inbounds %struct.w2c_hermes, ptr %1590, i32 0, i32 6
  %1592 = load i32, ptr %15, align 4, !tbaa !9
  %1593 = zext i32 %1592 to i64
  %1594 = add i64 %1593, 600
  %1595 = call i32 @i32_load(ptr noundef %1591, i64 noundef %1594)
  store i32 %1595, ptr %15, align 4, !tbaa !9
  %1596 = load i32, ptr %15, align 4, !tbaa !9
  store i32 %1596, ptr %6, align 4, !tbaa !9
  %1597 = load i32, ptr %14, align 4, !tbaa !9
  %1598 = load i32, ptr %15, align 4, !tbaa !9
  %1599 = icmp eq i32 %1597, %1598
  %1600 = zext i1 %1599 to i32
  store i32 %1600, ptr %14, align 4, !tbaa !9
  %1601 = load i32, ptr %14, align 4, !tbaa !9
  %1602 = icmp ne i32 %1601, 0
  br i1 %1602, label %1603, label %1604

1603:                                             ; preds = %1580
  br label %1627

1604:                                             ; preds = %1580
  %1605 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %1605, ptr %14, align 4, !tbaa !9
  %1606 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1606, ptr %15, align 4, !tbaa !9
  %1607 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %1607, ptr %16, align 4, !tbaa !9
  %1608 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1608, ptr %17, align 4, !tbaa !9
  %1609 = load i32, ptr %17, align 4, !tbaa !9
  %1610 = load i32, ptr %16, align 4, !tbaa !9
  %1611 = sub i32 %1610, %1609
  store i32 %1611, ptr %16, align 4, !tbaa !9
  store i32 3, ptr %17, align 4, !tbaa !9
  %1612 = load i32, ptr %17, align 4, !tbaa !9
  %1613 = load i32, ptr %16, align 4, !tbaa !9
  %1614 = add i32 %1613, %1612
  store i32 %1614, ptr %16, align 4, !tbaa !9
  store i32 -4, ptr %17, align 4, !tbaa !9
  %1615 = load i32, ptr %17, align 4, !tbaa !9
  %1616 = load i32, ptr %16, align 4, !tbaa !9
  %1617 = and i32 %1616, %1615
  store i32 %1617, ptr %16, align 4, !tbaa !9
  %1618 = load i32, ptr %16, align 4, !tbaa !9
  %1619 = load i32, ptr %15, align 4, !tbaa !9
  %1620 = add i32 %1619, %1618
  store i32 %1620, ptr %15, align 4, !tbaa !9
  %1621 = load ptr, ptr %3, align 8, !tbaa !5
  %1622 = getelementptr inbounds %struct.w2c_hermes, ptr %1621, i32 0, i32 6
  %1623 = load i32, ptr %14, align 4, !tbaa !9
  %1624 = zext i32 %1623 to i64
  %1625 = add i64 %1624, 604
  %1626 = load i32, ptr %15, align 4, !tbaa !9
  call void @i32_store(ptr noundef %1622, i64 noundef %1625, i32 noundef %1626)
  br label %1627

1627:                                             ; preds = %1604, %1603, %1556
  %1628 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %1628, ptr %14, align 4, !tbaa !9
  %1629 = load ptr, ptr %3, align 8, !tbaa !5
  %1630 = getelementptr inbounds %struct.w2c_hermes, ptr %1629, i32 0, i32 6
  %1631 = load i32, ptr %14, align 4, !tbaa !9
  %1632 = zext i32 %1631 to i64
  %1633 = add i64 %1632, 596
  %1634 = call i32 @i32_load(ptr noundef %1630, i64 noundef %1633)
  store i32 %1634, ptr %14, align 4, !tbaa !9
  %1635 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %1635, ptr %6, align 4, !tbaa !9
  %1636 = load i32, ptr %14, align 4, !tbaa !9
  %1637 = icmp ne i32 %1636, 0
  br i1 %1637, label %1638, label %1642

1638:                                             ; preds = %1627
  %1639 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %1639, ptr %14, align 4, !tbaa !9
  %1640 = load ptr, ptr %3, align 8, !tbaa !5
  %1641 = load i32, ptr %14, align 4, !tbaa !9
  call void @w2c_hermes_dlfree(ptr noundef %1640, i32 noundef %1641)
  br label %1642

1642:                                             ; preds = %1638, %1627
  %1643 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %1643, ptr %14, align 4, !tbaa !9
  %1644 = load ptr, ptr %3, align 8, !tbaa !5
  %1645 = getelementptr inbounds %struct.w2c_hermes, ptr %1644, i32 0, i32 6
  %1646 = load i32, ptr %14, align 4, !tbaa !9
  %1647 = zext i32 %1646 to i64
  %1648 = add i64 %1647, 568
  %1649 = call i32 @i32_load(ptr noundef %1645, i64 noundef %1648)
  store i32 %1649, ptr %14, align 4, !tbaa !9
  %1650 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %1650, ptr %6, align 4, !tbaa !9
  %1651 = load i32, ptr %14, align 4, !tbaa !9
  %1652 = icmp ne i32 %1651, 0
  br i1 %1652, label %1653, label %1665

1653:                                             ; preds = %1642
  %1654 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %1654, ptr %14, align 4, !tbaa !9
  %1655 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %1655, ptr %15, align 4, !tbaa !9
  %1656 = load ptr, ptr %3, align 8, !tbaa !5
  %1657 = getelementptr inbounds %struct.w2c_hermes, ptr %1656, i32 0, i32 6
  %1658 = load i32, ptr %14, align 4, !tbaa !9
  %1659 = zext i32 %1658 to i64
  %1660 = add i64 %1659, 572
  %1661 = load i32, ptr %15, align 4, !tbaa !9
  call void @i32_store(ptr noundef %1657, i64 noundef %1660, i32 noundef %1661)
  %1662 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %1662, ptr %14, align 4, !tbaa !9
  %1663 = load ptr, ptr %3, align 8, !tbaa !5
  %1664 = load i32, ptr %14, align 4, !tbaa !9
  call void @w2c_hermes_dlfree(ptr noundef %1663, i32 noundef %1664)
  br label %1665

1665:                                             ; preds = %1653, %1642
  %1666 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %1666, ptr %14, align 4, !tbaa !9
  store i32 548, ptr %15, align 4, !tbaa !9
  %1667 = load i32, ptr %15, align 4, !tbaa !9
  %1668 = load i32, ptr %14, align 4, !tbaa !9
  %1669 = add i32 %1668, %1667
  store i32 %1669, ptr %14, align 4, !tbaa !9
  %1670 = load ptr, ptr %3, align 8, !tbaa !5
  %1671 = load i32, ptr %14, align 4, !tbaa !9
  %1672 = call i32 @w2c_hermes_hermes0x3A0x3Avm0x3A0x3AAlignedHeapSegment0x3A0x3A0x7EAlignedHeapSegment0x280x29(ptr noundef %1670, i32 noundef %1671)
  store i32 %1672, ptr %14, align 4, !tbaa !9
  %1673 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %1673, ptr %14, align 4, !tbaa !9
  %1674 = load ptr, ptr %3, align 8, !tbaa !5
  %1675 = getelementptr inbounds %struct.w2c_hermes, ptr %1674, i32 0, i32 6
  %1676 = load i32, ptr %14, align 4, !tbaa !9
  %1677 = zext i32 %1676 to i64
  %1678 = add i64 %1677, 544
  %1679 = call i32 @i32_load(ptr noundef %1675, i64 noundef %1678)
  store i32 %1679, ptr %14, align 4, !tbaa !9
  %1680 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %1680, ptr %5, align 4, !tbaa !9
  %1681 = load i32, ptr %14, align 4, !tbaa !9
  %1682 = icmp ne i32 %1681, 0
  %1683 = xor i1 %1682, true
  %1684 = zext i1 %1683 to i32
  store i32 %1684, ptr %14, align 4, !tbaa !9
  %1685 = load i32, ptr %14, align 4, !tbaa !9
  %1686 = icmp ne i32 %1685, 0
  br i1 %1686, label %1687, label %1688

1687:                                             ; preds = %1665
  br label %1789

1688:                                             ; preds = %1665
  %1689 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1689, ptr %14, align 4, !tbaa !9
  %1690 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1690, ptr %15, align 4, !tbaa !9
  %1691 = load ptr, ptr %3, align 8, !tbaa !5
  %1692 = getelementptr inbounds %struct.w2c_hermes, ptr %1691, i32 0, i32 6
  %1693 = load i32, ptr %15, align 4, !tbaa !9
  %1694 = zext i32 %1693 to i64
  %1695 = add i64 %1694, 4
  %1696 = call i32 @i32_load(ptr noundef %1692, i64 noundef %1695)
  store i32 %1696, ptr %15, align 4, !tbaa !9
  %1697 = load i32, ptr %15, align 4, !tbaa !9
  store i32 %1697, ptr %6, align 4, !tbaa !9
  store i32 1, ptr %16, align 4, !tbaa !9
  %1698 = load i32, ptr %16, align 4, !tbaa !9
  %1699 = load i32, ptr %15, align 4, !tbaa !9
  %1700 = sub i32 %1699, %1698
  store i32 %1700, ptr %15, align 4, !tbaa !9
  %1701 = load ptr, ptr %3, align 8, !tbaa !5
  %1702 = getelementptr inbounds %struct.w2c_hermes, ptr %1701, i32 0, i32 6
  %1703 = load i32, ptr %14, align 4, !tbaa !9
  %1704 = zext i32 %1703 to i64
  %1705 = add i64 %1704, 4
  %1706 = load i32, ptr %15, align 4, !tbaa !9
  call void @i32_store(ptr noundef %1702, i64 noundef %1705, i32 noundef %1706)
  %1707 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %1707, ptr %14, align 4, !tbaa !9
  %1708 = load i32, ptr %14, align 4, !tbaa !9
  %1709 = icmp ne i32 %1708, 0
  br i1 %1709, label %1710, label %1711

1710:                                             ; preds = %1688
  br label %1789

1711:                                             ; preds = %1688
  %1712 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1712, ptr %14, align 4, !tbaa !9
  %1713 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1713, ptr %15, align 4, !tbaa !9
  %1714 = load ptr, ptr %3, align 8, !tbaa !5
  %1715 = getelementptr inbounds %struct.w2c_hermes, ptr %1714, i32 0, i32 6
  %1716 = load i32, ptr %15, align 4, !tbaa !9
  %1717 = zext i32 %1716 to i64
  %1718 = call i32 @i32_load(ptr noundef %1715, i64 noundef %1717)
  store i32 %1718, ptr %15, align 4, !tbaa !9
  %1719 = load ptr, ptr %3, align 8, !tbaa !5
  %1720 = getelementptr inbounds %struct.w2c_hermes, ptr %1719, i32 0, i32 6
  %1721 = load i32, ptr %15, align 4, !tbaa !9
  %1722 = zext i32 %1721 to i64
  %1723 = add i64 %1722, 8
  %1724 = call i32 @i32_load(ptr noundef %1720, i64 noundef %1723)
  store i32 %1724, ptr %15, align 4, !tbaa !9
  %1725 = load i32, ptr %15, align 4, !tbaa !9
  %1726 = load ptr, ptr %3, align 8, !tbaa !5
  %1727 = getelementptr inbounds %struct.w2c_hermes, ptr %1726, i32 0, i32 7
  %1728 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %1727, i32 0, i32 2
  %1729 = load i32, ptr %1728, align 4, !tbaa !11
  %1730 = icmp ult i32 %1725, %1729
  br i1 %1730, label %1731, label %1754

1731:                                             ; preds = %1711
  %1732 = load ptr, ptr %3, align 8, !tbaa !5
  %1733 = getelementptr inbounds %struct.w2c_hermes, ptr %1732, i32 0, i32 7
  %1734 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %1733, i32 0, i32 0
  %1735 = load ptr, ptr %1734, align 8, !tbaa !17
  %1736 = load i32, ptr %15, align 4, !tbaa !9
  %1737 = zext i32 %1736 to i64
  %1738 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1735, i64 %1737
  %1739 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1738, i32 0, i32 1
  %1740 = load ptr, ptr %1739, align 8, !tbaa !18
  %1741 = icmp ne ptr %1740, null
  br i1 %1741, label %1742, label %1754

1742:                                             ; preds = %1731
  %1743 = load ptr, ptr @w2c_hermes_t3, align 8, !tbaa !5
  %1744 = load ptr, ptr %3, align 8, !tbaa !5
  %1745 = getelementptr inbounds %struct.w2c_hermes, ptr %1744, i32 0, i32 7
  %1746 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %1745, i32 0, i32 0
  %1747 = load ptr, ptr %1746, align 8, !tbaa !17
  %1748 = load i32, ptr %15, align 4, !tbaa !9
  %1749 = zext i32 %1748 to i64
  %1750 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1747, i64 %1749
  %1751 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1750, i32 0, i32 0
  %1752 = load ptr, ptr %1751, align 8, !tbaa !20
  %1753 = call zeroext i1 @func_types_eq(ptr noundef %1743, ptr noundef %1752)
  br label %1754

1754:                                             ; preds = %1742, %1731, %1711
  %1755 = phi i1 [ false, %1731 ], [ false, %1711 ], [ %1753, %1742 ]
  %1756 = xor i1 %1755, true
  %1757 = xor i1 %1756, true
  %1758 = zext i1 %1757 to i32
  %1759 = sext i32 %1758 to i64
  %1760 = call i64 @llvm.expect.i64(i64 %1759, i64 1)
  %1761 = icmp ne i64 %1760, 0
  br i1 %1761, label %1764, label %1762

1762:                                             ; preds = %1754
  call void @wasm_rt_trap(i32 noundef 6) #7
  unreachable

1763:                                             ; No predecessors!
  br label %1764

1764:                                             ; preds = %1763, %1754
  %1765 = phi i1 [ true, %1754 ], [ false, %1763 ]
  %1766 = zext i1 %1765 to i32
  %1767 = load ptr, ptr %3, align 8, !tbaa !5
  %1768 = getelementptr inbounds %struct.w2c_hermes, ptr %1767, i32 0, i32 7
  %1769 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %1768, i32 0, i32 0
  %1770 = load ptr, ptr %1769, align 8, !tbaa !17
  %1771 = load i32, ptr %15, align 4, !tbaa !9
  %1772 = zext i32 %1771 to i64
  %1773 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1770, i64 %1772
  %1774 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1773, i32 0, i32 1
  %1775 = load ptr, ptr %1774, align 8, !tbaa !18
  %1776 = load ptr, ptr %3, align 8, !tbaa !5
  %1777 = getelementptr inbounds %struct.w2c_hermes, ptr %1776, i32 0, i32 7
  %1778 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %1777, i32 0, i32 0
  %1779 = load ptr, ptr %1778, align 8, !tbaa !17
  %1780 = load i32, ptr %15, align 4, !tbaa !9
  %1781 = zext i32 %1780 to i64
  %1782 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1779, i64 %1781
  %1783 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1782, i32 0, i32 2
  %1784 = load ptr, ptr %1783, align 8, !tbaa !21
  %1785 = load i32, ptr %14, align 4, !tbaa !9
  call void %1775(ptr noundef %1784, i32 noundef %1785)
  %1786 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1786, ptr %14, align 4, !tbaa !9
  %1787 = load ptr, ptr %3, align 8, !tbaa !5
  %1788 = load i32, ptr %14, align 4, !tbaa !9
  call void @w2c_hermes_std0x3A0x3A_0x5F20x3A0x3A_0x5Fshared_weak_count0x3A0x3A_0x5Frelease_weak0x280x29(ptr noundef %1787, i32 noundef %1788)
  br label %1789

1789:                                             ; preds = %1764, %1710, %1687
  %1790 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %1790, ptr %14, align 4, !tbaa !9
  %1791 = load ptr, ptr %3, align 8, !tbaa !5
  %1792 = getelementptr inbounds %struct.w2c_hermes, ptr %1791, i32 0, i32 6
  %1793 = load i32, ptr %14, align 4, !tbaa !9
  %1794 = zext i32 %1793 to i64
  %1795 = add i64 %1794, 528
  %1796 = call i32 @i32_load(ptr noundef %1792, i64 noundef %1795)
  store i32 %1796, ptr %14, align 4, !tbaa !9
  %1797 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %1797, ptr %6, align 4, !tbaa !9
  %1798 = load i32, ptr %14, align 4, !tbaa !9
  %1799 = icmp ne i32 %1798, 0
  br i1 %1799, label %1800, label %1812

1800:                                             ; preds = %1789
  %1801 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %1801, ptr %14, align 4, !tbaa !9
  %1802 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %1802, ptr %15, align 4, !tbaa !9
  %1803 = load ptr, ptr %3, align 8, !tbaa !5
  %1804 = getelementptr inbounds %struct.w2c_hermes, ptr %1803, i32 0, i32 6
  %1805 = load i32, ptr %14, align 4, !tbaa !9
  %1806 = zext i32 %1805 to i64
  %1807 = add i64 %1806, 532
  %1808 = load i32, ptr %15, align 4, !tbaa !9
  call void @i32_store(ptr noundef %1804, i64 noundef %1807, i32 noundef %1808)
  %1809 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %1809, ptr %14, align 4, !tbaa !9
  %1810 = load ptr, ptr %3, align 8, !tbaa !5
  %1811 = load i32, ptr %14, align 4, !tbaa !9
  call void @w2c_hermes_dlfree(ptr noundef %1810, i32 noundef %1811)
  br label %1812

1812:                                             ; preds = %1800, %1789
  %1813 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %1813, ptr %14, align 4, !tbaa !9
  %1814 = load ptr, ptr %3, align 8, !tbaa !5
  %1815 = load i32, ptr %14, align 4, !tbaa !9
  %1816 = call i32 @w2c_hermes_hermes0x3A0x3Avm0x3A0x3AGCBase0x3A0x3A0x7EGCBase0x280x290x2E1(ptr noundef %1814, i32 noundef %1815)
  store i32 %1816, ptr %14, align 4, !tbaa !9
  %1817 = load i32, ptr %14, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 4, ptr %18) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %17) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %16) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %15) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %14) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %13) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %12) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %11) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %10) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %9) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %8) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %7) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %6) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %5) #6
  ret i32 %1817
}

declare void @w2c_hermes_std0x3A0x3A_0x5F20x3A0x3Aunique_ptr0x3Chermes0x3A0x3Avm0x3A0x3AHadesGC0x3A0x3ACollectionStats0x2C0x20std0x3A0x3A_0x5F20x3A0x3Adefault_delete0x3Chermes0x3A0x3Avm0x3A0x3AHadesGC0x3A0x3ACollectionStats0x3E0x3E0x3A0x3Areset0x5Babi0x3Av150070x5D0x28hermes0x3A0x3Avm0x3A0x3AHadesGC0x3A0x3ACollectionStats0x2A0x29(ptr noundef, i32 noundef, i32 noundef) #2

declare void @w2c_hermes_std0x3A0x3A_0x5F20x3A0x3Athread0x3A0x3Ajoin0x280x29(ptr noundef, i32 noundef) #2

declare void @w2c_hermes_std0x3A0x3A_0x5F20x3A0x3Athread0x3A0x3A0x7Ethread0x280x29(ptr noundef, i32 noundef) #2

; Function Attrs: nounwind uwtable
declare dso_local i32 @w2c_hermes_hermes0x3A0x3Avm0x3A0x3AGCBase0x3A0x3A0x7EGCBase0x280x290x2E1(ptr noundef, i32 noundef) #5

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 = { "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 = { 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 #4 = { nocallback nofree nosync nounwind willreturn memory(none) }
attributes #5 = { 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 #6 = { nounwind }
attributes #7 = { 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 92}
!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}
!17 = !{!12, !6, i64 80}
!18 = !{!19, !6, i64 8}
!19 = !{!"", !6, i64 0, !6, i64 8, !6, i64 16}
!20 = !{!19, !6, i64 0}
!21 = !{!19, !6, i64 16}


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

%struct.wasm_rt_funcref_t = type { ptr, ptr, ptr }

@w2c_hermes_t3 = external local_unnamed_addr constant ptr, align 8

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

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

declare void @w2c_hermes_dlfree(ptr noundef, i32 noundef) local_unnamed_addr #1

; 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 #2

; Function Attrs: inlinehint nounwind uwtable
declare hidden zeroext i1 @func_types_eq(ptr noundef, ptr noundef) local_unnamed_addr #0

declare i32 @w2c_hermes_hermes0x3A0x3Avm0x3A0x3AAlignedHeapSegment0x3A0x3A0x7EAlignedHeapSegment0x280x29(ptr noundef, i32 noundef) local_unnamed_addr #1

declare void @w2c_hermes_std0x3A0x3A_0x5F20x3A0x3A_0x5Fshared_weak_count0x3A0x3A_0x5Frelease_weak0x280x29(ptr noundef, i32 noundef) local_unnamed_addr #1

; Function Attrs: nounwind uwtable
define dso_local i32 @w2c_hermes_hermes0x3A0x3Avm0x3A0x3AHadesGC0x3A0x3A0x7EHadesGC0x280x29(ptr noundef %0, i32 noundef %1) local_unnamed_addr #3 {
  %3 = add i32 %1, 4420
  %4 = getelementptr inbounds i8, ptr %0, i64 40
  %5 = zext i32 %3 to i64
  %6 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %5)
  %.not = icmp eq i32 %6, 0
  br i1 %.not, label %38, label %7

7:                                                ; preds = %2
  %8 = zext i32 %6 to i64
  %9 = add nuw nsw i64 %8, 4
  %10 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %9)
  %11 = add i32 %10, -1
  tail call void @i32_store(ptr noundef nonnull %4, i64 noundef %9, i32 noundef %11)
  %.not920 = icmp eq i32 %10, 0
  br i1 %.not920, label %12, label %38

12:                                               ; preds = %7
  %13 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %8)
  %14 = zext i32 %13 to i64
  %15 = add nuw nsw i64 %14, 8
  %16 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %15)
  %17 = getelementptr inbounds i8, ptr %0, i64 80
  %18 = getelementptr inbounds i8, ptr %0, i64 92
  %19 = load i32, ptr %18, align 4, !tbaa !5
  %20 = icmp ult i32 %16, %19
  br i1 %20, label %21, label %.critedge, !prof !15

21:                                               ; preds = %12
  %22 = load ptr, ptr %17, align 8, !tbaa !16
  %23 = zext i32 %16 to i64
  %24 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %22, i64 %23
  %25 = getelementptr inbounds i8, ptr %24, i64 8
  %26 = load ptr, ptr %25, align 8, !tbaa !17
  %.not921 = icmp eq ptr %26, null
  br i1 %.not921, label %.critedge, label %27, !prof !19

27:                                               ; preds = %21
  %28 = load ptr, ptr @w2c_hermes_t3, align 8, !tbaa !20
  %29 = load ptr, ptr %24, align 8, !tbaa !21
  %30 = tail call zeroext i1 @func_types_eq(ptr noundef %28, ptr noundef %29)
  br i1 %30, label %31, label %.critedge, !prof !15

.critedge:                                        ; preds = %21, %12, %27
  tail call void @wasm_rt_trap(i32 noundef 6) #4
  unreachable

31:                                               ; preds = %27
  %32 = load ptr, ptr %17, align 8, !tbaa !16
  %33 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %32, i64 %23
  %34 = getelementptr inbounds i8, ptr %33, i64 8
  %35 = load ptr, ptr %34, align 8, !tbaa !17
  %36 = getelementptr inbounds i8, ptr %33, i64 16
  %37 = load ptr, ptr %36, align 8, !tbaa !22
  tail call void %35(ptr noundef %37, i32 noundef %6) #5
  tail call void @w2c_hermes_std0x3A0x3A_0x5F20x3A0x3A_0x5Fshared_weak_count0x3A0x3A_0x5Frelease_weak0x280x29(ptr noundef nonnull %0, i32 noundef %6) #5
  br label %38

38:                                               ; preds = %7, %2, %31
  %39 = add i32 %1, 4052
  tail call void @w2c_hermes_std0x3A0x3A_0x5F20x3A0x3Aunique_ptr0x3Chermes0x3A0x3Avm0x3A0x3AHadesGC0x3A0x3ACollectionStats0x2C0x20std0x3A0x3A_0x5F20x3A0x3Adefault_delete0x3Chermes0x3A0x3Avm0x3A0x3AHadesGC0x3A0x3ACollectionStats0x3E0x3E0x3A0x3Areset0x5Babi0x3Av150070x5D0x28hermes0x3A0x3Avm0x3A0x3AHadesGC0x3A0x3ACollectionStats0x2A0x29(ptr noundef %0, i32 noundef %39, i32 noundef 0) #5
  %40 = add i32 %1, 4048
  tail call void @w2c_hermes_std0x3A0x3A_0x5F20x3A0x3Aunique_ptr0x3Chermes0x3A0x3Avm0x3A0x3AHadesGC0x3A0x3ACollectionStats0x2C0x20std0x3A0x3A_0x5F20x3A0x3Adefault_delete0x3Chermes0x3A0x3Avm0x3A0x3AHadesGC0x3A0x3ACollectionStats0x3E0x3E0x3A0x3Areset0x5Babi0x3Av150070x5D0x28hermes0x3A0x3Avm0x3A0x3AHadesGC0x3A0x3ACollectionStats0x2A0x29(ptr noundef %0, i32 noundef %40, i32 noundef 0) #5
  %41 = add i32 %1, 4016
  %42 = zext i32 %41 to i64
  %43 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %42)
  %.not922 = icmp eq i32 %43, 0
  br i1 %.not922, label %76, label %44

44:                                               ; preds = %38
  %45 = zext i32 %43 to i64
  %46 = add nuw nsw i64 %45, 4
  %47 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %46)
  %48 = add i32 %47, -1
  tail call void @i32_store(ptr noundef nonnull %4, i64 noundef %46, i32 noundef %48)
  %49 = icmp eq i32 %47, 0
  br i1 %49, label %50, label %76

50:                                               ; preds = %44
  %51 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %45)
  %52 = zext i32 %51 to i64
  %53 = add nuw nsw i64 %52, 8
  %54 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %53)
  %55 = getelementptr inbounds i8, ptr %0, i64 80
  %56 = getelementptr inbounds i8, ptr %0, i64 92
  %57 = load i32, ptr %56, align 4, !tbaa !5
  %58 = icmp ult i32 %54, %57
  br i1 %58, label %59, label %.critedge948, !prof !15

59:                                               ; preds = %50
  %60 = load ptr, ptr %55, align 8, !tbaa !16
  %61 = zext i32 %54 to i64
  %62 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %60, i64 %61
  %63 = getelementptr inbounds i8, ptr %62, i64 8
  %64 = load ptr, ptr %63, align 8, !tbaa !17
  %.not923 = icmp eq ptr %64, null
  br i1 %.not923, label %.critedge948, label %65, !prof !19

65:                                               ; preds = %59
  %66 = load ptr, ptr @w2c_hermes_t3, align 8, !tbaa !20
  %67 = load ptr, ptr %62, align 8, !tbaa !21
  %68 = tail call zeroext i1 @func_types_eq(ptr noundef %66, ptr noundef %67)
  br i1 %68, label %69, label %.critedge948, !prof !15

.critedge948:                                     ; preds = %59, %50, %65
  tail call void @wasm_rt_trap(i32 noundef 6) #4
  unreachable

69:                                               ; preds = %65
  %70 = load ptr, ptr %55, align 8, !tbaa !16
  %71 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %70, i64 %61
  %72 = getelementptr inbounds i8, ptr %71, i64 8
  %73 = load ptr, ptr %72, align 8, !tbaa !17
  %74 = getelementptr inbounds i8, ptr %71, i64 16
  %75 = load ptr, ptr %74, align 8, !tbaa !22
  tail call void %73(ptr noundef %75, i32 noundef %43) #5
  br label %76

76:                                               ; preds = %44, %69, %38
  %77 = zext i32 %1 to i64
  %78 = add nuw nsw i64 %77, 4012
  %79 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %78)
  tail call void @i32_store(ptr noundef nonnull %4, i64 noundef %78, i32 noundef 0)
  %.not924 = icmp eq i32 %79, 0
  br i1 %.not924, label %199, label %80

80:                                               ; preds = %76
  %81 = zext i32 %79 to i64
  %82 = add nuw nsw i64 %81, 96
  tail call void @i32_store8(ptr noundef nonnull %4, i64 noundef %82, i32 noundef 1)
  %83 = add i32 %79, 100
  tail call void @w2c_hermes_std0x3A0x3A_0x5F20x3A0x3Athread0x3A0x3Ajoin0x280x29(ptr noundef %0, i32 noundef %83) #5
  tail call void @w2c_hermes_std0x3A0x3A_0x5F20x3A0x3Athread0x3A0x3A0x7Ethread0x280x29(ptr noundef %0, i32 noundef %83) #5
  %84 = add i32 %79, 72
  %85 = zext i32 %84 to i64
  %86 = add nuw nsw i64 %85, 8
  %87 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %86)
  %88 = add nuw nsw i64 %85, 4
  %89 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %88)
  %90 = icmp eq i32 %87, %89
  br i1 %90, label %162, label %91

91:                                               ; preds = %80
  %92 = add nuw nsw i64 %85, 16
  %93 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %92)
  %94 = udiv i32 %93, 170
  %95 = shl nuw nsw i32 %94, 2
  %96 = add i32 %95, %89
  %97 = zext i32 %96 to i64
  %98 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %97)
  %99 = add nuw nsw i64 %85, 20
  %100 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %99)
  %101 = add i32 %100, %93
  %.neg = mul i32 %94, -170
  %102 = add i32 %.neg, %93
  %103 = mul i32 %102, 24
  %104 = add i32 %103, %98
  %105 = udiv i32 %101, 170
  %106 = shl nuw nsw i32 %105, 2
  %107 = add i32 %106, %89
  %108 = zext i32 %107 to i64
  %109 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %108)
  %.neg925 = mul i32 %105, -170
  %110 = add i32 %.neg925, %101
  %111 = mul i32 %110, 24
  %112 = add i32 %111, %109
  %113 = icmp eq i32 %104, %112
  br i1 %113, label %162, label %.preheader966

.preheader966:                                    ; preds = %91
  %114 = getelementptr inbounds i8, ptr %0, i64 80
  %115 = getelementptr inbounds i8, ptr %0, i64 92
  %116 = load ptr, ptr @w2c_hermes_t3, align 8
  br label %117

117:                                              ; preds = %.preheader966, %158
  %.0876 = phi i32 [ %.1877, %158 ], [ %104, %.preheader966 ]
  %.0864 = phi i32 [ %.1865, %158 ], [ %96, %.preheader966 ]
  %118 = zext i32 %.0876 to i64
  %119 = add nuw nsw i64 %118, 16
  %120 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %119)
  %121 = icmp eq i32 %.0876, %120
  br i1 %121, label %125, label %122

122:                                              ; preds = %117
  %.not926 = icmp eq i32 %120, 0
  br i1 %.not926, label %148, label %123

123:                                              ; preds = %122
  %124 = zext i32 %120 to i64
  br label %125

125:                                              ; preds = %117, %123
  %.sink982 = phi i64 [ %124, %123 ], [ %118, %117 ]
  %.sink981 = phi i32 [ 20, %123 ], [ 16, %117 ]
  %.0 = phi i32 [ %120, %123 ], [ %.0876, %117 ]
  %126 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %.sink982)
  %127 = add i32 %126, %.sink981
  %128 = zext i32 %127 to i64
  %129 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %128)
  %130 = load i32, ptr %115, align 4, !tbaa !5
  %131 = icmp ult i32 %129, %130
  br i1 %131, label %132, label %.critedge950, !prof !15

132:                                              ; preds = %125
  %133 = load ptr, ptr %114, align 8, !tbaa !16
  %134 = zext i32 %129 to i64
  %135 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %133, i64 %134
  %136 = getelementptr inbounds i8, ptr %135, i64 8
  %137 = load ptr, ptr %136, align 8, !tbaa !17
  %.not927 = icmp eq ptr %137, null
  br i1 %.not927, label %.critedge950, label %138, !prof !19

138:                                              ; preds = %132
  %139 = load ptr, ptr %135, align 8, !tbaa !21
  %140 = tail call zeroext i1 @func_types_eq(ptr noundef %116, ptr noundef %139)
  br i1 %140, label %141, label %.critedge950, !prof !15

.critedge950:                                     ; preds = %132, %125, %138
  tail call void @wasm_rt_trap(i32 noundef 6) #4
  unreachable

141:                                              ; preds = %138
  %142 = load ptr, ptr %114, align 8, !tbaa !16
  %143 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %142, i64 %134
  %144 = getelementptr inbounds i8, ptr %143, i64 8
  %145 = load ptr, ptr %144, align 8, !tbaa !17
  %146 = getelementptr inbounds i8, ptr %143, i64 16
  %147 = load ptr, ptr %146, align 8, !tbaa !22
  tail call void %145(ptr noundef %147, i32 noundef %.0) #5
  br label %148

148:                                              ; preds = %122, %141
  %149 = add i32 %.0876, 24
  %150 = zext i32 %.0864 to i64
  %151 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %150)
  %152 = sub i32 %149, %151
  %153 = icmp eq i32 %152, 4080
  br i1 %153, label %154, label %158

154:                                              ; preds = %148
  %155 = add nuw nsw i64 %150, 4
  %156 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %155)
  %157 = add i32 %.0864, 4
  br label %158

158:                                              ; preds = %154, %148
  %.1877 = phi i32 [ %156, %154 ], [ %149, %148 ]
  %.1865 = phi i32 [ %157, %154 ], [ %.0864, %148 ]
  %.not928 = icmp eq i32 %.1877, %112
  br i1 %.not928, label %159, label %117

159:                                              ; preds = %158
  %160 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %88)
  %161 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %86)
  br label %162

162:                                              ; preds = %80, %91, %159
  %.0861 = phi i32 [ %87, %91 ], [ %161, %159 ], [ %87, %80 ]
  %.1 = phi i32 [ %89, %91 ], [ %160, %159 ], [ %87, %80 ]
  %.0872 = add i32 %79, 92
  %163 = zext i32 %.0872 to i64
  tail call void @i32_store(ptr noundef nonnull %4, i64 noundef %163, i32 noundef 0)
  %164 = sub i32 %.0861, %.1
  %165 = icmp ugt i32 %164, 8
  br i1 %165, label %.preheader964, label %.loopexit965

.preheader964:                                    ; preds = %162, %.preheader964
  %.2 = phi i32 [ %169, %.preheader964 ], [ %.1, %162 ]
  %166 = zext i32 %.2 to i64
  %167 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %166)
  tail call void @w2c_hermes_dlfree(ptr noundef %0, i32 noundef %167) #5
  %168 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %88)
  %169 = add i32 %168, 4
  tail call void @i32_store(ptr noundef nonnull %4, i64 noundef %88, i32 noundef %169)
  %170 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %86)
  %171 = sub i32 %170, %169
  %172 = icmp ugt i32 %171, 8
  br i1 %172, label %.preheader964, label %.loopexit965

.loopexit965:                                     ; preds = %.preheader964, %162
  %.2878 = phi i32 [ %164, %162 ], [ %171, %.preheader964 ]
  %173 = lshr i32 %.2878, 2
  switch i32 %173, label %177 [
    i32 1, label %175
    i32 2, label %174
  ]

174:                                              ; preds = %.loopexit965
  br label %175

175:                                              ; preds = %.loopexit965, %174
  %.3 = phi i32 [ 170, %174 ], [ 85, %.loopexit965 ]
  %176 = add nuw nsw i64 %85, 16
  tail call void @i32_store(ptr noundef nonnull %4, i64 noundef %176, i32 noundef %.3)
  br label %177

177:                                              ; preds = %.loopexit965, %175
  %178 = add nuw nsw i64 %81, 76
  %179 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %178)
  %180 = add nuw nsw i64 %81, 80
  %181 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %180)
  %182 = icmp eq i32 %179, %181
  br i1 %182, label %194, label %.preheader963

.preheader963:                                    ; preds = %177, %.preheader963
  %.4 = phi i32 [ %185, %.preheader963 ], [ %179, %177 ]
  %183 = zext i32 %.4 to i64
  %184 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %183)
  tail call void @w2c_hermes_dlfree(ptr noundef %0, i32 noundef %184) #5
  %185 = add i32 %.4, 4
  %.not929 = icmp eq i32 %185, %181
  br i1 %.not929, label %186, label %.preheader963

186:                                              ; preds = %.preheader963
  %187 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %180)
  %188 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %178)
  %189 = icmp eq i32 %187, %188
  br i1 %189, label %194, label %190

190:                                              ; preds = %186
  %reass.sub = sub i32 %188, %187
  %191 = add i32 %reass.sub, 3
  %192 = and i32 %191, -4
  %193 = add i32 %192, %187
  tail call void @i32_store(ptr noundef nonnull %4, i64 noundef %180, i32 noundef %193)
  br label %194

194:                                              ; preds = %186, %177, %190
  %195 = add nuw nsw i64 %81, 72
  %196 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %195)
  %.not930 = icmp eq i32 %196, 0
  br i1 %.not930, label %198, label %197

197:                                              ; preds = %194
  tail call void @w2c_hermes_dlfree(ptr noundef %0, i32 noundef %196) #5
  br label %198

198:                                              ; preds = %197, %194
  tail call void @w2c_hermes_dlfree(ptr noundef %0, i32 noundef %79) #5
  br label %199

199:                                              ; preds = %198, %76
  %200 = add nuw nsw i64 %77, 4008
  %201 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %200)
  tail call void @i32_store(ptr noundef nonnull %4, i64 noundef %200, i32 noundef 0)
  %.not931 = icmp eq i32 %201, 0
  br i1 %.not931, label %218, label %202

202:                                              ; preds = %199
  %203 = zext i32 %201 to i64
  %204 = add nuw nsw i64 %203, 572
  %205 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %204)
  tail call void @w2c_hermes_dlfree(ptr noundef %0, i32 noundef %205) #5
  %206 = add nuw nsw i64 %203, 560
  %207 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %206)
  tail call void @w2c_hermes_dlfree(ptr noundef %0, i32 noundef %207) #5
  %208 = add nuw nsw i64 %203, 548
  %209 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %208)
  %210 = add i32 %201, 560
  %.not932 = icmp eq i32 %209, %210
  br i1 %.not932, label %212, label %211

211:                                              ; preds = %202
  tail call void @w2c_hermes_dlfree(ptr noundef %0, i32 noundef %209) #5
  br label %212

212:                                              ; preds = %211, %202
  %213 = add nuw nsw i64 %203, 16
  %214 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %213)
  %.not933 = icmp eq i32 %214, 0
  br i1 %.not933, label %217, label %215

215:                                              ; preds = %212
  %216 = add nuw nsw i64 %203, 20
  tail call void @i32_store(ptr noundef nonnull %4, i64 noundef %216, i32 noundef %214)
  tail call void @w2c_hermes_dlfree(ptr noundef %0, i32 noundef %214) #5
  br label %217

217:                                              ; preds = %215, %212
  tail call void @w2c_hermes_dlfree(ptr noundef %0, i32 noundef %201) #5
  br label %218

218:                                              ; preds = %217, %199
  %219 = add i32 %1, 4000
  %220 = zext i32 %219 to i64
  %221 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %220)
  %.not934 = icmp eq i32 %221, 0
  br i1 %.not934, label %253, label %222

222:                                              ; preds = %218
  %223 = zext i32 %221 to i64
  %224 = add nuw nsw i64 %223, 4
  %225 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %224)
  %226 = add i32 %225, -1
  tail call void @i32_store(ptr noundef nonnull %4, i64 noundef %224, i32 noundef %226)
  %.not935 = icmp eq i32 %225, 0
  br i1 %.not935, label %227, label %253

227:                                              ; preds = %222
  %228 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %223)
  %229 = zext i32 %228 to i64
  %230 = add nuw nsw i64 %229, 8
  %231 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %230)
  %232 = getelementptr inbounds i8, ptr %0, i64 80
  %233 = getelementptr inbounds i8, ptr %0, i64 92
  %234 = load i32, ptr %233, align 4, !tbaa !5
  %235 = icmp ult i32 %231, %234
  br i1 %235, label %236, label %.critedge952, !prof !15

236:                                              ; preds = %227
  %237 = load ptr, ptr %232, align 8, !tbaa !16
  %238 = zext i32 %231 to i64
  %239 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %237, i64 %238
  %240 = getelementptr inbounds i8, ptr %239, i64 8
  %241 = load ptr, ptr %240, align 8, !tbaa !17
  %.not936 = icmp eq ptr %241, null
  br i1 %.not936, label %.critedge952, label %242, !prof !19

242:                                              ; preds = %236
  %243 = load ptr, ptr @w2c_hermes_t3, align 8, !tbaa !20
  %244 = load ptr, ptr %239, align 8, !tbaa !21
  %245 = tail call zeroext i1 @func_types_eq(ptr noundef %243, ptr noundef %244)
  br i1 %245, label %246, label %.critedge952, !prof !15

.critedge952:                                     ; preds = %236, %227, %242
  tail call void @wasm_rt_trap(i32 noundef 6) #4
  unreachable

246:                                              ; preds = %242
  %247 = load ptr, ptr %232, align 8, !tbaa !16
  %248 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %247, i64 %238
  %249 = getelementptr inbounds i8, ptr %248, i64 8
  %250 = load ptr, ptr %249, align 8, !tbaa !17
  %251 = getelementptr inbounds i8, ptr %248, i64 16
  %252 = load ptr, ptr %251, align 8, !tbaa !22
  tail call void %250(ptr noundef %252, i32 noundef %221) #5
  tail call void @w2c_hermes_std0x3A0x3A_0x5F20x3A0x3A_0x5Fshared_weak_count0x3A0x3A_0x5Frelease_weak0x280x29(ptr noundef nonnull %0, i32 noundef %221) #5
  br label %253

253:                                              ; preds = %222, %218, %246
  %254 = add nuw nsw i64 %77, 712
  tail call void @i32_store(ptr noundef nonnull %4, i64 noundef %254, i32 noundef 0)
  %255 = add nuw nsw i64 %77, 700
  %256 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %255)
  %257 = add nuw nsw i64 %77, 696
  %258 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %257)
  %259 = sub i32 %256, %258
  %260 = icmp ugt i32 %259, 8
  br i1 %260, label %.preheader961, label %.loopexit962

.preheader961:                                    ; preds = %253, %.preheader961
  %.5 = phi i32 [ %264, %.preheader961 ], [ %258, %253 ]
  %261 = zext i32 %.5 to i64
  %262 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %261)
  tail call void @w2c_hermes_dlfree(ptr noundef %0, i32 noundef %262) #5
  %263 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %257)
  %264 = add i32 %263, 4
  tail call void @i32_store(ptr noundef nonnull %4, i64 noundef %257, i32 noundef %264)
  %265 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %255)
  %266 = sub i32 %265, %264
  %267 = icmp ugt i32 %266, 8
  br i1 %267, label %.preheader961, label %.loopexit962

.loopexit962:                                     ; preds = %.preheader961, %253
  %.0873 = phi i32 [ %259, %253 ], [ %266, %.preheader961 ]
  %.1862 = phi i32 [ %256, %253 ], [ %265, %.preheader961 ]
  %.6 = phi i32 [ %258, %253 ], [ %264, %.preheader961 ]
  %268 = lshr i32 %.0873, 2
  switch i32 %268, label %272 [
    i32 1, label %270
    i32 2, label %269
  ]

269:                                              ; preds = %.loopexit962
  br label %270

270:                                              ; preds = %.loopexit962, %269
  %.3879 = phi i32 [ 16, %269 ], [ 8, %.loopexit962 ]
  %271 = add nuw nsw i64 %77, 708
  tail call void @i32_store(ptr noundef nonnull %4, i64 noundef %271, i32 noundef %.3879)
  br label %272

272:                                              ; preds = %.loopexit962, %270
  %273 = icmp eq i32 %.6, %.1862
  br i1 %273, label %285, label %.preheader960

.preheader960:                                    ; preds = %272, %.preheader960
  %.7 = phi i32 [ %276, %.preheader960 ], [ %.6, %272 ]
  %274 = zext i32 %.7 to i64
  %275 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %274)
  tail call void @w2c_hermes_dlfree(ptr noundef %0, i32 noundef %275) #5
  %276 = add i32 %.7, 4
  %.not937 = icmp eq i32 %276, %.1862
  br i1 %.not937, label %277, label %.preheader960

277:                                              ; preds = %.preheader960
  %278 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %255)
  %279 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %257)
  %280 = icmp eq i32 %278, %279
  br i1 %280, label %285, label %281

281:                                              ; preds = %277
  %reass.sub971 = sub i32 %279, %278
  %282 = add i32 %reass.sub971, 3
  %283 = and i32 %282, -4
  %284 = add i32 %283, %278
  tail call void @i32_store(ptr noundef nonnull %4, i64 noundef %255, i32 noundef %284)
  br label %285

285:                                              ; preds = %277, %272, %281
  %286 = add nuw nsw i64 %77, 692
  %287 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %286)
  %.not938 = icmp eq i32 %287, 0
  br i1 %.not938, label %289, label %288

288:                                              ; preds = %285
  tail call void @w2c_hermes_dlfree(ptr noundef %0, i32 noundef %287) #5
  br label %289

289:                                              ; preds = %288, %285
  %290 = add i32 %1, 596
  %291 = zext i32 %290 to i64
  %292 = add nuw nsw i64 %291, 8
  %293 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %292)
  %294 = add nuw nsw i64 %291, 4
  %295 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %294)
  %296 = icmp eq i32 %293, %295
  br i1 %296, label %334, label %297

297:                                              ; preds = %289
  %298 = add nuw nsw i64 %291, 16
  %299 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %298)
  %300 = lshr i32 %299, 6
  %301 = and i32 %300, 67108860
  %302 = add i32 %301, %295
  %303 = zext i32 %302 to i64
  %304 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %303)
  %305 = shl i32 %299, 4
  %306 = and i32 %305, 4080
  %307 = add i32 %306, %304
  %308 = add nuw nsw i64 %291, 20
  %309 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %308)
  %310 = add i32 %309, %299
  %311 = lshr i32 %310, 6
  %312 = and i32 %311, 67108860
  %313 = add i32 %312, %295
  %314 = zext i32 %313 to i64
  %315 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %314)
  %316 = shl i32 %310, 4
  %317 = and i32 %316, 4080
  %318 = add i32 %317, %315
  %319 = icmp eq i32 %307, %318
  br i1 %319, label %334, label %.preheader959

.preheader959:                                    ; preds = %297, %330
  %.2866 = phi i32 [ %.3867, %330 ], [ %307, %297 ]
  %.8 = phi i32 [ %.9, %330 ], [ %302, %297 ]
  %320 = tail call i32 @w2c_hermes_hermes0x3A0x3Avm0x3A0x3AAlignedHeapSegment0x3A0x3A0x7EAlignedHeapSegment0x280x29(ptr noundef %0, i32 noundef %.2866) #5
  %321 = add i32 %320, 16
  %322 = zext i32 %.8 to i64
  %323 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %322)
  %324 = sub i32 %321, %323
  %325 = icmp eq i32 %324, 4096
  br i1 %325, label %326, label %330

326:                                              ; preds = %.preheader959
  %327 = add nuw nsw i64 %322, 4
  %328 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %327)
  %329 = add i32 %.8, 4
  br label %330

330:                                              ; preds = %326, %.preheader959
  %.3867 = phi i32 [ %328, %326 ], [ %321, %.preheader959 ]
  %.9 = phi i32 [ %329, %326 ], [ %.8, %.preheader959 ]
  %.not939 = icmp eq i32 %318, %.3867
  br i1 %.not939, label %331, label %.preheader959

331:                                              ; preds = %330
  %332 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %294)
  %333 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %292)
  br label %334

334:                                              ; preds = %289, %297, %331
  %.0869 = phi i32 [ %295, %297 ], [ %332, %331 ], [ %293, %289 ]
  %.2863 = phi i32 [ %293, %297 ], [ %333, %331 ], [ %293, %289 ]
  %.1874 = add i32 %1, 616
  %335 = zext i32 %.1874 to i64
  tail call void @i32_store(ptr noundef nonnull %4, i64 noundef %335, i32 noundef 0)
  %336 = sub i32 %.2863, %.0869
  %337 = icmp ugt i32 %336, 8
  br i1 %337, label %.preheader958, label %.loopexit

.preheader958:                                    ; preds = %334, %.preheader958
  %.1870 = phi i32 [ %341, %.preheader958 ], [ %.0869, %334 ]
  %338 = zext i32 %.1870 to i64
  %339 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %338)
  tail call void @w2c_hermes_dlfree(ptr noundef %0, i32 noundef %339) #5
  %340 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %294)
  %341 = add i32 %340, 4
  tail call void @i32_store(ptr noundef nonnull %4, i64 noundef %294, i32 noundef %341)
  %342 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %292)
  %343 = sub i32 %342, %341
  %344 = icmp ugt i32 %343, 8
  br i1 %344, label %.preheader958, label %.loopexit

.loopexit:                                        ; preds = %.preheader958, %334
  %.4868 = phi i32 [ %336, %334 ], [ %343, %.preheader958 ]
  %345 = lshr i32 %.4868, 2
  switch i32 %345, label %349 [
    i32 1, label %347
    i32 2, label %346
  ]

346:                                              ; preds = %.loopexit
  br label %347

347:                                              ; preds = %.loopexit, %346
  %.2871 = phi i32 [ 256, %346 ], [ 128, %.loopexit ]
  %348 = add nuw nsw i64 %291, 16
  tail call void @i32_store(ptr noundef nonnull %4, i64 noundef %348, i32 noundef %.2871)
  br label %349

349:                                              ; preds = %.loopexit, %347
  %350 = add nuw nsw i64 %77, 600
  %351 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %350)
  %352 = add nuw nsw i64 %77, 604
  %353 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %352)
  %354 = icmp eq i32 %351, %353
  br i1 %354, label %366, label %.preheader

.preheader:                                       ; preds = %349, %.preheader
  %.2875 = phi i32 [ %357, %.preheader ], [ %351, %349 ]
  %355 = zext i32 %.2875 to i64
  %356 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %355)
  tail call void @w2c_hermes_dlfree(ptr noundef %0, i32 noundef %356) #5
  %357 = add i32 %.2875, 4
  %.not940 = icmp eq i32 %357, %353
  br i1 %.not940, label %358, label %.preheader

358:                                              ; preds = %.preheader
  %359 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %352)
  %360 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %350)
  %361 = icmp eq i32 %359, %360
  br i1 %361, label %366, label %362

362:                                              ; preds = %358
  %reass.sub972 = sub i32 %360, %359
  %363 = add i32 %reass.sub972, 3
  %364 = and i32 %363, -4
  %365 = add i32 %364, %359
  tail call void @i32_store(ptr noundef nonnull %4, i64 noundef %352, i32 noundef %365)
  br label %366

366:                                              ; preds = %358, %349, %362
  %367 = add nuw nsw i64 %77, 596
  %368 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %367)
  %.not941 = icmp eq i32 %368, 0
  br i1 %.not941, label %370, label %369

369:                                              ; preds = %366
  tail call void @w2c_hermes_dlfree(ptr noundef %0, i32 noundef %368) #5
  br label %370

370:                                              ; preds = %369, %366
  %371 = add nuw nsw i64 %77, 568
  %372 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %371)
  %.not942 = icmp eq i32 %372, 0
  br i1 %.not942, label %375, label %373

373:                                              ; preds = %370
  %374 = add nuw nsw i64 %77, 572
  tail call void @i32_store(ptr noundef nonnull %4, i64 noundef %374, i32 noundef %372)
  tail call void @w2c_hermes_dlfree(ptr noundef %0, i32 noundef %372) #5
  br label %375

375:                                              ; preds = %373, %370
  %376 = add i32 %1, 548
  %377 = tail call i32 @w2c_hermes_hermes0x3A0x3Avm0x3A0x3AAlignedHeapSegment0x3A0x3A0x7EAlignedHeapSegment0x280x29(ptr noundef %0, i32 noundef %376) #5
  %378 = add nuw nsw i64 %77, 544
  %379 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %378)
  %.not943 = icmp eq i32 %379, 0
  br i1 %.not943, label %411, label %380

380:                                              ; preds = %375
  %381 = zext i32 %379 to i64
  %382 = add nuw nsw i64 %381, 4
  %383 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %382)
  %384 = add i32 %383, -1
  tail call void @i32_store(ptr noundef nonnull %4, i64 noundef %382, i32 noundef %384)
  %.not944 = icmp eq i32 %383, 0
  br i1 %.not944, label %385, label %411

385:                                              ; preds = %380
  %386 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %381)
  %387 = zext i32 %386 to i64
  %388 = add nuw nsw i64 %387, 8
  %389 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %388)
  %390 = getelementptr inbounds i8, ptr %0, i64 80
  %391 = getelementptr inbounds i8, ptr %0, i64 92
  %392 = load i32, ptr %391, align 4, !tbaa !5
  %393 = icmp ult i32 %389, %392
  br i1 %393, label %394, label %.critedge954, !prof !15

394:                                              ; preds = %385
  %395 = load ptr, ptr %390, align 8, !tbaa !16
  %396 = zext i32 %389 to i64
  %397 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %395, i64 %396
  %398 = getelementptr inbounds i8, ptr %397, i64 8
  %399 = load ptr, ptr %398, align 8, !tbaa !17
  %.not945 = icmp eq ptr %399, null
  br i1 %.not945, label %.critedge954, label %400, !prof !19

400:                                              ; preds = %394
  %401 = load ptr, ptr @w2c_hermes_t3, align 8, !tbaa !20
  %402 = load ptr, ptr %397, align 8, !tbaa !21
  %403 = tail call zeroext i1 @func_types_eq(ptr noundef %401, ptr noundef %402)
  br i1 %403, label %404, label %.critedge954, !prof !15

.critedge954:                                     ; preds = %394, %385, %400
  tail call void @wasm_rt_trap(i32 noundef 6) #4
  unreachable

404:                                              ; preds = %400
  %405 = load ptr, ptr %390, align 8, !tbaa !16
  %406 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %405, i64 %396
  %407 = getelementptr inbounds i8, ptr %406, i64 8
  %408 = load ptr, ptr %407, align 8, !tbaa !17
  %409 = getelementptr inbounds i8, ptr %406, i64 16
  %410 = load ptr, ptr %409, align 8, !tbaa !22
  tail call void %408(ptr noundef %410, i32 noundef %379) #5
  tail call void @w2c_hermes_std0x3A0x3A_0x5F20x3A0x3A_0x5Fshared_weak_count0x3A0x3A_0x5Frelease_weak0x280x29(ptr noundef nonnull %0, i32 noundef %379) #5
  br label %411

411:                                              ; preds = %380, %375, %404
  %412 = add nuw nsw i64 %77, 528
  %413 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %412)
  %.not946 = icmp eq i32 %413, 0
  br i1 %.not946, label %416, label %414

414:                                              ; preds = %411
  %415 = add nuw nsw i64 %77, 532
  tail call void @i32_store(ptr noundef nonnull %4, i64 noundef %415, i32 noundef %413)
  tail call void @w2c_hermes_dlfree(ptr noundef %0, i32 noundef %413) #5
  br label %416

416:                                              ; preds = %414, %411
  %417 = tail call i32 @w2c_hermes_hermes0x3A0x3Avm0x3A0x3AGCBase0x3A0x3A0x7EGCBase0x280x290x2E1(ptr noundef %0, i32 noundef %1)
  ret i32 %417
}

declare void @w2c_hermes_std0x3A0x3A_0x5F20x3A0x3Aunique_ptr0x3Chermes0x3A0x3Avm0x3A0x3AHadesGC0x3A0x3ACollectionStats0x2C0x20std0x3A0x3A_0x5F20x3A0x3Adefault_delete0x3Chermes0x3A0x3Avm0x3A0x3AHadesGC0x3A0x3ACollectionStats0x3E0x3E0x3A0x3Areset0x5Babi0x3Av150070x5D0x28hermes0x3A0x3Avm0x3A0x3AHadesGC0x3A0x3ACollectionStats0x2A0x29(ptr noundef, i32 noundef, i32 noundef) local_unnamed_addr #1

declare void @w2c_hermes_std0x3A0x3A_0x5F20x3A0x3Athread0x3A0x3Ajoin0x280x29(ptr noundef, i32 noundef) local_unnamed_addr #1

declare void @w2c_hermes_std0x3A0x3A_0x5F20x3A0x3Athread0x3A0x3A0x7Ethread0x280x29(ptr noundef, i32 noundef) local_unnamed_addr #1

; Function Attrs: nounwind uwtable
declare dso_local i32 @w2c_hermes_hermes0x3A0x3Avm0x3A0x3AGCBase0x3A0x3A0x7EGCBase0x280x290x2E1(ptr noundef, i32 noundef) local_unnamed_addr #3

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 = { "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 = { 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 = { noreturn nounwind }
attributes #5 = { 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 92}
!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}
!15 = !{!"branch_weights", !"expected", i32 2000, i32 1}
!16 = !{!6, !7, i64 80}
!17 = !{!18, !7, i64 8}
!18 = !{!"", !7, i64 0, !7, i64 8, !7, i64 16}
!19 = !{!"branch_weights", !"expected", i32 1, i32 2000}
!20 = !{!7, !7, i64 0}
!21 = !{!18, !7, i64 0}
!22 = !{!18, !7, i64 16}


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