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

; 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_t2 = 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 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) #2

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

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

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

; Function Attrs: nounwind uwtable
define dso_local void @w2c_hermes_void0x20hermes0x3A0x3AManagedChunkedList0x3Chermes0x3A0x3Avm0x3A0x3AWeakMapEntrySlot0x2C0x2016ul0x3E0x3A0x3AforEach0x3Cvoid0x20hermes0x3A0x3Avm0x3A0x3AHadesGC0x3A0x3AyoungGenEvacuateImpl0x3Chermes0x3A0x3Avm0x3A0x3AHadesGC0x3A0x3AEvacAcceptor0x3Ctrue0x3E0x3E0x28hermes0x3A0x3Avm0x3A0x3AHadesGC0x3A0x3AEvacAcceptor0x3Ctrue0x3E0x260x2C0x20bool0x290x3A0x3A0x27lambda0x270x28hermes0x3A0x3Avm0x3A0x3AWeakMapEntrySlot0x260x290x3E0x28hermes0x3A0x3Avm0x3A0x3AHadesGC0x3A0x3AEvacAcceptor0x3Ctrue0x3E0x290x20const(ptr noundef %0, i32 noundef %1, i32 noundef %2) #4 {
  %4 = alloca ptr, align 8
  %5 = alloca i32, align 4
  %6 = alloca i32, align 4
  %7 = alloca i32, align 4
  %8 = alloca i32, align 4
  %9 = alloca i32, align 4
  %10 = alloca i32, align 4
  store ptr %0, ptr %4, align 8, !tbaa !5
  store i32 %1, ptr %5, align 4, !tbaa !9
  store i32 %2, ptr %6, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %7) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %8) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %9) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %10) #5
  %11 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %11, ptr %7, align 4, !tbaa !9
  %12 = load ptr, ptr %4, align 8, !tbaa !5
  %13 = getelementptr inbounds %struct.w2c_hermes, ptr %12, i32 0, i32 6
  %14 = load i32, ptr %7, align 4, !tbaa !9
  %15 = zext i32 %14 to i64
  %16 = call i32 @i32_load(ptr noundef %13, i64 noundef %15)
  store i32 %16, ptr %7, align 4, !tbaa !9
  %17 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %17, ptr %5, align 4, !tbaa !9
  %18 = load i32, ptr %7, align 4, !tbaa !9
  %19 = icmp ne i32 %18, 0
  br i1 %19, label %20, label %1601

20:                                               ; preds = %3
  br label %21

21:                                               ; preds = %1599, %20
  %22 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %22, ptr %7, align 4, !tbaa !9
  %23 = load ptr, ptr %4, align 8, !tbaa !5
  %24 = getelementptr inbounds %struct.w2c_hermes, ptr %23, i32 0, i32 6
  %25 = load i32, ptr %7, align 4, !tbaa !9
  %26 = zext i32 %25 to i64
  %27 = add i64 %26, 8
  %28 = call i32 @i32_load8_u(ptr noundef %24, i64 noundef %27)
  store i32 %28, ptr %7, align 4, !tbaa !9
  store i32 1, ptr %8, align 4, !tbaa !9
  %29 = load i32, ptr %8, align 4, !tbaa !9
  %30 = load i32, ptr %7, align 4, !tbaa !9
  %31 = and i32 %30, %29
  store i32 %31, ptr %7, align 4, !tbaa !9
  %32 = load i32, ptr %7, align 4, !tbaa !9
  %33 = icmp ne i32 %32, 0
  %34 = xor i1 %33, true
  %35 = zext i1 %34 to i32
  store i32 %35, ptr %7, align 4, !tbaa !9
  %36 = load i32, ptr %7, align 4, !tbaa !9
  %37 = icmp ne i32 %36, 0
  br i1 %37, label %38, label %119

38:                                               ; preds = %21
  %39 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %39, ptr %7, align 4, !tbaa !9
  %40 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %40, ptr %8, align 4, !tbaa !9
  store i32 24, ptr %9, align 4, !tbaa !9
  %41 = load i32, ptr %9, align 4, !tbaa !9
  %42 = load i32, ptr %8, align 4, !tbaa !9
  %43 = add i32 %42, %41
  store i32 %43, ptr %8, align 4, !tbaa !9
  store i32 0, ptr %9, align 4, !tbaa !9
  %44 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %44, ptr %10, align 4, !tbaa !9
  %45 = load ptr, ptr %4, align 8, !tbaa !5
  %46 = getelementptr inbounds %struct.w2c_hermes, ptr %45, i32 0, i32 6
  %47 = load i32, ptr %10, align 4, !tbaa !9
  %48 = zext i32 %47 to i64
  %49 = call i32 @i32_load(ptr noundef %46, i64 noundef %48)
  store i32 %49, ptr %10, align 4, !tbaa !9
  %50 = load ptr, ptr %4, align 8, !tbaa !5
  %51 = getelementptr inbounds %struct.w2c_hermes, ptr %50, i32 0, i32 6
  %52 = load i32, ptr %10, align 4, !tbaa !9
  %53 = zext i32 %52 to i64
  %54 = add i64 %53, 36
  %55 = call i32 @i32_load(ptr noundef %51, i64 noundef %54)
  store i32 %55, ptr %10, align 4, !tbaa !9
  %56 = load i32, ptr %10, align 4, !tbaa !9
  %57 = load ptr, ptr %4, align 8, !tbaa !5
  %58 = getelementptr inbounds %struct.w2c_hermes, ptr %57, i32 0, i32 7
  %59 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %58, i32 0, i32 2
  %60 = load i32, ptr %59, align 4, !tbaa !11
  %61 = icmp ult i32 %56, %60
  br i1 %61, label %62, label %85

62:                                               ; preds = %38
  %63 = load ptr, ptr %4, align 8, !tbaa !5
  %64 = getelementptr inbounds %struct.w2c_hermes, ptr %63, i32 0, i32 7
  %65 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %64, i32 0, i32 0
  %66 = load ptr, ptr %65, align 8, !tbaa !17
  %67 = load i32, ptr %10, align 4, !tbaa !9
  %68 = zext i32 %67 to i64
  %69 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %66, i64 %68
  %70 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %69, i32 0, i32 1
  %71 = load ptr, ptr %70, align 8, !tbaa !18
  %72 = icmp ne ptr %71, null
  br i1 %72, label %73, label %85

73:                                               ; preds = %62
  %74 = load ptr, ptr @w2c_hermes_t2, align 8, !tbaa !5
  %75 = load ptr, ptr %4, align 8, !tbaa !5
  %76 = getelementptr inbounds %struct.w2c_hermes, ptr %75, i32 0, i32 7
  %77 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %76, i32 0, i32 0
  %78 = load ptr, ptr %77, align 8, !tbaa !17
  %79 = load i32, ptr %10, align 4, !tbaa !9
  %80 = zext i32 %79 to i64
  %81 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %78, i64 %80
  %82 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %81, i32 0, i32 0
  %83 = load ptr, ptr %82, align 8, !tbaa !20
  %84 = call zeroext i1 @func_types_eq(ptr noundef %74, ptr noundef %83)
  br label %85

85:                                               ; preds = %73, %62, %38
  %86 = phi i1 [ false, %62 ], [ false, %38 ], [ %84, %73 ]
  %87 = xor i1 %86, true
  %88 = xor i1 %87, true
  %89 = zext i1 %88 to i32
  %90 = sext i32 %89 to i64
  %91 = call i64 @llvm.expect.i64(i64 %90, i64 1)
  %92 = icmp ne i64 %91, 0
  br i1 %92, label %95, label %93

93:                                               ; preds = %85
  call void @wasm_rt_trap(i32 noundef 6) #6
  unreachable

94:                                               ; No predecessors!
  br label %95

95:                                               ; preds = %94, %85
  %96 = phi i1 [ true, %85 ], [ false, %94 ]
  %97 = zext i1 %96 to i32
  %98 = load ptr, ptr %4, align 8, !tbaa !5
  %99 = getelementptr inbounds %struct.w2c_hermes, ptr %98, i32 0, i32 7
  %100 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %99, i32 0, i32 0
  %101 = load ptr, ptr %100, align 8, !tbaa !17
  %102 = load i32, ptr %10, align 4, !tbaa !9
  %103 = zext i32 %102 to i64
  %104 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %101, i64 %103
  %105 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %104, i32 0, i32 1
  %106 = load ptr, ptr %105, align 8, !tbaa !18
  %107 = load ptr, ptr %4, align 8, !tbaa !5
  %108 = getelementptr inbounds %struct.w2c_hermes, ptr %107, i32 0, i32 7
  %109 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %108, i32 0, i32 0
  %110 = load ptr, ptr %109, align 8, !tbaa !17
  %111 = load i32, ptr %10, align 4, !tbaa !9
  %112 = zext i32 %111 to i64
  %113 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %110, i64 %112
  %114 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %113, i32 0, i32 2
  %115 = load ptr, ptr %114, align 8, !tbaa !21
  %116 = load i32, ptr %7, align 4, !tbaa !9
  %117 = load i32, ptr %8, align 4, !tbaa !9
  %118 = load i32, ptr %9, align 4, !tbaa !9
  call void %106(ptr noundef %115, i32 noundef %116, i32 noundef %117, i32 noundef %118)
  br label %119

119:                                              ; preds = %95, %21
  %120 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %120, ptr %7, align 4, !tbaa !9
  %121 = load ptr, ptr %4, align 8, !tbaa !5
  %122 = getelementptr inbounds %struct.w2c_hermes, ptr %121, i32 0, i32 6
  %123 = load i32, ptr %7, align 4, !tbaa !9
  %124 = zext i32 %123 to i64
  %125 = add i64 %124, 32
  %126 = call i32 @i32_load8_u(ptr noundef %122, i64 noundef %125)
  store i32 %126, ptr %7, align 4, !tbaa !9
  store i32 1, ptr %8, align 4, !tbaa !9
  %127 = load i32, ptr %8, align 4, !tbaa !9
  %128 = load i32, ptr %7, align 4, !tbaa !9
  %129 = and i32 %128, %127
  store i32 %129, ptr %7, align 4, !tbaa !9
  %130 = load i32, ptr %7, align 4, !tbaa !9
  %131 = icmp ne i32 %130, 0
  %132 = xor i1 %131, true
  %133 = zext i1 %132 to i32
  store i32 %133, ptr %7, align 4, !tbaa !9
  %134 = load i32, ptr %7, align 4, !tbaa !9
  %135 = icmp ne i32 %134, 0
  br i1 %135, label %136, label %217

136:                                              ; preds = %119
  %137 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %137, ptr %7, align 4, !tbaa !9
  %138 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %138, ptr %8, align 4, !tbaa !9
  store i32 48, ptr %9, align 4, !tbaa !9
  %139 = load i32, ptr %9, align 4, !tbaa !9
  %140 = load i32, ptr %8, align 4, !tbaa !9
  %141 = add i32 %140, %139
  store i32 %141, ptr %8, align 4, !tbaa !9
  store i32 0, ptr %9, align 4, !tbaa !9
  %142 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %142, ptr %10, align 4, !tbaa !9
  %143 = load ptr, ptr %4, align 8, !tbaa !5
  %144 = getelementptr inbounds %struct.w2c_hermes, ptr %143, i32 0, i32 6
  %145 = load i32, ptr %10, align 4, !tbaa !9
  %146 = zext i32 %145 to i64
  %147 = call i32 @i32_load(ptr noundef %144, i64 noundef %146)
  store i32 %147, ptr %10, align 4, !tbaa !9
  %148 = load ptr, ptr %4, align 8, !tbaa !5
  %149 = getelementptr inbounds %struct.w2c_hermes, ptr %148, i32 0, i32 6
  %150 = load i32, ptr %10, align 4, !tbaa !9
  %151 = zext i32 %150 to i64
  %152 = add i64 %151, 36
  %153 = call i32 @i32_load(ptr noundef %149, i64 noundef %152)
  store i32 %153, ptr %10, align 4, !tbaa !9
  %154 = load i32, ptr %10, align 4, !tbaa !9
  %155 = load ptr, ptr %4, align 8, !tbaa !5
  %156 = getelementptr inbounds %struct.w2c_hermes, ptr %155, i32 0, i32 7
  %157 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %156, i32 0, i32 2
  %158 = load i32, ptr %157, align 4, !tbaa !11
  %159 = icmp ult i32 %154, %158
  br i1 %159, label %160, label %183

160:                                              ; preds = %136
  %161 = load ptr, ptr %4, align 8, !tbaa !5
  %162 = getelementptr inbounds %struct.w2c_hermes, ptr %161, i32 0, i32 7
  %163 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %162, i32 0, i32 0
  %164 = load ptr, ptr %163, align 8, !tbaa !17
  %165 = load i32, ptr %10, align 4, !tbaa !9
  %166 = zext i32 %165 to i64
  %167 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %164, i64 %166
  %168 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %167, i32 0, i32 1
  %169 = load ptr, ptr %168, align 8, !tbaa !18
  %170 = icmp ne ptr %169, null
  br i1 %170, label %171, label %183

171:                                              ; preds = %160
  %172 = load ptr, ptr @w2c_hermes_t2, align 8, !tbaa !5
  %173 = load ptr, ptr %4, align 8, !tbaa !5
  %174 = getelementptr inbounds %struct.w2c_hermes, ptr %173, i32 0, i32 7
  %175 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %174, i32 0, i32 0
  %176 = load ptr, ptr %175, align 8, !tbaa !17
  %177 = load i32, ptr %10, align 4, !tbaa !9
  %178 = zext i32 %177 to i64
  %179 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %176, i64 %178
  %180 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %179, i32 0, i32 0
  %181 = load ptr, ptr %180, align 8, !tbaa !20
  %182 = call zeroext i1 @func_types_eq(ptr noundef %172, ptr noundef %181)
  br label %183

183:                                              ; preds = %171, %160, %136
  %184 = phi i1 [ false, %160 ], [ false, %136 ], [ %182, %171 ]
  %185 = xor i1 %184, true
  %186 = xor i1 %185, true
  %187 = zext i1 %186 to i32
  %188 = sext i32 %187 to i64
  %189 = call i64 @llvm.expect.i64(i64 %188, i64 1)
  %190 = icmp ne i64 %189, 0
  br i1 %190, label %193, label %191

191:                                              ; preds = %183
  call void @wasm_rt_trap(i32 noundef 6) #6
  unreachable

192:                                              ; No predecessors!
  br label %193

193:                                              ; preds = %192, %183
  %194 = phi i1 [ true, %183 ], [ false, %192 ]
  %195 = zext i1 %194 to i32
  %196 = load ptr, ptr %4, align 8, !tbaa !5
  %197 = getelementptr inbounds %struct.w2c_hermes, ptr %196, i32 0, i32 7
  %198 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %197, i32 0, i32 0
  %199 = load ptr, ptr %198, align 8, !tbaa !17
  %200 = load i32, ptr %10, align 4, !tbaa !9
  %201 = zext i32 %200 to i64
  %202 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %199, i64 %201
  %203 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %202, i32 0, i32 1
  %204 = load ptr, ptr %203, align 8, !tbaa !18
  %205 = load ptr, ptr %4, 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 0
  %208 = load ptr, ptr %207, align 8, !tbaa !17
  %209 = load i32, ptr %10, align 4, !tbaa !9
  %210 = zext i32 %209 to i64
  %211 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %208, i64 %210
  %212 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %211, i32 0, i32 2
  %213 = load ptr, ptr %212, align 8, !tbaa !21
  %214 = load i32, ptr %7, align 4, !tbaa !9
  %215 = load i32, ptr %8, align 4, !tbaa !9
  %216 = load i32, ptr %9, align 4, !tbaa !9
  call void %204(ptr noundef %213, i32 noundef %214, i32 noundef %215, i32 noundef %216)
  br label %217

217:                                              ; preds = %193, %119
  %218 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %218, ptr %7, align 4, !tbaa !9
  %219 = load ptr, ptr %4, align 8, !tbaa !5
  %220 = getelementptr inbounds %struct.w2c_hermes, ptr %219, i32 0, i32 6
  %221 = load i32, ptr %7, align 4, !tbaa !9
  %222 = zext i32 %221 to i64
  %223 = add i64 %222, 56
  %224 = call i32 @i32_load8_u(ptr noundef %220, i64 noundef %223)
  store i32 %224, ptr %7, align 4, !tbaa !9
  store i32 1, ptr %8, align 4, !tbaa !9
  %225 = load i32, ptr %8, align 4, !tbaa !9
  %226 = load i32, ptr %7, align 4, !tbaa !9
  %227 = and i32 %226, %225
  store i32 %227, ptr %7, align 4, !tbaa !9
  %228 = load i32, ptr %7, align 4, !tbaa !9
  %229 = icmp ne i32 %228, 0
  %230 = xor i1 %229, true
  %231 = zext i1 %230 to i32
  store i32 %231, ptr %7, align 4, !tbaa !9
  %232 = load i32, ptr %7, align 4, !tbaa !9
  %233 = icmp ne i32 %232, 0
  br i1 %233, label %234, label %315

234:                                              ; preds = %217
  %235 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %235, ptr %7, align 4, !tbaa !9
  %236 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %236, ptr %8, align 4, !tbaa !9
  store i32 72, ptr %9, align 4, !tbaa !9
  %237 = load i32, ptr %9, align 4, !tbaa !9
  %238 = load i32, ptr %8, align 4, !tbaa !9
  %239 = add i32 %238, %237
  store i32 %239, ptr %8, align 4, !tbaa !9
  store i32 0, ptr %9, align 4, !tbaa !9
  %240 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %240, ptr %10, align 4, !tbaa !9
  %241 = load ptr, ptr %4, align 8, !tbaa !5
  %242 = getelementptr inbounds %struct.w2c_hermes, ptr %241, i32 0, i32 6
  %243 = load i32, ptr %10, align 4, !tbaa !9
  %244 = zext i32 %243 to i64
  %245 = call i32 @i32_load(ptr noundef %242, i64 noundef %244)
  store i32 %245, ptr %10, align 4, !tbaa !9
  %246 = load ptr, ptr %4, align 8, !tbaa !5
  %247 = getelementptr inbounds %struct.w2c_hermes, ptr %246, i32 0, i32 6
  %248 = load i32, ptr %10, align 4, !tbaa !9
  %249 = zext i32 %248 to i64
  %250 = add i64 %249, 36
  %251 = call i32 @i32_load(ptr noundef %247, i64 noundef %250)
  store i32 %251, ptr %10, align 4, !tbaa !9
  %252 = load i32, ptr %10, align 4, !tbaa !9
  %253 = load ptr, ptr %4, align 8, !tbaa !5
  %254 = getelementptr inbounds %struct.w2c_hermes, ptr %253, i32 0, i32 7
  %255 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %254, i32 0, i32 2
  %256 = load i32, ptr %255, align 4, !tbaa !11
  %257 = icmp ult i32 %252, %256
  br i1 %257, label %258, label %281

