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

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

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

@w2c_hermes_t3 = external constant ptr, align 8

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

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

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

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

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

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

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

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

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

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

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

; Function Attrs: nounwind uwtable
define dso_local void @w2c_hermes_hermes0x3A0x3AValue0x3A0x3Adestroy0x28hermes0x3A0x3AValue0x2A0x29(ptr noundef %0, i32 noundef %1) #3 {
  %3 = alloca ptr, align 8
  %4 = alloca i32, align 4
  %5 = alloca i32, align 4
  %6 = alloca i32, align 4
  %7 = alloca i32, align 4
  %8 = alloca i32, align 4
  %9 = alloca i32, align 4
  %10 = alloca i32, align 4
  %11 = alloca i32, align 4
  %12 = alloca i64, align 8
  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
  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 8, ptr %12) #6
  %13 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %13, ptr %9, align 4, !tbaa !9
  %14 = load i32, ptr %9, align 4, !tbaa !9
  %15 = icmp ne i32 %14, 0
  br i1 %15, label %16, label %1788

16:                                               ; preds = %2
  %17 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %17, ptr %9, 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 %9, align 4, !tbaa !9
  %21 = zext i32 %20 to i64
  %22 = call i32 @i32_load8_u(ptr noundef %19, i64 noundef %21)
  store i32 %22, ptr %9, align 4, !tbaa !9
  store i32 4, ptr %10, align 4, !tbaa !9
  %23 = load i32, ptr %10, align 4, !tbaa !9
  %24 = load i32, ptr %9, align 4, !tbaa !9
  %25 = sub i32 %24, %23
  store i32 %25, ptr %9, align 4, !tbaa !9
  %26 = load i32, ptr %9, align 4, !tbaa !9
  switch i32 %26, label %157 [
    i32 0, label %27
    i32 1, label %28
    i32 2, label %29
    i32 3, label %30
    i32 4, label %31
    i32 5, label %32
    i32 6, label %33
    i32 7, label %34
    i32 8, label %35
    i32 9, label %36
    i32 10, label %37
    i32 11, label %38
    i32 12, label %39
    i32 13, label %40
    i32 14, label %41
    i32 15, label %42
    i32 16, label %43
    i32 17, label %44
    i32 18, label %45
    i32 19, label %46
    i32 20, label %47
    i32 21, label %48
    i32 22, label %49
    i32 23, label %50
    i32 24, label %51
    i32 25, label %52
    i32 26, label %53
    i32 27, label %54
    i32 28, label %55
    i32 29, label %56
    i32 30, label %57
    i32 31, label %58
    i32 32, label %59
    i32 33, label %60
    i32 34, label %61
    i32 35, label %62
    i32 36, label %63
    i32 37, label %64
    i32 38, label %65
    i32 39, label %66
    i32 40, label %67
    i32 41, label %68
    i32 42, label %69
    i32 43, label %70
    i32 44, label %71
    i32 45, label %72
    i32 46, label %73
    i32 47, label %74
    i32 48, label %75
    i32 49, label %76
    i32 50, label %77
    i32 51, label %78
    i32 52, label %79
    i32 53, label %80
    i32 54, label %81
    i32 55, label %82
    i32 56, label %83
    i32 57, label %84
    i32 58, label %85
    i32 59, label %86
    i32 60, label %87
    i32 61, label %88
    i32 62, label %89
    i32 63, label %90
    i32 64, label %91
    i32 65, label %92
    i32 66, label %93
    i32 67, label %94
    i32 68, label %95
    i32 69, label %96
    i32 70, label %97
    i32 71, label %98
    i32 72, label %99
    i32 73, label %100
    i32 74, label %101
    i32 75, label %102
    i32 76, label %103
    i32 77, label %104
    i32 78, label %105
    i32 79, label %106
    i32 80, label %107
    i32 81, label %108
    i32 82, label %109
    i32 83, label %110
    i32 84, label %111
    i32 85, label %112
    i32 86, label %113
    i32 87, label %114
    i32 88, label %115
    i32 89, label %116
    i32 90, label %117
    i32 91, label %118
    i32 92, label %119
    i32 93, label %120
    i32 94, label %121
    i32 95, label %122
    i32 96, label %123
    i32 97, label %124
    i32 98, label %125
    i32 99, label %126
    i32 100, label %127
    i32 101, label %128
    i32 102, label %129
    i32 103, label %130
    i32 104, label %131
    i32 105, label %132
    i32 106, label %133
    i32 107, label %134
    i32 108, label %135
    i32 109, label %136
    i32 110, label %137
    i32 111, label %138
    i32 112, label %139
    i32 113, label %140
    i32 114, label %141
    i32 115, label %142
    i32 116, label %143
    i32 117, label %144
    i32 118, label %145
    i32 119, label %146
    i32 120, label %147
    i32 121, label %148
    i32 122, label %149
    i32 123, label %150
    i32 124, label %151
    i32 125, label %152
    i32 126, label %153
    i32 127, label %154
    i32 128, label %155
    i32 129, label %156
  ]

27:                                               ; preds = %16
  br label %168

28:                                               ; preds = %16
  br label %158

29:                                               ; preds = %16
  br label %177

30:                                               ; preds = %16
  br label %186

31:                                               ; preds = %16
  br label %195

32:                                               ; preds = %16
  br label %204

33:                                               ; preds = %16
  br label %158

34:                                               ; preds = %16
  br label %213

35:                                               ; preds = %16
  br label %222

36:                                               ; preds = %16
  br label %231

37:                                               ; preds = %16
  br label %158

38:                                               ; preds = %16
  br label %158

39:                                               ; preds = %16
  br label %158

40:                                               ; preds = %16
  br label %240

41:                                               ; preds = %16
  br label %249

42:                                               ; preds = %16
  br label %258

43:                                               ; preds = %16
  br label %267

44:                                               ; preds = %16
  br label %276

45:                                               ; preds = %16
  br label %285

46:                                               ; preds = %16
  br label %294

47:                                               ; preds = %16
  br label %303

48:                                               ; preds = %16
  br label %312

49:                                               ; preds = %16
  br label %321

50:                                               ; preds = %16
  br label %330

51:                                               ; preds = %16
  br label %339

52:                                               ; preds = %16
  br label %348

53:                                               ; preds = %16
  br label %357

54:                                               ; preds = %16
  br label %366

55:                                               ; preds = %16
  br label %158

56:                                               ; preds = %16
  br label %375

57:                                               ; preds = %16
  br label %384

58:                                               ; preds = %16
  br label %158

59:                                               ; preds = %16
  br label %393

60:                                               ; preds = %16
  br label %402

61:                                               ; preds = %16
  br label %158

62:                                               ; preds = %16
  br label %158

63:                                               ; preds = %16
  br label %411

64:                                               ; preds = %16
  br label %420

65:                                               ; preds = %16
  br label %158

66:                                               ; preds = %16
  br label %429

67:                                               ; preds = %16
  br label %438

68:                                               ; preds = %16
  br label %158

69:                                               ; preds = %16
  br label %447

70:                                               ; preds = %16
  br label %456

71:                                               ; preds = %16
  br label %158

72:                                               ; preds = %16
  br label %465

73:                                               ; preds = %16
  br label %474

74:                                               ; preds = %16
  br label %483

75:                                               ; preds = %16
  br label %492

76:                                               ; preds = %16
  br label %566

77:                                               ; preds = %16
  br label %575

78:                                               ; preds = %16
  br label %584

79:                                               ; preds = %16
  br label %593

80:                                               ; preds = %16
  br label %602

81:                                               ; preds = %16
  br label %611

82:                                               ; preds = %16
  br label %620

83:                                               ; preds = %16
  br label %629

84:                                               ; preds = %16
  br label %638

85:                                               ; preds = %16
  br label %647

86:                                               ; preds = %16
  br label %656

87:                                               ; preds = %16
  br label %665

88:                                               ; preds = %16
  br label %674

89:                                               ; preds = %16
  br label %683

90:                                               ; preds = %16
  br label %692

91:                                               ; preds = %16
  br label %701

92:                                               ; preds = %16
  br label %158

93:                                               ; preds = %16
  br label %710

94:                                               ; preds = %16
  br label %719

95:                                               ; preds = %16
  br label %728

96:                                               ; preds = %16
  br label %737

97:                                               ; preds = %16
  br label %158

98:                                               ; preds = %16
  br label %158

99:                                               ; preds = %16
  br label %746

100:                                              ; preds = %16
  br label %755

101:                                              ; preds = %16
  br label %764

102:                                              ; preds = %16
  br label %773

103:                                              ; preds = %16
  br label %782

104:                                              ; preds = %16
  br label %791

105:                                              ; preds = %16
  br label %800

106:                                              ; preds = %16
  br label %809

107:                                              ; preds = %16
  br label %818

108:                                              ; preds = %16
  br label %827

109:                                              ; preds = %16
  br label %836

110:                                              ; preds = %16
  br label %845

111:                                              ; preds = %16
  br label %854

112:                                              ; preds = %16
  br label %158

113:                                              ; preds = %16
  br label %158

114:                                              ; preds = %16
  br label %863

115:                                              ; preds = %16
  br label %872

116:                                              ; preds = %16
  br label %881

117:                                              ; preds = %16
  br label %890

118:                                              ; preds = %16
  br label %899

119:                                              ; preds = %16
  br label %908

120:                                              ; preds = %16
  br label %158

121:                                              ; preds = %16
  br label %917

122:                                              ; preds = %16
  br label %926

123:                                              ; preds = %16
  br label %935

124:                                              ; preds = %16
  br label %944

125:                                              ; preds = %16
  br label %953

126:                                              ; preds = %16
  br label %962

127:                                              ; preds = %16
  br label %971

128:                                              ; preds = %16
  br label %980

129:                                              ; preds = %16
  br label %989

130:                                              ; preds = %16
  br label %998

131:                                              ; preds = %16
  br label %158

132:                                              ; preds = %16
  br label %158

133:                                              ; preds = %16
  br label %1007

134:                                              ; preds = %16
  br label %1031

135:                                              ; preds = %16
  br label %1055

136:                                              ; preds = %16
  br label %1079

137:                                              ; preds = %16
  br label %1103

138:                                              ; preds = %16
  br label %1127

139:                                              ; preds = %16
  br label %1151

140:                                              ; preds = %16
  br label %1175

141:                                              ; preds = %16
  br label %1199

142:                                              ; preds = %16
  br label %158

143:                                              ; preds = %16
  br label %1223

144:                                              ; preds = %16
  br label %1516

145:                                              ; preds = %16
  br label %1540

146:                                              ; preds = %16
  br label %1564

147:                                              ; preds = %16
  br label %1588

148:                                              ; preds = %16
  br label %1612

149:                                              ; preds = %16
  br label %1636

150:                                              ; preds = %16
  br label %158

151:                                              ; preds = %16
  br label %1742

152:                                              ; preds = %16
  br label %1751

153:                                              ; preds = %16
  br label %1760

154:                                              ; preds = %16
  br label %1769

155:                                              ; preds = %16
  br label %158

156:                                              ; preds = %16
  br label %1778

157:                                              ; preds = %16
  br label %159

158:                                              ; preds = %155, %150, %142, %132, %131, %120, %113, %112, %98, %97, %92, %71, %68, %65, %62, %61, %58, %55, %39, %38, %37, %33, %28
  call void @wasm_rt_trap(i32 noundef 5) #7
  unreachable

159:                                              ; preds = %157
  %160 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %160, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %161 = load i32, ptr %10, align 4, !tbaa !9
  %162 = load i32, ptr %9, align 4, !tbaa !9
  %163 = sub i32 %162, %161
  store i32 %163, ptr %9, align 4, !tbaa !9
  %164 = load ptr, ptr %3, align 8, !tbaa !5
  %165 = load i32, ptr %9, align 4, !tbaa !9
  %166 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %164, i32 noundef %165)
  store i32 %166, ptr %9, align 4, !tbaa !9
  %167 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %167, ptr %4, align 4, !tbaa !9
  br label %1784

168:                                              ; preds = %27
  %169 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %169, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %170 = load i32, ptr %10, align 4, !tbaa !9
  %171 = load i32, ptr %9, align 4, !tbaa !9
  %172 = sub i32 %171, %170
  store i32 %172, ptr %9, align 4, !tbaa !9
  %173 = load ptr, ptr %3, align 8, !tbaa !5
  %174 = load i32, ptr %9, align 4, !tbaa !9
  %175 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %173, i32 noundef %174)
  store i32 %175, ptr %9, align 4, !tbaa !9
  %176 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %176, ptr %4, align 4, !tbaa !9
  br label %1784

177:                                              ; preds = %29
  %178 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %178, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %179 = load i32, ptr %10, align 4, !tbaa !9
  %180 = load i32, ptr %9, align 4, !tbaa !9
  %181 = sub i32 %180, %179
  store i32 %181, ptr %9, align 4, !tbaa !9
  %182 = load ptr, ptr %3, align 8, !tbaa !5
  %183 = load i32, ptr %9, align 4, !tbaa !9
  %184 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %182, i32 noundef %183)
  store i32 %184, ptr %9, align 4, !tbaa !9
  %185 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %185, ptr %4, align 4, !tbaa !9
  br label %1784

186:                                              ; preds = %30
  %187 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %187, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %188 = load i32, ptr %10, align 4, !tbaa !9
  %189 = load i32, ptr %9, align 4, !tbaa !9
  %190 = sub i32 %189, %188
  store i32 %190, ptr %9, align 4, !tbaa !9
  %191 = load ptr, ptr %3, align 8, !tbaa !5
  %192 = load i32, ptr %9, align 4, !tbaa !9
  %193 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %191, i32 noundef %192)
  store i32 %193, ptr %9, align 4, !tbaa !9
  %194 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %194, ptr %4, align 4, !tbaa !9
  br label %1784

195:                                              ; preds = %31
  %196 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %196, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %197 = load i32, ptr %10, align 4, !tbaa !9
  %198 = load i32, ptr %9, align 4, !tbaa !9
  %199 = sub i32 %198, %197
  store i32 %199, ptr %9, align 4, !tbaa !9
  %200 = load ptr, ptr %3, align 8, !tbaa !5
  %201 = load i32, ptr %9, align 4, !tbaa !9
  %202 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %200, i32 noundef %201)
  store i32 %202, ptr %9, align 4, !tbaa !9
  %203 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %203, ptr %4, align 4, !tbaa !9
  br label %1784

204:                                              ; preds = %32
  %205 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %205, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %206 = load i32, ptr %10, align 4, !tbaa !9
  %207 = load i32, ptr %9, align 4, !tbaa !9
  %208 = sub i32 %207, %206
  store i32 %208, ptr %9, align 4, !tbaa !9
  %209 = load ptr, ptr %3, align 8, !tbaa !5
  %210 = load i32, ptr %9, align 4, !tbaa !9
  %211 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %209, i32 noundef %210)
  store i32 %211, ptr %9, align 4, !tbaa !9
  %212 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %212, ptr %4, align 4, !tbaa !9
  br label %1784

213:                                              ; preds = %34
  %214 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %214, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %215 = load i32, ptr %10, align 4, !tbaa !9
  %216 = load i32, ptr %9, align 4, !tbaa !9
  %217 = sub i32 %216, %215
  store i32 %217, ptr %9, align 4, !tbaa !9
  %218 = load ptr, ptr %3, align 8, !tbaa !5
  %219 = load i32, ptr %9, align 4, !tbaa !9
  %220 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %218, i32 noundef %219)
  store i32 %220, ptr %9, align 4, !tbaa !9
  %221 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %221, ptr %4, align 4, !tbaa !9
  br label %1784

222:                                              ; preds = %35
  %223 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %223, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %224 = load i32, ptr %10, align 4, !tbaa !9
  %225 = load i32, ptr %9, align 4, !tbaa !9
  %226 = sub i32 %225, %224
  store i32 %226, ptr %9, align 4, !tbaa !9
  %227 = load ptr, ptr %3, align 8, !tbaa !5
  %228 = load i32, ptr %9, align 4, !tbaa !9
  %229 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %227, i32 noundef %228)
  store i32 %229, ptr %9, align 4, !tbaa !9
  %230 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %230, ptr %4, align 4, !tbaa !9
  br label %1784

231:                                              ; preds = %36
  %232 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %232, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %233 = load i32, ptr %10, align 4, !tbaa !9
  %234 = load i32, ptr %9, align 4, !tbaa !9
  %235 = sub i32 %234, %233
  store i32 %235, ptr %9, align 4, !tbaa !9
  %236 = load ptr, ptr %3, align 8, !tbaa !5
  %237 = load i32, ptr %9, align 4, !tbaa !9
  %238 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %236, i32 noundef %237)
  store i32 %238, ptr %9, align 4, !tbaa !9
  %239 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %239, ptr %4, align 4, !tbaa !9
  br label %1784

240:                                              ; preds = %40
  %241 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %241, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %242 = load i32, ptr %10, align 4, !tbaa !9
  %243 = load i32, ptr %9, align 4, !tbaa !9
  %244 = sub i32 %243, %242
  store i32 %244, ptr %9, align 4, !tbaa !9
  %245 = load ptr, ptr %3, align 8, !tbaa !5
  %246 = load i32, ptr %9, align 4, !tbaa !9
  %247 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %245, i32 noundef %246)
  store i32 %247, ptr %9, align 4, !tbaa !9
  %248 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %248, ptr %4, align 4, !tbaa !9
  br label %1784

249:                                              ; preds = %41
  %250 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %250, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %251 = load i32, ptr %10, align 4, !tbaa !9
  %252 = load i32, ptr %9, align 4, !tbaa !9
  %253 = sub i32 %252, %251
  store i32 %253, ptr %9, align 4, !tbaa !9
  %254 = load ptr, ptr %3, align 8, !tbaa !5
  %255 = load i32, ptr %9, align 4, !tbaa !9
  %256 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %254, i32 noundef %255)
  store i32 %256, ptr %9, align 4, !tbaa !9
  %257 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %257, ptr %4, align 4, !tbaa !9
  br label %1784

258:                                              ; preds = %42
  %259 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %259, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %260 = load i32, ptr %10, align 4, !tbaa !9
  %261 = load i32, ptr %9, align 4, !tbaa !9
  %262 = sub i32 %261, %260
  store i32 %262, ptr %9, align 4, !tbaa !9
  %263 = load ptr, ptr %3, align 8, !tbaa !5
  %264 = load i32, ptr %9, align 4, !tbaa !9
  %265 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %263, i32 noundef %264)
  store i32 %265, ptr %9, align 4, !tbaa !9
  %266 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %266, ptr %4, align 4, !tbaa !9
  br label %1784

267:                                              ; preds = %43
  %268 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %268, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %269 = load i32, ptr %10, align 4, !tbaa !9
  %270 = load i32, ptr %9, align 4, !tbaa !9
  %271 = sub i32 %270, %269
  store i32 %271, ptr %9, align 4, !tbaa !9
  %272 = load ptr, ptr %3, align 8, !tbaa !5
  %273 = load i32, ptr %9, align 4, !tbaa !9
  %274 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %272, i32 noundef %273)
  store i32 %274, ptr %9, align 4, !tbaa !9
  %275 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %275, ptr %4, align 4, !tbaa !9
  br label %1784

276:                                              ; preds = %44
  %277 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %277, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %278 = load i32, ptr %10, align 4, !tbaa !9
  %279 = load i32, ptr %9, align 4, !tbaa !9
  %280 = sub i32 %279, %278
  store i32 %280, ptr %9, align 4, !tbaa !9
  %281 = load ptr, ptr %3, align 8, !tbaa !5
  %282 = load i32, ptr %9, align 4, !tbaa !9
  %283 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %281, i32 noundef %282)
  store i32 %283, ptr %9, align 4, !tbaa !9
  %284 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %284, ptr %4, align 4, !tbaa !9
  br label %1784

285:                                              ; preds = %45
  %286 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %286, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %287 = load i32, ptr %10, align 4, !tbaa !9
  %288 = load i32, ptr %9, align 4, !tbaa !9
  %289 = sub i32 %288, %287
  store i32 %289, ptr %9, align 4, !tbaa !9
  %290 = load ptr, ptr %3, align 8, !tbaa !5
  %291 = load i32, ptr %9, align 4, !tbaa !9
  %292 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %290, i32 noundef %291)
  store i32 %292, ptr %9, align 4, !tbaa !9
  %293 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %293, ptr %4, align 4, !tbaa !9
  br label %1784

294:                                              ; preds = %46
  %295 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %295, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %296 = load i32, ptr %10, align 4, !tbaa !9
  %297 = load i32, ptr %9, align 4, !tbaa !9
  %298 = sub i32 %297, %296
  store i32 %298, ptr %9, align 4, !tbaa !9
  %299 = load ptr, ptr %3, align 8, !tbaa !5
  %300 = load i32, ptr %9, align 4, !tbaa !9
  %301 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %299, i32 noundef %300)
  store i32 %301, ptr %9, align 4, !tbaa !9
  %302 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %302, ptr %4, align 4, !tbaa !9
  br label %1784

