; 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_t0 = 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_void0x20hermes0x3A0x3AManagedChunkedList0x3Chermes0x3A0x3Avm0x3A0x3AWeakRefSlot0x2C0x2016ul0x3E0x3A0x3AforEach0x3Chermes0x3A0x3Avm0x3A0x3AGCBase0x3A0x3AmarkWeakRoots0x28hermes0x3A0x3Avm0x3A0x3AWeakRootAcceptor0x260x2C0x20bool0x290x3A0x3A0x27lambda0x270x28hermes0x3A0x3Avm0x3A0x3AWeakRefSlot0x260x290x3E0x28hermes0x3A0x3Avm0x3A0x3AGCBase0x3A0x3AmarkWeakRoots0x28hermes0x3A0x3Avm0x3A0x3AWeakRootAcceptor0x260x2C0x20bool0x290x3A0x3A0x27lambda0x270x28hermes0x3A0x3Avm0x3A0x3AWeakRefSlot0x260x290x290x20const(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
  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
  %10 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %10, ptr %7, align 4, !tbaa !9
  %11 = load ptr, ptr %4, align 8, !tbaa !5
  %12 = getelementptr inbounds %struct.w2c_hermes, ptr %11, i32 0, i32 6
  %13 = load i32, ptr %7, align 4, !tbaa !9
  %14 = zext i32 %13 to i64
  %15 = call i32 @i32_load(ptr noundef %12, i64 noundef %14)
  store i32 %15, ptr %7, align 4, !tbaa !9
  %16 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %16, ptr %5, align 4, !tbaa !9
  %17 = load i32, ptr %7, align 4, !tbaa !9
  %18 = icmp ne i32 %17, 0
  br i1 %18, label %19, label %1586

19:                                               ; preds = %3
  br label %20

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

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

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

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

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

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

93:                                               ; No predecessors!
  br label %94

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

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

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

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

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

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

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

190:                                              ; No predecessors!
  br label %191

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

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

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

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

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

278:                                              ; preds = %266, %255, %231
  %279 = phi i1 [ false, %255 ], [ false, %231 ], [ %277, %266 ]
  %280 = xor i1 %279, true
  %281 = xor i1 %280, true
  %282 = zext i1 %281 to i32
  %283 = sext i32 %282 to i64
  %284 = call i64 @llvm.expect.i64(i64 %283, i64 1)
  %285 = icmp ne i64 %284, 0
  br i1 %285, label %288, label %286

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

287:                                              ; No predecessors!
  br label %288

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

311:                                              ; preds = %288, %214
  %312 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %312, ptr %7, align 4, !tbaa !9
  %313 = load ptr, ptr %4, align 8, !tbaa !5
  %314 = getelementptr inbounds %struct.w2c_hermes, ptr %313, i32 0, i32 6
  %315 = load i32, ptr %7, align 4, !tbaa !9
  %316 = zext i32 %315 to i64
  %317 = add i64 %316, 32
  %318 = call i32 @i32_load8_u(ptr noundef %314, i64 noundef %317)
  store i32 %318, ptr %7, align 4, !tbaa !9
  store i32 1, ptr %8, align 4, !tbaa !9
  %319 = load i32, ptr %8, align 4, !tbaa !9
  %320 = load i32, ptr %7, align 4, !tbaa !9
  %321 = and i32 %320, %319
  store i32 %321, ptr %7, align 4, !tbaa !9
  %322 = load i32, ptr %7, align 4, !tbaa !9
  %323 = icmp ne i32 %322, 0
  %324 = xor i1 %323, true
  %325 = zext i1 %324 to i32
  store i32 %325, ptr %7, align 4, !tbaa !9
  %326 = load i32, ptr %7, align 4, !tbaa !9
  %327 = icmp ne i32 %326, 0
  br i1 %327, label %328, label %408

328:                                              ; preds = %311
  %329 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %329, ptr %7, align 4, !tbaa !9
  %330 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %330, ptr %8, align 4, !tbaa !9
  store i32 28, ptr %9, align 4, !tbaa !9
  %331 = load i32, ptr %9, align 4, !tbaa !9
  %332 = load i32, ptr %8, align 4, !tbaa !9
  %333 = add i32 %332, %331
  store i32 %333, ptr %8, align 4, !tbaa !9
  %334 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %334, ptr %9, align 4, !tbaa !9
  %335 = load ptr, ptr %4, align 8, !tbaa !5
  %336 = getelementptr inbounds %struct.w2c_hermes, ptr %335, i32 0, i32 6
  %337 = load i32, ptr %9, align 4, !tbaa !9
  %338 = zext i32 %337 to i64
  %339 = call i32 @i32_load(ptr noundef %336, i64 noundef %338)
  store i32 %339, ptr %9, align 4, !tbaa !9
  %340 = load ptr, ptr %4, align 8, !tbaa !5
  %341 = getelementptr inbounds %struct.w2c_hermes, ptr %340, i32 0, i32 6
  %342 = load i32, ptr %9, align 4, !tbaa !9
  %343 = zext i32 %342 to i64
  %344 = add i64 %343, 16
  %345 = call i32 @i32_load(ptr noundef %341, i64 noundef %344)
  store i32 %345, ptr %9, align 4, !tbaa !9
  %346 = load i32, ptr %9, align 4, !tbaa !9
  %347 = load ptr, ptr %4, align 8, !tbaa !5
  %348 = getelementptr inbounds %struct.w2c_hermes, ptr %347, i32 0, i32 7
  %349 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %348, i32 0, i32 2
  %350 = load i32, ptr %349, align 4, !tbaa !11
  %351 = icmp ult i32 %346, %350
  br i1 %351, label %352, label %375

352:                                              ; preds = %328
  %353 = load ptr, ptr %4, align 8, !tbaa !5
  %354 = getelementptr inbounds %struct.w2c_hermes, ptr %353, i32 0, i32 7
  %355 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %354, i32 0, i32 0
  %356 = load ptr, ptr %355, align 8, !tbaa !17
  %357 = load i32, ptr %9, align 4, !tbaa !9
  %358 = zext i32 %357 to i64
  %359 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %356, i64 %358
  %360 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %359, i32 0, i32 1
  %361 = load ptr, ptr %360, align 8, !tbaa !18
  %362 = icmp ne ptr %361, null
  br i1 %362, label %363, label %375

363:                                              ; preds = %352
  %364 = load ptr, ptr @w2c_hermes_t0, align 8, !tbaa !5
  %365 = load ptr, ptr %4, align 8, !tbaa !5
  %366 = getelementptr inbounds %struct.w2c_hermes, ptr %365, i32 0, i32 7
  %367 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %366, i32 0, i32 0
  %368 = load ptr, ptr %367, align 8, !tbaa !17
  %369 = load i32, ptr %9, align 4, !tbaa !9
  %370 = zext i32 %369 to i64
  %371 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %368, i64 %370
  %372 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %371, i32 0, i32 0
  %373 = load ptr, ptr %372, align 8, !tbaa !20
  %374 = call zeroext i1 @func_types_eq(ptr noundef %364, ptr noundef %373)
  br label %375

375:                                              ; preds = %363, %352, %328
  %376 = phi i1 [ false, %352 ], [ false, %328 ], [ %374, %363 ]
  %377 = xor i1 %376, true
  %378 = xor i1 %377, true
  %379 = zext i1 %378 to i32
  %380 = sext i32 %379 to i64
  %381 = call i64 @llvm.expect.i64(i64 %380, i64 1)
  %382 = icmp ne i64 %381, 0
  br i1 %382, label %385, label %383

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

384:                                              ; No predecessors!
  br label %385

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

408:                                              ; preds = %385, %311
  %409 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %409, ptr %7, align 4, !tbaa !9
  %410 = load ptr, ptr %4, align 8, !tbaa !5
  %411 = getelementptr inbounds %struct.w2c_hermes, ptr %410, i32 0, i32 6
  %412 = load i32, ptr %7, align 4, !tbaa !9
  %413 = zext i32 %412 to i64
  %414 = add i64 %413, 40
  %415 = call i32 @i32_load8_u(ptr noundef %411, i64 noundef %414)
  store i32 %415, ptr %7, align 4, !tbaa !9
  store i32 1, ptr %8, align 4, !tbaa !9
  %416 = load i32, ptr %8, align 4, !tbaa !9
  %417 = load i32, ptr %7, align 4, !tbaa !9
  %418 = and i32 %417, %416
  store i32 %418, ptr %7, align 4, !tbaa !9
  %419 = load i32, ptr %7, align 4, !tbaa !9
  %420 = icmp ne i32 %419, 0
  %421 = xor i1 %420, true
  %422 = zext i1 %421 to i32
  store i32 %422, ptr %7, align 4, !tbaa !9
  %423 = load i32, ptr %7, align 4, !tbaa !9
  %424 = icmp ne i32 %423, 0
  br i1 %424, label %425, label %505

425:                                              ; preds = %408
  %426 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %426, ptr %7, align 4, !tbaa !9
  %427 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %427, ptr %8, align 4, !tbaa !9
  store i32 36, ptr %9, align 4, !tbaa !9
  %428 = load i32, ptr %9, align 4, !tbaa !9
  %429 = load i32, ptr %8, align 4, !tbaa !9
  %430 = add i32 %429, %428
  store i32 %430, ptr %8, align 4, !tbaa !9
  %431 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %431, ptr %9, align 4, !tbaa !9
  %432 = load ptr, ptr %4, align 8, !tbaa !5
  %433 = getelementptr inbounds %struct.w2c_hermes, ptr %432, i32 0, i32 6
  %434 = load i32, ptr %9, align 4, !tbaa !9
  %435 = zext i32 %434 to i64
  %436 = call i32 @i32_load(ptr noundef %433, i64 noundef %435)
  store i32 %436, ptr %9, 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 %9, align 4, !tbaa !9
  %440 = zext i32 %439 to i64
  %441 = add i64 %440, 16
  %442 = call i32 @i32_load(ptr noundef %438, i64 noundef %441)
  store i32 %442, ptr %9, align 4, !tbaa !9
  %443 = load i32, ptr %9, align 4, !tbaa !9
  %444 = load ptr, ptr %4, align 8, !tbaa !5
  %445 = getelementptr inbounds %struct.w2c_hermes, ptr %444, i32 0, i32 7
  %446 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %445, i32 0, i32 2
  %447 = load i32, ptr %446, align 4, !tbaa !11
  %448 = icmp ult i32 %443, %447
  br i1 %448, label %449, label %472

449:                                              ; preds = %425
  %450 = load ptr, ptr %4, align 8, !tbaa !5
  %451 = getelementptr inbounds %struct.w2c_hermes, ptr %450, i32 0, i32 7
  %452 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %451, i32 0, i32 0
  %453 = load ptr, ptr %452, align 8, !tbaa !17
  %454 = load i32, ptr %9, align 4, !tbaa !9
  %455 = zext i32 %454 to i64
  %456 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %453, i64 %455
  %457 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %456, i32 0, i32 1
  %458 = load ptr, ptr %457, align 8, !tbaa !18
  %459 = icmp ne ptr %458, null
  br i1 %459, label %460, label %472

460:                                              ; preds = %449
  %461 = load ptr, ptr @w2c_hermes_t0, align 8, !tbaa !5
  %462 = load ptr, ptr %4, align 8, !tbaa !5
  %463 = getelementptr inbounds %struct.w2c_hermes, ptr %462, i32 0, i32 7
  %464 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %463, i32 0, i32 0
  %465 = load ptr, ptr %464, align 8, !tbaa !17
  %466 = load i32, ptr %9, align 4, !tbaa !9
  %467 = zext i32 %466 to i64
  %468 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %465, i64 %467
  %469 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %468, i32 0, i32 0
  %470 = load ptr, ptr %469, align 8, !tbaa !20
  %471 = call zeroext i1 @func_types_eq(ptr noundef %461, ptr noundef %470)
  br label %472

472:                                              ; preds = %460, %449, %425
  %473 = phi i1 [ false, %449 ], [ false, %425 ], [ %471, %460 ]
  %474 = xor i1 %473, true
  %475 = xor i1 %474, true
  %476 = zext i1 %475 to i32
  %477 = sext i32 %476 to i64
  %478 = call i64 @llvm.expect.i64(i64 %477, i64 1)
  %479 = icmp ne i64 %478, 0
  br i1 %479, label %482, label %480

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

481:                                              ; No predecessors!
  br label %482

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

505:                                              ; preds = %482, %408
  %506 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %506, ptr %7, align 4, !tbaa !9
  %507 = load ptr, ptr %4, align 8, !tbaa !5
  %508 = getelementptr inbounds %struct.w2c_hermes, ptr %507, i32 0, i32 6
  %509 = load i32, ptr %7, align 4, !tbaa !9
  %510 = zext i32 %509 to i64
  %511 = add i64 %510, 48
  %512 = call i32 @i32_load8_u(ptr noundef %508, i64 noundef %511)
  store i32 %512, ptr %7, align 4, !tbaa !9
  store i32 1, ptr %8, align 4, !tbaa !9
  %513 = load i32, ptr %8, align 4, !tbaa !9
  %514 = load i32, ptr %7, align 4, !tbaa !9
  %515 = and i32 %514, %513
  store i32 %515, ptr %7, align 4, !tbaa !9
  %516 = load i32, ptr %7, align 4, !tbaa !9
  %517 = icmp ne i32 %516, 0
  %518 = xor i1 %517, true
  %519 = zext i1 %518 to i32
  store i32 %519, ptr %7, align 4, !tbaa !9
  %520 = load i32, ptr %7, align 4, !tbaa !9
  %521 = icmp ne i32 %520, 0
  br i1 %521, label %522, label %602

522:                                              ; preds = %505
  %523 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %523, ptr %7, align 4, !tbaa !9
  %524 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %524, ptr %8, align 4, !tbaa !9
  store i32 44, ptr %9, align 4, !tbaa !9
  %525 = load i32, ptr %9, align 4, !tbaa !9
  %526 = load i32, ptr %8, align 4, !tbaa !9
  %527 = add i32 %526, %525
  store i32 %527, ptr %8, align 4, !tbaa !9
  %528 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %528, ptr %9, align 4, !tbaa !9
  %529 = load ptr, ptr %4, align 8, !tbaa !5
  %530 = getelementptr inbounds %struct.w2c_hermes, ptr %529, i32 0, i32 6
  %531 = load i32, ptr %9, align 4, !tbaa !9
  %532 = zext i32 %531 to i64
  %533 = call i32 @i32_load(ptr noundef %530, i64 noundef %532)
  store i32 %533, ptr %9, align 4, !tbaa !9
  %534 = load ptr, ptr %4, align 8, !tbaa !5
  %535 = getelementptr inbounds %struct.w2c_hermes, ptr %534, i32 0, i32 6
  %536 = load i32, ptr %9, align 4, !tbaa !9
  %537 = zext i32 %536 to i64
  %538 = add i64 %537, 16
  %539 = call i32 @i32_load(ptr noundef %535, i64 noundef %538)
  store i32 %539, ptr %9, align 4, !tbaa !9
  %540 = load i32, ptr %9, align 4, !tbaa !9
  %541 = load ptr, ptr %4, align 8, !tbaa !5
  %542 = getelementptr inbounds %struct.w2c_hermes, ptr %541, i32 0, i32 7
  %543 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %542, i32 0, i32 2
  %544 = load i32, ptr %543, align 4, !tbaa !11
  %545 = icmp ult i32 %540, %544
  br i1 %545, label %546, label %569

546:                                              ; preds = %522
  %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 0
  %550 = load ptr, ptr %549, align 8, !tbaa !17
  %551 = load i32, ptr %9, align 4, !tbaa !9
  %552 = zext i32 %551 to i64
  %553 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %550, i64 %552
  %554 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %553, i32 0, i32 1
  %555 = load ptr, ptr %554, align 8, !tbaa !18
  %556 = icmp ne ptr %555, null
  br i1 %556, label %557, label %569

557:                                              ; preds = %546
  %558 = load ptr, ptr @w2c_hermes_t0, align 8, !tbaa !5
  %559 = load ptr, ptr %4, align 8, !tbaa !5
  %560 = getelementptr inbounds %struct.w2c_hermes, ptr %559, i32 0, i32 7
  %561 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %560, i32 0, i32 0
  %562 = load ptr, ptr %561, align 8, !tbaa !17
  %563 = load i32, ptr %9, align 4, !tbaa !9
  %564 = zext i32 %563 to i64
  %565 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %562, i64 %564
  %566 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %565, i32 0, i32 0
  %567 = load ptr, ptr %566, align 8, !tbaa !20
  %568 = call zeroext i1 @func_types_eq(ptr noundef %558, ptr noundef %567)
  br label %569

569:                                              ; preds = %557, %546, %522
  %570 = phi i1 [ false, %546 ], [ false, %522 ], [ %568, %557 ]
  %571 = xor i1 %570, true
  %572 = xor i1 %571, true
  %573 = zext i1 %572 to i32
  %574 = sext i32 %573 to i64
  %575 = call i64 @llvm.expect.i64(i64 %574, i64 1)
  %576 = icmp ne i64 %575, 0
  br i1 %576, label %579, label %577

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

578:                                              ; No predecessors!
  br label %579

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

602:                                              ; preds = %579, %505
  %603 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %603, ptr %7, align 4, !tbaa !9
  %604 = load ptr, ptr %4, align 8, !tbaa !5
  %605 = getelementptr inbounds %struct.w2c_hermes, ptr %604, i32 0, i32 6
  %606 = load i32, ptr %7, align 4, !tbaa !9
  %607 = zext i32 %606 to i64
  %608 = add i64 %607, 56
  %609 = call i32 @i32_load8_u(ptr noundef %605, i64 noundef %608)
  store i32 %609, ptr %7, align 4, !tbaa !9
  store i32 1, ptr %8, align 4, !tbaa !9
  %610 = load i32, ptr %8, align 4, !tbaa !9
  %611 = load i32, ptr %7, align 4, !tbaa !9
  %612 = and i32 %611, %610
  store i32 %612, ptr %7, align 4, !tbaa !9
  %613 = load i32, ptr %7, align 4, !tbaa !9
  %614 = icmp ne i32 %613, 0
  %615 = xor i1 %614, true
  %616 = zext i1 %615 to i32
  store i32 %616, ptr %7, align 4, !tbaa !9
  %617 = load i32, ptr %7, align 4, !tbaa !9
  %618 = icmp ne i32 %617, 0
  br i1 %618, label %619, label %699

619:                                              ; preds = %602
  %620 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %620, ptr %7, align 4, !tbaa !9
  %621 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %621, ptr %8, align 4, !tbaa !9
  store i32 52, ptr %9, align 4, !tbaa !9
  %622 = load i32, ptr %9, align 4, !tbaa !9
  %623 = load i32, ptr %8, align 4, !tbaa !9
  %624 = add i32 %623, %622
  store i32 %624, ptr %8, align 4, !tbaa !9
  %625 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %625, ptr %9, align 4, !tbaa !9
  %626 = load ptr, ptr %4, align 8, !tbaa !5
  %627 = getelementptr inbounds %struct.w2c_hermes, ptr %626, i32 0, i32 6
  %628 = load i32, ptr %9, align 4, !tbaa !9
  %629 = zext i32 %628 to i64
  %630 = call i32 @i32_load(ptr noundef %627, i64 noundef %629)
  store i32 %630, ptr %9, align 4, !tbaa !9
  %631 = load ptr, ptr %4, align 8, !tbaa !5
  %632 = getelementptr inbounds %struct.w2c_hermes, ptr %631, i32 0, i32 6
  %633 = load i32, ptr %9, align 4, !tbaa !9
  %634 = zext i32 %633 to i64
  %635 = add i64 %634, 16
  %636 = call i32 @i32_load(ptr noundef %632, i64 noundef %635)
  store i32 %636, ptr %9, align 4, !tbaa !9
  %637 = load i32, ptr %9, align 4, !tbaa !9
  %638 = load ptr, ptr %4, align 8, !tbaa !5
  %639 = getelementptr inbounds %struct.w2c_hermes, ptr %638, i32 0, i32 7
  %640 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %639, i32 0, i32 2
  %641 = load i32, ptr %640, align 4, !tbaa !11
  %642 = icmp ult i32 %637, %641
  br i1 %642, label %643, label %666

643:                                              ; preds = %619
  %644 = load ptr, ptr %4, align 8, !tbaa !5
  %645 = getelementptr inbounds %struct.w2c_hermes, ptr %644, i32 0, i32 7
  %646 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %645, i32 0, i32 0
  %647 = load ptr, ptr %646, align 8, !tbaa !17
  %648 = load i32, ptr %9, align 4, !tbaa !9
  %649 = zext i32 %648 to i64
  %650 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %647, i64 %649
  %651 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %650, i32 0, i32 1
  %652 = load ptr, ptr %651, align 8, !tbaa !18
  %653 = icmp ne ptr %652, null
  br i1 %653, label %654, label %666

654:                                              ; preds = %643
  %655 = load ptr, ptr @w2c_hermes_t0, align 8, !tbaa !5
  %656 = load ptr, ptr %4, align 8, !tbaa !5
  %657 = getelementptr inbounds %struct.w2c_hermes, ptr %656, i32 0, i32 7
  %658 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %657, i32 0, i32 0
  %659 = load ptr, ptr %658, align 8, !tbaa !17
  %660 = load i32, ptr %9, align 4, !tbaa !9
  %661 = zext i32 %660 to i64
  %662 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %659, i64 %661
  %663 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %662, i32 0, i32 0
  %664 = load ptr, ptr %663, align 8, !tbaa !20
  %665 = call zeroext i1 @func_types_eq(ptr noundef %655, ptr noundef %664)
  br label %666

666:                                              ; preds = %654, %643, %619
  %667 = phi i1 [ false, %643 ], [ false, %619 ], [ %665, %654 ]
  %668 = xor i1 %667, true
  %669 = xor i1 %668, true
  %670 = zext i1 %669 to i32
  %671 = sext i32 %670 to i64
  %672 = call i64 @llvm.expect.i64(i64 %671, i64 1)
  %673 = icmp ne i64 %672, 0
  br i1 %673, label %676, label %674

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

675:                                              ; No predecessors!
  br label %676

676:                                              ; preds = %675, %666
  %677 = phi i1 [ true, %666 ], [ false, %675 ]
  %678 = zext i1 %677 to i32
  %679 = load ptr, ptr %4, align 8, !tbaa !5
  %680 = getelementptr inbounds %struct.w2c_hermes, ptr %679, i32 0, i32 7
  %681 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %680, i32 0, i32 0
  %682 = load ptr, ptr %681, align 8, !tbaa !17
  %683 = load i32, ptr %9, align 4, !tbaa !9
  %684 = zext i32 %683 to i64
  %685 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %682, i64 %684
  %686 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %685, i32 0, i32 1
  %687 = load ptr, ptr %686, align 8, !tbaa !18
  %688 = load ptr, ptr %4, align 8, !tbaa !5
  %689 = getelementptr inbounds %struct.w2c_hermes, ptr %688, i32 0, i32 7
  %690 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %689, i32 0, i32 0
  %691 = load ptr, ptr %690, align 8, !tbaa !17
  %692 = load i32, ptr %9, align 4, !tbaa !9
  %693 = zext i32 %692 to i64
  %694 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %691, i64 %693
  %695 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %694, i32 0, i32 2
  %696 = load ptr, ptr %695, align 8, !tbaa !21
  %697 = load i32, ptr %7, align 4, !tbaa !9
  %698 = load i32, ptr %8, align 4, !tbaa !9
  call void %687(ptr noundef %696, i32 noundef %697, i32 noundef %698)
  br label %699

699:                                              ; preds = %676, %602
  %700 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %700, ptr %7, align 4, !tbaa !9
  store i32 -64, ptr %8, align 4, !tbaa !9
  %701 = load i32, ptr %8, align 4, !tbaa !9
  %702 = load i32, ptr %7, align 4, !tbaa !9
  %703 = sub i32 %702, %701
  store i32 %703, ptr %7, align 4, !tbaa !9
  %704 = load ptr, ptr %4, align 8, !tbaa !5
  %705 = getelementptr inbounds %struct.w2c_hermes, ptr %704, i32 0, i32 6
  %706 = load i32, ptr %7, align 4, !tbaa !9
  %707 = zext i32 %706 to i64
  %708 = call i32 @i32_load8_u(ptr noundef %705, i64 noundef %707)
  store i32 %708, ptr %7, align 4, !tbaa !9
  store i32 1, ptr %8, align 4, !tbaa !9
  %709 = load i32, ptr %8, align 4, !tbaa !9
  %710 = load i32, ptr %7, align 4, !tbaa !9
  %711 = and i32 %710, %709
  store i32 %711, ptr %7, align 4, !tbaa !9
  %712 = load i32, ptr %7, align 4, !tbaa !9
  %713 = icmp ne i32 %712, 0
  %714 = xor i1 %713, true
  %715 = zext i1 %714 to i32
  store i32 %715, ptr %7, align 4, !tbaa !9
  %716 = load i32, ptr %7, align 4, !tbaa !9
  %717 = icmp ne i32 %716, 0
  br i1 %717, label %718, label %798

718:                                              ; preds = %699
  %719 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %719, ptr %7, align 4, !tbaa !9
  %720 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %720, ptr %8, align 4, !tbaa !9
  store i32 60, ptr %9, align 4, !tbaa !9
  %721 = load i32, ptr %9, align 4, !tbaa !9
  %722 = load i32, ptr %8, align 4, !tbaa !9
  %723 = add i32 %722, %721
  store i32 %723, ptr %8, align 4, !tbaa !9
  %724 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %724, ptr %9, align 4, !tbaa !9
  %725 = load ptr, ptr %4, align 8, !tbaa !5
  %726 = getelementptr inbounds %struct.w2c_hermes, ptr %725, i32 0, i32 6
  %727 = load i32, ptr %9, align 4, !tbaa !9
  %728 = zext i32 %727 to i64
  %729 = call i32 @i32_load(ptr noundef %726, i64 noundef %728)
  store i32 %729, ptr %9, align 4, !tbaa !9
  %730 = load ptr, ptr %4, align 8, !tbaa !5
  %731 = getelementptr inbounds %struct.w2c_hermes, ptr %730, i32 0, i32 6
  %732 = load i32, ptr %9, align 4, !tbaa !9
  %733 = zext i32 %732 to i64
  %734 = add i64 %733, 16
  %735 = call i32 @i32_load(ptr noundef %731, i64 noundef %734)
  store i32 %735, ptr %9, align 4, !tbaa !9
  %736 = load i32, ptr %9, align 4, !tbaa !9
  %737 = load ptr, ptr %4, align 8, !tbaa !5
  %738 = getelementptr inbounds %struct.w2c_hermes, ptr %737, i32 0, i32 7
  %739 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %738, i32 0, i32 2
  %740 = load i32, ptr %739, align 4, !tbaa !11
  %741 = icmp ult i32 %736, %740
  br i1 %741, label %742, label %765

742:                                              ; preds = %718
  %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 0
  %746 = load ptr, ptr %745, align 8, !tbaa !17
  %747 = load i32, ptr %9, align 4, !tbaa !9
  %748 = zext i32 %747 to i64
  %749 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %746, i64 %748
  %750 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %749, i32 0, i32 1
  %751 = load ptr, ptr %750, align 8, !tbaa !18
  %752 = icmp ne ptr %751, null
  br i1 %752, label %753, label %765

753:                                              ; preds = %742
  %754 = load ptr, ptr @w2c_hermes_t0, align 8, !tbaa !5
  %755 = load ptr, ptr %4, align 8, !tbaa !5
  %756 = getelementptr inbounds %struct.w2c_hermes, ptr %755, i32 0, i32 7
  %757 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %756, i32 0, i32 0
  %758 = load ptr, ptr %757, align 8, !tbaa !17
  %759 = load i32, ptr %9, align 4, !tbaa !9
  %760 = zext i32 %759 to i64
  %761 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %758, i64 %760
  %762 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %761, i32 0, i32 0
  %763 = load ptr, ptr %762, align 8, !tbaa !20
  %764 = call zeroext i1 @func_types_eq(ptr noundef %754, ptr noundef %763)
  br label %765

765:                                              ; preds = %753, %742, %718
  %766 = phi i1 [ false, %742 ], [ false, %718 ], [ %764, %753 ]
  %767 = xor i1 %766, true
  %768 = xor i1 %767, true
  %769 = zext i1 %768 to i32
  %770 = sext i32 %769 to i64
  %771 = call i64 @llvm.expect.i64(i64 %770, i64 1)
  %772 = icmp ne i64 %771, 0
  br i1 %772, label %775, label %773

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

774:                                              ; No predecessors!
  br label %775

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

798:                                              ; preds = %775, %699
  %799 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %799, ptr %7, align 4, !tbaa !9
  %800 = load ptr, ptr %4, align 8, !tbaa !5
  %801 = getelementptr inbounds %struct.w2c_hermes, ptr %800, i32 0, i32 6
  %802 = load i32, ptr %7, align 4, !tbaa !9
  %803 = zext i32 %802 to i64
  %804 = add i64 %803, 72
  %805 = call i32 @i32_load8_u(ptr noundef %801, i64 noundef %804)
  store i32 %805, ptr %7, align 4, !tbaa !9
  store i32 1, ptr %8, align 4, !tbaa !9
  %806 = load i32, ptr %8, align 4, !tbaa !9
  %807 = load i32, ptr %7, align 4, !tbaa !9
  %808 = and i32 %807, %806
  store i32 %808, ptr %7, align 4, !tbaa !9
  %809 = load i32, ptr %7, align 4, !tbaa !9
  %810 = icmp ne i32 %809, 0
  %811 = xor i1 %810, true
  %812 = zext i1 %811 to i32
  store i32 %812, ptr %7, align 4, !tbaa !9
  %813 = load i32, ptr %7, align 4, !tbaa !9
  %814 = icmp ne i32 %813, 0
  br i1 %814, label %815, label %895

815:                                              ; preds = %798
  %816 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %816, ptr %7, align 4, !tbaa !9
  %817 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %817, ptr %8, align 4, !tbaa !9
  store i32 68, ptr %9, align 4, !tbaa !9
  %818 = load i32, ptr %9, align 4, !tbaa !9
  %819 = load i32, ptr %8, align 4, !tbaa !9
  %820 = add i32 %819, %818
  store i32 %820, ptr %8, align 4, !tbaa !9
  %821 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %821, ptr %9, align 4, !tbaa !9
  %822 = load ptr, ptr %4, align 8, !tbaa !5
  %823 = getelementptr inbounds %struct.w2c_hermes, ptr %822, i32 0, i32 6
  %824 = load i32, ptr %9, align 4, !tbaa !9
  %825 = zext i32 %824 to i64
  %826 = call i32 @i32_load(ptr noundef %823, i64 noundef %825)
  store i32 %826, ptr %9, align 4, !tbaa !9
  %827 = load ptr, ptr %4, align 8, !tbaa !5
  %828 = getelementptr inbounds %struct.w2c_hermes, ptr %827, i32 0, i32 6
  %829 = load i32, ptr %9, align 4, !tbaa !9
  %830 = zext i32 %829 to i64
  %831 = add i64 %830, 16
  %832 = call i32 @i32_load(ptr noundef %828, i64 noundef %831)
  store i32 %832, ptr %9, align 4, !tbaa !9
  %833 = load i32, ptr %9, align 4, !tbaa !9
  %834 = load ptr, ptr %4, align 8, !tbaa !5
  %835 = getelementptr inbounds %struct.w2c_hermes, ptr %834, i32 0, i32 7
  %836 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %835, i32 0, i32 2
  %837 = load i32, ptr %836, align 4, !tbaa !11
  %838 = icmp ult i32 %833, %837
  br i1 %838, label %839, label %862

839:                                              ; preds = %815
  %840 = load ptr, ptr %4, align 8, !tbaa !5
  %841 = getelementptr inbounds %struct.w2c_hermes, ptr %840, i32 0, i32 7
  %842 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %841, i32 0, i32 0
  %843 = load ptr, ptr %842, align 8, !tbaa !17
  %844 = load i32, ptr %9, align 4, !tbaa !9
  %845 = zext i32 %844 to i64
  %846 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %843, i64 %845
  %847 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %846, i32 0, i32 1
  %848 = load ptr, ptr %847, align 8, !tbaa !18
  %849 = icmp ne ptr %848, null
  br i1 %849, label %850, label %862

850:                                              ; preds = %839
  %851 = load ptr, ptr @w2c_hermes_t0, align 8, !tbaa !5
  %852 = load ptr, ptr %4, align 8, !tbaa !5
  %853 = getelementptr inbounds %struct.w2c_hermes, ptr %852, i32 0, i32 7
  %854 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %853, i32 0, i32 0
  %855 = load ptr, ptr %854, align 8, !tbaa !17
  %856 = load i32, ptr %9, align 4, !tbaa !9
  %857 = zext i32 %856 to i64
  %858 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %855, i64 %857
  %859 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %858, i32 0, i32 0
  %860 = load ptr, ptr %859, align 8, !tbaa !20
  %861 = call zeroext i1 @func_types_eq(ptr noundef %851, ptr noundef %860)
  br label %862

862:                                              ; preds = %850, %839, %815
  %863 = phi i1 [ false, %839 ], [ false, %815 ], [ %861, %850 ]
  %864 = xor i1 %863, true
  %865 = xor i1 %864, true
  %866 = zext i1 %865 to i32
  %867 = sext i32 %866 to i64
  %868 = call i64 @llvm.expect.i64(i64 %867, i64 1)
  %869 = icmp ne i64 %868, 0
  br i1 %869, label %872, label %870

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

871:                                              ; No predecessors!
  br label %872

872:                                              ; preds = %871, %862
  %873 = phi i1 [ true, %862 ], [ false, %871 ]
  %874 = zext i1 %873 to i32
  %875 = load ptr, ptr %4, align 8, !tbaa !5
  %876 = getelementptr inbounds %struct.w2c_hermes, ptr %875, i32 0, i32 7
  %877 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %876, i32 0, i32 0
  %878 = load ptr, ptr %877, align 8, !tbaa !17
  %879 = load i32, ptr %9, align 4, !tbaa !9
  %880 = zext i32 %879 to i64
  %881 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %878, i64 %880
  %882 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %881, i32 0, i32 1
  %883 = load ptr, ptr %882, align 8, !tbaa !18
  %884 = load ptr, ptr %4, align 8, !tbaa !5
  %885 = getelementptr inbounds %struct.w2c_hermes, ptr %884, i32 0, i32 7
  %886 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %885, i32 0, i32 0
  %887 = load ptr, ptr %886, align 8, !tbaa !17
  %888 = load i32, ptr %9, align 4, !tbaa !9
  %889 = zext i32 %888 to i64
  %890 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %887, i64 %889
  %891 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %890, i32 0, i32 2
  %892 = load ptr, ptr %891, align 8, !tbaa !21
  %893 = load i32, ptr %7, align 4, !tbaa !9
  %894 = load i32, ptr %8, align 4, !tbaa !9
  call void %883(ptr noundef %892, i32 noundef %893, i32 noundef %894)
  br label %895

895:                                              ; preds = %872, %798
  %896 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %896, ptr %7, align 4, !tbaa !9
  %897 = load ptr, ptr %4, align 8, !tbaa !5
  %898 = getelementptr inbounds %struct.w2c_hermes, ptr %897, i32 0, i32 6
  %899 = load i32, ptr %7, align 4, !tbaa !9
  %900 = zext i32 %899 to i64
  %901 = add i64 %900, 80
  %902 = call i32 @i32_load8_u(ptr noundef %898, i64 noundef %901)
  store i32 %902, ptr %7, align 4, !tbaa !9
  store i32 1, ptr %8, align 4, !tbaa !9
  %903 = load i32, ptr %8, align 4, !tbaa !9
  %904 = load i32, ptr %7, align 4, !tbaa !9
  %905 = and i32 %904, %903
  store i32 %905, ptr %7, align 4, !tbaa !9
  %906 = load i32, ptr %7, align 4, !tbaa !9
  %907 = icmp ne i32 %906, 0
  %908 = xor i1 %907, true
  %909 = zext i1 %908 to i32
  store i32 %909, ptr %7, align 4, !tbaa !9
  %910 = load i32, ptr %7, align 4, !tbaa !9
  %911 = icmp ne i32 %910, 0
  br i1 %911, label %912, label %992

912:                                              ; preds = %895
  %913 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %913, ptr %7, align 4, !tbaa !9
  %914 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %914, ptr %8, align 4, !tbaa !9
  store i32 76, ptr %9, align 4, !tbaa !9
  %915 = load i32, ptr %9, align 4, !tbaa !9
  %916 = load i32, ptr %8, align 4, !tbaa !9
  %917 = add i32 %916, %915
  store i32 %917, ptr %8, align 4, !tbaa !9
  %918 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %918, ptr %9, align 4, !tbaa !9
  %919 = load ptr, ptr %4, align 8, !tbaa !5
  %920 = getelementptr inbounds %struct.w2c_hermes, ptr %919, i32 0, i32 6
  %921 = load i32, ptr %9, align 4, !tbaa !9
  %922 = zext i32 %921 to i64
  %923 = call i32 @i32_load(ptr noundef %920, i64 noundef %922)
  store i32 %923, ptr %9, align 4, !tbaa !9
  %924 = load ptr, ptr %4, align 8, !tbaa !5
  %925 = getelementptr inbounds %struct.w2c_hermes, ptr %924, i32 0, i32 6
  %926 = load i32, ptr %9, align 4, !tbaa !9
  %927 = zext i32 %926 to i64
  %928 = add i64 %927, 16
  %929 = call i32 @i32_load(ptr noundef %925, i64 noundef %928)
  store i32 %929, ptr %9, align 4, !tbaa !9
  %930 = load i32, ptr %9, align 4, !tbaa !9
  %931 = load ptr, ptr %4, align 8, !tbaa !5
  %932 = getelementptr inbounds %struct.w2c_hermes, ptr %931, i32 0, i32 7
  %933 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %932, i32 0, i32 2
  %934 = load i32, ptr %933, align 4, !tbaa !11
  %935 = icmp ult i32 %930, %934
  br i1 %935, label %936, label %959

936:                                              ; preds = %912
  %937 = load ptr, ptr %4, align 8, !tbaa !5
  %938 = getelementptr inbounds %struct.w2c_hermes, ptr %937, i32 0, i32 7
  %939 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %938, i32 0, i32 0
  %940 = load ptr, ptr %939, align 8, !tbaa !17
  %941 = load i32, ptr %9, align 4, !tbaa !9
  %942 = zext i32 %941 to i64
  %943 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %940, i64 %942
  %944 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %943, i32 0, i32 1
  %945 = load ptr, ptr %944, align 8, !tbaa !18
  %946 = icmp ne ptr %945, null
  br i1 %946, label %947, label %959

947:                                              ; preds = %936
  %948 = load ptr, ptr @w2c_hermes_t0, align 8, !tbaa !5
  %949 = load ptr, ptr %4, align 8, !tbaa !5
  %950 = getelementptr inbounds %struct.w2c_hermes, ptr %949, i32 0, i32 7
  %951 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %950, i32 0, i32 0
  %952 = load ptr, ptr %951, align 8, !tbaa !17
  %953 = load i32, ptr %9, align 4, !tbaa !9
  %954 = zext i32 %953 to i64
  %955 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %952, i64 %954
  %956 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %955, i32 0, i32 0
  %957 = load ptr, ptr %956, align 8, !tbaa !20
  %958 = call zeroext i1 @func_types_eq(ptr noundef %948, ptr noundef %957)
  br label %959

959:                                              ; preds = %947, %936, %912
  %960 = phi i1 [ false, %936 ], [ false, %912 ], [ %958, %947 ]
  %961 = xor i1 %960, true
  %962 = xor i1 %961, true
  %963 = zext i1 %962 to i32
  %964 = sext i32 %963 to i64
  %965 = call i64 @llvm.expect.i64(i64 %964, i64 1)
  %966 = icmp ne i64 %965, 0
  br i1 %966, label %969, label %967

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

968:                                              ; No predecessors!
  br label %969

969:                                              ; preds = %968, %959
  %970 = phi i1 [ true, %959 ], [ false, %968 ]
  %971 = zext i1 %970 to i32
  %972 = load ptr, ptr %4, align 8, !tbaa !5
  %973 = getelementptr inbounds %struct.w2c_hermes, ptr %972, i32 0, i32 7
  %974 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %973, i32 0, i32 0
  %975 = load ptr, ptr %974, align 8, !tbaa !17
  %976 = load i32, ptr %9, align 4, !tbaa !9
  %977 = zext i32 %976 to i64
  %978 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %975, i64 %977
  %979 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %978, i32 0, i32 1
  %980 = load ptr, ptr %979, align 8, !tbaa !18
  %981 = load ptr, ptr %4, align 8, !tbaa !5
  %982 = getelementptr inbounds %struct.w2c_hermes, ptr %981, i32 0, i32 7
  %983 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %982, i32 0, i32 0
  %984 = load ptr, ptr %983, align 8, !tbaa !17
  %985 = load i32, ptr %9, align 4, !tbaa !9
  %986 = zext i32 %985 to i64
  %987 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %984, i64 %986
  %988 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %987, i32 0, i32 2
  %989 = load ptr, ptr %988, align 8, !tbaa !21
  %990 = load i32, ptr %7, align 4, !tbaa !9
  %991 = load i32, ptr %8, align 4, !tbaa !9
  call void %980(ptr noundef %989, i32 noundef %990, i32 noundef %991)
  br label %992

992:                                              ; preds = %969, %895
  %993 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %993, ptr %7, align 4, !tbaa !9
  %994 = load ptr, ptr %4, align 8, !tbaa !5
  %995 = getelementptr inbounds %struct.w2c_hermes, ptr %994, i32 0, i32 6
  %996 = load i32, ptr %7, align 4, !tbaa !9
  %997 = zext i32 %996 to i64
  %998 = add i64 %997, 88
  %999 = call i32 @i32_load8_u(ptr noundef %995, i64 noundef %998)
  store i32 %999, ptr %7, align 4, !tbaa !9
  store i32 1, ptr %8, align 4, !tbaa !9
  %1000 = load i32, ptr %8, align 4, !tbaa !9
  %1001 = load i32, ptr %7, align 4, !tbaa !9
  %1002 = and i32 %1001, %1000
  store i32 %1002, ptr %7, align 4, !tbaa !9
  %1003 = load i32, ptr %7, align 4, !tbaa !9
  %1004 = icmp ne i32 %1003, 0
  %1005 = xor i1 %1004, true
  %1006 = zext i1 %1005 to i32
  store i32 %1006, ptr %7, align 4, !tbaa !9
  %1007 = load i32, ptr %7, align 4, !tbaa !9
  %1008 = icmp ne i32 %1007, 0
  br i1 %1008, label %1009, label %1089

1009:                                             ; preds = %992
  %1010 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %1010, ptr %7, align 4, !tbaa !9
  %1011 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1011, ptr %8, align 4, !tbaa !9
  store i32 84, ptr %9, align 4, !tbaa !9
  %1012 = load i32, ptr %9, align 4, !tbaa !9
  %1013 = load i32, ptr %8, align 4, !tbaa !9
  %1014 = add i32 %1013, %1012
  store i32 %1014, ptr %8, align 4, !tbaa !9
  %1015 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %1015, ptr %9, align 4, !tbaa !9
  %1016 = load ptr, ptr %4, align 8, !tbaa !5
  %1017 = getelementptr inbounds %struct.w2c_hermes, ptr %1016, i32 0, i32 6
  %1018 = load i32, ptr %9, align 4, !tbaa !9
  %1019 = zext i32 %1018 to i64
  %1020 = call i32 @i32_load(ptr noundef %1017, i64 noundef %1019)
  store i32 %1020, ptr %9, align 4, !tbaa !9
  %1021 = load ptr, ptr %4, align 8, !tbaa !5
  %1022 = getelementptr inbounds %struct.w2c_hermes, ptr %1021, i32 0, i32 6
  %1023 = load i32, ptr %9, align 4, !tbaa !9
  %1024 = zext i32 %1023 to i64
  %1025 = add i64 %1024, 16
  %1026 = call i32 @i32_load(ptr noundef %1022, i64 noundef %1025)
  store i32 %1026, ptr %9, align 4, !tbaa !9
  %1027 = load i32, ptr %9, align 4, !tbaa !9
  %1028 = load ptr, ptr %4, align 8, !tbaa !5
  %1029 = getelementptr inbounds %struct.w2c_hermes, ptr %1028, i32 0, i32 7
  %1030 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %1029, i32 0, i32 2
  %1031 = load i32, ptr %1030, align 4, !tbaa !11
  %1032 = icmp ult i32 %1027, %1031
  br i1 %1032, label %1033, label %1056

1033:                                             ; preds = %1009
  %1034 = load ptr, ptr %4, align 8, !tbaa !5
  %1035 = getelementptr inbounds %struct.w2c_hermes, ptr %1034, i32 0, i32 7
  %1036 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %1035, i32 0, i32 0
  %1037 = load ptr, ptr %1036, align 8, !tbaa !17
  %1038 = load i32, ptr %9, align 4, !tbaa !9
  %1039 = zext i32 %1038 to i64
  %1040 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1037, i64 %1039
  %1041 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1040, i32 0, i32 1
  %1042 = load ptr, ptr %1041, align 8, !tbaa !18
  %1043 = icmp ne ptr %1042, null
  br i1 %1043, label %1044, label %1056

1044:                                             ; preds = %1033
  %1045 = load ptr, ptr @w2c_hermes_t0, align 8, !tbaa !5
  %1046 = load ptr, ptr %4, align 8, !tbaa !5
  %1047 = getelementptr inbounds %struct.w2c_hermes, ptr %1046, i32 0, i32 7
  %1048 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %1047, i32 0, i32 0
  %1049 = load ptr, ptr %1048, align 8, !tbaa !17
  %1050 = load i32, ptr %9, align 4, !tbaa !9
  %1051 = zext i32 %1050 to i64
  %1052 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1049, i64 %1051
  %1053 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1052, i32 0, i32 0
  %1054 = load ptr, ptr %1053, align 8, !tbaa !20
  %1055 = call zeroext i1 @func_types_eq(ptr noundef %1045, ptr noundef %1054)
  br label %1056

1056:                                             ; preds = %1044, %1033, %1009
  %1057 = phi i1 [ false, %1033 ], [ false, %1009 ], [ %1055, %1044 ]
  %1058 = xor i1 %1057, true
  %1059 = xor i1 %1058, true
  %1060 = zext i1 %1059 to i32
  %1061 = sext i32 %1060 to i64
  %1062 = call i64 @llvm.expect.i64(i64 %1061, i64 1)
  %1063 = icmp ne i64 %1062, 0
  br i1 %1063, label %1066, label %1064

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

1065:                                             ; No predecessors!
  br label %1066

1066:                                             ; preds = %1065, %1056
  %1067 = phi i1 [ true, %1056 ], [ false, %1065 ]
  %1068 = zext i1 %1067 to i32
  %1069 = load ptr, ptr %4, align 8, !tbaa !5
  %1070 = getelementptr inbounds %struct.w2c_hermes, ptr %1069, i32 0, i32 7
  %1071 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %1070, i32 0, i32 0
  %1072 = load ptr, ptr %1071, align 8, !tbaa !17
  %1073 = load i32, ptr %9, align 4, !tbaa !9
  %1074 = zext i32 %1073 to i64
  %1075 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1072, i64 %1074
  %1076 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1075, i32 0, i32 1
  %1077 = load ptr, ptr %1076, align 8, !tbaa !18
  %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 %9, 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 2
  %1086 = load ptr, ptr %1085, align 8, !tbaa !21
  %1087 = load i32, ptr %7, align 4, !tbaa !9
  %1088 = load i32, ptr %8, align 4, !tbaa !9
  call void %1077(ptr noundef %1086, i32 noundef %1087, i32 noundef %1088)
  br label %1089

1089:                                             ; preds = %1066, %992
  %1090 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1090, ptr %7, align 4, !tbaa !9
  %1091 = load ptr, ptr %4, align 8, !tbaa !5
  %1092 = getelementptr inbounds %struct.w2c_hermes, ptr %1091, i32 0, i32 6
  %1093 = load i32, ptr %7, align 4, !tbaa !9
  %1094 = zext i32 %1093 to i64
  %1095 = add i64 %1094, 96
  %1096 = call i32 @i32_load8_u(ptr noundef %1092, i64 noundef %1095)
  store i32 %1096, ptr %7, align 4, !tbaa !9
  store i32 1, ptr %8, align 4, !tbaa !9
  %1097 = load i32, ptr %8, align 4, !tbaa !9
  %1098 = load i32, ptr %7, align 4, !tbaa !9
  %1099 = and i32 %1098, %1097
  store i32 %1099, ptr %7, align 4, !tbaa !9
  %1100 = load i32, ptr %7, align 4, !tbaa !9
  %1101 = icmp ne i32 %1100, 0
  %1102 = xor i1 %1101, true
  %1103 = zext i1 %1102 to i32
  store i32 %1103, ptr %7, align 4, !tbaa !9
  %1104 = load i32, ptr %7, align 4, !tbaa !9
  %1105 = icmp ne i32 %1104, 0
  br i1 %1105, label %1106, label %1186

1106:                                             ; preds = %1089
  %1107 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %1107, ptr %7, align 4, !tbaa !9
  %1108 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1108, ptr %8, align 4, !tbaa !9
  store i32 92, ptr %9, align 4, !tbaa !9
  %1109 = load i32, ptr %9, align 4, !tbaa !9
  %1110 = load i32, ptr %8, align 4, !tbaa !9
  %1111 = add i32 %1110, %1109
  store i32 %1111, ptr %8, align 4, !tbaa !9
  %1112 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %1112, ptr %9, align 4, !tbaa !9
  %1113 = load ptr, ptr %4, align 8, !tbaa !5
  %1114 = getelementptr inbounds %struct.w2c_hermes, ptr %1113, i32 0, i32 6
  %1115 = load i32, ptr %9, align 4, !tbaa !9
  %1116 = zext i32 %1115 to i64
  %1117 = call i32 @i32_load(ptr noundef %1114, i64 noundef %1116)
  store i32 %1117, ptr %9, align 4, !tbaa !9
  %1118 = load ptr, ptr %4, align 8, !tbaa !5
  %1119 = getelementptr inbounds %struct.w2c_hermes, ptr %1118, i32 0, i32 6
  %1120 = load i32, ptr %9, align 4, !tbaa !9
  %1121 = zext i32 %1120 to i64
  %1122 = add i64 %1121, 16
  %1123 = call i32 @i32_load(ptr noundef %1119, i64 noundef %1122)
  store i32 %1123, ptr %9, align 4, !tbaa !9
  %1124 = load i32, ptr %9, align 4, !tbaa !9
  %1125 = load ptr, ptr %4, align 8, !tbaa !5
  %1126 = getelementptr inbounds %struct.w2c_hermes, ptr %1125, i32 0, i32 7
  %1127 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %1126, i32 0, i32 2
  %1128 = load i32, ptr %1127, align 4, !tbaa !11
  %1129 = icmp ult i32 %1124, %1128
  br i1 %1129, label %1130, label %1153

1130:                                             ; preds = %1106
  %1131 = load ptr, ptr %4, align 8, !tbaa !5
  %1132 = getelementptr inbounds %struct.w2c_hermes, ptr %1131, i32 0, i32 7
  %1133 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %1132, i32 0, i32 0
  %1134 = load ptr, ptr %1133, align 8, !tbaa !17
  %1135 = load i32, ptr %9, align 4, !tbaa !9
  %1136 = zext i32 %1135 to i64
  %1137 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1134, i64 %1136
  %1138 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1137, i32 0, i32 1
  %1139 = load ptr, ptr %1138, align 8, !tbaa !18
  %1140 = icmp ne ptr %1139, null
  br i1 %1140, label %1141, label %1153

1141:                                             ; preds = %1130
  %1142 = load ptr, ptr @w2c_hermes_t0, align 8, !tbaa !5
  %1143 = load ptr, ptr %4, align 8, !tbaa !5
  %1144 = getelementptr inbounds %struct.w2c_hermes, ptr %1143, i32 0, i32 7
  %1145 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %1144, i32 0, i32 0
  %1146 = load ptr, ptr %1145, align 8, !tbaa !17
  %1147 = load i32, ptr %9, align 4, !tbaa !9
  %1148 = zext i32 %1147 to i64
  %1149 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1146, i64 %1148
  %1150 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1149, i32 0, i32 0
  %1151 = load ptr, ptr %1150, align 8, !tbaa !20
  %1152 = call zeroext i1 @func_types_eq(ptr noundef %1142, ptr noundef %1151)
  br label %1153

1153:                                             ; preds = %1141, %1130, %1106
  %1154 = phi i1 [ false, %1130 ], [ false, %1106 ], [ %1152, %1141 ]
  %1155 = xor i1 %1154, true
  %1156 = xor i1 %1155, true
  %1157 = zext i1 %1156 to i32
  %1158 = sext i32 %1157 to i64
  %1159 = call i64 @llvm.expect.i64(i64 %1158, i64 1)
  %1160 = icmp ne i64 %1159, 0
  br i1 %1160, label %1163, label %1161

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

1162:                                             ; No predecessors!
  br label %1163

1163:                                             ; preds = %1162, %1153
  %1164 = phi i1 [ true, %1153 ], [ false, %1162 ]
  %1165 = zext i1 %1164 to i32
  %1166 = load ptr, ptr %4, align 8, !tbaa !5
  %1167 = getelementptr inbounds %struct.w2c_hermes, ptr %1166, i32 0, i32 7
  %1168 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %1167, i32 0, i32 0
  %1169 = load ptr, ptr %1168, align 8, !tbaa !17
  %1170 = load i32, ptr %9, align 4, !tbaa !9
  %1171 = zext i32 %1170 to i64
  %1172 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1169, i64 %1171
  %1173 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1172, i32 0, i32 1
  %1174 = load ptr, ptr %1173, align 8, !tbaa !18
  %1175 = load ptr, ptr %4, align 8, !tbaa !5
  %1176 = getelementptr inbounds %struct.w2c_hermes, ptr %1175, i32 0, i32 7
  %1177 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %1176, i32 0, i32 0
  %1178 = load ptr, ptr %1177, align 8, !tbaa !17
  %1179 = load i32, ptr %9, align 4, !tbaa !9
  %1180 = zext i32 %1179 to i64
  %1181 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1178, i64 %1180
  %1182 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1181, i32 0, i32 2
  %1183 = load ptr, ptr %1182, align 8, !tbaa !21
  %1184 = load i32, ptr %7, align 4, !tbaa !9
  %1185 = load i32, ptr %8, align 4, !tbaa !9
  call void %1174(ptr noundef %1183, i32 noundef %1184, i32 noundef %1185)
  br label %1186

1186:                                             ; preds = %1163, %1089
  %1187 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1187, ptr %7, align 4, !tbaa !9
  %1188 = load ptr, ptr %4, align 8, !tbaa !5
  %1189 = getelementptr inbounds %struct.w2c_hermes, ptr %1188, i32 0, i32 6
  %1190 = load i32, ptr %7, align 4, !tbaa !9
  %1191 = zext i32 %1190 to i64
  %1192 = add i64 %1191, 104
  %1193 = call i32 @i32_load8_u(ptr noundef %1189, i64 noundef %1192)
  store i32 %1193, ptr %7, align 4, !tbaa !9
  store i32 1, ptr %8, align 4, !tbaa !9
  %1194 = load i32, ptr %8, align 4, !tbaa !9
  %1195 = load i32, ptr %7, align 4, !tbaa !9
  %1196 = and i32 %1195, %1194
  store i32 %1196, ptr %7, align 4, !tbaa !9
  %1197 = load i32, ptr %7, align 4, !tbaa !9
  %1198 = icmp ne i32 %1197, 0
  %1199 = xor i1 %1198, true
  %1200 = zext i1 %1199 to i32
  store i32 %1200, ptr %7, align 4, !tbaa !9
  %1201 = load i32, ptr %7, align 4, !tbaa !9
  %1202 = icmp ne i32 %1201, 0
  br i1 %1202, label %1203, label %1283

1203:                                             ; preds = %1186
  %1204 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %1204, ptr %7, align 4, !tbaa !9
  %1205 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1205, ptr %8, align 4, !tbaa !9
  store i32 100, ptr %9, align 4, !tbaa !9
  %1206 = load i32, ptr %9, align 4, !tbaa !9
  %1207 = load i32, ptr %8, align 4, !tbaa !9
  %1208 = add i32 %1207, %1206
  store i32 %1208, ptr %8, align 4, !tbaa !9
  %1209 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %1209, ptr %9, align 4, !tbaa !9
  %1210 = load ptr, ptr %4, align 8, !tbaa !5
  %1211 = getelementptr inbounds %struct.w2c_hermes, ptr %1210, i32 0, i32 6
  %1212 = load i32, ptr %9, align 4, !tbaa !9
  %1213 = zext i32 %1212 to i64
  %1214 = call i32 @i32_load(ptr noundef %1211, i64 noundef %1213)
  store i32 %1214, ptr %9, align 4, !tbaa !9
  %1215 = load ptr, ptr %4, align 8, !tbaa !5
  %1216 = getelementptr inbounds %struct.w2c_hermes, ptr %1215, i32 0, i32 6
  %1217 = load i32, ptr %9, align 4, !tbaa !9
  %1218 = zext i32 %1217 to i64
  %1219 = add i64 %1218, 16
  %1220 = call i32 @i32_load(ptr noundef %1216, i64 noundef %1219)
  store i32 %1220, ptr %9, align 4, !tbaa !9
  %1221 = load i32, ptr %9, align 4, !tbaa !9
  %1222 = load ptr, ptr %4, align 8, !tbaa !5
  %1223 = getelementptr inbounds %struct.w2c_hermes, ptr %1222, i32 0, i32 7
  %1224 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %1223, i32 0, i32 2
  %1225 = load i32, ptr %1224, align 4, !tbaa !11
  %1226 = icmp ult i32 %1221, %1225
  br i1 %1226, label %1227, label %1250

1227:                                             ; preds = %1203
  %1228 = load ptr, ptr %4, align 8, !tbaa !5
  %1229 = getelementptr inbounds %struct.w2c_hermes, ptr %1228, i32 0, i32 7
  %1230 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %1229, i32 0, i32 0
  %1231 = load ptr, ptr %1230, align 8, !tbaa !17
  %1232 = load i32, ptr %9, align 4, !tbaa !9
  %1233 = zext i32 %1232 to i64
  %1234 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1231, i64 %1233
  %1235 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1234, i32 0, i32 1
  %1236 = load ptr, ptr %1235, align 8, !tbaa !18
  %1237 = icmp ne ptr %1236, null
  br i1 %1237, label %1238, label %1250

1238:                                             ; preds = %1227
  %1239 = load ptr, ptr @w2c_hermes_t0, align 8, !tbaa !5
  %1240 = load ptr, ptr %4, align 8, !tbaa !5
  %1241 = getelementptr inbounds %struct.w2c_hermes, ptr %1240, i32 0, i32 7
  %1242 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %1241, i32 0, i32 0
  %1243 = load ptr, ptr %1242, align 8, !tbaa !17
  %1244 = load i32, ptr %9, align 4, !tbaa !9
  %1245 = zext i32 %1244 to i64
  %1246 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1243, i64 %1245
  %1247 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1246, i32 0, i32 0
  %1248 = load ptr, ptr %1247, align 8, !tbaa !20
  %1249 = call zeroext i1 @func_types_eq(ptr noundef %1239, ptr noundef %1248)
  br label %1250

1250:                                             ; preds = %1238, %1227, %1203
  %1251 = phi i1 [ false, %1227 ], [ false, %1203 ], [ %1249, %1238 ]
  %1252 = xor i1 %1251, true
  %1253 = xor i1 %1252, true
  %1254 = zext i1 %1253 to i32
  %1255 = sext i32 %1254 to i64
  %1256 = call i64 @llvm.expect.i64(i64 %1255, i64 1)
  %1257 = icmp ne i64 %1256, 0
  br i1 %1257, label %1260, label %1258

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

1259:                                             ; No predecessors!
  br label %1260

1260:                                             ; preds = %1259, %1250
  %1261 = phi i1 [ true, %1250 ], [ false, %1259 ]
  %1262 = zext i1 %1261 to i32
  %1263 = load ptr, ptr %4, align 8, !tbaa !5
  %1264 = getelementptr inbounds %struct.w2c_hermes, ptr %1263, i32 0, i32 7
  %1265 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %1264, i32 0, i32 0
  %1266 = load ptr, ptr %1265, align 8, !tbaa !17
  %1267 = load i32, ptr %9, align 4, !tbaa !9
  %1268 = zext i32 %1267 to i64
  %1269 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1266, i64 %1268
  %1270 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1269, i32 0, i32 1
  %1271 = load ptr, ptr %1270, align 8, !tbaa !18
  %1272 = load ptr, ptr %4, align 8, !tbaa !5
  %1273 = getelementptr inbounds %struct.w2c_hermes, ptr %1272, i32 0, i32 7
  %1274 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %1273, i32 0, i32 0
  %1275 = load ptr, ptr %1274, align 8, !tbaa !17
  %1276 = load i32, ptr %9, align 4, !tbaa !9
  %1277 = zext i32 %1276 to i64
  %1278 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1275, i64 %1277
  %1279 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1278, i32 0, i32 2
  %1280 = load ptr, ptr %1279, align 8, !tbaa !21
  %1281 = load i32, ptr %7, align 4, !tbaa !9
  %1282 = load i32, ptr %8, align 4, !tbaa !9
  call void %1271(ptr noundef %1280, i32 noundef %1281, i32 noundef %1282)
  br label %1283

1283:                                             ; preds = %1260, %1186
  %1284 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1284, ptr %7, align 4, !tbaa !9
  %1285 = load ptr, ptr %4, align 8, !tbaa !5
  %1286 = getelementptr inbounds %struct.w2c_hermes, ptr %1285, i32 0, i32 6
  %1287 = load i32, ptr %7, align 4, !tbaa !9
  %1288 = zext i32 %1287 to i64
  %1289 = add i64 %1288, 112
  %1290 = call i32 @i32_load8_u(ptr noundef %1286, i64 noundef %1289)
  store i32 %1290, ptr %7, align 4, !tbaa !9
  store i32 1, ptr %8, align 4, !tbaa !9
  %1291 = load i32, ptr %8, align 4, !tbaa !9
  %1292 = load i32, ptr %7, align 4, !tbaa !9
  %1293 = and i32 %1292, %1291
  store i32 %1293, ptr %7, align 4, !tbaa !9
  %1294 = load i32, ptr %7, align 4, !tbaa !9
  %1295 = icmp ne i32 %1294, 0
  %1296 = xor i1 %1295, true
  %1297 = zext i1 %1296 to i32
  store i32 %1297, ptr %7, align 4, !tbaa !9
  %1298 = load i32, ptr %7, align 4, !tbaa !9
  %1299 = icmp ne i32 %1298, 0
  br i1 %1299, label %1300, label %1380

1300:                                             ; preds = %1283
  %1301 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %1301, ptr %7, align 4, !tbaa !9
  %1302 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1302, ptr %8, align 4, !tbaa !9
  store i32 108, ptr %9, align 4, !tbaa !9
  %1303 = load i32, ptr %9, align 4, !tbaa !9
  %1304 = load i32, ptr %8, align 4, !tbaa !9
  %1305 = add i32 %1304, %1303
  store i32 %1305, ptr %8, align 4, !tbaa !9
  %1306 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %1306, ptr %9, align 4, !tbaa !9
  %1307 = load ptr, ptr %4, align 8, !tbaa !5
  %1308 = getelementptr inbounds %struct.w2c_hermes, ptr %1307, i32 0, i32 6
  %1309 = load i32, ptr %9, align 4, !tbaa !9
  %1310 = zext i32 %1309 to i64
  %1311 = call i32 @i32_load(ptr noundef %1308, i64 noundef %1310)
  store i32 %1311, ptr %9, align 4, !tbaa !9
  %1312 = load ptr, ptr %4, align 8, !tbaa !5
  %1313 = getelementptr inbounds %struct.w2c_hermes, ptr %1312, i32 0, i32 6
  %1314 = load i32, ptr %9, align 4, !tbaa !9
  %1315 = zext i32 %1314 to i64
  %1316 = add i64 %1315, 16
  %1317 = call i32 @i32_load(ptr noundef %1313, i64 noundef %1316)
  store i32 %1317, ptr %9, align 4, !tbaa !9
  %1318 = load i32, ptr %9, align 4, !tbaa !9
  %1319 = load ptr, ptr %4, align 8, !tbaa !5
  %1320 = getelementptr inbounds %struct.w2c_hermes, ptr %1319, i32 0, i32 7
  %1321 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %1320, i32 0, i32 2
  %1322 = load i32, ptr %1321, align 4, !tbaa !11
  %1323 = icmp ult i32 %1318, %1322
  br i1 %1323, label %1324, label %1347

1324:                                             ; preds = %1300
  %1325 = load ptr, ptr %4, align 8, !tbaa !5
  %1326 = getelementptr inbounds %struct.w2c_hermes, ptr %1325, i32 0, i32 7
  %1327 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %1326, i32 0, i32 0
  %1328 = load ptr, ptr %1327, align 8, !tbaa !17
  %1329 = load i32, ptr %9, align 4, !tbaa !9
  %1330 = zext i32 %1329 to i64
  %1331 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1328, i64 %1330
  %1332 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1331, i32 0, i32 1
  %1333 = load ptr, ptr %1332, align 8, !tbaa !18
  %1334 = icmp ne ptr %1333, null
  br i1 %1334, label %1335, label %1347

1335:                                             ; preds = %1324
  %1336 = load ptr, ptr @w2c_hermes_t0, align 8, !tbaa !5
  %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 %9, 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 0
  %1345 = load ptr, ptr %1344, align 8, !tbaa !20
  %1346 = call zeroext i1 @func_types_eq(ptr noundef %1336, ptr noundef %1345)
  br label %1347

1347:                                             ; preds = %1335, %1324, %1300
  %1348 = phi i1 [ false, %1324 ], [ false, %1300 ], [ %1346, %1335 ]
  %1349 = xor i1 %1348, true
  %1350 = xor i1 %1349, true
  %1351 = zext i1 %1350 to i32
  %1352 = sext i32 %1351 to i64
  %1353 = call i64 @llvm.expect.i64(i64 %1352, i64 1)
  %1354 = icmp ne i64 %1353, 0
  br i1 %1354, label %1357, label %1355

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

1356:                                             ; No predecessors!
  br label %1357

1357:                                             ; preds = %1356, %1347
  %1358 = phi i1 [ true, %1347 ], [ false, %1356 ]
  %1359 = zext i1 %1358 to i32
  %1360 = load ptr, ptr %4, align 8, !tbaa !5
  %1361 = getelementptr inbounds %struct.w2c_hermes, ptr %1360, i32 0, i32 7
  %1362 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %1361, i32 0, i32 0
  %1363 = load ptr, ptr %1362, align 8, !tbaa !17
  %1364 = load i32, ptr %9, align 4, !tbaa !9
  %1365 = zext i32 %1364 to i64
  %1366 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1363, i64 %1365
  %1367 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1366, i32 0, i32 1
  %1368 = load ptr, ptr %1367, align 8, !tbaa !18
  %1369 = load ptr, ptr %4, align 8, !tbaa !5
  %1370 = getelementptr inbounds %struct.w2c_hermes, ptr %1369, i32 0, i32 7
  %1371 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %1370, i32 0, i32 0
  %1372 = load ptr, ptr %1371, align 8, !tbaa !17
  %1373 = load i32, ptr %9, align 4, !tbaa !9
  %1374 = zext i32 %1373 to i64
  %1375 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1372, i64 %1374
  %1376 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1375, i32 0, i32 2
  %1377 = load ptr, ptr %1376, align 8, !tbaa !21
  %1378 = load i32, ptr %7, align 4, !tbaa !9
  %1379 = load i32, ptr %8, align 4, !tbaa !9
  call void %1368(ptr noundef %1377, i32 noundef %1378, i32 noundef %1379)
  br label %1380

1380:                                             ; preds = %1357, %1283
  %1381 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1381, ptr %7, align 4, !tbaa !9
  %1382 = load ptr, ptr %4, align 8, !tbaa !5
  %1383 = getelementptr inbounds %struct.w2c_hermes, ptr %1382, i32 0, i32 6
  %1384 = load i32, ptr %7, align 4, !tbaa !9
  %1385 = zext i32 %1384 to i64
  %1386 = add i64 %1385, 120
  %1387 = call i32 @i32_load8_u(ptr noundef %1383, i64 noundef %1386)
  store i32 %1387, ptr %7, align 4, !tbaa !9
  store i32 1, ptr %8, align 4, !tbaa !9
  %1388 = load i32, ptr %8, align 4, !tbaa !9
  %1389 = load i32, ptr %7, align 4, !tbaa !9
  %1390 = and i32 %1389, %1388
  store i32 %1390, ptr %7, align 4, !tbaa !9
  %1391 = load i32, ptr %7, align 4, !tbaa !9
  %1392 = icmp ne i32 %1391, 0
  %1393 = xor i1 %1392, true
  %1394 = zext i1 %1393 to i32
  store i32 %1394, ptr %7, align 4, !tbaa !9
  %1395 = load i32, ptr %7, align 4, !tbaa !9
  %1396 = icmp ne i32 %1395, 0
  br i1 %1396, label %1397, label %1477

1397:                                             ; preds = %1380
  %1398 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %1398, ptr %7, align 4, !tbaa !9
  %1399 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1399, ptr %8, align 4, !tbaa !9
  store i32 116, ptr %9, align 4, !tbaa !9
  %1400 = load i32, ptr %9, align 4, !tbaa !9
  %1401 = load i32, ptr %8, align 4, !tbaa !9
  %1402 = add i32 %1401, %1400
  store i32 %1402, ptr %8, align 4, !tbaa !9
  %1403 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %1403, ptr %9, align 4, !tbaa !9
  %1404 = load ptr, ptr %4, align 8, !tbaa !5
  %1405 = getelementptr inbounds %struct.w2c_hermes, ptr %1404, i32 0, i32 6
  %1406 = load i32, ptr %9, align 4, !tbaa !9
  %1407 = zext i32 %1406 to i64
  %1408 = call i32 @i32_load(ptr noundef %1405, i64 noundef %1407)
  store i32 %1408, ptr %9, align 4, !tbaa !9
  %1409 = load ptr, ptr %4, align 8, !tbaa !5
  %1410 = getelementptr inbounds %struct.w2c_hermes, ptr %1409, i32 0, i32 6
  %1411 = load i32, ptr %9, align 4, !tbaa !9
  %1412 = zext i32 %1411 to i64
  %1413 = add i64 %1412, 16
  %1414 = call i32 @i32_load(ptr noundef %1410, i64 noundef %1413)
  store i32 %1414, ptr %9, align 4, !tbaa !9
  %1415 = load i32, ptr %9, align 4, !tbaa !9
  %1416 = load ptr, ptr %4, align 8, !tbaa !5
  %1417 = getelementptr inbounds %struct.w2c_hermes, ptr %1416, i32 0, i32 7
  %1418 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %1417, i32 0, i32 2
  %1419 = load i32, ptr %1418, align 4, !tbaa !11
  %1420 = icmp ult i32 %1415, %1419
  br i1 %1420, label %1421, label %1444

1421:                                             ; preds = %1397
  %1422 = load ptr, ptr %4, align 8, !tbaa !5
  %1423 = getelementptr inbounds %struct.w2c_hermes, ptr %1422, i32 0, i32 7
  %1424 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %1423, i32 0, i32 0
  %1425 = load ptr, ptr %1424, align 8, !tbaa !17
  %1426 = load i32, ptr %9, align 4, !tbaa !9
  %1427 = zext i32 %1426 to i64
  %1428 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1425, i64 %1427
  %1429 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1428, i32 0, i32 1
  %1430 = load ptr, ptr %1429, align 8, !tbaa !18
  %1431 = icmp ne ptr %1430, null
  br i1 %1431, label %1432, label %1444

1432:                                             ; preds = %1421
  %1433 = load ptr, ptr @w2c_hermes_t0, align 8, !tbaa !5
  %1434 = load ptr, ptr %4, align 8, !tbaa !5
  %1435 = getelementptr inbounds %struct.w2c_hermes, ptr %1434, i32 0, i32 7
  %1436 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %1435, i32 0, i32 0
  %1437 = load ptr, ptr %1436, align 8, !tbaa !17
  %1438 = load i32, ptr %9, align 4, !tbaa !9
  %1439 = zext i32 %1438 to i64
  %1440 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1437, i64 %1439
  %1441 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1440, i32 0, i32 0
  %1442 = load ptr, ptr %1441, align 8, !tbaa !20
  %1443 = call zeroext i1 @func_types_eq(ptr noundef %1433, ptr noundef %1442)
  br label %1444

1444:                                             ; preds = %1432, %1421, %1397
  %1445 = phi i1 [ false, %1421 ], [ false, %1397 ], [ %1443, %1432 ]
  %1446 = xor i1 %1445, true
  %1447 = xor i1 %1446, true
  %1448 = zext i1 %1447 to i32
  %1449 = sext i32 %1448 to i64
  %1450 = call i64 @llvm.expect.i64(i64 %1449, i64 1)
  %1451 = icmp ne i64 %1450, 0
  br i1 %1451, label %1454, label %1452

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

1453:                                             ; No predecessors!
  br label %1454

1454:                                             ; preds = %1453, %1444
  %1455 = phi i1 [ true, %1444 ], [ false, %1453 ]
  %1456 = zext i1 %1455 to i32
  %1457 = load ptr, ptr %4, align 8, !tbaa !5
  %1458 = getelementptr inbounds %struct.w2c_hermes, ptr %1457, i32 0, i32 7
  %1459 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %1458, i32 0, i32 0
  %1460 = load ptr, ptr %1459, align 8, !tbaa !17
  %1461 = load i32, ptr %9, align 4, !tbaa !9
  %1462 = zext i32 %1461 to i64
  %1463 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1460, i64 %1462
  %1464 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1463, i32 0, i32 1
  %1465 = load ptr, ptr %1464, align 8, !tbaa !18
  %1466 = load ptr, ptr %4, align 8, !tbaa !5
  %1467 = getelementptr inbounds %struct.w2c_hermes, ptr %1466, i32 0, i32 7
  %1468 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %1467, i32 0, i32 0
  %1469 = load ptr, ptr %1468, align 8, !tbaa !17
  %1470 = load i32, ptr %9, align 4, !tbaa !9
  %1471 = zext i32 %1470 to i64
  %1472 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1469, i64 %1471
  %1473 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1472, i32 0, i32 2
  %1474 = load ptr, ptr %1473, align 8, !tbaa !21
  %1475 = load i32, ptr %7, align 4, !tbaa !9
  %1476 = load i32, ptr %8, align 4, !tbaa !9
  call void %1465(ptr noundef %1474, i32 noundef %1475, i32 noundef %1476)
  br label %1477

1477:                                             ; preds = %1454, %1380
  %1478 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1478, ptr %7, align 4, !tbaa !9
  %1479 = load ptr, ptr %4, align 8, !tbaa !5
  %1480 = getelementptr inbounds %struct.w2c_hermes, ptr %1479, i32 0, i32 6
  %1481 = load i32, ptr %7, align 4, !tbaa !9
  %1482 = zext i32 %1481 to i64
  %1483 = add i64 %1482, 128
  %1484 = call i32 @i32_load8_u(ptr noundef %1480, i64 noundef %1483)
  store i32 %1484, ptr %7, align 4, !tbaa !9
  store i32 1, ptr %8, align 4, !tbaa !9
  %1485 = load i32, ptr %8, align 4, !tbaa !9
  %1486 = load i32, ptr %7, align 4, !tbaa !9
  %1487 = and i32 %1486, %1485
  store i32 %1487, ptr %7, align 4, !tbaa !9
  %1488 = load i32, ptr %7, align 4, !tbaa !9
  %1489 = icmp ne i32 %1488, 0
  %1490 = xor i1 %1489, true
  %1491 = zext i1 %1490 to i32
  store i32 %1491, ptr %7, align 4, !tbaa !9
  %1492 = load i32, ptr %7, align 4, !tbaa !9
  %1493 = icmp ne i32 %1492, 0
  br i1 %1493, label %1494, label %1574

1494:                                             ; preds = %1477
  %1495 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %1495, ptr %7, align 4, !tbaa !9
  %1496 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1496, ptr %8, align 4, !tbaa !9
  store i32 124, ptr %9, align 4, !tbaa !9
  %1497 = load i32, ptr %9, align 4, !tbaa !9
  %1498 = load i32, ptr %8, align 4, !tbaa !9
  %1499 = add i32 %1498, %1497
  store i32 %1499, ptr %8, align 4, !tbaa !9
  %1500 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %1500, ptr %9, align 4, !tbaa !9
  %1501 = load ptr, ptr %4, align 8, !tbaa !5
  %1502 = getelementptr inbounds %struct.w2c_hermes, ptr %1501, i32 0, i32 6
  %1503 = load i32, ptr %9, align 4, !tbaa !9
  %1504 = zext i32 %1503 to i64
  %1505 = call i32 @i32_load(ptr noundef %1502, i64 noundef %1504)
  store i32 %1505, ptr %9, align 4, !tbaa !9
  %1506 = load ptr, ptr %4, align 8, !tbaa !5
  %1507 = getelementptr inbounds %struct.w2c_hermes, ptr %1506, i32 0, i32 6
  %1508 = load i32, ptr %9, align 4, !tbaa !9
  %1509 = zext i32 %1508 to i64
  %1510 = add i64 %1509, 16
  %1511 = call i32 @i32_load(ptr noundef %1507, i64 noundef %1510)
  store i32 %1511, ptr %9, align 4, !tbaa !9
  %1512 = load i32, ptr %9, align 4, !tbaa !9
  %1513 = load ptr, ptr %4, align 8, !tbaa !5
  %1514 = getelementptr inbounds %struct.w2c_hermes, ptr %1513, i32 0, i32 7
  %1515 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %1514, i32 0, i32 2
  %1516 = load i32, ptr %1515, align 4, !tbaa !11
  %1517 = icmp ult i32 %1512, %1516
  br i1 %1517, label %1518, label %1541

1518:                                             ; preds = %1494
  %1519 = load ptr, ptr %4, align 8, !tbaa !5
  %1520 = getelementptr inbounds %struct.w2c_hermes, ptr %1519, i32 0, i32 7
  %1521 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %1520, i32 0, i32 0
  %1522 = load ptr, ptr %1521, align 8, !tbaa !17
  %1523 = load i32, ptr %9, align 4, !tbaa !9
  %1524 = zext i32 %1523 to i64
  %1525 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1522, i64 %1524
  %1526 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1525, i32 0, i32 1
  %1527 = load ptr, ptr %1526, align 8, !tbaa !18
  %1528 = icmp ne ptr %1527, null
  br i1 %1528, label %1529, label %1541

1529:                                             ; preds = %1518
  %1530 = load ptr, ptr @w2c_hermes_t0, align 8, !tbaa !5
  %1531 = load ptr, ptr %4, align 8, !tbaa !5
  %1532 = getelementptr inbounds %struct.w2c_hermes, ptr %1531, i32 0, i32 7
  %1533 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %1532, i32 0, i32 0
  %1534 = load ptr, ptr %1533, align 8, !tbaa !17
  %1535 = load i32, ptr %9, align 4, !tbaa !9
  %1536 = zext i32 %1535 to i64
  %1537 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1534, i64 %1536
  %1538 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1537, i32 0, i32 0
  %1539 = load ptr, ptr %1538, align 8, !tbaa !20
  %1540 = call zeroext i1 @func_types_eq(ptr noundef %1530, ptr noundef %1539)
  br label %1541

1541:                                             ; preds = %1529, %1518, %1494
  %1542 = phi i1 [ false, %1518 ], [ false, %1494 ], [ %1540, %1529 ]
  %1543 = xor i1 %1542, true
  %1544 = xor i1 %1543, true
  %1545 = zext i1 %1544 to i32
  %1546 = sext i32 %1545 to i64
  %1547 = call i64 @llvm.expect.i64(i64 %1546, i64 1)
  %1548 = icmp ne i64 %1547, 0
  br i1 %1548, label %1551, label %1549

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

1550:                                             ; No predecessors!
  br label %1551

1551:                                             ; preds = %1550, %1541
  %1552 = phi i1 [ true, %1541 ], [ false, %1550 ]
  %1553 = zext i1 %1552 to i32
  %1554 = load ptr, ptr %4, align 8, !tbaa !5
  %1555 = getelementptr inbounds %struct.w2c_hermes, ptr %1554, i32 0, i32 7
  %1556 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %1555, i32 0, i32 0
  %1557 = load ptr, ptr %1556, align 8, !tbaa !17
  %1558 = load i32, ptr %9, align 4, !tbaa !9
  %1559 = zext i32 %1558 to i64
  %1560 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1557, i64 %1559
  %1561 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1560, i32 0, i32 1
  %1562 = load ptr, ptr %1561, align 8, !tbaa !18
  %1563 = load ptr, ptr %4, align 8, !tbaa !5
  %1564 = getelementptr inbounds %struct.w2c_hermes, ptr %1563, i32 0, i32 7
  %1565 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %1564, i32 0, i32 0
  %1566 = load ptr, ptr %1565, align 8, !tbaa !17
  %1567 = load i32, ptr %9, align 4, !tbaa !9
  %1568 = zext i32 %1567 to i64
  %1569 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1566, i64 %1568
  %1570 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1569, i32 0, i32 2
  %1571 = load ptr, ptr %1570, align 8, !tbaa !21
  %1572 = load i32, ptr %7, align 4, !tbaa !9
  %1573 = load i32, ptr %8, align 4, !tbaa !9
  call void %1562(ptr noundef %1571, i32 noundef %1572, i32 noundef %1573)
  br label %1574

1574:                                             ; preds = %1551, %1477
  %1575 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1575, ptr %7, align 4, !tbaa !9
  %1576 = load ptr, ptr %4, align 8, !tbaa !5
  %1577 = getelementptr inbounds %struct.w2c_hermes, ptr %1576, i32 0, i32 6
  %1578 = load i32, ptr %7, align 4, !tbaa !9
  %1579 = zext i32 %1578 to i64
  %1580 = call i32 @i32_load(ptr noundef %1577, i64 noundef %1579)
  store i32 %1580, ptr %7, align 4, !tbaa !9
  %1581 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %1581, ptr %5, align 4, !tbaa !9
  %1582 = load i32, ptr %7, align 4, !tbaa !9
  %1583 = icmp ne i32 %1582, 0
  br i1 %1583, label %1584, label %1585

1584:                                             ; preds = %1574
  br label %20

1585:                                             ; preds = %1574
  br label %1586

1586:                                             ; preds = %1585, %3
  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_t0 = 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_void0x20hermes0x3A0x3AManagedChunkedList0x3Chermes0x3A0x3Avm0x3A0x3AWeakRefSlot0x2C0x2016ul0x3E0x3A0x3AforEach0x3Chermes0x3A0x3Avm0x3A0x3AGCBase0x3A0x3AmarkWeakRoots0x28hermes0x3A0x3Avm0x3A0x3AWeakRootAcceptor0x260x2C0x20bool0x290x3A0x3A0x27lambda0x270x28hermes0x3A0x3Avm0x3A0x3AWeakRefSlot0x260x290x3E0x28hermes0x3A0x3Avm0x3A0x3AGCBase0x3A0x3AmarkWeakRoots0x28hermes0x3A0x3Avm0x3A0x3AWeakRootAcceptor0x260x2C0x20bool0x290x3A0x3A0x27lambda0x270x28hermes0x3A0x3Avm0x3A0x3AWeakRefSlot0x260x290x290x20const(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_t0, align 8
  br label %11

11:                                               ; preds = %.preheader, %461
  %.0 = phi i32 [ %462, %461 ], [ %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
  %.not477 = icmp eq i32 %15, 0
  br i1 %.not477, label %16, label %40

16:                                               ; preds = %11
  %17 = add i32 %.0, 4
  %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, 16
  %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
  %.not478 = icmp eq ptr %29, null
  br i1 %.not478, 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) #4
  br label %40

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

44:                                               ; preds = %40
  %45 = add i32 %.0, 12
  %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, 16
  %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 %.critedge511, !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
  %.not480 = icmp eq ptr %57, null
  br i1 %.not480, label %.critedge511, 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 %.critedge511, !prof !15

.critedge511:                                     ; 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) #4
  br label %68

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

72:                                               ; preds = %68
  %73 = add i32 %.0, 20
  %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, 16
  %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 %.critedge513, !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
  %.not482 = icmp eq ptr %85, null
  br i1 %.not482, label %.critedge513, 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 %.critedge513, !prof !15

.critedge513:                                     ; 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) #4
  br label %96

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

