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

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

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

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

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

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

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

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

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

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

declare i32 @w2c_hermes_operator0x20new0x28unsigned0x20long0x29(ptr noundef, i32 noundef) #4

declare void @w2c_hermes_operator0x20delete0x28void0x2A0x29(ptr noundef, i32 noundef) #4

declare i32 @w2c_hermes_memmove(ptr noundef, i32 noundef, i32 noundef, i32 noundef) #4

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

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

45:                                               ; No predecessors!
  br label %68

46:                                               ; preds = %2
  %47 = load i32, ptr %11, align 4, !tbaa !9
  %48 = icmp eq i32 %47, -2147483648
  br i1 %48, label %49, label %52

49:                                               ; preds = %46
  %50 = load i32, ptr %12, align 4, !tbaa !9
  %51 = icmp eq i32 %50, -1
  br label %52

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

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

61:                                               ; No predecessors!
  br label %66

62:                                               ; preds = %52
  %63 = load i32, ptr %11, align 4, !tbaa !9
  %64 = load i32, ptr %12, align 4, !tbaa !9
  %65 = sdiv i32 %63, %64
  br label %66

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

68:                                               ; preds = %66, %45
  %69 = phi i32 [ 0, %45 ], [ %67, %66 ]
  store i32 %69, ptr %11, align 4, !tbaa !9
  %70 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %70, ptr %12, align 4, !tbaa !9
  %71 = load ptr, ptr %3, align 8, !tbaa !5
  %72 = getelementptr inbounds %struct.w2c_hermes, ptr %71, i32 0, i32 6
  %73 = load i32, ptr %12, align 4, !tbaa !9
  %74 = zext i32 %73 to i64
  %75 = add i64 %74, 8
  %76 = call i32 @i32_load(ptr noundef %72, i64 noundef %75)
  store i32 %76, ptr %12, align 4, !tbaa !9
  %77 = load i32, ptr %12, align 4, !tbaa !9
  store i32 %77, ptr %7, align 4, !tbaa !9
  %78 = load i32, ptr %8, align 4, !tbaa !9
  store i32 %78, ptr %13, align 4, !tbaa !9
  %79 = load i32, ptr %13, align 4, !tbaa !9
  %80 = load i32, ptr %12, align 4, !tbaa !9
  %81 = sub i32 %80, %79
  store i32 %81, ptr %12, align 4, !tbaa !9
  store i32 12, ptr %13, align 4, !tbaa !9
  %82 = load i32, ptr %13, align 4, !tbaa !9
  %83 = icmp eq i32 %82, 0
  %84 = xor i1 %83, true
  %85 = xor i1 %84, true
  %86 = zext i1 %85 to i32
  %87 = sext i32 %86 to i64
  %88 = call i64 @llvm.expect.i64(i64 %87, i64 0)
  %89 = icmp ne i64 %88, 0
  br i1 %89, label %90, label %92

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

91:                                               ; No predecessors!
  br label %114

92:                                               ; preds = %68
  %93 = load i32, ptr %12, align 4, !tbaa !9
  %94 = icmp eq i32 %93, -2147483648
  br i1 %94, label %95, label %98

95:                                               ; preds = %92
  %96 = load i32, ptr %13, align 4, !tbaa !9
  %97 = icmp eq i32 %96, -1
  br label %98

98:                                               ; preds = %95, %92
  %99 = phi i1 [ false, %92 ], [ %97, %95 ]
  %100 = xor i1 %99, true
  %101 = xor i1 %100, true
  %102 = zext i1 %101 to i32
  %103 = sext i32 %102 to i64
  %104 = call i64 @llvm.expect.i64(i64 %103, i64 0)
  %105 = icmp ne i64 %104, 0
  br i1 %105, label %106, label %108

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

107:                                              ; No predecessors!
  br label %112

108:                                              ; preds = %98
  %109 = load i32, ptr %12, align 4, !tbaa !9
  %110 = load i32, ptr %13, align 4, !tbaa !9
  %111 = sdiv i32 %109, %110
  br label %112

112:                                              ; preds = %108, %107
  %113 = phi i32 [ 0, %107 ], [ %111, %108 ]
  br label %114

114:                                              ; preds = %112, %91
  %115 = phi i32 [ 0, %91 ], [ %113, %112 ]
  store i32 %115, ptr %12, align 4, !tbaa !9
  %116 = load i32, ptr %12, align 4, !tbaa !9
  store i32 %116, ptr %6, align 4, !tbaa !9
  %117 = load i32, ptr %11, align 4, !tbaa !9
  %118 = load i32, ptr %12, align 4, !tbaa !9
  %119 = icmp ne i32 %117, %118
  %120 = zext i1 %119 to i32
  store i32 %120, ptr %11, align 4, !tbaa !9
  %121 = load i32, ptr %11, align 4, !tbaa !9
  %122 = icmp ne i32 %121, 0
  br i1 %122, label %123, label %124

123:                                              ; preds = %114
  br label %275

124:                                              ; preds = %114
  %125 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %125, ptr %11, align 4, !tbaa !9
  %126 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %126, ptr %12, align 4, !tbaa !9
  store i32 2, ptr %13, align 4, !tbaa !9
  %127 = load i32, ptr %13, align 4, !tbaa !9
  %128 = and i32 %127, 31
  %129 = load i32, ptr %12, align 4, !tbaa !9
  %130 = lshr i32 %129, %128
  store i32 %130, ptr %12, align 4, !tbaa !9
  %131 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %131, ptr %13, align 4, !tbaa !9
  %132 = load i32, ptr %13, align 4, !tbaa !9
  %133 = load i32, ptr %12, align 4, !tbaa !9
  %134 = add i32 %133, %132
  store i32 %134, ptr %12, align 4, !tbaa !9
  %135 = load i32, ptr %12, align 4, !tbaa !9
  store i32 %135, ptr %9, align 4, !tbaa !9
  %136 = load i32, ptr %11, align 4, !tbaa !9
  %137 = load i32, ptr %12, align 4, !tbaa !9
  %138 = icmp uge i32 %136, %137
  %139 = zext i1 %138 to i32
  store i32 %139, ptr %11, align 4, !tbaa !9
  %140 = load i32, ptr %11, align 4, !tbaa !9
  %141 = icmp ne i32 %140, 0
  br i1 %141, label %142, label %143