303:                                              ; preds = %47
  %304 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %304, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %305 = load i32, ptr %10, align 4, !tbaa !9
  %306 = load i32, ptr %9, align 4, !tbaa !9
  %307 = sub i32 %306, %305
  store i32 %307, ptr %9, align 4, !tbaa !9
  %308 = load ptr, ptr %3, align 8, !tbaa !5
  %309 = load i32, ptr %9, align 4, !tbaa !9
  %310 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %308, i32 noundef %309)
  store i32 %310, ptr %9, align 4, !tbaa !9
  %311 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %311, ptr %4, align 4, !tbaa !9
  br label %1784

312:                                              ; preds = %48
  %313 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %313, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %314 = load i32, ptr %10, align 4, !tbaa !9
  %315 = load i32, ptr %9, align 4, !tbaa !9
  %316 = sub i32 %315, %314
  store i32 %316, ptr %9, align 4, !tbaa !9
  %317 = load ptr, ptr %3, align 8, !tbaa !5
  %318 = load i32, ptr %9, align 4, !tbaa !9
  %319 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %317, i32 noundef %318)
  store i32 %319, ptr %9, align 4, !tbaa !9
  %320 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %320, ptr %4, align 4, !tbaa !9
  br label %1784

321:                                              ; preds = %49
  %322 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %322, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %323 = load i32, ptr %10, align 4, !tbaa !9
  %324 = load i32, ptr %9, align 4, !tbaa !9
  %325 = sub i32 %324, %323
  store i32 %325, ptr %9, align 4, !tbaa !9
  %326 = load ptr, ptr %3, align 8, !tbaa !5
  %327 = load i32, ptr %9, align 4, !tbaa !9
  %328 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %326, i32 noundef %327)
  store i32 %328, ptr %9, align 4, !tbaa !9
  %329 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %329, ptr %4, align 4, !tbaa !9
  br label %1784

330:                                              ; preds = %50
  %331 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %331, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %332 = load i32, ptr %10, align 4, !tbaa !9
  %333 = load i32, ptr %9, align 4, !tbaa !9
  %334 = sub i32 %333, %332
  store i32 %334, ptr %9, align 4, !tbaa !9
  %335 = load ptr, ptr %3, align 8, !tbaa !5
  %336 = load i32, ptr %9, align 4, !tbaa !9
  %337 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %335, i32 noundef %336)
  store i32 %337, ptr %9, align 4, !tbaa !9
  %338 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %338, ptr %4, align 4, !tbaa !9
  br label %1784

339:                                              ; preds = %51
  %340 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %340, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %341 = load i32, ptr %10, align 4, !tbaa !9
  %342 = load i32, ptr %9, align 4, !tbaa !9
  %343 = sub i32 %342, %341
  store i32 %343, ptr %9, align 4, !tbaa !9
  %344 = load ptr, ptr %3, align 8, !tbaa !5
  %345 = load i32, ptr %9, align 4, !tbaa !9
  %346 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %344, i32 noundef %345)
  store i32 %346, ptr %9, align 4, !tbaa !9
  %347 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %347, ptr %4, align 4, !tbaa !9
  br label %1784

348:                                              ; preds = %52
  %349 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %349, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %350 = load i32, ptr %10, align 4, !tbaa !9
  %351 = load i32, ptr %9, align 4, !tbaa !9
  %352 = sub i32 %351, %350
  store i32 %352, ptr %9, align 4, !tbaa !9
  %353 = load ptr, ptr %3, align 8, !tbaa !5
  %354 = load i32, ptr %9, align 4, !tbaa !9
  %355 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %353, i32 noundef %354)
  store i32 %355, ptr %9, align 4, !tbaa !9
  %356 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %356, ptr %4, align 4, !tbaa !9
  br label %1784

357:                                              ; preds = %53
  %358 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %358, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %359 = load i32, ptr %10, align 4, !tbaa !9
  %360 = load i32, ptr %9, align 4, !tbaa !9
  %361 = sub i32 %360, %359
  store i32 %361, ptr %9, align 4, !tbaa !9
  %362 = load ptr, ptr %3, align 8, !tbaa !5
  %363 = load i32, ptr %9, align 4, !tbaa !9
  %364 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %362, i32 noundef %363)
  store i32 %364, ptr %9, align 4, !tbaa !9
  %365 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %365, ptr %4, align 4, !tbaa !9
  br label %1784

366:                                              ; preds = %54
  %367 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %367, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %368 = load i32, ptr %10, align 4, !tbaa !9
  %369 = load i32, ptr %9, align 4, !tbaa !9
  %370 = sub i32 %369, %368
  store i32 %370, ptr %9, align 4, !tbaa !9
  %371 = load ptr, ptr %3, align 8, !tbaa !5
  %372 = load i32, ptr %9, align 4, !tbaa !9
  %373 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %371, i32 noundef %372)
  store i32 %373, ptr %9, align 4, !tbaa !9
  %374 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %374, ptr %4, align 4, !tbaa !9
  br label %1784

375:                                              ; preds = %56
  %376 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %376, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %377 = load i32, ptr %10, align 4, !tbaa !9
  %378 = load i32, ptr %9, align 4, !tbaa !9
  %379 = sub i32 %378, %377
  store i32 %379, ptr %9, align 4, !tbaa !9
  %380 = load ptr, ptr %3, align 8, !tbaa !5
  %381 = load i32, ptr %9, align 4, !tbaa !9
  %382 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %380, i32 noundef %381)
  store i32 %382, ptr %9, align 4, !tbaa !9
  %383 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %383, ptr %4, align 4, !tbaa !9
  br label %1784

384:                                              ; preds = %57
  %385 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %385, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %386 = load i32, ptr %10, align 4, !tbaa !9
  %387 = load i32, ptr %9, align 4, !tbaa !9
  %388 = sub i32 %387, %386
  store i32 %388, ptr %9, align 4, !tbaa !9
  %389 = load ptr, ptr %3, align 8, !tbaa !5
  %390 = load i32, ptr %9, align 4, !tbaa !9
  %391 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %389, i32 noundef %390)
  store i32 %391, ptr %9, align 4, !tbaa !9
  %392 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %392, ptr %4, align 4, !tbaa !9
  br label %1784

393:                                              ; preds = %59
  %394 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %394, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %395 = load i32, ptr %10, align 4, !tbaa !9
  %396 = load i32, ptr %9, align 4, !tbaa !9
  %397 = sub i32 %396, %395
  store i32 %397, ptr %9, align 4, !tbaa !9
  %398 = load ptr, ptr %3, align 8, !tbaa !5
  %399 = load i32, ptr %9, align 4, !tbaa !9
  %400 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %398, i32 noundef %399)
  store i32 %400, ptr %9, align 4, !tbaa !9
  %401 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %401, ptr %4, align 4, !tbaa !9
  br label %1784

402:                                              ; preds = %60
  %403 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %403, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %404 = load i32, ptr %10, align 4, !tbaa !9
  %405 = load i32, ptr %9, align 4, !tbaa !9
  %406 = sub i32 %405, %404
  store i32 %406, ptr %9, align 4, !tbaa !9
  %407 = load ptr, ptr %3, align 8, !tbaa !5
  %408 = load i32, ptr %9, align 4, !tbaa !9
  %409 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %407, i32 noundef %408)
  store i32 %409, ptr %9, align 4, !tbaa !9
  %410 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %410, ptr %4, align 4, !tbaa !9
  br label %1784

411:                                              ; preds = %63
  %412 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %412, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %413 = load i32, ptr %10, align 4, !tbaa !9
  %414 = load i32, ptr %9, align 4, !tbaa !9
  %415 = sub i32 %414, %413
  store i32 %415, ptr %9, align 4, !tbaa !9
  %416 = load ptr, ptr %3, align 8, !tbaa !5
  %417 = load i32, ptr %9, align 4, !tbaa !9
  %418 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %416, i32 noundef %417)
  store i32 %418, ptr %9, align 4, !tbaa !9
  %419 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %419, ptr %4, align 4, !tbaa !9
  br label %1784

420:                                              ; preds = %64
  %421 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %421, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %422 = load i32, ptr %10, align 4, !tbaa !9
  %423 = load i32, ptr %9, align 4, !tbaa !9
  %424 = sub i32 %423, %422
  store i32 %424, ptr %9, align 4, !tbaa !9
  %425 = load ptr, ptr %3, align 8, !tbaa !5
  %426 = load i32, ptr %9, align 4, !tbaa !9
  %427 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %425, i32 noundef %426)
  store i32 %427, ptr %9, align 4, !tbaa !9
  %428 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %428, ptr %4, align 4, !tbaa !9
  br label %1784

429:                                              ; preds = %66
  %430 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %430, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %431 = load i32, ptr %10, align 4, !tbaa !9
  %432 = load i32, ptr %9, align 4, !tbaa !9
  %433 = sub i32 %432, %431
  store i32 %433, ptr %9, align 4, !tbaa !9
  %434 = load ptr, ptr %3, align 8, !tbaa !5
  %435 = load i32, ptr %9, align 4, !tbaa !9
  %436 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %434, i32 noundef %435)
  store i32 %436, ptr %9, align 4, !tbaa !9
  %437 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %437, ptr %4, align 4, !tbaa !9
  br label %1784

438:                                              ; preds = %67
  %439 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %439, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %440 = load i32, ptr %10, align 4, !tbaa !9
  %441 = load i32, ptr %9, align 4, !tbaa !9
  %442 = sub i32 %441, %440
  store i32 %442, ptr %9, align 4, !tbaa !9
  %443 = load ptr, ptr %3, align 8, !tbaa !5
  %444 = load i32, ptr %9, align 4, !tbaa !9
  %445 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %443, i32 noundef %444)
  store i32 %445, ptr %9, align 4, !tbaa !9
  %446 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %446, ptr %4, align 4, !tbaa !9
  br label %1784

447:                                              ; preds = %69
  %448 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %448, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %449 = load i32, ptr %10, align 4, !tbaa !9
  %450 = load i32, ptr %9, align 4, !tbaa !9
  %451 = sub i32 %450, %449
  store i32 %451, ptr %9, align 4, !tbaa !9
  %452 = load ptr, ptr %3, align 8, !tbaa !5
  %453 = load i32, ptr %9, align 4, !tbaa !9
  %454 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %452, i32 noundef %453)
  store i32 %454, ptr %9, align 4, !tbaa !9
  %455 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %455, ptr %4, align 4, !tbaa !9
  br label %1784

456:                                              ; preds = %70
  %457 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %457, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %458 = load i32, ptr %10, align 4, !tbaa !9
  %459 = load i32, ptr %9, align 4, !tbaa !9
  %460 = sub i32 %459, %458
  store i32 %460, ptr %9, align 4, !tbaa !9
  %461 = load ptr, ptr %3, align 8, !tbaa !5
  %462 = load i32, ptr %9, align 4, !tbaa !9
  %463 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %461, i32 noundef %462)
  store i32 %463, ptr %9, align 4, !tbaa !9
  %464 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %464, ptr %4, align 4, !tbaa !9
  br label %1784

465:                                              ; preds = %72
  %466 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %466, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %467 = load i32, ptr %10, align 4, !tbaa !9
  %468 = load i32, ptr %9, align 4, !tbaa !9
  %469 = sub i32 %468, %467
  store i32 %469, ptr %9, align 4, !tbaa !9
  %470 = load ptr, ptr %3, align 8, !tbaa !5
  %471 = load i32, ptr %9, align 4, !tbaa !9
  %472 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %470, i32 noundef %471)
  store i32 %472, ptr %9, align 4, !tbaa !9
  %473 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %473, ptr %4, align 4, !tbaa !9
  br label %1784

474:                                              ; preds = %73
  %475 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %475, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %476 = load i32, ptr %10, align 4, !tbaa !9
  %477 = load i32, ptr %9, align 4, !tbaa !9
  %478 = sub i32 %477, %476
  store i32 %478, ptr %9, align 4, !tbaa !9
  %479 = load ptr, ptr %3, align 8, !tbaa !5
  %480 = load i32, ptr %9, align 4, !tbaa !9
  %481 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %479, i32 noundef %480)
  store i32 %481, ptr %9, align 4, !tbaa !9
  %482 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %482, ptr %4, align 4, !tbaa !9
  br label %1784

483:                                              ; preds = %74
  %484 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %484, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %485 = load i32, ptr %10, align 4, !tbaa !9
  %486 = load i32, ptr %9, align 4, !tbaa !9
  %487 = sub i32 %486, %485
  store i32 %487, ptr %9, align 4, !tbaa !9
  %488 = load ptr, ptr %3, align 8, !tbaa !5
  %489 = load i32, ptr %9, align 4, !tbaa !9
  %490 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %488, i32 noundef %489)
  store i32 %490, ptr %9, align 4, !tbaa !9
  %491 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %491, ptr %4, align 4, !tbaa !9
  br label %1784

492:                                              ; preds = %75
  %493 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %493, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %494 = load i32, ptr %10, align 4, !tbaa !9
  %495 = load i32, ptr %9, align 4, !tbaa !9
  %496 = sub i32 %495, %494
  store i32 %496, ptr %9, align 4, !tbaa !9
  %497 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %497, ptr %4, align 4, !tbaa !9
  %498 = load ptr, ptr %3, align 8, !tbaa !5
  %499 = getelementptr inbounds %struct.w2c_hermes, ptr %498, i32 0, i32 6
  %500 = load i32, ptr %9, align 4, !tbaa !9
  %501 = zext i32 %500 to i64
  %502 = add i64 %501, 88
  %503 = call i32 @i32_load(ptr noundef %499, i64 noundef %502)
  store i32 %503, ptr %9, align 4, !tbaa !9
  %504 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %504, ptr %5, align 4, !tbaa !9
  %505 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %505, ptr %10, align 4, !tbaa !9
  store i32 100, ptr %11, align 4, !tbaa !9
  %506 = load i32, ptr %11, align 4, !tbaa !9
  %507 = load i32, ptr %10, align 4, !tbaa !9
  %508 = add i32 %507, %506
  store i32 %508, ptr %10, align 4, !tbaa !9
  %509 = load i32, ptr %9, align 4, !tbaa !9
  %510 = load i32, ptr %10, align 4, !tbaa !9
  %511 = icmp ne i32 %509, %510
  %512 = zext i1 %511 to i32
  store i32 %512, ptr %9, align 4, !tbaa !9
  %513 = load i32, ptr %9, align 4, !tbaa !9
  %514 = icmp ne i32 %513, 0
  br i1 %514, label %515, label %519

515:                                              ; preds = %492
  %516 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %516, ptr %9, align 4, !tbaa !9
  %517 = load ptr, ptr %3, align 8, !tbaa !5
  %518 = load i32, ptr %9, align 4, !tbaa !9
  call void @w2c_hermes_dlfree(ptr noundef %517, i32 noundef %518)
  br label %519

519:                                              ; preds = %515, %492
  %520 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %520, ptr %9, align 4, !tbaa !9
  %521 = load ptr, ptr %3, align 8, !tbaa !5
  %522 = getelementptr inbounds %struct.w2c_hermes, ptr %521, i32 0, i32 6
  %523 = load i32, ptr %9, align 4, !tbaa !9
  %524 = zext i32 %523 to i64
  %525 = add i64 %524, 40
  %526 = call i32 @i32_load(ptr noundef %522, i64 noundef %525)
  store i32 %526, ptr %9, align 4, !tbaa !9
  %527 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %527, ptr %5, align 4, !tbaa !9
  %528 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %528, ptr %10, align 4, !tbaa !9
  store i32 52, ptr %11, align 4, !tbaa !9
  %529 = load i32, ptr %11, align 4, !tbaa !9
  %530 = load i32, ptr %10, align 4, !tbaa !9
  %531 = add i32 %530, %529
  store i32 %531, ptr %10, align 4, !tbaa !9
  %532 = load i32, ptr %9, align 4, !tbaa !9
  %533 = load i32, ptr %10, align 4, !tbaa !9
  %534 = icmp ne i32 %532, %533
  %535 = zext i1 %534 to i32
  store i32 %535, ptr %9, align 4, !tbaa !9
  %536 = load i32, ptr %9, align 4, !tbaa !9
  %537 = icmp ne i32 %536, 0
  br i1 %537, label %538, label %542

538:                                              ; preds = %519
  %539 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %539, ptr %9, align 4, !tbaa !9
  %540 = load ptr, ptr %3, align 8, !tbaa !5
  %541 = load i32, ptr %9, align 4, !tbaa !9
  call void @w2c_hermes_dlfree(ptr noundef %540, i32 noundef %541)
  br label %542

542:                                              ; preds = %538, %519
  %543 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %543, ptr %9, align 4, !tbaa !9
  %544 = load ptr, ptr %3, align 8, !tbaa !5
  %545 = getelementptr inbounds %struct.w2c_hermes, ptr %544, i32 0, i32 6
  %546 = load i32, ptr %9, align 4, !tbaa !9
  %547 = zext i32 %546 to i64
  %548 = add i64 %547, 16
  %549 = call i32 @i32_load(ptr noundef %545, i64 noundef %548)
  store i32 %549, ptr %9, align 4, !tbaa !9
  %550 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %550, ptr %5, align 4, !tbaa !9
  %551 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %551, ptr %10, align 4, !tbaa !9
  store i32 28, ptr %11, align 4, !tbaa !9
  %552 = load i32, ptr %11, align 4, !tbaa !9
  %553 = load i32, ptr %10, align 4, !tbaa !9
  %554 = add i32 %553, %552
  store i32 %554, ptr %10, align 4, !tbaa !9
  %555 = load i32, ptr %9, align 4, !tbaa !9
  %556 = load i32, ptr %10, align 4, !tbaa !9
  %557 = icmp ne i32 %555, %556
  %558 = zext i1 %557 to i32
  store i32 %558, ptr %9, align 4, !tbaa !9
  %559 = load i32, ptr %9, align 4, !tbaa !9
  %560 = icmp ne i32 %559, 0
  br i1 %560, label %561, label %565

561:                                              ; preds = %542
  %562 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %562, ptr %9, align 4, !tbaa !9
  %563 = load ptr, ptr %3, align 8, !tbaa !5
  %564 = load i32, ptr %9, align 4, !tbaa !9
  call void @w2c_hermes_dlfree(ptr noundef %563, i32 noundef %564)
  br label %565

565:                                              ; preds = %561, %542
  br label %1784

566:                                              ; preds = %76
  %567 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %567, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %568 = load i32, ptr %10, align 4, !tbaa !9
  %569 = load i32, ptr %9, align 4, !tbaa !9
  %570 = sub i32 %569, %568
  store i32 %570, ptr %9, align 4, !tbaa !9
  %571 = load ptr, ptr %3, align 8, !tbaa !5
  %572 = load i32, ptr %9, align 4, !tbaa !9
  %573 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %571, i32 noundef %572)
  store i32 %573, ptr %9, align 4, !tbaa !9
  %574 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %574, ptr %4, align 4, !tbaa !9
  br label %1784

575:                                              ; preds = %77
  %576 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %576, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %577 = load i32, ptr %10, align 4, !tbaa !9
  %578 = load i32, ptr %9, align 4, !tbaa !9
  %579 = sub i32 %578, %577
  store i32 %579, ptr %9, align 4, !tbaa !9
  %580 = load ptr, ptr %3, align 8, !tbaa !5
  %581 = load i32, ptr %9, align 4, !tbaa !9
  %582 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %580, i32 noundef %581)
  store i32 %582, ptr %9, align 4, !tbaa !9
  %583 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %583, ptr %4, align 4, !tbaa !9
  br label %1784

584:                                              ; preds = %78
  %585 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %585, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %586 = load i32, ptr %10, align 4, !tbaa !9
  %587 = load i32, ptr %9, align 4, !tbaa !9
  %588 = sub i32 %587, %586
  store i32 %588, ptr %9, align 4, !tbaa !9
  %589 = load ptr, ptr %3, align 8, !tbaa !5
  %590 = load i32, ptr %9, align 4, !tbaa !9
  %591 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %589, i32 noundef %590)
  store i32 %591, ptr %9, align 4, !tbaa !9
  %592 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %592, ptr %4, align 4, !tbaa !9
  br label %1784

593:                                              ; preds = %79
  %594 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %594, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %595 = load i32, ptr %10, align 4, !tbaa !9
  %596 = load i32, ptr %9, align 4, !tbaa !9
  %597 = sub i32 %596, %595
  store i32 %597, ptr %9, align 4, !tbaa !9
  %598 = load ptr, ptr %3, align 8, !tbaa !5
  %599 = load i32, ptr %9, align 4, !tbaa !9
  %600 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %598, i32 noundef %599)
  store i32 %600, ptr %9, align 4, !tbaa !9
  %601 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %601, ptr %4, align 4, !tbaa !9
  br label %1784