100:                                              ; preds = %96
  %101 = add i32 %.0, 28
  %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, 16
  %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 %.critedge515, !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
  %.not484 = icmp eq ptr %113, null
  br i1 %.not484, label %.critedge515, 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 %.critedge515, !prof !15

.critedge515:                                     ; 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) #4
  br label %124

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

128:                                              ; preds = %124
  %129 = add i32 %.0, 36
  %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, 16
  %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 %.critedge517, !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
  %.not486 = icmp eq ptr %141, null
  br i1 %.not486, label %.critedge517, 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 %.critedge517, !prof !15

.critedge517:                                     ; 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) #4
  br label %152

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

156:                                              ; preds = %152
  %157 = add i32 %.0, 44
  %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, 16
  %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 %.critedge519, !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
  %.not488 = icmp eq ptr %169, null
  br i1 %.not488, label %.critedge519, 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 %.critedge519, !prof !15

.critedge519:                                     ; 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) #4
  br label %180

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

184:                                              ; preds = %180
  %185 = add i32 %.0, 52
  %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, 16
  %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 %.critedge521, !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
  %.not490 = icmp eq ptr %197, null
  br i1 %.not490, label %.critedge521, 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 %.critedge521, !prof !15

.critedge521:                                     ; 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) #4
  br label %208

