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

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

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

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

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

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

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

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

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

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

; Function Attrs: nounwind uwtable
declare dso_local void @w2c_hermes_operator0x20delete0x5B0x5D0x28void0x2A0x29(ptr noundef, i32 noundef) #4

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

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

; Function Attrs: nounwind uwtable
declare dso_local void @w2c_hermes_llvh0x3A0x3Araw_ostream0x3A0x3ASetBufferAndMode0x28char0x2A0x2C0x20unsigned0x20long0x2C0x20llvh0x3A0x3Araw_ostream0x3A0x3ABufferKind0x29(ptr noundef, i32 noundef, i32 noundef, i32 noundef, i32 noundef) #4

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

33:                                               ; preds = %2
  %34 = load ptr, ptr %3, align 8, !tbaa !5
  %35 = getelementptr inbounds %struct.w2c_hermes, ptr %34, i32 0, i32 7
  %36 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %35, i32 0, i32 0
  %37 = load ptr, ptr %36, align 8, !tbaa !17
  %38 = load i32, ptr %9, align 4, !tbaa !9
  %39 = zext i32 %38 to i64
  %40 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %37, i64 %39
  %41 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %40, i32 0, i32 1
  %42 = load ptr, ptr %41, align 8, !tbaa !18
  %43 = icmp ne ptr %42, null
  br i1 %43, label %44, label %56

44:                                               ; preds = %33
  %45 = load ptr, ptr @w2c_hermes_t2, align 8, !tbaa !5
  %46 = load ptr, ptr %3, align 8, !tbaa !5
  %47 = getelementptr inbounds %struct.w2c_hermes, ptr %46, i32 0, i32 7
  %48 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %47, i32 0, i32 0
  %49 = load ptr, ptr %48, align 8, !tbaa !17
  %50 = load i32, ptr %9, align 4, !tbaa !9
  %51 = zext i32 %50 to i64
  %52 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %49, i64 %51
  %53 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %52, i32 0, i32 0
  %54 = load ptr, ptr %53, align 8, !tbaa !20
  %55 = call zeroext i1 @func_types_eq(ptr noundef %45, ptr noundef %54)
  br label %56

56:                                               ; preds = %44, %33, %2
  %57 = phi i1 [ false, %33 ], [ false, %2 ], [ %55, %44 ]
  %58 = xor i1 %57, true
  %59 = xor i1 %58, true
  %60 = zext i1 %59 to i32
  %61 = sext i32 %60 to i64
  %62 = call i64 @llvm.expect.i64(i64 %61, i64 1)
  %63 = icmp ne i64 %62, 0
  br i1 %63, label %66, label %64

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

65:                                               ; No predecessors!
  br label %66

66:                                               ; preds = %65, %56
  %67 = phi i1 [ true, %56 ], [ false, %65 ]
  %68 = zext i1 %67 to i32
  %69 = load ptr, ptr %3, align 8, !tbaa !5
  %70 = getelementptr inbounds %struct.w2c_hermes, ptr %69, i32 0, i32 7
  %71 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %70, i32 0, i32 0
  %72 = load ptr, ptr %71, align 8, !tbaa !17
  %73 = load i32, ptr %9, align 4, !tbaa !9
  %74 = zext i32 %73 to i64
  %75 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %72, i64 %74
  %76 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %75, i32 0, i32 1
  %77 = load ptr, ptr %76, align 8, !tbaa !18
  %78 = load ptr, ptr %3, align 8, !tbaa !5
  %79 = getelementptr inbounds %struct.w2c_hermes, ptr %78, i32 0, i32 7
  %80 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %79, i32 0, i32 0
  %81 = load ptr, ptr %80, align 8, !tbaa !17
  %82 = load i32, ptr %9, align 4, !tbaa !9
  %83 = zext i32 %82 to i64
  %84 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %81, i64 %83
  %85 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %84, i32 0, i32 2
  %86 = load ptr, ptr %85, align 8, !tbaa !21
  %87 = load i32, ptr %8, align 4, !tbaa !9
  %88 = call i32 %77(ptr noundef %86, i32 noundef %87)
  store i32 %88, ptr %8, align 4, !tbaa !9
  %89 = load i32, ptr %8, align 4, !tbaa !9
  store i32 %89, ptr %7, align 4, !tbaa !9
  %90 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %90, ptr %8, align 4, !tbaa !9
  %91 = load ptr, ptr %3, align 8, !tbaa !5
  %92 = getelementptr inbounds %struct.w2c_hermes, ptr %91, i32 0, i32 6
  %93 = load i32, ptr %8, align 4, !tbaa !9
  %94 = zext i32 %93 to i64
  %95 = add i64 %94, 4
  %96 = call i32 @i32_load(ptr noundef %92, i64 noundef %95)
  store i32 %96, ptr %8, align 4, !tbaa !9
  %97 = load i32, ptr %8, align 4, !tbaa !9
  store i32 %97, ptr %5, align 4, !tbaa !9
  %98 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %98, ptr %8, align 4, !tbaa !9
  %99 = load ptr, ptr %3, align 8, !tbaa !5
  %100 = getelementptr inbounds %struct.w2c_hermes, ptr %99, i32 0, i32 6
  %101 = load i32, ptr %8, align 4, !tbaa !9
  %102 = zext i32 %101 to i64
  %103 = add i64 %102, 12
  %104 = call i32 @i32_load(ptr noundef %100, i64 noundef %103)
  store i32 %104, ptr %8, align 4, !tbaa !9
  %105 = load i32, ptr %8, align 4, !tbaa !9
  store i32 %105, ptr %6, align 4, !tbaa !9
  %106 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %106, ptr %8, align 4, !tbaa !9
  %107 = load i32, ptr %8, align 4, !tbaa !9
  %108 = icmp ne i32 %107, 0
  br i1 %108, label %109, label %231