258:                                              ; preds = %234
  %259 = load ptr, ptr %4, align 8, !tbaa !5
  %260 = getelementptr inbounds %struct.w2c_hermes, ptr %259, i32 0, i32 7
  %261 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %260, i32 0, i32 0
  %262 = load ptr, ptr %261, align 8, !tbaa !17
  %263 = load i32, ptr %10, align 4, !tbaa !9
  %264 = zext i32 %263 to i64
  %265 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %262, i64 %264
  %266 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %265, i32 0, i32 1
  %267 = load ptr, ptr %266, align 8, !tbaa !18
  %268 = icmp ne ptr %267, null
  br i1 %268, label %269, label %281

269:                                              ; preds = %258
  %270 = load ptr, ptr @w2c_hermes_t2, align 8, !tbaa !5
  %271 = load ptr, ptr %4, align 8, !tbaa !5
  %272 = getelementptr inbounds %struct.w2c_hermes, ptr %271, i32 0, i32 7
  %273 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %272, i32 0, i32 0
  %274 = load ptr, ptr %273, align 8, !tbaa !17
  %275 = load i32, ptr %10, align 4, !tbaa !9
  %276 = zext i32 %275 to i64
  %277 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %274, i64 %276
  %278 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %277, i32 0, i32 0
  %279 = load ptr, ptr %278, align 8, !tbaa !20
  %280 = call zeroext i1 @func_types_eq(ptr noundef %270, ptr noundef %279)
  br label %281

281:                                              ; preds = %269, %258, %234
  %282 = phi i1 [ false, %258 ], [ false, %234 ], [ %280, %269 ]
  %283 = xor i1 %282, true
  %284 = xor i1 %283, true
  %285 = zext i1 %284 to i32
  %286 = sext i32 %285 to i64
  %287 = call i64 @llvm.expect.i64(i64 %286, i64 1)
  %288 = icmp ne i64 %287, 0
  br i1 %288, label %291, label %289

289:                                              ; preds = %281
  call void @wasm_rt_trap(i32 noundef 6) #6
  unreachable

290:                                              ; No predecessors!
  br label %291

291:                                              ; preds = %290, %281
  %292 = phi i1 [ true, %281 ], [ false, %290 ]
  %293 = zext i1 %292 to i32
  %294 = load ptr, ptr %4, align 8, !tbaa !5
  %295 = getelementptr inbounds %struct.w2c_hermes, ptr %294, i32 0, i32 7
  %296 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %295, i32 0, i32 0
  %297 = load ptr, ptr %296, align 8, !tbaa !17
  %298 = load i32, ptr %10, align 4, !tbaa !9
  %299 = zext i32 %298 to i64
  %300 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %297, i64 %299
  %301 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %300, i32 0, i32 1
  %302 = load ptr, ptr %301, align 8, !tbaa !18
  %303 = load ptr, ptr %4, align 8, !tbaa !5
  %304 = getelementptr inbounds %struct.w2c_hermes, ptr %303, i32 0, i32 7
  %305 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %304, i32 0, i32 0
  %306 = load ptr, ptr %305, align 8, !tbaa !17
  %307 = load i32, ptr %10, align 4, !tbaa !9
  %308 = zext i32 %307 to i64
  %309 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %306, i64 %308
  %310 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %309, i32 0, i32 2
  %311 = load ptr, ptr %310, align 8, !tbaa !21
  %312 = load i32, ptr %7, align 4, !tbaa !9
  %313 = load i32, ptr %8, align 4, !tbaa !9
  %314 = load i32, ptr %9, align 4, !tbaa !9
  call void %302(ptr noundef %311, i32 noundef %312, i32 noundef %313, i32 noundef %314)
  br label %315

315:                                              ; preds = %291, %217
  %316 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %316, ptr %7, align 4, !tbaa !9
  %317 = load ptr, ptr %4, align 8, !tbaa !5
  %318 = getelementptr inbounds %struct.w2c_hermes, ptr %317, i32 0, i32 6
  %319 = load i32, ptr %7, align 4, !tbaa !9
  %320 = zext i32 %319 to i64
  %321 = add i64 %320, 80
  %322 = call i32 @i32_load8_u(ptr noundef %318, i64 noundef %321)
  store i32 %322, ptr %7, align 4, !tbaa !9
  store i32 1, ptr %8, align 4, !tbaa !9
  %323 = load i32, ptr %8, align 4, !tbaa !9
  %324 = load i32, ptr %7, align 4, !tbaa !9
  %325 = and i32 %324, %323
  store i32 %325, ptr %7, align 4, !tbaa !9
  %326 = load i32, ptr %7, align 4, !tbaa !9
  %327 = icmp ne i32 %326, 0
  %328 = xor i1 %327, true
  %329 = zext i1 %328 to i32
  store i32 %329, ptr %7, align 4, !tbaa !9
  %330 = load i32, ptr %7, align 4, !tbaa !9
  %331 = icmp ne i32 %330, 0
  br i1 %331, label %332, label %413

332:                                              ; preds = %315
  %333 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %333, ptr %7, align 4, !tbaa !9
  %334 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %334, ptr %8, align 4, !tbaa !9
  store i32 96, ptr %9, align 4, !tbaa !9
  %335 = load i32, ptr %9, align 4, !tbaa !9
  %336 = load i32, ptr %8, align 4, !tbaa !9
  %337 = add i32 %336, %335
  store i32 %337, ptr %8, align 4, !tbaa !9
  store i32 0, ptr %9, align 4, !tbaa !9
  %338 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %338, ptr %10, align 4, !tbaa !9
  %339 = load ptr, ptr %4, align 8, !tbaa !5
  %340 = getelementptr inbounds %struct.w2c_hermes, ptr %339, i32 0, i32 6
  %341 = load i32, ptr %10, align 4, !tbaa !9
  %342 = zext i32 %341 to i64
  %343 = call i32 @i32_load(ptr noundef %340, i64 noundef %342)
  store i32 %343, ptr %10, align 4, !tbaa !9
  %344 = load ptr, ptr %4, align 8, !tbaa !5
  %345 = getelementptr inbounds %struct.w2c_hermes, ptr %344, i32 0, i32 6
  %346 = load i32, ptr %10, align 4, !tbaa !9
  %347 = zext i32 %346 to i64
  %348 = add i64 %347, 36
  %349 = call i32 @i32_load(ptr noundef %345, i64 noundef %348)
  store i32 %349, ptr %10, align 4, !tbaa !9
  %350 = load i32, ptr %10, align 4, !tbaa !9
  %351 = load ptr, ptr %4, align 8, !tbaa !5
  %352 = getelementptr inbounds %struct.w2c_hermes, ptr %351, i32 0, i32 7
  %353 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %352, i32 0, i32 2
  %354 = load i32, ptr %353, align 4, !tbaa !11
  %355 = icmp ult i32 %350, %354
  br i1 %355, label %356, label %379

356:                                              ; preds = %332
  %357 = load ptr, ptr %4, align 8, !tbaa !5
  %358 = getelementptr inbounds %struct.w2c_hermes, ptr %357, i32 0, i32 7
  %359 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %358, i32 0, i32 0
  %360 = load ptr, ptr %359, align 8, !tbaa !17
  %361 = load i32, ptr %10, align 4, !tbaa !9
  %362 = zext i32 %361 to i64
  %363 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %360, i64 %362
  %364 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %363, i32 0, i32 1
  %365 = load ptr, ptr %364, align 8, !tbaa !18
  %366 = icmp ne ptr %365, null
  br i1 %366, label %367, label %379

367:                                              ; preds = %356
  %368 = load ptr, ptr @w2c_hermes_t2, align 8, !tbaa !5
  %369 = load ptr, ptr %4, align 8, !tbaa !5
  %370 = getelementptr inbounds %struct.w2c_hermes, ptr %369, i32 0, i32 7
  %371 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %370, i32 0, i32 0
  %372 = load ptr, ptr %371, align 8, !tbaa !17
  %373 = load i32, ptr %10, align 4, !tbaa !9
  %374 = zext i32 %373 to i64
  %375 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %372, i64 %374
  %376 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %375, i32 0, i32 0
  %377 = load ptr, ptr %376, align 8, !tbaa !20
  %378 = call zeroext i1 @func_types_eq(ptr noundef %368, ptr noundef %377)
  br label %379

379:                                              ; preds = %367, %356, %332
  %380 = phi i1 [ false, %356 ], [ false, %332 ], [ %378, %367 ]
  %381 = xor i1 %380, true
  %382 = xor i1 %381, true
  %383 = zext i1 %382 to i32
  %384 = sext i32 %383 to i64
  %385 = call i64 @llvm.expect.i64(i64 %384, i64 1)
  %386 = icmp ne i64 %385, 0
  br i1 %386, label %389, label %387

387:                                              ; preds = %379
  call void @wasm_rt_trap(i32 noundef 6) #6
  unreachable

388:                                              ; No predecessors!
  br label %389

389:                                              ; preds = %388, %379
  %390 = phi i1 [ true, %379 ], [ false, %388 ]
  %391 = zext i1 %390 to i32
  %392 = load ptr, ptr %4, align 8, !tbaa !5
  %393 = getelementptr inbounds %struct.w2c_hermes, ptr %392, i32 0, i32 7
  %394 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %393, i32 0, i32 0
  %395 = load ptr, ptr %394, align 8, !tbaa !17
  %396 = load i32, ptr %10, align 4, !tbaa !9
  %397 = zext i32 %396 to i64
  %398 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %395, i64 %397
  %399 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %398, i32 0, i32 1
  %400 = load ptr, ptr %399, align 8, !tbaa !18
  %401 = load ptr, ptr %4, align 8, !tbaa !5
  %402 = getelementptr inbounds %struct.w2c_hermes, ptr %401, i32 0, i32 7
  %403 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %402, i32 0, i32 0
  %404 = load ptr, ptr %403, align 8, !tbaa !17
  %405 = load i32, ptr %10, align 4, !tbaa !9
  %406 = zext i32 %405 to i64
  %407 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %404, i64 %406
  %408 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %407, i32 0, i32 2
  %409 = load ptr, ptr %408, align 8, !tbaa !21
  %410 = load i32, ptr %7, align 4, !tbaa !9
  %411 = load i32, ptr %8, align 4, !tbaa !9
  %412 = load i32, ptr %9, align 4, !tbaa !9
  call void %400(ptr noundef %409, i32 noundef %410, i32 noundef %411, i32 noundef %412)
  br label %413

413:                                              ; preds = %389, %315
  %414 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %414, ptr %7, align 4, !tbaa !9
  %415 = load ptr, ptr %4, align 8, !tbaa !5
  %416 = getelementptr inbounds %struct.w2c_hermes, ptr %415, i32 0, i32 6
  %417 = load i32, ptr %7, align 4, !tbaa !9
  %418 = zext i32 %417 to i64
  %419 = add i64 %418, 104
  %420 = call i32 @i32_load8_u(ptr noundef %416, i64 noundef %419)
  store i32 %420, ptr %7, align 4, !tbaa !9
  store i32 1, ptr %8, align 4, !tbaa !9
  %421 = load i32, ptr %8, align 4, !tbaa !9
  %422 = load i32, ptr %7, align 4, !tbaa !9
  %423 = and i32 %422, %421
  store i32 %423, ptr %7, align 4, !tbaa !9
  %424 = load i32, ptr %7, align 4, !tbaa !9
  %425 = icmp ne i32 %424, 0
  %426 = xor i1 %425, true
  %427 = zext i1 %426 to i32
  store i32 %427, ptr %7, align 4, !tbaa !9
  %428 = load i32, ptr %7, align 4, !tbaa !9
  %429 = icmp ne i32 %428, 0
  br i1 %429, label %430, label %511

430:                                              ; preds = %413
  %431 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %431, ptr %7, align 4, !tbaa !9
  %432 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %432, ptr %8, align 4, !tbaa !9
  store i32 120, ptr %9, align 4, !tbaa !9
  %433 = load i32, ptr %9, align 4, !tbaa !9
  %434 = load i32, ptr %8, align 4, !tbaa !9
  %435 = add i32 %434, %433
  store i32 %435, ptr %8, align 4, !tbaa !9
  store i32 0, ptr %9, align 4, !tbaa !9
  %436 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %436, ptr %10, align 4, !tbaa !9
  %437 = load ptr, ptr %4, align 8, !tbaa !5
  %438 = getelementptr inbounds %struct.w2c_hermes, ptr %437, i32 0, i32 6
  %439 = load i32, ptr %10, align 4, !tbaa !9
  %440 = zext i32 %439 to i64
  %441 = call i32 @i32_load(ptr noundef %438, i64 noundef %440)
  store i32 %441, ptr %10, align 4, !tbaa !9
  %442 = load ptr, ptr %4, align 8, !tbaa !5
  %443 = getelementptr inbounds %struct.w2c_hermes, ptr %442, i32 0, i32 6
  %444 = load i32, ptr %10, align 4, !tbaa !9
  %445 = zext i32 %444 to i64
  %446 = add i64 %445, 36
  %447 = call i32 @i32_load(ptr noundef %443, i64 noundef %446)
  store i32 %447, ptr %10, align 4, !tbaa !9
  %448 = load i32, ptr %10, align 4, !tbaa !9
  %449 = load ptr, ptr %4, align 8, !tbaa !5
  %450 = getelementptr inbounds %struct.w2c_hermes, ptr %449, i32 0, i32 7
  %451 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %450, i32 0, i32 2
  %452 = load i32, ptr %451, align 4, !tbaa !11
  %453 = icmp ult i32 %448, %452
  br i1 %453, label %454, label %477

454:                                              ; preds = %430
  %455 = load ptr, ptr %4, align 8, !tbaa !5
  %456 = getelementptr inbounds %struct.w2c_hermes, ptr %455, i32 0, i32 7
  %457 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %456, i32 0, i32 0
  %458 = load ptr, ptr %457, align 8, !tbaa !17
  %459 = load i32, ptr %10, align 4, !tbaa !9
  %460 = zext i32 %459 to i64
  %461 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %458, i64 %460
  %462 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %461, i32 0, i32 1
  %463 = load ptr, ptr %462, align 8, !tbaa !18
  %464 = icmp ne ptr %463, null
  br i1 %464, label %465, label %477

465:                                              ; preds = %454
  %466 = load ptr, ptr @w2c_hermes_t2, align 8, !tbaa !5
  %467 = load ptr, ptr %4, align 8, !tbaa !5
  %468 = getelementptr inbounds %struct.w2c_hermes, ptr %467, i32 0, i32 7
  %469 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %468, i32 0, i32 0
  %470 = load ptr, ptr %469, align 8, !tbaa !17
  %471 = load i32, ptr %10, align 4, !tbaa !9
  %472 = zext i32 %471 to i64
  %473 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %470, i64 %472
  %474 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %473, i32 0, i32 0
  %475 = load ptr, ptr %474, align 8, !tbaa !20
  %476 = call zeroext i1 @func_types_eq(ptr noundef %466, ptr noundef %475)
  br label %477

477:                                              ; preds = %465, %454, %430
  %478 = phi i1 [ false, %454 ], [ false, %430 ], [ %476, %465 ]
  %479 = xor i1 %478, true
  %480 = xor i1 %479, true
  %481 = zext i1 %480 to i32
  %482 = sext i32 %481 to i64
  %483 = call i64 @llvm.expect.i64(i64 %482, i64 1)
  %484 = icmp ne i64 %483, 0
  br i1 %484, label %487, label %485

485:                                              ; preds = %477
  call void @wasm_rt_trap(i32 noundef 6) #6
  unreachable

486:                                              ; No predecessors!
  br label %487

487:                                              ; preds = %486, %477
  %488 = phi i1 [ true, %477 ], [ false, %486 ]
  %489 = zext i1 %488 to i32
  %490 = load ptr, ptr %4, align 8, !tbaa !5
  %491 = getelementptr inbounds %struct.w2c_hermes, ptr %490, i32 0, i32 7
  %492 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %491, i32 0, i32 0
  %493 = load ptr, ptr %492, align 8, !tbaa !17
  %494 = load i32, ptr %10, align 4, !tbaa !9
  %495 = zext i32 %494 to i64
  %496 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %493, i64 %495
  %497 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %496, i32 0, i32 1
  %498 = load ptr, ptr %497, align 8, !tbaa !18
  %499 = load ptr, ptr %4, align 8, !tbaa !5
  %500 = getelementptr inbounds %struct.w2c_hermes, ptr %499, i32 0, i32 7
  %501 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %500, i32 0, i32 0
  %502 = load ptr, ptr %501, align 8, !tbaa !17
  %503 = load i32, ptr %10, align 4, !tbaa !9
  %504 = zext i32 %503 to i64
  %505 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %502, i64 %504
  %506 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %505, i32 0, i32 2
  %507 = load ptr, ptr %506, align 8, !tbaa !21
  %508 = load i32, ptr %7, align 4, !tbaa !9
  %509 = load i32, ptr %8, align 4, !tbaa !9
  %510 = load i32, ptr %9, align 4, !tbaa !9
  call void %498(ptr noundef %507, i32 noundef %508, i32 noundef %509, i32 noundef %510)
  br label %511

511:                                              ; preds = %487, %413
  %512 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %512, ptr %7, align 4, !tbaa !9
  %513 = load ptr, ptr %4, align 8, !tbaa !5
  %514 = getelementptr inbounds %struct.w2c_hermes, ptr %513, i32 0, i32 6
  %515 = load i32, ptr %7, align 4, !tbaa !9
  %516 = zext i32 %515 to i64
  %517 = add i64 %516, 128
  %518 = call i32 @i32_load8_u(ptr noundef %514, i64 noundef %517)
  store i32 %518, ptr %7, align 4, !tbaa !9
  store i32 1, ptr %8, align 4, !tbaa !9
  %519 = load i32, ptr %8, align 4, !tbaa !9
  %520 = load i32, ptr %7, align 4, !tbaa !9
  %521 = and i32 %520, %519
  store i32 %521, ptr %7, align 4, !tbaa !9
  %522 = load i32, ptr %7, align 4, !tbaa !9
  %523 = icmp ne i32 %522, 0
  %524 = xor i1 %523, true
  %525 = zext i1 %524 to i32
  store i32 %525, ptr %7, align 4, !tbaa !9
  %526 = load i32, ptr %7, align 4, !tbaa !9
  %527 = icmp ne i32 %526, 0
  br i1 %527, label %528, label %609