142:                                              ; preds = %124
  br label %275

143:                                              ; preds = %124
  %144 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %144, ptr %11, align 4, !tbaa !9
  store i32 357913942, ptr %12, align 4, !tbaa !9
  %145 = load i32, ptr %11, align 4, !tbaa !9
  %146 = load i32, ptr %12, align 4, !tbaa !9
  %147 = icmp uge i32 %145, %146
  %148 = zext i1 %147 to i32
  store i32 %148, ptr %11, align 4, !tbaa !9
  %149 = load i32, ptr %11, align 4, !tbaa !9
  %150 = icmp ne i32 %149, 0
  br i1 %150, label %151, label %152

151:                                              ; preds = %143
  br label %585

152:                                              ; preds = %143
  %153 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %153, ptr %11, align 4, !tbaa !9
  store i32 12, ptr %12, align 4, !tbaa !9
  %154 = load i32, ptr %12, align 4, !tbaa !9
  %155 = load i32, ptr %11, align 4, !tbaa !9
  %156 = mul i32 %155, %154
  store i32 %156, ptr %11, align 4, !tbaa !9
  %157 = load i32, ptr %11, align 4, !tbaa !9
  store i32 %157, ptr %7, align 4, !tbaa !9
  %158 = load ptr, ptr %3, align 8, !tbaa !5
  %159 = load i32, ptr %11, align 4, !tbaa !9
  %160 = call i32 @w2c_hermes_operator0x20new0x28unsigned0x20long0x29(ptr noundef %158, i32 noundef %159)
  store i32 %160, ptr %11, align 4, !tbaa !9
  %161 = load i32, ptr %11, align 4, !tbaa !9
  store i32 %161, ptr %9, align 4, !tbaa !9
  %162 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %162, ptr %12, align 4, !tbaa !9
  store i32 12, ptr %13, align 4, !tbaa !9
  %163 = load i32, ptr %13, align 4, !tbaa !9
  %164 = load i32, ptr %12, align 4, !tbaa !9
  %165 = mul i32 %164, %163
  store i32 %165, ptr %12, align 4, !tbaa !9
  %166 = load i32, ptr %12, align 4, !tbaa !9
  %167 = load i32, ptr %11, align 4, !tbaa !9
  %168 = add i32 %167, %166
  store i32 %168, ptr %11, align 4, !tbaa !9
  %169 = load i32, ptr %11, align 4, !tbaa !9
  store i32 %169, ptr %5, align 4, !tbaa !9
  %170 = load i32, ptr %10, align 4, !tbaa !9
  store i32 %170, ptr %12, align 4, !tbaa !9
  store i32 -12, ptr %13, align 4, !tbaa !9
  %171 = load i32, ptr %13, align 4, !tbaa !9
  %172 = icmp eq i32 %171, 0
  %173 = xor i1 %172, true
  %174 = xor i1 %173, true
  %175 = zext i1 %174 to i32
  %176 = sext i32 %175 to i64
  %177 = call i64 @llvm.expect.i64(i64 %176, i64 0)
  %178 = icmp ne i64 %177, 0
  br i1 %178, label %179, label %181

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

180:                                              ; No predecessors!
  br label %203

181:                                              ; preds = %152
  %182 = load i32, ptr %12, align 4, !tbaa !9
  %183 = icmp eq i32 %182, -2147483648
  br i1 %183, label %184, label %187

184:                                              ; preds = %181
  %185 = load i32, ptr %13, align 4, !tbaa !9
  %186 = icmp eq i32 %185, -1
  br label %187

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

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

196:                                              ; No predecessors!
  br label %201

197:                                              ; preds = %187
  %198 = load i32, ptr %12, align 4, !tbaa !9
  %199 = load i32, ptr %13, align 4, !tbaa !9
  %200 = sdiv i32 %198, %199
  br label %201

201:                                              ; preds = %197, %196
  %202 = phi i32 [ 0, %196 ], [ %200, %197 ]
  br label %203