109:                                              ; preds = %66
  %110 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %110, ptr %8, align 4, !tbaa !9
  %111 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %111, ptr %9, align 4, !tbaa !9
  %112 = load i32, ptr %8, align 4, !tbaa !9
  %113 = load i32, ptr %9, align 4, !tbaa !9
  %114 = icmp ne i32 %112, %113
  %115 = zext i1 %114 to i32
  store i32 %115, ptr %8, align 4, !tbaa !9
  %116 = load i32, ptr %8, align 4, !tbaa !9
  %117 = icmp ne i32 %116, 0
  br i1 %117, label %118, label %219

118:                                              ; preds = %109
  %119 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %119, ptr %8, align 4, !tbaa !9
  %120 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %120, ptr %9, align 4, !tbaa !9
  %121 = load i32, ptr %8, align 4, !tbaa !9
  %122 = load i32, ptr %9, align 4, !tbaa !9
  %123 = icmp uge i32 %121, %122
  %124 = zext i1 %123 to i32
  store i32 %124, ptr %8, align 4, !tbaa !9
  %125 = load i32, ptr %8, align 4, !tbaa !9
  %126 = icmp ne i32 %125, 0
  br i1 %126, label %127, label %128

127:                                              ; preds = %118
  br label %411

128:                                              ; preds = %118
  %129 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %129, ptr %8, align 4, !tbaa !9
  %130 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %130, ptr %9, align 4, !tbaa !9
  %131 = load ptr, ptr %3, align 8, !tbaa !5
  %132 = getelementptr inbounds %struct.w2c_hermes, ptr %131, i32 0, i32 6
  %133 = load i32, ptr %8, align 4, !tbaa !9
  %134 = zext i32 %133 to i64
  %135 = add i64 %134, 12
  %136 = load i32, ptr %9, align 4, !tbaa !9
  call void @i32_store(ptr noundef %132, i64 noundef %135, i32 noundef %136)
  %137 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %137, ptr %8, align 4, !tbaa !9
  %138 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %138, ptr %9, align 4, !tbaa !9
  %139 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %139, ptr %10, align 4, !tbaa !9
  %140 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %140, ptr %11, align 4, !tbaa !9
  %141 = load i32, ptr %11, align 4, !tbaa !9
  %142 = load i32, ptr %10, align 4, !tbaa !9
  %143 = sub i32 %142, %141
  store i32 %143, ptr %10, align 4, !tbaa !9
  %144 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %144, ptr %11, align 4, !tbaa !9
  %145 = load ptr, ptr %3, align 8, !tbaa !5
  %146 = getelementptr inbounds %struct.w2c_hermes, ptr %145, i32 0, i32 6
  %147 = load i32, ptr %11, align 4, !tbaa !9
  %148 = zext i32 %147 to i64
  %149 = call i32 @i32_load(ptr noundef %146, i64 noundef %148)
  store i32 %149, ptr %11, align 4, !tbaa !9
  %150 = load ptr, ptr %3, align 8, !tbaa !5
  %151 = getelementptr inbounds %struct.w2c_hermes, ptr %150, i32 0, i32 6
  %152 = load i32, ptr %11, align 4, !tbaa !9
  %153 = zext i32 %152 to i64
  %154 = add i64 %153, 28
  %155 = call i32 @i32_load(ptr noundef %151, i64 noundef %154)
  store i32 %155, ptr %11, align 4, !tbaa !9
  %156 = load i32, ptr %11, align 4, !tbaa !9
  %157 = load ptr, ptr %3, align 8, !tbaa !5
  %158 = getelementptr inbounds %struct.w2c_hermes, ptr %157, i32 0, i32 7
  %159 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %158, i32 0, i32 2
  %160 = load i32, ptr %159, align 4, !tbaa !11
  %161 = icmp ult i32 %156, %160
  br i1 %161, label %162, label %185

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

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

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

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

194:                                              ; No predecessors!
  br label %195

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

