; 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_t3 = external constant ptr, align 8
@w2c_hermes_t0 = external constant ptr, align 8

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

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

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

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

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

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

declare void @w2c_hermes_abort(ptr noundef) #5

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

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

; Function Attrs: nounwind uwtable
declare dso_local void @w2c_hermes_std0x3A0x3A_0x5F20x3A0x3A_0x5Fthrow_out_of_range0x5Babi0x3Av150070x5D0x28char0x20const0x2A0x29(ptr noundef) #0

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

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

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

46:                                               ; No predecessors!
  br label %69

47:                                               ; preds = %3
  %48 = load i32, ptr %14, align 4, !tbaa !9
  %49 = icmp eq i32 %48, -2147483648
  br i1 %49, label %50, label %53

50:                                               ; preds = %47
  %51 = load i32, ptr %15, align 4, !tbaa !9
  %52 = icmp eq i32 %51, -1
  br label %53

53:                                               ; preds = %50, %47
  %54 = phi i1 [ false, %47 ], [ %52, %50 ]
  %55 = xor i1 %54, true
  %56 = xor i1 %55, true
  %57 = zext i1 %56 to i32
  %58 = sext i32 %57 to i64
  %59 = call i64 @llvm.expect.i64(i64 %58, i64 0)
  %60 = icmp ne i64 %59, 0
  br i1 %60, label %61, label %63

61:                                               ; preds = %53
  call void @wasm_rt_trap(i32 noundef 2) #7
  unreachable

62:                                               ; No predecessors!
  br label %67

63:                                               ; preds = %53
  %64 = load i32, ptr %14, align 4, !tbaa !9
  %65 = load i32, ptr %15, align 4, !tbaa !9
  %66 = sdiv i32 %64, %65
  br label %67

67:                                               ; preds = %63, %62
  %68 = phi i32 [ 0, %62 ], [ %66, %63 ]
  br label %69

69:                                               ; preds = %67, %46
  %70 = phi i32 [ 0, %46 ], [ %68, %67 ]
  store i32 %70, ptr %14, align 4, !tbaa !9
  %71 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %71, ptr %10, align 4, !tbaa !9
  store i32 1, ptr %15, align 4, !tbaa !9
  %72 = load i32, ptr %15, align 4, !tbaa !9
  %73 = load i32, ptr %14, align 4, !tbaa !9
  %74 = add i32 %73, %72
  store i32 %74, ptr %14, align 4, !tbaa !9
  %75 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %75, ptr %7, align 4, !tbaa !9
  store i32 178956971, ptr %15, align 4, !tbaa !9
  %76 = load i32, ptr %14, align 4, !tbaa !9
  %77 = load i32, ptr %15, align 4, !tbaa !9
  %78 = icmp ult i32 %76, %77
  %79 = zext i1 %78 to i32
  store i32 %79, ptr %14, align 4, !tbaa !9
  %80 = load i32, ptr %14, align 4, !tbaa !9
  %81 = icmp ne i32 %80, 0
  br i1 %81, label %82, label %716

82:                                               ; preds = %69
  store i32 178956970, ptr %14, align 4, !tbaa !9
  %83 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %83, ptr %15, align 4, !tbaa !9
  %84 = load ptr, ptr %4, align 8, !tbaa !5
  %85 = getelementptr inbounds %struct.w2c_hermes, ptr %84, i32 0, i32 6
  %86 = load i32, ptr %15, align 4, !tbaa !9
  %87 = zext i32 %86 to i64
  %88 = add i64 %87, 8
  %89 = call i32 @i32_load(ptr noundef %85, i64 noundef %88)
  store i32 %89, ptr %15, align 4, !tbaa !9
  %90 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %90, ptr %16, align 4, !tbaa !9
  %91 = load i32, ptr %16, align 4, !tbaa !9
  %92 = load i32, ptr %15, align 4, !tbaa !9
  %93 = sub i32 %92, %91
  store i32 %93, ptr %15, align 4, !tbaa !9
  store i32 24, ptr %16, align 4, !tbaa !9
  %94 = load i32, ptr %16, align 4, !tbaa !9
  %95 = icmp eq i32 %94, 0
  %96 = xor i1 %95, true
  %97 = xor i1 %96, true
  %98 = zext i1 %97 to i32
  %99 = sext i32 %98 to i64
  %100 = call i64 @llvm.expect.i64(i64 %99, i64 0)
  %101 = icmp ne i64 %100, 0
  br i1 %101, label %102, label %104

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

103:                                              ; No predecessors!
  br label %126

104:                                              ; preds = %82
  %105 = load i32, ptr %15, align 4, !tbaa !9
  %106 = icmp eq i32 %105, -2147483648
  br i1 %106, label %107, label %110

107:                                              ; preds = %104
  %108 = load i32, ptr %16, align 4, !tbaa !9
  %109 = icmp eq i32 %108, -1
  br label %110

110:                                              ; preds = %107, %104
  %111 = phi i1 [ false, %104 ], [ %109, %107 ]
  %112 = xor i1 %111, true
  %113 = xor i1 %112, true
  %114 = zext i1 %113 to i32
  %115 = sext i32 %114 to i64
  %116 = call i64 @llvm.expect.i64(i64 %115, i64 0)
  %117 = icmp ne i64 %116, 0
  br i1 %117, label %118, label %120

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

119:                                              ; No predecessors!
  br label %124

120:                                              ; preds = %110
  %121 = load i32, ptr %15, align 4, !tbaa !9
  %122 = load i32, ptr %16, align 4, !tbaa !9
  %123 = sdiv i32 %121, %122
  br label %124

124:                                              ; preds = %120, %119
  %125 = phi i32 [ 0, %119 ], [ %123, %120 ]
  br label %126

126:                                              ; preds = %124, %103
  %127 = phi i32 [ 0, %103 ], [ %125, %124 ]
  store i32 %127, ptr %15, align 4, !tbaa !9
  %128 = load i32, ptr %15, align 4, !tbaa !9
  store i32 %128, ptr %9, align 4, !tbaa !9
  store i32 1, ptr %16, align 4, !tbaa !9
  %129 = load i32, ptr %16, align 4, !tbaa !9
  %130 = and i32 %129, 31
  %131 = load i32, ptr %15, align 4, !tbaa !9
  %132 = shl i32 %131, %130
  store i32 %132, ptr %15, align 4, !tbaa !9
  %133 = load i32, ptr %15, align 4, !tbaa !9
  store i32 %133, ptr %11, align 4, !tbaa !9
  %134 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %134, ptr %16, align 4, !tbaa !9
  %135 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %135, ptr %17, align 4, !tbaa !9
  %136 = load i32, ptr %11, align 4, !tbaa !9
  store i32 %136, ptr %18, align 4, !tbaa !9
  %137 = load i32, ptr %17, align 4, !tbaa !9
  %138 = load i32, ptr %18, align 4, !tbaa !9
  %139 = icmp ult i32 %137, %138
  %140 = zext i1 %139 to i32
  store i32 %140, ptr %17, align 4, !tbaa !9
  %141 = load i32, ptr %17, align 4, !tbaa !9
  %142 = icmp ne i32 %141, 0
  br i1 %142, label %143, label %145