203:                                              ; preds = %201, %180
  %204 = phi i32 [ 0, %180 ], [ %202, %201 ]
  store i32 %204, ptr %12, align 4, !tbaa !9
  store i32 12, ptr %13, align 4, !tbaa !9
  %205 = load i32, ptr %13, align 4, !tbaa !9
  %206 = load i32, ptr %12, align 4, !tbaa !9
  %207 = mul i32 %206, %205
  store i32 %207, ptr %12, align 4, !tbaa !9
  %208 = load i32, ptr %12, align 4, !tbaa !9
  %209 = load i32, ptr %11, align 4, !tbaa !9
  %210 = add i32 %209, %208
  store i32 %210, ptr %11, align 4, !tbaa !9
  %211 = load i32, ptr %8, align 4, !tbaa !9
  store i32 %211, ptr %12, align 4, !tbaa !9
  %212 = load i32, ptr %10, align 4, !tbaa !9
  store i32 %212, ptr %13, align 4, !tbaa !9
  %213 = load ptr, ptr %3, align 8, !tbaa !5
  %214 = load i32, ptr %11, align 4, !tbaa !9
  %215 = load i32, ptr %12, align 4, !tbaa !9
  %216 = load i32, ptr %13, align 4, !tbaa !9
  %217 = call i32 @w2c_hermes_memmove(ptr noundef %213, i32 noundef %214, i32 noundef %215, i32 noundef %216)
  store i32 %217, ptr %11, align 4, !tbaa !9
  %218 = load i32, ptr %11, align 4, !tbaa !9
  store i32 %218, ptr %6, align 4, !tbaa !9
  %219 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %219, ptr %11, align 4, !tbaa !9
  %220 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %220, ptr %12, align 4, !tbaa !9
  %221 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %221, ptr %13, align 4, !tbaa !9
  %222 = load i32, ptr %13, align 4, !tbaa !9
  %223 = load i32, ptr %12, align 4, !tbaa !9
  %224 = add i32 %223, %222
  store i32 %224, ptr %12, align 4, !tbaa !9
  %225 = load i32, ptr %12, align 4, !tbaa !9
  store i32 %225, ptr %7, align 4, !tbaa !9
  %226 = load ptr, ptr %3, align 8, !tbaa !5
  %227 = getelementptr inbounds %struct.w2c_hermes, ptr %226, i32 0, i32 6
  %228 = load i32, ptr %11, align 4, !tbaa !9
  %229 = zext i32 %228 to i64
  %230 = add i64 %229, 8
  %231 = load i32, ptr %12, align 4, !tbaa !9
  call void @i32_store(ptr noundef %227, i64 noundef %230, i32 noundef %231)
  %232 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %232, ptr %11, align 4, !tbaa !9
  %233 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %233, ptr %12, align 4, !tbaa !9
  %234 = load ptr, ptr %3, align 8, !tbaa !5
  %235 = getelementptr inbounds %struct.w2c_hermes, ptr %234, i32 0, i32 6
  %236 = load i32, ptr %11, align 4, !tbaa !9
  %237 = zext i32 %236 to i64
  %238 = add i64 %237, 4
  %239 = load i32, ptr %12, align 4, !tbaa !9
  call void @i32_store(ptr noundef %235, i64 noundef %238, i32 noundef %239)
  %240 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %240, ptr %11, align 4, !tbaa !9
  %241 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %241, ptr %12, align 4, !tbaa !9
  %242 = load ptr, ptr %3, align 8, !tbaa !5
  %243 = getelementptr inbounds %struct.w2c_hermes, ptr %242, i32 0, i32 6
  %244 = load i32, ptr %11, align 4, !tbaa !9
  %245 = zext i32 %244 to i64
  %246 = load i32, ptr %12, align 4, !tbaa !9
  call void @i32_store(ptr noundef %243, i64 noundef %245, i32 noundef %246)
  %247 = load i32, ptr %8, align 4, !tbaa !9
  store i32 %247, ptr %11, align 4, !tbaa !9
  %248 = load i32, ptr %11, align 4, !tbaa !9
  %249 = icmp ne i32 %248, 0
  %250 = xor i1 %249, true
  %251 = zext i1 %250 to i32
  store i32 %251, ptr %11, align 4, !tbaa !9
  %252 = load i32, ptr %11, align 4, !tbaa !9
  %253 = icmp ne i32 %252, 0
  br i1 %253, label %254, label %255

254:                                              ; preds = %203
  br label %275

255:                                              ; preds = %203
  %256 = load i32, ptr %8, align 4, !tbaa !9
  store i32 %256, ptr %11, align 4, !tbaa !9
  %257 = load ptr, ptr %3, align 8, !tbaa !5
  %258 = load i32, ptr %11, align 4, !tbaa !9
  call void @w2c_hermes_operator0x20delete0x28void0x2A0x29(ptr noundef %257, i32 noundef %258)
  %259 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %259, ptr %11, align 4, !tbaa !9
  %260 = load ptr, ptr %3, align 8, !tbaa !5
  %261 = getelementptr inbounds %struct.w2c_hermes, ptr %260, i32 0, i32 6
  %262 = load i32, ptr %11, align 4, !tbaa !9
  %263 = zext i32 %262 to i64
  %264 = add i64 %263, 8
  %265 = call i32 @i32_load(ptr noundef %261, i64 noundef %264)
  store i32 %265, ptr %11, align 4, !tbaa !9
  %266 = load i32, ptr %11, align 4, !tbaa !9
  store i32 %266, ptr %7, align 4, !tbaa !9
  %267 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %267, ptr %11, align 4, !tbaa !9
  %268 = load ptr, ptr %3, align 8, !tbaa !5
  %269 = getelementptr inbounds %struct.w2c_hermes, ptr %268, i32 0, i32 6
  %270 = load i32, ptr %11, align 4, !tbaa !9
  %271 = zext i32 %270 to i64
  %272 = add i64 %271, 4
  %273 = call i32 @i32_load(ptr noundef %269, i64 noundef %272)
  store i32 %273, ptr %11, align 4, !tbaa !9
  %274 = load i32, ptr %11, align 4, !tbaa !9
  store i32 %274, ptr %5, align 4, !tbaa !9
  br label %275

275:                                              ; preds = %255, %254, %142, %123
  %276 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %276, ptr %11, align 4, !tbaa !9
  %277 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %277, ptr %12, align 4, !tbaa !9
  %278 = load i32, ptr %11, align 4, !tbaa !9
  %279 = load i32, ptr %12, align 4, !tbaa !9
  %280 = icmp ult i32 %278, %279
  %281 = zext i1 %280 to i32
  store i32 %281, ptr %11, align 4, !tbaa !9
  %282 = load i32, ptr %11, align 4, !tbaa !9
  %283 = icmp ne i32 %282, 0
  br i1 %283, label %284, label %326