208:                                              ; preds = %201, %180
  %209 = add i32 %.0, 64
  %210 = zext i32 %209 to i64
  %211 = tail call i32 @i32_load8_u(ptr noundef nonnull %4, i64 noundef %210)
  %212 = and i32 %211, 1
  %.not491 = icmp eq i32 %212, 0
  br i1 %.not491, label %213, label %237

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

221:                                              ; preds = %213
  %222 = load ptr, ptr %8, align 8, !tbaa !16
  %223 = zext i32 %218 to i64
  %224 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %222, i64 %223
  %225 = getelementptr inbounds i8, ptr %224, i64 8
  %226 = load ptr, ptr %225, align 8, !tbaa !17
  %.not492 = icmp eq ptr %226, null
  br i1 %.not492, label %.critedge523, label %227, !prof !19

227:                                              ; preds = %221
  %228 = load ptr, ptr %224, align 8, !tbaa !20
  %229 = tail call zeroext i1 @func_types_eq(ptr noundef %10, ptr noundef %228)
  br i1 %229, label %230, label %.critedge523, !prof !15

.critedge523:                                     ; preds = %221, %213, %227
  tail call void @wasm_rt_trap(i32 noundef 6) #3
  unreachable

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

237:                                              ; preds = %230, %208
  %238 = add nuw nsw i64 %12, 72
  %239 = tail call i32 @i32_load8_u(ptr noundef nonnull %4, i64 noundef %238)
  %240 = and i32 %239, 1
  %.not493 = icmp eq i32 %240, 0
  br i1 %.not493, label %241, label %265

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