143:                                              ; preds = %126
  %144 = load i32, ptr %15, align 4, !tbaa !9
  br label %147

145:                                              ; preds = %126
  %146 = load i32, ptr %16, align 4, !tbaa !9
  br label %147

147:                                              ; preds = %145, %143
  %148 = phi i32 [ %144, %143 ], [ %146, %145 ]
  store i32 %148, ptr %15, align 4, !tbaa !9
  %149 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %149, ptr %16, align 4, !tbaa !9
  store i32 89478485, ptr %17, align 4, !tbaa !9
  %150 = load i32, ptr %16, align 4, !tbaa !9
  %151 = load i32, ptr %17, align 4, !tbaa !9
  %152 = icmp uge i32 %150, %151
  %153 = zext i1 %152 to i32
  store i32 %153, ptr %16, align 4, !tbaa !9
  %154 = load i32, ptr %16, align 4, !tbaa !9
  %155 = icmp ne i32 %154, 0
  br i1 %155, label %156, label %158

156:                                              ; preds = %147
  %157 = load i32, ptr %14, align 4, !tbaa !9
  br label %160

158:                                              ; preds = %147
  %159 = load i32, ptr %15, align 4, !tbaa !9
  br label %160

160:                                              ; preds = %158, %156
  %161 = phi i32 [ %157, %156 ], [ %159, %158 ]
  store i32 %161, ptr %14, align 4, !tbaa !9
  %162 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %162, ptr %9, align 4, !tbaa !9
  %163 = load i32, ptr %14, align 4, !tbaa !9
  %164 = icmp ne i32 %163, 0
  br i1 %164, label %165, label %182

165:                                              ; preds = %160
  %166 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %166, ptr %14, align 4, !tbaa !9
  store i32 178956971, ptr %15, align 4, !tbaa !9
  %167 = load i32, ptr %14, align 4, !tbaa !9
  %168 = load i32, ptr %15, align 4, !tbaa !9
  %169 = icmp uge i32 %167, %168
  %170 = zext i1 %169 to i32
  store i32 %170, ptr %14, align 4, !tbaa !9
  %171 = load i32, ptr %14, align 4, !tbaa !9
  %172 = icmp ne i32 %171, 0
  br i1 %172, label %173, label %174

173:                                              ; preds = %165
  br label %718

174:                                              ; preds = %165
  %175 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %175, ptr %14, align 4, !tbaa !9
  store i32 24, ptr %15, align 4, !tbaa !9
  %176 = load i32, ptr %15, align 4, !tbaa !9
  %177 = load i32, ptr %14, align 4, !tbaa !9
  %178 = mul i32 %177, %176
  store i32 %178, ptr %14, align 4, !tbaa !9
  %179 = load ptr, ptr %4, align 8, !tbaa !5
  %180 = load i32, ptr %14, align 4, !tbaa !9
  %181 = call i32 @w2c_hermes_operator0x20new0x28unsigned0x20long0x29(ptr noundef %179, i32 noundef %180)
  store i32 %181, ptr %14, align 4, !tbaa !9
  br label %183

182:                                              ; preds = %160
  store i32 0, ptr %14, align 4, !tbaa !9
  br label %183

183:                                              ; preds = %182, %174
  %184 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %184, ptr %11, align 4, !tbaa !9
  %185 = load i32, ptr %10, align 4, !tbaa !9
  store i32 %185, ptr %15, align 4, !tbaa !9
  store i32 24, ptr %16, align 4, !tbaa !9
  %186 = load i32, ptr %16, align 4, !tbaa !9
  %187 = load i32, ptr %15, align 4, !tbaa !9
  %188 = mul i32 %187, %186
  store i32 %188, ptr %15, align 4, !tbaa !9
  %189 = load i32, ptr %15, align 4, !tbaa !9
  %190 = load i32, ptr %14, align 4, !tbaa !9
  %191 = add i32 %190, %189
  store i32 %191, ptr %14, align 4, !tbaa !9
  %192 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %192, ptr %7, align 4, !tbaa !9
  %193 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %193, ptr %14, align 4, !tbaa !9
  %194 = load ptr, ptr %4, align 8, !tbaa !5
  %195 = getelementptr inbounds %struct.w2c_hermes, ptr %194, i32 0, i32 6
  %196 = load i32, ptr %14, align 4, !tbaa !9
  %197 = zext i32 %196 to i64
  %198 = add i64 %197, 16
  %199 = call i32 @i32_load(ptr noundef %195, i64 noundef %198)
  store i32 %199, ptr %14, align 4, !tbaa !9
  %200 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %200, ptr %10, align 4, !tbaa !9
  %201 = load i32, ptr %14, align 4, !tbaa !9
  %202 = icmp ne i32 %201, 0
  %203 = xor i1 %202, true
  %204 = zext i1 %203 to i32
  store i32 %204, ptr %14, align 4, !tbaa !9
  %205 = load i32, ptr %14, align 4, !tbaa !9
  %206 = icmp ne i32 %205, 0
  br i1 %206, label %207, label %215

207:                                              ; preds = %183
  %208 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %208, ptr %14, align 4, !tbaa !9
  store i32 0, ptr %15, align 4, !tbaa !9
  %209 = load ptr, ptr %4, align 8, !tbaa !5
  %210 = getelementptr inbounds %struct.w2c_hermes, ptr %209, i32 0, i32 6
  %211 = load i32, ptr %14, align 4, !tbaa !9
  %212 = zext i32 %211 to i64
  %213 = add i64 %212, 16
  %214 = load i32, ptr %15, align 4, !tbaa !9
  call void @i32_store(ptr noundef %210, i64 noundef %213, i32 noundef %214)
  br label %333

215:                                              ; preds = %183
  %216 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %216, ptr %14, align 4, !tbaa !9
  %217 = load i32, ptr %10, align 4, !tbaa !9
  store i32 %217, ptr %15, align 4, !tbaa !9
  %218 = load i32, ptr %14, align 4, !tbaa !9
  %219 = load i32, ptr %15, align 4, !tbaa !9
  %220 = icmp eq i32 %218, %219
  %221 = zext i1 %220 to i32
  store i32 %221, ptr %14, align 4, !tbaa !9
  %222 = load i32, ptr %14, align 4, !tbaa !9
  %223 = icmp ne i32 %222, 0
  br i1 %223, label %224, label %317