284:                                              ; preds = %275
  %285 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %285, ptr %11, align 4, !tbaa !9
  store i32 0, ptr %12, align 4, !tbaa !9
  %286 = load ptr, ptr %3, align 8, !tbaa !5
  %287 = getelementptr inbounds %struct.w2c_hermes, ptr %286, i32 0, i32 6
  %288 = load i32, ptr %11, align 4, !tbaa !9
  %289 = zext i32 %288 to i64
  %290 = load i32, ptr %12, align 4, !tbaa !9
  call void @i32_store(ptr noundef %287, i64 noundef %289, i32 noundef %290)
  %291 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %291, ptr %11, align 4, !tbaa !9
  store i32 0, ptr %12, align 4, !tbaa !9
  %292 = load ptr, ptr %3, align 8, !tbaa !5
  %293 = getelementptr inbounds %struct.w2c_hermes, ptr %292, i32 0, i32 6
  %294 = load i32, ptr %11, align 4, !tbaa !9
  %295 = zext i32 %294 to i64
  %296 = add i64 %295, 8
  %297 = load i32, ptr %12, align 4, !tbaa !9
  call void @i32_store(ptr noundef %293, i64 noundef %296, i32 noundef %297)
  %298 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %298, ptr %11, align 4, !tbaa !9
  %299 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %299, ptr %12, align 4, !tbaa !9
  %300 = load ptr, ptr %3, align 8, !tbaa !5
  %301 = getelementptr inbounds %struct.w2c_hermes, ptr %300, i32 0, i32 6
  %302 = load i32, ptr %12, align 4, !tbaa !9
  %303 = zext i32 %302 to i64
  %304 = add i64 %303, 4
  %305 = call i32 @i32_load(ptr noundef %301, i64 noundef %304)
  store i32 %305, ptr %12, align 4, !tbaa !9
  store i32 -4, ptr %13, align 4, !tbaa !9
  %306 = load i32, ptr %13, align 4, !tbaa !9
  %307 = load i32, ptr %12, align 4, !tbaa !9
  %308 = or i32 %307, %306
  store i32 %308, ptr %12, align 4, !tbaa !9
  %309 = load ptr, ptr %3, align 8, !tbaa !5
  %310 = getelementptr inbounds %struct.w2c_hermes, ptr %309, i32 0, i32 6
  %311 = load i32, ptr %11, align 4, !tbaa !9
  %312 = zext i32 %311 to i64
  %313 = add i64 %312, 4
  %314 = load i32, ptr %12, align 4, !tbaa !9
  call void @i32_store(ptr noundef %310, i64 noundef %313, i32 noundef %314)
  %315 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %315, ptr %11, align 4, !tbaa !9
  %316 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %316, ptr %12, align 4, !tbaa !9
  store i32 12, ptr %13, align 4, !tbaa !9
  %317 = load i32, ptr %13, align 4, !tbaa !9
  %318 = load i32, ptr %12, align 4, !tbaa !9
  %319 = add i32 %318, %317
  store i32 %319, ptr %12, align 4, !tbaa !9
  %320 = load ptr, ptr %3, align 8, !tbaa !5
  %321 = getelementptr inbounds %struct.w2c_hermes, ptr %320, i32 0, i32 6
  %322 = load i32, ptr %11, align 4, !tbaa !9
  %323 = zext i32 %322 to i64
  %324 = add i64 %323, 4
  %325 = load i32, ptr %12, align 4, !tbaa !9
  call void @i32_store(ptr noundef %321, i64 noundef %324, i32 noundef %325)
  br label %589

326:                                              ; preds = %275
  %327 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %327, ptr %11, align 4, !tbaa !9
  %328 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %328, ptr %12, align 4, !tbaa !9
  %329 = load ptr, ptr %3, align 8, !tbaa !5
  %330 = getelementptr inbounds %struct.w2c_hermes, ptr %329, i32 0, i32 6
  %331 = load i32, ptr %12, align 4, !tbaa !9
  %332 = zext i32 %331 to i64
  %333 = call i32 @i32_load(ptr noundef %330, i64 noundef %332)
  store i32 %333, ptr %12, align 4, !tbaa !9
  %334 = load i32, ptr %12, align 4, !tbaa !9
  store i32 %334, ptr %6, align 4, !tbaa !9
  %335 = load i32, ptr %12, align 4, !tbaa !9
  %336 = load i32, ptr %11, align 4, !tbaa !9
  %337 = sub i32 %336, %335
  store i32 %337, ptr %11, align 4, !tbaa !9
  %338 = load i32, ptr %11, align 4, !tbaa !9
  store i32 %338, ptr %8, align 4, !tbaa !9
  store i32 12, ptr %12, align 4, !tbaa !9
  %339 = load i32, ptr %12, align 4, !tbaa !9
  %340 = icmp eq i32 %339, 0
  %341 = xor i1 %340, true
  %342 = xor i1 %341, true
  %343 = zext i1 %342 to i32
  %344 = sext i32 %343 to i64
  %345 = call i64 @llvm.expect.i64(i64 %344, i64 0)
  %346 = icmp ne i64 %345, 0
  br i1 %346, label %347, label %349

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

348:                                              ; No predecessors!
  br label %371

349:                                              ; preds = %326
  %350 = load i32, ptr %11, align 4, !tbaa !9
  %351 = icmp eq i32 %350, -2147483648
  br i1 %351, label %352, label %355

352:                                              ; preds = %349
  %353 = load i32, ptr %12, align 4, !tbaa !9
  %354 = icmp eq i32 %353, -1
  br label %355

355:                                              ; preds = %352, %349
  %356 = phi i1 [ false, %349 ], [ %354, %352 ]
  %357 = xor i1 %356, true
  %358 = xor i1 %357, true
  %359 = zext i1 %358 to i32
  %360 = sext i32 %359 to i64
  %361 = call i64 @llvm.expect.i64(i64 %360, i64 0)
  %362 = icmp ne i64 %361, 0
  br i1 %362, label %363, label %365

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

364:                                              ; No predecessors!
  br label %369

365:                                              ; preds = %355
  %366 = load i32, ptr %11, align 4, !tbaa !9
  %367 = load i32, ptr %12, align 4, !tbaa !9
  %368 = sdiv i32 %366, %367
  br label %369

369:                                              ; preds = %365, %364
  %370 = phi i32 [ 0, %364 ], [ %368, %365 ]
  br label %371

371:                                              ; preds = %369, %348
  %372 = phi i32 [ 0, %348 ], [ %370, %369 ]
  store i32 %372, ptr %11, align 4, !tbaa !9
  %373 = load i32, ptr %11, align 4, !tbaa !9
  store i32 %373, ptr %10, align 4, !tbaa !9
  store i32 1, ptr %12, align 4, !tbaa !9
  %374 = load i32, ptr %12, align 4, !tbaa !9
  %375 = load i32, ptr %11, align 4, !tbaa !9
  %376 = add i32 %375, %374
  store i32 %376, ptr %11, align 4, !tbaa !9
  %377 = load i32, ptr %11, align 4, !tbaa !9
  store i32 %377, ptr %5, align 4, !tbaa !9
  store i32 357913942, ptr %12, align 4, !tbaa !9
  %378 = load i32, ptr %11, align 4, !tbaa !9
  %379 = load i32, ptr %12, align 4, !tbaa !9
  %380 = icmp uge i32 %378, %379
  %381 = zext i1 %380 to i32
  store i32 %381, ptr %11, align 4, !tbaa !9
  %382 = load i32, ptr %11, align 4, !tbaa !9
  %383 = icmp ne i32 %382, 0
  br i1 %383, label %384, label %385

384:                                              ; preds = %371
  br label %585