219:                                              ; preds = %195, %109
  %220 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %220, ptr %8, align 4, !tbaa !9
  %221 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %221, ptr %9, align 4, !tbaa !9
  %222 = load ptr, ptr %3, align 8, !tbaa !5
  %223 = load i32, ptr %9, align 4, !tbaa !9
  %224 = call i32 @w2c_hermes_operator0x20new0x5B0x5D0x28unsigned0x20long0x29(ptr noundef %222, i32 noundef %223)
  store i32 %224, ptr %9, align 4, !tbaa !9
  %225 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %225, ptr %10, align 4, !tbaa !9
  store i32 1, ptr %11, align 4, !tbaa !9
  %226 = load ptr, ptr %3, align 8, !tbaa !5
  %227 = load i32, ptr %8, align 4, !tbaa !9
  %228 = load i32, ptr %9, align 4, !tbaa !9
  %229 = load i32, ptr %10, align 4, !tbaa !9
  %230 = load i32, ptr %11, align 4, !tbaa !9
  call void @w2c_hermes_llvh0x3A0x3Araw_ostream0x3A0x3ASetBufferAndMode0x28char0x2A0x2C0x20unsigned0x20long0x2C0x20llvh0x3A0x3Araw_ostream0x3A0x3ABufferKind0x29(ptr noundef %226, i32 noundef %227, i32 noundef %228, i32 noundef %229, i32 noundef %230)
  br label %465

231:                                              ; preds = %66
  %232 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %232, ptr %8, align 4, !tbaa !9
  %233 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %233, ptr %9, align 4, !tbaa !9
  %234 = load i32, ptr %8, align 4, !tbaa !9
  %235 = load i32, ptr %9, align 4, !tbaa !9
  %236 = icmp ne i32 %234, %235
  %237 = zext i1 %236 to i32
  store i32 %237, ptr %8, align 4, !tbaa !9
  %238 = load i32, ptr %8, align 4, !tbaa !9
  %239 = icmp ne i32 %238, 0
  br i1 %239, label %240, label %364

240:                                              ; preds = %231
  %241 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %241, ptr %8, align 4, !tbaa !9
  %242 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %242, ptr %9, align 4, !tbaa !9
  %243 = load i32, ptr %8, align 4, !tbaa !9
  %244 = load i32, ptr %9, align 4, !tbaa !9
  %245 = icmp uge i32 %243, %244
  %246 = zext i1 %245 to i32
  store i32 %246, ptr %8, align 4, !tbaa !9
  %247 = load i32, ptr %8, align 4, !tbaa !9
  %248 = icmp ne i32 %247, 0
  br i1 %248, label %249, label %250

249:                                              ; preds = %240
  br label %429

250:                                              ; preds = %240
  %251 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %251, ptr %8, align 4, !tbaa !9
  %252 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %252, ptr %9, align 4, !tbaa !9
  %253 = load ptr, ptr %3, align 8, !tbaa !5
  %254 = getelementptr inbounds %struct.w2c_hermes, ptr %253, i32 0, i32 6
  %255 = load i32, ptr %8, align 4, !tbaa !9
  %256 = zext i32 %255 to i64
  %257 = add i64 %256, 12
  %258 = load i32, ptr %9, align 4, !tbaa !9
  call void @i32_store(ptr noundef %254, i64 noundef %257, i32 noundef %258)
  %259 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %259, ptr %8, align 4, !tbaa !9
  %260 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %260, ptr %9, align 4, !tbaa !9
  %261 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %261, ptr %10, align 4, !tbaa !9
  %262 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %262, ptr %11, align 4, !tbaa !9
  %263 = load i32, ptr %11, align 4, !tbaa !9
  %264 = load i32, ptr %10, align 4, !tbaa !9
  %265 = sub i32 %264, %263
  store i32 %265, ptr %10, align 4, !tbaa !9
  %266 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %266, ptr %11, align 4, !tbaa !9
  %267 = load ptr, ptr %3, align 8, !tbaa !5
  %268 = getelementptr inbounds %struct.w2c_hermes, ptr %267, i32 0, i32 6
  %269 = load i32, ptr %11, align 4, !tbaa !9
  %270 = zext i32 %269 to i64
  %271 = call i32 @i32_load(ptr noundef %268, i64 noundef %270)
  store i32 %271, ptr %11, 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 %11, align 4, !tbaa !9
  %275 = zext i32 %274 to i64
  %276 = add i64 %275, 28
  %277 = call i32 @i32_load(ptr noundef %273, i64 noundef %276)
  store i32 %277, ptr %11, align 4, !tbaa !9
  %278 = load i32, ptr %11, align 4, !tbaa !9
  %279 = load ptr, ptr %3, align 8, !tbaa !5
  %280 = getelementptr inbounds %struct.w2c_hermes, ptr %279, i32 0, i32 7
  %281 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %280, i32 0, i32 2
  %282 = load i32, ptr %281, align 4, !tbaa !11
  %283 = icmp ult i32 %278, %282
  br i1 %283, label %284, label %307

284:                                              ; preds = %250
  %285 = load ptr, ptr %3, align 8, !tbaa !5
  %286 = getelementptr inbounds %struct.w2c_hermes, ptr %285, i32 0, i32 7
  %287 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %286, i32 0, i32 0
  %288 = load ptr, ptr %287, align 8, !tbaa !17
  %289 = load i32, ptr %11, align 4, !tbaa !9
  %290 = zext i32 %289 to i64
  %291 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %288, i64 %290
  %292 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %291, i32 0, i32 1
  %293 = load ptr, ptr %292, align 8, !tbaa !18
  %294 = icmp ne ptr %293, null
  br i1 %294, label %295, label %307