224:                                              ; preds = %215
  %225 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %225, ptr %14, align 4, !tbaa !9
  %226 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %226, ptr %15, align 4, !tbaa !9
  %227 = load ptr, ptr %4, align 8, !tbaa !5
  %228 = getelementptr inbounds %struct.w2c_hermes, ptr %227, i32 0, i32 6
  %229 = load i32, ptr %14, align 4, !tbaa !9
  %230 = zext i32 %229 to i64
  %231 = add i64 %230, 16
  %232 = load i32, ptr %15, align 4, !tbaa !9
  call void @i32_store(ptr noundef %228, i64 noundef %231, i32 noundef %232)
  %233 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %233, ptr %14, align 4, !tbaa !9
  %234 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %234, ptr %15, align 4, !tbaa !9
  %235 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %235, ptr %16, align 4, !tbaa !9
  %236 = load ptr, ptr %4, align 8, !tbaa !5
  %237 = getelementptr inbounds %struct.w2c_hermes, ptr %236, i32 0, i32 6
  %238 = load i32, ptr %16, align 4, !tbaa !9
  %239 = zext i32 %238 to i64
  %240 = call i32 @i32_load(ptr noundef %237, i64 noundef %239)
  store i32 %240, ptr %16, align 4, !tbaa !9
  %241 = load ptr, ptr %4, align 8, !tbaa !5
  %242 = getelementptr inbounds %struct.w2c_hermes, ptr %241, i32 0, i32 6
  %243 = load i32, ptr %16, align 4, !tbaa !9
  %244 = zext i32 %243 to i64
  %245 = add i64 %244, 12
  %246 = call i32 @i32_load(ptr noundef %242, i64 noundef %245)
  store i32 %246, ptr %16, align 4, !tbaa !9
  %247 = load i32, ptr %16, align 4, !tbaa !9
  %248 = load ptr, ptr %4, align 8, !tbaa !5
  %249 = getelementptr inbounds %struct.w2c_hermes, ptr %248, i32 0, i32 7
  %250 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %249, i32 0, i32 2
  %251 = load i32, ptr %250, align 4, !tbaa !11
  %252 = icmp ult i32 %247, %251
  br i1 %252, label %253, label %276

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

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

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

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

285:                                              ; No predecessors!
  br label %286

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

317:                                              ; preds = %215
  %318 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %318, ptr %14, align 4, !tbaa !9
  %319 = load i32, ptr %10, align 4, !tbaa !9
  store i32 %319, ptr %15, align 4, !tbaa !9
  %320 = load ptr, ptr %4, align 8, !tbaa !5
  %321 = getelementptr inbounds %struct.w2c_hermes, ptr %320, i32 0, i32 6
  %322 = load i32, ptr %14, align 4, !tbaa !9
  %323 = zext i32 %322 to i64
  %324 = add i64 %323, 16
  %325 = load i32, ptr %15, align 4, !tbaa !9
  call void @i32_store(ptr noundef %321, i64 noundef %324, i32 noundef %325)
  %326 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %326, ptr %14, align 4, !tbaa !9
  store i32 0, ptr %15, align 4, !tbaa !9
  %327 = load ptr, ptr %4, align 8, !tbaa !5
  %328 = getelementptr inbounds %struct.w2c_hermes, ptr %327, i32 0, i32 6
  %329 = load i32, ptr %14, align 4, !tbaa !9
  %330 = zext i32 %329 to i64
  %331 = add i64 %330, 16
  %332 = load i32, ptr %15, align 4, !tbaa !9
  call void @i32_store(ptr noundef %328, i64 noundef %331, i32 noundef %332)
  br label %333

333:                                              ; preds = %317, %286, %207
  %334 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %334, ptr %14, align 4, !tbaa !9
  store i32 24, ptr %15, align 4, !tbaa !9
  %335 = load i32, ptr %15, align 4, !tbaa !9
  %336 = load i32, ptr %14, align 4, !tbaa !9
  %337 = add i32 %336, %335
  store i32 %337, ptr %14, align 4, !tbaa !9
  %338 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %338, ptr %12, align 4, !tbaa !9
  %339 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %339, ptr %14, 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 %14, align 4, !tbaa !9
  %343 = zext i32 %342 to i64
  %344 = call i32 @i32_load(ptr noundef %341, i64 noundef %343)
  store i32 %344, ptr %14, align 4, !tbaa !9
  %345 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %345, ptr %13, align 4, !tbaa !9
  %346 = load i32, ptr %8, align 4, !tbaa !9
  store i32 %346, ptr %15, align 4, !tbaa !9
  %347 = load i32, ptr %14, align 4, !tbaa !9
  %348 = load i32, ptr %15, align 4, !tbaa !9
  %349 = icmp ne i32 %347, %348
  %350 = zext i1 %349 to i32
  store i32 %350, ptr %14, align 4, !tbaa !9
  %351 = load i32, ptr %14, align 4, !tbaa !9
  %352 = icmp ne i32 %351, 0
  br i1 %352, label %353, label %527

353:                                              ; preds = %333
  br label %354

354:                                              ; preds = %518, %353
  %355 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %355, ptr %14, align 4, !tbaa !9
  %356 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %356, ptr %6, align 4, !tbaa !9
  store i32 24, ptr %15, align 4, !tbaa !9
  %357 = load i32, ptr %15, align 4, !tbaa !9
  %358 = load i32, ptr %14, align 4, !tbaa !9
  %359 = sub i32 %358, %357
  store i32 %359, ptr %14, align 4, !tbaa !9
  %360 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %360, ptr %7, align 4, !tbaa !9
  %361 = load i32, ptr %8, align 4, !tbaa !9
  store i32 %361, ptr %14, align 4, !tbaa !9
  store i32 24, ptr %15, align 4, !tbaa !9
  %362 = load i32, ptr %15, align 4, !tbaa !9
  %363 = load i32, ptr %14, align 4, !tbaa !9
  %364 = sub i32 %363, %362
  store i32 %364, ptr %14, align 4, !tbaa !9
  %365 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %365, ptr %8, align 4, !tbaa !9
  %366 = load ptr, ptr %4, align 8, !tbaa !5
  %367 = getelementptr inbounds %struct.w2c_hermes, ptr %366, i32 0, i32 6
  %368 = load i32, ptr %14, align 4, !tbaa !9
  %369 = zext i32 %368 to i64
  %370 = add i64 %369, 16
  %371 = call i32 @i32_load(ptr noundef %367, i64 noundef %370)
  store i32 %371, ptr %14, align 4, !tbaa !9
  %372 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %372, ptr %10, align 4, !tbaa !9
  %373 = load i32, ptr %14, align 4, !tbaa !9
  %374 = icmp ne i32 %373, 0
  %375 = xor i1 %374, true
  %376 = zext i1 %375 to i32
  store i32 %376, ptr %14, align 4, !tbaa !9
  %377 = load i32, ptr %14, align 4, !tbaa !9
  %378 = icmp ne i32 %377, 0
  br i1 %378, label %379, label %389

379:                                              ; preds = %354
  %380 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %380, ptr %14, align 4, !tbaa !9
  store i32 8, ptr %15, align 4, !tbaa !9
  %381 = load i32, ptr %15, align 4, !tbaa !9
  %382 = load i32, ptr %14, align 4, !tbaa !9
  %383 = sub i32 %382, %381
  store i32 %383, ptr %14, align 4, !tbaa !9
  store i32 0, ptr %15, align 4, !tbaa !9
  %384 = load ptr, ptr %4, align 8, !tbaa !5
  %385 = getelementptr inbounds %struct.w2c_hermes, ptr %384, i32 0, i32 6
  %386 = load i32, ptr %14, align 4, !tbaa !9
  %387 = zext i32 %386 to i64
  %388 = load i32, ptr %15, align 4, !tbaa !9
  call void @i32_store(ptr noundef %385, i64 noundef %387, i32 noundef %388)
  br label %509