385:                                              ; preds = %371
  store i32 357913941, ptr %11, align 4, !tbaa !9
  %386 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %386, ptr %12, align 4, !tbaa !9
  %387 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %387, ptr %13, align 4, !tbaa !9
  %388 = load i32, ptr %13, align 4, !tbaa !9
  %389 = load i32, ptr %12, align 4, !tbaa !9
  %390 = sub i32 %389, %388
  store i32 %390, ptr %12, align 4, !tbaa !9
  store i32 12, ptr %13, align 4, !tbaa !9
  %391 = load i32, ptr %13, align 4, !tbaa !9
  %392 = icmp eq i32 %391, 0
  %393 = xor i1 %392, true
  %394 = xor i1 %393, true
  %395 = zext i1 %394 to i32
  %396 = sext i32 %395 to i64
  %397 = call i64 @llvm.expect.i64(i64 %396, i64 0)
  %398 = icmp ne i64 %397, 0
  br i1 %398, label %399, label %401

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

400:                                              ; No predecessors!
  br label %423

401:                                              ; preds = %385
  %402 = load i32, ptr %12, align 4, !tbaa !9
  %403 = icmp eq i32 %402, -2147483648
  br i1 %403, label %404, label %407

404:                                              ; preds = %401
  %405 = load i32, ptr %13, align 4, !tbaa !9
  %406 = icmp eq i32 %405, -1
  br label %407

407:                                              ; preds = %404, %401
  %408 = phi i1 [ false, %401 ], [ %406, %404 ]
  %409 = xor i1 %408, true
  %410 = xor i1 %409, true
  %411 = zext i1 %410 to i32
  %412 = sext i32 %411 to i64
  %413 = call i64 @llvm.expect.i64(i64 %412, i64 0)
  %414 = icmp ne i64 %413, 0
  br i1 %414, label %415, label %417

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

416:                                              ; No predecessors!
  br label %421

417:                                              ; preds = %407
  %418 = load i32, ptr %12, align 4, !tbaa !9
  %419 = load i32, ptr %13, align 4, !tbaa !9
  %420 = sdiv i32 %418, %419
  br label %421

421:                                              ; preds = %417, %416
  %422 = phi i32 [ 0, %416 ], [ %420, %417 ]
  br label %423

423:                                              ; preds = %421, %400
  %424 = phi i32 [ 0, %400 ], [ %422, %421 ]
  store i32 %424, ptr %12, align 4, !tbaa !9
  %425 = load i32, ptr %12, align 4, !tbaa !9
  store i32 %425, ptr %7, align 4, !tbaa !9
  store i32 1, ptr %13, align 4, !tbaa !9
  %426 = load i32, ptr %13, align 4, !tbaa !9
  %427 = and i32 %426, 31
  %428 = load i32, ptr %12, align 4, !tbaa !9
  %429 = shl i32 %428, %427
  store i32 %429, ptr %12, align 4, !tbaa !9
  %430 = load i32, ptr %12, align 4, !tbaa !9
  store i32 %430, ptr %9, align 4, !tbaa !9
  %431 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %431, ptr %13, align 4, !tbaa !9
  %432 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %432, ptr %14, align 4, !tbaa !9
  %433 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %433, ptr %15, align 4, !tbaa !9
  %434 = load i32, ptr %14, align 4, !tbaa !9
  %435 = load i32, ptr %15, align 4, !tbaa !9
  %436 = icmp ult i32 %434, %435
  %437 = zext i1 %436 to i32
  store i32 %437, ptr %14, align 4, !tbaa !9
  %438 = load i32, ptr %14, align 4, !tbaa !9
  %439 = icmp ne i32 %438, 0
  br i1 %439, label %440, label %442

440:                                              ; preds = %423
  %441 = load i32, ptr %12, align 4, !tbaa !9
  br label %444

442:                                              ; preds = %423
  %443 = load i32, ptr %13, align 4, !tbaa !9
  br label %444

444:                                              ; preds = %442, %440
  %445 = phi i32 [ %441, %440 ], [ %443, %442 ]
  store i32 %445, ptr %12, align 4, !tbaa !9
  %446 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %446, ptr %13, align 4, !tbaa !9
  store i32 178956970, ptr %14, align 4, !tbaa !9
  %447 = load i32, ptr %13, align 4, !tbaa !9
  %448 = load i32, ptr %14, align 4, !tbaa !9
  %449 = icmp uge i32 %447, %448
  %450 = zext i1 %449 to i32
  store i32 %450, ptr %13, align 4, !tbaa !9
  %451 = load i32, ptr %13, align 4, !tbaa !9
  %452 = icmp ne i32 %451, 0
  br i1 %452, label %453, label %455

453:                                              ; preds = %444
  %454 = load i32, ptr %11, align 4, !tbaa !9
  br label %457

455:                                              ; preds = %444
  %456 = load i32, ptr %12, align 4, !tbaa !9
  br label %457

457:                                              ; preds = %455, %453
  %458 = phi i32 [ %454, %453 ], [ %456, %455 ]
  store i32 %458, ptr %11, align 4, !tbaa !9
  %459 = load i32, ptr %11, align 4, !tbaa !9
  store i32 %459, ptr %5, align 4, !tbaa !9
  store i32 357913942, ptr %12, align 4, !tbaa !9
  %460 = load i32, ptr %11, align 4, !tbaa !9
  %461 = load i32, ptr %12, align 4, !tbaa !9
  %462 = icmp uge i32 %460, %461
  %463 = zext i1 %462 to i32
  store i32 %463, ptr %11, align 4, !tbaa !9
  %464 = load i32, ptr %11, align 4, !tbaa !9
  %465 = icmp ne i32 %464, 0
  br i1 %465, label %466, label %467

466:                                              ; preds = %457
  br label %587