249:                                              ; preds = %241
  %250 = load ptr, ptr %8, align 8, !tbaa !16
  %251 = zext i32 %246 to i64
  %252 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %250, i64 %251
  %253 = getelementptr inbounds i8, ptr %252, i64 8
  %254 = load ptr, ptr %253, align 8, !tbaa !17
  %.not494 = icmp eq ptr %254, null
  br i1 %.not494, label %.critedge525, label %255, !prof !19

255:                                              ; preds = %249
  %256 = load ptr, ptr %252, align 8, !tbaa !20
  %257 = tail call zeroext i1 @func_types_eq(ptr noundef %10, ptr noundef %256)
  br i1 %257, label %258, label %.critedge525, !prof !15

.critedge525:                                     ; preds = %249, %241, %255
  tail call void @wasm_rt_trap(i32 noundef 6) #3
  unreachable

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

265:                                              ; preds = %258, %237
  %266 = add nuw nsw i64 %12, 80
  %267 = tail call i32 @i32_load8_u(ptr noundef nonnull %4, i64 noundef %266)
  %268 = and i32 %267, 1
  %.not495 = icmp eq i32 %268, 0
  br i1 %.not495, label %269, label %293

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

277:                                              ; preds = %269
  %278 = load ptr, ptr %8, align 8, !tbaa !16
  %279 = zext i32 %274 to i64
  %280 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %278, i64 %279
  %281 = getelementptr inbounds i8, ptr %280, i64 8
  %282 = load ptr, ptr %281, align 8, !tbaa !17
  %.not496 = icmp eq ptr %282, null
  br i1 %.not496, label %.critedge527, label %283, !prof !19