389:                                              ; preds = %354
  %390 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %390, ptr %14, align 4, !tbaa !9
  store i32 8, ptr %15, align 4, !tbaa !9
  %391 = load i32, ptr %15, align 4, !tbaa !9
  %392 = load i32, ptr %14, align 4, !tbaa !9
  %393 = sub i32 %392, %391
  store i32 %393, ptr %14, align 4, !tbaa !9
  %394 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %394, ptr %6, align 4, !tbaa !9
  %395 = load i32, ptr %8, align 4, !tbaa !9
  store i32 %395, ptr %14, align 4, !tbaa !9
  %396 = load i32, ptr %10, align 4, !tbaa !9
  store i32 %396, ptr %15, align 4, !tbaa !9
  %397 = load i32, ptr %14, align 4, !tbaa !9
  %398 = load i32, ptr %15, align 4, !tbaa !9
  %399 = icmp eq i32 %397, %398
  %400 = zext i1 %399 to i32
  store i32 %400, ptr %14, align 4, !tbaa !9
  %401 = load i32, ptr %14, align 4, !tbaa !9
  %402 = icmp ne i32 %401, 0
  br i1 %402, label %403, label %494

403:                                              ; preds = %389
  %404 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %404, ptr %14, align 4, !tbaa !9
  %405 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %405, ptr %15, align 4, !tbaa !9
  %406 = load ptr, ptr %4, 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 = load i32, ptr %15, align 4, !tbaa !9
  call void @i32_store(ptr noundef %407, i64 noundef %409, i32 noundef %410)
  %411 = load i32, ptr %8, align 4, !tbaa !9
  store i32 %411, ptr %14, align 4, !tbaa !9
  %412 = load ptr, ptr %4, align 8, !tbaa !5
  %413 = getelementptr inbounds %struct.w2c_hermes, ptr %412, i32 0, i32 6
  %414 = load i32, ptr %14, align 4, !tbaa !9
  %415 = zext i32 %414 to i64
  %416 = add i64 %415, 16
  %417 = call i32 @i32_load(ptr noundef %413, i64 noundef %416)
  store i32 %417, ptr %14, align 4, !tbaa !9
  %418 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %418, ptr %6, align 4, !tbaa !9
  %419 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %419, ptr %15, align 4, !tbaa !9
  %420 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %420, ptr %16, align 4, !tbaa !9
  %421 = load ptr, ptr %4, align 8, !tbaa !5
  %422 = getelementptr inbounds %struct.w2c_hermes, ptr %421, i32 0, i32 6
  %423 = load i32, ptr %16, align 4, !tbaa !9
  %424 = zext i32 %423 to i64
  %425 = call i32 @i32_load(ptr noundef %422, i64 noundef %424)
  store i32 %425, ptr %16, align 4, !tbaa !9
  %426 = load ptr, ptr %4, align 8, !tbaa !5
  %427 = getelementptr inbounds %struct.w2c_hermes, ptr %426, i32 0, i32 6
  %428 = load i32, ptr %16, align 4, !tbaa !9
  %429 = zext i32 %428 to i64
  %430 = add i64 %429, 12
  %431 = call i32 @i32_load(ptr noundef %427, i64 noundef %430)
  store i32 %431, ptr %16, align 4, !tbaa !9
  %432 = load i32, ptr %16, align 4, !tbaa !9
  %433 = load ptr, ptr %4, align 8, !tbaa !5
  %434 = getelementptr inbounds %struct.w2c_hermes, ptr %433, i32 0, i32 7
  %435 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %434, i32 0, i32 2
  %436 = load i32, ptr %435, align 4, !tbaa !11
  %437 = icmp ult i32 %432, %436
  br i1 %437, label %438, label %461

438:                                              ; preds = %403
  %439 = load ptr, ptr %4, align 8, !tbaa !5
  %440 = getelementptr inbounds %struct.w2c_hermes, ptr %439, i32 0, i32 7
  %441 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %440, i32 0, i32 0
  %442 = load ptr, ptr %441, align 8, !tbaa !17
  %443 = load i32, ptr %16, align 4, !tbaa !9
  %444 = zext i32 %443 to i64
  %445 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %442, i64 %444
  %446 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %445, i32 0, i32 1
  %447 = load ptr, ptr %446, align 8, !tbaa !18
  %448 = icmp ne ptr %447, null
  br i1 %448, label %449, label %461

449:                                              ; preds = %438
  %450 = load ptr, ptr @w2c_hermes_t0, align 8, !tbaa !5
  %451 = load ptr, ptr %4, align 8, !tbaa !5
  %452 = getelementptr inbounds %struct.w2c_hermes, ptr %451, i32 0, i32 7
  %453 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %452, i32 0, i32 0
  %454 = load ptr, ptr %453, align 8, !tbaa !17
  %455 = load i32, ptr %16, align 4, !tbaa !9
  %456 = zext i32 %455 to i64
  %457 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %454, i64 %456
  %458 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %457, i32 0, i32 0
  %459 = load ptr, ptr %458, align 8, !tbaa !20
  %460 = call zeroext i1 @func_types_eq(ptr noundef %450, ptr noundef %459)
  br label %461

461:                                              ; preds = %449, %438, %403
  %462 = phi i1 [ false, %438 ], [ false, %403 ], [ %460, %449 ]
  %463 = xor i1 %462, true
  %464 = xor i1 %463, true
  %465 = zext i1 %464 to i32
  %466 = sext i32 %465 to i64
  %467 = call i64 @llvm.expect.i64(i64 %466, i64 1)
  %468 = icmp ne i64 %467, 0
  br i1 %468, label %471, label %469

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

470:                                              ; No predecessors!
  br label %471

471:                                              ; preds = %470, %461
  %472 = phi i1 [ true, %461 ], [ false, %470 ]
  %473 = zext i1 %472 to i32
  %474 = load ptr, ptr %4, align 8, !tbaa !5
  %475 = getelementptr inbounds %struct.w2c_hermes, ptr %474, i32 0, i32 7
  %476 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %475, i32 0, i32 0
  %477 = load ptr, ptr %476, align 8, !tbaa !17
  %478 = load i32, ptr %16, align 4, !tbaa !9
  %479 = zext i32 %478 to i64
  %480 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %477, i64 %479
  %481 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %480, i32 0, i32 1
  %482 = load ptr, ptr %481, align 8, !tbaa !18
  %483 = load ptr, ptr %4, align 8, !tbaa !5
  %484 = getelementptr inbounds %struct.w2c_hermes, ptr %483, i32 0, i32 7
  %485 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %484, i32 0, i32 0
  %486 = load ptr, ptr %485, align 8, !tbaa !17
  %487 = load i32, ptr %16, align 4, !tbaa !9
  %488 = zext i32 %487 to i64
  %489 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %486, i64 %488
  %490 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %489, i32 0, i32 2
  %491 = load ptr, ptr %490, align 8, !tbaa !21
  %492 = load i32, ptr %14, align 4, !tbaa !9
  %493 = load i32, ptr %15, align 4, !tbaa !9
  call void %482(ptr noundef %491, i32 noundef %492, i32 noundef %493)
  br label %509