602:                                              ; preds = %80
  %603 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %603, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %604 = load i32, ptr %10, align 4, !tbaa !9
  %605 = load i32, ptr %9, align 4, !tbaa !9
  %606 = sub i32 %605, %604
  store i32 %606, ptr %9, align 4, !tbaa !9
  %607 = load ptr, ptr %3, align 8, !tbaa !5
  %608 = load i32, ptr %9, align 4, !tbaa !9
  %609 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %607, i32 noundef %608)
  store i32 %609, ptr %9, align 4, !tbaa !9
  %610 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %610, ptr %4, align 4, !tbaa !9
  br label %1784

611:                                              ; preds = %81
  %612 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %612, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %613 = load i32, ptr %10, align 4, !tbaa !9
  %614 = load i32, ptr %9, align 4, !tbaa !9
  %615 = sub i32 %614, %613
  store i32 %615, ptr %9, align 4, !tbaa !9
  %616 = load ptr, ptr %3, align 8, !tbaa !5
  %617 = load i32, ptr %9, align 4, !tbaa !9
  %618 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %616, i32 noundef %617)
  store i32 %618, ptr %9, align 4, !tbaa !9
  %619 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %619, ptr %4, align 4, !tbaa !9
  br label %1784

620:                                              ; preds = %82
  %621 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %621, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %622 = load i32, ptr %10, align 4, !tbaa !9
  %623 = load i32, ptr %9, align 4, !tbaa !9
  %624 = sub i32 %623, %622
  store i32 %624, ptr %9, align 4, !tbaa !9
  %625 = load ptr, ptr %3, align 8, !tbaa !5
  %626 = load i32, ptr %9, align 4, !tbaa !9
  %627 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %625, i32 noundef %626)
  store i32 %627, ptr %9, align 4, !tbaa !9
  %628 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %628, ptr %4, align 4, !tbaa !9
  br label %1784

629:                                              ; preds = %83
  %630 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %630, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %631 = load i32, ptr %10, align 4, !tbaa !9
  %632 = load i32, ptr %9, align 4, !tbaa !9
  %633 = sub i32 %632, %631
  store i32 %633, ptr %9, align 4, !tbaa !9
  %634 = load ptr, ptr %3, align 8, !tbaa !5
  %635 = load i32, ptr %9, align 4, !tbaa !9
  %636 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %634, i32 noundef %635)
  store i32 %636, ptr %9, align 4, !tbaa !9
  %637 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %637, ptr %4, align 4, !tbaa !9
  br label %1784

638:                                              ; preds = %84
  %639 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %639, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %640 = load i32, ptr %10, align 4, !tbaa !9
  %641 = load i32, ptr %9, align 4, !tbaa !9
  %642 = sub i32 %641, %640
  store i32 %642, ptr %9, align 4, !tbaa !9
  %643 = load ptr, ptr %3, align 8, !tbaa !5
  %644 = load i32, ptr %9, align 4, !tbaa !9
  %645 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %643, i32 noundef %644)
  store i32 %645, ptr %9, align 4, !tbaa !9
  %646 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %646, ptr %4, align 4, !tbaa !9
  br label %1784

647:                                              ; preds = %85
  %648 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %648, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %649 = load i32, ptr %10, align 4, !tbaa !9
  %650 = load i32, ptr %9, align 4, !tbaa !9
  %651 = sub i32 %650, %649
  store i32 %651, ptr %9, align 4, !tbaa !9
  %652 = load ptr, ptr %3, align 8, !tbaa !5
  %653 = load i32, ptr %9, align 4, !tbaa !9
  %654 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %652, i32 noundef %653)
  store i32 %654, ptr %9, align 4, !tbaa !9
  %655 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %655, ptr %4, align 4, !tbaa !9
  br label %1784

656:                                              ; preds = %86
  %657 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %657, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %658 = load i32, ptr %10, align 4, !tbaa !9
  %659 = load i32, ptr %9, align 4, !tbaa !9
  %660 = sub i32 %659, %658
  store i32 %660, ptr %9, align 4, !tbaa !9
  %661 = load ptr, ptr %3, align 8, !tbaa !5
  %662 = load i32, ptr %9, align 4, !tbaa !9
  %663 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %661, i32 noundef %662)
  store i32 %663, ptr %9, align 4, !tbaa !9
  %664 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %664, ptr %4, align 4, !tbaa !9
  br label %1784

665:                                              ; preds = %87
  %666 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %666, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %667 = load i32, ptr %10, align 4, !tbaa !9
  %668 = load i32, ptr %9, align 4, !tbaa !9
  %669 = sub i32 %668, %667
  store i32 %669, ptr %9, align 4, !tbaa !9
  %670 = load ptr, ptr %3, align 8, !tbaa !5
  %671 = load i32, ptr %9, align 4, !tbaa !9
  %672 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %670, i32 noundef %671)
  store i32 %672, ptr %9, align 4, !tbaa !9
  %673 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %673, ptr %4, align 4, !tbaa !9
  br label %1784

674:                                              ; preds = %88
  %675 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %675, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %676 = load i32, ptr %10, align 4, !tbaa !9
  %677 = load i32, ptr %9, align 4, !tbaa !9
  %678 = sub i32 %677, %676
  store i32 %678, ptr %9, align 4, !tbaa !9
  %679 = load ptr, ptr %3, align 8, !tbaa !5
  %680 = load i32, ptr %9, align 4, !tbaa !9
  %681 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %679, i32 noundef %680)
  store i32 %681, ptr %9, align 4, !tbaa !9
  %682 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %682, ptr %4, align 4, !tbaa !9
  br label %1784

683:                                              ; preds = %89
  %684 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %684, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %685 = load i32, ptr %10, align 4, !tbaa !9
  %686 = load i32, ptr %9, align 4, !tbaa !9
  %687 = sub i32 %686, %685
  store i32 %687, ptr %9, align 4, !tbaa !9
  %688 = load ptr, ptr %3, align 8, !tbaa !5
  %689 = load i32, ptr %9, align 4, !tbaa !9
  %690 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %688, i32 noundef %689)
  store i32 %690, ptr %9, align 4, !tbaa !9
  %691 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %691, ptr %4, align 4, !tbaa !9
  br label %1784

692:                                              ; preds = %90
  %693 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %693, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %694 = load i32, ptr %10, align 4, !tbaa !9
  %695 = load i32, ptr %9, align 4, !tbaa !9
  %696 = sub i32 %695, %694
  store i32 %696, ptr %9, align 4, !tbaa !9
  %697 = load ptr, ptr %3, align 8, !tbaa !5
  %698 = load i32, ptr %9, align 4, !tbaa !9
  %699 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %697, i32 noundef %698)
  store i32 %699, ptr %9, align 4, !tbaa !9
  %700 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %700, ptr %4, align 4, !tbaa !9
  br label %1784

701:                                              ; preds = %91
  %702 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %702, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %703 = load i32, ptr %10, align 4, !tbaa !9
  %704 = load i32, ptr %9, align 4, !tbaa !9
  %705 = sub i32 %704, %703
  store i32 %705, ptr %9, align 4, !tbaa !9
  %706 = load ptr, ptr %3, align 8, !tbaa !5
  %707 = load i32, ptr %9, align 4, !tbaa !9
  %708 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %706, i32 noundef %707)
  store i32 %708, ptr %9, align 4, !tbaa !9
  %709 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %709, ptr %4, align 4, !tbaa !9
  br label %1784

710:                                              ; preds = %93
  %711 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %711, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %712 = load i32, ptr %10, align 4, !tbaa !9
  %713 = load i32, ptr %9, align 4, !tbaa !9
  %714 = sub i32 %713, %712
  store i32 %714, ptr %9, align 4, !tbaa !9
  %715 = load ptr, ptr %3, align 8, !tbaa !5
  %716 = load i32, ptr %9, align 4, !tbaa !9
  %717 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %715, i32 noundef %716)
  store i32 %717, ptr %9, align 4, !tbaa !9
  %718 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %718, ptr %4, align 4, !tbaa !9
  br label %1784

719:                                              ; preds = %94
  %720 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %720, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %721 = load i32, ptr %10, align 4, !tbaa !9
  %722 = load i32, ptr %9, align 4, !tbaa !9
  %723 = sub i32 %722, %721
  store i32 %723, ptr %9, align 4, !tbaa !9
  %724 = load ptr, ptr %3, align 8, !tbaa !5
  %725 = load i32, ptr %9, align 4, !tbaa !9
  %726 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %724, i32 noundef %725)
  store i32 %726, ptr %9, align 4, !tbaa !9
  %727 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %727, ptr %4, align 4, !tbaa !9
  br label %1784

728:                                              ; preds = %95
  %729 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %729, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %730 = load i32, ptr %10, align 4, !tbaa !9
  %731 = load i32, ptr %9, align 4, !tbaa !9
  %732 = sub i32 %731, %730
  store i32 %732, ptr %9, align 4, !tbaa !9
  %733 = load ptr, ptr %3, align 8, !tbaa !5
  %734 = load i32, ptr %9, align 4, !tbaa !9
  %735 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %733, i32 noundef %734)
  store i32 %735, ptr %9, align 4, !tbaa !9
  %736 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %736, ptr %4, align 4, !tbaa !9
  br label %1784

737:                                              ; preds = %96
  %738 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %738, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %739 = load i32, ptr %10, align 4, !tbaa !9
  %740 = load i32, ptr %9, align 4, !tbaa !9
  %741 = sub i32 %740, %739
  store i32 %741, ptr %9, align 4, !tbaa !9
  %742 = load ptr, ptr %3, align 8, !tbaa !5
  %743 = load i32, ptr %9, align 4, !tbaa !9
  %744 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %742, i32 noundef %743)
  store i32 %744, ptr %9, align 4, !tbaa !9
  %745 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %745, ptr %4, align 4, !tbaa !9
  br label %1784

746:                                              ; preds = %99
  %747 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %747, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %748 = load i32, ptr %10, align 4, !tbaa !9
  %749 = load i32, ptr %9, align 4, !tbaa !9
  %750 = sub i32 %749, %748
  store i32 %750, ptr %9, align 4, !tbaa !9
  %751 = load ptr, ptr %3, align 8, !tbaa !5
  %752 = load i32, ptr %9, align 4, !tbaa !9
  %753 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %751, i32 noundef %752)
  store i32 %753, ptr %9, align 4, !tbaa !9
  %754 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %754, ptr %4, align 4, !tbaa !9
  br label %1784

755:                                              ; preds = %100
  %756 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %756, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %757 = load i32, ptr %10, align 4, !tbaa !9
  %758 = load i32, ptr %9, align 4, !tbaa !9
  %759 = sub i32 %758, %757
  store i32 %759, ptr %9, align 4, !tbaa !9
  %760 = load ptr, ptr %3, align 8, !tbaa !5
  %761 = load i32, ptr %9, align 4, !tbaa !9
  %762 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %760, i32 noundef %761)
  store i32 %762, ptr %9, align 4, !tbaa !9
  %763 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %763, ptr %4, align 4, !tbaa !9
  br label %1784

764:                                              ; preds = %101
  %765 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %765, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %766 = load i32, ptr %10, align 4, !tbaa !9
  %767 = load i32, ptr %9, align 4, !tbaa !9
  %768 = sub i32 %767, %766
  store i32 %768, ptr %9, align 4, !tbaa !9
  %769 = load ptr, ptr %3, align 8, !tbaa !5
  %770 = load i32, ptr %9, align 4, !tbaa !9
  %771 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %769, i32 noundef %770)
  store i32 %771, ptr %9, align 4, !tbaa !9
  %772 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %772, ptr %4, align 4, !tbaa !9
  br label %1784

773:                                              ; preds = %102
  %774 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %774, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %775 = load i32, ptr %10, align 4, !tbaa !9
  %776 = load i32, ptr %9, align 4, !tbaa !9
  %777 = sub i32 %776, %775
  store i32 %777, ptr %9, align 4, !tbaa !9
  %778 = load ptr, ptr %3, align 8, !tbaa !5
  %779 = load i32, ptr %9, align 4, !tbaa !9
  %780 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %778, i32 noundef %779)
  store i32 %780, ptr %9, align 4, !tbaa !9
  %781 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %781, ptr %4, align 4, !tbaa !9
  br label %1784

782:                                              ; preds = %103
  %783 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %783, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %784 = load i32, ptr %10, align 4, !tbaa !9
  %785 = load i32, ptr %9, align 4, !tbaa !9
  %786 = sub i32 %785, %784
  store i32 %786, ptr %9, align 4, !tbaa !9
  %787 = load ptr, ptr %3, align 8, !tbaa !5
  %788 = load i32, ptr %9, align 4, !tbaa !9
  %789 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %787, i32 noundef %788)
  store i32 %789, ptr %9, align 4, !tbaa !9
  %790 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %790, ptr %4, align 4, !tbaa !9
  br label %1784

791:                                              ; preds = %104
  %792 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %792, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %793 = load i32, ptr %10, align 4, !tbaa !9
  %794 = load i32, ptr %9, align 4, !tbaa !9
  %795 = sub i32 %794, %793
  store i32 %795, ptr %9, align 4, !tbaa !9
  %796 = load ptr, ptr %3, align 8, !tbaa !5
  %797 = load i32, ptr %9, align 4, !tbaa !9
  %798 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %796, i32 noundef %797)
  store i32 %798, ptr %9, align 4, !tbaa !9
  %799 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %799, ptr %4, align 4, !tbaa !9
  br label %1784

800:                                              ; preds = %105
  %801 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %801, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %802 = load i32, ptr %10, align 4, !tbaa !9
  %803 = load i32, ptr %9, align 4, !tbaa !9
  %804 = sub i32 %803, %802
  store i32 %804, ptr %9, align 4, !tbaa !9
  %805 = load ptr, ptr %3, align 8, !tbaa !5
  %806 = load i32, ptr %9, align 4, !tbaa !9
  %807 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %805, i32 noundef %806)
  store i32 %807, ptr %9, align 4, !tbaa !9
  %808 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %808, ptr %4, align 4, !tbaa !9
  br label %1784

809:                                              ; preds = %106
  %810 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %810, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %811 = load i32, ptr %10, align 4, !tbaa !9
  %812 = load i32, ptr %9, align 4, !tbaa !9
  %813 = sub i32 %812, %811
  store i32 %813, ptr %9, align 4, !tbaa !9
  %814 = load ptr, ptr %3, align 8, !tbaa !5
  %815 = load i32, ptr %9, align 4, !tbaa !9
  %816 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %814, i32 noundef %815)
  store i32 %816, ptr %9, align 4, !tbaa !9
  %817 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %817, ptr %4, align 4, !tbaa !9
  br label %1784

818:                                              ; preds = %107
  %819 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %819, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %820 = load i32, ptr %10, align 4, !tbaa !9
  %821 = load i32, ptr %9, align 4, !tbaa !9
  %822 = sub i32 %821, %820
  store i32 %822, ptr %9, align 4, !tbaa !9
  %823 = load ptr, ptr %3, align 8, !tbaa !5
  %824 = load i32, ptr %9, align 4, !tbaa !9
  %825 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %823, i32 noundef %824)
  store i32 %825, ptr %9, align 4, !tbaa !9
  %826 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %826, ptr %4, align 4, !tbaa !9
  br label %1784

827:                                              ; preds = %108
  %828 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %828, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %829 = load i32, ptr %10, align 4, !tbaa !9
  %830 = load i32, ptr %9, align 4, !tbaa !9
  %831 = sub i32 %830, %829
  store i32 %831, ptr %9, align 4, !tbaa !9
  %832 = load ptr, ptr %3, align 8, !tbaa !5
  %833 = load i32, ptr %9, align 4, !tbaa !9
  %834 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %832, i32 noundef %833)
  store i32 %834, ptr %9, align 4, !tbaa !9
  %835 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %835, ptr %4, align 4, !tbaa !9
  br label %1784

836:                                              ; preds = %109
  %837 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %837, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %838 = load i32, ptr %10, align 4, !tbaa !9
  %839 = load i32, ptr %9, align 4, !tbaa !9
  %840 = sub i32 %839, %838
  store i32 %840, ptr %9, align 4, !tbaa !9
  %841 = load ptr, ptr %3, align 8, !tbaa !5
  %842 = load i32, ptr %9, align 4, !tbaa !9
  %843 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %841, i32 noundef %842)
  store i32 %843, ptr %9, align 4, !tbaa !9
  %844 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %844, ptr %4, align 4, !tbaa !9
  br label %1784

845:                                              ; preds = %110
  %846 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %846, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %847 = load i32, ptr %10, align 4, !tbaa !9
  %848 = load i32, ptr %9, align 4, !tbaa !9
  %849 = sub i32 %848, %847
  store i32 %849, ptr %9, align 4, !tbaa !9
  %850 = load ptr, ptr %3, align 8, !tbaa !5
  %851 = load i32, ptr %9, align 4, !tbaa !9
  %852 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %850, i32 noundef %851)
  store i32 %852, ptr %9, align 4, !tbaa !9
  %853 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %853, ptr %4, align 4, !tbaa !9
  br label %1784

854:                                              ; preds = %111
  %855 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %855, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %856 = load i32, ptr %10, align 4, !tbaa !9
  %857 = load i32, ptr %9, align 4, !tbaa !9
  %858 = sub i32 %857, %856
  store i32 %858, ptr %9, align 4, !tbaa !9
  %859 = load ptr, ptr %3, align 8, !tbaa !5
  %860 = load i32, ptr %9, align 4, !tbaa !9
  %861 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %859, i32 noundef %860)
  store i32 %861, ptr %9, align 4, !tbaa !9
  %862 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %862, ptr %4, align 4, !tbaa !9
  br label %1784

863:                                              ; preds = %114
  %864 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %864, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %865 = load i32, ptr %10, align 4, !tbaa !9
  %866 = load i32, ptr %9, align 4, !tbaa !9
  %867 = sub i32 %866, %865
  store i32 %867, ptr %9, align 4, !tbaa !9
  %868 = load ptr, ptr %3, align 8, !tbaa !5
  %869 = load i32, ptr %9, align 4, !tbaa !9
  %870 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %868, i32 noundef %869)
  store i32 %870, ptr %9, align 4, !tbaa !9
  %871 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %871, ptr %4, align 4, !tbaa !9
  br label %1784

872:                                              ; preds = %115
  %873 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %873, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %874 = load i32, ptr %10, align 4, !tbaa !9
  %875 = load i32, ptr %9, align 4, !tbaa !9
  %876 = sub i32 %875, %874
  store i32 %876, ptr %9, align 4, !tbaa !9
  %877 = load ptr, ptr %3, align 8, !tbaa !5
  %878 = load i32, ptr %9, align 4, !tbaa !9
  %879 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %877, i32 noundef %878)
  store i32 %879, ptr %9, align 4, !tbaa !9
  %880 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %880, ptr %4, align 4, !tbaa !9
  br label %1784

881:                                              ; preds = %116
  %882 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %882, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %883 = load i32, ptr %10, align 4, !tbaa !9
  %884 = load i32, ptr %9, align 4, !tbaa !9
  %885 = sub i32 %884, %883
  store i32 %885, ptr %9, align 4, !tbaa !9
  %886 = load ptr, ptr %3, align 8, !tbaa !5
  %887 = load i32, ptr %9, align 4, !tbaa !9
  %888 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %886, i32 noundef %887)
  store i32 %888, ptr %9, align 4, !tbaa !9
  %889 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %889, ptr %4, align 4, !tbaa !9
  br label %1784

890:                                              ; preds = %117
  %891 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %891, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %892 = load i32, ptr %10, align 4, !tbaa !9
  %893 = load i32, ptr %9, align 4, !tbaa !9
  %894 = sub i32 %893, %892
  store i32 %894, ptr %9, align 4, !tbaa !9
  %895 = load ptr, ptr %3, align 8, !tbaa !5
  %896 = load i32, ptr %9, align 4, !tbaa !9
  %897 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %895, i32 noundef %896)
  store i32 %897, ptr %9, align 4, !tbaa !9
  %898 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %898, ptr %4, align 4, !tbaa !9
  br label %1784

899:                                              ; preds = %118
  %900 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %900, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %901 = load i32, ptr %10, align 4, !tbaa !9
  %902 = load i32, ptr %9, align 4, !tbaa !9
  %903 = sub i32 %902, %901
  store i32 %903, ptr %9, align 4, !tbaa !9
  %904 = load ptr, ptr %3, align 8, !tbaa !5
  %905 = load i32, ptr %9, align 4, !tbaa !9
  %906 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %904, i32 noundef %905)
  store i32 %906, ptr %9, align 4, !tbaa !9
  %907 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %907, ptr %4, align 4, !tbaa !9
  br label %1784

