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

; Unoptimized IR (clang -disable-llvm-passes):
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

%struct.w2c_hermes = type { ptr, ptr, ptr, i32, i32, i32, %struct.wasm_rt_memory_t, %struct.wasm_rt_funcref_table_t }
%struct.wasm_rt_memory_t = type { ptr, i64, i64, i64, i8 }
%struct.wasm_rt_funcref_table_t = type { ptr, i32, i32 }
%struct.wasm_rt_funcref_t = type { ptr, ptr, ptr }

@w2c_hermes_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 void @i32_store(ptr noundef, i64 noundef, i32 noundef) #1

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

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

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

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

; Function Attrs: inlinehint nounwind uwtable
declare hidden i64 @i64_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) #3

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

; Function Attrs: nounwind uwtable
define dso_local void @w2c_hermes_hermes0x3A0x3Avm0x3A0x3AHadesGC0x3A0x3AfinalizeAll0x280x29(ptr noundef %0, i32 noundef %1) #4 {
  %3 = alloca ptr, align 8
  %4 = alloca i32, align 4
  %5 = alloca i32, align 4
  %6 = alloca i32, align 4
  %7 = alloca i32, align 4
  %8 = alloca i32, align 4
  %9 = alloca i32, align 4
  %10 = alloca i32, align 4
  %11 = alloca i32, align 4
  %12 = alloca i64, align 8
  %13 = alloca i32, align 4
  %14 = alloca i32, align 4
  %15 = alloca i32, align 4
  %16 = alloca i32, align 4
  %17 = alloca i32, align 4
  %18 = alloca i64, align 8
  %19 = alloca i64, align 8
  %20 = alloca i64, align 8
  store ptr %0, ptr %3, align 8, !tbaa !5
  store i32 %1, ptr %4, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %5) #5
  store i32 0, ptr %5, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %6) #5
  store i32 0, ptr %6, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %7) #5
  store i32 0, ptr %7, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %8) #5
  store i32 0, ptr %8, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %9) #5
  store i32 0, ptr %9, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %10) #5
  store i32 0, ptr %10, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %11) #5
  store i32 0, ptr %11, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %12) #5
  store i64 0, ptr %12, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %13) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %14) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %15) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %16) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %17) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr %18) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr %19) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr %20) #5
  %21 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %21, ptr %13, align 4, !tbaa !9
  store i32 0, ptr %14, align 4, !tbaa !9
  %22 = load ptr, ptr %3, align 8, !tbaa !5
  %23 = getelementptr inbounds %struct.w2c_hermes, ptr %22, i32 0, i32 6
  %24 = load i32, ptr %13, align 4, !tbaa !9
  %25 = zext i32 %24 to i64
  %26 = add i64 %25, 4004
  %27 = load i32, ptr %14, align 4, !tbaa !9
  call void @i32_store8(ptr noundef %23, i64 noundef %26, i32 noundef %27)
  %28 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %28, ptr %13, align 4, !tbaa !9
  %29 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %29, ptr %14, align 4, !tbaa !9
  %30 = load ptr, ptr %3, align 8, !tbaa !5
  %31 = getelementptr inbounds %struct.w2c_hermes, ptr %30, i32 0, i32 6
  %32 = load i32, ptr %14, align 4, !tbaa !9
  %33 = zext i32 %32 to i64
  %34 = add i64 %33, 568
  %35 = call i32 @i32_load(ptr noundef %31, i64 noundef %34)
  store i32 %35, ptr %14, align 4, !tbaa !9
  %36 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %36, ptr %5, align 4, !tbaa !9
  %37 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %37, ptr %15, align 4, !tbaa !9
  %38 = load ptr, ptr %3, align 8, !tbaa !5
  %39 = getelementptr inbounds %struct.w2c_hermes, ptr %38, i32 0, i32 6
  %40 = load i32, ptr %15, align 4, !tbaa !9
  %41 = zext i32 %40 to i64
  %42 = add i64 %41, 572
  %43 = call i32 @i32_load(ptr noundef %39, i64 noundef %42)
  store i32 %43, ptr %15, align 4, !tbaa !9
  %44 = load i32, ptr %15, align 4, !tbaa !9
  store i32 %44, ptr %6, align 4, !tbaa !9
  %45 = load i32, ptr %14, align 4, !tbaa !9
  %46 = load i32, ptr %15, align 4, !tbaa !9
  %47 = icmp ne i32 %45, %46
  %48 = zext i1 %47 to i32
  store i32 %48, ptr %14, align 4, !tbaa !9
  %49 = load i32, ptr %14, align 4, !tbaa !9
  %50 = icmp ne i32 %49, 0
  br i1 %50, label %51, label %184

51:                                               ; preds = %2
  br label %52

52:                                               ; preds = %175, %51
  %53 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %53, ptr %14, align 4, !tbaa !9
  %54 = load ptr, ptr %3, align 8, !tbaa !5
  %55 = getelementptr inbounds %struct.w2c_hermes, ptr %54, i32 0, i32 6
  %56 = load i32, ptr %14, align 4, !tbaa !9
  %57 = zext i32 %56 to i64
  %58 = call i32 @i32_load(ptr noundef %55, i64 noundef %57)
  store i32 %58, ptr %14, align 4, !tbaa !9
  %59 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %59, ptr %8, align 4, !tbaa !9
  %60 = load ptr, ptr %3, align 8, !tbaa !5
  %61 = getelementptr inbounds %struct.w2c_hermes, ptr %60, i32 0, i32 6
  %62 = load i32, ptr %14, align 4, !tbaa !9
  %63 = zext i32 %62 to i64
  %64 = call i32 @i32_load(ptr noundef %61, i64 noundef %63)
  store i32 %64, ptr %14, align 4, !tbaa !9
  %65 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %65, ptr %7, align 4, !tbaa !9
  store i32 1, ptr %15, align 4, !tbaa !9
  %66 = load i32, ptr %15, align 4, !tbaa !9
  %67 = load i32, ptr %14, align 4, !tbaa !9
  %68 = and i32 %67, %66
  store i32 %68, ptr %14, align 4, !tbaa !9
  %69 = load i32, ptr %14, align 4, !tbaa !9
  %70 = icmp ne i32 %69, 0
  %71 = xor i1 %70, true
  %72 = zext i1 %71 to i32
  store i32 %72, ptr %14, align 4, !tbaa !9
  %73 = load i32, ptr %14, align 4, !tbaa !9
  %74 = icmp ne i32 %73, 0
  br i1 %74, label %75, label %162

75:                                               ; preds = %52
  %76 = load i32, ptr %8, align 4, !tbaa !9
  store i32 %76, ptr %14, align 4, !tbaa !9
  %77 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %77, ptr %15, align 4, !tbaa !9
  %78 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %78, ptr %16, align 4, !tbaa !9
  store i32 22, ptr %17, align 4, !tbaa !9
  %79 = load i32, ptr %17, align 4, !tbaa !9
  %80 = and i32 %79, 31
  %81 = load i32, ptr %16, align 4, !tbaa !9
  %82 = lshr i32 %81, %80
  store i32 %82, ptr %16, align 4, !tbaa !9
  store i32 1020, ptr %17, align 4, !tbaa !9
  %83 = load i32, ptr %17, align 4, !tbaa !9
  %84 = load i32, ptr %16, align 4, !tbaa !9
  %85 = and i32 %84, %83
  store i32 %85, ptr %16, align 4, !tbaa !9
  store i32 138008, ptr %17, align 4, !tbaa !9
  %86 = load i32, ptr %17, align 4, !tbaa !9
  %87 = load i32, ptr %16, align 4, !tbaa !9
  %88 = add i32 %87, %86
  store i32 %88, ptr %16, align 4, !tbaa !9
  %89 = load ptr, ptr %3, align 8, !tbaa !5
  %90 = getelementptr inbounds %struct.w2c_hermes, ptr %89, i32 0, i32 6
  %91 = load i32, ptr %16, align 4, !tbaa !9
  %92 = zext i32 %91 to i64
  %93 = call i32 @i32_load(ptr noundef %90, i64 noundef %92)
  store i32 %93, ptr %16, align 4, !tbaa !9
  %94 = load ptr, ptr %3, align 8, !tbaa !5
  %95 = getelementptr inbounds %struct.w2c_hermes, ptr %94, i32 0, i32 6
  %96 = load i32, ptr %16, align 4, !tbaa !9
  %97 = zext i32 %96 to i64
  %98 = add i64 %97, 16
  %99 = call i32 @i32_load(ptr noundef %95, i64 noundef %98)
  store i32 %99, ptr %16, align 4, !tbaa !9
  %100 = load i32, ptr %16, align 4, !tbaa !9
  %101 = load ptr, ptr %3, align 8, !tbaa !5
  %102 = getelementptr inbounds %struct.w2c_hermes, ptr %101, i32 0, i32 7
  %103 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %102, i32 0, i32 2
  %104 = load i32, ptr %103, align 4, !tbaa !13
  %105 = icmp ult i32 %100, %104
  br i1 %105, label %106, label %129