494:                                              ; preds = %389
  %495 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %495, ptr %14, align 4, !tbaa !9
  %496 = load i32, ptr %10, align 4, !tbaa !9
  store i32 %496, ptr %15, align 4, !tbaa !9
  %497 = load ptr, ptr %4, align 8, !tbaa !5
  %498 = getelementptr inbounds %struct.w2c_hermes, ptr %497, i32 0, i32 6
  %499 = load i32, ptr %14, align 4, !tbaa !9
  %500 = zext i32 %499 to i64
  %501 = load i32, ptr %15, align 4, !tbaa !9
  call void @i32_store(ptr noundef %498, i64 noundef %500, i32 noundef %501)
  %502 = load i32, ptr %8, align 4, !tbaa !9
  store i32 %502, ptr %14, align 4, !tbaa !9
  store i32 0, ptr %15, align 4, !tbaa !9
  %503 = load ptr, ptr %4, align 8, !tbaa !5
  %504 = getelementptr inbounds %struct.w2c_hermes, ptr %503, i32 0, i32 6
  %505 = load i32, ptr %14, align 4, !tbaa !9
  %506 = zext i32 %505 to i64
  %507 = add i64 %506, 16
  %508 = load i32, ptr %15, align 4, !tbaa !9
  call void @i32_store(ptr noundef %504, i64 noundef %507, i32 noundef %508)
  br label %509

509:                                              ; preds = %494, %471, %379
  %510 = load i32, ptr %8, align 4, !tbaa !9
  store i32 %510, ptr %14, align 4, !tbaa !9
  %511 = load i32, ptr %13, align 4, !tbaa !9
  store i32 %511, ptr %15, align 4, !tbaa !9
  %512 = load i32, ptr %14, align 4, !tbaa !9
  %513 = load i32, ptr %15, align 4, !tbaa !9
  %514 = icmp ne i32 %512, %513
  %515 = zext i1 %514 to i32
  store i32 %515, ptr %14, align 4, !tbaa !9
  %516 = load i32, ptr %14, align 4, !tbaa !9
  %517 = icmp ne i32 %516, 0
  br i1 %517, label %518, label %519

518:                                              ; preds = %509
  br label %354

519:                                              ; preds = %509
  %520 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %520, ptr %14, align 4, !tbaa !9
  %521 = load ptr, ptr %4, align 8, !tbaa !5
  %522 = getelementptr inbounds %struct.w2c_hermes, ptr %521, i32 0, i32 6
  %523 = load i32, ptr %14, align 4, !tbaa !9
  %524 = zext i32 %523 to i64
  %525 = call i32 @i32_load(ptr noundef %522, i64 noundef %524)
  store i32 %525, ptr %14, align 4, !tbaa !9
  %526 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %526, ptr %8, align 4, !tbaa !9
  br label %527

527:                                              ; preds = %519, %333
  %528 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %528, ptr %14, align 4, !tbaa !9
  %529 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %529, ptr %15, align 4, !tbaa !9
  %530 = load ptr, ptr %4, align 8, !tbaa !5
  %531 = getelementptr inbounds %struct.w2c_hermes, ptr %530, i32 0, i32 6
  %532 = load i32, ptr %14, align 4, !tbaa !9
  %533 = zext i32 %532 to i64
  %534 = load i32, ptr %15, align 4, !tbaa !9
  call void @i32_store(ptr noundef %531, i64 noundef %533, i32 noundef %534)
  %535 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %535, ptr %14, align 4, !tbaa !9
  %536 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %536, ptr %15, align 4, !tbaa !9
  store i32 24, ptr %16, align 4, !tbaa !9
  %537 = load i32, ptr %16, align 4, !tbaa !9
  %538 = load i32, ptr %15, align 4, !tbaa !9
  %539 = mul i32 %538, %537
  store i32 %539, ptr %15, align 4, !tbaa !9
  %540 = load i32, ptr %11, align 4, !tbaa !9
  store i32 %540, ptr %16, align 4, !tbaa !9
  %541 = load i32, ptr %16, align 4, !tbaa !9
  %542 = load i32, ptr %15, align 4, !tbaa !9
  %543 = add i32 %542, %541
  store i32 %543, ptr %15, align 4, !tbaa !9
  %544 = load ptr, ptr %4, align 8, !tbaa !5
  %545 = getelementptr inbounds %struct.w2c_hermes, ptr %544, i32 0, i32 6
  %546 = load i32, ptr %14, align 4, !tbaa !9
  %547 = zext i32 %546 to i64
  %548 = add i64 %547, 8
  %549 = load i32, ptr %15, align 4, !tbaa !9
  call void @i32_store(ptr noundef %545, i64 noundef %548, i32 noundef %549)
  %550 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %550, ptr %14, align 4, !tbaa !9
  %551 = load ptr, ptr %4, align 8, !tbaa !5
  %552 = getelementptr inbounds %struct.w2c_hermes, ptr %551, i32 0, i32 6
  %553 = load i32, ptr %14, align 4, !tbaa !9
  %554 = zext i32 %553 to i64
  %555 = add i64 %554, 4
  %556 = call i32 @i32_load(ptr noundef %552, i64 noundef %555)
  store i32 %556, ptr %14, align 4, !tbaa !9
  %557 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %557, ptr %7, align 4, !tbaa !9
  %558 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %558, ptr %14, align 4, !tbaa !9
  %559 = load i32, ptr %12, align 4, !tbaa !9
  store i32 %559, ptr %15, align 4, !tbaa !9
  %560 = load ptr, ptr %4, align 8, !tbaa !5
  %561 = getelementptr inbounds %struct.w2c_hermes, ptr %560, i32 0, i32 6
  %562 = load i32, ptr %14, align 4, !tbaa !9
  %563 = zext i32 %562 to i64
  %564 = add i64 %563, 4
  %565 = load i32, ptr %15, align 4, !tbaa !9
  call void @i32_store(ptr noundef %561, i64 noundef %564, i32 noundef %565)
  %566 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %566, ptr %14, align 4, !tbaa !9
  %567 = load i32, ptr %8, align 4, !tbaa !9
  store i32 %567, ptr %15, align 4, !tbaa !9
  %568 = load i32, ptr %14, align 4, !tbaa !9
  %569 = load i32, ptr %15, align 4, !tbaa !9
  %570 = icmp ne i32 %568, %569
  %571 = zext i1 %570 to i32
  store i32 %571, ptr %14, align 4, !tbaa !9
  %572 = load i32, ptr %14, align 4, !tbaa !9
  %573 = icmp ne i32 %572, 0
  br i1 %573, label %574, label %707

574:                                              ; preds = %527
  br label %575

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