528:                                              ; preds = %511
  %529 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %529, ptr %7, align 4, !tbaa !9
  %530 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %530, ptr %8, align 4, !tbaa !9
  store i32 144, ptr %9, align 4, !tbaa !9
  %531 = load i32, ptr %9, align 4, !tbaa !9
  %532 = load i32, ptr %8, align 4, !tbaa !9
  %533 = add i32 %532, %531
  store i32 %533, ptr %8, align 4, !tbaa !9
  store i32 0, ptr %9, align 4, !tbaa !9
  %534 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %534, ptr %10, align 4, !tbaa !9
  %535 = load ptr, ptr %4, align 8, !tbaa !5
  %536 = getelementptr inbounds %struct.w2c_hermes, ptr %535, i32 0, i32 6
  %537 = load i32, ptr %10, align 4, !tbaa !9
  %538 = zext i32 %537 to i64
  %539 = call i32 @i32_load(ptr noundef %536, i64 noundef %538)
  store i32 %539, ptr %10, align 4, !tbaa !9
  %540 = load ptr, ptr %4, align 8, !tbaa !5
  %541 = getelementptr inbounds %struct.w2c_hermes, ptr %540, i32 0, i32 6
  %542 = load i32, ptr %10, align 4, !tbaa !9
  %543 = zext i32 %542 to i64
  %544 = add i64 %543, 36
  %545 = call i32 @i32_load(ptr noundef %541, i64 noundef %544)
  store i32 %545, ptr %10, align 4, !tbaa !9
  %546 = load i32, ptr %10, align 4, !tbaa !9
  %547 = load ptr, ptr %4, align 8, !tbaa !5
  %548 = getelementptr inbounds %struct.w2c_hermes, ptr %547, i32 0, i32 7
  %549 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %548, i32 0, i32 2
  %550 = load i32, ptr %549, align 4, !tbaa !11
  %551 = icmp ult i32 %546, %550
  br i1 %551, label %552, label %575

552:                                              ; preds = %528
  %553 = load ptr, ptr %4, align 8, !tbaa !5
  %554 = getelementptr inbounds %struct.w2c_hermes, ptr %553, i32 0, i32 7
  %555 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %554, i32 0, i32 0
  %556 = load ptr, ptr %555, align 8, !tbaa !17
  %557 = load i32, ptr %10, align 4, !tbaa !9
  %558 = zext i32 %557 to i64
  %559 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %556, i64 %558
  %560 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %559, i32 0, i32 1
  %561 = load ptr, ptr %560, align 8, !tbaa !18
  %562 = icmp ne ptr %561, null
  br i1 %562, label %563, label %575

563:                                              ; preds = %552
  %564 = load ptr, ptr @w2c_hermes_t2, align 8, !tbaa !5
  %565 = load ptr, ptr %4, align 8, !tbaa !5
  %566 = getelementptr inbounds %struct.w2c_hermes, ptr %565, i32 0, i32 7
  %567 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %566, i32 0, i32 0
  %568 = load ptr, ptr %567, align 8, !tbaa !17
  %569 = load i32, ptr %10, align 4, !tbaa !9
  %570 = zext i32 %569 to i64
  %571 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %568, i64 %570
  %572 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %571, i32 0, i32 0
  %573 = load ptr, ptr %572, align 8, !tbaa !20
  %574 = call zeroext i1 @func_types_eq(ptr noundef %564, ptr noundef %573)
  br label %575

575:                                              ; preds = %563, %552, %528
  %576 = phi i1 [ false, %552 ], [ false, %528 ], [ %574, %563 ]
  %577 = xor i1 %576, true
  %578 = xor i1 %577, true
  %579 = zext i1 %578 to i32
  %580 = sext i32 %579 to i64
  %581 = call i64 @llvm.expect.i64(i64 %580, i64 1)
  %582 = icmp ne i64 %581, 0
  br i1 %582, label %585, label %583

583:                                              ; preds = %575
  call void @wasm_rt_trap(i32 noundef 6) #6
  unreachable

584:                                              ; No predecessors!
  br label %585

585:                                              ; preds = %584, %575
  %586 = phi i1 [ true, %575 ], [ false, %584 ]
  %587 = zext i1 %586 to i32
  %588 = load ptr, ptr %4, align 8, !tbaa !5
  %589 = getelementptr inbounds %struct.w2c_hermes, ptr %588, i32 0, i32 7
  %590 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %589, i32 0, i32 0
  %591 = load ptr, ptr %590, align 8, !tbaa !17
  %592 = load i32, ptr %10, align 4, !tbaa !9
  %593 = zext i32 %592 to i64
  %594 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %591, i64 %593
  %595 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %594, i32 0, i32 1
  %596 = load ptr, ptr %595, align 8, !tbaa !18
  %597 = load ptr, ptr %4, align 8, !tbaa !5
  %598 = getelementptr inbounds %struct.w2c_hermes, ptr %597, i32 0, i32 7
  %599 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %598, i32 0, i32 0
  %600 = load ptr, ptr %599, align 8, !tbaa !17
  %601 = load i32, ptr %10, align 4, !tbaa !9
  %602 = zext i32 %601 to i64
  %603 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %600, i64 %602
  %604 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %603, i32 0, i32 2
  %605 = load ptr, ptr %604, align 8, !tbaa !21
  %606 = load i32, ptr %7, align 4, !tbaa !9
  %607 = load i32, ptr %8, align 4, !tbaa !9
  %608 = load i32, ptr %9, align 4, !tbaa !9
  call void %596(ptr noundef %605, i32 noundef %606, i32 noundef %607, i32 noundef %608)
  br label %609

609:                                              ; preds = %585, %511
  %610 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %610, ptr %7, align 4, !tbaa !9
  %611 = load ptr, ptr %4, align 8, !tbaa !5
  %612 = getelementptr inbounds %struct.w2c_hermes, ptr %611, i32 0, i32 6
  %613 = load i32, ptr %7, align 4, !tbaa !9
  %614 = zext i32 %613 to i64
  %615 = add i64 %614, 152
  %616 = call i32 @i32_load8_u(ptr noundef %612, i64 noundef %615)
  store i32 %616, ptr %7, align 4, !tbaa !9
  store i32 1, ptr %8, align 4, !tbaa !9
  %617 = load i32, ptr %8, align 4, !tbaa !9
  %618 = load i32, ptr %7, align 4, !tbaa !9
  %619 = and i32 %618, %617
  store i32 %619, ptr %7, align 4, !tbaa !9
  %620 = load i32, ptr %7, align 4, !tbaa !9
  %621 = icmp ne i32 %620, 0
  %622 = xor i1 %621, true
  %623 = zext i1 %622 to i32
  store i32 %623, ptr %7, align 4, !tbaa !9
  %624 = load i32, ptr %7, align 4, !tbaa !9
  %625 = icmp ne i32 %624, 0
  br i1 %625, label %626, label %707

626:                                              ; preds = %609
  %627 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %627, ptr %7, align 4, !tbaa !9
  %628 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %628, ptr %8, align 4, !tbaa !9
  store i32 168, ptr %9, align 4, !tbaa !9
  %629 = load i32, ptr %9, align 4, !tbaa !9
  %630 = load i32, ptr %8, align 4, !tbaa !9
  %631 = add i32 %630, %629
  store i32 %631, ptr %8, align 4, !tbaa !9
  store i32 0, ptr %9, align 4, !tbaa !9
  %632 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %632, ptr %10, align 4, !tbaa !9
  %633 = load ptr, ptr %4, align 8, !tbaa !5
  %634 = getelementptr inbounds %struct.w2c_hermes, ptr %633, i32 0, i32 6
  %635 = load i32, ptr %10, align 4, !tbaa !9
  %636 = zext i32 %635 to i64
  %637 = call i32 @i32_load(ptr noundef %634, i64 noundef %636)
  store i32 %637, ptr %10, align 4, !tbaa !9
  %638 = load ptr, ptr %4, align 8, !tbaa !5
  %639 = getelementptr inbounds %struct.w2c_hermes, ptr %638, i32 0, i32 6
  %640 = load i32, ptr %10, align 4, !tbaa !9
  %641 = zext i32 %640 to i64
  %642 = add i64 %641, 36
  %643 = call i32 @i32_load(ptr noundef %639, i64 noundef %642)
  store i32 %643, ptr %10, align 4, !tbaa !9
  %644 = load i32, ptr %10, align 4, !tbaa !9
  %645 = load ptr, ptr %4, align 8, !tbaa !5
  %646 = getelementptr inbounds %struct.w2c_hermes, ptr %645, i32 0, i32 7
  %647 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %646, i32 0, i32 2
  %648 = load i32, ptr %647, align 4, !tbaa !11
  %649 = icmp ult i32 %644, %648
  br i1 %649, label %650, label %673

650:                                              ; preds = %626
  %651 = load ptr, ptr %4, align 8, !tbaa !5
  %652 = getelementptr inbounds %struct.w2c_hermes, ptr %651, i32 0, i32 7
  %653 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %652, i32 0, i32 0
  %654 = load ptr, ptr %653, align 8, !tbaa !17
  %655 = load i32, ptr %10, align 4, !tbaa !9
  %656 = zext i32 %655 to i64
  %657 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %654, i64 %656
  %658 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %657, i32 0, i32 1
  %659 = load ptr, ptr %658, align 8, !tbaa !18
  %660 = icmp ne ptr %659, null
  br i1 %660, label %661, label %673

661:                                              ; preds = %650
  %662 = load ptr, ptr @w2c_hermes_t2, align 8, !tbaa !5
  %663 = load ptr, ptr %4, align 8, !tbaa !5
  %664 = getelementptr inbounds %struct.w2c_hermes, ptr %663, i32 0, i32 7
  %665 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %664, i32 0, i32 0
  %666 = load ptr, ptr %665, align 8, !tbaa !17
  %667 = load i32, ptr %10, align 4, !tbaa !9
  %668 = zext i32 %667 to i64
  %669 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %666, i64 %668
  %670 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %669, i32 0, i32 0
  %671 = load ptr, ptr %670, align 8, !tbaa !20
  %672 = call zeroext i1 @func_types_eq(ptr noundef %662, ptr noundef %671)
  br label %673

673:                                              ; preds = %661, %650, %626
  %674 = phi i1 [ false, %650 ], [ false, %626 ], [ %672, %661 ]
  %675 = xor i1 %674, true
  %676 = xor i1 %675, true
  %677 = zext i1 %676 to i32
  %678 = sext i32 %677 to i64
  %679 = call i64 @llvm.expect.i64(i64 %678, i64 1)
  %680 = icmp ne i64 %679, 0
  br i1 %680, label %683, label %681

681:                                              ; preds = %673
  call void @wasm_rt_trap(i32 noundef 6) #6
  unreachable

682:                                              ; No predecessors!
  br label %683

683:                                              ; preds = %682, %673
  %684 = phi i1 [ true, %673 ], [ false, %682 ]
  %685 = zext i1 %684 to i32
  %686 = load ptr, ptr %4, align 8, !tbaa !5
  %687 = getelementptr inbounds %struct.w2c_hermes, ptr %686, i32 0, i32 7
  %688 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %687, i32 0, i32 0
  %689 = load ptr, ptr %688, align 8, !tbaa !17
  %690 = load i32, ptr %10, align 4, !tbaa !9
  %691 = zext i32 %690 to i64
  %692 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %689, i64 %691
  %693 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %692, i32 0, i32 1
  %694 = load ptr, ptr %693, align 8, !tbaa !18
  %695 = load ptr, ptr %4, align 8, !tbaa !5
  %696 = getelementptr inbounds %struct.w2c_hermes, ptr %695, i32 0, i32 7
  %697 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %696, i32 0, i32 0
  %698 = load ptr, ptr %697, align 8, !tbaa !17
  %699 = load i32, ptr %10, align 4, !tbaa !9
  %700 = zext i32 %699 to i64
  %701 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %698, i64 %700
  %702 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %701, i32 0, i32 2
  %703 = load ptr, ptr %702, align 8, !tbaa !21
  %704 = load i32, ptr %7, align 4, !tbaa !9
  %705 = load i32, ptr %8, align 4, !tbaa !9
  %706 = load i32, ptr %9, align 4, !tbaa !9
  call void %694(ptr noundef %703, i32 noundef %704, i32 noundef %705, i32 noundef %706)
  br label %707

707:                                              ; preds = %683, %609
  %708 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %708, ptr %7, align 4, !tbaa !9
  %709 = load ptr, ptr %4, align 8, !tbaa !5
  %710 = getelementptr inbounds %struct.w2c_hermes, ptr %709, i32 0, i32 6
  %711 = load i32, ptr %7, align 4, !tbaa !9
  %712 = zext i32 %711 to i64
  %713 = add i64 %712, 176
  %714 = call i32 @i32_load8_u(ptr noundef %710, i64 noundef %713)
  store i32 %714, ptr %7, align 4, !tbaa !9
  store i32 1, ptr %8, align 4, !tbaa !9
  %715 = load i32, ptr %8, align 4, !tbaa !9
  %716 = load i32, ptr %7, align 4, !tbaa !9
  %717 = and i32 %716, %715
  store i32 %717, ptr %7, align 4, !tbaa !9
  %718 = load i32, ptr %7, align 4, !tbaa !9
  %719 = icmp ne i32 %718, 0
  %720 = xor i1 %719, true
  %721 = zext i1 %720 to i32
  store i32 %721, ptr %7, align 4, !tbaa !9
  %722 = load i32, ptr %7, align 4, !tbaa !9
  %723 = icmp ne i32 %722, 0
  br i1 %723, label %724, label %805

724:                                              ; preds = %707
  %725 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %725, ptr %7, align 4, !tbaa !9
  %726 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %726, ptr %8, align 4, !tbaa !9
  store i32 192, ptr %9, align 4, !tbaa !9
  %727 = load i32, ptr %9, align 4, !tbaa !9
  %728 = load i32, ptr %8, align 4, !tbaa !9
  %729 = add i32 %728, %727
  store i32 %729, ptr %8, align 4, !tbaa !9
  store i32 0, ptr %9, align 4, !tbaa !9
  %730 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %730, ptr %10, align 4, !tbaa !9
  %731 = load ptr, ptr %4, align 8, !tbaa !5
  %732 = getelementptr inbounds %struct.w2c_hermes, ptr %731, i32 0, i32 6
  %733 = load i32, ptr %10, align 4, !tbaa !9
  %734 = zext i32 %733 to i64
  %735 = call i32 @i32_load(ptr noundef %732, i64 noundef %734)
  store i32 %735, ptr %10, align 4, !tbaa !9
  %736 = load ptr, ptr %4, align 8, !tbaa !5
  %737 = getelementptr inbounds %struct.w2c_hermes, ptr %736, i32 0, i32 6
  %738 = load i32, ptr %10, align 4, !tbaa !9
  %739 = zext i32 %738 to i64
  %740 = add i64 %739, 36
  %741 = call i32 @i32_load(ptr noundef %737, i64 noundef %740)
  store i32 %741, ptr %10, align 4, !tbaa !9
  %742 = load i32, ptr %10, align 4, !tbaa !9
  %743 = load ptr, ptr %4, align 8, !tbaa !5
  %744 = getelementptr inbounds %struct.w2c_hermes, ptr %743, i32 0, i32 7
  %745 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %744, i32 0, i32 2
  %746 = load i32, ptr %745, align 4, !tbaa !11
  %747 = icmp ult i32 %742, %746
  br i1 %747, label %748, label %771

748:                                              ; preds = %724
  %749 = load ptr, ptr %4, align 8, !tbaa !5
  %750 = getelementptr inbounds %struct.w2c_hermes, ptr %749, i32 0, i32 7
  %751 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %750, i32 0, i32 0
  %752 = load ptr, ptr %751, align 8, !tbaa !17
  %753 = load i32, ptr %10, align 4, !tbaa !9
  %754 = zext i32 %753 to i64
  %755 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %752, i64 %754
  %756 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %755, i32 0, i32 1
  %757 = load ptr, ptr %756, align 8, !tbaa !18
  %758 = icmp ne ptr %757, null
  br i1 %758, label %759, label %771

759:                                              ; preds = %748
  %760 = load ptr, ptr @w2c_hermes_t2, align 8, !tbaa !5
  %761 = load ptr, ptr %4, align 8, !tbaa !5
  %762 = getelementptr inbounds %struct.w2c_hermes, ptr %761, i32 0, i32 7
  %763 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %762, i32 0, i32 0
  %764 = load ptr, ptr %763, align 8, !tbaa !17
  %765 = load i32, ptr %10, align 4, !tbaa !9
  %766 = zext i32 %765 to i64
  %767 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %764, i64 %766
  %768 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %767, i32 0, i32 0
  %769 = load ptr, ptr %768, align 8, !tbaa !20
  %770 = call zeroext i1 @func_types_eq(ptr noundef %760, ptr noundef %769)
  br label %771

771:                                              ; preds = %759, %748, %724
  %772 = phi i1 [ false, %748 ], [ false, %724 ], [ %770, %759 ]
  %773 = xor i1 %772, true
  %774 = xor i1 %773, true
  %775 = zext i1 %774 to i32
  %776 = sext i32 %775 to i64
  %777 = call i64 @llvm.expect.i64(i64 %776, i64 1)
  %778 = icmp ne i64 %777, 0
  br i1 %778, label %781, label %779

779:                                              ; preds = %771
  call void @wasm_rt_trap(i32 noundef 6) #6
  unreachable

780:                                              ; No predecessors!
  br label %781

781:                                              ; preds = %780, %771
  %782 = phi i1 [ true, %771 ], [ false, %780 ]
  %783 = zext i1 %782 to i32
  %784 = load ptr, ptr %4, align 8, !tbaa !5
  %785 = getelementptr inbounds %struct.w2c_hermes, ptr %784, i32 0, i32 7
  %786 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %785, i32 0, i32 0
  %787 = load ptr, ptr %786, align 8, !tbaa !17
  %788 = load i32, ptr %10, align 4, !tbaa !9
  %789 = zext i32 %788 to i64
  %790 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %787, i64 %789
  %791 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %790, i32 0, i32 1
  %792 = load ptr, ptr %791, align 8, !tbaa !18
  %793 = load ptr, ptr %4, align 8, !tbaa !5
  %794 = getelementptr inbounds %struct.w2c_hermes, ptr %793, i32 0, i32 7
  %795 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %794, i32 0, i32 0
  %796 = load ptr, ptr %795, align 8, !tbaa !17
  %797 = load i32, ptr %10, align 4, !tbaa !9
  %798 = zext i32 %797 to i64
  %799 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %796, i64 %798
  %800 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %799, i32 0, i32 2
  %801 = load ptr, ptr %800, align 8, !tbaa !21
  %802 = load i32, ptr %7, align 4, !tbaa !9
  %803 = load i32, ptr %8, align 4, !tbaa !9
  %804 = load i32, ptr %9, align 4, !tbaa !9
  call void %792(ptr noundef %801, i32 noundef %802, i32 noundef %803, i32 noundef %804)
  br label %805