106:                                              ; preds = %75
  %107 = load ptr, ptr %3, align 8, !tbaa !5
  %108 = getelementptr inbounds %struct.w2c_hermes, ptr %107, i32 0, i32 7
  %109 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %108, i32 0, i32 0
  %110 = load ptr, ptr %109, align 8, !tbaa !18
  %111 = load i32, ptr %16, align 4, !tbaa !9
  %112 = zext i32 %111 to i64
  %113 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %110, i64 %112
  %114 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %113, i32 0, i32 1
  %115 = load ptr, ptr %114, align 8, !tbaa !19
  %116 = icmp ne ptr %115, null
  br i1 %116, label %117, label %129

117:                                              ; preds = %106
  %118 = load ptr, ptr @w2c_hermes_t0, align 8, !tbaa !5
  %119 = load ptr, ptr %3, align 8, !tbaa !5
  %120 = getelementptr inbounds %struct.w2c_hermes, ptr %119, i32 0, i32 7
  %121 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %120, i32 0, i32 0
  %122 = load ptr, ptr %121, align 8, !tbaa !18
  %123 = load i32, ptr %16, align 4, !tbaa !9
  %124 = zext i32 %123 to i64
  %125 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %122, i64 %124
  %126 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %125, i32 0, i32 0
  %127 = load ptr, ptr %126, align 8, !tbaa !21
  %128 = call zeroext i1 @func_types_eq(ptr noundef %118, ptr noundef %127)
  br label %129

129:                                              ; preds = %117, %106, %75
  %130 = phi i1 [ false, %106 ], [ false, %75 ], [ %128, %117 ]
  %131 = xor i1 %130, true
  %132 = xor i1 %131, true
  %133 = zext i1 %132 to i32
  %134 = sext i32 %133 to i64
  %135 = call i64 @llvm.expect.i64(i64 %134, i64 1)
  %136 = icmp ne i64 %135, 0
  br i1 %136, label %139, label %137

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

138:                                              ; No predecessors!
  br label %139

139:                                              ; preds = %138, %129
  %140 = phi i1 [ true, %129 ], [ false, %138 ]
  %141 = zext i1 %140 to i32
  %142 = load ptr, ptr %3, align 8, !tbaa !5
  %143 = getelementptr inbounds %struct.w2c_hermes, ptr %142, i32 0, i32 7
  %144 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %143, i32 0, i32 0
  %145 = load ptr, ptr %144, align 8, !tbaa !18
  %146 = load i32, ptr %16, align 4, !tbaa !9
  %147 = zext i32 %146 to i64
  %148 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %145, i64 %147
  %149 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %148, i32 0, i32 1
  %150 = load ptr, ptr %149, align 8, !tbaa !19
  %151 = load ptr, ptr %3, align 8, !tbaa !5
  %152 = getelementptr inbounds %struct.w2c_hermes, ptr %151, i32 0, i32 7
  %153 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %152, i32 0, i32 0
  %154 = load ptr, ptr %153, align 8, !tbaa !18
  %155 = load i32, ptr %16, align 4, !tbaa !9
  %156 = zext i32 %155 to i64
  %157 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %154, i64 %156
  %158 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %157, i32 0, i32 2
  %159 = load ptr, ptr %158, align 8, !tbaa !22
  %160 = load i32, ptr %14, align 4, !tbaa !9
  %161 = load i32, ptr %15, align 4, !tbaa !9
  call void %150(ptr noundef %159, i32 noundef %160, i32 noundef %161)
  br label %162

162:                                              ; preds = %139, %52
  %163 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %163, ptr %14, align 4, !tbaa !9
  store i32 4, ptr %15, align 4, !tbaa !9
  %164 = load i32, ptr %15, align 4, !tbaa !9
  %165 = load i32, ptr %14, align 4, !tbaa !9
  %166 = add i32 %165, %164
  store i32 %166, ptr %14, align 4, !tbaa !9
  %167 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %167, ptr %5, align 4, !tbaa !9
  %168 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %168, ptr %15, align 4, !tbaa !9
  %169 = load i32, ptr %14, align 4, !tbaa !9
  %170 = load i32, ptr %15, align 4, !tbaa !9
  %171 = icmp ne i32 %169, %170
  %172 = zext i1 %171 to i32
  store i32 %172, ptr %14, align 4, !tbaa !9
  %173 = load i32, ptr %14, align 4, !tbaa !9
  %174 = icmp ne i32 %173, 0
  br i1 %174, label %175, label %176

175:                                              ; preds = %162
  br label %52

176:                                              ; preds = %162
  %177 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %177, ptr %14, align 4, !tbaa !9
  %178 = load ptr, ptr %3, align 8, !tbaa !5
  %179 = getelementptr inbounds %struct.w2c_hermes, ptr %178, i32 0, i32 6
  %180 = load i32, ptr %14, align 4, !tbaa !9
  %181 = zext i32 %180 to i64
  %182 = add i64 %181, 568
  %183 = call i32 @i32_load(ptr noundef %179, i64 noundef %182)
  store i32 %183, ptr %14, align 4, !tbaa !9
  br label %186

184:                                              ; preds = %2
  %185 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %185, ptr %14, align 4, !tbaa !9
  br label %186

186:                                              ; preds = %184, %176
  %187 = load ptr, ptr %3, align 8, !tbaa !5
  %188 = getelementptr inbounds %struct.w2c_hermes, ptr %187, i32 0, i32 6
  %189 = load i32, ptr %13, align 4, !tbaa !9
  %190 = zext i32 %189 to i64
  %191 = add i64 %190, 572
  %192 = load i32, ptr %14, align 4, !tbaa !9
  call void @i32_store(ptr noundef %188, i64 noundef %191, i32 noundef %192)
  %193 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %193, ptr %13, align 4, !tbaa !9
  %194 = load ptr, ptr %3, align 8, !tbaa !5
  %195 = getelementptr inbounds %struct.w2c_hermes, ptr %194, i32 0, i32 6
  %196 = load i32, ptr %13, align 4, !tbaa !9
  %197 = zext i32 %196 to i64
  %198 = add i64 %197, 4392
  %199 = call i64 @i64_load32_u(ptr noundef %195, i64 noundef %198)
  store i64 %199, ptr %18, align 8, !tbaa !11
  %200 = load i64, ptr %18, align 8, !tbaa !11
  store i64 %200, ptr %12, align 8, !tbaa !11
  %201 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %201, ptr %13, align 4, !tbaa !9
  store i64 0, ptr %19, align 8, !tbaa !11
  %202 = load ptr, ptr %3, align 8, !tbaa !5
  %203 = getelementptr inbounds %struct.w2c_hermes, ptr %202, i32 0, i32 6
  %204 = load i32, ptr %13, align 4, !tbaa !9
  %205 = zext i32 %204 to i64
  %206 = add i64 %205, 4392
  %207 = load i64, ptr %19, align 8, !tbaa !11
  call void @i64_store(ptr noundef %203, i64 noundef %206, i64 noundef %207)
  %208 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %208, ptr %13, align 4, !tbaa !9
  %209 = load i64, ptr %12, align 8, !tbaa !11
  store i64 %209, ptr %19, align 8, !tbaa !11
  %210 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %210, ptr %15, align 4, !tbaa !9
  %211 = load ptr, ptr %3, align 8, !tbaa !5
  %212 = getelementptr inbounds %struct.w2c_hermes, ptr %211, i32 0, i32 6
  %213 = load i32, ptr %15, align 4, !tbaa !9
  %214 = zext i32 %213 to i64
  %215 = add i64 %214, 648
  %216 = call i64 @i64_load(ptr noundef %212, i64 noundef %215)
  store i64 %216, ptr %20, align 8, !tbaa !11
  %217 = load i64, ptr %20, align 8, !tbaa !11
  %218 = load i64, ptr %19, align 8, !tbaa !11
  %219 = add i64 %218, %217
  store i64 %219, ptr %19, align 8, !tbaa !11
  %220 = load ptr, ptr %3, align 8, !tbaa !5
  %221 = getelementptr inbounds %struct.w2c_hermes, ptr %220, i32 0, i32 6
  %222 = load i32, ptr %13, align 4, !tbaa !9
  %223 = zext i32 %222 to i64
  %224 = add i64 %223, 648
  %225 = load i64, ptr %19, align 8, !tbaa !11
  call void @i64_store(ptr noundef %221, i64 noundef %224, i64 noundef %225)
  %226 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %226, ptr %13, align 4, !tbaa !9
  %227 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %227, ptr %14, align 4, !tbaa !9
  %228 = load ptr, ptr %3, align 8, !tbaa !5
  %229 = getelementptr inbounds %struct.w2c_hermes, ptr %228, i32 0, i32 6
  %230 = load i32, ptr %14, align 4, !tbaa !9
  %231 = zext i32 %230 to i64
  %232 = add i64 %231, 548
  %233 = call i32 @i32_load(ptr noundef %229, i64 noundef %232)
  store i32 %233, ptr %14, align 4, !tbaa !9
  store i32 4194304, ptr %15, align 4, !tbaa !9
  %234 = load i32, ptr %15, align 4, !tbaa !9
  %235 = load i32, ptr %14, align 4, !tbaa !9
  %236 = add i32 %235, %234
  store i32 %236, ptr %14, align 4, !tbaa !9
  %237 = load ptr, ptr %3, align 8, !tbaa !5
  %238 = getelementptr inbounds %struct.w2c_hermes, ptr %237, i32 0, i32 6
  %239 = load i32, ptr %13, align 4, !tbaa !9
  %240 = zext i32 %239 to i64
  %241 = add i64 %240, 560
  %242 = load i32, ptr %14, align 4, !tbaa !9
  call void @i32_store(ptr noundef %238, i64 noundef %241, i32 noundef %242)
  %243 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %243, ptr %13, align 4, !tbaa !9
  store i32 4416, ptr %14, align 4, !tbaa !9
  %244 = load i32, ptr %14, align 4, !tbaa !9
  %245 = load i32, ptr %13, align 4, !tbaa !9
  %246 = add i32 %245, %244
  store i32 %246, ptr %13, align 4, !tbaa !9
  %247 = load ptr, ptr %3, align 8, !tbaa !5
  %248 = getelementptr inbounds %struct.w2c_hermes, ptr %247, i32 0, i32 6
  %249 = load i32, ptr %13, align 4, !tbaa !9
  %250 = zext i32 %249 to i64
  %251 = call i32 @i32_load(ptr noundef %248, i64 noundef %250)
  store i32 %251, ptr %13, align 4, !tbaa !9
  %252 = load i32, ptr %13, align 4, !tbaa !9
  store i32 %252, ptr %6, align 4, !tbaa !9
  %253 = load i32, ptr %13, align 4, !tbaa !9
  %254 = icmp ne i32 %253, 0
  %255 = xor i1 %254, true
  %256 = zext i1 %255 to i32
  store i32 %256, ptr %13, align 4, !tbaa !9
  %257 = load i32, ptr %13, align 4, !tbaa !9
  %258 = icmp ne i32 %257, 0
  br i1 %258, label %259, label %260