595:                                              ; preds = %575
  %596 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %596, ptr %14, align 4, !tbaa !9
  %597 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %597, ptr %6, align 4, !tbaa !9
  %598 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %598, ptr %14, align 4, !tbaa !9
  %599 = load ptr, ptr %4, align 8, !tbaa !5
  %600 = getelementptr inbounds %struct.w2c_hermes, ptr %599, i32 0, i32 6
  %601 = load i32, ptr %14, align 4, !tbaa !9
  %602 = zext i32 %601 to i64
  %603 = call i32 @i32_load(ptr noundef %600, i64 noundef %602)
  store i32 %603, ptr %14, align 4, !tbaa !9
  store i32 16, ptr %15, align 4, !tbaa !9
  %604 = load i32, ptr %15, align 4, !tbaa !9
  %605 = load i32, ptr %14, align 4, !tbaa !9
  %606 = add i32 %605, %604
  store i32 %606, ptr %14, align 4, !tbaa !9
  br label %626

607:                                              ; preds = %575
  %608 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %608, ptr %14, align 4, !tbaa !9
  %609 = load i32, ptr %14, align 4, !tbaa !9
  %610 = icmp ne i32 %609, 0
  %611 = xor i1 %610, true
  %612 = zext i1 %611 to i32
  store i32 %612, ptr %14, align 4, !tbaa !9
  %613 = load i32, ptr %14, align 4, !tbaa !9
  %614 = icmp ne i32 %613, 0
  br i1 %614, label %615, label %616

615:                                              ; preds = %607
  br label %696

616:                                              ; preds = %607
  %617 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %617, ptr %14, align 4, !tbaa !9
  %618 = load ptr, ptr %4, align 8, !tbaa !5
  %619 = getelementptr inbounds %struct.w2c_hermes, ptr %618, i32 0, i32 6
  %620 = load i32, ptr %14, align 4, !tbaa !9
  %621 = zext i32 %620 to i64
  %622 = call i32 @i32_load(ptr noundef %619, i64 noundef %621)
  store i32 %622, ptr %14, align 4, !tbaa !9
  store i32 20, ptr %15, align 4, !tbaa !9
  %623 = load i32, ptr %15, align 4, !tbaa !9
  %624 = load i32, ptr %14, align 4, !tbaa !9
  %625 = add i32 %624, %623
  store i32 %625, ptr %14, align 4, !tbaa !9
  br label %626

626:                                              ; preds = %616, %595
  %627 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %627, ptr %5, align 4, !tbaa !9
  %628 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %628, ptr %14, align 4, !tbaa !9
  %629 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %629, ptr %15, align 4, !tbaa !9
  %630 = load ptr, ptr %4, align 8, !tbaa !5
  %631 = getelementptr inbounds %struct.w2c_hermes, ptr %630, i32 0, i32 6
  %632 = load i32, ptr %15, align 4, !tbaa !9
  %633 = zext i32 %632 to i64
  %634 = call i32 @i32_load(ptr noundef %631, i64 noundef %633)
  store i32 %634, ptr %15, align 4, !tbaa !9
  %635 = load i32, ptr %15, align 4, !tbaa !9
  %636 = load ptr, ptr %4, align 8, !tbaa !5
  %637 = getelementptr inbounds %struct.w2c_hermes, ptr %636, i32 0, i32 7
  %638 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %637, i32 0, i32 2
  %639 = load i32, ptr %638, align 4, !tbaa !11
  %640 = icmp ult i32 %635, %639
  br i1 %640, label %641, label %664

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

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

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

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

673:                                              ; No predecessors!
  br label %674

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

696:                                              ; preds = %674, %615
  %697 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %697, ptr %14, align 4, !tbaa !9
  %698 = load i32, ptr %8, align 4, !tbaa !9
  store i32 %698, ptr %15, align 4, !tbaa !9
  %699 = load i32, ptr %14, align 4, !tbaa !9
  %700 = load i32, ptr %15, align 4, !tbaa !9
  %701 = icmp ne i32 %699, %700
  %702 = zext i1 %701 to i32
  store i32 %702, ptr %14, align 4, !tbaa !9
  %703 = load i32, ptr %14, align 4, !tbaa !9
  %704 = icmp ne i32 %703, 0
  br i1 %704, label %705, label %706

705:                                              ; preds = %696
  br label %575

706:                                              ; preds = %696
  br label %707

707:                                              ; preds = %706, %527
  %708 = load i32, ptr %8, align 4, !tbaa !9
  store i32 %708, ptr %14, align 4, !tbaa !9
  %709 = load i32, ptr %14, align 4, !tbaa !9
  %710 = icmp ne i32 %709, 0
  br i1 %710, label %711, label %715

711:                                              ; preds = %707
  %712 = load i32, ptr %8, align 4, !tbaa !9
  store i32 %712, ptr %14, align 4, !tbaa !9
  %713 = load ptr, ptr %4, align 8, !tbaa !5
  %714 = load i32, ptr %14, align 4, !tbaa !9
  call void @w2c_hermes_dlfree(ptr noundef %713, i32 noundef %714)
  br label %715

715:                                              ; preds = %711, %707
  br label %720

716:                                              ; preds = %69
  %717 = load ptr, ptr %4, align 8, !tbaa !5
  call void @w2c_hermes_abort(ptr noundef %717)
  call void @wasm_rt_trap(i32 noundef 5) #7
  unreachable

718:                                              ; preds = %173
  %719 = load ptr, ptr %4, align 8, !tbaa !5
  call void @w2c_hermes_std0x3A0x3A_0x5F20x3A0x3A_0x5Fthrow_out_of_range0x5Babi0x3Av150070x5D0x28char0x20const0x2A0x29(ptr noundef %719)
  call void @wasm_rt_trap(i32 noundef 5) #7
  unreachable

720:                                              ; preds = %715
  call void @llvm.lifetime.end.p0(i64 4, ptr %18) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %17) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %16) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %15) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %14) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %13) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %12) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %11) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %10) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %9) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %8) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %7) #6
  ret void
}

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

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

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


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

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

@w2c_hermes_t3 = external local_unnamed_addr constant ptr, align 8
@w2c_hermes_t0 = external local_unnamed_addr constant ptr, align 8

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

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

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

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

declare void @w2c_hermes_abort(ptr noundef) local_unnamed_addr #3

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

; Function Attrs: nounwind uwtable
declare dso_local void @w2c_hermes_std0x3A0x3A_0x5F20x3A0x3A_0x5Fthrow_out_of_range0x5Babi0x3Av150070x5D0x28char0x20const0x2A0x29(ptr noundef) local_unnamed_addr #0

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