805:                                              ; preds = %781, %707
  %806 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %806, ptr %7, align 4, !tbaa !9
  %807 = load ptr, ptr %4, align 8, !tbaa !5
  %808 = getelementptr inbounds %struct.w2c_hermes, ptr %807, i32 0, i32 6
  %809 = load i32, ptr %7, align 4, !tbaa !9
  %810 = zext i32 %809 to i64
  %811 = add i64 %810, 200
  %812 = call i32 @i32_load8_u(ptr noundef %808, i64 noundef %811)
  store i32 %812, ptr %7, align 4, !tbaa !9
  store i32 1, ptr %8, align 4, !tbaa !9
  %813 = load i32, ptr %8, align 4, !tbaa !9
  %814 = load i32, ptr %7, align 4, !tbaa !9
  %815 = and i32 %814, %813
  store i32 %815, ptr %7, align 4, !tbaa !9
  %816 = load i32, ptr %7, align 4, !tbaa !9
  %817 = icmp ne i32 %816, 0
  %818 = xor i1 %817, true
  %819 = zext i1 %818 to i32
  store i32 %819, ptr %7, align 4, !tbaa !9
  %820 = load i32, ptr %7, align 4, !tbaa !9
  %821 = icmp ne i32 %820, 0
  br i1 %821, label %822, label %903

822:                                              ; preds = %805
  %823 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %823, ptr %7, align 4, !tbaa !9
  %824 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %824, ptr %8, align 4, !tbaa !9
  store i32 216, ptr %9, align 4, !tbaa !9
  %825 = load i32, ptr %9, align 4, !tbaa !9
  %826 = load i32, ptr %8, align 4, !tbaa !9
  %827 = add i32 %826, %825
  store i32 %827, ptr %8, align 4, !tbaa !9
  store i32 0, ptr %9, align 4, !tbaa !9
  %828 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %828, ptr %10, align 4, !tbaa !9
  %829 = load ptr, ptr %4, align 8, !tbaa !5
  %830 = getelementptr inbounds %struct.w2c_hermes, ptr %829, i32 0, i32 6
  %831 = load i32, ptr %10, align 4, !tbaa !9
  %832 = zext i32 %831 to i64
  %833 = call i32 @i32_load(ptr noundef %830, i64 noundef %832)
  store i32 %833, ptr %10, align 4, !tbaa !9
  %834 = load ptr, ptr %4, align 8, !tbaa !5
  %835 = getelementptr inbounds %struct.w2c_hermes, ptr %834, i32 0, i32 6
  %836 = load i32, ptr %10, align 4, !tbaa !9
  %837 = zext i32 %836 to i64
  %838 = add i64 %837, 36
  %839 = call i32 @i32_load(ptr noundef %835, i64 noundef %838)
  store i32 %839, ptr %10, align 4, !tbaa !9
  %840 = load i32, ptr %10, align 4, !tbaa !9
  %841 = load ptr, ptr %4, align 8, !tbaa !5
  %842 = getelementptr inbounds %struct.w2c_hermes, ptr %841, i32 0, i32 7
  %843 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %842, i32 0, i32 2
  %844 = load i32, ptr %843, align 4, !tbaa !11
  %845 = icmp ult i32 %840, %844
  br i1 %845, label %846, label %869

846:                                              ; preds = %822
  %847 = load ptr, ptr %4, align 8, !tbaa !5
  %848 = getelementptr inbounds %struct.w2c_hermes, ptr %847, i32 0, i32 7
  %849 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %848, i32 0, i32 0
  %850 = load ptr, ptr %849, align 8, !tbaa !17
  %851 = load i32, ptr %10, align 4, !tbaa !9
  %852 = zext i32 %851 to i64
  %853 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %850, i64 %852
  %854 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %853, i32 0, i32 1
  %855 = load ptr, ptr %854, align 8, !tbaa !18
  %856 = icmp ne ptr %855, null
  br i1 %856, label %857, label %869

857:                                              ; preds = %846
  %858 = load ptr, ptr @w2c_hermes_t2, align 8, !tbaa !5
  %859 = load ptr, ptr %4, align 8, !tbaa !5
  %860 = getelementptr inbounds %struct.w2c_hermes, ptr %859, i32 0, i32 7
  %861 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %860, i32 0, i32 0
  %862 = load ptr, ptr %861, align 8, !tbaa !17
  %863 = load i32, ptr %10, align 4, !tbaa !9
  %864 = zext i32 %863 to i64
  %865 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %862, i64 %864
  %866 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %865, i32 0, i32 0
  %867 = load ptr, ptr %866, align 8, !tbaa !20
  %868 = call zeroext i1 @func_types_eq(ptr noundef %858, ptr noundef %867)
  br label %869

869:                                              ; preds = %857, %846, %822
  %870 = phi i1 [ false, %846 ], [ false, %822 ], [ %868, %857 ]
  %871 = xor i1 %870, true
  %872 = xor i1 %871, true
  %873 = zext i1 %872 to i32
  %874 = sext i32 %873 to i64
  %875 = call i64 @llvm.expect.i64(i64 %874, i64 1)
  %876 = icmp ne i64 %875, 0
  br i1 %876, label %879, label %877

877:                                              ; preds = %869
  call void @wasm_rt_trap(i32 noundef 6) #6
  unreachable

878:                                              ; No predecessors!
  br label %879

879:                                              ; preds = %878, %869
  %880 = phi i1 [ true, %869 ], [ false, %878 ]
  %881 = zext i1 %880 to i32
  %882 = load ptr, ptr %4, align 8, !tbaa !5
  %883 = getelementptr inbounds %struct.w2c_hermes, ptr %882, i32 0, i32 7
  %884 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %883, i32 0, i32 0
  %885 = load ptr, ptr %884, align 8, !tbaa !17
  %886 = load i32, ptr %10, align 4, !tbaa !9
  %887 = zext i32 %886 to i64
  %888 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %885, i64 %887
  %889 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %888, i32 0, i32 1
  %890 = load ptr, ptr %889, align 8, !tbaa !18
  %891 = load ptr, ptr %4, align 8, !tbaa !5
  %892 = getelementptr inbounds %struct.w2c_hermes, ptr %891, i32 0, i32 7
  %893 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %892, i32 0, i32 0
  %894 = load ptr, ptr %893, align 8, !tbaa !17
  %895 = load i32, ptr %10, align 4, !tbaa !9
  %896 = zext i32 %895 to i64
  %897 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %894, i64 %896
  %898 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %897, i32 0, i32 2
  %899 = load ptr, ptr %898, align 8, !tbaa !21
  %900 = load i32, ptr %7, align 4, !tbaa !9
  %901 = load i32, ptr %8, align 4, !tbaa !9
  %902 = load i32, ptr %9, align 4, !tbaa !9
  call void %890(ptr noundef %899, i32 noundef %900, i32 noundef %901, i32 noundef %902)
  br label %903

903:                                              ; preds = %879, %805
  %904 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %904, ptr %7, align 4, !tbaa !9
  %905 = load ptr, ptr %4, align 8, !tbaa !5
  %906 = getelementptr inbounds %struct.w2c_hermes, ptr %905, i32 0, i32 6
  %907 = load i32, ptr %7, align 4, !tbaa !9
  %908 = zext i32 %907 to i64
  %909 = add i64 %908, 224
  %910 = call i32 @i32_load8_u(ptr noundef %906, i64 noundef %909)
  store i32 %910, ptr %7, align 4, !tbaa !9
  store i32 1, ptr %8, align 4, !tbaa !9
  %911 = load i32, ptr %8, align 4, !tbaa !9
  %912 = load i32, ptr %7, align 4, !tbaa !9
  %913 = and i32 %912, %911
  store i32 %913, ptr %7, align 4, !tbaa !9
  %914 = load i32, ptr %7, align 4, !tbaa !9
  %915 = icmp ne i32 %914, 0
  %916 = xor i1 %915, true
  %917 = zext i1 %916 to i32
  store i32 %917, ptr %7, align 4, !tbaa !9
  %918 = load i32, ptr %7, align 4, !tbaa !9
  %919 = icmp ne i32 %918, 0
  br i1 %919, label %920, label %1001

920:                                              ; preds = %903
  %921 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %921, ptr %7, align 4, !tbaa !9
  %922 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %922, ptr %8, align 4, !tbaa !9
  store i32 240, ptr %9, align 4, !tbaa !9
  %923 = load i32, ptr %9, align 4, !tbaa !9
  %924 = load i32, ptr %8, align 4, !tbaa !9
  %925 = add i32 %924, %923
  store i32 %925, ptr %8, align 4, !tbaa !9
  store i32 0, ptr %9, align 4, !tbaa !9
  %926 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %926, ptr %10, align 4, !tbaa !9
  %927 = load ptr, ptr %4, align 8, !tbaa !5
  %928 = getelementptr inbounds %struct.w2c_hermes, ptr %927, i32 0, i32 6
  %929 = load i32, ptr %10, align 4, !tbaa !9
  %930 = zext i32 %929 to i64
  %931 = call i32 @i32_load(ptr noundef %928, i64 noundef %930)
  store i32 %931, ptr %10, align 4, !tbaa !9
  %932 = load ptr, ptr %4, align 8, !tbaa !5
  %933 = getelementptr inbounds %struct.w2c_hermes, ptr %932, i32 0, i32 6
  %934 = load i32, ptr %10, align 4, !tbaa !9
  %935 = zext i32 %934 to i64
  %936 = add i64 %935, 36
  %937 = call i32 @i32_load(ptr noundef %933, i64 noundef %936)
  store i32 %937, ptr %10, align 4, !tbaa !9
  %938 = load i32, ptr %10, align 4, !tbaa !9
  %939 = load ptr, ptr %4, align 8, !tbaa !5
  %940 = getelementptr inbounds %struct.w2c_hermes, ptr %939, i32 0, i32 7
  %941 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %940, i32 0, i32 2
  %942 = load i32, ptr %941, align 4, !tbaa !11
  %943 = icmp ult i32 %938, %942
  br i1 %943, label %944, label %967

944:                                              ; preds = %920
  %945 = load ptr, ptr %4, align 8, !tbaa !5
  %946 = getelementptr inbounds %struct.w2c_hermes, ptr %945, i32 0, i32 7
  %947 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %946, i32 0, i32 0
  %948 = load ptr, ptr %947, align 8, !tbaa !17
  %949 = load i32, ptr %10, align 4, !tbaa !9
  %950 = zext i32 %949 to i64
  %951 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %948, i64 %950
  %952 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %951, i32 0, i32 1
  %953 = load ptr, ptr %952, align 8, !tbaa !18
  %954 = icmp ne ptr %953, null
  br i1 %954, label %955, label %967

955:                                              ; preds = %944
  %956 = load ptr, ptr @w2c_hermes_t2, align 8, !tbaa !5
  %957 = load ptr, ptr %4, align 8, !tbaa !5
  %958 = getelementptr inbounds %struct.w2c_hermes, ptr %957, i32 0, i32 7
  %959 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %958, i32 0, i32 0
  %960 = load ptr, ptr %959, align 8, !tbaa !17
  %961 = load i32, ptr %10, align 4, !tbaa !9
  %962 = zext i32 %961 to i64
  %963 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %960, i64 %962
  %964 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %963, i32 0, i32 0
  %965 = load ptr, ptr %964, align 8, !tbaa !20
  %966 = call zeroext i1 @func_types_eq(ptr noundef %956, ptr noundef %965)
  br label %967

967:                                              ; preds = %955, %944, %920
  %968 = phi i1 [ false, %944 ], [ false, %920 ], [ %966, %955 ]
  %969 = xor i1 %968, true
  %970 = xor i1 %969, true
  %971 = zext i1 %970 to i32
  %972 = sext i32 %971 to i64
  %973 = call i64 @llvm.expect.i64(i64 %972, i64 1)
  %974 = icmp ne i64 %973, 0
  br i1 %974, label %977, label %975

975:                                              ; preds = %967
  call void @wasm_rt_trap(i32 noundef 6) #6
  unreachable

976:                                              ; No predecessors!
  br label %977

977:                                              ; preds = %976, %967
  %978 = phi i1 [ true, %967 ], [ false, %976 ]
  %979 = zext i1 %978 to i32
  %980 = load ptr, ptr %4, align 8, !tbaa !5
  %981 = getelementptr inbounds %struct.w2c_hermes, ptr %980, i32 0, i32 7
  %982 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %981, i32 0, i32 0
  %983 = load ptr, ptr %982, align 8, !tbaa !17
  %984 = load i32, ptr %10, align 4, !tbaa !9
  %985 = zext i32 %984 to i64
  %986 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %983, i64 %985
  %987 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %986, i32 0, i32 1
  %988 = load ptr, ptr %987, align 8, !tbaa !18
  %989 = load ptr, ptr %4, align 8, !tbaa !5
  %990 = getelementptr inbounds %struct.w2c_hermes, ptr %989, i32 0, i32 7
  %991 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %990, i32 0, i32 0
  %992 = load ptr, ptr %991, align 8, !tbaa !17
  %993 = load i32, ptr %10, align 4, !tbaa !9
  %994 = zext i32 %993 to i64
  %995 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %992, i64 %994
  %996 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %995, i32 0, i32 2
  %997 = load ptr, ptr %996, align 8, !tbaa !21
  %998 = load i32, ptr %7, align 4, !tbaa !9
  %999 = load i32, ptr %8, align 4, !tbaa !9
  %1000 = load i32, ptr %9, align 4, !tbaa !9
  call void %988(ptr noundef %997, i32 noundef %998, i32 noundef %999, i32 noundef %1000)
  br label %1001

1001:                                             ; preds = %977, %903
  %1002 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1002, ptr %7, align 4, !tbaa !9
  %1003 = load ptr, ptr %4, align 8, !tbaa !5
  %1004 = getelementptr inbounds %struct.w2c_hermes, ptr %1003, i32 0, i32 6
  %1005 = load i32, ptr %7, align 4, !tbaa !9
  %1006 = zext i32 %1005 to i64
  %1007 = add i64 %1006, 248
  %1008 = call i32 @i32_load8_u(ptr noundef %1004, i64 noundef %1007)
  store i32 %1008, ptr %7, align 4, !tbaa !9
  store i32 1, ptr %8, align 4, !tbaa !9
  %1009 = load i32, ptr %8, align 4, !tbaa !9
  %1010 = load i32, ptr %7, align 4, !tbaa !9
  %1011 = and i32 %1010, %1009
  store i32 %1011, ptr %7, align 4, !tbaa !9
  %1012 = load i32, ptr %7, align 4, !tbaa !9
  %1013 = icmp ne i32 %1012, 0
  %1014 = xor i1 %1013, true
  %1015 = zext i1 %1014 to i32
  store i32 %1015, ptr %7, align 4, !tbaa !9
  %1016 = load i32, ptr %7, align 4, !tbaa !9
  %1017 = icmp ne i32 %1016, 0
  br i1 %1017, label %1018, label %1099

1018:                                             ; preds = %1001
  %1019 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %1019, ptr %7, align 4, !tbaa !9
  %1020 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1020, ptr %8, align 4, !tbaa !9
  store i32 264, ptr %9, align 4, !tbaa !9
  %1021 = load i32, ptr %9, align 4, !tbaa !9
  %1022 = load i32, ptr %8, align 4, !tbaa !9
  %1023 = add i32 %1022, %1021
  store i32 %1023, ptr %8, align 4, !tbaa !9
  store i32 0, ptr %9, align 4, !tbaa !9
  %1024 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %1024, ptr %10, align 4, !tbaa !9
  %1025 = load ptr, ptr %4, align 8, !tbaa !5
  %1026 = getelementptr inbounds %struct.w2c_hermes, ptr %1025, i32 0, i32 6
  %1027 = load i32, ptr %10, align 4, !tbaa !9
  %1028 = zext i32 %1027 to i64
  %1029 = call i32 @i32_load(ptr noundef %1026, i64 noundef %1028)
  store i32 %1029, ptr %10, align 4, !tbaa !9
  %1030 = load ptr, ptr %4, align 8, !tbaa !5
  %1031 = getelementptr inbounds %struct.w2c_hermes, ptr %1030, i32 0, i32 6
  %1032 = load i32, ptr %10, align 4, !tbaa !9
  %1033 = zext i32 %1032 to i64
  %1034 = add i64 %1033, 36
  %1035 = call i32 @i32_load(ptr noundef %1031, i64 noundef %1034)
  store i32 %1035, ptr %10, align 4, !tbaa !9
  %1036 = load i32, ptr %10, align 4, !tbaa !9
  %1037 = load ptr, ptr %4, align 8, !tbaa !5
  %1038 = getelementptr inbounds %struct.w2c_hermes, ptr %1037, i32 0, i32 7
  %1039 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %1038, i32 0, i32 2
  %1040 = load i32, ptr %1039, align 4, !tbaa !11
  %1041 = icmp ult i32 %1036, %1040
  br i1 %1041, label %1042, label %1065

1042:                                             ; preds = %1018
  %1043 = load ptr, ptr %4, align 8, !tbaa !5
  %1044 = getelementptr inbounds %struct.w2c_hermes, ptr %1043, i32 0, i32 7
  %1045 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %1044, i32 0, i32 0
  %1046 = load ptr, ptr %1045, align 8, !tbaa !17
  %1047 = load i32, ptr %10, align 4, !tbaa !9
  %1048 = zext i32 %1047 to i64
  %1049 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1046, i64 %1048
  %1050 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1049, i32 0, i32 1
  %1051 = load ptr, ptr %1050, align 8, !tbaa !18
  %1052 = icmp ne ptr %1051, null
  br i1 %1052, label %1053, label %1065

1053:                                             ; preds = %1042
  %1054 = load ptr, ptr @w2c_hermes_t2, align 8, !tbaa !5
  %1055 = load ptr, ptr %4, align 8, !tbaa !5
  %1056 = getelementptr inbounds %struct.w2c_hermes, ptr %1055, i32 0, i32 7
  %1057 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %1056, i32 0, i32 0
  %1058 = load ptr, ptr %1057, align 8, !tbaa !17
  %1059 = load i32, ptr %10, align 4, !tbaa !9
  %1060 = zext i32 %1059 to i64
  %1061 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1058, i64 %1060
  %1062 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1061, i32 0, i32 0
  %1063 = load ptr, ptr %1062, align 8, !tbaa !20
  %1064 = call zeroext i1 @func_types_eq(ptr noundef %1054, ptr noundef %1063)
  br label %1065