908:                                              ; preds = %119
  %909 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %909, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %910 = load i32, ptr %10, align 4, !tbaa !9
  %911 = load i32, ptr %9, align 4, !tbaa !9
  %912 = sub i32 %911, %910
  store i32 %912, ptr %9, align 4, !tbaa !9
  %913 = load ptr, ptr %3, align 8, !tbaa !5
  %914 = load i32, ptr %9, align 4, !tbaa !9
  %915 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %913, i32 noundef %914)
  store i32 %915, ptr %9, align 4, !tbaa !9
  %916 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %916, ptr %4, align 4, !tbaa !9
  br label %1784

917:                                              ; preds = %121
  %918 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %918, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %919 = load i32, ptr %10, align 4, !tbaa !9
  %920 = load i32, ptr %9, align 4, !tbaa !9
  %921 = sub i32 %920, %919
  store i32 %921, ptr %9, align 4, !tbaa !9
  %922 = load ptr, ptr %3, align 8, !tbaa !5
  %923 = load i32, ptr %9, align 4, !tbaa !9
  %924 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %922, i32 noundef %923)
  store i32 %924, ptr %9, align 4, !tbaa !9
  %925 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %925, ptr %4, align 4, !tbaa !9
  br label %1784

926:                                              ; preds = %122
  %927 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %927, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %928 = load i32, ptr %10, align 4, !tbaa !9
  %929 = load i32, ptr %9, align 4, !tbaa !9
  %930 = sub i32 %929, %928
  store i32 %930, ptr %9, align 4, !tbaa !9
  %931 = load ptr, ptr %3, align 8, !tbaa !5
  %932 = load i32, ptr %9, align 4, !tbaa !9
  %933 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %931, i32 noundef %932)
  store i32 %933, ptr %9, align 4, !tbaa !9
  %934 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %934, ptr %4, align 4, !tbaa !9
  br label %1784

935:                                              ; preds = %123
  %936 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %936, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %937 = load i32, ptr %10, align 4, !tbaa !9
  %938 = load i32, ptr %9, align 4, !tbaa !9
  %939 = sub i32 %938, %937
  store i32 %939, ptr %9, align 4, !tbaa !9
  %940 = load ptr, ptr %3, align 8, !tbaa !5
  %941 = load i32, ptr %9, align 4, !tbaa !9
  %942 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %940, i32 noundef %941)
  store i32 %942, ptr %9, align 4, !tbaa !9
  %943 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %943, ptr %4, align 4, !tbaa !9
  br label %1784

944:                                              ; preds = %124
  %945 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %945, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %946 = load i32, ptr %10, align 4, !tbaa !9
  %947 = load i32, ptr %9, align 4, !tbaa !9
  %948 = sub i32 %947, %946
  store i32 %948, ptr %9, align 4, !tbaa !9
  %949 = load ptr, ptr %3, align 8, !tbaa !5
  %950 = load i32, ptr %9, align 4, !tbaa !9
  %951 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %949, i32 noundef %950)
  store i32 %951, ptr %9, align 4, !tbaa !9
  %952 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %952, ptr %4, align 4, !tbaa !9
  br label %1784

953:                                              ; preds = %125
  %954 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %954, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %955 = load i32, ptr %10, align 4, !tbaa !9
  %956 = load i32, ptr %9, align 4, !tbaa !9
  %957 = sub i32 %956, %955
  store i32 %957, ptr %9, align 4, !tbaa !9
  %958 = load ptr, ptr %3, align 8, !tbaa !5
  %959 = load i32, ptr %9, align 4, !tbaa !9
  %960 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %958, i32 noundef %959)
  store i32 %960, ptr %9, align 4, !tbaa !9
  %961 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %961, ptr %4, align 4, !tbaa !9
  br label %1784

962:                                              ; preds = %126
  %963 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %963, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %964 = load i32, ptr %10, align 4, !tbaa !9
  %965 = load i32, ptr %9, align 4, !tbaa !9
  %966 = sub i32 %965, %964
  store i32 %966, ptr %9, align 4, !tbaa !9
  %967 = load ptr, ptr %3, align 8, !tbaa !5
  %968 = load i32, ptr %9, align 4, !tbaa !9
  %969 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %967, i32 noundef %968)
  store i32 %969, ptr %9, align 4, !tbaa !9
  %970 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %970, ptr %4, align 4, !tbaa !9
  br label %1784

971:                                              ; preds = %127
  %972 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %972, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %973 = load i32, ptr %10, align 4, !tbaa !9
  %974 = load i32, ptr %9, align 4, !tbaa !9
  %975 = sub i32 %974, %973
  store i32 %975, ptr %9, align 4, !tbaa !9
  %976 = load ptr, ptr %3, align 8, !tbaa !5
  %977 = load i32, ptr %9, align 4, !tbaa !9
  %978 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %976, i32 noundef %977)
  store i32 %978, ptr %9, align 4, !tbaa !9
  %979 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %979, ptr %4, align 4, !tbaa !9
  br label %1784

980:                                              ; preds = %128
  %981 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %981, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %982 = load i32, ptr %10, align 4, !tbaa !9
  %983 = load i32, ptr %9, align 4, !tbaa !9
  %984 = sub i32 %983, %982
  store i32 %984, ptr %9, align 4, !tbaa !9
  %985 = load ptr, ptr %3, align 8, !tbaa !5
  %986 = load i32, ptr %9, align 4, !tbaa !9
  %987 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %985, i32 noundef %986)
  store i32 %987, ptr %9, align 4, !tbaa !9
  %988 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %988, ptr %4, align 4, !tbaa !9
  br label %1784

989:                                              ; preds = %129
  %990 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %990, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %991 = load i32, ptr %10, align 4, !tbaa !9
  %992 = load i32, ptr %9, align 4, !tbaa !9
  %993 = sub i32 %992, %991
  store i32 %993, ptr %9, align 4, !tbaa !9
  %994 = load ptr, ptr %3, align 8, !tbaa !5
  %995 = load i32, ptr %9, align 4, !tbaa !9
  %996 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %994, i32 noundef %995)
  store i32 %996, ptr %9, align 4, !tbaa !9
  %997 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %997, ptr %4, align 4, !tbaa !9
  br label %1784

998:                                              ; preds = %130
  %999 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %999, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %1000 = load i32, ptr %10, align 4, !tbaa !9
  %1001 = load i32, ptr %9, align 4, !tbaa !9
  %1002 = sub i32 %1001, %1000
  store i32 %1002, ptr %9, align 4, !tbaa !9
  %1003 = load ptr, ptr %3, align 8, !tbaa !5
  %1004 = load i32, ptr %9, align 4, !tbaa !9
  %1005 = call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %1003, i32 noundef %1004)
  store i32 %1005, ptr %9, align 4, !tbaa !9
  %1006 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %1006, ptr %4, align 4, !tbaa !9
  br label %1784

1007:                                             ; preds = %133
  %1008 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %1008, ptr %9, align 4, !tbaa !9
  %1009 = load ptr, ptr %3, align 8, !tbaa !5
  %1010 = getelementptr inbounds %struct.w2c_hermes, ptr %1009, i32 0, i32 6
  %1011 = load i32, ptr %9, align 4, !tbaa !9
  %1012 = zext i32 %1011 to i64
  %1013 = add i64 %1012, 8
  %1014 = call i32 @i32_load(ptr noundef %1010, i64 noundef %1013)
  store i32 %1014, ptr %9, align 4, !tbaa !9
  %1015 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %1015, ptr %5, align 4, !tbaa !9
  %1016 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %1016, ptr %10, align 4, !tbaa !9
  store i32 20, ptr %11, align 4, !tbaa !9
  %1017 = load i32, ptr %11, align 4, !tbaa !9
  %1018 = load i32, ptr %10, align 4, !tbaa !9
  %1019 = add i32 %1018, %1017
  store i32 %1019, ptr %10, align 4, !tbaa !9
  %1020 = load i32, ptr %9, align 4, !tbaa !9
  %1021 = load i32, ptr %10, align 4, !tbaa !9
  %1022 = icmp eq i32 %1020, %1021
  %1023 = zext i1 %1022 to i32
  store i32 %1023, ptr %9, align 4, !tbaa !9
  %1024 = load i32, ptr %9, align 4, !tbaa !9
  %1025 = icmp ne i32 %1024, 0
  br i1 %1025, label %1026, label %1027

1026:                                             ; preds = %1007
  br label %1784

1027:                                             ; preds = %1007
  %1028 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1028, ptr %9, align 4, !tbaa !9
  %1029 = load ptr, ptr %3, align 8, !tbaa !5
  %1030 = load i32, ptr %9, align 4, !tbaa !9
  call void @w2c_hermes_dlfree(ptr noundef %1029, i32 noundef %1030)
  br label %1784

1031:                                             ; preds = %134
  %1032 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %1032, ptr %9, align 4, !tbaa !9
  %1033 = load ptr, ptr %3, align 8, !tbaa !5
  %1034 = getelementptr inbounds %struct.w2c_hermes, ptr %1033, i32 0, i32 6
  %1035 = load i32, ptr %9, align 4, !tbaa !9
  %1036 = zext i32 %1035 to i64
  %1037 = add i64 %1036, 8
  %1038 = call i32 @i32_load(ptr noundef %1034, i64 noundef %1037)
  store i32 %1038, ptr %9, align 4, !tbaa !9
  %1039 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %1039, ptr %5, align 4, !tbaa !9
  %1040 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %1040, ptr %10, align 4, !tbaa !9
  store i32 20, ptr %11, align 4, !tbaa !9
  %1041 = load i32, ptr %11, align 4, !tbaa !9
  %1042 = load i32, ptr %10, align 4, !tbaa !9
  %1043 = add i32 %1042, %1041
  store i32 %1043, ptr %10, align 4, !tbaa !9
  %1044 = load i32, ptr %9, align 4, !tbaa !9
  %1045 = load i32, ptr %10, align 4, !tbaa !9
  %1046 = icmp eq i32 %1044, %1045
  %1047 = zext i1 %1046 to i32
  store i32 %1047, ptr %9, align 4, !tbaa !9
  %1048 = load i32, ptr %9, align 4, !tbaa !9
  %1049 = icmp ne i32 %1048, 0
  br i1 %1049, label %1050, label %1051

1050:                                             ; preds = %1031
  br label %1784

1051:                                             ; preds = %1031
  %1052 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1052, ptr %9, align 4, !tbaa !9
  %1053 = load ptr, ptr %3, align 8, !tbaa !5
  %1054 = load i32, ptr %9, align 4, !tbaa !9
  call void @w2c_hermes_dlfree(ptr noundef %1053, i32 noundef %1054)
  br label %1784

1055:                                             ; preds = %135
  %1056 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %1056, ptr %9, align 4, !tbaa !9
  %1057 = load ptr, ptr %3, align 8, !tbaa !5
  %1058 = getelementptr inbounds %struct.w2c_hermes, ptr %1057, i32 0, i32 6
  %1059 = load i32, ptr %9, align 4, !tbaa !9
  %1060 = zext i32 %1059 to i64
  %1061 = add i64 %1060, 8
  %1062 = call i32 @i32_load(ptr noundef %1058, i64 noundef %1061)
  store i32 %1062, ptr %9, align 4, !tbaa !9
  %1063 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %1063, ptr %5, align 4, !tbaa !9
  %1064 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %1064, ptr %10, align 4, !tbaa !9
  store i32 20, ptr %11, align 4, !tbaa !9
  %1065 = load i32, ptr %11, align 4, !tbaa !9
  %1066 = load i32, ptr %10, align 4, !tbaa !9
  %1067 = add i32 %1066, %1065
  store i32 %1067, ptr %10, align 4, !tbaa !9
  %1068 = load i32, ptr %9, align 4, !tbaa !9
  %1069 = load i32, ptr %10, align 4, !tbaa !9
  %1070 = icmp eq i32 %1068, %1069
  %1071 = zext i1 %1070 to i32
  store i32 %1071, ptr %9, align 4, !tbaa !9
  %1072 = load i32, ptr %9, align 4, !tbaa !9
  %1073 = icmp ne i32 %1072, 0
  br i1 %1073, label %1074, label %1075

1074:                                             ; preds = %1055
  br label %1784

1075:                                             ; preds = %1055
  %1076 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1076, ptr %9, align 4, !tbaa !9
  %1077 = load ptr, ptr %3, align 8, !tbaa !5
  %1078 = load i32, ptr %9, align 4, !tbaa !9
  call void @w2c_hermes_dlfree(ptr noundef %1077, i32 noundef %1078)
  br label %1784

1079:                                             ; preds = %136
  %1080 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %1080, ptr %9, align 4, !tbaa !9
  %1081 = load ptr, ptr %3, align 8, !tbaa !5
  %1082 = getelementptr inbounds %struct.w2c_hermes, ptr %1081, i32 0, i32 6
  %1083 = load i32, ptr %9, align 4, !tbaa !9
  %1084 = zext i32 %1083 to i64
  %1085 = add i64 %1084, 8
  %1086 = call i32 @i32_load(ptr noundef %1082, i64 noundef %1085)
  store i32 %1086, ptr %9, align 4, !tbaa !9
  %1087 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %1087, ptr %5, align 4, !tbaa !9
  %1088 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %1088, ptr %10, align 4, !tbaa !9
  store i32 20, ptr %11, align 4, !tbaa !9
  %1089 = load i32, ptr %11, align 4, !tbaa !9
  %1090 = load i32, ptr %10, align 4, !tbaa !9
  %1091 = add i32 %1090, %1089
  store i32 %1091, ptr %10, align 4, !tbaa !9
  %1092 = load i32, ptr %9, align 4, !tbaa !9
  %1093 = load i32, ptr %10, align 4, !tbaa !9
  %1094 = icmp eq i32 %1092, %1093
  %1095 = zext i1 %1094 to i32
  store i32 %1095, ptr %9, align 4, !tbaa !9
  %1096 = load i32, ptr %9, align 4, !tbaa !9
  %1097 = icmp ne i32 %1096, 0
  br i1 %1097, label %1098, label %1099

1098:                                             ; preds = %1079
  br label %1784

1099:                                             ; preds = %1079
  %1100 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1100, ptr %9, align 4, !tbaa !9
  %1101 = load ptr, ptr %3, align 8, !tbaa !5
  %1102 = load i32, ptr %9, align 4, !tbaa !9
  call void @w2c_hermes_dlfree(ptr noundef %1101, i32 noundef %1102)
  br label %1784

1103:                                             ; preds = %137
  %1104 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %1104, ptr %9, align 4, !tbaa !9
  %1105 = load ptr, ptr %3, align 8, !tbaa !5
  %1106 = getelementptr inbounds %struct.w2c_hermes, ptr %1105, i32 0, i32 6
  %1107 = load i32, ptr %9, align 4, !tbaa !9
  %1108 = zext i32 %1107 to i64
  %1109 = add i64 %1108, 8
  %1110 = call i32 @i32_load(ptr noundef %1106, i64 noundef %1109)
  store i32 %1110, ptr %9, align 4, !tbaa !9
  %1111 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %1111, ptr %5, align 4, !tbaa !9
  %1112 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %1112, ptr %10, align 4, !tbaa !9
  store i32 20, ptr %11, align 4, !tbaa !9
  %1113 = load i32, ptr %11, align 4, !tbaa !9
  %1114 = load i32, ptr %10, align 4, !tbaa !9
  %1115 = add i32 %1114, %1113
  store i32 %1115, ptr %10, align 4, !tbaa !9
  %1116 = load i32, ptr %9, align 4, !tbaa !9
  %1117 = load i32, ptr %10, align 4, !tbaa !9
  %1118 = icmp eq i32 %1116, %1117
  %1119 = zext i1 %1118 to i32
  store i32 %1119, ptr %9, align 4, !tbaa !9
  %1120 = load i32, ptr %9, align 4, !tbaa !9
  %1121 = icmp ne i32 %1120, 0
  br i1 %1121, label %1122, label %1123

1122:                                             ; preds = %1103
  br label %1784

1123:                                             ; preds = %1103
  %1124 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1124, ptr %9, align 4, !tbaa !9
  %1125 = load ptr, ptr %3, align 8, !tbaa !5
  %1126 = load i32, ptr %9, align 4, !tbaa !9
  call void @w2c_hermes_dlfree(ptr noundef %1125, i32 noundef %1126)
  br label %1784

1127:                                             ; preds = %138
  %1128 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %1128, ptr %9, align 4, !tbaa !9
  %1129 = load ptr, ptr %3, align 8, !tbaa !5
  %1130 = getelementptr inbounds %struct.w2c_hermes, ptr %1129, i32 0, i32 6
  %1131 = load i32, ptr %9, align 4, !tbaa !9
  %1132 = zext i32 %1131 to i64
  %1133 = add i64 %1132, 8
  %1134 = call i32 @i32_load(ptr noundef %1130, i64 noundef %1133)
  store i32 %1134, ptr %9, align 4, !tbaa !9
  %1135 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %1135, ptr %5, align 4, !tbaa !9
  %1136 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %1136, ptr %10, align 4, !tbaa !9
  store i32 20, ptr %11, align 4, !tbaa !9
  %1137 = load i32, ptr %11, align 4, !tbaa !9
  %1138 = load i32, ptr %10, align 4, !tbaa !9
  %1139 = add i32 %1138, %1137
  store i32 %1139, ptr %10, align 4, !tbaa !9
  %1140 = load i32, ptr %9, align 4, !tbaa !9
  %1141 = load i32, ptr %10, align 4, !tbaa !9
  %1142 = icmp eq i32 %1140, %1141
  %1143 = zext i1 %1142 to i32
  store i32 %1143, ptr %9, align 4, !tbaa !9
  %1144 = load i32, ptr %9, align 4, !tbaa !9
  %1145 = icmp ne i32 %1144, 0
  br i1 %1145, label %1146, label %1147

1146:                                             ; preds = %1127
  br label %1784

1147:                                             ; preds = %1127
  %1148 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1148, ptr %9, align 4, !tbaa !9
  %1149 = load ptr, ptr %3, align 8, !tbaa !5
  %1150 = load i32, ptr %9, align 4, !tbaa !9
  call void @w2c_hermes_dlfree(ptr noundef %1149, i32 noundef %1150)
  br label %1784

1151:                                             ; preds = %139
  %1152 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %1152, ptr %9, align 4, !tbaa !9
  %1153 = load ptr, ptr %3, align 8, !tbaa !5
  %1154 = getelementptr inbounds %struct.w2c_hermes, ptr %1153, i32 0, i32 6
  %1155 = load i32, ptr %9, align 4, !tbaa !9
  %1156 = zext i32 %1155 to i64
  %1157 = add i64 %1156, 8
  %1158 = call i32 @i32_load(ptr noundef %1154, i64 noundef %1157)
  store i32 %1158, ptr %9, align 4, !tbaa !9
  %1159 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %1159, ptr %5, align 4, !tbaa !9
  %1160 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %1160, ptr %10, align 4, !tbaa !9
  store i32 20, ptr %11, align 4, !tbaa !9
  %1161 = load i32, ptr %11, align 4, !tbaa !9
  %1162 = load i32, ptr %10, align 4, !tbaa !9
  %1163 = add i32 %1162, %1161
  store i32 %1163, ptr %10, align 4, !tbaa !9
  %1164 = load i32, ptr %9, align 4, !tbaa !9
  %1165 = load i32, ptr %10, align 4, !tbaa !9
  %1166 = icmp eq i32 %1164, %1165
  %1167 = zext i1 %1166 to i32
  store i32 %1167, ptr %9, align 4, !tbaa !9
  %1168 = load i32, ptr %9, align 4, !tbaa !9
  %1169 = icmp ne i32 %1168, 0
  br i1 %1169, label %1170, label %1171

1170:                                             ; preds = %1151
  br label %1784

1171:                                             ; preds = %1151
  %1172 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1172, ptr %9, align 4, !tbaa !9
  %1173 = load ptr, ptr %3, align 8, !tbaa !5
  %1174 = load i32, ptr %9, align 4, !tbaa !9
  call void @w2c_hermes_dlfree(ptr noundef %1173, i32 noundef %1174)
  br label %1784

1175:                                             ; preds = %140
  %1176 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %1176, ptr %9, align 4, !tbaa !9
  %1177 = load ptr, ptr %3, align 8, !tbaa !5
  %1178 = getelementptr inbounds %struct.w2c_hermes, ptr %1177, i32 0, i32 6
  %1179 = load i32, ptr %9, align 4, !tbaa !9
  %1180 = zext i32 %1179 to i64
  %1181 = add i64 %1180, 8
  %1182 = call i32 @i32_load(ptr noundef %1178, i64 noundef %1181)
  store i32 %1182, ptr %9, align 4, !tbaa !9
  %1183 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %1183, ptr %5, align 4, !tbaa !9
  %1184 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %1184, ptr %10, align 4, !tbaa !9
  store i32 20, ptr %11, align 4, !tbaa !9
  %1185 = load i32, ptr %11, align 4, !tbaa !9
  %1186 = load i32, ptr %10, align 4, !tbaa !9
  %1187 = add i32 %1186, %1185
  store i32 %1187, ptr %10, align 4, !tbaa !9
  %1188 = load i32, ptr %9, align 4, !tbaa !9
  %1189 = load i32, ptr %10, align 4, !tbaa !9
  %1190 = icmp eq i32 %1188, %1189
  %1191 = zext i1 %1190 to i32
  store i32 %1191, ptr %9, align 4, !tbaa !9
  %1192 = load i32, ptr %9, align 4, !tbaa !9
  %1193 = icmp ne i32 %1192, 0
  br i1 %1193, label %1194, label %1195