283:                                              ; preds = %277
  %284 = load ptr, ptr %280, align 8, !tbaa !20
  %285 = tail call zeroext i1 @func_types_eq(ptr noundef %10, ptr noundef %284)
  br i1 %285, label %286, label %.critedge527, !prof !15

.critedge527:                                     ; preds = %277, %269, %283
  tail call void @wasm_rt_trap(i32 noundef 6) #3
  unreachable

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

293:                                              ; preds = %286, %265
  %294 = add nuw nsw i64 %12, 88
  %295 = tail call i32 @i32_load8_u(ptr noundef nonnull %4, i64 noundef %294)
  %296 = and i32 %295, 1
  %.not497 = icmp eq i32 %296, 0
  br i1 %.not497, label %297, label %321

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

305:                                              ; preds = %297
  %306 = load ptr, ptr %8, align 8, !tbaa !16
  %307 = zext i32 %302 to i64
  %308 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %306, i64 %307
  %309 = getelementptr inbounds i8, ptr %308, i64 8
  %310 = load ptr, ptr %309, align 8, !tbaa !17
  %.not498 = icmp eq ptr %310, null
  br i1 %.not498, label %.critedge529, label %311, !prof !19

311:                                              ; preds = %305
  %312 = load ptr, ptr %308, align 8, !tbaa !20
  %313 = tail call zeroext i1 @func_types_eq(ptr noundef %10, ptr noundef %312)
  br i1 %313, label %314, label %.critedge529, !prof !15