1065:                                             ; preds = %1053, %1042, %1018
  %1066 = phi i1 [ false, %1042 ], [ false, %1018 ], [ %1064, %1053 ]
  %1067 = xor i1 %1066, true
  %1068 = xor i1 %1067, true
  %1069 = zext i1 %1068 to i32
  %1070 = sext i32 %1069 to i64
  %1071 = call i64 @llvm.expect.i64(i64 %1070, i64 1)
  %1072 = icmp ne i64 %1071, 0
  br i1 %1072, label %1075, label %1073

1073:                                             ; preds = %1065
  call void @wasm_rt_trap(i32 noundef 6) #6
  unreachable

1074:                                             ; No predecessors!
  br label %1075

1075:                                             ; preds = %1074, %1065
  %1076 = phi i1 [ true, %1065 ], [ false, %1074 ]
  %1077 = zext i1 %1076 to i32
  %1078 = load ptr, ptr %4, align 8, !tbaa !5
  %1079 = getelementptr inbounds %struct.w2c_hermes, ptr %1078, i32 0, i32 7
  %1080 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %1079, i32 0, i32 0
  %1081 = load ptr, ptr %1080, align 8, !tbaa !17
  %1082 = load i32, ptr %10, align 4, !tbaa !9
  %1083 = zext i32 %1082 to i64
  %1084 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1081, i64 %1083
  %1085 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1084, i32 0, i32 1
  %1086 = load ptr, ptr %1085, align 8, !tbaa !18
  %1087 = load ptr, ptr %4, align 8, !tbaa !5
  %1088 = getelementptr inbounds %struct.w2c_hermes, ptr %1087, i32 0, i32 7
  %1089 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %1088, i32 0, i32 0
  %1090 = load ptr, ptr %1089, align 8, !tbaa !17
  %1091 = load i32, ptr %10, align 4, !tbaa !9
  %1092 = zext i32 %1091 to i64
  %1093 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1090, i64 %1092
  %1094 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1093, i32 0, i32 2
  %1095 = load ptr, ptr %1094, align 8, !tbaa !21
  %1096 = load i32, ptr %7, align 4, !tbaa !9
  %1097 = load i32, ptr %8, align 4, !tbaa !9
  %1098 = load i32, ptr %9, align 4, !tbaa !9
  call void %1086(ptr noundef %1095, i32 noundef %1096, i32 noundef %1097, i32 noundef %1098)
  br label %1099

1099:                                             ; preds = %1075, %1001
  %1100 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1100, ptr %7, align 4, !tbaa !9
  %1101 = load ptr, ptr %4, align 8, !tbaa !5
  %1102 = getelementptr inbounds %struct.w2c_hermes, ptr %1101, i32 0, i32 6
  %1103 = load i32, ptr %7, align 4, !tbaa !9
  %1104 = zext i32 %1103 to i64
  %1105 = add i64 %1104, 272
  %1106 = call i32 @i32_load8_u(ptr noundef %1102, i64 noundef %1105)
  store i32 %1106, ptr %7, align 4, !tbaa !9
  store i32 1, ptr %8, align 4, !tbaa !9
  %1107 = load i32, ptr %8, align 4, !tbaa !9
  %1108 = load i32, ptr %7, align 4, !tbaa !9
  %1109 = and i32 %1108, %1107
  store i32 %1109, ptr %7, align 4, !tbaa !9
  %1110 = load i32, ptr %7, align 4, !tbaa !9
  %1111 = icmp ne i32 %1110, 0
  %1112 = xor i1 %1111, true
  %1113 = zext i1 %1112 to i32
  store i32 %1113, ptr %7, align 4, !tbaa !9
  %1114 = load i32, ptr %7, align 4, !tbaa !9
  %1115 = icmp ne i32 %1114, 0
  br i1 %1115, label %1116, label %1197

1116:                                             ; preds = %1099
  %1117 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %1117, ptr %7, align 4, !tbaa !9
  %1118 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1118, ptr %8, align 4, !tbaa !9
  store i32 288, ptr %9, align 4, !tbaa !9
  %1119 = load i32, ptr %9, align 4, !tbaa !9
  %1120 = load i32, ptr %8, align 4, !tbaa !9
  %1121 = add i32 %1120, %1119
  store i32 %1121, ptr %8, align 4, !tbaa !9
  store i32 0, ptr %9, align 4, !tbaa !9
  %1122 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %1122, ptr %10, align 4, !tbaa !9
  %1123 = load ptr, ptr %4, align 8, !tbaa !5
  %1124 = getelementptr inbounds %struct.w2c_hermes, ptr %1123, i32 0, i32 6
  %1125 = load i32, ptr %10, align 4, !tbaa !9
  %1126 = zext i32 %1125 to i64
  %1127 = call i32 @i32_load(ptr noundef %1124, i64 noundef %1126)
  store i32 %1127, ptr %10, align 4, !tbaa !9
  %1128 = load ptr, ptr %4, align 8, !tbaa !5
  %1129 = getelementptr inbounds %struct.w2c_hermes, ptr %1128, i32 0, i32 6
  %1130 = load i32, ptr %10, align 4, !tbaa !9
  %1131 = zext i32 %1130 to i64
  %1132 = add i64 %1131, 36
  %1133 = call i32 @i32_load(ptr noundef %1129, i64 noundef %1132)
  store i32 %1133, ptr %10, align 4, !tbaa !9
  %1134 = load i32, ptr %10, align 4, !tbaa !9
  %1135 = load ptr, ptr %4, align 8, !tbaa !5
  %1136 = getelementptr inbounds %struct.w2c_hermes, ptr %1135, i32 0, i32 7
  %1137 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %1136, i32 0, i32 2
  %1138 = load i32, ptr %1137, align 4, !tbaa !11
  %1139 = icmp ult i32 %1134, %1138
  br i1 %1139, label %1140, label %1163

1140:                                             ; preds = %1116
  %1141 = load ptr, ptr %4, align 8, !tbaa !5
  %1142 = getelementptr inbounds %struct.w2c_hermes, ptr %1141, i32 0, i32 7
  %1143 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %1142, i32 0, i32 0
  %1144 = load ptr, ptr %1143, align 8, !tbaa !17
  %1145 = load i32, ptr %10, align 4, !tbaa !9
  %1146 = zext i32 %1145 to i64
  %1147 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1144, i64 %1146
  %1148 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1147, i32 0, i32 1
  %1149 = load ptr, ptr %1148, align 8, !tbaa !18
  %1150 = icmp ne ptr %1149, null
  br i1 %1150, label %1151, label %1163

1151:                                             ; preds = %1140
  %1152 = load ptr, ptr @w2c_hermes_t2, align 8, !tbaa !5
  %1153 = load ptr, ptr %4, align 8, !tbaa !5
  %1154 = getelementptr inbounds %struct.w2c_hermes, ptr %1153, i32 0, i32 7
  %1155 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %1154, i32 0, i32 0
  %1156 = load ptr, ptr %1155, align 8, !tbaa !17
  %1157 = load i32, ptr %10, align 4, !tbaa !9
  %1158 = zext i32 %1157 to i64
  %1159 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1156, i64 %1158
  %1160 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1159, i32 0, i32 0
  %1161 = load ptr, ptr %1160, align 8, !tbaa !20
  %1162 = call zeroext i1 @func_types_eq(ptr noundef %1152, ptr noundef %1161)
  br label %1163

1163:                                             ; preds = %1151, %1140, %1116
  %1164 = phi i1 [ false, %1140 ], [ false, %1116 ], [ %1162, %1151 ]
  %1165 = xor i1 %1164, true
  %1166 = xor i1 %1165, true
  %1167 = zext i1 %1166 to i32
  %1168 = sext i32 %1167 to i64
  %1169 = call i64 @llvm.expect.i64(i64 %1168, i64 1)
  %1170 = icmp ne i64 %1169, 0
  br i1 %1170, label %1173, label %1171

1171:                                             ; preds = %1163
  call void @wasm_rt_trap(i32 noundef 6) #6
  unreachable

1172:                                             ; No predecessors!
  br label %1173

1173:                                             ; preds = %1172, %1163
  %1174 = phi i1 [ true, %1163 ], [ false, %1172 ]
  %1175 = zext i1 %1174 to i32
  %1176 = load ptr, ptr %4, align 8, !tbaa !5
  %1177 = getelementptr inbounds %struct.w2c_hermes, ptr %1176, i32 0, i32 7
  %1178 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %1177, i32 0, i32 0
  %1179 = load ptr, ptr %1178, align 8, !tbaa !17
  %1180 = load i32, ptr %10, align 4, !tbaa !9
  %1181 = zext i32 %1180 to i64
  %1182 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1179, i64 %1181
  %1183 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1182, i32 0, i32 1
  %1184 = load ptr, ptr %1183, align 8, !tbaa !18
  %1185 = load ptr, ptr %4, align 8, !tbaa !5
  %1186 = getelementptr inbounds %struct.w2c_hermes, ptr %1185, i32 0, i32 7
  %1187 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %1186, i32 0, i32 0
  %1188 = load ptr, ptr %1187, align 8, !tbaa !17
  %1189 = load i32, ptr %10, align 4, !tbaa !9
  %1190 = zext i32 %1189 to i64
  %1191 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1188, i64 %1190
  %1192 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1191, i32 0, i32 2
  %1193 = load ptr, ptr %1192, align 8, !tbaa !21
  %1194 = load i32, ptr %7, align 4, !tbaa !9
  %1195 = load i32, ptr %8, align 4, !tbaa !9
  %1196 = load i32, ptr %9, align 4, !tbaa !9
  call void %1184(ptr noundef %1193, i32 noundef %1194, i32 noundef %1195, i32 noundef %1196)
  br label %1197

1197:                                             ; preds = %1173, %1099
  %1198 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1198, ptr %7, align 4, !tbaa !9
  %1199 = load ptr, ptr %4, align 8, !tbaa !5
  %1200 = getelementptr inbounds %struct.w2c_hermes, ptr %1199, i32 0, i32 6
  %1201 = load i32, ptr %7, align 4, !tbaa !9
  %1202 = zext i32 %1201 to i64
  %1203 = add i64 %1202, 296
  %1204 = call i32 @i32_load8_u(ptr noundef %1200, i64 noundef %1203)
  store i32 %1204, ptr %7, align 4, !tbaa !9
  store i32 1, ptr %8, align 4, !tbaa !9
  %1205 = load i32, ptr %8, align 4, !tbaa !9
  %1206 = load i32, ptr %7, align 4, !tbaa !9
  %1207 = and i32 %1206, %1205
  store i32 %1207, ptr %7, align 4, !tbaa !9
  %1208 = load i32, ptr %7, align 4, !tbaa !9
  %1209 = icmp ne i32 %1208, 0
  %1210 = xor i1 %1209, true
  %1211 = zext i1 %1210 to i32
  store i32 %1211, ptr %7, align 4, !tbaa !9
  %1212 = load i32, ptr %7, align 4, !tbaa !9
  %1213 = icmp ne i32 %1212, 0
  br i1 %1213, label %1214, label %1295

1214:                                             ; preds = %1197
  %1215 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %1215, ptr %7, align 4, !tbaa !9
  %1216 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1216, ptr %8, align 4, !tbaa !9
  store i32 312, ptr %9, align 4, !tbaa !9
  %1217 = load i32, ptr %9, align 4, !tbaa !9
  %1218 = load i32, ptr %8, align 4, !tbaa !9
  %1219 = add i32 %1218, %1217
  store i32 %1219, ptr %8, align 4, !tbaa !9
  store i32 0, ptr %9, align 4, !tbaa !9
  %1220 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %1220, ptr %10, align 4, !tbaa !9
  %1221 = load ptr, ptr %4, align 8, !tbaa !5
  %1222 = getelementptr inbounds %struct.w2c_hermes, ptr %1221, i32 0, i32 6
  %1223 = load i32, ptr %10, align 4, !tbaa !9
  %1224 = zext i32 %1223 to i64
  %1225 = call i32 @i32_load(ptr noundef %1222, i64 noundef %1224)
  store i32 %1225, ptr %10, align 4, !tbaa !9
  %1226 = load ptr, ptr %4, align 8, !tbaa !5
  %1227 = getelementptr inbounds %struct.w2c_hermes, ptr %1226, i32 0, i32 6
  %1228 = load i32, ptr %10, align 4, !tbaa !9
  %1229 = zext i32 %1228 to i64
  %1230 = add i64 %1229, 36
  %1231 = call i32 @i32_load(ptr noundef %1227, i64 noundef %1230)
  store i32 %1231, ptr %10, align 4, !tbaa !9
  %1232 = load i32, ptr %10, align 4, !tbaa !9
  %1233 = load ptr, ptr %4, align 8, !tbaa !5
  %1234 = getelementptr inbounds %struct.w2c_hermes, ptr %1233, i32 0, i32 7
  %1235 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %1234, i32 0, i32 2
  %1236 = load i32, ptr %1235, align 4, !tbaa !11
  %1237 = icmp ult i32 %1232, %1236
  br i1 %1237, label %1238, label %1261

1238:                                             ; preds = %1214
  %1239 = load ptr, ptr %4, align 8, !tbaa !5
  %1240 = getelementptr inbounds %struct.w2c_hermes, ptr %1239, i32 0, i32 7
  %1241 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %1240, i32 0, i32 0
  %1242 = load ptr, ptr %1241, align 8, !tbaa !17
  %1243 = load i32, ptr %10, align 4, !tbaa !9
  %1244 = zext i32 %1243 to i64
  %1245 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1242, i64 %1244
  %1246 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1245, i32 0, i32 1
  %1247 = load ptr, ptr %1246, align 8, !tbaa !18
  %1248 = icmp ne ptr %1247, null
  br i1 %1248, label %1249, label %1261

1249:                                             ; preds = %1238
  %1250 = load ptr, ptr @w2c_hermes_t2, align 8, !tbaa !5
  %1251 = load ptr, ptr %4, align 8, !tbaa !5
  %1252 = getelementptr inbounds %struct.w2c_hermes, ptr %1251, i32 0, i32 7
  %1253 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %1252, i32 0, i32 0
  %1254 = load ptr, ptr %1253, align 8, !tbaa !17
  %1255 = load i32, ptr %10, align 4, !tbaa !9
  %1256 = zext i32 %1255 to i64
  %1257 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1254, i64 %1256
  %1258 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1257, i32 0, i32 0
  %1259 = load ptr, ptr %1258, align 8, !tbaa !20
  %1260 = call zeroext i1 @func_types_eq(ptr noundef %1250, ptr noundef %1259)
  br label %1261

1261:                                             ; preds = %1249, %1238, %1214
  %1262 = phi i1 [ false, %1238 ], [ false, %1214 ], [ %1260, %1249 ]
  %1263 = xor i1 %1262, true
  %1264 = xor i1 %1263, true
  %1265 = zext i1 %1264 to i32
  %1266 = sext i32 %1265 to i64
  %1267 = call i64 @llvm.expect.i64(i64 %1266, i64 1)
  %1268 = icmp ne i64 %1267, 0
  br i1 %1268, label %1271, label %1269

1269:                                             ; preds = %1261
  call void @wasm_rt_trap(i32 noundef 6) #6
  unreachable

1270:                                             ; No predecessors!
  br label %1271

1271:                                             ; preds = %1270, %1261
  %1272 = phi i1 [ true, %1261 ], [ false, %1270 ]
  %1273 = zext i1 %1272 to i32
  %1274 = load ptr, ptr %4, align 8, !tbaa !5
  %1275 = getelementptr inbounds %struct.w2c_hermes, ptr %1274, i32 0, i32 7
  %1276 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %1275, i32 0, i32 0
  %1277 = load ptr, ptr %1276, align 8, !tbaa !17
  %1278 = load i32, ptr %10, align 4, !tbaa !9
  %1279 = zext i32 %1278 to i64
  %1280 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1277, i64 %1279
  %1281 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1280, i32 0, i32 1
  %1282 = load ptr, ptr %1281, align 8, !tbaa !18
  %1283 = load ptr, ptr %4, align 8, !tbaa !5
  %1284 = getelementptr inbounds %struct.w2c_hermes, ptr %1283, i32 0, i32 7
  %1285 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %1284, i32 0, i32 0
  %1286 = load ptr, ptr %1285, align 8, !tbaa !17
  %1287 = load i32, ptr %10, align 4, !tbaa !9
  %1288 = zext i32 %1287 to i64
  %1289 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1286, i64 %1288
  %1290 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1289, i32 0, i32 2
  %1291 = load ptr, ptr %1290, align 8, !tbaa !21
  %1292 = load i32, ptr %7, align 4, !tbaa !9
  %1293 = load i32, ptr %8, align 4, !tbaa !9
  %1294 = load i32, ptr %9, align 4, !tbaa !9
  call void %1282(ptr noundef %1291, i32 noundef %1292, i32 noundef %1293, i32 noundef %1294)
  br label %1295

1295:                                             ; preds = %1271, %1197
  %1296 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1296, ptr %7, align 4, !tbaa !9
  %1297 = load ptr, ptr %4, align 8, !tbaa !5
  %1298 = getelementptr inbounds %struct.w2c_hermes, ptr %1297, i32 0, i32 6
  %1299 = load i32, ptr %7, align 4, !tbaa !9
  %1300 = zext i32 %1299 to i64
  %1301 = add i64 %1300, 320
  %1302 = call i32 @i32_load8_u(ptr noundef %1298, i64 noundef %1301)
  store i32 %1302, ptr %7, align 4, !tbaa !9
  store i32 1, ptr %8, align 4, !tbaa !9
  %1303 = load i32, ptr %8, align 4, !tbaa !9
  %1304 = load i32, ptr %7, align 4, !tbaa !9
  %1305 = and i32 %1304, %1303
  store i32 %1305, ptr %7, align 4, !tbaa !9
  %1306 = load i32, ptr %7, align 4, !tbaa !9
  %1307 = icmp ne i32 %1306, 0
  %1308 = xor i1 %1307, true
  %1309 = zext i1 %1308 to i32
  store i32 %1309, ptr %7, align 4, !tbaa !9
  %1310 = load i32, ptr %7, align 4, !tbaa !9
  %1311 = icmp ne i32 %1310, 0
  br i1 %1311, label %1312, label %1393