1194:                                             ; preds = %1175
  br label %1784

1195:                                             ; preds = %1175
  %1196 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1196, ptr %9, align 4, !tbaa !9
  %1197 = load ptr, ptr %3, align 8, !tbaa !5
  %1198 = load i32, ptr %9, align 4, !tbaa !9
  call void @w2c_hermes_dlfree(ptr noundef %1197, i32 noundef %1198)
  br label %1784

1199:                                             ; preds = %141
  %1200 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %1200, ptr %9, align 4, !tbaa !9
  %1201 = load ptr, ptr %3, align 8, !tbaa !5
  %1202 = getelementptr inbounds %struct.w2c_hermes, ptr %1201, i32 0, i32 6
  %1203 = load i32, ptr %9, align 4, !tbaa !9
  %1204 = zext i32 %1203 to i64
  %1205 = add i64 %1204, 8
  %1206 = call i32 @i32_load(ptr noundef %1202, i64 noundef %1205)
  store i32 %1206, ptr %9, align 4, !tbaa !9
  %1207 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %1207, ptr %5, align 4, !tbaa !9
  %1208 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %1208, ptr %10, align 4, !tbaa !9
  store i32 20, ptr %11, align 4, !tbaa !9
  %1209 = load i32, ptr %11, align 4, !tbaa !9
  %1210 = load i32, ptr %10, align 4, !tbaa !9
  %1211 = add i32 %1210, %1209
  store i32 %1211, ptr %10, align 4, !tbaa !9
  %1212 = load i32, ptr %9, align 4, !tbaa !9
  %1213 = load i32, ptr %10, align 4, !tbaa !9
  %1214 = icmp eq i32 %1212, %1213
  %1215 = zext i1 %1214 to i32
  store i32 %1215, ptr %9, align 4, !tbaa !9
  %1216 = load i32, ptr %9, align 4, !tbaa !9
  %1217 = icmp ne i32 %1216, 0
  br i1 %1217, label %1218, label %1219

1218:                                             ; preds = %1199
  br label %1784

1219:                                             ; preds = %1199
  %1220 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1220, ptr %9, align 4, !tbaa !9
  %1221 = load ptr, ptr %3, align 8, !tbaa !5
  %1222 = load i32, ptr %9, align 4, !tbaa !9
  call void @w2c_hermes_dlfree(ptr noundef %1221, i32 noundef %1222)
  br label %1784

1223:                                             ; preds = %143
  %1224 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %1224, ptr %9, align 4, !tbaa !9
  %1225 = load ptr, ptr %3, align 8, !tbaa !5
  %1226 = getelementptr inbounds %struct.w2c_hermes, ptr %1225, i32 0, i32 6
  %1227 = load i32, ptr %9, align 4, !tbaa !9
  %1228 = zext i32 %1227 to i64
  %1229 = add i64 %1228, 36
  %1230 = call i32 @i32_load(ptr noundef %1226, i64 noundef %1229)
  store i32 %1230, ptr %9, align 4, !tbaa !9
  %1231 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %1231, ptr %6, align 4, !tbaa !9
  %1232 = load i32, ptr %9, align 4, !tbaa !9
  %1233 = icmp ne i32 %1232, 0
  br i1 %1233, label %1234, label %1275

1234:                                             ; preds = %1223
  %1235 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %1235, ptr %9, align 4, !tbaa !9
  %1236 = load ptr, ptr %3, align 8, !tbaa !5
  %1237 = getelementptr inbounds %struct.w2c_hermes, ptr %1236, i32 0, i32 6
  %1238 = load i32, ptr %9, align 4, !tbaa !9
  %1239 = zext i32 %1238 to i64
  %1240 = add i64 %1239, 32
  %1241 = call i32 @i32_load(ptr noundef %1237, i64 noundef %1240)
  store i32 %1241, ptr %9, align 4, !tbaa !9
  %1242 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %1242, ptr %5, align 4, !tbaa !9
  %1243 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %1243, ptr %10, align 4, !tbaa !9
  store i32 2, ptr %11, align 4, !tbaa !9
  %1244 = load i32, ptr %11, align 4, !tbaa !9
  %1245 = and i32 %1244, 31
  %1246 = load i32, ptr %10, align 4, !tbaa !9
  %1247 = shl i32 %1246, %1245
  store i32 %1247, ptr %10, align 4, !tbaa !9
  %1248 = load i32, ptr %10, align 4, !tbaa !9
  %1249 = load i32, ptr %9, align 4, !tbaa !9
  %1250 = add i32 %1249, %1248
  store i32 %1250, ptr %9, align 4, !tbaa !9
  %1251 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %1251, ptr %6, align 4, !tbaa !9
  br label %1252

1252:                                             ; preds = %1273, %1234
  %1253 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1253, ptr %9, align 4, !tbaa !9
  %1254 = load ptr, ptr %3, align 8, !tbaa !5
  %1255 = getelementptr inbounds %struct.w2c_hermes, ptr %1254, i32 0, i32 6
  %1256 = load i32, ptr %9, align 4, !tbaa !9
  %1257 = zext i32 %1256 to i64
  %1258 = call i32 @i32_load(ptr noundef %1255, i64 noundef %1257)
  store i32 %1258, ptr %9, align 4, !tbaa !9
  %1259 = load ptr, ptr %3, align 8, !tbaa !5
  %1260 = load i32, ptr %9, align 4, !tbaa !9
  call void @w2c_hermes_hermes0x3A0x3AValue0x3A0x3Adestroy0x28hermes0x3A0x3AValue0x2A0x29(ptr noundef %1259, i32 noundef %1260)
  %1261 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1261, ptr %9, align 4, !tbaa !9
  store i32 4, ptr %10, align 4, !tbaa !9
  %1262 = load i32, ptr %10, align 4, !tbaa !9
  %1263 = load i32, ptr %9, align 4, !tbaa !9
  %1264 = add i32 %1263, %1262
  store i32 %1264, ptr %9, align 4, !tbaa !9
  %1265 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %1265, ptr %5, align 4, !tbaa !9
  %1266 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %1266, ptr %10, align 4, !tbaa !9
  %1267 = load i32, ptr %9, align 4, !tbaa !9
  %1268 = load i32, ptr %10, align 4, !tbaa !9
  %1269 = icmp ne i32 %1267, %1268
  %1270 = zext i1 %1269 to i32
  store i32 %1270, ptr %9, align 4, !tbaa !9
  %1271 = load i32, ptr %9, align 4, !tbaa !9
  %1272 = icmp ne i32 %1271, 0
  br i1 %1272, label %1273, label %1274

1273:                                             ; preds = %1252
  br label %1252

1274:                                             ; preds = %1252
  br label %1275

1275:                                             ; preds = %1274, %1223
  %1276 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %1276, ptr %9, align 4, !tbaa !9
  %1277 = load ptr, ptr %3, align 8, !tbaa !5
  %1278 = getelementptr inbounds %struct.w2c_hermes, ptr %1277, i32 0, i32 6
  %1279 = load i32, ptr %9, align 4, !tbaa !9
  %1280 = zext i32 %1279 to i64
  %1281 = add i64 %1280, 88
  %1282 = call i32 @i32_load(ptr noundef %1278, i64 noundef %1281)
  store i32 %1282, ptr %9, align 4, !tbaa !9
  %1283 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %1283, ptr %5, align 4, !tbaa !9
  %1284 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %1284, ptr %9, align 4, !tbaa !9
  %1285 = load ptr, ptr %3, align 8, !tbaa !5
  %1286 = getelementptr inbounds %struct.w2c_hermes, ptr %1285, i32 0, i32 6
  %1287 = load i32, ptr %9, align 4, !tbaa !9
  %1288 = zext i32 %1287 to i64
  %1289 = add i64 %1288, 92
  %1290 = call i32 @i32_load(ptr noundef %1286, i64 noundef %1289)
  store i32 %1290, ptr %9, align 4, !tbaa !9
  %1291 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %1291, ptr %6, align 4, !tbaa !9
  %1292 = load i32, ptr %9, align 4, !tbaa !9
  %1293 = icmp ne i32 %1292, 0
  br i1 %1293, label %1294, label %1336

1294:                                             ; preds = %1275
  %1295 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1295, ptr %9, align 4, !tbaa !9
  %1296 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %1296, ptr %10, align 4, !tbaa !9
  store i32 2, ptr %11, align 4, !tbaa !9
  %1297 = load i32, ptr %11, align 4, !tbaa !9
  %1298 = and i32 %1297, 31
  %1299 = load i32, ptr %10, align 4, !tbaa !9
  %1300 = shl i32 %1299, %1298
  store i32 %1300, ptr %10, align 4, !tbaa !9
  %1301 = load i32, ptr %10, align 4, !tbaa !9
  %1302 = load i32, ptr %9, align 4, !tbaa !9
  %1303 = add i32 %1302, %1301
  store i32 %1303, ptr %9, align 4, !tbaa !9
  %1304 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %1304, ptr %6, align 4, !tbaa !9
  br label %1305

1305:                                             ; preds = %1326, %1294
  %1306 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1306, ptr %9, align 4, !tbaa !9
  %1307 = load ptr, ptr %3, align 8, !tbaa !5
  %1308 = getelementptr inbounds %struct.w2c_hermes, ptr %1307, i32 0, i32 6
  %1309 = load i32, ptr %9, align 4, !tbaa !9
  %1310 = zext i32 %1309 to i64
  %1311 = call i32 @i32_load(ptr noundef %1308, i64 noundef %1310)
  store i32 %1311, ptr %9, align 4, !tbaa !9
  %1312 = load ptr, ptr %3, align 8, !tbaa !5
  %1313 = load i32, ptr %9, align 4, !tbaa !9
  call void @w2c_hermes_hermes0x3A0x3AValue0x3A0x3Adestroy0x28hermes0x3A0x3AValue0x2A0x29(ptr noundef %1312, i32 noundef %1313)
  %1314 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1314, ptr %9, align 4, !tbaa !9
  store i32 4, ptr %10, align 4, !tbaa !9
  %1315 = load i32, ptr %10, align 4, !tbaa !9
  %1316 = load i32, ptr %9, align 4, !tbaa !9
  %1317 = add i32 %1316, %1315
  store i32 %1317, ptr %9, align 4, !tbaa !9
  %1318 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %1318, ptr %5, align 4, !tbaa !9
  %1319 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %1319, ptr %10, align 4, !tbaa !9
  %1320 = load i32, ptr %9, align 4, !tbaa !9
  %1321 = load i32, ptr %10, align 4, !tbaa !9
  %1322 = icmp ne i32 %1320, %1321
  %1323 = zext i1 %1322 to i32
  store i32 %1323, ptr %9, align 4, !tbaa !9
  %1324 = load i32, ptr %9, align 4, !tbaa !9
  %1325 = icmp ne i32 %1324, 0
  br i1 %1325, label %1326, label %1327

1326:                                             ; preds = %1305
  br label %1305

1327:                                             ; preds = %1305
  %1328 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %1328, ptr %9, align 4, !tbaa !9
  %1329 = load ptr, ptr %3, align 8, !tbaa !5
  %1330 = getelementptr inbounds %struct.w2c_hermes, ptr %1329, i32 0, i32 6
  %1331 = load i32, ptr %9, align 4, !tbaa !9
  %1332 = zext i32 %1331 to i64
  %1333 = add i64 %1332, 88
  %1334 = call i32 @i32_load(ptr noundef %1330, i64 noundef %1333)
  store i32 %1334, ptr %9, align 4, !tbaa !9
  %1335 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %1335, ptr %5, align 4, !tbaa !9
  br label %1336

1336:                                             ; preds = %1327, %1275
  %1337 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %1337, ptr %9, align 4, !tbaa !9
  store i32 100, ptr %10, align 4, !tbaa !9
  %1338 = load i32, ptr %10, align 4, !tbaa !9
  %1339 = load i32, ptr %9, align 4, !tbaa !9
  %1340 = add i32 %1339, %1338
  store i32 %1340, ptr %9, align 4, !tbaa !9
  %1341 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1341, ptr %10, align 4, !tbaa !9
  %1342 = load i32, ptr %9, align 4, !tbaa !9
  %1343 = load i32, ptr %10, align 4, !tbaa !9
  %1344 = icmp ne i32 %1342, %1343
  %1345 = zext i1 %1344 to i32
  store i32 %1345, ptr %9, align 4, !tbaa !9
  %1346 = load i32, ptr %9, align 4, !tbaa !9
  %1347 = icmp ne i32 %1346, 0
  br i1 %1347, label %1348, label %1352

1348:                                             ; preds = %1336
  %1349 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1349, ptr %9, align 4, !tbaa !9
  %1350 = load ptr, ptr %3, align 8, !tbaa !5
  %1351 = load i32, ptr %9, align 4, !tbaa !9
  call void @w2c_hermes_dlfree(ptr noundef %1350, i32 noundef %1351)
  br label %1352

1352:                                             ; preds = %1348, %1336
  %1353 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %1353, ptr %9, align 4, !tbaa !9
  %1354 = load ptr, ptr %3, align 8, !tbaa !5
  %1355 = getelementptr inbounds %struct.w2c_hermes, ptr %1354, i32 0, i32 6
  %1356 = load i32, ptr %9, align 4, !tbaa !9
  %1357 = zext i32 %1356 to i64
  %1358 = add i64 %1357, 80
  %1359 = call i32 @i32_load(ptr noundef %1355, i64 noundef %1358)
  store i32 %1359, ptr %9, align 4, !tbaa !9
  %1360 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %1360, ptr %5, align 4, !tbaa !9
  %1361 = load i32, ptr %9, align 4, !tbaa !9
  %1362 = icmp ne i32 %1361, 0
  %1363 = xor i1 %1362, true
  %1364 = zext i1 %1363 to i32
  store i32 %1364, ptr %9, align 4, !tbaa !9
  %1365 = load i32, ptr %9, align 4, !tbaa !9
  %1366 = icmp ne i32 %1365, 0
  br i1 %1366, label %1367, label %1368

1367:                                             ; preds = %1352
  br label %1469

1368:                                             ; preds = %1352
  %1369 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1369, ptr %9, align 4, !tbaa !9
  %1370 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1370, ptr %10, align 4, !tbaa !9
  %1371 = load ptr, ptr %3, align 8, !tbaa !5
  %1372 = getelementptr inbounds %struct.w2c_hermes, ptr %1371, i32 0, i32 6
  %1373 = load i32, ptr %10, align 4, !tbaa !9
  %1374 = zext i32 %1373 to i64
  %1375 = add i64 %1374, 4
  %1376 = call i32 @i32_load(ptr noundef %1372, i64 noundef %1375)
  store i32 %1376, ptr %10, align 4, !tbaa !9
  %1377 = load i32, ptr %10, align 4, !tbaa !9
  store i32 %1377, ptr %6, align 4, !tbaa !9
  store i32 1, ptr %11, align 4, !tbaa !9
  %1378 = load i32, ptr %11, align 4, !tbaa !9
  %1379 = load i32, ptr %10, align 4, !tbaa !9
  %1380 = sub i32 %1379, %1378
  store i32 %1380, ptr %10, align 4, !tbaa !9
  %1381 = load ptr, ptr %3, align 8, !tbaa !5
  %1382 = getelementptr inbounds %struct.w2c_hermes, ptr %1381, i32 0, i32 6
  %1383 = load i32, ptr %9, align 4, !tbaa !9
  %1384 = zext i32 %1383 to i64
  %1385 = add i64 %1384, 4
  %1386 = load i32, ptr %10, align 4, !tbaa !9
  call void @i32_store(ptr noundef %1382, i64 noundef %1385, i32 noundef %1386)
  %1387 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %1387, ptr %9, align 4, !tbaa !9
  %1388 = load i32, ptr %9, align 4, !tbaa !9
  %1389 = icmp ne i32 %1388, 0
  br i1 %1389, label %1390, label %1391

1390:                                             ; preds = %1368
  br label %1469

1391:                                             ; preds = %1368
  %1392 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1392, ptr %9, align 4, !tbaa !9
  %1393 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1393, ptr %10, align 4, !tbaa !9
  %1394 = load ptr, ptr %3, align 8, !tbaa !5
  %1395 = getelementptr inbounds %struct.w2c_hermes, ptr %1394, i32 0, i32 6
  %1396 = load i32, ptr %10, align 4, !tbaa !9
  %1397 = zext i32 %1396 to i64
  %1398 = call i32 @i32_load(ptr noundef %1395, i64 noundef %1397)
  store i32 %1398, ptr %10, align 4, !tbaa !9
  %1399 = load ptr, ptr %3, align 8, !tbaa !5
  %1400 = getelementptr inbounds %struct.w2c_hermes, ptr %1399, i32 0, i32 6
  %1401 = load i32, ptr %10, align 4, !tbaa !9
  %1402 = zext i32 %1401 to i64
  %1403 = add i64 %1402, 8
  %1404 = call i32 @i32_load(ptr noundef %1400, i64 noundef %1403)
  store i32 %1404, ptr %10, align 4, !tbaa !9
  %1405 = load i32, ptr %10, align 4, !tbaa !9
  %1406 = load ptr, ptr %3, align 8, !tbaa !5
  %1407 = getelementptr inbounds %struct.w2c_hermes, ptr %1406, i32 0, i32 7
  %1408 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %1407, i32 0, i32 2
  %1409 = load i32, ptr %1408, align 4, !tbaa !11
  %1410 = icmp ult i32 %1405, %1409
  br i1 %1410, label %1411, label %1434

1411:                                             ; preds = %1391
  %1412 = load ptr, ptr %3, align 8, !tbaa !5
  %1413 = getelementptr inbounds %struct.w2c_hermes, ptr %1412, i32 0, i32 7
  %1414 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %1413, i32 0, i32 0
  %1415 = load ptr, ptr %1414, align 8, !tbaa !17
  %1416 = load i32, ptr %10, align 4, !tbaa !9
  %1417 = zext i32 %1416 to i64
  %1418 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1415, i64 %1417
  %1419 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1418, i32 0, i32 1
  %1420 = load ptr, ptr %1419, align 8, !tbaa !18
  %1421 = icmp ne ptr %1420, null
  br i1 %1421, label %1422, label %1434

1422:                                             ; preds = %1411
  %1423 = load ptr, ptr @w2c_hermes_t3, align 8, !tbaa !5
  %1424 = load ptr, ptr %3, align 8, !tbaa !5
  %1425 = getelementptr inbounds %struct.w2c_hermes, ptr %1424, i32 0, i32 7
  %1426 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %1425, i32 0, i32 0
  %1427 = load ptr, ptr %1426, align 8, !tbaa !17
  %1428 = load i32, ptr %10, align 4, !tbaa !9
  %1429 = zext i32 %1428 to i64
  %1430 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1427, i64 %1429
  %1431 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1430, i32 0, i32 0
  %1432 = load ptr, ptr %1431, align 8, !tbaa !20
  %1433 = call zeroext i1 @func_types_eq(ptr noundef %1423, ptr noundef %1432)
  br label %1434

1434:                                             ; preds = %1422, %1411, %1391
  %1435 = phi i1 [ false, %1411 ], [ false, %1391 ], [ %1433, %1422 ]
  %1436 = xor i1 %1435, true
  %1437 = xor i1 %1436, true
  %1438 = zext i1 %1437 to i32
  %1439 = sext i32 %1438 to i64
  %1440 = call i64 @llvm.expect.i64(i64 %1439, i64 1)
  %1441 = icmp ne i64 %1440, 0
  br i1 %1441, label %1444, label %1442

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

1443:                                             ; No predecessors!
  br label %1444