.critedge529:                                     ; preds = %305, %297, %311
  tail call void @wasm_rt_trap(i32 noundef 6) #3
  unreachable

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

321:                                              ; preds = %314, %293
  %322 = add nuw nsw i64 %12, 96
  %323 = tail call i32 @i32_load8_u(ptr noundef nonnull %4, i64 noundef %322)
  %324 = and i32 %323, 1
  %.not499 = icmp eq i32 %324, 0
  br i1 %.not499, label %325, label %349

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

333:                                              ; preds = %325
  %334 = load ptr, ptr %8, align 8, !tbaa !16
  %335 = zext i32 %330 to i64
  %336 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %334, i64 %335
  %337 = getelementptr inbounds i8, ptr %336, i64 8
  %338 = load ptr, ptr %337, align 8, !tbaa !17
  %.not500 = icmp eq ptr %338, null
  br i1 %.not500, label %.critedge531, label %339, !prof !19

339:                                              ; preds = %333
  %340 = load ptr, ptr %336, align 8, !tbaa !20
  %341 = tail call zeroext i1 @func_types_eq(ptr noundef %10, ptr noundef %340)
  br i1 %341, label %342, label %.critedge531, !prof !15

.critedge531:                                     ; preds = %333, %325, %339
  tail call void @wasm_rt_trap(i32 noundef 6) #3
  unreachable

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