295:                                              ; preds = %284
  %296 = load ptr, ptr @w2c_hermes_t1, align 8, !tbaa !5
  %297 = load ptr, ptr %3, align 8, !tbaa !5
  %298 = getelementptr inbounds %struct.w2c_hermes, ptr %297, i32 0, i32 7
  %299 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %298, i32 0, i32 0
  %300 = load ptr, ptr %299, align 8, !tbaa !17
  %301 = load i32, ptr %11, align 4, !tbaa !9
  %302 = zext i32 %301 to i64
  %303 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %300, i64 %302
  %304 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %303, i32 0, i32 0
  %305 = load ptr, ptr %304, align 8, !tbaa !20
  %306 = call zeroext i1 @func_types_eq(ptr noundef %296, ptr noundef %305)
  br label %307

307:                                              ; preds = %295, %284, %250
  %308 = phi i1 [ false, %284 ], [ false, %250 ], [ %306, %295 ]
  %309 = xor i1 %308, true
  %310 = xor i1 %309, true
  %311 = zext i1 %310 to i32
  %312 = sext i32 %311 to i64
  %313 = call i64 @llvm.expect.i64(i64 %312, i64 1)
  %314 = icmp ne i64 %313, 0
  br i1 %314, label %317, label %315

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

316:                                              ; No predecessors!
  br label %317

317:                                              ; preds = %316, %307
  %318 = phi i1 [ true, %307 ], [ false, %316 ]
  %319 = zext i1 %318 to i32
  %320 = load ptr, ptr %3, align 8, !tbaa !5
  %321 = getelementptr inbounds %struct.w2c_hermes, ptr %320, i32 0, i32 7
  %322 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %321, i32 0, i32 0
  %323 = load ptr, ptr %322, align 8, !tbaa !17
  %324 = load i32, ptr %11, align 4, !tbaa !9
  %325 = zext i32 %324 to i64
  %326 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %323, i64 %325
  %327 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %326, i32 0, i32 1
  %328 = load ptr, ptr %327, align 8, !tbaa !18
  %329 = load ptr, ptr %3, align 8, !tbaa !5
  %330 = getelementptr inbounds %struct.w2c_hermes, ptr %329, i32 0, i32 7
  %331 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %330, i32 0, i32 0
  %332 = load ptr, ptr %331, align 8, !tbaa !17
  %333 = load i32, ptr %11, align 4, !tbaa !9
  %334 = zext i32 %333 to i64
  %335 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %332, i64 %334
  %336 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %335, i32 0, i32 2
  %337 = load ptr, ptr %336, align 8, !tbaa !21
  %338 = load i32, ptr %8, align 4, !tbaa !9
  %339 = load i32, ptr %9, align 4, !tbaa !9
  %340 = load i32, ptr %10, align 4, !tbaa !9
  call void %328(ptr noundef %337, i32 noundef %338, i32 noundef %339, i32 noundef %340)
  %341 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %341, ptr %8, align 4, !tbaa !9
  %342 = load ptr, ptr %3, align 8, !tbaa !5
  %343 = getelementptr inbounds %struct.w2c_hermes, ptr %342, i32 0, i32 6
  %344 = load i32, ptr %8, align 4, !tbaa !9
  %345 = zext i32 %344 to i64
  %346 = add i64 %345, 12
  %347 = call i32 @i32_load(ptr noundef %343, i64 noundef %346)
  store i32 %347, ptr %8, align 4, !tbaa !9
  %348 = load i32, ptr %8, align 4, !tbaa !9
  store i32 %348, ptr %6, align 4, !tbaa !9
  %349 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %349, ptr %9, align 4, !tbaa !9
  %350 = load ptr, ptr %3, align 8, !tbaa !5
  %351 = getelementptr inbounds %struct.w2c_hermes, ptr %350, i32 0, i32 6
  %352 = load i32, ptr %9, align 4, !tbaa !9
  %353 = zext i32 %352 to i64
  %354 = add i64 %353, 4
  %355 = call i32 @i32_load(ptr noundef %351, i64 noundef %354)
  store i32 %355, ptr %9, align 4, !tbaa !9
  %356 = load i32, ptr %8, align 4, !tbaa !9
  %357 = load i32, ptr %9, align 4, !tbaa !9
  %358 = icmp ne i32 %356, %357
  %359 = zext i1 %358 to i32
  store i32 %359, ptr %8, align 4, !tbaa !9
  %360 = load i32, ptr %8, align 4, !tbaa !9
  %361 = icmp ne i32 %360, 0
  br i1 %361, label %362, label %363

362:                                              ; preds = %317
  br label %447

363:                                              ; preds = %317
  br label %364

364:                                              ; preds = %363, %231
  %365 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %365, ptr %8, align 4, !tbaa !9
  store i32 4, ptr %9, align 4, !tbaa !9
  %366 = load i32, ptr %9, align 4, !tbaa !9
  %367 = load i32, ptr %8, align 4, !tbaa !9
  %368 = add i32 %367, %366
  store i32 %368, ptr %8, align 4, !tbaa !9
  %369 = load i32, ptr %8, align 4, !tbaa !9
  store i32 %369, ptr %5, align 4, !tbaa !9
  %370 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %370, ptr %8, align 4, !tbaa !9
  %371 = load i32, ptr %8, align 4, !tbaa !9
  %372 = icmp ne i32 %371, 0
  %373 = xor i1 %372, true
  %374 = zext i1 %373 to i32
  store i32 %374, ptr %8, align 4, !tbaa !9
  %375 = load i32, ptr %8, align 4, !tbaa !9
  %376 = icmp ne i32 %375, 0
  br i1 %376, label %377, label %378