1444:                                             ; preds = %1443, %1434
  %1445 = phi i1 [ true, %1434 ], [ false, %1443 ]
  %1446 = zext i1 %1445 to i32
  %1447 = load ptr, ptr %3, align 8, !tbaa !5
  %1448 = getelementptr inbounds %struct.w2c_hermes, ptr %1447, i32 0, i32 7
  %1449 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %1448, i32 0, i32 0
  %1450 = load ptr, ptr %1449, align 8, !tbaa !17
  %1451 = load i32, ptr %10, align 4, !tbaa !9
  %1452 = zext i32 %1451 to i64
  %1453 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1450, i64 %1452
  %1454 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1453, i32 0, i32 1
  %1455 = load ptr, ptr %1454, align 8, !tbaa !18
  %1456 = load ptr, ptr %3, align 8, !tbaa !5
  %1457 = getelementptr inbounds %struct.w2c_hermes, ptr %1456, i32 0, i32 7
  %1458 = getelementptr inbounds %struct.wasm_rt_funcref_table_t, ptr %1457, i32 0, i32 0
  %1459 = load ptr, ptr %1458, align 8, !tbaa !17
  %1460 = load i32, ptr %10, align 4, !tbaa !9
  %1461 = zext i32 %1460 to i64
  %1462 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1459, i64 %1461
  %1463 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %1462, i32 0, i32 2
  %1464 = load ptr, ptr %1463, align 8, !tbaa !21
  %1465 = load i32, ptr %9, align 4, !tbaa !9
  call void %1455(ptr noundef %1464, i32 noundef %1465)
  %1466 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1466, ptr %9, align 4, !tbaa !9
  %1467 = load ptr, ptr %3, align 8, !tbaa !5
  %1468 = load i32, ptr %9, align 4, !tbaa !9
  call void @w2c_hermes_std0x3A0x3A_0x5F20x3A0x3A_0x5Fshared_weak_count0x3A0x3A_0x5Frelease_weak0x280x29(ptr noundef %1467, i32 noundef %1468)
  br label %1469

1469:                                             ; preds = %1444, %1390, %1367
  %1470 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %1470, ptr %9, align 4, !tbaa !9
  %1471 = load ptr, ptr %3, align 8, !tbaa !5
  %1472 = getelementptr inbounds %struct.w2c_hermes, ptr %1471, i32 0, i32 6
  %1473 = load i32, ptr %9, align 4, !tbaa !9
  %1474 = zext i32 %1473 to i64
  %1475 = add i64 %1474, 32
  %1476 = call i32 @i32_load(ptr noundef %1472, i64 noundef %1475)
  store i32 %1476, ptr %9, align 4, !tbaa !9
  %1477 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %1477, ptr %5, align 4, !tbaa !9
  %1478 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %1478, ptr %10, align 4, !tbaa !9
  store i32 44, ptr %11, align 4, !tbaa !9
  %1479 = load i32, ptr %11, align 4, !tbaa !9
  %1480 = load i32, ptr %10, align 4, !tbaa !9
  %1481 = add i32 %1480, %1479
  store i32 %1481, ptr %10, align 4, !tbaa !9
  %1482 = load i32, ptr %9, align 4, !tbaa !9
  %1483 = load i32, ptr %10, align 4, !tbaa !9
  %1484 = icmp ne i32 %1482, %1483
  %1485 = zext i1 %1484 to i32
  store i32 %1485, ptr %9, align 4, !tbaa !9
  %1486 = load i32, ptr %9, align 4, !tbaa !9
  %1487 = icmp ne i32 %1486, 0
  br i1 %1487, label %1488, label %1492

1488:                                             ; preds = %1469
  %1489 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1489, ptr %9, align 4, !tbaa !9
  %1490 = load ptr, ptr %3, align 8, !tbaa !5
  %1491 = load i32, ptr %9, align 4, !tbaa !9
  call void @w2c_hermes_dlfree(ptr noundef %1490, i32 noundef %1491)
  br label %1492

1492:                                             ; preds = %1488, %1469
  %1493 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %1493, ptr %9, align 4, !tbaa !9
  %1494 = load ptr, ptr %3, align 8, !tbaa !5
  %1495 = getelementptr inbounds %struct.w2c_hermes, ptr %1494, i32 0, i32 6
  %1496 = load i32, ptr %9, align 4, !tbaa !9
  %1497 = zext i32 %1496 to i64
  %1498 = add i64 %1497, 8
  %1499 = call i32 @i32_load(ptr noundef %1495, i64 noundef %1498)
  store i32 %1499, ptr %9, align 4, !tbaa !9
  %1500 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %1500, ptr %5, align 4, !tbaa !9
  %1501 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %1501, ptr %10, align 4, !tbaa !9
  store i32 20, ptr %11, align 4, !tbaa !9
  %1502 = load i32, ptr %11, align 4, !tbaa !9
  %1503 = load i32, ptr %10, align 4, !tbaa !9
  %1504 = add i32 %1503, %1502
  store i32 %1504, ptr %10, align 4, !tbaa !9
  %1505 = load i32, ptr %9, align 4, !tbaa !9
  %1506 = load i32, ptr %10, align 4, !tbaa !9
  %1507 = icmp ne i32 %1505, %1506
  %1508 = zext i1 %1507 to i32
  store i32 %1508, ptr %9, align 4, !tbaa !9
  %1509 = load i32, ptr %9, align 4, !tbaa !9
  %1510 = icmp ne i32 %1509, 0
  br i1 %1510, label %1511, label %1515

1511:                                             ; preds = %1492
  %1512 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1512, ptr %9, align 4, !tbaa !9
  %1513 = load ptr, ptr %3, align 8, !tbaa !5
  %1514 = load i32, ptr %9, align 4, !tbaa !9
  call void @w2c_hermes_dlfree(ptr noundef %1513, i32 noundef %1514)
  br label %1515

1515:                                             ; preds = %1511, %1492
  br label %1784

1516:                                             ; preds = %144
  %1517 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %1517, ptr %9, align 4, !tbaa !9
  %1518 = load ptr, ptr %3, align 8, !tbaa !5
  %1519 = getelementptr inbounds %struct.w2c_hermes, ptr %1518, i32 0, i32 6
  %1520 = load i32, ptr %9, align 4, !tbaa !9
  %1521 = zext i32 %1520 to i64
  %1522 = add i64 %1521, 8
  %1523 = call i32 @i32_load(ptr noundef %1519, i64 noundef %1522)
  store i32 %1523, ptr %9, align 4, !tbaa !9
  %1524 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %1524, ptr %5, align 4, !tbaa !9
  %1525 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %1525, ptr %10, align 4, !tbaa !9
  store i32 20, ptr %11, align 4, !tbaa !9
  %1526 = load i32, ptr %11, align 4, !tbaa !9
  %1527 = load i32, ptr %10, align 4, !tbaa !9
  %1528 = add i32 %1527, %1526
  store i32 %1528, ptr %10, align 4, !tbaa !9
  %1529 = load i32, ptr %9, align 4, !tbaa !9
  %1530 = load i32, ptr %10, align 4, !tbaa !9
  %1531 = icmp eq i32 %1529, %1530
  %1532 = zext i1 %1531 to i32
  store i32 %1532, ptr %9, align 4, !tbaa !9
  %1533 = load i32, ptr %9, align 4, !tbaa !9
  %1534 = icmp ne i32 %1533, 0
  br i1 %1534, label %1535, label %1536

1535:                                             ; preds = %1516
  br label %1784

1536:                                             ; preds = %1516
  %1537 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1537, ptr %9, align 4, !tbaa !9
  %1538 = load ptr, ptr %3, align 8, !tbaa !5
  %1539 = load i32, ptr %9, align 4, !tbaa !9
  call void @w2c_hermes_dlfree(ptr noundef %1538, i32 noundef %1539)
  br label %1784

1540:                                             ; preds = %145
  %1541 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %1541, ptr %9, align 4, !tbaa !9
  %1542 = load ptr, ptr %3, align 8, !tbaa !5
  %1543 = getelementptr inbounds %struct.w2c_hermes, ptr %1542, i32 0, i32 6
  %1544 = load i32, ptr %9, align 4, !tbaa !9
  %1545 = zext i32 %1544 to i64
  %1546 = add i64 %1545, 8
  %1547 = call i32 @i32_load(ptr noundef %1543, i64 noundef %1546)
  store i32 %1547, ptr %9, align 4, !tbaa !9
  %1548 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %1548, ptr %5, align 4, !tbaa !9
  %1549 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %1549, ptr %10, align 4, !tbaa !9
  store i32 20, ptr %11, align 4, !tbaa !9
  %1550 = load i32, ptr %11, align 4, !tbaa !9
  %1551 = load i32, ptr %10, align 4, !tbaa !9
  %1552 = add i32 %1551, %1550
  store i32 %1552, ptr %10, align 4, !tbaa !9
  %1553 = load i32, ptr %9, align 4, !tbaa !9
  %1554 = load i32, ptr %10, align 4, !tbaa !9
  %1555 = icmp eq i32 %1553, %1554
  %1556 = zext i1 %1555 to i32
  store i32 %1556, ptr %9, align 4, !tbaa !9
  %1557 = load i32, ptr %9, align 4, !tbaa !9
  %1558 = icmp ne i32 %1557, 0
  br i1 %1558, label %1559, label %1560

1559:                                             ; preds = %1540
  br label %1784

1560:                                             ; preds = %1540
  %1561 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1561, ptr %9, align 4, !tbaa !9
  %1562 = load ptr, ptr %3, align 8, !tbaa !5
  %1563 = load i32, ptr %9, align 4, !tbaa !9
  call void @w2c_hermes_dlfree(ptr noundef %1562, i32 noundef %1563)
  br label %1784

1564:                                             ; preds = %146
  %1565 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %1565, ptr %9, align 4, !tbaa !9
  %1566 = load ptr, ptr %3, align 8, !tbaa !5
  %1567 = getelementptr inbounds %struct.w2c_hermes, ptr %1566, i32 0, i32 6
  %1568 = load i32, ptr %9, align 4, !tbaa !9
  %1569 = zext i32 %1568 to i64
  %1570 = add i64 %1569, 8
  %1571 = call i32 @i32_load(ptr noundef %1567, i64 noundef %1570)
  store i32 %1571, ptr %9, align 4, !tbaa !9
  %1572 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %1572, ptr %5, align 4, !tbaa !9
  %1573 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %1573, ptr %10, align 4, !tbaa !9
  store i32 20, ptr %11, align 4, !tbaa !9
  %1574 = load i32, ptr %11, align 4, !tbaa !9
  %1575 = load i32, ptr %10, align 4, !tbaa !9
  %1576 = add i32 %1575, %1574
  store i32 %1576, ptr %10, align 4, !tbaa !9
  %1577 = load i32, ptr %9, align 4, !tbaa !9
  %1578 = load i32, ptr %10, align 4, !tbaa !9
  %1579 = icmp eq i32 %1577, %1578
  %1580 = zext i1 %1579 to i32
  store i32 %1580, ptr %9, align 4, !tbaa !9
  %1581 = load i32, ptr %9, align 4, !tbaa !9
  %1582 = icmp ne i32 %1581, 0
  br i1 %1582, label %1583, label %1584

1583:                                             ; preds = %1564
  br label %1784

1584:                                             ; preds = %1564
  %1585 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1585, ptr %9, align 4, !tbaa !9
  %1586 = load ptr, ptr %3, align 8, !tbaa !5
  %1587 = load i32, ptr %9, align 4, !tbaa !9
  call void @w2c_hermes_dlfree(ptr noundef %1586, i32 noundef %1587)
  br label %1784

1588:                                             ; preds = %147
  %1589 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %1589, ptr %9, align 4, !tbaa !9
  %1590 = load ptr, ptr %3, align 8, !tbaa !5
  %1591 = getelementptr inbounds %struct.w2c_hermes, ptr %1590, i32 0, i32 6
  %1592 = load i32, ptr %9, align 4, !tbaa !9
  %1593 = zext i32 %1592 to i64
  %1594 = add i64 %1593, 8
  %1595 = call i32 @i32_load(ptr noundef %1591, i64 noundef %1594)
  store i32 %1595, ptr %9, align 4, !tbaa !9
  %1596 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %1596, ptr %5, align 4, !tbaa !9
  %1597 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %1597, ptr %10, align 4, !tbaa !9
  store i32 20, ptr %11, align 4, !tbaa !9
  %1598 = load i32, ptr %11, align 4, !tbaa !9
  %1599 = load i32, ptr %10, align 4, !tbaa !9
  %1600 = add i32 %1599, %1598
  store i32 %1600, ptr %10, align 4, !tbaa !9
  %1601 = load i32, ptr %9, align 4, !tbaa !9
  %1602 = load i32, ptr %10, align 4, !tbaa !9
  %1603 = icmp eq i32 %1601, %1602
  %1604 = zext i1 %1603 to i32
  store i32 %1604, ptr %9, align 4, !tbaa !9
  %1605 = load i32, ptr %9, align 4, !tbaa !9
  %1606 = icmp ne i32 %1605, 0
  br i1 %1606, label %1607, label %1608

1607:                                             ; preds = %1588
  br label %1784

1608:                                             ; preds = %1588
  %1609 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1609, ptr %9, align 4, !tbaa !9
  %1610 = load ptr, ptr %3, align 8, !tbaa !5
  %1611 = load i32, ptr %9, align 4, !tbaa !9
  call void @w2c_hermes_dlfree(ptr noundef %1610, i32 noundef %1611)
  br label %1784

1612:                                             ; preds = %148
  %1613 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %1613, ptr %9, align 4, !tbaa !9
  %1614 = load ptr, ptr %3, align 8, !tbaa !5
  %1615 = getelementptr inbounds %struct.w2c_hermes, ptr %1614, i32 0, i32 6
  %1616 = load i32, ptr %9, align 4, !tbaa !9
  %1617 = zext i32 %1616 to i64
  %1618 = add i64 %1617, 8
  %1619 = call i32 @i32_load(ptr noundef %1615, i64 noundef %1618)
  store i32 %1619, ptr %9, align 4, !tbaa !9
  %1620 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %1620, ptr %5, align 4, !tbaa !9
  %1621 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %1621, ptr %10, align 4, !tbaa !9
  store i32 20, ptr %11, align 4, !tbaa !9
  %1622 = load i32, ptr %11, align 4, !tbaa !9
  %1623 = load i32, ptr %10, align 4, !tbaa !9
  %1624 = add i32 %1623, %1622
  store i32 %1624, ptr %10, align 4, !tbaa !9
  %1625 = load i32, ptr %9, align 4, !tbaa !9
  %1626 = load i32, ptr %10, align 4, !tbaa !9
  %1627 = icmp eq i32 %1625, %1626
  %1628 = zext i1 %1627 to i32
  store i32 %1628, ptr %9, align 4, !tbaa !9
  %1629 = load i32, ptr %9, align 4, !tbaa !9
  %1630 = icmp ne i32 %1629, 0
  br i1 %1630, label %1631, label %1632

1631:                                             ; preds = %1612
  br label %1784

1632:                                             ; preds = %1612
  %1633 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1633, ptr %9, align 4, !tbaa !9
  %1634 = load ptr, ptr %3, align 8, !tbaa !5
  %1635 = load i32, ptr %9, align 4, !tbaa !9
  call void @w2c_hermes_dlfree(ptr noundef %1634, i32 noundef %1635)
  br label %1784

1636:                                             ; preds = %149
  %1637 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %1637, ptr %9, align 4, !tbaa !9
  store i32 28, ptr %10, align 4, !tbaa !9
  %1638 = load i32, ptr %10, align 4, !tbaa !9
  %1639 = load i32, ptr %9, align 4, !tbaa !9
  %1640 = add i32 %1639, %1638
  store i32 %1640, ptr %9, align 4, !tbaa !9
  %1641 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %1641, ptr %7, align 4, !tbaa !9
  %1642 = load ptr, ptr %3, align 8, !tbaa !5
  %1643 = getelementptr inbounds %struct.w2c_hermes, ptr %1642, i32 0, i32 6
  %1644 = load i32, ptr %9, align 4, !tbaa !9
  %1645 = zext i32 %1644 to i64
  %1646 = add i64 %1645, 4
  %1647 = call i32 @i32_load(ptr noundef %1643, i64 noundef %1646)
  store i32 %1647, ptr %9, align 4, !tbaa !9
  %1648 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %1648, ptr %5, align 4, !tbaa !9
  %1649 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %1649, ptr %10, align 4, !tbaa !9
  %1650 = load i32, ptr %9, align 4, !tbaa !9
  %1651 = load i32, ptr %10, align 4, !tbaa !9
  %1652 = icmp ne i32 %1650, %1651
  %1653 = zext i1 %1652 to i32
  store i32 %1653, ptr %9, align 4, !tbaa !9
  %1654 = load i32, ptr %9, align 4, !tbaa !9
  %1655 = icmp ne i32 %1654, 0
  br i1 %1655, label %1656, label %1709

1656:                                             ; preds = %1636
  br label %1657

1657:                                             ; preds = %1707, %1656
  %1658 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1658, ptr %9, align 4, !tbaa !9
  %1659 = load ptr, ptr %3, align 8, !tbaa !5
  %1660 = getelementptr inbounds %struct.w2c_hermes, ptr %1659, i32 0, i32 6
  %1661 = load i32, ptr %9, align 4, !tbaa !9
  %1662 = zext i32 %1661 to i64
  %1663 = add i64 %1662, 4
  %1664 = call i32 @i32_load(ptr noundef %1660, i64 noundef %1663)
  store i32 %1664, ptr %9, align 4, !tbaa !9
  %1665 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %1665, ptr %6, align 4, !tbaa !9
  %1666 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1666, ptr %10, align 4, !tbaa !9
  %1667 = load ptr, ptr %3, align 8, !tbaa !5
  %1668 = getelementptr inbounds %struct.w2c_hermes, ptr %1667, i32 0, i32 6
  %1669 = load i32, ptr %10, align 4, !tbaa !9
  %1670 = zext i32 %1669 to i64
  %1671 = call i32 @i32_load(ptr noundef %1668, i64 noundef %1670)
  store i32 %1671, ptr %10, align 4, !tbaa !9
  %1672 = load i32, ptr %10, align 4, !tbaa !9
  store i32 %1672, ptr %8, align 4, !tbaa !9
  %1673 = load ptr, ptr %3, align 8, !tbaa !5
  %1674 = getelementptr inbounds %struct.w2c_hermes, ptr %1673, i32 0, i32 6
  %1675 = load i32, ptr %9, align 4, !tbaa !9
  %1676 = zext i32 %1675 to i64
  %1677 = load i32, ptr %10, align 4, !tbaa !9
  call void @i32_store(ptr noundef %1674, i64 noundef %1676, i32 noundef %1677)
  %1678 = load i32, ptr %8, align 4, !tbaa !9
  store i32 %1678, ptr %9, align 4, !tbaa !9
  %1679 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %1679, ptr %10, align 4, !tbaa !9
  %1680 = load ptr, ptr %3, align 8, !tbaa !5
  %1681 = getelementptr inbounds %struct.w2c_hermes, ptr %1680, i32 0, i32 6
  %1682 = load i32, ptr %9, align 4, !tbaa !9
  %1683 = zext i32 %1682 to i64
  %1684 = add i64 %1683, 4
  %1685 = load i32, ptr %10, align 4, !tbaa !9
  call void @i32_store(ptr noundef %1681, i64 noundef %1684, i32 noundef %1685)
  %1686 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1686, ptr %9, align 4, !tbaa !9
  store i64 0, ptr %12, align 8, !tbaa !22
  %1687 = load ptr, ptr %3, align 8, !tbaa !5
  %1688 = getelementptr inbounds %struct.w2c_hermes, ptr %1687, i32 0, i32 6
  %1689 = load i32, ptr %9, align 4, !tbaa !9
  %1690 = zext i32 %1689 to i64
  %1691 = load i64, ptr %12, align 8, !tbaa !22
  call void @i64_store(ptr noundef %1688, i64 noundef %1690, i64 noundef %1691)
  %1692 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1692, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %1693 = load i32, ptr %10, align 4, !tbaa !9
  %1694 = load i32, ptr %9, align 4, !tbaa !9
  %1695 = add i32 %1694, %1693
  store i32 %1695, ptr %9, align 4, !tbaa !9
  %1696 = load ptr, ptr %3, align 8, !tbaa !5
  %1697 = load i32, ptr %9, align 4, !tbaa !9
  call void @w2c_hermes_hermes0x3A0x3AValue0x3A0x3Adestroy0x28hermes0x3A0x3AValue0x2A0x29(ptr noundef %1696, i32 noundef %1697)
  %1698 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %1698, ptr %9, align 4, !tbaa !9
  %1699 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %1699, ptr %5, align 4, !tbaa !9
  %1700 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %1700, ptr %10, align 4, !tbaa !9
  %1701 = load i32, ptr %9, align 4, !tbaa !9
  %1702 = load i32, ptr %10, align 4, !tbaa !9
  %1703 = icmp ne i32 %1701, %1702
  %1704 = zext i1 %1703 to i32
  store i32 %1704, ptr %9, align 4, !tbaa !9
  %1705 = load i32, ptr %9, align 4, !tbaa !9
  %1706 = icmp ne i32 %1705, 0
  br i1 %1706, label %1707, label %1708

1707:                                             ; preds = %1657
  br label %1657

1708:                                             ; preds = %1657
  br label %1709