; Function Attrs: nounwind uwtable
define dso_local void @w2c_hermes_void0x20std0x3A0x3A_0x5F20x3A0x3Avector0x3Cstd0x3A0x3A_0x5F20x3A0x3Afunction0x3Cvoid0x200x28hermes0x3A0x3Avm0x3A0x3AHadesGC0x2A0x2C0x20hermes0x3A0x3Avm0x3A0x3ARootAcceptor0x260x290x3E0x2C0x20std0x3A0x3A_0x5F20x3A0x3Aallocator0x3Cstd0x3A0x3A_0x5F20x3A0x3Afunction0x3Cvoid0x200x28hermes0x3A0x3Avm0x3A0x3AHadesGC0x2A0x2C0x20hermes0x3A0x3Avm0x3A0x3ARootAcceptor0x260x290x3E0x3E0x3E0x3A0x3A_0x5Femplace_back_slow_path0x3Cstd0x3A0x3A_0x5F20x3A0x3Afunction0x3Cvoid0x200x28hermes0x3A0x3Avm0x3A0x3AHadesGC0x2A0x2C0x20hermes0x3A0x3Avm0x3A0x3ARootAcceptor0x260x290x3E0x3E0x28std0x3A0x3A_0x5F20x3A0x3Afunction0x3Cvoid0x200x28hermes0x3A0x3Avm0x3A0x3AHadesGC0x2A0x2C0x20hermes0x3A0x3Avm0x3A0x3ARootAcceptor0x260x290x3E0x260x260x29(ptr noundef %0, i32 noundef %1, i32 noundef %2) local_unnamed_addr #0 {
  %4 = getelementptr inbounds i8, ptr %0, i64 40
  %5 = zext i32 %1 to i64
  %6 = add nuw nsw i64 %5, 4
  %7 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %6)
  %8 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %5)
  %9 = sub i32 %7, %8
  %10 = sdiv i32 %9, 24
  %11 = add nsw i32 %10, 1
  %12 = icmp ult i32 %11, 178956971
  br i1 %12, label %13, label %156

13:                                               ; preds = %3
  %14 = add nuw nsw i64 %5, 8
  %15 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %14)
  %16 = sub i32 %15, %8
  %17 = sdiv i32 %16, 24
  %18 = shl nsw i32 %17, 1
  %19 = tail call i32 @llvm.umax.i32(i32 %11, i32 %18)
  %20 = icmp ugt i32 %17, 89478484
  %21 = select i1 %20, i32 178956970, i32 %19
  %.not = icmp eq i32 %21, 0
  br i1 %.not, label %27, label %22

22:                                               ; preds = %13
  %23 = icmp ugt i32 %21, 178956970
  br i1 %23, label %157, label %24

24:                                               ; preds = %22
  %25 = mul nuw i32 %21, 24
  %26 = tail call i32 @w2c_hermes_operator0x20new0x28unsigned0x20long0x29(ptr noundef %0, i32 noundef %25)
  br label %27

27:                                               ; preds = %13, %24
  %.0289 = phi i32 [ %26, %24 ], [ 0, %13 ]
  %28 = mul nsw i32 %10, 24
  %29 = add i32 %.0289, %28
  %30 = zext i32 %2 to i64
  %31 = add nuw nsw i64 %30, 16
  %32 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %31)
  %.not308 = icmp eq i32 %32, 0
  br i1 %.not308, label %33, label %36

33:                                               ; preds = %27
  %34 = zext i32 %29 to i64
  %35 = add nuw nsw i64 %34, 16
  tail call void @i32_store(ptr noundef nonnull %4, i64 noundef %35, i32 noundef 0)
  br label %68

36:                                               ; preds = %27
  %37 = icmp eq i32 %32, %2
  %38 = zext i32 %29 to i64
  %39 = add nuw nsw i64 %38, 16
  br i1 %37, label %40, label %67

40:                                               ; preds = %36
  tail call void @i32_store(ptr noundef nonnull %4, i64 noundef %39, i32 noundef %29)
  %41 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %30)
  %42 = zext i32 %41 to i64
  %43 = add nuw nsw i64 %42, 12
  %44 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %43)
  %45 = getelementptr inbounds i8, ptr %0, i64 80
  %46 = getelementptr inbounds i8, ptr %0, i64 92
  %47 = load i32, ptr %46, align 4, !tbaa !5
  %48 = icmp ult i32 %44, %47
  br i1 %48, label %49, label %.critedge, !prof !15

49:                                               ; preds = %40
  %50 = load ptr, ptr %45, align 8, !tbaa !16
  %51 = zext i32 %44 to i64
  %52 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %50, i64 %51
  %53 = getelementptr inbounds i8, ptr %52, i64 8
  %54 = load ptr, ptr %53, align 8, !tbaa !17
  %.not309 = icmp eq ptr %54, null
  br i1 %.not309, label %.critedge, label %55, !prof !19

55:                                               ; preds = %49
  %56 = load ptr, ptr @w2c_hermes_t0, align 8, !tbaa !20
  %57 = load ptr, ptr %52, align 8, !tbaa !21
  %58 = tail call zeroext i1 @func_types_eq(ptr noundef %56, ptr noundef %57)
  br i1 %58, label %59, label %.critedge, !prof !15

.critedge:                                        ; preds = %49, %40, %55
  tail call void @wasm_rt_trap(i32 noundef 6) #5
  unreachable

59:                                               ; preds = %55
  %60 = load ptr, ptr %45, align 8, !tbaa !16
  %61 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %60, i64 %51
  %62 = getelementptr inbounds i8, ptr %61, i64 8
  %63 = load ptr, ptr %62, align 8, !tbaa !17
  %64 = getelementptr inbounds i8, ptr %61, i64 16
  %65 = load ptr, ptr %64, align 8, !tbaa !22
  tail call void %63(ptr noundef %65, i32 noundef %2, i32 noundef %29) #6
  %66 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %6)
  br label %68

67:                                               ; preds = %36
  tail call void @i32_store(ptr noundef nonnull %4, i64 noundef %39, i32 noundef %32)
  tail call void @i32_store(ptr noundef nonnull %4, i64 noundef %31, i32 noundef 0)
  br label %68

68:                                               ; preds = %67, %59, %33
  %.0290 = phi i32 [ %7, %33 ], [ %66, %59 ], [ %7, %67 ]
  %69 = add i32 %29, 24
  %70 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %5)
  %.not310 = icmp eq i32 %70, %.0290
  br i1 %.not310, label %115, label %.preheader323

.preheader323:                                    ; preds = %68
  %71 = getelementptr inbounds i8, ptr %0, i64 80
  %72 = getelementptr inbounds i8, ptr %0, i64 92
  %73 = load ptr, ptr @w2c_hermes_t0, align 8
  br label %74

74:                                               ; preds = %.preheader323, %112
  %.0292 = phi i32 [ %75, %112 ], [ %29, %.preheader323 ]
  %.1291 = phi i32 [ %76, %112 ], [ %.0290, %.preheader323 ]
  %75 = add i32 %.0292, -24
  %76 = add i32 %.1291, -24
  %77 = zext i32 %76 to i64
  %78 = add nuw nsw i64 %77, 16
  %79 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %78)
  %.not311 = icmp eq i32 %79, 0
  %80 = add i32 %.0292, -8
  br i1 %.not311, label %81, label %83

81:                                               ; preds = %74
  %82 = zext i32 %80 to i64
  tail call void @i32_store(ptr noundef nonnull %4, i64 noundef %82, i32 noundef 0)
  br label %112

83:                                               ; preds = %74
  %84 = icmp eq i32 %76, %79
  %85 = zext i32 %80 to i64
  br i1 %84, label %86, label %111