377:                                              ; preds = %364
  br label %397

378:                                              ; preds = %364
  %379 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %379, ptr %8, align 4, !tbaa !9
  %380 = load ptr, ptr %3, align 8, !tbaa !5
  %381 = getelementptr inbounds %struct.w2c_hermes, ptr %380, i32 0, i32 6
  %382 = load i32, ptr %8, align 4, !tbaa !9
  %383 = zext i32 %382 to i64
  %384 = add i64 %383, 16
  %385 = call i32 @i32_load(ptr noundef %381, i64 noundef %384)
  store i32 %385, ptr %8, align 4, !tbaa !9
  store i32 1, ptr %9, align 4, !tbaa !9
  %386 = load i32, ptr %8, align 4, !tbaa !9
  %387 = load i32, ptr %9, align 4, !tbaa !9
  %388 = icmp ne i32 %386, %387
  %389 = zext i1 %388 to i32
  store i32 %389, ptr %8, align 4, !tbaa !9
  %390 = load i32, ptr %8, align 4, !tbaa !9
  %391 = icmp ne i32 %390, 0
  br i1 %391, label %392, label %393

392:                                              ; preds = %378
  br label %397

393:                                              ; preds = %378
  %394 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %394, ptr %8, align 4, !tbaa !9
  %395 = load ptr, ptr %3, align 8, !tbaa !5
  %396 = load i32, ptr %8, align 4, !tbaa !9
  call void @w2c_hermes_operator0x20delete0x5B0x5D0x28void0x2A0x29(ptr noundef %395, i32 noundef %396)
  br label %397

397:                                              ; preds = %393, %392, %377
  %398 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %398, ptr %8, align 4, !tbaa !9
  store i64 0, ptr %13, align 8, !tbaa !22
  %399 = load ptr, ptr %3, align 8, !tbaa !5
  %400 = getelementptr inbounds %struct.w2c_hermes, ptr %399, i32 0, i32 6
  %401 = load i32, ptr %8, align 4, !tbaa !9
  %402 = zext i32 %401 to i64
  %403 = load i64, ptr %13, align 8, !tbaa !22
  call void @i64_store(ptr noundef %400, i64 noundef %402, i64 noundef %403)
  %404 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %404, ptr %8, align 4, !tbaa !9
  store i64 0, ptr %13, align 8, !tbaa !22
  %405 = load ptr, ptr %3, align 8, !tbaa !5
  %406 = getelementptr inbounds %struct.w2c_hermes, ptr %405, i32 0, i32 6
  %407 = load i32, ptr %8, align 4, !tbaa !9
  %408 = zext i32 %407 to i64
  %409 = add i64 %408, 8
  %410 = load i64, ptr %13, align 8, !tbaa !22
  call void @i64_store(ptr noundef %406, i64 noundef %409, i64 noundef %410)
  br label %465

411:                                              ; preds = %127
  store i32 0, ptr %8, align 4, !tbaa !9
  %412 = load i32, ptr %8, align 4, !tbaa !9
  store i32 %412, ptr %4, align 4, !tbaa !9
  store i32 188470, ptr %9, align 4, !tbaa !9
  %413 = load i32, ptr %9, align 4, !tbaa !9
  %414 = load i32, ptr %8, align 4, !tbaa !9
  %415 = add i32 %414, %413
  store i32 %415, ptr %8, align 4, !tbaa !9
  %416 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %416, ptr %9, align 4, !tbaa !9
  store i32 59150, ptr %10, align 4, !tbaa !9
  %417 = load i32, ptr %10, align 4, !tbaa !9
  %418 = load i32, ptr %9, align 4, !tbaa !9
  %419 = add i32 %418, %417
  store i32 %419, ptr %9, align 4, !tbaa !9
  store i32 198, ptr %10, align 4, !tbaa !9
  %420 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %420, ptr %11, align 4, !tbaa !9
  store i32 17252, ptr %12, align 4, !tbaa !9
  %421 = load i32, ptr %12, align 4, !tbaa !9
  %422 = load i32, ptr %11, align 4, !tbaa !9
  %423 = add i32 %422, %421
  store i32 %423, ptr %11, align 4, !tbaa !9
  %424 = load ptr, ptr %3, align 8, !tbaa !5
  %425 = load i32, ptr %8, align 4, !tbaa !9
  %426 = load i32, ptr %9, align 4, !tbaa !9
  %427 = load i32, ptr %10, align 4, !tbaa !9
  %428 = load i32, ptr %11, align 4, !tbaa !9
  call void @w2c_hermes_0x5F_assert_fail(ptr noundef %424, i32 noundef %425, i32 noundef %426, i32 noundef %427, i32 noundef %428)
  call void @wasm_rt_trap(i32 noundef 5) #7
  unreachable