259:                                              ; preds = %186
  br label %427

260:                                              ; preds = %186
  %261 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %261, ptr %13, align 4, !tbaa !9
  %262 = load ptr, ptr %3, align 8, !tbaa !5
  %263 = getelementptr inbounds %struct.w2c_hermes, ptr %262, i32 0, i32 6
  %264 = load i32, ptr %13, align 4, !tbaa !9
  %265 = zext i32 %264 to i64
  %266 = call i32 @i32_load(ptr noundef %263, i64 noundef %265)
  store i32 %266, ptr %13, align 4, !tbaa !9
  store i32 86016, ptr %14, align 4, !tbaa !9
  %267 = load i32, ptr %14, align 4, !tbaa !9
  %268 = load i32, ptr %13, align 4, !tbaa !9
  %269 = add i32 %268, %267
  store i32 %269, ptr %13, align 4, !tbaa !9
  %270 = load i32, ptr %13, align 4, !tbaa !9
  store i32 %270, ptr %5, align 4, !tbaa !9
  %271 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %271, ptr %14, align 4, !tbaa !9
  %272 = load ptr, ptr %3, align 8, !tbaa !5
  %273 = getelementptr inbounds %struct.w2c_hermes, ptr %272, i32 0, i32 6
  %274 = load i32, ptr %14, align 4, !tbaa !9
  %275 = zext i32 %274 to i64
  %276 = add i64 %275, 8
  %277 = call i32 @i32_load(ptr noundef %273, i64 noundef %276)
  store i32 %277, ptr %14, align 4, !tbaa !9
  %278 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %278, ptr %8, align 4, !tbaa !9
  %279 = load i32, ptr %13, align 4, !tbaa !9
  %280 = load i32, ptr %14, align 4, !tbaa !9
  %281 = icmp uge i32 %279, %280
  %282 = zext i1 %281 to i32
  store i32 %282, ptr %13, align 4, !tbaa !9
  %283 = load i32, ptr %13, align 4, !tbaa !9
  %284 = icmp ne i32 %283, 0
  br i1 %284, label %285, label %286

285:                                              ; preds = %260
  br label %427

286:                                              ; preds = %260
  br label %287

287:                                              ; preds = %425, %286
  %288 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %288, ptr %13, align 4, !tbaa !9
  %289 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %289, ptr %14, align 4, !tbaa !9
  %290 = load ptr, ptr %3, align 8, !tbaa !5
  %291 = getelementptr inbounds %struct.w2c_hermes, ptr %290, i32 0, i32 6
  %292 = load i32, ptr %14, align 4, !tbaa !9
  %293 = zext i32 %292 to i64
  %294 = call i32 @i32_load(ptr noundef %291, i64 noundef %293)
  store i32 %294, ptr %14, align 4, !tbaa !9
  %295 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %295, ptr %6, align 4, !tbaa !9
  store i32 1, ptr %15, align 4, !tbaa !9
  %296 = load i32, ptr %15, align 4, !tbaa !9
  %297 = load i32, ptr %14, align 4, !tbaa !9
  %298 = and i32 %297, %296
  store i32 %298, ptr %14, align 4, !tbaa !9
  %299 = load i32, ptr %14, align 4, !tbaa !9
  %300 = icmp ne i32 %299, 0
  br i1 %300, label %301, label %306

301:                                              ; preds = %287
  %302 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %302, ptr %14, align 4, !tbaa !9
  store i32 1, ptr %15, align 4, !tbaa !9
  %303 = load i32, ptr %15, align 4, !tbaa !9
  %304 = load i32, ptr %14, align 4, !tbaa !9
  %305 = sub i32 %304, %303
  store i32 %305, ptr %14, align 4, !tbaa !9
  br label %405

306:                                              ; preds = %287
  %307 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %307, ptr %14, align 4, !tbaa !9
  %308 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %308, ptr %15, align 4, !tbaa !9
  store i32 22, ptr %16, align 4, !tbaa !9
  %309 = load i32, ptr %16, align 4, !tbaa !9
  %310 = and i32 %309, 31
  %311 = load i32, ptr %15, align 4, !tbaa !9
  %312 = lshr i32 %311, %310
  store i32 %312, ptr %15, align 4, !tbaa !9
  store i32 1020, ptr %16, align 4, !tbaa !9
  %313 = load i32, ptr %16, align 4, !tbaa !9
  %314 = load i32, ptr %15, align 4, !tbaa !9
  %315 = and i32 %314, %313
  store i32 %315, ptr %15, align 4, !tbaa !9
  store i32 138008, ptr %16, align 4, !tbaa !9
  %316 = load i32, ptr %16, align 4, !tbaa !9
  %317 = load i32, ptr %15, align 4, !tbaa !9
  %318 = add i32 %317, %316
  store i32 %318, ptr %15, align 4, !tbaa !9
  %319 = load ptr, ptr %3, align 8, !tbaa !5
  %320 = getelementptr inbounds %struct.w2c_hermes, ptr %319, i32 0, i32 6
  %321 = load i32, ptr %15, align 4, !tbaa !9
  %322 = zext i32 %321 to i64
  %323 = call i32 @i32_load(ptr noundef %320, i64 noundef %322)
  store i32 %323, ptr %15, align 4, !tbaa !9
  %324 = load ptr, ptr %3, align 8, !tbaa !5
  %325 = getelementptr inbounds %struct.w2c_hermes, ptr %324, i32 0, i32 6
  %326 = load i32, ptr %15, align 4, !tbaa !9
  %327 = zext i32 %326 to i64
  %328 = add i64 %327, 16
  %329 = call i32 @i32_load(ptr noundef %325, i64 noundef %328)
  store i32 %329, ptr %15, align 4, !tbaa !9
  %330 = load i32, ptr %15, align 4, !tbaa !9
  store i32 %330, ptr %6, align 4, !tbaa !9
  %331 = load i32, ptr %15, align 4, !tbaa !9
  %332 = icmp ne i32 %331, 0
  %333 = xor i1 %332, true
  %334 = zext i1 %333 to i32
  store i32 %334, ptr %15, align 4, !tbaa !9
  %335 = load i32, ptr %15, align 4, !tbaa !9
  %336 = icmp ne i32 %335, 0
  br i1 %336, label %337, label %338

337:                                              ; preds = %306
  br label %405

338:                                              ; preds = %306
  %339 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %339, ptr %14, align 4, !tbaa !9
  %340 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %340, ptr %15, align 4, !tbaa !9
  %341 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %341, ptr %16, align 4, !tbaa !9
  %342 = load i32, ptr %16, align 4, !tbaa !9
  %343 = load ptr, ptr %3, align 8, !tbaa !5
  %344 = getelementptr inbounds %struct.w2c_hermes, ptr %343, i32 0, i32 7
  %345 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %344, i32 0, i32 2
  %346 = load i32, ptr %345, align 4, !tbaa !13
  %347 = icmp ult i32 %342, %346
  br i1 %347, label %348, label %371

348:                                              ; preds = %338
  %349 = load ptr, ptr %3, align 8, !tbaa !5
  %350 = getelementptr inbounds %struct.w2c_hermes, ptr %349, i32 0, i32 7
  %351 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %350, i32 0, i32 0
  %352 = load ptr, ptr %351, align 8, !tbaa !18
  %353 = load i32, ptr %16, align 4, !tbaa !9
  %354 = zext i32 %353 to i64
  %355 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %352, i64 %354
  %356 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %355, i32 0, i32 1
  %357 = load ptr, ptr %356, align 8, !tbaa !19
  %358 = icmp ne ptr %357, null
  br i1 %358, label %359, label %371