1312:                                             ; preds = %1295
  %1313 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %1313, ptr %7, align 4, !tbaa !9
  %1314 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1314, ptr %8, align 4, !tbaa !9
  store i32 336, ptr %9, align 4, !tbaa !9
  %1315 = load i32, ptr %9, align 4, !tbaa !9
  %1316 = load i32, ptr %8, align 4, !tbaa !9
  %1317 = add i32 %1316, %1315
  store i32 %1317, ptr %8, align 4, !tbaa !9
  store i32 0, ptr %9, align 4, !tbaa !9
  %1318 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %1318, ptr %10, align 4, !tbaa !9
  %1319 = load ptr, ptr %4, align 8, !tbaa !5
  %1320 = getelementptr inbounds %struct.w2c_hermes, ptr %1319, i32 0, i32 6
  %1321 = load i32, ptr %10, align 4, !tbaa !9
  %1322 = zext i32 %1321 to i64
  %1323 = call i32 @i32_load(ptr noundef %1320, i64 noundef %1322)
  store i32 %1323, ptr %10, align 4, !tbaa !9
  %1324 = load ptr, ptr %4, align 8, !tbaa !5
  %1325 = getelementptr inbounds %struct.w2c_hermes, ptr %1324, i32 0, i32 6
  %1326 = load i32, ptr %10, align 4, !tbaa !9
  %1327 = zext i32 %1326 to i64
  %1328 = add i64 %1327, 36
  %1329 = call i32 @i32_load(ptr noundef %1325, i64 noundef %1328)
  store i32 %1329, ptr %10, align 4, !tbaa !9
  %1330 = load i32, ptr %10, align 4, !tbaa !9
  %1331 = load ptr, ptr %4, align 8, !tbaa !5
  %1332 = getelementptr inbounds %struct.w2c_hermes, ptr %1331, i32 0, i32 7
  %1333 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %1332, i32 0, i32 2
  %1334 = load i32, ptr %1333, align 4, !tbaa !11
  %1335 = icmp ult i32 %1330, %1334
  br i1 %1335, label %1336, label %1359

1336:                                             ; preds = %1312
  %1337 = load ptr, ptr %4, align 8, !tbaa !5
  %1338 = getelementptr inbounds %struct.w2c_hermes, ptr %1337, i32 0, i32 7
  %1339 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %1338, i32 0, i32 0
  %1340 = load ptr, ptr %1339, align 8, !tbaa !17
  %1341 = load i32, ptr %10, align 4, !tbaa !9
  %1342 = zext i32 %1341 to i64
  %1343 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1340, i64 %1342
  %1344 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1343, i32 0, i32 1
  %1345 = load ptr, ptr %1344, align 8, !tbaa !18
  %1346 = icmp ne ptr %1345, null
  br i1 %1346, label %1347, label %1359

1347:                                             ; preds = %1336
  %1348 = load ptr, ptr @w2c_hermes_t2, align 8, !tbaa !5
  %1349 = load ptr, ptr %4, align 8, !tbaa !5
  %1350 = getelementptr inbounds %struct.w2c_hermes, ptr %1349, i32 0, i32 7
  %1351 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %1350, i32 0, i32 0
  %1352 = load ptr, ptr %1351, align 8, !tbaa !17
  %1353 = load i32, ptr %10, align 4, !tbaa !9
  %1354 = zext i32 %1353 to i64
  %1355 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1352, i64 %1354
  %1356 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1355, i32 0, i32 0
  %1357 = load ptr, ptr %1356, align 8, !tbaa !20
  %1358 = call zeroext i1 @func_types_eq(ptr noundef %1348, ptr noundef %1357)
  br label %1359

1359:                                             ; preds = %1347, %1336, %1312
  %1360 = phi i1 [ false, %1336 ], [ false, %1312 ], [ %1358, %1347 ]
  %1361 = xor i1 %1360, true
  %1362 = xor i1 %1361, true
  %1363 = zext i1 %1362 to i32
  %1364 = sext i32 %1363 to i64
  %1365 = call i64 @llvm.expect.i64(i64 %1364, i64 1)
  %1366 = icmp ne i64 %1365, 0
  br i1 %1366, label %1369, label %1367

1367:                                             ; preds = %1359
  call void @wasm_rt_trap(i32 noundef 6) #6
  unreachable

1368:                                             ; No predecessors!
  br label %1369

1369:                                             ; preds = %1368, %1359
  %1370 = phi i1 [ true, %1359 ], [ false, %1368 ]
  %1371 = zext i1 %1370 to i32
  %1372 = load ptr, ptr %4, align 8, !tbaa !5
  %1373 = getelementptr inbounds %struct.w2c_hermes, ptr %1372, i32 0, i32 7
  %1374 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %1373, i32 0, i32 0
  %1375 = load ptr, ptr %1374, align 8, !tbaa !17
  %1376 = load i32, ptr %10, align 4, !tbaa !9
  %1377 = zext i32 %1376 to i64
  %1378 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1375, i64 %1377
  %1379 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1378, i32 0, i32 1
  %1380 = load ptr, ptr %1379, align 8, !tbaa !18
  %1381 = load ptr, ptr %4, align 8, !tbaa !5
  %1382 = getelementptr inbounds %struct.w2c_hermes, ptr %1381, i32 0, i32 7
  %1383 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %1382, i32 0, i32 0
  %1384 = load ptr, ptr %1383, align 8, !tbaa !17
  %1385 = load i32, ptr %10, align 4, !tbaa !9
  %1386 = zext i32 %1385 to i64
  %1387 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1384, i64 %1386
  %1388 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1387, i32 0, i32 2
  %1389 = load ptr, ptr %1388, align 8, !tbaa !21
  %1390 = load i32, ptr %7, align 4, !tbaa !9
  %1391 = load i32, ptr %8, align 4, !tbaa !9
  %1392 = load i32, ptr %9, align 4, !tbaa !9
  call void %1380(ptr noundef %1389, i32 noundef %1390, i32 noundef %1391, i32 noundef %1392)
  br label %1393

1393:                                             ; preds = %1369, %1295
  %1394 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1394, ptr %7, align 4, !tbaa !9
  %1395 = load ptr, ptr %4, align 8, !tbaa !5
  %1396 = getelementptr inbounds %struct.w2c_hermes, ptr %1395, i32 0, i32 6
  %1397 = load i32, ptr %7, align 4, !tbaa !9
  %1398 = zext i32 %1397 to i64
  %1399 = add i64 %1398, 344
  %1400 = call i32 @i32_load8_u(ptr noundef %1396, i64 noundef %1399)
  store i32 %1400, ptr %7, align 4, !tbaa !9
  store i32 1, ptr %8, align 4, !tbaa !9
  %1401 = load i32, ptr %8, align 4, !tbaa !9
  %1402 = load i32, ptr %7, align 4, !tbaa !9
  %1403 = and i32 %1402, %1401
  store i32 %1403, ptr %7, align 4, !tbaa !9
  %1404 = load i32, ptr %7, align 4, !tbaa !9
  %1405 = icmp ne i32 %1404, 0
  %1406 = xor i1 %1405, true
  %1407 = zext i1 %1406 to i32
  store i32 %1407, ptr %7, align 4, !tbaa !9
  %1408 = load i32, ptr %7, align 4, !tbaa !9
  %1409 = icmp ne i32 %1408, 0
  br i1 %1409, label %1410, label %1491

1410:                                             ; preds = %1393
  %1411 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %1411, ptr %7, align 4, !tbaa !9
  %1412 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1412, ptr %8, align 4, !tbaa !9
  store i32 360, ptr %9, align 4, !tbaa !9
  %1413 = load i32, ptr %9, align 4, !tbaa !9
  %1414 = load i32, ptr %8, align 4, !tbaa !9
  %1415 = add i32 %1414, %1413
  store i32 %1415, ptr %8, align 4, !tbaa !9
  store i32 0, ptr %9, align 4, !tbaa !9
  %1416 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %1416, ptr %10, align 4, !tbaa !9
  %1417 = load ptr, ptr %4, align 8, !tbaa !5
  %1418 = getelementptr inbounds %struct.w2c_hermes, ptr %1417, i32 0, i32 6
  %1419 = load i32, ptr %10, align 4, !tbaa !9
  %1420 = zext i32 %1419 to i64
  %1421 = call i32 @i32_load(ptr noundef %1418, i64 noundef %1420)
  store i32 %1421, ptr %10, align 4, !tbaa !9
  %1422 = load ptr, ptr %4, align 8, !tbaa !5
  %1423 = getelementptr inbounds %struct.w2c_hermes, ptr %1422, i32 0, i32 6
  %1424 = load i32, ptr %10, align 4, !tbaa !9
  %1425 = zext i32 %1424 to i64
  %1426 = add i64 %1425, 36
  %1427 = call i32 @i32_load(ptr noundef %1423, i64 noundef %1426)
  store i32 %1427, ptr %10, align 4, !tbaa !9
  %1428 = load i32, ptr %10, align 4, !tbaa !9
  %1429 = load ptr, ptr %4, align 8, !tbaa !5
  %1430 = getelementptr inbounds %struct.w2c_hermes, ptr %1429, i32 0, i32 7
  %1431 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %1430, i32 0, i32 2
  %1432 = load i32, ptr %1431, align 4, !tbaa !11
  %1433 = icmp ult i32 %1428, %1432
  br i1 %1433, label %1434, label %1457

1434:                                             ; preds = %1410
  %1435 = load ptr, ptr %4, align 8, !tbaa !5
  %1436 = getelementptr inbounds %struct.w2c_hermes, ptr %1435, i32 0, i32 7
  %1437 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %1436, i32 0, i32 0
  %1438 = load ptr, ptr %1437, align 8, !tbaa !17
  %1439 = load i32, ptr %10, align 4, !tbaa !9
  %1440 = zext i32 %1439 to i64
  %1441 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1438, i64 %1440
  %1442 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1441, i32 0, i32 1
  %1443 = load ptr, ptr %1442, align 8, !tbaa !18
  %1444 = icmp ne ptr %1443, null
  br i1 %1444, label %1445, label %1457

1445:                                             ; preds = %1434
  %1446 = load ptr, ptr @w2c_hermes_t2, align 8, !tbaa !5
  %1447 = load ptr, ptr %4, align 8, !tbaa !5
  %1448 = getelementptr inbounds %struct.w2c_hermes, ptr %1447, i32 0, i32 7
  %1449 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %1448, i32 0, i32 0
  %1450 = load ptr, ptr %1449, align 8, !tbaa !17
  %1451 = load i32, ptr %10, align 4, !tbaa !9
  %1452 = zext i32 %1451 to i64
  %1453 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1450, i64 %1452
  %1454 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1453, i32 0, i32 0
  %1455 = load ptr, ptr %1454, align 8, !tbaa !20
  %1456 = call zeroext i1 @func_types_eq(ptr noundef %1446, ptr noundef %1455)
  br label %1457

1457:                                             ; preds = %1445, %1434, %1410
  %1458 = phi i1 [ false, %1434 ], [ false, %1410 ], [ %1456, %1445 ]
  %1459 = xor i1 %1458, true
  %1460 = xor i1 %1459, true
  %1461 = zext i1 %1460 to i32
  %1462 = sext i32 %1461 to i64
  %1463 = call i64 @llvm.expect.i64(i64 %1462, i64 1)
  %1464 = icmp ne i64 %1463, 0
  br i1 %1464, label %1467, label %1465

1465:                                             ; preds = %1457
  call void @wasm_rt_trap(i32 noundef 6) #6
  unreachable

1466:                                             ; No predecessors!
  br label %1467

1467:                                             ; preds = %1466, %1457
  %1468 = phi i1 [ true, %1457 ], [ false, %1466 ]
  %1469 = zext i1 %1468 to i32
  %1470 = load ptr, ptr %4, align 8, !tbaa !5
  %1471 = getelementptr inbounds %struct.w2c_hermes, ptr %1470, i32 0, i32 7
  %1472 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %1471, i32 0, i32 0
  %1473 = load ptr, ptr %1472, align 8, !tbaa !17
  %1474 = load i32, ptr %10, align 4, !tbaa !9
  %1475 = zext i32 %1474 to i64
  %1476 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1473, i64 %1475
  %1477 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1476, i32 0, i32 1
  %1478 = load ptr, ptr %1477, align 8, !tbaa !18
  %1479 = load ptr, ptr %4, align 8, !tbaa !5
  %1480 = getelementptr inbounds %struct.w2c_hermes, ptr %1479, i32 0, i32 7
  %1481 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %1480, i32 0, i32 0
  %1482 = load ptr, ptr %1481, align 8, !tbaa !17
  %1483 = load i32, ptr %10, align 4, !tbaa !9
  %1484 = zext i32 %1483 to i64
  %1485 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1482, i64 %1484
  %1486 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1485, i32 0, i32 2
  %1487 = load ptr, ptr %1486, align 8, !tbaa !21
  %1488 = load i32, ptr %7, align 4, !tbaa !9
  %1489 = load i32, ptr %8, align 4, !tbaa !9
  %1490 = load i32, ptr %9, align 4, !tbaa !9
  call void %1478(ptr noundef %1487, i32 noundef %1488, i32 noundef %1489, i32 noundef %1490)
  br label %1491

1491:                                             ; preds = %1467, %1393
  %1492 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1492, ptr %7, align 4, !tbaa !9
  %1493 = load ptr, ptr %4, align 8, !tbaa !5
  %1494 = getelementptr inbounds %struct.w2c_hermes, ptr %1493, i32 0, i32 6
  %1495 = load i32, ptr %7, align 4, !tbaa !9
  %1496 = zext i32 %1495 to i64
  %1497 = add i64 %1496, 368
  %1498 = call i32 @i32_load8_u(ptr noundef %1494, i64 noundef %1497)
  store i32 %1498, ptr %7, align 4, !tbaa !9
  store i32 1, ptr %8, align 4, !tbaa !9
  %1499 = load i32, ptr %8, align 4, !tbaa !9
  %1500 = load i32, ptr %7, align 4, !tbaa !9
  %1501 = and i32 %1500, %1499
  store i32 %1501, ptr %7, align 4, !tbaa !9
  %1502 = load i32, ptr %7, align 4, !tbaa !9
  %1503 = icmp ne i32 %1502, 0
  %1504 = xor i1 %1503, true
  %1505 = zext i1 %1504 to i32
  store i32 %1505, ptr %7, align 4, !tbaa !9
  %1506 = load i32, ptr %7, align 4, !tbaa !9
  %1507 = icmp ne i32 %1506, 0
  br i1 %1507, label %1508, label %1589

1508:                                             ; preds = %1491
  %1509 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %1509, ptr %7, align 4, !tbaa !9
  %1510 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1510, ptr %8, align 4, !tbaa !9
  store i32 384, ptr %9, align 4, !tbaa !9
  %1511 = load i32, ptr %9, align 4, !tbaa !9
  %1512 = load i32, ptr %8, align 4, !tbaa !9
  %1513 = add i32 %1512, %1511
  store i32 %1513, ptr %8, align 4, !tbaa !9
  store i32 0, ptr %9, align 4, !tbaa !9
  %1514 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %1514, ptr %10, align 4, !tbaa !9
  %1515 = load ptr, ptr %4, align 8, !tbaa !5
  %1516 = getelementptr inbounds %struct.w2c_hermes, ptr %1515, i32 0, i32 6
  %1517 = load i32, ptr %10, align 4, !tbaa !9
  %1518 = zext i32 %1517 to i64
  %1519 = call i32 @i32_load(ptr noundef %1516, i64 noundef %1518)
  store i32 %1519, ptr %10, align 4, !tbaa !9
  %1520 = load ptr, ptr %4, align 8, !tbaa !5
  %1521 = getelementptr inbounds %struct.w2c_hermes, ptr %1520, i32 0, i32 6
  %1522 = load i32, ptr %10, align 4, !tbaa !9
  %1523 = zext i32 %1522 to i64
  %1524 = add i64 %1523, 36
  %1525 = call i32 @i32_load(ptr noundef %1521, i64 noundef %1524)
  store i32 %1525, ptr %10, align 4, !tbaa !9
  %1526 = load i32, ptr %10, align 4, !tbaa !9
  %1527 = load ptr, ptr %4, align 8, !tbaa !5
  %1528 = getelementptr inbounds %struct.w2c_hermes, ptr %1527, i32 0, i32 7
  %1529 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %1528, i32 0, i32 2
  %1530 = load i32, ptr %1529, align 4, !tbaa !11
  %1531 = icmp ult i32 %1526, %1530
  br i1 %1531, label %1532, label %1555

1532:                                             ; preds = %1508
  %1533 = load ptr, ptr %4, align 8, !tbaa !5
  %1534 = getelementptr inbounds %struct.w2c_hermes, ptr %1533, i32 0, i32 7
  %1535 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %1534, i32 0, i32 0
  %1536 = load ptr, ptr %1535, align 8, !tbaa !17
  %1537 = load i32, ptr %10, align 4, !tbaa !9
  %1538 = zext i32 %1537 to i64
  %1539 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1536, i64 %1538
  %1540 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1539, i32 0, i32 1
  %1541 = load ptr, ptr %1540, align 8, !tbaa !18
  %1542 = icmp ne ptr %1541, null
  br i1 %1542, label %1543, label %1555

1543:                                             ; preds = %1532
  %1544 = load ptr, ptr @w2c_hermes_t2, align 8, !tbaa !5
  %1545 = load ptr, ptr %4, align 8, !tbaa !5
  %1546 = getelementptr inbounds %struct.w2c_hermes, ptr %1545, i32 0, i32 7
  %1547 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %1546, i32 0, i32 0
  %1548 = load ptr, ptr %1547, align 8, !tbaa !17
  %1549 = load i32, ptr %10, align 4, !tbaa !9
  %1550 = zext i32 %1549 to i64
  %1551 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1548, i64 %1550
  %1552 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1551, i32 0, i32 0
  %1553 = load ptr, ptr %1552, align 8, !tbaa !20
  %1554 = call zeroext i1 @func_types_eq(ptr noundef %1544, ptr noundef %1553)
  br label %1555

1555:                                             ; preds = %1543, %1532, %1508
  %1556 = phi i1 [ false, %1532 ], [ false, %1508 ], [ %1554, %1543 ]
  %1557 = xor i1 %1556, true
  %1558 = xor i1 %1557, true
  %1559 = zext i1 %1558 to i32
  %1560 = sext i32 %1559 to i64
  %1561 = call i64 @llvm.expect.i64(i64 %1560, i64 1)
  %1562 = icmp ne i64 %1561, 0
  br i1 %1562, label %1565, label %1563

1563:                                             ; preds = %1555
  call void @wasm_rt_trap(i32 noundef 6) #6
  unreachable

1564:                                             ; No predecessors!
  br label %1565