429:                                              ; preds = %249
  store i32 0, ptr %8, align 4, !tbaa !9
  %430 = load i32, ptr %8, align 4, !tbaa !9
  store i32 %430, ptr %4, align 4, !tbaa !9
  store i32 188470, ptr %9, align 4, !tbaa !9
  %431 = load i32, ptr %9, align 4, !tbaa !9
  %432 = load i32, ptr %8, align 4, !tbaa !9
  %433 = add i32 %432, %431
  store i32 %433, ptr %8, align 4, !tbaa !9
  %434 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %434, ptr %9, align 4, !tbaa !9
  store i32 59150, ptr %10, align 4, !tbaa !9
  %435 = load i32, ptr %10, align 4, !tbaa !9
  %436 = load i32, ptr %9, align 4, !tbaa !9
  %437 = add i32 %436, %435
  store i32 %437, ptr %9, align 4, !tbaa !9
  store i32 198, ptr %10, align 4, !tbaa !9
  %438 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %438, ptr %11, align 4, !tbaa !9
  store i32 17252, ptr %12, align 4, !tbaa !9
  %439 = load i32, ptr %12, align 4, !tbaa !9
  %440 = load i32, ptr %11, align 4, !tbaa !9
  %441 = add i32 %440, %439
  store i32 %441, ptr %11, align 4, !tbaa !9
  %442 = load ptr, ptr %3, align 8, !tbaa !5
  %443 = load i32, ptr %8, align 4, !tbaa !9
  %444 = load i32, ptr %9, align 4, !tbaa !9
  %445 = load i32, ptr %10, align 4, !tbaa !9
  %446 = load i32, ptr %11, align 4, !tbaa !9
  call void @w2c_hermes_0x5F_assert_fail(ptr noundef %442, i32 noundef %443, i32 noundef %444, i32 noundef %445, i32 noundef %446)
  call void @wasm_rt_trap(i32 noundef 5) #7
  unreachable

447:                                              ; preds = %362
  store i32 0, ptr %8, align 4, !tbaa !9
  %448 = load i32, ptr %8, align 4, !tbaa !9
  store i32 %448, ptr %4, align 4, !tbaa !9
  store i32 202569, ptr %9, align 4, !tbaa !9
  %449 = load i32, ptr %9, align 4, !tbaa !9
  %450 = load i32, ptr %8, align 4, !tbaa !9
  %451 = add i32 %450, %449
  store i32 %451, ptr %8, align 4, !tbaa !9
  %452 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %452, ptr %9, align 4, !tbaa !9
  store i32 59150, ptr %10, align 4, !tbaa !9
  %453 = load i32, ptr %10, align 4, !tbaa !9
  %454 = load i32, ptr %9, align 4, !tbaa !9
  %455 = add i32 %454, %453
  store i32 %455, ptr %9, align 4, !tbaa !9
  store i32 100, ptr %10, align 4, !tbaa !9
  %456 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %456, ptr %11, align 4, !tbaa !9
  store i32 101050, ptr %12, align 4, !tbaa !9
  %457 = load i32, ptr %12, align 4, !tbaa !9
  %458 = load i32, ptr %11, align 4, !tbaa !9
  %459 = add i32 %458, %457
  store i32 %459, ptr %11, align 4, !tbaa !9
  %460 = load ptr, ptr %3, align 8, !tbaa !5
  %461 = load i32, ptr %8, align 4, !tbaa !9
  %462 = load i32, ptr %9, align 4, !tbaa !9
  %463 = load i32, ptr %10, align 4, !tbaa !9
  %464 = load i32, ptr %11, align 4, !tbaa !9
  call void @w2c_hermes_0x5F_assert_fail(ptr noundef %460, i32 noundef %461, i32 noundef %462, i32 noundef %463, i32 noundef %464)
  call void @wasm_rt_trap(i32 noundef 5) #7
  unreachable

465:                                              ; preds = %397, %219
  call void @llvm.lifetime.end.p0(i64 8, ptr %13) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %12) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %11) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %10) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %9) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %8) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %7) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %6) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %5) #6
  ret void
}

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


; 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_t1 = external local_unnamed_addr constant ptr, align 8
@w2c_hermes_t2 = external local_unnamed_addr constant ptr, align 8

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

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

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

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

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

; Function Attrs: nounwind uwtable
declare dso_local void @w2c_hermes_operator0x20delete0x5B0x5D0x28void0x2A0x29(ptr noundef, i32 noundef) local_unnamed_addr #2

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

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

; Function Attrs: nounwind uwtable
declare dso_local void @w2c_hermes_llvh0x3A0x3Araw_ostream0x3A0x3ASetBufferAndMode0x28char0x2A0x2C0x20unsigned0x20long0x2C0x20llvh0x3A0x3Araw_ostream0x3A0x3ABufferKind0x29(ptr noundef, i32 noundef, i32 noundef, i32 noundef, i32 noundef) local_unnamed_addr #2