359:                                              ; preds = %348
  %360 = load ptr, ptr @w2c_hermes_t0, align 8, !tbaa !5
  %361 = load ptr, ptr %3, align 8, !tbaa !5
  %362 = getelementptr inbounds %struct.w2c_hermes, ptr %361, i32 0, i32 7
  %363 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %362, i32 0, i32 0
  %364 = load ptr, ptr %363, align 8, !tbaa !18
  %365 = load i32, ptr %16, align 4, !tbaa !9
  %366 = zext i32 %365 to i64
  %367 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %364, i64 %366
  %368 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %367, i32 0, i32 0
  %369 = load ptr, ptr %368, align 8, !tbaa !21
  %370 = call zeroext i1 @func_types_eq(ptr noundef %360, ptr noundef %369)
  br label %371

371:                                              ; preds = %359, %348, %338
  %372 = phi i1 [ false, %348 ], [ false, %338 ], [ %370, %359 ]
  %373 = xor i1 %372, true
  %374 = xor i1 %373, true
  %375 = zext i1 %374 to i32
  %376 = sext i32 %375 to i64
  %377 = call i64 @llvm.expect.i64(i64 %376, i64 1)
  %378 = icmp ne i64 %377, 0
  br i1 %378, label %381, label %379

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

380:                                              ; No predecessors!
  br label %381

381:                                              ; preds = %380, %371
  %382 = phi i1 [ true, %371 ], [ false, %380 ]
  %383 = zext i1 %382 to i32
  %384 = load ptr, ptr %3, align 8, !tbaa !5
  %385 = getelementptr inbounds %struct.w2c_hermes, ptr %384, i32 0, i32 7
  %386 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %385, i32 0, i32 0
  %387 = load ptr, ptr %386, align 8, !tbaa !18
  %388 = load i32, ptr %16, align 4, !tbaa !9
  %389 = zext i32 %388 to i64
  %390 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %387, i64 %389
  %391 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %390, i32 0, i32 1
  %392 = load ptr, ptr %391, align 8, !tbaa !19
  %393 = load ptr, ptr %3, align 8, !tbaa !5
  %394 = getelementptr inbounds %struct.w2c_hermes, ptr %393, i32 0, i32 7
  %395 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %394, i32 0, i32 0
  %396 = load ptr, ptr %395, align 8, !tbaa !18
  %397 = load i32, ptr %16, align 4, !tbaa !9
  %398 = zext i32 %397 to i64
  %399 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %396, i64 %398
  %400 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %399, i32 0, i32 2
  %401 = load ptr, ptr %400, align 8, !tbaa !22
  %402 = load i32, ptr %14, align 4, !tbaa !9
  %403 = load i32, ptr %15, align 4, !tbaa !9
  call void %392(ptr noundef %401, i32 noundef %402, i32 noundef %403)
  %404 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %404, ptr %14, align 4, !tbaa !9
  br label %405

405:                                              ; preds = %381, %337, %301
  %406 = load ptr, ptr %3, align 8, !tbaa !5
  %407 = getelementptr inbounds %struct.w2c_hermes, ptr %406, i32 0, i32 6
  %408 = load i32, ptr %14, align 4, !tbaa !9
  %409 = zext i32 %408 to i64
  %410 = call i32 @i32_load(ptr noundef %407, i64 noundef %409)
  store i32 %410, ptr %14, align 4, !tbaa !9
  store i32 16777215, ptr %15, align 4, !tbaa !9
  %411 = load i32, ptr %15, align 4, !tbaa !9
  %412 = load i32, ptr %14, align 4, !tbaa !9
  %413 = and i32 %412, %411
  store i32 %413, ptr %14, align 4, !tbaa !9
  %414 = load i32, ptr %14, align 4, !tbaa !9
  %415 = load i32, ptr %13, align 4, !tbaa !9
  %416 = add i32 %415, %414
  store i32 %416, ptr %13, align 4, !tbaa !9
  %417 = load i32, ptr %13, align 4, !tbaa !9
  store i32 %417, ptr %5, align 4, !tbaa !9
  %418 = load i32, ptr %8, align 4, !tbaa !9
  store i32 %418, ptr %14, align 4, !tbaa !9
  %419 = load i32, ptr %13, align 4, !tbaa !9
  %420 = load i32, ptr %14, align 4, !tbaa !9
  %421 = icmp ult i32 %419, %420
  %422 = zext i1 %421 to i32
  store i32 %422, ptr %13, align 4, !tbaa !9
  %423 = load i32, ptr %13, align 4, !tbaa !9
  %424 = icmp ne i32 %423, 0
  br i1 %424, label %425, label %426

425:                                              ; preds = %405
  br label %287

426:                                              ; preds = %405
  br label %427

427:                                              ; preds = %426, %285, %259
  %428 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %428, ptr %13, align 4, !tbaa !9
  %429 = load ptr, ptr %3, align 8, !tbaa !5
  %430 = getelementptr inbounds %struct.w2c_hermes, ptr %429, i32 0, i32 6
  %431 = load i32, ptr %13, align 4, !tbaa !9
  %432 = zext i32 %431 to i64
  %433 = add i64 %432, 600
  %434 = call i32 @i32_load(ptr noundef %430, i64 noundef %433)
  store i32 %434, ptr %13, align 4, !tbaa !9
  %435 = load i32, ptr %13, align 4, !tbaa !9
  store i32 %435, ptr %5, align 4, !tbaa !9
  %436 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %436, ptr %14, align 4, !tbaa !9
  %437 = load ptr, ptr %3, align 8, !tbaa !5
  %438 = getelementptr inbounds %struct.w2c_hermes, ptr %437, i32 0, i32 6
  %439 = load i32, ptr %14, align 4, !tbaa !9
  %440 = zext i32 %439 to i64
  %441 = add i64 %440, 604
  %442 = call i32 @i32_load(ptr noundef %438, i64 noundef %441)
  store i32 %442, ptr %14, align 4, !tbaa !9
  %443 = load i32, ptr %13, align 4, !tbaa !9
  %444 = load i32, ptr %14, align 4, !tbaa !9
  %445 = icmp eq i32 %443, %444
  %446 = zext i1 %445 to i32
  store i32 %446, ptr %13, align 4, !tbaa !9
  %447 = load i32, ptr %13, align 4, !tbaa !9
  %448 = icmp ne i32 %447, 0
  br i1 %448, label %449, label %450

449:                                              ; preds = %427
  br label %749