467:                                              ; preds = %457
  %468 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %468, ptr %11, align 4, !tbaa !9
  store i32 12, ptr %12, align 4, !tbaa !9
  %469 = load i32, ptr %12, align 4, !tbaa !9
  %470 = load i32, ptr %11, align 4, !tbaa !9
  %471 = mul i32 %470, %469
  store i32 %471, ptr %11, align 4, !tbaa !9
  %472 = load i32, ptr %11, align 4, !tbaa !9
  store i32 %472, ptr %7, align 4, !tbaa !9
  %473 = load ptr, ptr %3, align 8, !tbaa !5
  %474 = load i32, ptr %11, align 4, !tbaa !9
  %475 = call i32 @w2c_hermes_operator0x20new0x28unsigned0x20long0x29(ptr noundef %473, i32 noundef %474)
  store i32 %475, ptr %11, align 4, !tbaa !9
  %476 = load i32, ptr %11, align 4, !tbaa !9
  store i32 %476, ptr %9, align 4, !tbaa !9
  %477 = load i32, ptr %10, align 4, !tbaa !9
  store i32 %477, ptr %12, align 4, !tbaa !9
  store i32 12, ptr %13, align 4, !tbaa !9
  %478 = load i32, ptr %13, align 4, !tbaa !9
  %479 = load i32, ptr %12, align 4, !tbaa !9
  %480 = mul i32 %479, %478
  store i32 %480, ptr %12, align 4, !tbaa !9
  %481 = load i32, ptr %12, align 4, !tbaa !9
  %482 = load i32, ptr %11, align 4, !tbaa !9
  %483 = add i32 %482, %481
  store i32 %483, ptr %11, align 4, !tbaa !9
  %484 = load i32, ptr %11, align 4, !tbaa !9
  store i32 %484, ptr %5, align 4, !tbaa !9
  store i32 0, ptr %12, align 4, !tbaa !9
  %485 = load ptr, ptr %3, align 8, !tbaa !5
  %486 = getelementptr inbounds %struct.w2c_hermes, ptr %485, i32 0, i32 6
  %487 = load i32, ptr %11, align 4, !tbaa !9
  %488 = zext i32 %487 to i64
  %489 = add i64 %488, 8
  %490 = load i32, ptr %12, align 4, !tbaa !9
  call void @i32_store(ptr noundef %486, i64 noundef %489, i32 noundef %490)
  %491 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %491, ptr %11, align 4, !tbaa !9
  store i64 -4294967296, ptr %16, align 8, !tbaa !11
  %492 = load ptr, ptr %3, align 8, !tbaa !5
  %493 = getelementptr inbounds %struct.w2c_hermes, ptr %492, i32 0, i32 6
  %494 = load i32, ptr %11, align 4, !tbaa !9
  %495 = zext i32 %494 to i64
  %496 = load i64, ptr %16, align 8, !tbaa !11
  call void @i64_store(ptr noundef %493, i64 noundef %495, i64 noundef %496)
  %497 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %497, ptr %11, align 4, !tbaa !9
  %498 = load i32, ptr %8, align 4, !tbaa !9
  store i32 %498, ptr %12, align 4, !tbaa !9
  store i32 -12, ptr %13, align 4, !tbaa !9
  %499 = load i32, ptr %13, align 4, !tbaa !9
  %500 = icmp eq i32 %499, 0
  %501 = xor i1 %500, true
  %502 = xor i1 %501, true
  %503 = zext i1 %502 to i32
  %504 = sext i32 %503 to i64
  %505 = call i64 @llvm.expect.i64(i64 %504, i64 0)
  %506 = icmp ne i64 %505, 0
  br i1 %506, label %507, label %509

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

508:                                              ; No predecessors!
  br label %531

509:                                              ; preds = %467
  %510 = load i32, ptr %12, align 4, !tbaa !9
  %511 = icmp eq i32 %510, -2147483648
  br i1 %511, label %512, label %515

512:                                              ; preds = %509
  %513 = load i32, ptr %13, align 4, !tbaa !9
  %514 = icmp eq i32 %513, -1
  br label %515

515:                                              ; preds = %512, %509
  %516 = phi i1 [ false, %509 ], [ %514, %512 ]
  %517 = xor i1 %516, true
  %518 = xor i1 %517, true
  %519 = zext i1 %518 to i32
  %520 = sext i32 %519 to i64
  %521 = call i64 @llvm.expect.i64(i64 %520, i64 0)
  %522 = icmp ne i64 %521, 0
  br i1 %522, label %523, label %525

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

524:                                              ; No predecessors!
  br label %529

525:                                              ; preds = %515
  %526 = load i32, ptr %12, align 4, !tbaa !9
  %527 = load i32, ptr %13, align 4, !tbaa !9
  %528 = sdiv i32 %526, %527
  br label %529

529:                                              ; preds = %525, %524
  %530 = phi i32 [ 0, %524 ], [ %528, %525 ]
  br label %531