1709:                                             ; preds = %1708, %1636
  %1710 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %1710, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %1711 = load i32, ptr %10, align 4, !tbaa !9
  %1712 = load i32, ptr %9, align 4, !tbaa !9
  %1713 = sub i32 %1712, %1711
  store i32 %1713, ptr %9, align 4, !tbaa !9
  %1714 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %1714, ptr %5, align 4, !tbaa !9
  %1715 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %1715, ptr %9, align 4, !tbaa !9
  %1716 = load ptr, ptr %3, align 8, !tbaa !5
  %1717 = getelementptr inbounds %struct.w2c_hermes, ptr %1716, i32 0, i32 6
  %1718 = load i32, ptr %9, align 4, !tbaa !9
  %1719 = zext i32 %1718 to i64
  %1720 = add i64 %1719, 8
  %1721 = call i32 @i32_load(ptr noundef %1717, i64 noundef %1720)
  store i32 %1721, ptr %9, align 4, !tbaa !9
  %1722 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %1722, ptr %6, align 4, !tbaa !9
  %1723 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %1723, ptr %10, align 4, !tbaa !9
  store i32 20, ptr %11, align 4, !tbaa !9
  %1724 = load i32, ptr %11, align 4, !tbaa !9
  %1725 = load i32, ptr %10, align 4, !tbaa !9
  %1726 = add i32 %1725, %1724
  store i32 %1726, ptr %10, align 4, !tbaa !9
  %1727 = load i32, ptr %9, align 4, !tbaa !9
  %1728 = load i32, ptr %10, align 4, !tbaa !9
  %1729 = icmp eq i32 %1727, %1728
  %1730 = zext i1 %1729 to i32
  store i32 %1730, ptr %9, align 4, !tbaa !9
  %1731 = load i32, ptr %9, align 4, !tbaa !9
  %1732 = icmp ne i32 %1731, 0
  br i1 %1732, label %1733, label %1736

1733:                                             ; preds = %1709
  %1734 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1734, ptr %9, align 4, !tbaa !9
  %1735 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %1735, ptr %4, align 4, !tbaa !9
  br label %1784

1736:                                             ; preds = %1709
  %1737 = load i32, ptr %6, align 4, !tbaa !9
  store i32 %1737, ptr %9, align 4, !tbaa !9
  %1738 = load ptr, ptr %3, align 8, !tbaa !5
  %1739 = load i32, ptr %9, align 4, !tbaa !9
  call void @w2c_hermes_dlfree(ptr noundef %1738, i32 noundef %1739)
  %1740 = load i32, ptr %5, align 4, !tbaa !9
  store i32 %1740, ptr %9, align 4, !tbaa !9
  %1741 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %1741, ptr %4, align 4, !tbaa !9
  br label %1784

1742:                                             ; preds = %151
  %1743 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %1743, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %1744 = load i32, ptr %10, align 4, !tbaa !9
  %1745 = load i32, ptr %9, align 4, !tbaa !9
  %1746 = sub i32 %1745, %1744
  store i32 %1746, ptr %9, align 4, !tbaa !9
  %1747 = load ptr, ptr %3, align 8, !tbaa !5
  %1748 = load i32, ptr %9, align 4, !tbaa !9
  %1749 = call i32 @w2c_hermes_hermes0x3A0x3AFunction0x3A0x3A0x7EFunction0x280x29(ptr noundef %1747, i32 noundef %1748)
  store i32 %1749, ptr %9, align 4, !tbaa !9
  %1750 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %1750, ptr %4, align 4, !tbaa !9
  br label %1784

1751:                                             ; preds = %152
  %1752 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %1752, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %1753 = load i32, ptr %10, align 4, !tbaa !9
  %1754 = load i32, ptr %9, align 4, !tbaa !9
  %1755 = sub i32 %1754, %1753
  store i32 %1755, ptr %9, align 4, !tbaa !9
  %1756 = load ptr, ptr %3, align 8, !tbaa !5
  %1757 = load i32, ptr %9, align 4, !tbaa !9
  %1758 = call i32 @w2c_hermes_hermes0x3A0x3AFunction0x3A0x3A0x7EFunction0x280x29(ptr noundef %1756, i32 noundef %1757)
  store i32 %1758, ptr %9, align 4, !tbaa !9
  %1759 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %1759, ptr %4, align 4, !tbaa !9
  br label %1784

1760:                                             ; preds = %153
  %1761 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %1761, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %1762 = load i32, ptr %10, align 4, !tbaa !9
  %1763 = load i32, ptr %9, align 4, !tbaa !9
  %1764 = sub i32 %1763, %1762
  store i32 %1764, ptr %9, align 4, !tbaa !9
  %1765 = load ptr, ptr %3, align 8, !tbaa !5
  %1766 = load i32, ptr %9, align 4, !tbaa !9
  %1767 = call i32 @w2c_hermes_hermes0x3A0x3AFunction0x3A0x3A0x7EFunction0x280x29(ptr noundef %1765, i32 noundef %1766)
  store i32 %1767, ptr %9, align 4, !tbaa !9
  %1768 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %1768, ptr %4, align 4, !tbaa !9
  br label %1784

1769:                                             ; preds = %154
  %1770 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %1770, ptr %9, align 4, !tbaa !9
  store i32 8, ptr %10, align 4, !tbaa !9
  %1771 = load i32, ptr %10, align 4, !tbaa !9
  %1772 = load i32, ptr %9, align 4, !tbaa !9
  %1773 = sub i32 %1772, %1771
  store i32 %1773, ptr %9, align 4, !tbaa !9
  %1774 = load ptr, ptr %3, align 8, !tbaa !5
  %1775 = load i32, ptr %9, align 4, !tbaa !9
  %1776 = call i32 @w2c_hermes_hermes0x3A0x3AFunction0x3A0x3A0x7EFunction0x280x29(ptr noundef %1774, i32 noundef %1775)
  store i32 %1776, ptr %9, align 4, !tbaa !9
  %1777 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %1777, ptr %4, align 4, !tbaa !9
  br label %1784

1778:                                             ; preds = %156
  %1779 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %1779, ptr %9, align 4, !tbaa !9
  %1780 = load ptr, ptr %3, align 8, !tbaa !5
  %1781 = load i32, ptr %9, align 4, !tbaa !9
  %1782 = call i32 @w2c_hermes_hermes0x3A0x3AModule0x3A0x3A0x7EModule0x280x29(ptr noundef %1780, i32 noundef %1781)
  store i32 %1782, ptr %9, align 4, !tbaa !9
  %1783 = load i32, ptr %9, align 4, !tbaa !9
  store i32 %1783, ptr %4, align 4, !tbaa !9
  br label %1784

1784:                                             ; preds = %1778, %1769, %1760, %1751, %1742, %1736, %1733, %1632, %1631, %1608, %1607, %1584, %1583, %1560, %1559, %1536, %1535, %1515, %1219, %1218, %1195, %1194, %1171, %1170, %1147, %1146, %1123, %1122, %1099, %1098, %1075, %1074, %1051, %1050, %1027, %1026, %998, %989, %980, %971, %962, %953, %944, %935, %926, %917, %908, %899, %890, %881, %872, %863, %854, %845, %836, %827, %818, %809, %800, %791, %782, %773, %764, %755, %746, %737, %728, %719, %710, %701, %692, %683, %674, %665, %656, %647, %638, %629, %620, %611, %602, %593, %584, %575, %566, %565, %483, %474, %465, %456, %447, %438, %429, %420, %411, %402, %393, %384, %375, %366, %357, %348, %339, %330, %321, %312, %303, %294, %285, %276, %267, %258, %249, %240, %231, %222, %213, %204, %195, %186, %177, %168, %159
  %1785 = load i32, ptr %4, align 4, !tbaa !9
  store i32 %1785, ptr %9, align 4, !tbaa !9
  %1786 = load ptr, ptr %3, align 8, !tbaa !5
  %1787 = load i32, ptr %9, align 4, !tbaa !9
  call void @w2c_hermes_dlfree(ptr noundef %1786, i32 noundef %1787)
  br label %1788

1788:                                             ; preds = %1784, %2
  call void @llvm.lifetime.end.p0(i64 8, 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_std0x3A0x3A_0x5F20x3A0x3A_0x5Fshared_weak_count0x3A0x3A_0x5Frelease_weak0x280x29(ptr noundef, i32 noundef) #4

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

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

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

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

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

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

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

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

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

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

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

; Function Attrs: nounwind uwtable
define dso_local void @w2c_hermes_hermes0x3A0x3AValue0x3A0x3Adestroy0x28hermes0x3A0x3AValue0x2A0x29(ptr noundef %0, i32 noundef %1) local_unnamed_addr #2 {
  %.not = icmp eq i32 %1, 0
  br i1 %.not, label %473, label %3

3:                                                ; preds = %2
  %4 = getelementptr inbounds i8, ptr %0, i64 40
  %5 = zext i32 %1 to i64
  %6 = tail call i32 @i32_load8_u(ptr noundef nonnull %4, i64 noundef %5)
  switch i32 %6, label %8 [
    i32 4, label %11
    i32 5, label %7
    i32 6, label %14
    i32 7, label %17
    i32 8, label %20
    i32 9, label %23
    i32 10, label %7
    i32 11, label %26
    i32 12, label %29
    i32 13, label %32
    i32 14, label %7
    i32 15, label %7
    i32 16, label %7
    i32 17, label %35
    i32 18, label %38
    i32 19, label %41
    i32 20, label %44
    i32 21, label %47
    i32 22, label %50
    i32 23, label %53
    i32 24, label %56
    i32 25, label %59
    i32 26, label %62
    i32 27, label %65
    i32 28, label %68
    i32 29, label %71
    i32 30, label %74
    i32 31, label %77
    i32 32, label %7
    i32 33, label %80
    i32 34, label %83
    i32 35, label %7
    i32 36, label %86
    i32 37, label %89
    i32 38, label %7
    i32 39, label %7
    i32 40, label %92
    i32 41, label %95
    i32 42, label %7
    i32 43, label %98
    i32 44, label %101
    i32 45, label %7
    i32 46, label %104
    i32 47, label %107
    i32 48, label %7
    i32 49, label %110
    i32 50, label %113
    i32 51, label %116
    i32 52, label %119
    i32 53, label %136
    i32 54, label %139
    i32 55, label %142
    i32 56, label %145
    i32 57, label %148
    i32 58, label %151
    i32 59, label %154
    i32 60, label %157
    i32 61, label %160
    i32 62, label %163
    i32 63, label %166
    i32 64, label %169
    i32 65, label %172
    i32 66, label %175
    i32 67, label %178
    i32 68, label %181
    i32 69, label %7
    i32 70, label %184
    i32 71, label %187
    i32 72, label %190
    i32 73, label %193
    i32 74, label %7
    i32 75, label %7
    i32 76, label %196
    i32 77, label %199
    i32 78, label %202
    i32 79, label %205
    i32 80, label %208
    i32 81, label %211
    i32 82, label %214
    i32 83, label %217
    i32 84, label %220
    i32 85, label %223
    i32 86, label %226
    i32 87, label %229
    i32 88, label %232
    i32 89, label %7
    i32 90, label %7
    i32 91, label %235
    i32 92, label %238
    i32 93, label %241
    i32 94, label %244
    i32 95, label %247
    i32 96, label %250
    i32 97, label %7
    i32 98, label %253
    i32 99, label %256
    i32 100, label %259
    i32 101, label %262
    i32 102, label %265
    i32 103, label %268
    i32 104, label %271
    i32 105, label %274
    i32 106, label %277
    i32 107, label %280
    i32 108, label %7
    i32 109, label %7
    i32 110, label %283
    i32 111, label %289
    i32 112, label %295
    i32 113, label %301
    i32 114, label %307
    i32 115, label %313
    i32 116, label %319
    i32 117, label %325
    i32 118, label %331
    i32 119, label %7
    i32 120, label %337
    i32 121, label %409
    i32 122, label %415
    i32 123, label %421
    i32 124, label %427
    i32 125, label %433
    i32 126, label %439
    i32 127, label %7
    i32 128, label %458
    i32 129, label %461
    i32 130, label %464
    i32 131, label %467
    i32 132, label %7
    i32 133, label %470
  ]

7:                                                ; preds = %3, %3, %3, %3, %3, %3, %3, %3, %3, %3, %3, %3, %3, %3, %3, %3, %3, %3, %3, %3, %3, %3, %3
  tail call void @wasm_rt_trap(i32 noundef 5) #4
  unreachable

8:                                                ; preds = %3
  %9 = add i32 %1, -8
  %10 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %9)
  br label %472

11:                                               ; preds = %3
  %12 = add i32 %1, -8
  %13 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %12)
  br label %472

14:                                               ; preds = %3
  %15 = add i32 %1, -8
  %16 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %15)
  br label %472

17:                                               ; preds = %3
  %18 = add i32 %1, -8
  %19 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %18)
  br label %472

20:                                               ; preds = %3
  %21 = add i32 %1, -8
  %22 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %21)
  br label %472

23:                                               ; preds = %3
  %24 = add i32 %1, -8
  %25 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %24)
  br label %472

26:                                               ; preds = %3
  %27 = add i32 %1, -8
  %28 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %27)
  br label %472

29:                                               ; preds = %3
  %30 = add i32 %1, -8
  %31 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %30)
  br label %472

32:                                               ; preds = %3
  %33 = add i32 %1, -8
  %34 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %33)
  br label %472

35:                                               ; preds = %3
  %36 = add i32 %1, -8
  %37 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %36)
  br label %472

38:                                               ; preds = %3
  %39 = add i32 %1, -8
  %40 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %39)
  br label %472

41:                                               ; preds = %3
  %42 = add i32 %1, -8
  %43 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %42)
  br label %472

44:                                               ; preds = %3
  %45 = add i32 %1, -8
  %46 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %45)
  br label %472

47:                                               ; preds = %3
  %48 = add i32 %1, -8
  %49 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %48)
  br label %472

50:                                               ; preds = %3
  %51 = add i32 %1, -8
  %52 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %51)
  br label %472

53:                                               ; preds = %3
  %54 = add i32 %1, -8
  %55 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %54)
  br label %472

56:                                               ; preds = %3
  %57 = add i32 %1, -8
  %58 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %57)
  br label %472

59:                                               ; preds = %3
  %60 = add i32 %1, -8
  %61 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %60)
  br label %472

62:                                               ; preds = %3
  %63 = add i32 %1, -8
  %64 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %63)
  br label %472

65:                                               ; preds = %3
  %66 = add i32 %1, -8
  %67 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %66)
  br label %472

68:                                               ; preds = %3
  %69 = add i32 %1, -8
  %70 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %69)
  br label %472

71:                                               ; preds = %3
  %72 = add i32 %1, -8
  %73 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %72)
  br label %472

74:                                               ; preds = %3
  %75 = add i32 %1, -8
  %76 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %75)
  br label %472

77:                                               ; preds = %3
  %78 = add i32 %1, -8
  %79 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %78)
  br label %472

80:                                               ; preds = %3
  %81 = add i32 %1, -8
  %82 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %81)
  br label %472

83:                                               ; preds = %3
  %84 = add i32 %1, -8
  %85 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %84)
  br label %472

86:                                               ; preds = %3
  %87 = add i32 %1, -8
  %88 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %87)
  br label %472

89:                                               ; preds = %3
  %90 = add i32 %1, -8
  %91 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %90)
  br label %472

92:                                               ; preds = %3
  %93 = add i32 %1, -8
  %94 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %93)
  br label %472

95:                                               ; preds = %3
  %96 = add i32 %1, -8
  %97 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %96)
  br label %472

98:                                               ; preds = %3
  %99 = add i32 %1, -8
  %100 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %99)
  br label %472

101:                                              ; preds = %3
  %102 = add i32 %1, -8
  %103 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %102)
  br label %472

104:                                              ; preds = %3
  %105 = add i32 %1, -8
  %106 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %105)
  br label %472

107:                                              ; preds = %3
  %108 = add i32 %1, -8
  %109 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %108)
  br label %472

110:                                              ; preds = %3
  %111 = add i32 %1, -8
  %112 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %111)
  br label %472

113:                                              ; preds = %3
  %114 = add i32 %1, -8
  %115 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %114)
  br label %472

116:                                              ; preds = %3
  %117 = add i32 %1, -8
  %118 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %117)
  br label %472

119:                                              ; preds = %3
  %120 = add i32 %1, -8
  %121 = zext i32 %120 to i64
  %122 = add nuw nsw i64 %121, 88
  %123 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %122)
  %124 = add i32 %1, 92
  %.not1014 = icmp eq i32 %123, %124
  br i1 %.not1014, label %126, label %125

125:                                              ; preds = %119
  tail call void @w2c_hermes_dlfree(ptr noundef %0, i32 noundef %123) #5
  br label %126

126:                                              ; preds = %125, %119
  %127 = add nuw nsw i64 %121, 40
  %128 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %127)
  %129 = add i32 %1, 44
  %.not1015 = icmp eq i32 %128, %129
  br i1 %.not1015, label %131, label %130

130:                                              ; preds = %126
  tail call void @w2c_hermes_dlfree(ptr noundef %0, i32 noundef %128) #5
  br label %131

131:                                              ; preds = %130, %126
  %132 = add nuw nsw i64 %121, 16
  %133 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %132)
  %134 = add i32 %1, 20
  %.not1016 = icmp eq i32 %133, %134
  br i1 %.not1016, label %472, label %135

135:                                              ; preds = %131
  tail call void @w2c_hermes_dlfree(ptr noundef %0, i32 noundef %133) #5
  br label %472

136:                                              ; preds = %3
  %137 = add i32 %1, -8
  %138 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %137)
  br label %472

139:                                              ; preds = %3
  %140 = add i32 %1, -8
  %141 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %140)
  br label %472

142:                                              ; preds = %3
  %143 = add i32 %1, -8
  %144 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %143)
  br label %472

145:                                              ; preds = %3
  %146 = add i32 %1, -8
  %147 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %146)
  br label %472

148:                                              ; preds = %3
  %149 = add i32 %1, -8
  %150 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %149)
  br label %472

151:                                              ; preds = %3
  %152 = add i32 %1, -8
  %153 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %152)
  br label %472

154:                                              ; preds = %3
  %155 = add i32 %1, -8
  %156 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %155)
  br label %472

157:                                              ; preds = %3
  %158 = add i32 %1, -8
  %159 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %158)
  br label %472

160:                                              ; preds = %3
  %161 = add i32 %1, -8
  %162 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %161)
  br label %472

163:                                              ; preds = %3
  %164 = add i32 %1, -8
  %165 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %164)
  br label %472

166:                                              ; preds = %3
  %167 = add i32 %1, -8
  %168 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %167)
  br label %472

169:                                              ; preds = %3
  %170 = add i32 %1, -8
  %171 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %170)
  br label %472

172:                                              ; preds = %3
  %173 = add i32 %1, -8
  %174 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %173)
  br label %472

175:                                              ; preds = %3
  %176 = add i32 %1, -8
  %177 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %176)
  br label %472

178:                                              ; preds = %3
  %179 = add i32 %1, -8
  %180 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %179)
  br label %472

181:                                              ; preds = %3
  %182 = add i32 %1, -8
  %183 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %182)
  br label %472

184:                                              ; preds = %3
  %185 = add i32 %1, -8
  %186 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %185)
  br label %472

187:                                              ; preds = %3
  %188 = add i32 %1, -8
  %189 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %188)
  br label %472

190:                                              ; preds = %3
  %191 = add i32 %1, -8
  %192 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %191)
  br label %472

193:                                              ; preds = %3
  %194 = add i32 %1, -8
  %195 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %194)
  br label %472

196:                                              ; preds = %3
  %197 = add i32 %1, -8
  %198 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %197)
  br label %472

199:                                              ; preds = %3
  %200 = add i32 %1, -8
  %201 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %200)
  br label %472

202:                                              ; preds = %3
  %203 = add i32 %1, -8
  %204 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %203)
  br label %472

205:                                              ; preds = %3
  %206 = add i32 %1, -8
  %207 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %206)
  br label %472

208:                                              ; preds = %3
  %209 = add i32 %1, -8
  %210 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %209)
  br label %472

211:                                              ; preds = %3
  %212 = add i32 %1, -8
  %213 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %212)
  br label %472

214:                                              ; preds = %3
  %215 = add i32 %1, -8
  %216 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %215)
  br label %472

217:                                              ; preds = %3
  %218 = add i32 %1, -8
  %219 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %218)
  br label %472

220:                                              ; preds = %3
  %221 = add i32 %1, -8
  %222 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %221)
  br label %472

223:                                              ; preds = %3
  %224 = add i32 %1, -8
  %225 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %224)
  br label %472

226:                                              ; preds = %3
  %227 = add i32 %1, -8
  %228 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %227)
  br label %472

229:                                              ; preds = %3
  %230 = add i32 %1, -8
  %231 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %230)
  br label %472

232:                                              ; preds = %3
  %233 = add i32 %1, -8
  %234 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %233)
  br label %472

235:                                              ; preds = %3
  %236 = add i32 %1, -8
  %237 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %236)
  br label %472