450:                                              ; preds = %427
  %451 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %451, ptr %13, align 4, !tbaa !9
  %452 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %452, ptr %14, align 4, !tbaa !9
  %453 = load ptr, ptr %3, align 8, !tbaa !5
  %454 = getelementptr inbounds %struct.w2c_hermes, ptr %453, i32 0, i32 6
  %455 = load i32, ptr %14, align 4, !tbaa !9
  %456 = zext i32 %455 to i64
  %457 = add i64 %456, 612
  %458 = call i32 @i32_load(ptr noundef %454, i64 noundef %457)
  store i32 %458, ptr %14, align 4, !tbaa !9
  %459 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %459, ptr %7, align 4, !tbaa !9
  store i32 6, ptr %15, align 4, !tbaa !9
  %460 = load i32, ptr %15, align 4, !tbaa !9
  %461 = and i32 %460, 31
  %462 = load i32, ptr %14, align 4, !tbaa !9
  %463 = lshr i32 %462, %461
  store i32 %463, ptr %14, align 4, !tbaa !9
  store i32 67108860, ptr %15, align 4, !tbaa !9
  %464 = load i32, ptr %15, align 4, !tbaa !9
  %465 = load i32, ptr %14, align 4, !tbaa !9
  %466 = and i32 %465, %464
  store i32 %466, ptr %14, align 4, !tbaa !9
  %467 = load i32, ptr %14, align 4, !tbaa !9
  %468 = load i32, ptr %13, align 4, !tbaa !9
  %469 = add i32 %468, %467
  store i32 %469, ptr %13, align 4, !tbaa !9
  %470 = load i32, ptr %13, align 4, !tbaa !9
  store i32 %470, ptr %8, align 4, !tbaa !9
  %471 = load ptr, ptr %3, align 8, !tbaa !5
  %472 = getelementptr inbounds %struct.w2c_hermes, ptr %471, i32 0, i32 6
  %473 = load i32, ptr %13, align 4, !tbaa !9
  %474 = zext i32 %473 to i64
  %475 = call i32 @i32_load(ptr noundef %472, i64 noundef %474)
  store i32 %475, ptr %13, align 4, !tbaa !9
  %476 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %476, ptr %14, align 4, !tbaa !9
  store i32 255, ptr %15, align 4, !tbaa !9
  %477 = load i32, ptr %15, align 4, !tbaa !9
  %478 = load i32, ptr %14, align 4, !tbaa !9
  %479 = and i32 %478, %477
  store i32 %479, ptr %14, align 4, !tbaa !9
  store i32 4, ptr %15, align 4, !tbaa !9
  %480 = load i32, ptr %15, align 4, !tbaa !9
  %481 = and i32 %480, 31
  %482 = load i32, ptr %14, align 4, !tbaa !9
  %483 = shl i32 %482, %481
  store i32 %483, ptr %14, align 4, !tbaa !9
  %484 = load i32, ptr %14, align 4, !tbaa !9
  %485 = load i32, ptr %13, align 4, !tbaa !9
  %486 = add i32 %485, %484
  store i32 %486, ptr %13, align 4, !tbaa !9
  %487 = load i32, ptr %13, align 4, !tbaa !9
  store i32 %487, ptr %6, align 4, !tbaa !9
  %488 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %488, ptr %14, align 4, !tbaa !9
  %489 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %489, ptr %15, align 4, !tbaa !9
  %490 = load ptr, ptr %3, align 8, !tbaa !5
  %491 = getelementptr inbounds %struct.w2c_hermes, ptr %490, i32 0, i32 6
  %492 = load i32, ptr %15, align 4, !tbaa !9
  %493 = zext i32 %492 to i64
  %494 = add i64 %493, 616
  %495 = call i32 @i32_load(ptr noundef %491, i64 noundef %494)
  store i32 %495, ptr %15, align 4, !tbaa !9
  %496 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %496, ptr %16, align 4, !tbaa !9
  %497 = load i32, ptr %16, align 4, !tbaa !9
  %498 = load i32, ptr %15, align 4, !tbaa !9
  %499 = add i32 %498, %497
  store i32 %499, ptr %15, align 4, !tbaa !9
  %500 = load i32, ptr %15, align 4, !tbaa !9
  store i32 %500, ptr %7, align 4, !tbaa !9
  store i32 6, ptr %16, align 4, !tbaa !9
  %501 = load i32, ptr %16, align 4, !tbaa !9
  %502 = and i32 %501, 31
  %503 = load i32, ptr %15, align 4, !tbaa !9
  %504 = lshr i32 %503, %502
  store i32 %504, ptr %15, align 4, !tbaa !9
  store i32 67108860, ptr %16, align 4, !tbaa !9
  %505 = load i32, ptr %16, align 4, !tbaa !9
  %506 = load i32, ptr %15, align 4, !tbaa !9
  %507 = and i32 %506, %505
  store i32 %507, ptr %15, align 4, !tbaa !9
  %508 = load i32, ptr %15, align 4, !tbaa !9
  %509 = load i32, ptr %14, align 4, !tbaa !9
  %510 = add i32 %509, %508
  store i32 %510, ptr %14, align 4, !tbaa !9
  %511 = load ptr, ptr %3, align 8, !tbaa !5
  %512 = getelementptr inbounds %struct.w2c_hermes, ptr %511, i32 0, i32 6
  %513 = load i32, ptr %14, align 4, !tbaa !9
  %514 = zext i32 %513 to i64
  %515 = call i32 @i32_load(ptr noundef %512, i64 noundef %514)
  store i32 %515, ptr %14, align 4, !tbaa !9
  %516 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %516, ptr %15, align 4, !tbaa !9
  store i32 255, ptr %16, align 4, !tbaa !9
  %517 = load i32, ptr %16, align 4, !tbaa !9
  %518 = load i32, ptr %15, align 4, !tbaa !9
  %519 = and i32 %518, %517
  store i32 %519, ptr %15, align 4, !tbaa !9
  store i32 4, ptr %16, align 4, !tbaa !9
  %520 = load i32, ptr %16, align 4, !tbaa !9
  %521 = and i32 %520, 31
  %522 = load i32, ptr %15, align 4, !tbaa !9
  %523 = shl i32 %522, %521
  store i32 %523, ptr %15, align 4, !tbaa !9
  %524 = load i32, ptr %15, align 4, !tbaa !9
  %525 = load i32, ptr %14, align 4, !tbaa !9
  %526 = add i32 %525, %524
  store i32 %526, ptr %14, align 4, !tbaa !9
  %527 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %527, ptr %9, align 4, !tbaa !9
  %528 = load i32, ptr %13, align 4, !tbaa !9
  %529 = load i32, ptr %14, align 4, !tbaa !9
  %530 = icmp eq i32 %528, %529
  %531 = zext i1 %530 to i32
  store i32 %531, ptr %13, align 4, !tbaa !9
  %532 = load i32, ptr %13, align 4, !tbaa !9
  %533 = icmp ne i32 %532, 0
  br i1 %533, label %534, label %535

534:                                              ; preds = %450
  br label %749

535:                                              ; preds = %450
  br label %536

536:                                              ; preds = %747, %535
  %537 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %537, ptr %13, align 4, !tbaa !9
  %538 = load ptr, ptr %3, align 8, !tbaa !5
  %539 = getelementptr inbounds %struct.w2c_hermes, ptr %538, i32 0, i32 6
  %540 = load i32, ptr %13, align 4, !tbaa !9
  %541 = zext i32 %540 to i64
  %542 = call i32 @i32_load(ptr noundef %539, i64 noundef %541)
  store i32 %542, ptr %13, align 4, !tbaa !9
  store i32 86016, ptr %14, align 4, !tbaa !9
  %543 = load i32, ptr %14, align 4, !tbaa !9
  %544 = load i32, ptr %13, align 4, !tbaa !9
  %545 = add i32 %544, %543
  store i32 %545, ptr %13, align 4, !tbaa !9
  %546 = load i32, ptr %13, align 4, !tbaa !9
  store i32 %546, ptr %5, align 4, !tbaa !9
  %547 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %547, ptr %14, align 4, !tbaa !9
  %548 = load ptr, ptr %3, align 8, !tbaa !5
  %549 = getelementptr inbounds %struct.w2c_hermes, ptr %548, i32 0, i32 6
  %550 = load i32, ptr %14, align 4, !tbaa !9
  %551 = zext i32 %550 to i64
  %552 = add i64 %551, 8
  %553 = call i32 @i32_load(ptr noundef %549, i64 noundef %552)
  store i32 %553, ptr %14, align 4, !tbaa !9
  %554 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %554, ptr %10, align 4, !tbaa !9
  %555 = load i32, ptr %13, align 4, !tbaa !9
  %556 = load i32, ptr %14, align 4, !tbaa !9
  %557 = icmp ne i32 %555, %556
  %558 = zext i1 %557 to i32
  store i32 %558, ptr %13, align 4, !tbaa !9
  %559 = load i32, ptr %13, align 4, !tbaa !9
  %560 = icmp ne i32 %559, 0
  br i1 %560, label %561, label %703

561:                                              ; preds = %536
  br label %562

562:                                              ; preds = %701, %561
  %563 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %563, ptr %13, align 4, !tbaa !9
  %564 = load ptr, ptr %3, align 8, !tbaa !5
  %565 = getelementptr inbounds %struct.w2c_hermes, ptr %564, i32 0, i32 6
  %566 = load i32, ptr %13, align 4, !tbaa !9
  %567 = zext i32 %566 to i64
  %568 = call i32 @i32_load(ptr noundef %565, i64 noundef %567)
  store i32 %568, ptr %13, align 4, !tbaa !9
  %569 = load i32, ptr %13, align 4, !tbaa !9
  store i32 %569, ptr %7, align 4, !tbaa !9
  store i32 -16777216, ptr %14, align 4, !tbaa !9
  %570 = load i32, ptr %14, align 4, !tbaa !9
  %571 = load i32, ptr %13, align 4, !tbaa !9
  %572 = and i32 %571, %570
  store i32 %572, ptr %13, align 4, !tbaa !9
  store i32 33554432, ptr %14, align 4, !tbaa !9
  %573 = load i32, ptr %13, align 4, !tbaa !9
  %574 = load i32, ptr %14, align 4, !tbaa !9
  %575 = icmp eq i32 %573, %574
  %576 = zext i1 %575 to i32
  store i32 %576, ptr %13, align 4, !tbaa !9
  %577 = load i32, ptr %13, align 4, !tbaa !9
  %578 = icmp ne i32 %577, 0
  br i1 %578, label %579, label %580

579:                                              ; preds = %562
  br label %684

580:                                              ; preds = %562
  %581 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %581, ptr %13, align 4, !tbaa !9
  store i32 22, ptr %14, align 4, !tbaa !9
  %582 = load i32, ptr %14, align 4, !tbaa !9
  %583 = and i32 %582, 31
  %584 = load i32, ptr %13, align 4, !tbaa !9
  %585 = lshr i32 %584, %583
  store i32 %585, ptr %13, align 4, !tbaa !9
  store i32 1020, ptr %14, align 4, !tbaa !9
  %586 = load i32, ptr %14, align 4, !tbaa !9
  %587 = load i32, ptr %13, align 4, !tbaa !9
  %588 = and i32 %587, %586
  store i32 %588, ptr %13, align 4, !tbaa !9
  store i32 138008, ptr %14, align 4, !tbaa !9
  %589 = load i32, ptr %14, align 4, !tbaa !9
  %590 = load i32, ptr %13, align 4, !tbaa !9
  %591 = add i32 %590, %589
  store i32 %591, ptr %13, align 4, !tbaa !9
  %592 = load ptr, ptr %3, align 8, !tbaa !5
  %593 = getelementptr inbounds %struct.w2c_hermes, ptr %592, i32 0, i32 6
  %594 = load i32, ptr %13, align 4, !tbaa !9
  %595 = zext i32 %594 to i64
  %596 = call i32 @i32_load(ptr noundef %593, i64 noundef %595)
  store i32 %596, ptr %13, align 4, !tbaa !9
  %597 = load ptr, ptr %3, align 8, !tbaa !5
  %598 = getelementptr inbounds %struct.w2c_hermes, ptr %597, i32 0, i32 6
  %599 = load i32, ptr %13, align 4, !tbaa !9
  %600 = zext i32 %599 to i64
  %601 = add i64 %600, 16
  %602 = call i32 @i32_load(ptr noundef %598, i64 noundef %601)
  store i32 %602, ptr %13, align 4, !tbaa !9
  %603 = load i32, ptr %13, align 4, !tbaa !9
  store i32 %603, ptr %11, align 4, !tbaa !9
  %604 = load i32, ptr %13, align 4, !tbaa !9
  %605 = icmp ne i32 %604, 0
  %606 = xor i1 %605, true
  %607 = zext i1 %606 to i32
  store i32 %607, ptr %13, align 4, !tbaa !9
  %608 = load i32, ptr %13, align 4, !tbaa !9
  %609 = icmp ne i32 %608, 0
  br i1 %609, label %610, label %611