; Function Attrs: nounwind uwtable
define dso_local void @w2c_hermes_llvh0x3A0x3Araw_ostream0x3A0x3ASetBuffered0x280x29(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 = tail call i32 @i32_load(ptr noundef nonnull %3, i64 noundef %4)
  %6 = zext i32 %5 to i64
  %7 = add nuw nsw i64 %6, 36
  %8 = tail call i32 @i32_load(ptr noundef nonnull %3, i64 noundef %7)
  %9 = getelementptr inbounds i8, ptr %0, i64 80
  %10 = getelementptr inbounds i8, ptr %0, i64 92
  %11 = load i32, ptr %10, align 4, !tbaa !5
  %12 = icmp ult i32 %8, %11
  br i1 %12, label %13, label %.critedge, !prof !15

13:                                               ; preds = %2
  %14 = load ptr, ptr %9, align 8, !tbaa !16
  %15 = zext i32 %8 to i64
  %16 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %14, i64 %15
  %17 = getelementptr inbounds i8, ptr %16, i64 8
  %18 = load ptr, ptr %17, align 8, !tbaa !17
  %.not = icmp eq ptr %18, null
  br i1 %.not, label %.critedge, label %19, !prof !19

19:                                               ; preds = %13
  %20 = load ptr, ptr @w2c_hermes_t2, align 8, !tbaa !20
  %21 = load ptr, ptr %16, align 8, !tbaa !21
  %22 = tail call zeroext i1 @func_types_eq(ptr noundef %20, ptr noundef %21)
  br i1 %22, label %23, label %.critedge, !prof !15

.critedge:                                        ; preds = %13, %2, %19
  tail call void @wasm_rt_trap(i32 noundef 6) #4
  unreachable

23:                                               ; preds = %19
  %24 = load ptr, ptr %9, align 8, !tbaa !16
  %25 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %24, i64 %15
  %26 = getelementptr inbounds i8, ptr %25, i64 8
  %27 = load ptr, ptr %26, align 8, !tbaa !17
  %28 = getelementptr inbounds i8, ptr %25, i64 16
  %29 = load ptr, ptr %28, align 8, !tbaa !22
  %30 = tail call i32 %27(ptr noundef %29, i32 noundef %1) #5
  %31 = add nuw nsw i64 %4, 4
  %32 = tail call i32 @i32_load(ptr noundef nonnull %3, i64 noundef %31)
  %33 = add nuw nsw i64 %4, 12
  %34 = tail call i32 @i32_load(ptr noundef nonnull %3, i64 noundef %33)
  %.not199 = icmp eq i32 %30, 0
  %.not200 = icmp eq i32 %32, %34
  br i1 %.not199, label %64, label %35

35:                                               ; preds = %23
  br i1 %.not200, label %62, label %36

36:                                               ; preds = %35
  %.not207 = icmp ult i32 %32, %34
  br i1 %.not207, label %37, label %102

37:                                               ; preds = %36
  tail call void @i32_store(ptr noundef nonnull %3, i64 noundef %33, i32 noundef %32)
  %38 = sub i32 %34, %32
  %39 = tail call i32 @i32_load(ptr noundef nonnull %3, i64 noundef %4)
  %40 = zext i32 %39 to i64
  %41 = add nuw nsw i64 %40, 28
  %42 = tail call i32 @i32_load(ptr noundef nonnull %3, i64 noundef %41)
  %43 = load i32, ptr %10, align 4, !tbaa !5
  %44 = icmp ult i32 %42, %43
  br i1 %44, label %45, label %.critedge210, !prof !15

45:                                               ; preds = %37
  %46 = load ptr, ptr %9, align 8, !tbaa !16
  %47 = zext i32 %42 to i64
  %48 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %46, i64 %47
  %49 = getelementptr inbounds i8, ptr %48, i64 8
  %50 = load ptr, ptr %49, align 8, !tbaa !17
  %.not208 = icmp eq ptr %50, null
  br i1 %.not208, label %.critedge210, label %51, !prof !19

51:                                               ; preds = %45
  %52 = load ptr, ptr @w2c_hermes_t1, align 8, !tbaa !20
  %53 = load ptr, ptr %48, align 8, !tbaa !21
  %54 = tail call zeroext i1 @func_types_eq(ptr noundef %52, ptr noundef %53)
  br i1 %54, label %55, label %.critedge210, !prof !15

.critedge210:                                     ; preds = %45, %37, %51
  tail call void @wasm_rt_trap(i32 noundef 6) #4
  unreachable

55:                                               ; preds = %51
  %56 = load ptr, ptr %9, align 8, !tbaa !16
  %57 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %56, i64 %47
  %58 = getelementptr inbounds i8, ptr %57, i64 8
  %59 = load ptr, ptr %58, align 8, !tbaa !17
  %60 = getelementptr inbounds i8, ptr %57, i64 16
  %61 = load ptr, ptr %60, align 8, !tbaa !22
  tail call void %59(ptr noundef %61, i32 noundef %1, i32 noundef %32, i32 noundef %38) #5
  br label %62

62:                                               ; preds = %55, %35
  %63 = tail call i32 @w2c_hermes_operator0x20new0x5B0x5D0x28unsigned0x20long0x29(ptr noundef nonnull %0, i32 noundef %30)
  tail call void @w2c_hermes_llvh0x3A0x3Araw_ostream0x3A0x3ASetBufferAndMode0x28char0x2A0x2C0x20unsigned0x20long0x2C0x20llvh0x3A0x3Araw_ostream0x3A0x3ABufferKind0x29(ptr noundef nonnull %0, i32 noundef %1, i32 noundef %63, i32 noundef %30, i32 noundef 1)
  br label %105

64:                                               ; preds = %23
  br i1 %.not200, label %93, label %65

65:                                               ; preds = %64
  %.not201 = icmp ult i32 %32, %34
  br i1 %.not201, label %66, label %103

66:                                               ; preds = %65
  tail call void @i32_store(ptr noundef nonnull %3, i64 noundef %33, i32 noundef %32)
  %67 = sub i32 %34, %32
  %68 = tail call i32 @i32_load(ptr noundef nonnull %3, i64 noundef %4)
  %69 = zext i32 %68 to i64
  %70 = add nuw nsw i64 %69, 28
  %71 = tail call i32 @i32_load(ptr noundef nonnull %3, i64 noundef %70)
  %72 = load i32, ptr %10, align 4, !tbaa !5
  %73 = icmp ult i32 %71, %72
  br i1 %73, label %74, label %.critedge212, !prof !15

74:                                               ; preds = %66
  %75 = load ptr, ptr %9, align 8, !tbaa !16
  %76 = zext i32 %71 to i64
  %77 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %75, i64 %76
  %78 = getelementptr inbounds i8, ptr %77, i64 8
  %79 = load ptr, ptr %78, align 8, !tbaa !17
  %.not202 = icmp eq ptr %79, null
  br i1 %.not202, label %.critedge212, label %80, !prof !19

80:                                               ; preds = %74
  %81 = load ptr, ptr @w2c_hermes_t1, align 8, !tbaa !20
  %82 = load ptr, ptr %77, align 8, !tbaa !21
  %83 = tail call zeroext i1 @func_types_eq(ptr noundef %81, ptr noundef %82)
  br i1 %83, label %84, label %.critedge212, !prof !15

.critedge212:                                     ; preds = %74, %66, %80
  tail call void @wasm_rt_trap(i32 noundef 6) #4
  unreachable

84:                                               ; preds = %80
  %85 = load ptr, ptr %9, align 8, !tbaa !16
  %86 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %85, i64 %76
  %87 = getelementptr inbounds i8, ptr %86, i64 8
  %88 = load ptr, ptr %87, align 8, !tbaa !17
  %89 = getelementptr inbounds i8, ptr %86, i64 16
  %90 = load ptr, ptr %89, align 8, !tbaa !22
  tail call void %88(ptr noundef %90, i32 noundef %1, i32 noundef %32, i32 noundef %67) #5
  %91 = tail call i32 @i32_load(ptr noundef nonnull %3, i64 noundef %33)
  %92 = tail call i32 @i32_load(ptr noundef nonnull %3, i64 noundef %31)
  %.not203 = icmp eq i32 %91, %92
  br i1 %.not203, label %93, label %104

93:                                               ; preds = %84, %64
  %.0 = phi i32 [ %91, %84 ], [ %32, %64 ]
  %94 = add i32 %1, 4
  %.not204 = icmp eq i32 %.0, 0
  br i1 %.not204, label %99, label %95

95:                                               ; preds = %93
  %96 = add nuw nsw i64 %4, 16
  %97 = tail call i32 @i32_load(ptr noundef nonnull %3, i64 noundef %96)
  %.not205 = icmp eq i32 %97, 1
  br i1 %.not205, label %98, label %99

98:                                               ; preds = %95
  tail call void @w2c_hermes_operator0x20delete0x5B0x5D0x28void0x2A0x29(ptr noundef nonnull %0, i32 noundef %.0)
  br label %99

99:                                               ; preds = %95, %93, %98
  %100 = zext i32 %94 to i64
  tail call void @i64_store(ptr noundef nonnull %3, i64 noundef %100, i64 noundef 0)
  %101 = add nuw nsw i64 %100, 8
  tail call void @i64_store(ptr noundef nonnull %3, i64 noundef %101, i64 noundef 0)
  br label %105

102:                                              ; preds = %36
  tail call void @w2c_hermes_0x5F_assert_fail(ptr noundef nonnull %0, i32 noundef 188470, i32 noundef 59150, i32 noundef 198, i32 noundef 17252) #5
  tail call void @wasm_rt_trap(i32 noundef 5) #4
  unreachable

103:                                              ; preds = %65
  tail call void @w2c_hermes_0x5F_assert_fail(ptr noundef nonnull %0, i32 noundef 188470, i32 noundef 59150, i32 noundef 198, i32 noundef 17252) #5
  tail call void @wasm_rt_trap(i32 noundef 5) #4
  unreachable

104:                                              ; preds = %84
  tail call void @w2c_hermes_0x5F_assert_fail(ptr noundef nonnull %0, i32 noundef 202569, i32 noundef 59150, i32 noundef 100, i32 noundef 101050) #5
  tail call void @wasm_rt_trap(i32 noundef 5) #4
  unreachable

105:                                              ; preds = %99, %62
  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 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #4 = { noreturn nounwind }
attributes #5 = { nounwind }

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

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


; Effective O3 passes: CorrelatedValuePropagationPass,EarlyCSEPass,GVNPass,GlobalOptPass,IPSCCPPass,InferFunctionAttrsPass,InstCombinePass,LowerExpectIntrinsicPass,SROAPass,SimplifyCFGPass,TailCallElimPass