531:                                              ; preds = %529, %508
  %532 = phi i32 [ 0, %508 ], [ %530, %529 ]
  store i32 %532, ptr %12, align 4, !tbaa !9
  store i32 12, ptr %13, align 4, !tbaa !9
  %533 = load i32, ptr %13, align 4, !tbaa !9
  %534 = load i32, ptr %12, align 4, !tbaa !9
  %535 = mul i32 %534, %533
  store i32 %535, ptr %12, align 4, !tbaa !9
  %536 = load i32, ptr %12, align 4, !tbaa !9
  %537 = load i32, ptr %11, align 4, !tbaa !9
  %538 = add i32 %537, %536
  store i32 %538, ptr %11, align 4, !tbaa !9
  %539 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %539, ptr %12, align 4, !tbaa !9
  %540 = load i32, ptr %8, align 4, !tbaa !9
  store i32 %540, ptr %13, align 4, !tbaa !9
  %541 = load ptr, ptr %3, align 8, !tbaa !5
  %542 = load i32, ptr %11, align 4, !tbaa !9
  %543 = load i32, ptr %12, align 4, !tbaa !9
  %544 = load i32, ptr %13, align 4, !tbaa !9
  %545 = call i32 @w2c_hermes_memmove(ptr noundef %541, i32 noundef %542, i32 noundef %543, i32 noundef %544)
  store i32 %545, ptr %11, align 4, !tbaa !9
  %546 = load i32, ptr %11, align 4, !tbaa !9
  store i32 %546, ptr %8, align 4, !tbaa !9
  %547 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %547, ptr %11, align 4, !tbaa !9
  %548 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %548, ptr %12, align 4, !tbaa !9
  %549 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %549, ptr %13, align 4, !tbaa !9
  %550 = load i32, ptr %13, align 4, !tbaa !9
  %551 = load i32, ptr %12, align 4, !tbaa !9
  %552 = add i32 %551, %550
  store i32 %552, ptr %12, align 4, !tbaa !9
  %553 = load ptr, ptr %3, align 8, !tbaa !5
  %554 = getelementptr inbounds %struct.w2c_hermes, ptr %553, i32 0, i32 6
  %555 = load i32, ptr %11, align 4, !tbaa !9
  %556 = zext i32 %555 to i64
  %557 = add i64 %556, 8
  %558 = load i32, ptr %12, align 4, !tbaa !9
  call void @i32_store(ptr noundef %554, i64 noundef %557, i32 noundef %558)
  %559 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %559, ptr %11, align 4, !tbaa !9
  %560 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %560, ptr %12, align 4, !tbaa !9
  store i32 12, ptr %13, align 4, !tbaa !9
  %561 = load i32, ptr %13, align 4, !tbaa !9
  %562 = load i32, ptr %12, align 4, !tbaa !9
  %563 = add i32 %562, %561
  store i32 %563, ptr %12, align 4, !tbaa !9
  %564 = load ptr, ptr %3, align 8, !tbaa !5
  %565 = getelementptr inbounds %struct.w2c_hermes, ptr %564, i32 0, i32 6
  %566 = load i32, ptr %11, align 4, !tbaa !9
  %567 = zext i32 %566 to i64
  %568 = add i64 %567, 4
  %569 = load i32, ptr %12, align 4, !tbaa !9
  call void @i32_store(ptr noundef %565, i64 noundef %568, i32 noundef %569)
  %570 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %570, ptr %11, align 4, !tbaa !9
  %571 = load i32, ptr %8, align 4, !tbaa !9
  store i32 %571, ptr %12, align 4, !tbaa !9
  %572 = load ptr, ptr %3, align 8, !tbaa !5
  %573 = getelementptr inbounds %struct.w2c_hermes, ptr %572, i32 0, i32 6
  %574 = load i32, ptr %11, align 4, !tbaa !9
  %575 = zext i32 %574 to i64
  %576 = load i32, ptr %12, align 4, !tbaa !9
  call void @i32_store(ptr noundef %573, i64 noundef %575, i32 noundef %576)
  %577 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %577, ptr %11, align 4, !tbaa !9
  %578 = load i32, ptr %11, align 4, !tbaa !9
  %579 = icmp ne i32 %578, 0
  br i1 %579, label %580, label %584

580:                                              ; preds = %531
  %581 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %581, ptr %11, align 4, !tbaa !9
  %582 = load ptr, ptr %3, align 8, !tbaa !5
  %583 = load i32, ptr %11, align 4, !tbaa !9
  call void @w2c_hermes_operator0x20delete0x28void0x2A0x29(ptr noundef %582, i32 noundef %583)
  br label %584

584:                                              ; preds = %580, %531
  br label %589

585:                                              ; preds = %384, %151
  %586 = load ptr, ptr %3, align 8, !tbaa !5
  call void @w2c_hermes_abort(ptr noundef %586)
  call void @wasm_rt_trap(i32 noundef 5) #7
  unreachable

587:                                              ; preds = %466
  %588 = load ptr, ptr %3, align 8, !tbaa !5
  call void @w2c_hermes_std0x3A0x3A_0x5Fthrow_bad_array_new_length0x5Babi0x3Av150070x5D0x280x29(ptr noundef %588)
  call void @wasm_rt_trap(i32 noundef 5) #7
  unreachable

589:                                              ; preds = %584, %284
  call void @llvm.lifetime.end.p0(i64 8, 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
  call void @llvm.lifetime.end.p0(i64 4, ptr %6) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %5) #6
  ret void
}

declare void @w2c_hermes_abort(ptr noundef) #4

declare void @w2c_hermes_std0x3A0x3A_0x5Fthrow_bad_array_new_length0x5Babi0x3Av150070x5D0x280x29(ptr noundef) #4

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