610:                                              ; preds = %580
  br label %684

611:                                              ; preds = %580
  %612 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %612, ptr %13, align 4, !tbaa !9
  %613 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %613, ptr %14, align 4, !tbaa !9
  %614 = load i32, ptr %11, align 4, !tbaa !9
  store i32 %614, ptr %15, align 4, !tbaa !9
  %615 = load i32, ptr %15, align 4, !tbaa !9
  %616 = load ptr, ptr %3, align 8, !tbaa !5
  %617 = getelementptr inbounds %struct.w2c_hermes, ptr %616, i32 0, i32 7
  %618 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %617, i32 0, i32 2
  %619 = load i32, ptr %618, align 4, !tbaa !13
  %620 = icmp ult i32 %615, %619
  br i1 %620, label %621, label %644

621:                                              ; preds = %611
  %622 = load ptr, ptr %3, align 8, !tbaa !5
  %623 = getelementptr inbounds %struct.w2c_hermes, ptr %622, i32 0, i32 7
  %624 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %623, i32 0, i32 0
  %625 = load ptr, ptr %624, align 8, !tbaa !18
  %626 = load i32, ptr %15, align 4, !tbaa !9
  %627 = zext i32 %626 to i64
  %628 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %625, i64 %627
  %629 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %628, i32 0, i32 1
  %630 = load ptr, ptr %629, align 8, !tbaa !19
  %631 = icmp ne ptr %630, null
  br i1 %631, label %632, label %644

632:                                              ; preds = %621
  %633 = load ptr, ptr @w2c_hermes_t0, align 8, !tbaa !5
  %634 = load ptr, ptr %3, align 8, !tbaa !5
  %635 = getelementptr inbounds %struct.w2c_hermes, ptr %634, i32 0, i32 7
  %636 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %635, i32 0, i32 0
  %637 = load ptr, ptr %636, align 8, !tbaa !18
  %638 = load i32, ptr %15, align 4, !tbaa !9
  %639 = zext i32 %638 to i64
  %640 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %637, i64 %639
  %641 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %640, i32 0, i32 0
  %642 = load ptr, ptr %641, align 8, !tbaa !21
  %643 = call zeroext i1 @func_types_eq(ptr noundef %633, ptr noundef %642)
  br label %644

644:                                              ; preds = %632, %621, %611
  %645 = phi i1 [ false, %621 ], [ false, %611 ], [ %643, %632 ]
  %646 = xor i1 %645, true
  %647 = xor i1 %646, true
  %648 = zext i1 %647 to i32
  %649 = sext i32 %648 to i64
  %650 = call i64 @llvm.expect.i64(i64 %649, i64 1)
  %651 = icmp ne i64 %650, 0
  br i1 %651, label %654, label %652

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

653:                                              ; No predecessors!
  br label %654

654:                                              ; preds = %653, %644
  %655 = phi i1 [ true, %644 ], [ false, %653 ]
  %656 = zext i1 %655 to i32
  %657 = load ptr, ptr %3, align 8, !tbaa !5
  %658 = getelementptr inbounds %struct.w2c_hermes, ptr %657, i32 0, i32 7
  %659 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %658, i32 0, i32 0
  %660 = load ptr, ptr %659, align 8, !tbaa !18
  %661 = load i32, ptr %15, align 4, !tbaa !9
  %662 = zext i32 %661 to i64
  %663 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %660, i64 %662
  %664 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %663, i32 0, i32 1
  %665 = load ptr, ptr %664, align 8, !tbaa !19
  %666 = load ptr, ptr %3, align 8, !tbaa !5
  %667 = getelementptr inbounds %struct.w2c_hermes, ptr %666, i32 0, i32 7
  %668 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %667, i32 0, i32 0
  %669 = load ptr, ptr %668, align 8, !tbaa !18
  %670 = load i32, ptr %15, align 4, !tbaa !9
  %671 = zext i32 %670 to i64
  %672 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %669, i64 %671
  %673 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %672, i32 0, i32 2
  %674 = load ptr, ptr %673, align 8, !tbaa !22
  %675 = load i32, ptr %13, align 4, !tbaa !9
  %676 = load i32, ptr %14, align 4, !tbaa !9
  call void %665(ptr noundef %674, i32 noundef %675, i32 noundef %676)
  %677 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %677, ptr %13, align 4, !tbaa !9
  %678 = load ptr, ptr %3, align 8, !tbaa !5
  %679 = getelementptr inbounds %struct.w2c_hermes, ptr %678, i32 0, i32 6
  %680 = load i32, ptr %13, align 4, !tbaa !9
  %681 = zext i32 %680 to i64
  %682 = call i32 @i32_load(ptr noundef %679, i64 noundef %681)
  store i32 %682, ptr %13, align 4, !tbaa !9
  %683 = load i32, ptr %13, align 4, !tbaa !9
  store i32 %683, ptr %7, align 4, !tbaa !9
  br label %684

684:                                              ; preds = %654, %610, %579
  %685 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %685, ptr %13, align 4, !tbaa !9
  %686 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %686, ptr %14, align 4, !tbaa !9
  store i32 16777215, ptr %15, align 4, !tbaa !9
  %687 = load i32, ptr %15, align 4, !tbaa !9
  %688 = load i32, ptr %14, align 4, !tbaa !9
  %689 = and i32 %688, %687
  store i32 %689, ptr %14, align 4, !tbaa !9
  %690 = load i32, ptr %14, align 4, !tbaa !9
  %691 = load i32, ptr %13, align 4, !tbaa !9
  %692 = add i32 %691, %690
  store i32 %692, ptr %13, align 4, !tbaa !9
  %693 = load i32, ptr %13, align 4, !tbaa !9
  store i32 %693, ptr %5, align 4, !tbaa !9
  %694 = load i32, ptr %10, align 4, !tbaa !9
  store i32 %694, ptr %14, align 4, !tbaa !9
  %695 = load i32, ptr %13, align 4, !tbaa !9
  %696 = load i32, ptr %14, align 4, !tbaa !9
  %697 = icmp ne i32 %695, %696
  %698 = zext i1 %697 to i32
  store i32 %698, ptr %13, align 4, !tbaa !9
  %699 = load i32, ptr %13, align 4, !tbaa !9
  %700 = icmp ne i32 %699, 0
  br i1 %700, label %701, label %702

701:                                              ; preds = %684
  br label %562

702:                                              ; preds = %684
  br label %703

703:                                              ; preds = %702, %536
  %704 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %704, ptr %13, align 4, !tbaa !9
  store i32 16, ptr %14, align 4, !tbaa !9
  %705 = load i32, ptr %14, align 4, !tbaa !9
  %706 = load i32, ptr %13, align 4, !tbaa !9
  %707 = add i32 %706, %705
  store i32 %707, ptr %13, align 4, !tbaa !9
  %708 = load i32, ptr %13, align 4, !tbaa !9
  store i32 %708, ptr %6, align 4, !tbaa !9
  %709 = load i32, ptr %8, align 4, !tbaa !9
  store i32 %709, ptr %14, align 4, !tbaa !9
  %710 = load ptr, ptr %3, align 8, !tbaa !5
  %711 = getelementptr inbounds %struct.w2c_hermes, ptr %710, i32 0, i32 6
  %712 = load i32, ptr %14, align 4, !tbaa !9
  %713 = zext i32 %712 to i64
  %714 = call i32 @i32_load(ptr noundef %711, i64 noundef %713)
  store i32 %714, ptr %14, align 4, !tbaa !9
  %715 = load i32, ptr %14, align 4, !tbaa !9
  %716 = load i32, ptr %13, align 4, !tbaa !9
  %717 = sub i32 %716, %715
  store i32 %717, ptr %13, align 4, !tbaa !9
  store i32 4096, ptr %14, align 4, !tbaa !9
  %718 = load i32, ptr %13, align 4, !tbaa !9
  %719 = load i32, ptr %14, align 4, !tbaa !9
  %720 = icmp eq i32 %718, %719
  %721 = zext i1 %720 to i32
  store i32 %721, ptr %13, align 4, !tbaa !9
  %722 = load i32, ptr %13, align 4, !tbaa !9
  %723 = icmp ne i32 %722, 0
  br i1 %723, label %724, label %738