238:                                              ; preds = %3
  %239 = add i32 %1, -8
  %240 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %239)
  br label %472

241:                                              ; preds = %3
  %242 = add i32 %1, -8
  %243 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %242)
  br label %472

244:                                              ; preds = %3
  %245 = add i32 %1, -8
  %246 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %245)
  br label %472

247:                                              ; preds = %3
  %248 = add i32 %1, -8
  %249 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %248)
  br label %472

250:                                              ; preds = %3
  %251 = add i32 %1, -8
  %252 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %251)
  br label %472

253:                                              ; preds = %3
  %254 = add i32 %1, -8
  %255 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %254)
  br label %472

256:                                              ; preds = %3
  %257 = add i32 %1, -8
  %258 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %257)
  br label %472

259:                                              ; preds = %3
  %260 = add i32 %1, -8
  %261 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %260)
  br label %472

262:                                              ; preds = %3
  %263 = add i32 %1, -8
  %264 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %263)
  br label %472

265:                                              ; preds = %3
  %266 = add i32 %1, -8
  %267 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %266)
  br label %472

268:                                              ; preds = %3
  %269 = add i32 %1, -8
  %270 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %269)
  br label %472

271:                                              ; preds = %3
  %272 = add i32 %1, -8
  %273 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %272)
  br label %472

274:                                              ; preds = %3
  %275 = add i32 %1, -8
  %276 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %275)
  br label %472

277:                                              ; preds = %3
  %278 = add i32 %1, -8
  %279 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %278)
  br label %472

280:                                              ; preds = %3
  %281 = add i32 %1, -8
  %282 = tail call i32 @w2c_hermes_hermes0x3A0x3AInstruction0x3A0x3A0x7EInstruction0x280x29(ptr noundef %0, i32 noundef %281)
  br label %472

283:                                              ; preds = %3
  %284 = add nuw nsw i64 %5, 8
  %285 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %284)
  %286 = add i32 %1, 20
  %287 = icmp eq i32 %285, %286
  br i1 %287, label %472, label %288

288:                                              ; preds = %283
  tail call void @w2c_hermes_dlfree(ptr noundef %0, i32 noundef %285) #5
  br label %472

289:                                              ; preds = %3
  %290 = add nuw nsw i64 %5, 8
  %291 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %290)
  %292 = add i32 %1, 20
  %293 = icmp eq i32 %291, %292
  br i1 %293, label %472, label %294

294:                                              ; preds = %289
  tail call void @w2c_hermes_dlfree(ptr noundef %0, i32 noundef %291) #5
  br label %472

295:                                              ; preds = %3
  %296 = add nuw nsw i64 %5, 8
  %297 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %296)
  %298 = add i32 %1, 20
  %299 = icmp eq i32 %297, %298
  br i1 %299, label %472, label %300

300:                                              ; preds = %295
  tail call void @w2c_hermes_dlfree(ptr noundef %0, i32 noundef %297) #5
  br label %472

301:                                              ; preds = %3
  %302 = add nuw nsw i64 %5, 8
  %303 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %302)
  %304 = add i32 %1, 20
  %305 = icmp eq i32 %303, %304
  br i1 %305, label %472, label %306

306:                                              ; preds = %301
  tail call void @w2c_hermes_dlfree(ptr noundef %0, i32 noundef %303) #5
  br label %472

307:                                              ; preds = %3
  %308 = add nuw nsw i64 %5, 8
  %309 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %308)
  %310 = add i32 %1, 20
  %311 = icmp eq i32 %309, %310
  br i1 %311, label %472, label %312

312:                                              ; preds = %307
  tail call void @w2c_hermes_dlfree(ptr noundef %0, i32 noundef %309) #5
  br label %472

313:                                              ; preds = %3
  %314 = add nuw nsw i64 %5, 8
  %315 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %314)
  %316 = add i32 %1, 20
  %317 = icmp eq i32 %315, %316
  br i1 %317, label %472, label %318

318:                                              ; preds = %313
  tail call void @w2c_hermes_dlfree(ptr noundef %0, i32 noundef %315) #5
  br label %472

319:                                              ; preds = %3
  %320 = add nuw nsw i64 %5, 8
  %321 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %320)
  %322 = add i32 %1, 20
  %323 = icmp eq i32 %321, %322
  br i1 %323, label %472, label %324

324:                                              ; preds = %319
  tail call void @w2c_hermes_dlfree(ptr noundef %0, i32 noundef %321) #5
  br label %472

325:                                              ; preds = %3
  %326 = add nuw nsw i64 %5, 8
  %327 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %326)
  %328 = add i32 %1, 20
  %329 = icmp eq i32 %327, %328
  br i1 %329, label %472, label %330

330:                                              ; preds = %325
  tail call void @w2c_hermes_dlfree(ptr noundef %0, i32 noundef %327) #5
  br label %472

331:                                              ; preds = %3
  %332 = add nuw nsw i64 %5, 8
  %333 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %332)
  %334 = add i32 %1, 20
  %335 = icmp eq i32 %333, %334
  br i1 %335, label %472, label %336

336:                                              ; preds = %331
  tail call void @w2c_hermes_dlfree(ptr noundef %0, i32 noundef %333) #5
  br label %472

337:                                              ; preds = %3
  %338 = add nuw nsw i64 %5, 36
  %339 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %338)
  %.not1004 = icmp eq i32 %339, 0
  br i1 %.not1004, label %.loopexit, label %340

340:                                              ; preds = %337
  %341 = add nuw nsw i64 %5, 32
  %342 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %341)
  %343 = shl i32 %339, 2
  %344 = add i32 %342, %343
  br label %345

345:                                              ; preds = %345, %340
  %.0976 = phi i32 [ %342, %340 ], [ %348, %345 ]
  %346 = zext i32 %.0976 to i64
  %347 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %346)
  tail call void @w2c_hermes_hermes0x3A0x3AValue0x3A0x3Adestroy0x28hermes0x3A0x3AValue0x2A0x29(ptr noundef %0, i32 noundef %347)
  %348 = add i32 %.0976, 4
  %.not1005 = icmp eq i32 %348, %344
  br i1 %.not1005, label %.loopexit, label %345

.loopexit:                                        ; preds = %345, %337
  %349 = add nuw nsw i64 %5, 88
  %350 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %349)
  %351 = add nuw nsw i64 %5, 92
  %352 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %351)
  %.not1006 = icmp eq i32 %352, 0
  br i1 %.not1006, label %362, label %353

353:                                              ; preds = %.loopexit
  %354 = shl i32 %352, 2
  %355 = add i32 %354, %350
  br label %356

356:                                              ; preds = %356, %353
  %.1 = phi i32 [ %350, %353 ], [ %359, %356 ]
  %357 = zext i32 %.1 to i64
  %358 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %357)
  tail call void @w2c_hermes_hermes0x3A0x3AValue0x3A0x3Adestroy0x28hermes0x3A0x3AValue0x2A0x29(ptr noundef %0, i32 noundef %358)
  %359 = add i32 %.1, 4
  %.not1007 = icmp eq i32 %359, %355
  br i1 %.not1007, label %360, label %356

360:                                              ; preds = %356
  %361 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %349)
  br label %362

362:                                              ; preds = %360, %.loopexit
  %.2 = phi i32 [ %361, %360 ], [ %350, %.loopexit ]
  %363 = add i32 %1, 100
  %.not1008 = icmp eq i32 %363, %.2
  br i1 %.not1008, label %365, label %364

364:                                              ; preds = %362
  tail call void @w2c_hermes_dlfree(ptr noundef %0, i32 noundef %.2) #5
  br label %365

365:                                              ; preds = %364, %362
  %366 = add nuw nsw i64 %5, 80
  %367 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %366)
  %.not1009 = icmp eq i32 %367, 0
  br i1 %.not1009, label %399, label %368

368:                                              ; preds = %365
  %369 = zext i32 %367 to i64
  %370 = add nuw nsw i64 %369, 4
  %371 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %370)
  %372 = add i32 %371, -1
  tail call void @i32_store(ptr noundef nonnull %4, i64 noundef %370, i32 noundef %372)
  %.not1010 = icmp eq i32 %371, 0
  br i1 %.not1010, label %373, label %399

373:                                              ; preds = %368
  %374 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %369)
  %375 = zext i32 %374 to i64
  %376 = add nuw nsw i64 %375, 8
  %377 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %376)
  %378 = getelementptr inbounds i8, ptr %0, i64 80
  %379 = getelementptr inbounds i8, ptr %0, i64 92
  %380 = load i32, ptr %379, align 4, !tbaa !5
  %381 = icmp ult i32 %377, %380
  br i1 %381, label %382, label %.critedge, !prof !15

382:                                              ; preds = %373
  %383 = load ptr, ptr %378, align 8, !tbaa !16
  %384 = zext i32 %377 to i64
  %385 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %383, i64 %384
  %386 = getelementptr inbounds i8, ptr %385, i64 8
  %387 = load ptr, ptr %386, align 8, !tbaa !17
  %.not1011 = icmp eq ptr %387, null
  br i1 %.not1011, label %.critedge, label %388, !prof !19

388:                                              ; preds = %382
  %389 = load ptr, ptr @w2c_hermes_t3, align 8, !tbaa !20
  %390 = load ptr, ptr %385, align 8, !tbaa !21
  %391 = tail call zeroext i1 @func_types_eq(ptr noundef %389, ptr noundef %390)
  br i1 %391, label %392, label %.critedge, !prof !15

.critedge:                                        ; preds = %382, %373, %388
  tail call void @wasm_rt_trap(i32 noundef 6) #4
  unreachable

392:                                              ; preds = %388
  %393 = load ptr, ptr %378, align 8, !tbaa !16
  %394 = getelementptr inbounds %struct.wasm_rt_funcref_t, ptr %393, i64 %384
  %395 = getelementptr inbounds i8, ptr %394, i64 8
  %396 = load ptr, ptr %395, align 8, !tbaa !17
  %397 = getelementptr inbounds i8, ptr %394, i64 16
  %398 = load ptr, ptr %397, align 8, !tbaa !22
  tail call void %396(ptr noundef %398, i32 noundef %367) #5
  tail call void @w2c_hermes_std0x3A0x3A_0x5F20x3A0x3A_0x5Fshared_weak_count0x3A0x3A_0x5Frelease_weak0x280x29(ptr noundef nonnull %0, i32 noundef %367) #5
  br label %399

399:                                              ; preds = %368, %365, %392
  %400 = add nuw nsw i64 %5, 32
  %401 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %400)
  %402 = add i32 %1, 44
  %.not1012 = icmp eq i32 %401, %402
  br i1 %.not1012, label %404, label %403

403:                                              ; preds = %399
  tail call void @w2c_hermes_dlfree(ptr noundef %0, i32 noundef %401) #5
  br label %404

404:                                              ; preds = %403, %399
  %405 = add nuw nsw i64 %5, 8
  %406 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %405)
  %407 = add i32 %1, 20
  %.not1013 = icmp eq i32 %406, %407
  br i1 %.not1013, label %472, label %408

408:                                              ; preds = %404
  tail call void @w2c_hermes_dlfree(ptr noundef %0, i32 noundef %406) #5
  br label %472

409:                                              ; preds = %3
  %410 = add nuw nsw i64 %5, 8
  %411 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %410)
  %412 = add i32 %1, 20
  %413 = icmp eq i32 %411, %412
  br i1 %413, label %472, label %414

414:                                              ; preds = %409
  tail call void @w2c_hermes_dlfree(ptr noundef %0, i32 noundef %411) #5
  br label %472

415:                                              ; preds = %3
  %416 = add nuw nsw i64 %5, 8
  %417 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %416)
  %418 = add i32 %1, 20
  %419 = icmp eq i32 %417, %418
  br i1 %419, label %472, label %420

420:                                              ; preds = %415
  tail call void @w2c_hermes_dlfree(ptr noundef %0, i32 noundef %417) #5
  br label %472

421:                                              ; preds = %3
  %422 = add nuw nsw i64 %5, 8
  %423 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %422)
  %424 = add i32 %1, 20
  %425 = icmp eq i32 %423, %424
  br i1 %425, label %472, label %426

426:                                              ; preds = %421
  tail call void @w2c_hermes_dlfree(ptr noundef %0, i32 noundef %423) #5
  br label %472

427:                                              ; preds = %3
  %428 = add nuw nsw i64 %5, 8
  %429 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %428)
  %430 = add i32 %1, 20
  %431 = icmp eq i32 %429, %430
  br i1 %431, label %472, label %432

432:                                              ; preds = %427
  tail call void @w2c_hermes_dlfree(ptr noundef %0, i32 noundef %429) #5
  br label %472

433:                                              ; preds = %3
  %434 = add nuw nsw i64 %5, 8
  %435 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %434)
  %436 = add i32 %1, 20
  %437 = icmp eq i32 %435, %436
  br i1 %437, label %472, label %438

438:                                              ; preds = %433
  tail call void @w2c_hermes_dlfree(ptr noundef %0, i32 noundef %435) #5
  br label %472

439:                                              ; preds = %3
  %440 = add i32 %1, 28
  %441 = zext i32 %440 to i64
  %442 = add nuw nsw i64 %441, 4
  %443 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %442)
  %.not1002 = icmp eq i32 %443, %440
  br i1 %.not1002, label %.loopexit1017, label %.preheader

.preheader:                                       ; preds = %439, %.preheader
  %.3 = phi i32 [ %446, %.preheader ], [ %443, %439 ]
  %444 = zext i32 %.3 to i64
  %445 = add nuw nsw i64 %444, 4
  %446 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %445)
  %447 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %444)
  %448 = zext i32 %446 to i64
  tail call void @i32_store(ptr noundef nonnull %4, i64 noundef %448, i32 noundef %447)
  %449 = zext i32 %447 to i64
  %450 = add nuw nsw i64 %449, 4
  tail call void @i32_store(ptr noundef nonnull %4, i64 noundef %450, i32 noundef %446)
  tail call void @i64_store(ptr noundef nonnull %4, i64 noundef %444, i64 noundef 0)
  %451 = add i32 %.3, 8
  tail call void @w2c_hermes_hermes0x3A0x3AValue0x3A0x3Adestroy0x28hermes0x3A0x3AValue0x2A0x29(ptr noundef %0, i32 noundef %451)
  %.not1003 = icmp eq i32 %446, %440
  br i1 %.not1003, label %.loopexit1017, label %.preheader

.loopexit1017:                                    ; preds = %.preheader, %439
  %452 = add i32 %1, -8
  %453 = add nuw nsw i64 %5, 8
  %454 = tail call i32 @i32_load(ptr noundef nonnull %4, i64 noundef %453)
  %455 = add i32 %1, 20
  %456 = icmp eq i32 %454, %455
  br i1 %456, label %472, label %457

457:                                              ; preds = %.loopexit1017
  tail call void @w2c_hermes_dlfree(ptr noundef %0, i32 noundef %454) #5
  br label %472

458:                                              ; preds = %3
  %459 = add i32 %1, -8
  %460 = tail call i32 @w2c_hermes_hermes0x3A0x3AFunction0x3A0x3A0x7EFunction0x280x29(ptr noundef %0, i32 noundef %459) #5
  br label %472

461:                                              ; preds = %3
  %462 = add i32 %1, -8
  %463 = tail call i32 @w2c_hermes_hermes0x3A0x3AFunction0x3A0x3A0x7EFunction0x280x29(ptr noundef %0, i32 noundef %462) #5
  br label %472

464:                                              ; preds = %3
  %465 = add i32 %1, -8
  %466 = tail call i32 @w2c_hermes_hermes0x3A0x3AFunction0x3A0x3A0x7EFunction0x280x29(ptr noundef %0, i32 noundef %465) #5
  br label %472

467:                                              ; preds = %3
  %468 = add i32 %1, -8
  %469 = tail call i32 @w2c_hermes_hermes0x3A0x3AFunction0x3A0x3A0x7EFunction0x280x29(ptr noundef %0, i32 noundef %468) #5
  br label %472

470:                                              ; preds = %3
  %471 = tail call i32 @w2c_hermes_hermes0x3A0x3AModule0x3A0x3A0x7EModule0x280x29(ptr noundef %0, i32 noundef %1)
  br label %472

472:                                              ; preds = %.loopexit1017, %433, %427, %421, %415, %409, %404, %408, %331, %325, %319, %313, %307, %301, %295, %289, %283, %131, %135, %470, %467, %464, %461, %458, %457, %438, %432, %426, %420, %414, %336, %330, %324, %318, %312, %306, %300, %294, %288, %280, %277, %274, %271, %268, %265, %262, %259, %256, %253, %250, %247, %244, %241, %238, %235, %232, %229, %226, %223, %220, %217, %214, %211, %208, %205, %202, %199, %196, %193, %190, %187, %184, %181, %178, %175, %172, %169, %166, %163, %160, %157, %154, %151, %148, %145, %142, %139, %136, %116, %113, %110, %107, %104, %101, %98, %95, %92, %89, %86, %83, %80, %77, %74, %71, %68, %65, %62, %59, %56, %53, %50, %47, %44, %41, %38, %35, %32, %29, %26, %23, %20, %17, %14, %11, %8
  %.0 = phi i32 [ %10, %8 ], [ %471, %470 ], [ %469, %467 ], [ %466, %464 ], [ %463, %461 ], [ %460, %458 ], [ %452, %457 ], [ %1, %433 ], [ %1, %438 ], [ %1, %427 ], [ %1, %432 ], [ %1, %421 ], [ %1, %426 ], [ %1, %415 ], [ %1, %420 ], [ %1, %409 ], [ %1, %414 ], [ %1, %408 ], [ %1, %404 ], [ %1, %331 ], [ %1, %336 ], [ %1, %325 ], [ %1, %330 ], [ %1, %319 ], [ %1, %324 ], [ %1, %313 ], [ %1, %318 ], [ %1, %307 ], [ %1, %312 ], [ %1, %301 ], [ %1, %306 ], [ %1, %295 ], [ %1, %300 ], [ %1, %289 ], [ %1, %294 ], [ %1, %283 ], [ %1, %288 ], [ %282, %280 ], [ %279, %277 ], [ %276, %274 ], [ %273, %271 ], [ %270, %268 ], [ %267, %265 ], [ %264, %262 ], [ %261, %259 ], [ %258, %256 ], [ %255, %253 ], [ %252, %250 ], [ %249, %247 ], [ %246, %244 ], [ %243, %241 ], [ %240, %238 ], [ %237, %235 ], [ %234, %232 ], [ %231, %229 ], [ %228, %226 ], [ %225, %223 ], [ %222, %220 ], [ %219, %217 ], [ %216, %214 ], [ %213, %211 ], [ %210, %208 ], [ %207, %205 ], [ %204, %202 ], [ %201, %199 ], [ %198, %196 ], [ %195, %193 ], [ %192, %190 ], [ %189, %187 ], [ %186, %184 ], [ %183, %181 ], [ %180, %178 ], [ %177, %175 ], [ %174, %172 ], [ %171, %169 ], [ %168, %166 ], [ %165, %163 ], [ %162, %160 ], [ %159, %157 ], [ %156, %154 ], [ %153, %151 ], [ %150, %148 ], [ %147, %145 ], [ %144, %142 ], [ %141, %139 ], [ %138, %136 ], [ %120, %135 ], [ %120, %131 ], [ %118, %116 ], [ %115, %113 ], [ %112, %110 ], [ %109, %107 ], [ %106, %104 ], [ %103, %101 ], [ %100, %98 ], [ %97, %95 ], [ %94, %92 ], [ %91, %89 ], [ %88, %86 ], [ %85, %83 ], [ %82, %80 ], [ %79, %77 ], [ %76, %74 ], [ %73, %71 ], [ %70, %68 ], [ %67, %65 ], [ %64, %62 ], [ %61, %59 ], [ %58, %56 ], [ %55, %53 ], [ %52, %50 ], [ %49, %47 ], [ %46, %44 ], [ %43, %41 ], [ %40, %38 ], [ %37, %35 ], [ %34, %32 ], [ %31, %29 ], [ %28, %26 ], [ %25, %23 ], [ %22, %20 ], [ %19, %17 ], [ %16, %14 ], [ %13, %11 ], [ %452, %.loopexit1017 ]
  tail call void @w2c_hermes_dlfree(ptr noundef %0, i32 noundef %.0) #5
  br label %473

473:                                              ; preds = %472, %2
  ret void
}

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

declare i32 @w2c_hermes_hermes0x3A0x3AFunction0x3A0x3A0x7EFunction0x280x29(ptr noundef, i32 noundef) local_unnamed_addr #3

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

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,GlobalOptPass,IPSCCPPass,InferFunctionAttrsPass,InstCombinePass,JumpThreadingPass,LoopSimplifyPass,LoopUnrollPass,LowerExpectIntrinsicPass,ReassociatePass,SROAPass,SimplifyCFGPass,TailCallElimPass