; Function Attrs: noreturn
declare void @wasm_rt_trap(i32 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: inlinehint nounwind uwtable
declare hidden i32 @i32_load(ptr noundef, i64 noundef) local_unnamed_addr #1

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

declare i32 @w2c_hermes_operator0x20new0x28unsigned0x20long0x29(ptr noundef, i32 noundef) local_unnamed_addr #2

declare void @w2c_hermes_operator0x20delete0x28void0x2A0x29(ptr noundef, i32 noundef) local_unnamed_addr #2

declare i32 @w2c_hermes_memmove(ptr noundef, i32 noundef, i32 noundef, i32 noundef) local_unnamed_addr #2

; Function Attrs: nounwind uwtable
define dso_local void @w2c_hermes_hermes0x3A0x3Avm0x3A0x3AIdentifierTable0x3A0x3AConservativeVector0x3Chermes0x3A0x3Avm0x3A0x3AIdentifierTable0x3A0x3ALookupEntry0x3E0x3A0x3Aemplace_back0x280x29(ptr noundef %0, i32 noundef %1) local_unnamed_addr #3 {
  %3 = getelementptr inbounds i8, ptr %0, i64 40
  %4 = zext i32 %1 to i64
  %5 = add nuw nsw i64 %4, 4
  %6 = tail call i32 @i32_load(ptr noundef nonnull %3, i64 noundef %5)
  %7 = tail call i32 @i32_load(ptr noundef nonnull %3, i64 noundef %4)
  %8 = sub i32 %6, %7
  %.fr = freeze i32 %8
  %9 = sdiv i32 %.fr, 12
  %10 = srem i32 %.fr, 12
  %11 = add nuw nsw i64 %4, 8
  %12 = tail call i32 @i32_load(ptr noundef nonnull %3, i64 noundef %11)
  %13 = sub i32 %12, %7
  %14 = sdiv i32 %13, 12
  %.not = icmp eq i32 %9, %14
  br i1 %.not, label %15, label %32

15:                                               ; preds = %2
  %16 = lshr i32 %9, 2
  %17 = add nsw i32 %16, %9
  %.not260 = icmp ult i32 %9, %17
  br i1 %.not260, label %18, label %32

18:                                               ; preds = %15
  %19 = icmp ugt i32 %17, 357913941
  br i1 %19, label %69, label %20

20:                                               ; preds = %18
  %21 = mul nuw i32 %17, 12
  %22 = tail call i32 @w2c_hermes_operator0x20new0x28unsigned0x20long0x29(ptr noundef %0, i32 noundef %21) #5
  %23 = mul nsw i32 %9, 12
  %24 = add i32 %22, %23
  %25 = sub i32 %10, %.fr
  %26 = add i32 %25, %24
  %27 = tail call i32 @w2c_hermes_memmove(ptr noundef %0, i32 noundef %26, i32 noundef %7, i32 noundef %.fr) #5
  %28 = add i32 %22, %21
  tail call void @i32_store(ptr noundef nonnull %3, i64 noundef %11, i32 noundef %28)
  tail call void @i32_store(ptr noundef nonnull %3, i64 noundef %5, i32 noundef %24)
  tail call void @i32_store(ptr noundef nonnull %3, i64 noundef %4, i32 noundef %27)
  %.not261 = icmp eq i32 %7, 0
  br i1 %.not261, label %32, label %29

29:                                               ; preds = %20
  tail call void @w2c_hermes_operator0x20delete0x28void0x2A0x29(ptr noundef %0, i32 noundef %7) #5
  %30 = tail call i32 @i32_load(ptr noundef nonnull %3, i64 noundef %11)
  %31 = tail call i32 @i32_load(ptr noundef nonnull %3, i64 noundef %5)
  br label %32

32:                                               ; preds = %20, %15, %2, %29
  %.0254 = phi i32 [ %12, %2 ], [ %12, %15 ], [ %28, %20 ], [ %30, %29 ]
  %.0 = phi i32 [ %6, %2 ], [ %6, %15 ], [ %24, %20 ], [ %31, %29 ]
  %33 = icmp ult i32 %.0, %.0254
  br i1 %33, label %34, label %41

34:                                               ; preds = %32
  %35 = zext i32 %.0 to i64
  tail call void @i32_store(ptr noundef nonnull %3, i64 noundef %35, i32 noundef 0)
  %36 = add nuw nsw i64 %35, 8
  tail call void @i32_store(ptr noundef nonnull %3, i64 noundef %36, i32 noundef 0)
  %37 = add nuw nsw i64 %35, 4
  %38 = tail call i32 @i32_load(ptr noundef nonnull %3, i64 noundef %37)
  %39 = or i32 %38, -4
  tail call void @i32_store(ptr noundef nonnull %3, i64 noundef %37, i32 noundef %39)
  %40 = add i32 %.0, 12
  tail call void @i32_store(ptr noundef nonnull %3, i64 noundef %5, i32 noundef %40)
  br label %71

41:                                               ; preds = %32
  %42 = tail call i32 @i32_load(ptr noundef nonnull %3, i64 noundef %4)
  %43 = sub i32 %.0, %42
  %.fr262 = freeze i32 %43
  %44 = sdiv i32 %.fr262, 12
  %45 = srem i32 %.fr262, 12
  %46 = add nsw i32 %44, 1
  %47 = icmp ugt i32 %46, 357913941
  br i1 %47, label %69, label %48

48:                                               ; preds = %41
  %49 = sub i32 %.0254, %42
  %50 = sdiv i32 %49, 12
  %51 = shl nsw i32 %50, 1
  %52 = tail call i32 @llvm.umax.i32(i32 %46, i32 %51)
  %53 = icmp ugt i32 %50, 178956969
  %54 = select i1 %53, i32 357913941, i32 %52
  %55 = icmp ugt i32 %54, 357913941
  br i1 %55, label %70, label %56

56:                                               ; preds = %48
  %57 = mul nuw i32 %54, 12
  %58 = tail call i32 @w2c_hermes_operator0x20new0x28unsigned0x20long0x29(ptr noundef %0, i32 noundef %57) #5
  %59 = mul nsw i32 %44, 12
  %60 = add i32 %58, %59
  %61 = zext i32 %60 to i64
  %62 = add nuw nsw i64 %61, 8
  tail call void @i32_store(ptr noundef nonnull %3, i64 noundef %62, i32 noundef 0)
  tail call void @i64_store(ptr noundef nonnull %3, i64 noundef %61, i64 noundef -4294967296)
  %63 = sub i32 %45, %.fr262
  %64 = add i32 %63, %60
  %65 = tail call i32 @w2c_hermes_memmove(ptr noundef %0, i32 noundef %64, i32 noundef %42, i32 noundef %.fr262) #5
  %66 = add i32 %58, %57
  tail call void @i32_store(ptr noundef nonnull %3, i64 noundef %11, i32 noundef %66)
  %67 = add i32 %60, 12
  tail call void @i32_store(ptr noundef nonnull %3, i64 noundef %5, i32 noundef %67)
  tail call void @i32_store(ptr noundef nonnull %3, i64 noundef %4, i32 noundef %65)
  %.not263 = icmp eq i32 %42, 0
  br i1 %.not263, label %71, label %68

68:                                               ; preds = %56
  tail call void @w2c_hermes_operator0x20delete0x28void0x2A0x29(ptr noundef %0, i32 noundef %42) #5
  br label %71

69:                                               ; preds = %41, %18
  tail call void @w2c_hermes_abort(ptr noundef %0) #5
  tail call void @wasm_rt_trap(i32 noundef 5) #6
  unreachable

70:                                               ; preds = %48
  tail call void @w2c_hermes_std0x3A0x3A_0x5Fthrow_bad_array_new_length0x5Babi0x3Av150070x5D0x280x29(ptr noundef %0) #5
  tail call void @wasm_rt_trap(i32 noundef 5) #6
  unreachable

71:                                               ; preds = %56, %68, %34
  ret void
}

declare void @w2c_hermes_abort(ptr noundef) local_unnamed_addr #2

declare void @w2c_hermes_std0x3A0x3A_0x5Fthrow_bad_array_new_length0x5Babi0x3Av150070x5D0x280x29(ptr noundef) local_unnamed_addr #2

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

attributes #0 = { 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 #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 = { "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 = { 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 #4 = { nocallback nofree nosync nounwind speculatable willreturn memory(none) }
attributes #5 = { nounwind }
attributes #6 = { noreturn 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)"}


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