724:                                              ; preds = %703
  %725 = load i32, ptr %8, align 4, !tbaa !9
  store i32 %725, ptr %13, align 4, !tbaa !9
  %726 = load ptr, ptr %3, align 8, !tbaa !5
  %727 = getelementptr inbounds %struct.w2c_hermes, ptr %726, i32 0, i32 6
  %728 = load i32, ptr %13, align 4, !tbaa !9
  %729 = zext i32 %728 to i64
  %730 = add i64 %729, 4
  %731 = call i32 @i32_load(ptr noundef %727, i64 noundef %730)
  store i32 %731, ptr %13, align 4, !tbaa !9
  %732 = load i32, ptr %13, align 4, !tbaa !9
  store i32 %732, ptr %6, align 4, !tbaa !9
  %733 = load i32, ptr %8, align 4, !tbaa !9
  store i32 %733, ptr %13, align 4, !tbaa !9
  store i32 4, ptr %14, align 4, !tbaa !9
  %734 = load i32, ptr %14, align 4, !tbaa !9
  %735 = load i32, ptr %13, align 4, !tbaa !9
  %736 = add i32 %735, %734
  store i32 %736, ptr %13, align 4, !tbaa !9
  %737 = load i32, ptr %13, align 4, !tbaa !9
  store i32 %737, ptr %8, align 4, !tbaa !9
  br label %738

738:                                              ; preds = %724, %703
  %739 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %739, ptr %13, align 4, !tbaa !9
  %740 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %740, ptr %14, align 4, !tbaa !9
  %741 = load i32, ptr %13, align 4, !tbaa !9
  %742 = load i32, ptr %14, align 4, !tbaa !9
  %743 = icmp ne i32 %741, %742
  %744 = zext i1 %743 to i32
  store i32 %744, ptr %13, align 4, !tbaa !9
  %745 = load i32, ptr %13, align 4, !tbaa !9
  %746 = icmp ne i32 %745, 0
  br i1 %746, label %747, label %748

747:                                              ; preds = %738
  br label %536

748:                                              ; preds = %738
  br label %749

749:                                              ; preds = %748, %534, %449
  call void @llvm.lifetime.end.p0(i64 8, ptr %20) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %19) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %18) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %17) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %16) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %15) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %14) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %13) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %12) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %11) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %10) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %9) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %8) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %7) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %6) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %5) #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 = { noreturn "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { nocallback nofree nosync nounwind willreturn memory(none) }
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, !12, i64 0}
!12 = !{!"long", !7, i64 0}
!13 = !{!14, !10, i64 92}
!14 = !{!"w2c_hermes", !6, i64 0, !6, i64 8, !6, i64 16, !10, i64 24, !10, i64 28, !10, i64 32, !15, i64 40, !17, i64 80}
!15 = !{!"", !6, i64 0, !12, i64 8, !12, i64 16, !12, i64 24, !16, i64 32}
!16 = !{!"_Bool", !7, i64 0}
!17 = !{!"", !6, i64 0, !10, i64 8, !10, i64 12}
!18 = !{!14, !6, i64 80}
!19 = !{!20, !6, i64 8}
!20 = !{!"", !6, i64 0, !6, i64 8, !6, i64 16}
!21 = !{!20, !6, i64 0}
!22 = !{!20, !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 void @i32_store(ptr noundef, i64 noundef, i32 noundef) local_unnamed_addr #0

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

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

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

; Function Attrs: inlinehint nounwind uwtable
declare hidden i64 @i64_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: inlinehint nounwind uwtable
declare hidden i64 @i64_load32_u(ptr noundef, i64 noundef) local_unnamed_addr #0

; Function Attrs: nounwind uwtable
define dso_local void @w2c_hermes_hermes0x3A0x3Avm0x3A0x3AHadesGC0x3A0x3AfinalizeAll0x280x29(ptr noundef %0, i32 noundef %1) local_unnamed_addr #2 {
  %3 = getelementptr inbounds i8, ptr %0, i64 40
  %4 = zext i32 %1 to i64
  %5 = add nuw nsw i64 %4, 4004
  tail call void @i32_store8(ptr noundef nonnull %3, i64 noundef %5, i32 noundef 0)
  %6 = add nuw nsw i64 %4, 568
  %7 = tail call i32 @i32_load(ptr noundef nonnull %3, i64 noundef %6)
  %8 = add nuw nsw i64 %4, 572
  %9 = tail call i32 @i32_load(ptr noundef nonnull %3, i64 noundef %8)
  %.not = icmp eq i32 %7, %9
  br i1 %.not, label %50, label %.preheader357

.preheader357:                                    ; preds = %2
  %10 = getelementptr inbounds i8, ptr %0, i64 80
  %11 = getelementptr inbounds i8, ptr %0, i64 92
  %12 = load ptr, ptr @w2c_hermes_t0, align 8
  br label %13

13:                                               ; preds = %.preheader357, %46
  %.0 = phi i32 [ %47, %46 ], [ %7, %.preheader357 ]
  %14 = zext i32 %.0 to i64
  %15 = tail call i32 @i32_load(ptr noundef nonnull %3, i64 noundef %14)
  %16 = zext i32 %15 to i64
  %17 = tail call i32 @i32_load(ptr noundef nonnull %3, i64 noundef %16)
  %18 = and i32 %17, 1
  %.not336 = icmp eq i32 %18, 0
  br i1 %.not336, label %19, label %46

19:                                               ; preds = %13
  %20 = lshr i32 %17, 22
  %21 = and i32 %20, 1020
  %22 = add nuw nsw i32 %21, 138008
  %23 = zext nneg i32 %22 to i64
  %24 = tail call i32 @i32_load(ptr noundef nonnull %3, i64 noundef %23)
  %25 = zext i32 %24 to i64
  %26 = add nuw nsw i64 %25, 16
  %27 = tail call i32 @i32_load(ptr noundef nonnull %3, i64 noundef %26)
  %28 = load i32, ptr %11, align 4, !tbaa !5
  %29 = icmp ult i32 %27, %28
  br i1 %29, label %30, label %.critedge, !prof !15

30:                                               ; preds = %19
  %31 = load ptr, ptr %10, align 8, !tbaa !16
  %32 = zext i32 %27 to i64
  %33 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %31, i64 %32
  %34 = getelementptr inbounds i8, ptr %33, i64 8
  %35 = load ptr, ptr %34, align 8, !tbaa !17
  %.not337 = icmp eq ptr %35, null
  br i1 %.not337, label %.critedge, label %36, !prof !19

36:                                               ; preds = %30
  %37 = load ptr, ptr %33, align 8, !tbaa !20
  %38 = tail call zeroext i1 @func_types_eq(ptr noundef %12, ptr noundef %37)
  br i1 %38, label %39, label %.critedge, !prof !15

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

39:                                               ; preds = %36
  %40 = load ptr, ptr %10, align 8, !tbaa !16
  %41 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %40, i64 %32
  %42 = getelementptr inbounds i8, ptr %41, i64 8
  %43 = load ptr, ptr %42, align 8, !tbaa !17
  %44 = getelementptr inbounds i8, ptr %41, i64 16
  %45 = load ptr, ptr %44, align 8, !tbaa !21
  tail call void %43(ptr noundef %45, i32 noundef %15, i32 noundef %1) #4
  br label %46

46:                                               ; preds = %39, %13
  %47 = add i32 %.0, 4
  %.not338 = icmp eq i32 %47, %9
  br i1 %.not338, label %48, label %13

48:                                               ; preds = %46
  %49 = tail call i32 @i32_load(ptr noundef nonnull %3, i64 noundef %6)
  br label %50

50:                                               ; preds = %2, %48
  %.0322 = phi i32 [ %49, %48 ], [ %7, %2 ]
  tail call void @i32_store(ptr noundef nonnull %3, i64 noundef %8, i32 noundef %.0322)
  %51 = add nuw nsw i64 %4, 4392
  %52 = tail call i64 @i64_load32_u(ptr noundef nonnull %3, i64 noundef %51)
  tail call void @i64_store(ptr noundef nonnull %3, i64 noundef %51, i64 noundef 0)
  %53 = add nuw nsw i64 %4, 648
  %54 = tail call i64 @i64_load(ptr noundef nonnull %3, i64 noundef %53)
  %55 = add i64 %54, %52
  tail call void @i64_store(ptr noundef nonnull %3, i64 noundef %53, i64 noundef %55)
  %56 = add nuw nsw i64 %4, 548
  %57 = tail call i32 @i32_load(ptr noundef nonnull %3, i64 noundef %56)
  %58 = add i32 %57, 4194304
  %59 = add nuw nsw i64 %4, 560
  tail call void @i32_store(ptr noundef nonnull %3, i64 noundef %59, i32 noundef %58)
  %60 = add i32 %1, 4416
  %61 = zext i32 %60 to i64
  %62 = tail call i32 @i32_load(ptr noundef nonnull %3, i64 noundef %61)
  %.not339 = icmp eq i32 %62, 0
  br i1 %.not339, label %.loopexit356, label %63

63:                                               ; preds = %50
  %64 = zext i32 %62 to i64
  %65 = tail call i32 @i32_load(ptr noundef nonnull %3, i64 noundef %64)
  %66 = add i32 %65, 86016
  %67 = add nuw nsw i64 %64, 8
  %68 = tail call i32 @i32_load(ptr noundef nonnull %3, i64 noundef %67)
  %.not340 = icmp ult i32 %66, %68
  br i1 %.not340, label %.preheader355, label %.loopexit356

.preheader355:                                    ; preds = %63
  %69 = getelementptr inbounds i8, ptr %0, i64 80
  %70 = getelementptr inbounds i8, ptr %0, i64 92
  %71 = load ptr, ptr @w2c_hermes_t0, align 8
  br label %72

72:                                               ; preds = %.preheader355, %106
  %.1 = phi i32 [ %109, %106 ], [ %66, %.preheader355 ]
  %73 = zext i32 %.1 to i64
  %74 = tail call i32 @i32_load(ptr noundef nonnull %3, i64 noundef %73)
  %75 = and i32 %74, 1
  %.not341 = icmp eq i32 %75, 0
  br i1 %.not341, label %78, label %76

76:                                               ; preds = %72
  %77 = add nsw i32 %74, -1
  %.pre = zext i32 %77 to i64
  br label %106

78:                                               ; preds = %72
  %79 = lshr i32 %74, 22
  %80 = and i32 %79, 1020
  %81 = add nuw nsw i32 %80, 138008
  %82 = zext nneg i32 %81 to i64
  %83 = tail call i32 @i32_load(ptr noundef nonnull %3, i64 noundef %82)
  %84 = zext i32 %83 to i64
  %85 = add nuw nsw i64 %84, 16
  %86 = tail call i32 @i32_load(ptr noundef nonnull %3, i64 noundef %85)
  %.not342 = icmp eq i32 %86, 0
  br i1 %.not342, label %106, label %87

87:                                               ; preds = %78
  %88 = load i32, ptr %70, align 4, !tbaa !5
  %89 = icmp ult i32 %86, %88
  br i1 %89, label %90, label %.critedge350, !prof !15

90:                                               ; preds = %87
  %91 = load ptr, ptr %69, align 8, !tbaa !16
  %92 = zext i32 %86 to i64
  %93 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %91, i64 %92
  %94 = getelementptr inbounds i8, ptr %93, i64 8
  %95 = load ptr, ptr %94, align 8, !tbaa !17
  %.not343 = icmp eq ptr %95, null
  br i1 %.not343, label %.critedge350, label %96, !prof !19

96:                                               ; preds = %90
  %97 = load ptr, ptr %93, align 8, !tbaa !20
  %98 = tail call zeroext i1 @func_types_eq(ptr noundef %71, ptr noundef %97)
  br i1 %98, label %99, label %.critedge350, !prof !15

.critedge350:                                     ; preds = %90, %87, %96
  tail call void @wasm_rt_trap(i32 noundef 6) #3
  unreachable

99:                                               ; preds = %96
  %100 = load ptr, ptr %69, align 8, !tbaa !16
  %101 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %100, i64 %92
  %102 = getelementptr inbounds i8, ptr %101, i64 8
  %103 = load ptr, ptr %102, align 8, !tbaa !17
  %104 = getelementptr inbounds i8, ptr %101, i64 16
  %105 = load ptr, ptr %104, align 8, !tbaa !21
  tail call void %103(ptr noundef %105, i32 noundef %.1, i32 noundef %1) #4
  br label %106

106:                                              ; preds = %78, %99, %76
  %.pre-phi = phi i64 [ %73, %78 ], [ %73, %99 ], [ %.pre, %76 ]
  %107 = tail call i32 @i32_load(ptr noundef nonnull %3, i64 noundef %.pre-phi)
  %108 = and i32 %107, 16777215
  %109 = add i32 %108, %.1
  %110 = icmp ult i32 %109, %68
  br i1 %110, label %72, label %.loopexit356

.loopexit356:                                     ; preds = %106, %63, %50
  %111 = add nuw nsw i64 %4, 600
  %112 = tail call i32 @i32_load(ptr noundef nonnull %3, i64 noundef %111)
  %113 = add nuw nsw i64 %4, 604
  %114 = tail call i32 @i32_load(ptr noundef nonnull %3, i64 noundef %113)
  %115 = icmp eq i32 %112, %114
  br i1 %115, label %.loopexit354, label %116

116:                                              ; preds = %.loopexit356
  %117 = add nuw nsw i64 %4, 612
  %118 = tail call i32 @i32_load(ptr noundef nonnull %3, i64 noundef %117)
  %119 = lshr i32 %118, 6
  %120 = and i32 %119, 67108860
  %121 = add i32 %120, %112
  %122 = zext i32 %121 to i64
  %123 = tail call i32 @i32_load(ptr noundef nonnull %3, i64 noundef %122)
  %124 = shl i32 %118, 4
  %125 = and i32 %124, 4080
  %126 = add i32 %125, %123
  %127 = add nuw nsw i64 %4, 616
  %128 = tail call i32 @i32_load(ptr noundef nonnull %3, i64 noundef %127)
  %129 = add i32 %128, %118
  %130 = lshr i32 %129, 6
  %131 = and i32 %130, 67108860
  %132 = add i32 %131, %112
  %133 = zext i32 %132 to i64
  %134 = tail call i32 @i32_load(ptr noundef nonnull %3, i64 noundef %133)
  %135 = shl i32 %129, 4
  %136 = and i32 %135, 4080
  %137 = add i32 %136, %134
  %138 = icmp eq i32 %126, %137
  br i1 %138, label %.loopexit354, label %.preheader353

.preheader353:                                    ; preds = %116
  %139 = getelementptr inbounds i8, ptr %0, i64 80
  %140 = getelementptr inbounds i8, ptr %0, i64 92
  %141 = load ptr, ptr @w2c_hermes_t0, align 8
  br label %142

142:                                              ; preds = %.preheader353, %193
  %.0320 = phi i32 [ %.1321, %193 ], [ %121, %.preheader353 ]
  %.0317 = phi i32 [ %.1318, %193 ], [ %126, %.preheader353 ]
  %143 = zext i32 %.0317 to i64
  %144 = tail call i32 @i32_load(ptr noundef nonnull %3, i64 noundef %143)
  %145 = add i32 %144, 86016
  %146 = add nuw nsw i64 %143, 8
  %147 = tail call i32 @i32_load(ptr noundef nonnull %3, i64 noundef %146)
  %.not344 = icmp eq i32 %145, %147
  br i1 %.not344, label %.loopexit, label %.preheader

.preheader:                                       ; preds = %142, %181
  %.2 = phi i32 [ %183, %181 ], [ %145, %142 ]
  %148 = zext i32 %.2 to i64
  %149 = tail call i32 @i32_load(ptr noundef nonnull %3, i64 noundef %148)
  %150 = and i32 %149, -16777216
  %151 = icmp eq i32 %150, 33554432
  br i1 %151, label %181, label %152

152:                                              ; preds = %.preheader
  %153 = lshr i32 %149, 22
  %154 = and i32 %153, 1020
  %155 = add nuw nsw i32 %154, 138008
  %156 = zext nneg i32 %155 to i64
  %157 = tail call i32 @i32_load(ptr noundef nonnull %3, i64 noundef %156)
  %158 = zext i32 %157 to i64
  %159 = add nuw nsw i64 %158, 16
  %160 = tail call i32 @i32_load(ptr noundef nonnull %3, i64 noundef %159)
  %.not345 = icmp eq i32 %160, 0
  br i1 %.not345, label %181, label %161

161:                                              ; preds = %152
  %162 = load i32, ptr %140, align 4, !tbaa !5
  %163 = icmp ult i32 %160, %162
  br i1 %163, label %164, label %.critedge352, !prof !15

164:                                              ; preds = %161
  %165 = load ptr, ptr %139, align 8, !tbaa !16
  %166 = zext i32 %160 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
  %.not346 = icmp eq ptr %169, null
  br i1 %.not346, label %.critedge352, 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 %141, ptr noundef %171)
  br i1 %172, label %173, label %.critedge352, !prof !15

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