1565:                                             ; preds = %1564, %1555
  %1566 = phi i1 [ true, %1555 ], [ false, %1564 ]
  %1567 = zext i1 %1566 to i32
  %1568 = load ptr, ptr %4, align 8, !tbaa !5
  %1569 = getelementptr inbounds %struct.w2c_hermes, ptr %1568, i32 0, i32 7
  %1570 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %1569, i32 0, i32 0
  %1571 = load ptr, ptr %1570, align 8, !tbaa !17
  %1572 = load i32, ptr %10, align 4, !tbaa !9
  %1573 = zext i32 %1572 to i64
  %1574 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1571, i64 %1573
  %1575 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1574, i32 0, i32 1
  %1576 = load ptr, ptr %1575, align 8, !tbaa !18
  %1577 = load ptr, ptr %4, align 8, !tbaa !5
  %1578 = getelementptr inbounds %struct.w2c_hermes, ptr %1577, i32 0, i32 7
  %1579 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %1578, i32 0, i32 0
  %1580 = load ptr, ptr %1579, align 8, !tbaa !17
  %1581 = load i32, ptr %10, align 4, !tbaa !9
  %1582 = zext i32 %1581 to i64
  %1583 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1580, i64 %1582
  %1584 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1583, i32 0, i32 2
  %1585 = load ptr, ptr %1584, align 8, !tbaa !21
  %1586 = load i32, ptr %7, align 4, !tbaa !9
  %1587 = load i32, ptr %8, align 4, !tbaa !9
  %1588 = load i32, ptr %9, align 4, !tbaa !9
  call void %1576(ptr noundef %1585, i32 noundef %1586, i32 noundef %1587, i32 noundef %1588)
  br label %1589

1589:                                             ; preds = %1565, %1491
  %1590 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1590, ptr %7, align 4, !tbaa !9
  %1591 = load ptr, ptr %4, align 8, !tbaa !5
  %1592 = getelementptr inbounds %struct.w2c_hermes, ptr %1591, i32 0, i32 6
  %1593 = load i32, ptr %7, align 4, !tbaa !9
  %1594 = zext i32 %1593 to i64
  %1595 = call i32 @i32_load(ptr noundef %1592, i64 noundef %1594)
  store i32 %1595, ptr %7, align 4, !tbaa !9
  %1596 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %1596, ptr %5, align 4, !tbaa !9
  %1597 = load i32, ptr %7, align 4, !tbaa !9
  %1598 = icmp ne i32 %1597, 0
  br i1 %1598, label %1599, label %1600

1599:                                             ; preds = %1589
  br label %21

1600:                                             ; preds = %1589
  br label %1601

1601:                                             ; preds = %1600, %3
  call void @llvm.lifetime.end.p0(i64 4, ptr %10) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %9) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %8) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %7) #5
  ret void
}

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

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"int", !7, i64 0}
!11 = !{!12, !10, i64 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_t2 = 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 zeroext i1 @func_types_eq(ptr noundef, ptr noundef) local_unnamed_addr #0

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

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

; Function Attrs: nounwind uwtable
define dso_local void @w2c_hermes_void0x20hermes0x3A0x3AManagedChunkedList0x3Chermes0x3A0x3Avm0x3A0x3AWeakMapEntrySlot0x2C0x2016ul0x3E0x3A0x3AforEach0x3Cvoid0x20hermes0x3A0x3Avm0x3A0x3AHadesGC0x3A0x3AyoungGenEvacuateImpl0x3Chermes0x3A0x3Avm0x3A0x3AHadesGC0x3A0x3AEvacAcceptor0x3Ctrue0x3E0x3E0x28hermes0x3A0x3Avm0x3A0x3AHadesGC0x3A0x3AEvacAcceptor0x3Ctrue0x3E0x260x2C0x20bool0x290x3A0x3A0x27lambda0x270x28hermes0x3A0x3Avm0x3A0x3AWeakMapEntrySlot0x260x290x3E0x28hermes0x3A0x3Avm0x3A0x3AHadesGC0x3A0x3AEvacAcceptor0x3Ctrue0x3E0x290x20const(ptr noundef %0, i32 noundef %1, i32 noundef %2) local_unnamed_addr #2 {
  %4 = getelementptr inbounds i8, ptr %0, i64 40
  %5 = zext i32 %1 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 %.loopexit, label %.preheader

.preheader:                                       ; preds = %3
  %7 = zext i32 %2 to i64
  %8 = getelementptr inbounds i8, ptr %0, i64 80
  %9 = getelementptr inbounds i8, ptr %0, i64 92
  %10 = load ptr, ptr @w2c_hermes_t2, align 8
  br label %11

11:                                               ; preds = %.preheader, %460
  %.0 = phi i32 [ %461, %460 ], [ %6, %.preheader ]
  %12 = zext i32 %.0 to i64
  %13 = add nuw nsw i64 %12, 8
  %14 = tail call i32 @i32_load8_u(ptr noundef nonnull %4, i64 noundef %13)
  %15 = and i32 %14, 1
  %.not491 = icmp eq i32 %15, 0
  br i1 %.not491, label %16, label %40

16:                                               ; preds = %11
  %17 = add i32 %.0, 24
  %18 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %7)
  %19 = zext i32 %18 to i64
  %20 = add nuw nsw i64 %19, 36
  %21 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %20)
  %22 = load i32, ptr %9, align 4, !tbaa !5
  %23 = icmp ult i32 %21, %22
  br i1 %23, label %24, label %.critedge, !prof !15

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

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

.critedge:                                        ; preds = %24, %16, %30
  tail call void @wasm_rt_trap(i32 noundef 6) #3
  unreachable

33:                                               ; preds = %30
  %34 = load ptr, ptr %8, align 8, !tbaa !16
  %35 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %34, i64 %26
  %36 = getelementptr inbounds i8, ptr %35, i64 8
  %37 = load ptr, ptr %36, align 8, !tbaa !17
  %38 = getelementptr inbounds i8, ptr %35, i64 16
  %39 = load ptr, ptr %38, align 8, !tbaa !21
  tail call void %37(ptr noundef %39, i32 noundef %2, i32 noundef %17, i32 noundef 0) #4
  br label %40

40:                                               ; preds = %33, %11
  %41 = add nuw nsw i64 %12, 32
  %42 = tail call i32 @i32_load8_u(ptr noundef nonnull %4, i64 noundef %41)
  %43 = and i32 %42, 1
  %.not493 = icmp eq i32 %43, 0
  br i1 %.not493, label %44, label %68

44:                                               ; preds = %40
  %45 = add i32 %.0, 48
  %46 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %7)
  %47 = zext i32 %46 to i64
  %48 = add nuw nsw i64 %47, 36
  %49 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %48)
  %50 = load i32, ptr %9, align 4, !tbaa !5
  %51 = icmp ult i32 %49, %50
  br i1 %51, label %52, label %.critedge525, !prof !15

52:                                               ; preds = %44
  %53 = load ptr, ptr %8, align 8, !tbaa !16
  %54 = zext i32 %49 to i64
  %55 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %53, i64 %54
  %56 = getelementptr inbounds i8, ptr %55, i64 8
  %57 = load ptr, ptr %56, align 8, !tbaa !17
  %.not494 = icmp eq ptr %57, null
  br i1 %.not494, label %.critedge525, label %58, !prof !19

58:                                               ; preds = %52
  %59 = load ptr, ptr %55, align 8, !tbaa !20
  %60 = tail call zeroext i1 @func_types_eq(ptr noundef %10, ptr noundef %59)
  br i1 %60, label %61, label %.critedge525, !prof !15

.critedge525:                                     ; preds = %52, %44, %58
  tail call void @wasm_rt_trap(i32 noundef 6) #3
  unreachable

61:                                               ; preds = %58
  %62 = load ptr, ptr %8, align 8, !tbaa !16
  %63 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %62, i64 %54
  %64 = getelementptr inbounds i8, ptr %63, i64 8
  %65 = load ptr, ptr %64, align 8, !tbaa !17
  %66 = getelementptr inbounds i8, ptr %63, i64 16
  %67 = load ptr, ptr %66, align 8, !tbaa !21
  tail call void %65(ptr noundef %67, i32 noundef %2, i32 noundef %45, i32 noundef 0) #4
  br label %68

68:                                               ; preds = %61, %40
  %69 = add nuw nsw i64 %12, 56
  %70 = tail call i32 @i32_load8_u(ptr noundef nonnull %4, i64 noundef %69)
  %71 = and i32 %70, 1
  %.not495 = icmp eq i32 %71, 0
  br i1 %.not495, label %72, label %96

72:                                               ; preds = %68
  %73 = add i32 %.0, 72
  %74 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %7)
  %75 = zext i32 %74 to i64
  %76 = add nuw nsw i64 %75, 36
  %77 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %76)
  %78 = load i32, ptr %9, align 4, !tbaa !5
  %79 = icmp ult i32 %77, %78
  br i1 %79, label %80, label %.critedge527, !prof !15

80:                                               ; preds = %72
  %81 = load ptr, ptr %8, align 8, !tbaa !16
  %82 = zext i32 %77 to i64
  %83 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %81, i64 %82
  %84 = getelementptr inbounds i8, ptr %83, i64 8
  %85 = load ptr, ptr %84, align 8, !tbaa !17
  %.not496 = icmp eq ptr %85, null
  br i1 %.not496, label %.critedge527, label %86, !prof !19

86:                                               ; preds = %80
  %87 = load ptr, ptr %83, align 8, !tbaa !20
  %88 = tail call zeroext i1 @func_types_eq(ptr noundef %10, ptr noundef %87)
  br i1 %88, label %89, label %.critedge527, !prof !15

.critedge527:                                     ; preds = %80, %72, %86
  tail call void @wasm_rt_trap(i32 noundef 6) #3
  unreachable

89:                                               ; preds = %86
  %90 = load ptr, ptr %8, align 8, !tbaa !16
  %91 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %90, i64 %82
  %92 = getelementptr inbounds i8, ptr %91, i64 8
  %93 = load ptr, ptr %92, align 8, !tbaa !17
  %94 = getelementptr inbounds i8, ptr %91, i64 16
  %95 = load ptr, ptr %94, align 8, !tbaa !21
  tail call void %93(ptr noundef %95, i32 noundef %2, i32 noundef %73, i32 noundef 0) #4
  br label %96

96:                                               ; preds = %89, %68
  %97 = add nuw nsw i64 %12, 80
  %98 = tail call i32 @i32_load8_u(ptr noundef nonnull %4, i64 noundef %97)
  %99 = and i32 %98, 1
  %.not497 = icmp eq i32 %99, 0
  br i1 %.not497, label %100, label %124

100:                                              ; preds = %96
  %101 = add i32 %.0, 96
  %102 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %7)
  %103 = zext i32 %102 to i64
  %104 = add nuw nsw i64 %103, 36
  %105 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %104)
  %106 = load i32, ptr %9, align 4, !tbaa !5
  %107 = icmp ult i32 %105, %106
  br i1 %107, label %108, label %.critedge529, !prof !15

108:                                              ; preds = %100
  %109 = load ptr, ptr %8, align 8, !tbaa !16
  %110 = zext i32 %105 to i64
  %111 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %109, i64 %110
  %112 = getelementptr inbounds i8, ptr %111, i64 8
  %113 = load ptr, ptr %112, align 8, !tbaa !17
  %.not498 = icmp eq ptr %113, null
  br i1 %.not498, label %.critedge529, label %114, !prof !19

114:                                              ; preds = %108
  %115 = load ptr, ptr %111, align 8, !tbaa !20
  %116 = tail call zeroext i1 @func_types_eq(ptr noundef %10, ptr noundef %115)
  br i1 %116, label %117, label %.critedge529, !prof !15

.critedge529:                                     ; preds = %108, %100, %114
  tail call void @wasm_rt_trap(i32 noundef 6) #3
  unreachable

117:                                              ; preds = %114
  %118 = load ptr, ptr %8, align 8, !tbaa !16
  %119 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %118, i64 %110
  %120 = getelementptr inbounds i8, ptr %119, i64 8
  %121 = load ptr, ptr %120, align 8, !tbaa !17
  %122 = getelementptr inbounds i8, ptr %119, i64 16
  %123 = load ptr, ptr %122, align 8, !tbaa !21
  tail call void %121(ptr noundef %123, i32 noundef %2, i32 noundef %101, i32 noundef 0) #4
  br label %124

124:                                              ; preds = %117, %96
  %125 = add nuw nsw i64 %12, 104
  %126 = tail call i32 @i32_load8_u(ptr noundef nonnull %4, i64 noundef %125)
  %127 = and i32 %126, 1
  %.not499 = icmp eq i32 %127, 0
  br i1 %.not499, label %128, label %152

128:                                              ; preds = %124
  %129 = add i32 %.0, 120
  %130 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %7)
  %131 = zext i32 %130 to i64
  %132 = add nuw nsw i64 %131, 36
  %133 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %132)
  %134 = load i32, ptr %9, align 4, !tbaa !5
  %135 = icmp ult i32 %133, %134
  br i1 %135, label %136, label %.critedge531, !prof !15

136:                                              ; preds = %128
  %137 = load ptr, ptr %8, align 8, !tbaa !16
  %138 = zext i32 %133 to i64
  %139 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %137, i64 %138
  %140 = getelementptr inbounds i8, ptr %139, i64 8
  %141 = load ptr, ptr %140, align 8, !tbaa !17
  %.not500 = icmp eq ptr %141, null
  br i1 %.not500, label %.critedge531, label %142, !prof !19

142:                                              ; preds = %136
  %143 = load ptr, ptr %139, align 8, !tbaa !20
  %144 = tail call zeroext i1 @func_types_eq(ptr noundef %10, ptr noundef %143)
  br i1 %144, label %145, label %.critedge531, !prof !15

.critedge531:                                     ; preds = %136, %128, %142
  tail call void @wasm_rt_trap(i32 noundef 6) #3
  unreachable

145:                                              ; preds = %142
  %146 = load ptr, ptr %8, align 8, !tbaa !16
  %147 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %146, i64 %138
  %148 = getelementptr inbounds i8, ptr %147, i64 8
  %149 = load ptr, ptr %148, align 8, !tbaa !17
  %150 = getelementptr inbounds i8, ptr %147, i64 16
  %151 = load ptr, ptr %150, align 8, !tbaa !21
  tail call void %149(ptr noundef %151, i32 noundef %2, i32 noundef %129, i32 noundef 0) #4
  br label %152

152:                                              ; preds = %145, %124
  %153 = add nuw nsw i64 %12, 128
  %154 = tail call i32 @i32_load8_u(ptr noundef nonnull %4, i64 noundef %153)
  %155 = and i32 %154, 1
  %.not501 = icmp eq i32 %155, 0
  br i1 %.not501, label %156, label %180

156:                                              ; preds = %152
  %157 = add i32 %.0, 144
  %158 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %7)
  %159 = zext i32 %158 to i64
  %160 = add nuw nsw i64 %159, 36
  %161 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %160)
  %162 = load i32, ptr %9, align 4, !tbaa !5
  %163 = icmp ult i32 %161, %162
  br i1 %163, label %164, label %.critedge533, !prof !15

164:                                              ; preds = %156
  %165 = load ptr, ptr %8, align 8, !tbaa !16
  %166 = zext i32 %161 to i64
  %167 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %165, i64 %166
  %168 = getelementptr inbounds i8, ptr %167, i64 8
  %169 = load ptr, ptr %168, align 8, !tbaa !17
  %.not502 = icmp eq ptr %169, null
  br i1 %.not502, label %.critedge533, label %170, !prof !19

170:                                              ; preds = %164
  %171 = load ptr, ptr %167, align 8, !tbaa !20
  %172 = tail call zeroext i1 @func_types_eq(ptr noundef %10, ptr noundef %171)
  br i1 %172, label %173, label %.critedge533, !prof !15

.critedge533:                                     ; preds = %164, %156, %170
  tail call void @wasm_rt_trap(i32 noundef 6) #3
  unreachable

173:                                              ; preds = %170
  %174 = load ptr, ptr %8, align 8, !tbaa !16
  %175 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %174, i64 %166
  %176 = getelementptr inbounds i8, ptr %175, i64 8
  %177 = load ptr, ptr %176, align 8, !tbaa !17
  %178 = getelementptr inbounds i8, ptr %175, i64 16
  %179 = load ptr, ptr %178, align 8, !tbaa !21
  tail call void %177(ptr noundef %179, i32 noundef %2, i32 noundef %157, i32 noundef 0) #4
  br label %180

180:                                              ; preds = %173, %152
  %181 = add nuw nsw i64 %12, 152
  %182 = tail call i32 @i32_load8_u(ptr noundef nonnull %4, i64 noundef %181)
  %183 = and i32 %182, 1
  %.not503 = icmp eq i32 %183, 0
  br i1 %.not503, label %184, label %208

184:                                              ; preds = %180
  %185 = add i32 %.0, 168
  %186 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %7)
  %187 = zext i32 %186 to i64
  %188 = add nuw nsw i64 %187, 36
  %189 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %188)
  %190 = load i32, ptr %9, align 4, !tbaa !5
  %191 = icmp ult i32 %189, %190
  br i1 %191, label %192, label %.critedge535, !prof !15

192:                                              ; preds = %184
  %193 = load ptr, ptr %8, align 8, !tbaa !16
  %194 = zext i32 %189 to i64
  %195 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %193, i64 %194
  %196 = getelementptr inbounds i8, ptr %195, i64 8
  %197 = load ptr, ptr %196, align 8, !tbaa !17
  %.not504 = icmp eq ptr %197, null
  br i1 %.not504, label %.critedge535, label %198, !prof !19

198:                                              ; preds = %192
  %199 = load ptr, ptr %195, align 8, !tbaa !20
  %200 = tail call zeroext i1 @func_types_eq(ptr noundef %10, ptr noundef %199)
  br i1 %200, label %201, label %.critedge535, !prof !15

.critedge535:                                     ; preds = %192, %184, %198
  tail call void @wasm_rt_trap(i32 noundef 6) #3
  unreachable

201:                                              ; preds = %198
  %202 = load ptr, ptr %8, align 8, !tbaa !16
  %203 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %202, i64 %194
  %204 = getelementptr inbounds i8, ptr %203, i64 8
  %205 = load ptr, ptr %204, align 8, !tbaa !17
  %206 = getelementptr inbounds i8, ptr %203, i64 16
  %207 = load ptr, ptr %206, align 8, !tbaa !21
  tail call void %205(ptr noundef %207, i32 noundef %2, i32 noundef %185, i32 noundef 0) #4
  br label %208

208:                                              ; preds = %201, %180
  %209 = add nuw nsw i64 %12, 176
  %210 = tail call i32 @i32_load8_u(ptr noundef nonnull %4, i64 noundef %209)
  %211 = and i32 %210, 1
  %.not505 = icmp eq i32 %211, 0
  br i1 %.not505, label %212, label %236

212:                                              ; preds = %208
  %213 = add i32 %.0, 192
  %214 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %7)
  %215 = zext i32 %214 to i64
  %216 = add nuw nsw i64 %215, 36
  %217 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %216)
  %218 = load i32, ptr %9, align 4, !tbaa !5
  %219 = icmp ult i32 %217, %218
  br i1 %219, label %220, label %.critedge537, !prof !15