349:                                              ; preds = %342, %321
  %350 = add nuw nsw i64 %12, 104
  %351 = tail call i32 @i32_load8_u(ptr noundef nonnull %4, i64 noundef %350)
  %352 = and i32 %351, 1
  %.not501 = icmp eq i32 %352, 0
  br i1 %.not501, label %353, label %377

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

361:                                              ; preds = %353
  %362 = load ptr, ptr %8, align 8, !tbaa !16
  %363 = zext i32 %358 to i64
  %364 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %362, i64 %363
  %365 = getelementptr inbounds i8, ptr %364, i64 8
  %366 = load ptr, ptr %365, align 8, !tbaa !17
  %.not502 = icmp eq ptr %366, null
  br i1 %.not502, label %.critedge533, label %367, !prof !19

367:                                              ; preds = %361
  %368 = load ptr, ptr %364, align 8, !tbaa !20
  %369 = tail call zeroext i1 @func_types_eq(ptr noundef %10, ptr noundef %368)
  br i1 %369, label %370, label %.critedge533, !prof !15

.critedge533:                                     ; preds = %361, %353, %367
  tail call void @wasm_rt_trap(i32 noundef 6) #3
  unreachable

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

377:                                              ; preds = %370, %349
  %378 = add nuw nsw i64 %12, 112
  %379 = tail call i32 @i32_load8_u(ptr noundef nonnull %4, i64 noundef %378)
  %380 = and i32 %379, 1
  %.not503 = icmp eq i32 %380, 0
  br i1 %.not503, label %381, label %405

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