86:                                               ; preds = %83
  tail call void @i32_store(ptr noundef nonnull %4, i64 noundef %85, i32 noundef %75)
  %87 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %78)
  %88 = zext i32 %87 to i64
  %89 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %88)
  %90 = zext i32 %89 to i64
  %91 = add nuw nsw i64 %90, 12
  %92 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %91)
  %93 = load i32, ptr %72, align 4, !tbaa !5
  %94 = icmp ult i32 %92, %93
  br i1 %94, label %95, label %.critedge320, !prof !15

95:                                               ; preds = %86
  %96 = load ptr, ptr %71, align 8, !tbaa !16
  %97 = zext i32 %92 to i64
  %98 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %96, i64 %97
  %99 = getelementptr inbounds i8, ptr %98, i64 8
  %100 = load ptr, ptr %99, align 8, !tbaa !17
  %.not312 = icmp eq ptr %100, null
  br i1 %.not312, label %.critedge320, label %101, !prof !19

101:                                              ; preds = %95
  %102 = load ptr, ptr %98, align 8, !tbaa !21
  %103 = tail call zeroext i1 @func_types_eq(ptr noundef %73, ptr noundef %102)
  br i1 %103, label %104, label %.critedge320, !prof !15

.critedge320:                                     ; preds = %95, %86, %101
  tail call void @wasm_rt_trap(i32 noundef 6) #5
  unreachable

104:                                              ; preds = %101
  %105 = load ptr, ptr %71, align 8, !tbaa !16
  %106 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %105, i64 %97
  %107 = getelementptr inbounds i8, ptr %106, i64 8
  %108 = load ptr, ptr %107, align 8, !tbaa !17
  %109 = getelementptr inbounds i8, ptr %106, i64 16
  %110 = load ptr, ptr %109, align 8, !tbaa !22
  tail call void %108(ptr noundef %110, i32 noundef %87, i32 noundef %75) #6
  br label %112

111:                                              ; preds = %83
  tail call void @i32_store(ptr noundef nonnull %4, i64 noundef %85, i32 noundef %79)
  tail call void @i32_store(ptr noundef nonnull %4, i64 noundef %78, i32 noundef 0)
  br label %112

112:                                              ; preds = %111, %104, %81
  %.not313 = icmp eq i32 %76, %70
  br i1 %.not313, label %113, label %74

113:                                              ; preds = %112
  %114 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %5)
  br label %115

115:                                              ; preds = %113, %68
  %.1293 = phi i32 [ %75, %113 ], [ %29, %68 ]
  %.2 = phi i32 [ %114, %113 ], [ %.0290, %68 ]
  tail call void @i32_store(ptr noundef nonnull %4, i64 noundef %5, i32 noundef %.1293)
  %116 = mul i32 %21, 24
  %117 = add i32 %.0289, %116
  tail call void @i32_store(ptr noundef nonnull %4, i64 noundef %14, i32 noundef %117)
  %118 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %6)
  tail call void @i32_store(ptr noundef nonnull %4, i64 noundef %6, i32 noundef %69)
  %.not314 = icmp eq i32 %118, %.2
  br i1 %.not314, label %.loopexit, label %.preheader

.preheader:                                       ; preds = %115
  %119 = getelementptr inbounds i8, ptr %0, i64 80
  %120 = getelementptr inbounds i8, ptr %0, i64 92
  %121 = load ptr, ptr @w2c_hermes_t3, align 8
  br label %122

122:                                              ; preds = %.preheader, %154
  %.2294 = phi i32 [ %123, %154 ], [ %118, %.preheader ]
  %123 = add i32 %.2294, -24
  %124 = zext i32 %123 to i64
  %125 = add nuw nsw i64 %124, 16
  %126 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %125)
  %127 = icmp eq i32 %126, %123
  br i1 %127, label %131, label %128

128:                                              ; preds = %122
  %.not315 = icmp eq i32 %126, 0
  br i1 %.not315, label %154, label %129

129:                                              ; preds = %128
  %130 = zext i32 %126 to i64
  br label %131

131:                                              ; preds = %122, %129
  %.sink328 = phi i64 [ %130, %129 ], [ %124, %122 ]
  %.sink327 = phi i32 [ 20, %129 ], [ 16, %122 ]
  %.0 = phi i32 [ %126, %129 ], [ %123, %122 ]
  %132 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %.sink328)
  %133 = add i32 %132, %.sink327
  %134 = zext i32 %133 to i64
  %135 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %134)
  %136 = load i32, ptr %120, align 4, !tbaa !5
  %137 = icmp ult i32 %135, %136
  br i1 %137, label %138, label %.critedge322, !prof !15

138:                                              ; preds = %131
  %139 = load ptr, ptr %119, align 8, !tbaa !16
  %140 = zext i32 %135 to i64
  %141 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %139, i64 %140
  %142 = getelementptr inbounds i8, ptr %141, i64 8
  %143 = load ptr, ptr %142, align 8, !tbaa !17
  %.not316 = icmp eq ptr %143, null
  br i1 %.not316, label %.critedge322, label %144, !prof !19

144:                                              ; preds = %138
  %145 = load ptr, ptr %141, align 8, !tbaa !21
  %146 = tail call zeroext i1 @func_types_eq(ptr noundef %121, ptr noundef %145)
  br i1 %146, label %147, label %.critedge322, !prof !15

.critedge322:                                     ; preds = %138, %131, %144
  tail call void @wasm_rt_trap(i32 noundef 6) #5
  unreachable

147:                                              ; preds = %144
  %148 = load ptr, ptr %119, align 8, !tbaa !16
  %149 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %148, i64 %140
  %150 = getelementptr inbounds i8, ptr %149, i64 8
  %151 = load ptr, ptr %150, align 8, !tbaa !17
  %152 = getelementptr inbounds i8, ptr %149, i64 16
  %153 = load ptr, ptr %152, align 8, !tbaa !22
  tail call void %151(ptr noundef %153, i32 noundef %.0) #6
  br label %154

154:                                              ; preds = %128, %147
  %.not317 = icmp eq i32 %123, %.2
  br i1 %.not317, label %.loopexit, label %122

.loopexit:                                        ; preds = %154, %115
  %.not318 = icmp eq i32 %.2, 0
  br i1 %.not318, label %158, label %155

155:                                              ; preds = %.loopexit
  tail call void @w2c_hermes_dlfree(ptr noundef %0, i32 noundef %.2) #6
  br label %158

156:                                              ; preds = %3
  tail call void @w2c_hermes_abort(ptr noundef %0) #6
  tail call void @wasm_rt_trap(i32 noundef 5) #5
  unreachable

157:                                              ; preds = %22
  tail call void @w2c_hermes_std0x3A0x3A_0x5F20x3A0x3A_0x5Fthrow_out_of_range0x5Babi0x3Av150070x5D0x28char0x20const0x2A0x29(ptr noundef %0)
  tail call void @wasm_rt_trap(i32 noundef 5) #5
  unreachable

158:                                              ; preds = %.loopexit, %155
  ret void
}

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

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

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

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


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