220:                                              ; preds = %212
  %221 = load ptr, ptr %8, align 8, !tbaa !16
  %222 = zext i32 %217 to i64
  %223 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %221, i64 %222
  %224 = getelementptr inbounds i8, ptr %223, i64 8
  %225 = load ptr, ptr %224, align 8, !tbaa !17
  %.not506 = icmp eq ptr %225, null
  br i1 %.not506, label %.critedge537, label %226, !prof !19

226:                                              ; preds = %220
  %227 = load ptr, ptr %223, align 8, !tbaa !20
  %228 = tail call zeroext i1 @func_types_eq(ptr noundef %10, ptr noundef %227)
  br i1 %228, label %229, label %.critedge537, !prof !15

.critedge537:                                     ; preds = %220, %212, %226
  tail call void @wasm_rt_trap(i32 noundef 6) #3
  unreachable

229:                                              ; preds = %226
  %230 = load ptr, ptr %8, align 8, !tbaa !16
  %231 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %230, i64 %222
  %232 = getelementptr inbounds i8, ptr %231, i64 8
  %233 = load ptr, ptr %232, align 8, !tbaa !17
  %234 = getelementptr inbounds i8, ptr %231, i64 16
  %235 = load ptr, ptr %234, align 8, !tbaa !21
  tail call void %233(ptr noundef %235, i32 noundef %2, i32 noundef %213, i32 noundef 0) #4
  br label %236

236:                                              ; preds = %229, %208
  %237 = add nuw nsw i64 %12, 200
  %238 = tail call i32 @i32_load8_u(ptr noundef nonnull %4, i64 noundef %237)
  %239 = and i32 %238, 1
  %.not507 = icmp eq i32 %239, 0
  br i1 %.not507, label %240, label %264

240:                                              ; preds = %236
  %241 = add i32 %.0, 216
  %242 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %7)
  %243 = zext i32 %242 to i64
  %244 = add nuw nsw i64 %243, 36
  %245 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %244)
  %246 = load i32, ptr %9, align 4, !tbaa !5
  %247 = icmp ult i32 %245, %246
  br i1 %247, label %248, label %.critedge539, !prof !15

248:                                              ; preds = %240
  %249 = load ptr, ptr %8, align 8, !tbaa !16
  %250 = zext i32 %245 to i64
  %251 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %249, i64 %250
  %252 = getelementptr inbounds i8, ptr %251, i64 8
  %253 = load ptr, ptr %252, align 8, !tbaa !17
  %.not508 = icmp eq ptr %253, null
  br i1 %.not508, label %.critedge539, label %254, !prof !19

254:                                              ; preds = %248
  %255 = load ptr, ptr %251, align 8, !tbaa !20
  %256 = tail call zeroext i1 @func_types_eq(ptr noundef %10, ptr noundef %255)
  br i1 %256, label %257, label %.critedge539, !prof !15

.critedge539:                                     ; preds = %248, %240, %254
  tail call void @wasm_rt_trap(i32 noundef 6) #3
  unreachable

257:                                              ; preds = %254
  %258 = load ptr, ptr %8, align 8, !tbaa !16
  %259 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %258, i64 %250
  %260 = getelementptr inbounds i8, ptr %259, i64 8
  %261 = load ptr, ptr %260, align 8, !tbaa !17
  %262 = getelementptr inbounds i8, ptr %259, i64 16
  %263 = load ptr, ptr %262, align 8, !tbaa !21
  tail call void %261(ptr noundef %263, i32 noundef %2, i32 noundef %241, i32 noundef 0) #4
  br label %264

264:                                              ; preds = %257, %236
  %265 = add nuw nsw i64 %12, 224
  %266 = tail call i32 @i32_load8_u(ptr noundef nonnull %4, i64 noundef %265)
  %267 = and i32 %266, 1
  %.not509 = icmp eq i32 %267, 0
  br i1 %.not509, label %268, label %292

268:                                              ; preds = %264
  %269 = add i32 %.0, 240
  %270 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %7)
  %271 = zext i32 %270 to i64
  %272 = add nuw nsw i64 %271, 36
  %273 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %272)
  %274 = load i32, ptr %9, align 4, !tbaa !5
  %275 = icmp ult i32 %273, %274
  br i1 %275, label %276, label %.critedge541, !prof !15

276:                                              ; preds = %268
  %277 = load ptr, ptr %8, align 8, !tbaa !16
  %278 = zext i32 %273 to i64
  %279 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %277, i64 %278
  %280 = getelementptr inbounds i8, ptr %279, i64 8
  %281 = load ptr, ptr %280, align 8, !tbaa !17
  %.not510 = icmp eq ptr %281, null
  br i1 %.not510, label %.critedge541, label %282, !prof !19

282:                                              ; preds = %276
  %283 = load ptr, ptr %279, align 8, !tbaa !20
  %284 = tail call zeroext i1 @func_types_eq(ptr noundef %10, ptr noundef %283)
  br i1 %284, label %285, label %.critedge541, !prof !15

.critedge541:                                     ; preds = %276, %268, %282
  tail call void @wasm_rt_trap(i32 noundef 6) #3
  unreachable

285:                                              ; preds = %282
  %286 = load ptr, ptr %8, align 8, !tbaa !16
  %287 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %286, i64 %278
  %288 = getelementptr inbounds i8, ptr %287, i64 8
  %289 = load ptr, ptr %288, align 8, !tbaa !17
  %290 = getelementptr inbounds i8, ptr %287, i64 16
  %291 = load ptr, ptr %290, align 8, !tbaa !21
  tail call void %289(ptr noundef %291, i32 noundef %2, i32 noundef %269, i32 noundef 0) #4
  br label %292

292:                                              ; preds = %285, %264
  %293 = add nuw nsw i64 %12, 248
  %294 = tail call i32 @i32_load8_u(ptr noundef nonnull %4, i64 noundef %293)
  %295 = and i32 %294, 1
  %.not511 = icmp eq i32 %295, 0
  br i1 %.not511, label %296, label %320

296:                                              ; preds = %292
  %297 = add i32 %.0, 264
  %298 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %7)
  %299 = zext i32 %298 to i64
  %300 = add nuw nsw i64 %299, 36
  %301 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %300)
  %302 = load i32, ptr %9, align 4, !tbaa !5
  %303 = icmp ult i32 %301, %302
  br i1 %303, label %304, label %.critedge543, !prof !15

304:                                              ; preds = %296
  %305 = load ptr, ptr %8, align 8, !tbaa !16
  %306 = zext i32 %301 to i64
  %307 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %305, i64 %306
  %308 = getelementptr inbounds i8, ptr %307, i64 8
  %309 = load ptr, ptr %308, align 8, !tbaa !17
  %.not512 = icmp eq ptr %309, null
  br i1 %.not512, label %.critedge543, label %310, !prof !19

310:                                              ; preds = %304
  %311 = load ptr, ptr %307, align 8, !tbaa !20
  %312 = tail call zeroext i1 @func_types_eq(ptr noundef %10, ptr noundef %311)
  br i1 %312, label %313, label %.critedge543, !prof !15

.critedge543:                                     ; preds = %304, %296, %310
  tail call void @wasm_rt_trap(i32 noundef 6) #3
  unreachable

313:                                              ; preds = %310
  %314 = load ptr, ptr %8, align 8, !tbaa !16
  %315 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %314, i64 %306
  %316 = getelementptr inbounds i8, ptr %315, i64 8
  %317 = load ptr, ptr %316, align 8, !tbaa !17
  %318 = getelementptr inbounds i8, ptr %315, i64 16
  %319 = load ptr, ptr %318, align 8, !tbaa !21
  tail call void %317(ptr noundef %319, i32 noundef %2, i32 noundef %297, i32 noundef 0) #4
  br label %320

320:                                              ; preds = %313, %292
  %321 = add nuw nsw i64 %12, 272
  %322 = tail call i32 @i32_load8_u(ptr noundef nonnull %4, i64 noundef %321)
  %323 = and i32 %322, 1
  %.not513 = icmp eq i32 %323, 0
  br i1 %.not513, label %324, label %348

324:                                              ; preds = %320
  %325 = add i32 %.0, 288
  %326 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %7)
  %327 = zext i32 %326 to i64
  %328 = add nuw nsw i64 %327, 36
  %329 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %328)
  %330 = load i32, ptr %9, align 4, !tbaa !5
  %331 = icmp ult i32 %329, %330
  br i1 %331, label %332, label %.critedge545, !prof !15

332:                                              ; preds = %324
  %333 = load ptr, ptr %8, align 8, !tbaa !16
  %334 = zext i32 %329 to i64
  %335 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %333, i64 %334
  %336 = getelementptr inbounds i8, ptr %335, i64 8
  %337 = load ptr, ptr %336, align 8, !tbaa !17
  %.not514 = icmp eq ptr %337, null
  br i1 %.not514, label %.critedge545, label %338, !prof !19

338:                                              ; preds = %332
  %339 = load ptr, ptr %335, align 8, !tbaa !20
  %340 = tail call zeroext i1 @func_types_eq(ptr noundef %10, ptr noundef %339)
  br i1 %340, label %341, label %.critedge545, !prof !15

.critedge545:                                     ; preds = %332, %324, %338
  tail call void @wasm_rt_trap(i32 noundef 6) #3
  unreachable

341:                                              ; preds = %338
  %342 = load ptr, ptr %8, align 8, !tbaa !16
  %343 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %342, i64 %334
  %344 = getelementptr inbounds i8, ptr %343, i64 8
  %345 = load ptr, ptr %344, align 8, !tbaa !17
  %346 = getelementptr inbounds i8, ptr %343, i64 16
  %347 = load ptr, ptr %346, align 8, !tbaa !21
  tail call void %345(ptr noundef %347, i32 noundef %2, i32 noundef %325, i32 noundef 0) #4
  br label %348

348:                                              ; preds = %341, %320
  %349 = add nuw nsw i64 %12, 296
  %350 = tail call i32 @i32_load8_u(ptr noundef nonnull %4, i64 noundef %349)
  %351 = and i32 %350, 1
  %.not515 = icmp eq i32 %351, 0
  br i1 %.not515, label %352, label %376

352:                                              ; preds = %348
  %353 = add i32 %.0, 312
  %354 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %7)
  %355 = zext i32 %354 to i64
  %356 = add nuw nsw i64 %355, 36
  %357 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %356)
  %358 = load i32, ptr %9, align 4, !tbaa !5
  %359 = icmp ult i32 %357, %358
  br i1 %359, label %360, label %.critedge547, !prof !15

360:                                              ; preds = %352
  %361 = load ptr, ptr %8, align 8, !tbaa !16
  %362 = zext i32 %357 to i64
  %363 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %361, i64 %362
  %364 = getelementptr inbounds i8, ptr %363, i64 8
  %365 = load ptr, ptr %364, align 8, !tbaa !17
  %.not516 = icmp eq ptr %365, null
  br i1 %.not516, label %.critedge547, label %366, !prof !19

366:                                              ; preds = %360
  %367 = load ptr, ptr %363, align 8, !tbaa !20
  %368 = tail call zeroext i1 @func_types_eq(ptr noundef %10, ptr noundef %367)
  br i1 %368, label %369, label %.critedge547, !prof !15

.critedge547:                                     ; preds = %360, %352, %366
  tail call void @wasm_rt_trap(i32 noundef 6) #3
  unreachable

369:                                              ; preds = %366
  %370 = load ptr, ptr %8, align 8, !tbaa !16
  %371 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %370, i64 %362
  %372 = getelementptr inbounds i8, ptr %371, i64 8
  %373 = load ptr, ptr %372, align 8, !tbaa !17
  %374 = getelementptr inbounds i8, ptr %371, i64 16
  %375 = load ptr, ptr %374, align 8, !tbaa !21
  tail call void %373(ptr noundef %375, i32 noundef %2, i32 noundef %353, i32 noundef 0) #4
  br label %376

376:                                              ; preds = %369, %348
  %377 = add nuw nsw i64 %12, 320
  %378 = tail call i32 @i32_load8_u(ptr noundef nonnull %4, i64 noundef %377)
  %379 = and i32 %378, 1
  %.not517 = icmp eq i32 %379, 0
  br i1 %.not517, label %380, label %404

380:                                              ; preds = %376
  %381 = add i32 %.0, 336
  %382 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %7)
  %383 = zext i32 %382 to i64
  %384 = add nuw nsw i64 %383, 36
  %385 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %384)
  %386 = load i32, ptr %9, align 4, !tbaa !5
  %387 = icmp ult i32 %385, %386
  br i1 %387, label %388, label %.critedge549, !prof !15

388:                                              ; preds = %380
  %389 = load ptr, ptr %8, align 8, !tbaa !16
  %390 = zext i32 %385 to i64
  %391 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %389, i64 %390
  %392 = getelementptr inbounds i8, ptr %391, i64 8
  %393 = load ptr, ptr %392, align 8, !tbaa !17
  %.not518 = icmp eq ptr %393, null
  br i1 %.not518, label %.critedge549, label %394, !prof !19

394:                                              ; preds = %388
  %395 = load ptr, ptr %391, align 8, !tbaa !20
  %396 = tail call zeroext i1 @func_types_eq(ptr noundef %10, ptr noundef %395)
  br i1 %396, label %397, label %.critedge549, !prof !15

.critedge549:                                     ; preds = %388, %380, %394
  tail call void @wasm_rt_trap(i32 noundef 6) #3
  unreachable

397:                                              ; preds = %394
  %398 = load ptr, ptr %8, align 8, !tbaa !16
  %399 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %398, i64 %390
  %400 = getelementptr inbounds i8, ptr %399, i64 8
  %401 = load ptr, ptr %400, align 8, !tbaa !17
  %402 = getelementptr inbounds i8, ptr %399, i64 16
  %403 = load ptr, ptr %402, align 8, !tbaa !21
  tail call void %401(ptr noundef %403, i32 noundef %2, i32 noundef %381, i32 noundef 0) #4
  br label %404

404:                                              ; preds = %397, %376
  %405 = add nuw nsw i64 %12, 344
  %406 = tail call i32 @i32_load8_u(ptr noundef nonnull %4, i64 noundef %405)
  %407 = and i32 %406, 1
  %.not519 = icmp eq i32 %407, 0
  br i1 %.not519, label %408, label %432

408:                                              ; preds = %404
  %409 = add i32 %.0, 360
  %410 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %7)
  %411 = zext i32 %410 to i64
  %412 = add nuw nsw i64 %411, 36
  %413 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %412)
  %414 = load i32, ptr %9, align 4, !tbaa !5
  %415 = icmp ult i32 %413, %414
  br i1 %415, label %416, label %.critedge551, !prof !15

416:                                              ; preds = %408
  %417 = load ptr, ptr %8, align 8, !tbaa !16
  %418 = zext i32 %413 to i64
  %419 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %417, i64 %418
  %420 = getelementptr inbounds i8, ptr %419, i64 8
  %421 = load ptr, ptr %420, align 8, !tbaa !17
  %.not520 = icmp eq ptr %421, null
  br i1 %.not520, label %.critedge551, label %422, !prof !19

422:                                              ; preds = %416
  %423 = load ptr, ptr %419, align 8, !tbaa !20
  %424 = tail call zeroext i1 @func_types_eq(ptr noundef %10, ptr noundef %423)
  br i1 %424, label %425, label %.critedge551, !prof !15

.critedge551:                                     ; preds = %416, %408, %422
  tail call void @wasm_rt_trap(i32 noundef 6) #3
  unreachable

425:                                              ; preds = %422
  %426 = load ptr, ptr %8, align 8, !tbaa !16
  %427 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %426, i64 %418
  %428 = getelementptr inbounds i8, ptr %427, i64 8
  %429 = load ptr, ptr %428, align 8, !tbaa !17
  %430 = getelementptr inbounds i8, ptr %427, i64 16
  %431 = load ptr, ptr %430, align 8, !tbaa !21
  tail call void %429(ptr noundef %431, i32 noundef %2, i32 noundef %409, i32 noundef 0) #4
  br label %432

432:                                              ; preds = %425, %404
  %433 = add nuw nsw i64 %12, 368
  %434 = tail call i32 @i32_load8_u(ptr noundef nonnull %4, i64 noundef %433)
  %435 = and i32 %434, 1
  %.not521 = icmp eq i32 %435, 0
  br i1 %.not521, label %436, label %460

436:                                              ; preds = %432
  %437 = add i32 %.0, 384
  %438 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %7)
  %439 = zext i32 %438 to i64
  %440 = add nuw nsw i64 %439, 36
  %441 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %440)
  %442 = load i32, ptr %9, align 4, !tbaa !5
  %443 = icmp ult i32 %441, %442
  br i1 %443, label %444, label %.critedge553, !prof !15

444:                                              ; preds = %436
  %445 = load ptr, ptr %8, align 8, !tbaa !16
  %446 = zext i32 %441 to i64
  %447 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %445, i64 %446
  %448 = getelementptr inbounds i8, ptr %447, i64 8
  %449 = load ptr, ptr %448, align 8, !tbaa !17
  %.not522 = icmp eq ptr %449, null
  br i1 %.not522, label %.critedge553, label %450, !prof !19

450:                                              ; preds = %444
  %451 = load ptr, ptr %447, align 8, !tbaa !20
  %452 = tail call zeroext i1 @func_types_eq(ptr noundef %10, ptr noundef %451)
  br i1 %452, label %453, label %.critedge553, !prof !15

.critedge553:                                     ; preds = %444, %436, %450
  tail call void @wasm_rt_trap(i32 noundef 6) #3
  unreachable

453:                                              ; preds = %450
  %454 = load ptr, ptr %8, align 8, !tbaa !16
  %455 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %454, i64 %446
  %456 = getelementptr inbounds i8, ptr %455, i64 8
  %457 = load ptr, ptr %456, align 8, !tbaa !17
  %458 = getelementptr inbounds i8, ptr %455, i64 16
  %459 = load ptr, ptr %458, align 8, !tbaa !21
  tail call void %457(ptr noundef %459, i32 noundef %2, i32 noundef %437, i32 noundef 0) #4
  br label %460

460:                                              ; preds = %453, %432
  %461 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %12)
  %.not523 = icmp eq i32 %461, 0
  br i1 %.not523, label %.loopexit, label %11

.loopexit:                                        ; preds = %460, %3
  ret void
}

attributes #0 = { inlinehint nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #1 = { noreturn "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #2 = { 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 #3 = { noreturn nounwind }
attributes #4 = { nounwind }

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !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 = !{!18, !7, i64 0}
!21 = !{!18, !7, i64 16}


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