173:                                              ; preds = %170
  %174 = load ptr, ptr %139, 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 %1) #4
  %180 = tail call i32 @i32_load(ptr noundef nonnull %3, i64 noundef %148)
  br label %181

181:                                              ; preds = %152, %.preheader, %173
  %.0319 = phi i32 [ %149, %.preheader ], [ %149, %152 ], [ %180, %173 ]
  %182 = and i32 %.0319, 16777215
  %183 = add i32 %182, %.2
  %.not347 = icmp eq i32 %183, %147
  br i1 %.not347, label %.loopexit, label %.preheader

.loopexit:                                        ; preds = %181, %142
  %184 = add i32 %.0317, 16
  %185 = zext i32 %.0320 to i64
  %186 = tail call i32 @i32_load(ptr noundef nonnull %3, i64 noundef %185)
  %187 = sub i32 %184, %186
  %188 = icmp eq i32 %187, 4096
  br i1 %188, label %189, label %193

189:                                              ; preds = %.loopexit
  %190 = add nuw nsw i64 %185, 4
  %191 = tail call i32 @i32_load(ptr noundef nonnull %3, i64 noundef %190)
  %192 = add i32 %.0320, 4
  br label %193

193:                                              ; preds = %189, %.loopexit
  %.1321 = phi i32 [ %192, %189 ], [ %.0320, %.loopexit ]
  %.1318 = phi i32 [ %191, %189 ], [ %184, %.loopexit ]
  %.not348 = icmp eq i32 %.1318, %137
  br i1 %.not348, label %.loopexit354, label %142

.loopexit354:                                     ; preds = %193, %116, %.loopexit356
  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: BDCEPass,EarlyCSEPass,GVNPass,GlobalOptPass,IPSCCPPass,InferFunctionAttrsPass,InstCombinePass,JumpThreadingPass,LICMPass,LoopSimplifyPass,LoopUnrollPass,LowerExpectIntrinsicPass,ReassociatePass,SROAPass,SimplifyCFGPass,TailCallElimPass