389:                                              ; preds = %381
  %390 = load ptr, ptr %8, align 8, !tbaa !16
  %391 = zext i32 %386 to i64
  %392 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %390, i64 %391
  %393 = getelementptr inbounds i8, ptr %392, i64 8
  %394 = load ptr, ptr %393, align 8, !tbaa !17
  %.not504 = icmp eq ptr %394, null
  br i1 %.not504, label %.critedge535, label %395, !prof !19

395:                                              ; preds = %389
  %396 = load ptr, ptr %392, align 8, !tbaa !20
  %397 = tail call zeroext i1 @func_types_eq(ptr noundef %10, ptr noundef %396)
  br i1 %397, label %398, label %.critedge535, !prof !15

.critedge535:                                     ; preds = %389, %381, %395
  tail call void @wasm_rt_trap(i32 noundef 6) #3
  unreachable

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

405:                                              ; preds = %398, %377
  %406 = add nuw nsw i64 %12, 120
  %407 = tail call i32 @i32_load8_u(ptr noundef nonnull %4, i64 noundef %406)
  %408 = and i32 %407, 1
  %.not505 = icmp eq i32 %408, 0
  br i1 %.not505, label %409, label %433

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

417:                                              ; preds = %409
  %418 = load ptr, ptr %8, align 8, !tbaa !16
  %419 = zext i32 %414 to i64
  %420 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %418, i64 %419
  %421 = getelementptr inbounds i8, ptr %420, i64 8
  %422 = load ptr, ptr %421, align 8, !tbaa !17
  %.not506 = icmp eq ptr %422, null
  br i1 %.not506, label %.critedge537, label %423, !prof !19

423:                                              ; preds = %417
  %424 = load ptr, ptr %420, align 8, !tbaa !20
  %425 = tail call zeroext i1 @func_types_eq(ptr noundef %10, ptr noundef %424)
  br i1 %425, label %426, label %.critedge537, !prof !15

.critedge537:                                     ; preds = %417, %409, %423
  tail call void @wasm_rt_trap(i32 noundef 6) #3
  unreachable

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

433:                                              ; preds = %426, %405
  %434 = add nuw nsw i64 %12, 128
  %435 = tail call i32 @i32_load8_u(ptr noundef nonnull %4, i64 noundef %434)
  %436 = and i32 %435, 1
  %.not507 = icmp eq i32 %436, 0
  br i1 %.not507, label %437, label %461

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

445:                                              ; preds = %437
  %446 = load ptr, ptr %8, align 8, !tbaa !16
  %447 = zext i32 %442 to i64
  %448 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %446, i64 %447
  %449 = getelementptr inbounds i8, ptr %448, i64 8
  %450 = load ptr, ptr %449, align 8, !tbaa !17
  %.not508 = icmp eq ptr %450, null
  br i1 %.not508, label %.critedge539, label %451, !prof !19

451:                                              ; preds = %445
  %452 = load ptr, ptr %448, align 8, !tbaa !20
  %453 = tail call zeroext i1 @func_types_eq(ptr noundef %10, ptr noundef %452)
  br i1 %453, label %454, label %.critedge539, !prof !15

.critedge539:                                     ; preds = %445, %437, %451
  tail call void @wasm_rt_trap(i32 noundef 6) #3
  unreachable

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

461:                                              ; preds = %454, %433
  %462 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %12)
  %.not509 = icmp eq i32 %462, 0
  br i1 %.not509, label %.loopexit, label %11

.loopexit:                                        ; preds = %461, %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