Coverage for /pythoncovmergedfiles/medio/medio/usr/local/lib/python3.9/dist-packages/pyvex/vex_ffi.py: 100%

1ffi_str = """typedef unsigned char UChar; 

2typedef signed char Char; 

3typedef char HChar; 

4typedef unsigned short UShort; 

5typedef signed short Short; 

6typedef unsigned int UInt; 

7typedef signed int Int; 

8typedef unsigned long long int ULong; 

9typedef signed long long int Long; 

10typedef unsigned long SizeT; 

11typedef UInt U128[4]; 

12typedef UInt U256[8]; 

13typedef 

14 union { 

15 UChar w8[16]; 

16 UShort w16[8]; 

17 UInt w32[4]; 

18 ULong w64[2]; 

19 } 

20 V128; 

21typedef 

22 union { 

23 UChar w8[32]; 

24 UShort w16[16]; 

25 UInt w32[8]; 

26 ULong w64[4]; 

27 } 

28 V256; 

29typedef float Float; 

30typedef double Double; 

31typedef unsigned char Bool; 

32typedef UInt Addr32; 

33typedef ULong Addr64; 

34typedef Addr64 Addr; 

35typedef unsigned long HWord; 

36typedef 

37 enum { 

38 Ity_INVALID=0x1100, 

39 Ity_I1, 

40 Ity_I8, 

41 Ity_I16, 

42 Ity_I32, 

43 Ity_I64, 

44 Ity_I128, 

45 Ity_F16, 

46 Ity_F32, 

47 Ity_F64, 

48 Ity_D32, 

49 Ity_D64, 

50 Ity_D128, 

51 Ity_F128, 

52 Ity_V128, 

53 Ity_V256 

54 } 

55 IRType; 

56extern void ppIRType ( IRType ); 

57extern Int sizeofIRType ( IRType ); 

58extern IRType integerIRTypeOfSize ( Int szB ); 

59typedef 

60 enum { 

61 Iend_LE=0x1200, 

62 Iend_BE 

63 } 

64 IREndness; 

65typedef 

66 enum { 

67 Ico_U1=0x1300, 

68 Ico_U8, 

69 Ico_U16, 

70 Ico_U32, 

71 Ico_U64, 

72 Ico_F32, 

73 Ico_F32i, 

74 Ico_F64, 

75 Ico_F64i, 

76 Ico_V128, 

77 Ico_V256 

78 } 

79 IRConstTag; 

80typedef 

81 struct _IRConst { 

82 IRConstTag tag; 

83 union { 

84 Bool U1; 

85 UChar U8; 

86 UShort U16; 

87 UInt U32; 

88 ULong U64; 

89 Float F32; 

90 UInt F32i; 

91 Double F64; 

92 ULong F64i; 

93 UShort V128; 

94 UInt V256; 

95 } Ico; 

96 } 

97 IRConst; 

98extern IRConst* IRConst_U1 ( Bool ); 

99extern IRConst* IRConst_U8 ( UChar ); 

100extern IRConst* IRConst_U16 ( UShort ); 

101extern IRConst* IRConst_U32 ( UInt ); 

102extern IRConst* IRConst_U64 ( ULong ); 

103extern IRConst* IRConst_F32 ( Float ); 

104extern IRConst* IRConst_F32i ( UInt ); 

105extern IRConst* IRConst_F64 ( Double ); 

106extern IRConst* IRConst_F64i ( ULong ); 

107extern IRConst* IRConst_V128 ( UShort ); 

108extern IRConst* IRConst_V256 ( UInt ); 

109extern IRConst* deepCopyIRConst ( const IRConst* ); 

110extern void ppIRConst ( const IRConst* ); 

111extern Bool eqIRConst ( const IRConst*, const IRConst* ); 

112typedef 

113 struct { 

114 Int regparms; 

115 const HChar* name; 

116 void* addr; 

117 UInt mcx_mask; 

118 } 

119 IRCallee; 

120extern IRCallee* mkIRCallee ( Int regparms, const HChar* name, void* addr ); 

121extern IRCallee* deepCopyIRCallee ( const IRCallee* ); 

122extern void ppIRCallee ( const IRCallee* ); 

123typedef 

124 struct { 

125 Int base; 

126 IRType elemTy; 

127 Int nElems; 

128 } 

129 IRRegArray; 

130extern IRRegArray* mkIRRegArray ( Int, IRType, Int ); 

131extern IRRegArray* deepCopyIRRegArray ( const IRRegArray* ); 

132extern void ppIRRegArray ( const IRRegArray* ); 

133extern Bool eqIRRegArray ( const IRRegArray*, const IRRegArray* ); 

134typedef UInt IRTemp; 

135extern void ppIRTemp ( IRTemp ); 

136typedef 

137 enum { 

138 Iop_INVALID=0x1400, 

139 Iop_Add8, Iop_Add16, Iop_Add32, Iop_Add64, 

140 Iop_Sub8, Iop_Sub16, Iop_Sub32, Iop_Sub64, 

141 Iop_Mul8, Iop_Mul16, Iop_Mul32, Iop_Mul64, 

142 Iop_Or8, Iop_Or16, Iop_Or32, Iop_Or64, 

143 Iop_And8, Iop_And16, Iop_And32, Iop_And64, 

144 Iop_Xor8, Iop_Xor16, Iop_Xor32, Iop_Xor64, 

145 Iop_Shl8, Iop_Shl16, Iop_Shl32, Iop_Shl64, 

146 Iop_Shr8, Iop_Shr16, Iop_Shr32, Iop_Shr64, 

147 Iop_Sar8, Iop_Sar16, Iop_Sar32, Iop_Sar64, 

148 Iop_CmpEQ8, Iop_CmpEQ16, Iop_CmpEQ32, Iop_CmpEQ64, 

149 Iop_CmpNE8, Iop_CmpNE16, Iop_CmpNE32, Iop_CmpNE64, 

150 Iop_Not8, Iop_Not16, Iop_Not32, Iop_Not64, 

151 Iop_CasCmpEQ8, Iop_CasCmpEQ16, Iop_CasCmpEQ32, Iop_CasCmpEQ64, 

152 Iop_CasCmpNE8, Iop_CasCmpNE16, Iop_CasCmpNE32, Iop_CasCmpNE64, 

153 Iop_ExpCmpNE8, Iop_ExpCmpNE16, Iop_ExpCmpNE32, Iop_ExpCmpNE64, 

154 Iop_MullS8, Iop_MullS16, Iop_MullS32, Iop_MullS64, 

155 Iop_MullU8, Iop_MullU16, Iop_MullU32, Iop_MullU64, 

156 Iop_Clz64, Iop_Clz32, 

157 Iop_Ctz64, Iop_Ctz32, 

158 Iop_CmpLT32S, Iop_CmpLT64S, 

159 Iop_CmpLE32S, Iop_CmpLE64S, 

160 Iop_CmpLT32U, Iop_CmpLT64U, 

161 Iop_CmpLE32U, Iop_CmpLE64U, 

162 Iop_CmpNEZ8, Iop_CmpNEZ16, Iop_CmpNEZ32, Iop_CmpNEZ64, 

163 Iop_CmpwNEZ32, Iop_CmpwNEZ64, 

164 Iop_Left8, Iop_Left16, Iop_Left32, Iop_Left64, 

165 Iop_Max32U, 

166 Iop_CmpORD32U, Iop_CmpORD64U, 

167 Iop_CmpORD32S, Iop_CmpORD64S, 

168 Iop_DivU32, 

169 Iop_DivS32, 

170 Iop_DivU64, 

171 Iop_DivS64, 

172 Iop_DivU64E, 

173 Iop_DivS64E, 

174 Iop_DivU32E, 

175 Iop_DivS32E, 

176 Iop_DivModU64to32, 

177 Iop_DivModS64to32, 

178 Iop_DivModU128to64, 

179 Iop_DivModS128to64, 

180 Iop_DivModS64to64, 

181 Iop_8Uto16, Iop_8Uto32, Iop_8Uto64, 

182 Iop_16Uto32, Iop_16Uto64, 

183 Iop_32Uto64, 

184 Iop_8Sto16, Iop_8Sto32, Iop_8Sto64, 

185 Iop_16Sto32, Iop_16Sto64, 

186 Iop_32Sto64, 

187 Iop_64to8, Iop_32to8, Iop_64to16, 

188 Iop_16to8, 

189 Iop_16HIto8, 

190 Iop_8HLto16, 

191 Iop_32to16, 

192 Iop_32HIto16, 

193 Iop_16HLto32, 

194 Iop_64to32, 

195 Iop_64HIto32, 

196 Iop_32HLto64, 

197 Iop_128to64, 

198 Iop_128HIto64, 

199 Iop_64HLto128, 

200 Iop_Not1, 

201 Iop_32to1, 

202 Iop_64to1, 

203 Iop_1Uto8, 

204 Iop_1Uto32, 

205 Iop_1Uto64, 

206 Iop_1Sto8, 

207 Iop_1Sto16, 

208 Iop_1Sto32, 

209 Iop_1Sto64, 

210 Iop_AddF64, Iop_SubF64, Iop_MulF64, Iop_DivF64, 

211 Iop_AddF32, Iop_SubF32, Iop_MulF32, Iop_DivF32, 

212 Iop_AddF64r32, Iop_SubF64r32, Iop_MulF64r32, Iop_DivF64r32, 

213 Iop_NegF64, Iop_AbsF64, 

214 Iop_NegF32, Iop_AbsF32, 

215 Iop_SqrtF64, 

216 Iop_SqrtF32, 

217 Iop_CmpF64, 

218 Iop_CmpF32, 

219 Iop_CmpF128, 

220 Iop_F64toI16S, 

221 Iop_F64toI32S, 

222 Iop_F64toI64S, 

223 Iop_F64toI64U, 

224 Iop_F64toI32U, 

225 Iop_I32StoF64, 

226 Iop_I64StoF64, 

227 Iop_I64UtoF64, 

228 Iop_I64UtoF32, 

229 Iop_I32UtoF32, 

230 Iop_I32UtoF64, 

231 Iop_F32toI32S, 

232 Iop_F32toI64S, 

233 Iop_F32toI32U, 

234 Iop_F32toI64U, 

235 Iop_I32StoF32, 

236 Iop_I64StoF32, 

237 Iop_F32toF64, 

238 Iop_F64toF32, 

239 Iop_ReinterpF64asI64, Iop_ReinterpI64asF64, 

240 Iop_ReinterpF32asI32, Iop_ReinterpI32asF32, 

241 Iop_F64HLtoF128, 

242 Iop_F128HItoF64, 

243 Iop_F128LOtoF64, 

244 Iop_AddF128, Iop_SubF128, Iop_MulF128, Iop_DivF128, 

245 Iop_MAddF128, 

246 Iop_MSubF128, 

247 Iop_NegMAddF128, 

248 Iop_NegMSubF128, 

249 Iop_NegF128, Iop_AbsF128, 

250 Iop_SqrtF128, 

251 Iop_I32StoF128, 

252 Iop_I64StoF128, 

253 Iop_I32UtoF128, 

254 Iop_I64UtoF128, 

255 Iop_F32toF128, 

256 Iop_F64toF128, 

257 Iop_F128toI32S, 

258 Iop_F128toI64S, 

259 Iop_F128toI32U, 

260 Iop_F128toI64U, 

261 Iop_F128toI128S, 

262 Iop_F128toF64, 

263 Iop_F128toF32, 

264 Iop_RndF128, 

265 Iop_TruncF128toI32S, 

266 Iop_TruncF128toI32U, 

267 Iop_TruncF128toI64U, 

268 Iop_TruncF128toI64S, 

269 Iop_AtanF64, 

270 Iop_Yl2xF64, 

271 Iop_Yl2xp1F64, 

272 Iop_PRemF64, 

273 Iop_PRemC3210F64, 

274 Iop_PRem1F64, 

275 Iop_PRem1C3210F64, 

276 Iop_ScaleF64, 

277 Iop_SinF64, 

278 Iop_CosF64, 

279 Iop_TanF64, 

280 Iop_2xm1F64, 

281 Iop_RoundF128toInt, 

282 Iop_RoundF64toInt, 

283 Iop_RoundF32toInt, 

284 Iop_MAddF32, Iop_MSubF32, 

285 Iop_MAddF64, Iop_MSubF64, 

286 Iop_MAddF64r32, Iop_MSubF64r32, 

287 Iop_RSqrtEst5GoodF64, 

288 Iop_RoundF64toF64_NEAREST, 

289 Iop_RoundF64toF64_NegINF, 

290 Iop_RoundF64toF64_PosINF, 

291 Iop_RoundF64toF64_ZERO, 

292 Iop_TruncF64asF32, 

293 Iop_RoundF64toF32, 

294 Iop_RecpExpF64, 

295 Iop_RecpExpF32, 

296 Iop_MaxNumF64, 

297 Iop_MinNumF64, 

298 Iop_MaxNumF32, 

299 Iop_MinNumF32, 

300 Iop_F16toF64, 

301 Iop_F64toF16, 

302 Iop_F16toF32, 

303 Iop_F32toF16, 

304 Iop_QAdd32S, 

305 Iop_QSub32S, 

306 Iop_Add16x2, Iop_Sub16x2, 

307 Iop_QAdd16Sx2, Iop_QAdd16Ux2, 

308 Iop_QSub16Sx2, Iop_QSub16Ux2, 

309 Iop_HAdd16Ux2, Iop_HAdd16Sx2, 

310 Iop_HSub16Ux2, Iop_HSub16Sx2, 

311 Iop_Add8x4, Iop_Sub8x4, 

312 Iop_QAdd8Sx4, Iop_QAdd8Ux4, 

313 Iop_QSub8Sx4, Iop_QSub8Ux4, 

314 Iop_HAdd8Ux4, Iop_HAdd8Sx4, 

315 Iop_HSub8Ux4, Iop_HSub8Sx4, 

316 Iop_Sad8Ux4, 

317 Iop_CmpNEZ16x2, Iop_CmpNEZ8x4, 

318 Iop_I32UtoFx2, Iop_I32StoFx2, 

319 Iop_FtoI32Ux2_RZ, Iop_FtoI32Sx2_RZ, 

320 Iop_F32ToFixed32Ux2_RZ, Iop_F32ToFixed32Sx2_RZ, 

321 Iop_Fixed32UToF32x2_RN, Iop_Fixed32SToF32x2_RN, 

322 Iop_Max32Fx2, Iop_Min32Fx2, 

323 Iop_PwMax32Fx2, Iop_PwMin32Fx2, 

324 Iop_CmpEQ32Fx2, Iop_CmpGT32Fx2, Iop_CmpGE32Fx2, 

325 Iop_RecipEst32Fx2, 

326 Iop_RecipStep32Fx2, 

327 Iop_RSqrtEst32Fx2, 

328 Iop_RSqrtStep32Fx2, 

329 Iop_Neg32Fx2, Iop_Abs32Fx2, 

330 Iop_CmpNEZ8x8, Iop_CmpNEZ16x4, Iop_CmpNEZ32x2, 

331 Iop_Add8x8, Iop_Add16x4, Iop_Add32x2, 

332 Iop_QAdd8Ux8, Iop_QAdd16Ux4, Iop_QAdd32Ux2, Iop_QAdd64Ux1, 

333 Iop_QAdd8Sx8, Iop_QAdd16Sx4, Iop_QAdd32Sx2, Iop_QAdd64Sx1, 

334 Iop_PwAdd8x8, Iop_PwAdd16x4, Iop_PwAdd32x2, 

335 Iop_PwMax8Sx8, Iop_PwMax16Sx4, Iop_PwMax32Sx2, 

336 Iop_PwMax8Ux8, Iop_PwMax16Ux4, Iop_PwMax32Ux2, 

337 Iop_PwMin8Sx8, Iop_PwMin16Sx4, Iop_PwMin32Sx2, 

338 Iop_PwMin8Ux8, Iop_PwMin16Ux4, Iop_PwMin32Ux2, 

339 Iop_PwAddL8Ux8, Iop_PwAddL16Ux4, Iop_PwAddL32Ux2, 

340 Iop_PwAddL8Sx8, Iop_PwAddL16Sx4, Iop_PwAddL32Sx2, 

341 Iop_Sub8x8, Iop_Sub16x4, Iop_Sub32x2, 

342 Iop_QSub8Ux8, Iop_QSub16Ux4, Iop_QSub32Ux2, Iop_QSub64Ux1, 

343 Iop_QSub8Sx8, Iop_QSub16Sx4, Iop_QSub32Sx2, Iop_QSub64Sx1, 

344 Iop_Abs8x8, Iop_Abs16x4, Iop_Abs32x2, 

345 Iop_Mul8x8, Iop_Mul16x4, Iop_Mul32x2, 

346 Iop_Mul32Fx2, 

347 Iop_MulHi16Ux4, 

348 Iop_MulHi16Sx4, 

349 Iop_PolynomialMul8x8, 

350 Iop_QDMulHi16Sx4, Iop_QDMulHi32Sx2, 

351 Iop_QRDMulHi16Sx4, Iop_QRDMulHi32Sx2, 

352 Iop_Avg8Ux8, 

353 Iop_Avg16Ux4, 

354 Iop_Max8Sx8, Iop_Max16Sx4, Iop_Max32Sx2, 

355 Iop_Max8Ux8, Iop_Max16Ux4, Iop_Max32Ux2, 

356 Iop_Min8Sx8, Iop_Min16Sx4, Iop_Min32Sx2, 

357 Iop_Min8Ux8, Iop_Min16Ux4, Iop_Min32Ux2, 

358 Iop_CmpEQ8x8, Iop_CmpEQ16x4, Iop_CmpEQ32x2, 

359 Iop_CmpGT8Ux8, Iop_CmpGT16Ux4, Iop_CmpGT32Ux2, 

360 Iop_CmpGT8Sx8, Iop_CmpGT16Sx4, Iop_CmpGT32Sx2, 

361 Iop_Cnt8x8, 

362 Iop_Clz8x8, Iop_Clz16x4, Iop_Clz32x2, 

363 Iop_Cls8x8, Iop_Cls16x4, Iop_Cls32x2, 

364 Iop_Clz64x2, 

365 Iop_Ctz8x16, Iop_Ctz16x8, Iop_Ctz32x4, Iop_Ctz64x2, 

366 Iop_Shl8x8, Iop_Shl16x4, Iop_Shl32x2, 

367 Iop_Shr8x8, Iop_Shr16x4, Iop_Shr32x2, 

368 Iop_Sar8x8, Iop_Sar16x4, Iop_Sar32x2, 

369 Iop_Sal8x8, Iop_Sal16x4, Iop_Sal32x2, Iop_Sal64x1, 

370 Iop_ShlN8x8, Iop_ShlN16x4, Iop_ShlN32x2, 

371 Iop_ShrN8x8, Iop_ShrN16x4, Iop_ShrN32x2, 

372 Iop_SarN8x8, Iop_SarN16x4, Iop_SarN32x2, 

373 Iop_QShl8x8, Iop_QShl16x4, Iop_QShl32x2, Iop_QShl64x1, 

374 Iop_QSal8x8, Iop_QSal16x4, Iop_QSal32x2, Iop_QSal64x1, 

375 Iop_QShlNsatSU8x8, Iop_QShlNsatSU16x4, 

376 Iop_QShlNsatSU32x2, Iop_QShlNsatSU64x1, 

377 Iop_QShlNsatUU8x8, Iop_QShlNsatUU16x4, 

378 Iop_QShlNsatUU32x2, Iop_QShlNsatUU64x1, 

379 Iop_QShlNsatSS8x8, Iop_QShlNsatSS16x4, 

380 Iop_QShlNsatSS32x2, Iop_QShlNsatSS64x1, 

381 Iop_QNarrowBin16Sto8Ux8, 

382 Iop_QNarrowBin16Sto8Sx8, Iop_QNarrowBin32Sto16Sx4, 

383 Iop_NarrowBin16to8x8, Iop_NarrowBin32to16x4, 

384 Iop_InterleaveHI8x8, Iop_InterleaveHI16x4, Iop_InterleaveHI32x2, 

385 Iop_InterleaveLO8x8, Iop_InterleaveLO16x4, Iop_InterleaveLO32x2, 

386 Iop_InterleaveOddLanes8x8, Iop_InterleaveEvenLanes8x8, 

387 Iop_InterleaveOddLanes16x4, Iop_InterleaveEvenLanes16x4, 

388 Iop_CatOddLanes8x8, Iop_CatOddLanes16x4, 

389 Iop_CatEvenLanes8x8, Iop_CatEvenLanes16x4, 

390 Iop_GetElem8x8, Iop_GetElem16x4, Iop_GetElem32x2, 

391 Iop_SetElem8x8, Iop_SetElem16x4, Iop_SetElem32x2, 

392 Iop_Dup8x8, Iop_Dup16x4, Iop_Dup32x2, 

393 Iop_Slice64, 

394 Iop_Reverse8sIn16_x4, 

395 Iop_Reverse8sIn32_x2, Iop_Reverse16sIn32_x2, 

396 Iop_Reverse8sIn64_x1, Iop_Reverse16sIn64_x1, Iop_Reverse32sIn64_x1, 

397 Iop_Perm8x8, 

398 Iop_GetMSBs8x8, 

399 Iop_RecipEst32Ux2, Iop_RSqrtEst32Ux2, 

400 Iop_AddD64, Iop_SubD64, Iop_MulD64, Iop_DivD64, 

401 Iop_AddD128, Iop_SubD128, Iop_MulD128, Iop_DivD128, 

402 Iop_ShlD64, Iop_ShrD64, 

403 Iop_ShlD128, Iop_ShrD128, 

404 Iop_D32toD64, 

405 Iop_D64toD128, 

406 Iop_I32StoD128, 

407 Iop_I32UtoD128, 

408 Iop_I64StoD128, 

409 Iop_I64UtoD128, 

410 Iop_D64toD32, 

411 Iop_D128toD64, 

412 Iop_I32StoD64, 

413 Iop_I32UtoD64, 

414 Iop_I64StoD64, 

415 Iop_I64UtoD64, 

416 Iop_D64toI32S, 

417 Iop_D64toI32U, 

418 Iop_D64toI64S, 

419 Iop_D64toI64U, 

420 Iop_D128toI32S, 

421 Iop_D128toI32U, 

422 Iop_D128toI64S, 

423 Iop_D128toI64U, 

424 Iop_F32toD32, 

425 Iop_F32toD64, 

426 Iop_F32toD128, 

427 Iop_F64toD32, 

428 Iop_F64toD64, 

429 Iop_F64toD128, 

430 Iop_F128toD32, 

431 Iop_F128toD64, 

432 Iop_F128toD128, 

433 Iop_D32toF32, 

434 Iop_D32toF64, 

435 Iop_D32toF128, 

436 Iop_D64toF32, 

437 Iop_D64toF64, 

438 Iop_D64toF128, 

439 Iop_D128toF32, 

440 Iop_D128toF64, 

441 Iop_D128toF128, 

442 Iop_RoundD64toInt, 

443 Iop_RoundD128toInt, 

444 Iop_CmpD64, 

445 Iop_CmpD128, 

446 Iop_CmpExpD64, 

447 Iop_CmpExpD128, 

448 Iop_QuantizeD64, 

449 Iop_QuantizeD128, 

450 Iop_SignificanceRoundD64, 

451 Iop_SignificanceRoundD128, 

452 Iop_ExtractExpD64, 

453 Iop_ExtractExpD128, 

454 Iop_ExtractSigD64, 

455 Iop_ExtractSigD128, 

456 Iop_InsertExpD64, 

457 Iop_InsertExpD128, 

458 Iop_D64HLtoD128, Iop_D128HItoD64, Iop_D128LOtoD64, 

459 Iop_DPBtoBCD, 

460 Iop_BCDtoDPB, 

461 Iop_BCDAdd, Iop_BCDSub, 

462 Iop_I128StoBCD128, 

463 Iop_BCD128toI128S, 

464 Iop_ReinterpI64asD64, 

465 Iop_ReinterpD64asI64, 

466 Iop_Add32Fx4, Iop_Sub32Fx4, Iop_Mul32Fx4, Iop_Div32Fx4, 

467 Iop_Max32Fx4, Iop_Min32Fx4, 

468 Iop_Add32Fx2, Iop_Sub32Fx2, 

469 Iop_CmpEQ32Fx4, Iop_CmpLT32Fx4, Iop_CmpLE32Fx4, Iop_CmpUN32Fx4, 

470 Iop_CmpGT32Fx4, Iop_CmpGE32Fx4, 

471 Iop_PwMax32Fx4, Iop_PwMin32Fx4, 

472 Iop_Abs32Fx4, 

473 Iop_Neg32Fx4, 

474 Iop_Sqrt32Fx4, 

475 Iop_RecipEst32Fx4, 

476 Iop_RecipStep32Fx4, 

477 Iop_RSqrtEst32Fx4, 

478 Iop_RSqrtStep32Fx4, 

479 Iop_I32UtoFx4, Iop_I32StoFx4, 

480 Iop_FtoI32Ux4_RZ, Iop_FtoI32Sx4_RZ, 

481 Iop_QFtoI32Ux4_RZ, Iop_QFtoI32Sx4_RZ, 

482 Iop_RoundF32x4_RM, Iop_RoundF32x4_RP, 

483 Iop_RoundF32x4_RN, Iop_RoundF32x4_RZ, 

484 Iop_F32ToFixed32Ux4_RZ, Iop_F32ToFixed32Sx4_RZ, 

485 Iop_Fixed32UToF32x4_RN, Iop_Fixed32SToF32x4_RN, 

486 Iop_F32toF16x4, Iop_F16toF32x4, 

487 Iop_F64toF16x2, Iop_F16toF64x2, 

488 Iop_Add32F0x4, Iop_Sub32F0x4, Iop_Mul32F0x4, Iop_Div32F0x4, 

489 Iop_Max32F0x4, Iop_Min32F0x4, 

490 Iop_CmpEQ32F0x4, Iop_CmpLT32F0x4, Iop_CmpLE32F0x4, Iop_CmpUN32F0x4, 

491 Iop_RecipEst32F0x4, Iop_Sqrt32F0x4, Iop_RSqrtEst32F0x4, 

492 Iop_Add64Fx2, Iop_Sub64Fx2, Iop_Mul64Fx2, Iop_Div64Fx2, 

493 Iop_Max64Fx2, Iop_Min64Fx2, 

494 Iop_CmpEQ64Fx2, Iop_CmpLT64Fx2, Iop_CmpLE64Fx2, Iop_CmpUN64Fx2, 

495 Iop_Abs64Fx2, 

496 Iop_Neg64Fx2, 

497 Iop_Sqrt64Fx2, 

498 Iop_RecipEst64Fx2, 

499 Iop_RecipStep64Fx2, 

500 Iop_RSqrtEst64Fx2, 

501 Iop_RSqrtStep64Fx2, 

502 Iop_Add64F0x2, Iop_Sub64F0x2, Iop_Mul64F0x2, Iop_Div64F0x2, 

503 Iop_Max64F0x2, Iop_Min64F0x2, 

504 Iop_CmpEQ64F0x2, Iop_CmpLT64F0x2, Iop_CmpLE64F0x2, Iop_CmpUN64F0x2, 

505 Iop_Sqrt64F0x2, 

506 Iop_V128to64, 

507 Iop_V128HIto64, 

508 Iop_64HLtoV128, 

509 Iop_64UtoV128, 

510 Iop_SetV128lo64, 

511 Iop_ZeroHI64ofV128, 

512 Iop_ZeroHI96ofV128, 

513 Iop_ZeroHI112ofV128, 

514 Iop_ZeroHI120ofV128, 

515 Iop_32UtoV128, 

516 Iop_V128to32, 

517 Iop_SetV128lo32, 

518 Iop_NotV128, 

519 Iop_AndV128, Iop_OrV128, Iop_XorV128, 

520 Iop_ShlV128, Iop_ShrV128, Iop_SarV128, 

521 Iop_CmpNEZ8x16, Iop_CmpNEZ16x8, Iop_CmpNEZ32x4, Iop_CmpNEZ64x2, 

522 Iop_CmpNEZ128x1, 

523 Iop_Add8x16, Iop_Add16x8, Iop_Add32x4, Iop_Add64x2, Iop_Add128x1, 

524 Iop_QAdd8Ux16, Iop_QAdd16Ux8, Iop_QAdd32Ux4, Iop_QAdd64Ux2, 

525 Iop_QAdd8Sx16, Iop_QAdd16Sx8, Iop_QAdd32Sx4, Iop_QAdd64Sx2, 

526 Iop_QAddExtUSsatSS8x16, Iop_QAddExtUSsatSS16x8, 

527 Iop_QAddExtUSsatSS32x4, Iop_QAddExtUSsatSS64x2, 

528 Iop_QAddExtSUsatUU8x16, Iop_QAddExtSUsatUU16x8, 

529 Iop_QAddExtSUsatUU32x4, Iop_QAddExtSUsatUU64x2, 

530 Iop_Sub8x16, Iop_Sub16x8, Iop_Sub32x4, Iop_Sub64x2, Iop_Sub128x1, 

531 Iop_QSub8Ux16, Iop_QSub16Ux8, Iop_QSub32Ux4, Iop_QSub64Ux2, 

532 Iop_QSub8Sx16, Iop_QSub16Sx8, Iop_QSub32Sx4, Iop_QSub64Sx2, 

533 Iop_Mul8x16, Iop_Mul16x8, Iop_Mul32x4, 

534 Iop_MulHi8Ux16, Iop_MulHi16Ux8, Iop_MulHi32Ux4, 

535 Iop_MulHi8Sx16, Iop_MulHi16Sx8, Iop_MulHi32Sx4, 

536 Iop_MullEven8Ux16, Iop_MullEven16Ux8, Iop_MullEven32Ux4, 

537 Iop_MullEven8Sx16, Iop_MullEven16Sx8, Iop_MullEven32Sx4, 

538 Iop_Mull8Ux8, Iop_Mull8Sx8, 

539 Iop_Mull16Ux4, Iop_Mull16Sx4, 

540 Iop_Mull32Ux2, Iop_Mull32Sx2, 

541 Iop_QDMull16Sx4, Iop_QDMull32Sx2, 

542 Iop_QDMulHi16Sx8, Iop_QDMulHi32Sx4, 

543 Iop_QRDMulHi16Sx8, Iop_QRDMulHi32Sx4, 

544 Iop_PolynomialMul8x16, 

545 Iop_PolynomialMull8x8, 

546 Iop_PolynomialMulAdd8x16, Iop_PolynomialMulAdd16x8, 

547 Iop_PolynomialMulAdd32x4, Iop_PolynomialMulAdd64x2, 

548 Iop_PwAdd8x16, Iop_PwAdd16x8, Iop_PwAdd32x4, 

549 Iop_PwAdd32Fx2, 

550 Iop_PwAddL8Ux16, Iop_PwAddL16Ux8, Iop_PwAddL32Ux4, Iop_PwAddL64Ux2, 

551 Iop_PwAddL8Sx16, Iop_PwAddL16Sx8, Iop_PwAddL32Sx4, 

552 Iop_PwBitMtxXpose64x2, 

553 Iop_Abs8x16, Iop_Abs16x8, Iop_Abs32x4, Iop_Abs64x2, 

554 Iop_Avg8Ux16, Iop_Avg16Ux8, Iop_Avg32Ux4, Iop_Avg64Ux2, 

555 Iop_Avg8Sx16, Iop_Avg16Sx8, Iop_Avg32Sx4, Iop_Avg64Sx2, 

556 Iop_Max8Sx16, Iop_Max16Sx8, Iop_Max32Sx4, Iop_Max64Sx2, 

557 Iop_Max8Ux16, Iop_Max16Ux8, Iop_Max32Ux4, Iop_Max64Ux2, 

558 Iop_Min8Sx16, Iop_Min16Sx8, Iop_Min32Sx4, Iop_Min64Sx2, 

559 Iop_Min8Ux16, Iop_Min16Ux8, Iop_Min32Ux4, Iop_Min64Ux2, 

560 Iop_CmpEQ8x16, Iop_CmpEQ16x8, Iop_CmpEQ32x4, Iop_CmpEQ64x2, 

561 Iop_CmpGT8Sx16, Iop_CmpGT16Sx8, Iop_CmpGT32Sx4, Iop_CmpGT64Sx2, 

562 Iop_CmpGT8Ux16, Iop_CmpGT16Ux8, Iop_CmpGT32Ux4, Iop_CmpGT64Ux2, 

563 Iop_Cnt8x16, 

564 Iop_Clz8x16, Iop_Clz16x8, Iop_Clz32x4, 

565 Iop_Cls8x16, Iop_Cls16x8, Iop_Cls32x4, 

566 Iop_ShlN8x16, Iop_ShlN16x8, Iop_ShlN32x4, Iop_ShlN64x2, 

567 Iop_ShrN8x16, Iop_ShrN16x8, Iop_ShrN32x4, Iop_ShrN64x2, 

568 Iop_SarN8x16, Iop_SarN16x8, Iop_SarN32x4, Iop_SarN64x2, 

569 Iop_Shl8x16, Iop_Shl16x8, Iop_Shl32x4, Iop_Shl64x2, 

570 Iop_Shr8x16, Iop_Shr16x8, Iop_Shr32x4, Iop_Shr64x2, 

571 Iop_Sar8x16, Iop_Sar16x8, Iop_Sar32x4, Iop_Sar64x2, 

572 Iop_Sal8x16, Iop_Sal16x8, Iop_Sal32x4, Iop_Sal64x2, 

573 Iop_Rol8x16, Iop_Rol16x8, Iop_Rol32x4, Iop_Rol64x2, 

574 Iop_QShl8x16, Iop_QShl16x8, Iop_QShl32x4, Iop_QShl64x2, 

575 Iop_QSal8x16, Iop_QSal16x8, Iop_QSal32x4, Iop_QSal64x2, 

576 Iop_QShlNsatSU8x16, Iop_QShlNsatSU16x8, 

577 Iop_QShlNsatSU32x4, Iop_QShlNsatSU64x2, 

578 Iop_QShlNsatUU8x16, Iop_QShlNsatUU16x8, 

579 Iop_QShlNsatUU32x4, Iop_QShlNsatUU64x2, 

580 Iop_QShlNsatSS8x16, Iop_QShlNsatSS16x8, 

581 Iop_QShlNsatSS32x4, Iop_QShlNsatSS64x2, 

582 Iop_QandUQsh8x16, Iop_QandUQsh16x8, 

583 Iop_QandUQsh32x4, Iop_QandUQsh64x2, 

584 Iop_QandSQsh8x16, Iop_QandSQsh16x8, 

585 Iop_QandSQsh32x4, Iop_QandSQsh64x2, 

586 Iop_QandUQRsh8x16, Iop_QandUQRsh16x8, 

587 Iop_QandUQRsh32x4, Iop_QandUQRsh64x2, 

588 Iop_QandSQRsh8x16, Iop_QandSQRsh16x8, 

589 Iop_QandSQRsh32x4, Iop_QandSQRsh64x2, 

590 Iop_Sh8Sx16, Iop_Sh16Sx8, Iop_Sh32Sx4, Iop_Sh64Sx2, 

591 Iop_Sh8Ux16, Iop_Sh16Ux8, Iop_Sh32Ux4, Iop_Sh64Ux2, 

592 Iop_Rsh8Sx16, Iop_Rsh16Sx8, Iop_Rsh32Sx4, Iop_Rsh64Sx2, 

593 Iop_Rsh8Ux16, Iop_Rsh16Ux8, Iop_Rsh32Ux4, Iop_Rsh64Ux2, 

594 Iop_QandQShrNnarrow16Uto8Ux8, 

595 Iop_QandQShrNnarrow32Uto16Ux4, Iop_QandQShrNnarrow64Uto32Ux2, 

596 Iop_QandQSarNnarrow16Sto8Sx8, 

597 Iop_QandQSarNnarrow32Sto16Sx4, Iop_QandQSarNnarrow64Sto32Sx2, 

598 Iop_QandQSarNnarrow16Sto8Ux8, 

599 Iop_QandQSarNnarrow32Sto16Ux4, Iop_QandQSarNnarrow64Sto32Ux2, 

600 Iop_QandQRShrNnarrow16Uto8Ux8, 

601 Iop_QandQRShrNnarrow32Uto16Ux4, Iop_QandQRShrNnarrow64Uto32Ux2, 

602 Iop_QandQRSarNnarrow16Sto8Sx8, 

603 Iop_QandQRSarNnarrow32Sto16Sx4, Iop_QandQRSarNnarrow64Sto32Sx2, 

604 Iop_QandQRSarNnarrow16Sto8Ux8, 

605 Iop_QandQRSarNnarrow32Sto16Ux4, Iop_QandQRSarNnarrow64Sto32Ux2, 

606 Iop_QNarrowBin16Sto8Ux16, Iop_QNarrowBin32Sto16Ux8, 

607 Iop_QNarrowBin16Sto8Sx16, Iop_QNarrowBin32Sto16Sx8, 

608 Iop_QNarrowBin16Uto8Ux16, Iop_QNarrowBin32Uto16Ux8, 

609 Iop_NarrowBin16to8x16, Iop_NarrowBin32to16x8, 

610 Iop_QNarrowBin64Sto32Sx4, Iop_QNarrowBin64Uto32Ux4, 

611 Iop_NarrowBin64to32x4, 

612 Iop_NarrowUn16to8x8, Iop_NarrowUn32to16x4, Iop_NarrowUn64to32x2, 

613 Iop_QNarrowUn16Sto8Sx8, Iop_QNarrowUn32Sto16Sx4, Iop_QNarrowUn64Sto32Sx2, 

614 Iop_QNarrowUn16Sto8Ux8, Iop_QNarrowUn32Sto16Ux4, Iop_QNarrowUn64Sto32Ux2, 

615 Iop_QNarrowUn16Uto8Ux8, Iop_QNarrowUn32Uto16Ux4, Iop_QNarrowUn64Uto32Ux2, 

616 Iop_Widen8Uto16x8, Iop_Widen16Uto32x4, Iop_Widen32Uto64x2, 

617 Iop_Widen8Sto16x8, Iop_Widen16Sto32x4, Iop_Widen32Sto64x2, 

618 Iop_InterleaveHI8x16, Iop_InterleaveHI16x8, 

619 Iop_InterleaveHI32x4, Iop_InterleaveHI64x2, 

620 Iop_InterleaveLO8x16, Iop_InterleaveLO16x8, 

621 Iop_InterleaveLO32x4, Iop_InterleaveLO64x2, 

622 Iop_InterleaveOddLanes8x16, Iop_InterleaveEvenLanes8x16, 

623 Iop_InterleaveOddLanes16x8, Iop_InterleaveEvenLanes16x8, 

624 Iop_InterleaveOddLanes32x4, Iop_InterleaveEvenLanes32x4, 

625 Iop_CatOddLanes8x16, Iop_CatOddLanes16x8, Iop_CatOddLanes32x4, 

626 Iop_CatEvenLanes8x16, Iop_CatEvenLanes16x8, Iop_CatEvenLanes32x4, 

627 Iop_GetElem8x16, Iop_GetElem16x8, Iop_GetElem32x4, Iop_GetElem64x2, 

628 Iop_SetElem8x16, Iop_SetElem16x8, Iop_SetElem32x4, Iop_SetElem64x2, 

629 Iop_Dup8x16, Iop_Dup16x8, Iop_Dup32x4, 

630 Iop_SliceV128, 

631 Iop_Reverse8sIn16_x8, 

632 Iop_Reverse8sIn32_x4, Iop_Reverse16sIn32_x4, 

633 Iop_Reverse8sIn64_x2, Iop_Reverse16sIn64_x2, Iop_Reverse32sIn64_x2, 

634 Iop_Reverse1sIn8_x16, 

635 Iop_Perm8x16, 

636 Iop_Perm32x4, 

637 Iop_Perm8x16x2, 

638 Iop_GetMSBs8x16, 

639 Iop_RecipEst32Ux4, Iop_RSqrtEst32Ux4, 

640 Iop_MulI128by10, 

641 Iop_MulI128by10Carry, 

642 Iop_MulI128by10E, 

643 Iop_MulI128by10ECarry, 

644 Iop_V256to64_0, 

645 Iop_V256to64_1, 

646 Iop_V256to64_2, 

647 Iop_V256to64_3, 

648 Iop_64x4toV256, 

649 Iop_V256toV128_0, 

650 Iop_V256toV128_1, 

651 Iop_V128HLtoV256, 

652 Iop_AndV256, 

653 Iop_OrV256, 

654 Iop_XorV256, 

655 Iop_NotV256, 

656 Iop_CmpNEZ8x32, Iop_CmpNEZ16x16, Iop_CmpNEZ32x8, Iop_CmpNEZ64x4, 

657 Iop_Add8x32, Iop_Add16x16, Iop_Add32x8, Iop_Add64x4, 

658 Iop_Sub8x32, Iop_Sub16x16, Iop_Sub32x8, Iop_Sub64x4, 

659 Iop_CmpEQ8x32, Iop_CmpEQ16x16, Iop_CmpEQ32x8, Iop_CmpEQ64x4, 

660 Iop_CmpGT8Sx32, Iop_CmpGT16Sx16, Iop_CmpGT32Sx8, Iop_CmpGT64Sx4, 

661 Iop_ShlN16x16, Iop_ShlN32x8, Iop_ShlN64x4, 

662 Iop_ShrN16x16, Iop_ShrN32x8, Iop_ShrN64x4, 

663 Iop_SarN16x16, Iop_SarN32x8, 

664 Iop_Max8Sx32, Iop_Max16Sx16, Iop_Max32Sx8, 

665 Iop_Max8Ux32, Iop_Max16Ux16, Iop_Max32Ux8, 

666 Iop_Min8Sx32, Iop_Min16Sx16, Iop_Min32Sx8, 

667 Iop_Min8Ux32, Iop_Min16Ux16, Iop_Min32Ux8, 

668 Iop_Mul16x16, Iop_Mul32x8, 

669 Iop_MulHi16Ux16, Iop_MulHi16Sx16, 

670 Iop_QAdd8Ux32, Iop_QAdd16Ux16, 

671 Iop_QAdd8Sx32, Iop_QAdd16Sx16, 

672 Iop_QSub8Ux32, Iop_QSub16Ux16, 

673 Iop_QSub8Sx32, Iop_QSub16Sx16, 

674 Iop_Avg8Ux32, Iop_Avg16Ux16, 

675 Iop_Perm32x8, 

676 Iop_CipherV128, Iop_CipherLV128, Iop_CipherSV128, 

677 Iop_NCipherV128, Iop_NCipherLV128, 

678 Iop_SHA512, Iop_SHA256, 

679 Iop_Add64Fx4, Iop_Sub64Fx4, Iop_Mul64Fx4, Iop_Div64Fx4, 

680 Iop_Add32Fx8, Iop_Sub32Fx8, Iop_Mul32Fx8, Iop_Div32Fx8, 

681 Iop_Sqrt32Fx8, 

682 Iop_Sqrt64Fx4, 

683 Iop_RSqrtEst32Fx8, 

684 Iop_RecipEst32Fx8, 

685 Iop_Max32Fx8, Iop_Min32Fx8, 

686 Iop_Max64Fx4, Iop_Min64Fx4, 

687 Iop_LAST 

688 } 

689 IROp; 

690extern void ppIROp ( IROp ); 

691extern void typeOfPrimop ( IROp op, 

692 IRType* t_dst, IRType* t_arg1, 

693 IRType* t_arg2, IRType* t_arg3, IRType* t_arg4 ); 

694typedef 

695 enum { 

696 Irrm_NEAREST = 0, 

697 Irrm_NegINF = 1, 

698 Irrm_PosINF = 2, 

699 Irrm_ZERO = 3, 

700 Irrm_NEAREST_TIE_AWAY_0 = 4, 

701 Irrm_PREPARE_SHORTER = 5, 

702 Irrm_AWAY_FROM_ZERO = 6, 

703 Irrm_NEAREST_TIE_TOWARD_0 = 7, 

704 Irrm_INVALID = 8 

705 } 

706 IRRoundingMode; 

707typedef 

708 enum { 

709 Ircr_UN = 0x45, 

710 Ircr_LT = 0x01, 

711 Ircr_GT = 0x00, 

712 Ircr_EQ = 0x40 

713 } 

714 IRCmpFResult; 

715typedef IRCmpFResult IRCmpF32Result; 

716typedef IRCmpFResult IRCmpF64Result; 

717typedef IRCmpFResult IRCmpF128Result; 

718typedef IRCmpFResult IRCmpDResult; 

719typedef IRCmpDResult IRCmpD64Result; 

720typedef IRCmpDResult IRCmpD128Result; 

721typedef struct _IRQop IRQop; 

722typedef struct _IRTriop IRTriop; 

723typedef 

724 enum { 

725 Iex_Binder=0x1900, 

726 Iex_Get, 

727 Iex_GetI, 

728 Iex_RdTmp, 

729 Iex_Qop, 

730 Iex_Triop, 

731 Iex_Binop, 

732 Iex_Unop, 

733 Iex_Load, 

734 Iex_Const, 

735 Iex_ITE, 

736 Iex_CCall, 

737 Iex_VECRET, 

738 Iex_GSPTR 

739 } 

740 IRExprTag; 

741typedef 

742 struct _IRExpr 

743 IRExpr; 

744struct _IRExpr { 

745 IRExprTag tag; 

746 union { 

747 struct { 

748 Int binder; 

749 } Binder; 

750 struct { 

751 Int offset; 

752 IRType ty; 

753 } Get; 

754 struct { 

755 IRRegArray* descr; 

756 IRExpr* ix; 

757 Int bias; 

758 } GetI; 

759 struct { 

760 IRTemp tmp; 

761 } RdTmp; 

762 struct { 

763 IRQop* details; 

764 } Qop; 

765 struct { 

766 IRTriop* details; 

767 } Triop; 

768 struct { 

769 IROp op; 

770 IRExpr* arg1; 

771 IRExpr* arg2; 

772 } Binop; 

773 struct { 

774 IROp op; 

775 IRExpr* arg; 

776 } Unop; 

777 struct { 

778 IREndness end; 

779 IRType ty; 

780 IRExpr* addr; 

781 } Load; 

782 struct { 

783 IRConst* con; 

784 } Const; 

785 struct { 

786 IRCallee* cee; 

787 IRType retty; 

788 IRExpr** args; 

789 } CCall; 

790 struct { 

791 IRExpr* cond; 

792 IRExpr* iftrue; 

793 IRExpr* iffalse; 

794 } ITE; 

795 } Iex; 

796}; 

797struct _IRTriop { 

798 IROp op; 

799 IRExpr* arg1; 

800 IRExpr* arg2; 

801 IRExpr* arg3; 

802}; 

803struct _IRQop { 

804 IROp op; 

805 IRExpr* arg1; 

806 IRExpr* arg2; 

807 IRExpr* arg3; 

808 IRExpr* arg4; 

809}; 

810extern IRExpr* IRExpr_Binder ( Int binder ); 

811extern IRExpr* IRExpr_Get ( Int off, IRType ty ); 

812extern IRExpr* IRExpr_GetI ( IRRegArray* descr, IRExpr* ix, Int bias ); 

813extern IRExpr* IRExpr_RdTmp ( IRTemp tmp ); 

814extern IRExpr* IRExpr_Qop ( IROp op, IRExpr* arg1, IRExpr* arg2, 

815 IRExpr* arg3, IRExpr* arg4 ); 

816extern IRExpr* IRExpr_Triop ( IROp op, IRExpr* arg1, 

817 IRExpr* arg2, IRExpr* arg3 ); 

818extern IRExpr* IRExpr_Binop ( IROp op, IRExpr* arg1, IRExpr* arg2 ); 

819extern IRExpr* IRExpr_Unop ( IROp op, IRExpr* arg ); 

820extern IRExpr* IRExpr_Load ( IREndness end, IRType ty, IRExpr* addr ); 

821extern IRExpr* IRExpr_Const ( IRConst* con ); 

822extern IRExpr* IRExpr_CCall ( IRCallee* cee, IRType retty, IRExpr** args ); 

823extern IRExpr* IRExpr_ITE ( IRExpr* cond, IRExpr* iftrue, IRExpr* iffalse ); 

824extern IRExpr* IRExpr_VECRET ( void ); 

825extern IRExpr* IRExpr_GSPTR ( void ); 

826extern IRExpr* deepCopyIRExpr ( const IRExpr* ); 

827extern void ppIRExpr ( const IRExpr* ); 

828extern IRExpr** mkIRExprVec_0 ( void ); 

829extern IRExpr** mkIRExprVec_1 ( IRExpr* ); 

830extern IRExpr** mkIRExprVec_2 ( IRExpr*, IRExpr* ); 

831extern IRExpr** mkIRExprVec_3 ( IRExpr*, IRExpr*, IRExpr* ); 

832extern IRExpr** mkIRExprVec_4 ( IRExpr*, IRExpr*, IRExpr*, IRExpr* ); 

833extern IRExpr** mkIRExprVec_5 ( IRExpr*, IRExpr*, IRExpr*, IRExpr*, 

834 IRExpr* ); 

835extern IRExpr** mkIRExprVec_6 ( IRExpr*, IRExpr*, IRExpr*, IRExpr*, 

836 IRExpr*, IRExpr* ); 

837extern IRExpr** mkIRExprVec_7 ( IRExpr*, IRExpr*, IRExpr*, IRExpr*, 

838 IRExpr*, IRExpr*, IRExpr* ); 

839extern IRExpr** mkIRExprVec_8 ( IRExpr*, IRExpr*, IRExpr*, IRExpr*, 

840 IRExpr*, IRExpr*, IRExpr*, IRExpr* ); 

841extern IRExpr** mkIRExprVec_9 ( IRExpr*, IRExpr*, IRExpr*, IRExpr*, 

842 IRExpr*, IRExpr*, IRExpr*, IRExpr*, IRExpr* ); 

843extern IRExpr** mkIRExprVec_13 ( IRExpr*, IRExpr*, IRExpr*, IRExpr*, 

844 IRExpr*, IRExpr*, IRExpr*, IRExpr*, 

845 IRExpr*, IRExpr*, IRExpr*, IRExpr*, IRExpr* ); 

846extern IRExpr** shallowCopyIRExprVec ( IRExpr** ); 

847extern IRExpr** deepCopyIRExprVec ( IRExpr *const * ); 

848extern IRExpr* mkIRExpr_HWord ( HWord ); 

849extern 

850IRExpr* mkIRExprCCall ( IRType retty, 

851 Int regparms, const HChar* name, void* addr, 

852 IRExpr** args ); 

853extern Bool eqIRAtom ( const IRExpr*, const IRExpr* ); 

854typedef 

855 enum { 

856 Ijk_INVALID=0x1A00, 

857 Ijk_Boring, 

858 Ijk_Call, 

859 Ijk_Ret, 

860 Ijk_ClientReq, 

861 Ijk_Yield, 

862 Ijk_EmWarn, 

863 Ijk_EmFail, 

864 Ijk_NoDecode, 

865 Ijk_MapFail, 

866 Ijk_InvalICache, 

867 Ijk_FlushDCache, 

868 Ijk_NoRedir, 

869 Ijk_SigILL, 

870 Ijk_SigTRAP, 

871 Ijk_SigSEGV, 

872 Ijk_SigBUS, 

873 Ijk_SigFPE, 

874 Ijk_SigFPE_IntDiv, 

875 Ijk_SigFPE_IntOvf, 

876 Ijk_Privileged, 

877 Ijk_Sys_syscall, 

878 Ijk_Sys_int32, 

879 Ijk_Sys_int128, 

880 Ijk_Sys_int129, 

881 Ijk_Sys_int130, 

882 Ijk_Sys_int145, 

883 Ijk_Sys_int210, 

884 Ijk_Sys_sysenter 

885 } 

886 IRJumpKind; 

887extern void ppIRJumpKind ( IRJumpKind ); 

888typedef 

889 enum { 

890 Ifx_None=0x1B00, 

891 Ifx_Read, 

892 Ifx_Write, 

893 Ifx_Modify, 

894 } 

895 IREffect; 

896extern void ppIREffect ( IREffect ); 

897typedef 

898 struct _IRDirty { 

899 IRCallee* cee; 

900 IRExpr* guard; 

901 IRExpr** args; 

902 IRTemp tmp; 

903 IREffect mFx; 

904 IRExpr* mAddr; 

905 Int mSize; 

906 Int nFxState; 

907 struct { 

908 IREffect fx:16; 

909 UShort offset; 

910 UShort size; 

911 UChar nRepeats; 

912 UChar repeatLen; 

913 } fxState[7]; 

914 } 

915 IRDirty; 

916extern void ppIRDirty ( const IRDirty* ); 

917extern IRDirty* emptyIRDirty ( void ); 

918extern IRDirty* deepCopyIRDirty ( const IRDirty* ); 

919extern 

920IRDirty* unsafeIRDirty_0_N ( Int regparms, const HChar* name, void* addr, 

921 IRExpr** args ); 

922extern 

923IRDirty* unsafeIRDirty_1_N ( IRTemp dst, 

924 Int regparms, const HChar* name, void* addr, 

925 IRExpr** args ); 

926typedef 

927 enum { 

928 Imbe_Fence=0x1C00, 

929 Imbe_CancelReservation 

930 } 

931 IRMBusEvent; 

932extern void ppIRMBusEvent ( IRMBusEvent ); 

933typedef 

934 struct { 

935 IRTemp oldHi; 

936 IRTemp oldLo; 

937 IREndness end; 

938 IRExpr* addr; 

939 IRExpr* expdHi; 

940 IRExpr* expdLo; 

941 IRExpr* dataHi; 

942 IRExpr* dataLo; 

943 } 

944 IRCAS; 

945extern void ppIRCAS ( const IRCAS* cas ); 

946extern IRCAS* mkIRCAS ( IRTemp oldHi, IRTemp oldLo, 

947 IREndness end, IRExpr* addr, 

948 IRExpr* expdHi, IRExpr* expdLo, 

949 IRExpr* dataHi, IRExpr* dataLo ); 

950extern IRCAS* deepCopyIRCAS ( const IRCAS* ); 

951typedef 

952 struct { 

953 IRRegArray* descr; 

954 IRExpr* ix; 

955 Int bias; 

956 IRExpr* data; 

957 } IRPutI; 

958extern void ppIRPutI ( const IRPutI* puti ); 

959extern IRPutI* mkIRPutI ( IRRegArray* descr, IRExpr* ix, 

960 Int bias, IRExpr* data ); 

961extern IRPutI* deepCopyIRPutI ( const IRPutI* ); 

962typedef 

963 struct { 

964 IREndness end; 

965 IRExpr* addr; 

966 IRExpr* data; 

967 IRExpr* guard; 

968 } 

969 IRStoreG; 

970typedef 

971 enum { 

972 ILGop_INVALID=0x1D00, 

973 ILGop_IdentV128, 

974 ILGop_Ident64, 

975 ILGop_Ident32, 

976 ILGop_16Uto32, 

977 ILGop_16Sto32, 

978 ILGop_8Uto32, 

979 ILGop_8Sto32 

980 } 

981 IRLoadGOp; 

982typedef 

983 struct { 

984 IREndness end; 

985 IRLoadGOp cvt; 

986 IRTemp dst; 

987 IRExpr* addr; 

988 IRExpr* alt; 

989 IRExpr* guard; 

990 } 

991 IRLoadG; 

992extern void ppIRStoreG ( const IRStoreG* sg ); 

993extern void ppIRLoadGOp ( IRLoadGOp cvt ); 

994extern void ppIRLoadG ( const IRLoadG* lg ); 

995extern IRStoreG* mkIRStoreG ( IREndness end, 

996 IRExpr* addr, IRExpr* data, 

997 IRExpr* guard ); 

998extern IRLoadG* mkIRLoadG ( IREndness end, IRLoadGOp cvt, 

999 IRTemp dst, IRExpr* addr, IRExpr* alt, 

1000 IRExpr* guard ); 

1001typedef 

1002 enum { 

1003 Ist_NoOp=0x1E00, 

1004 Ist_IMark, 

1005 Ist_AbiHint, 

1006 Ist_Put, 

1007 Ist_PutI, 

1008 Ist_WrTmp, 

1009 Ist_Store, 

1010 Ist_LoadG, 

1011 Ist_StoreG, 

1012 Ist_CAS, 

1013 Ist_LLSC, 

1014 Ist_Dirty, 

1015 Ist_MBE, 

1016 Ist_Exit 

1017 } 

1018 IRStmtTag; 

1019typedef 

1020 struct _IRStmt { 

1021 IRStmtTag tag; 

1022 union { 

1023 struct { 

1024 UInt dummy; 

1025 } NoOp; 

1026 struct { 

1027 Addr addr; 

1028 UInt len; 

1029 UChar delta; 

1030 } IMark; 

1031 struct { 

1032 IRExpr* base; 

1033 Int len; 

1034 IRExpr* nia; 

1035 } AbiHint; 

1036 struct { 

1037 Int offset; 

1038 IRExpr* data; 

1039 } Put; 

1040 struct { 

1041 IRPutI* details; 

1042 } PutI; 

1043 struct { 

1044 IRTemp tmp; 

1045 IRExpr* data; 

1046 } WrTmp; 

1047 struct { 

1048 IREndness end; 

1049 IRExpr* addr; 

1050 IRExpr* data; 

1051 } Store; 

1052 struct { 

1053 IRStoreG* details; 

1054 } StoreG; 

1055 struct { 

1056 IRLoadG* details; 

1057 } LoadG; 

1058 struct { 

1059 IRCAS* details; 

1060 } CAS; 

1061 struct { 

1062 IREndness end; 

1063 IRTemp result; 

1064 IRExpr* addr; 

1065 IRExpr* storedata; 

1066 } LLSC; 

1067 struct { 

1068 IRDirty* details; 

1069 } Dirty; 

1070 struct { 

1071 IRMBusEvent event; 

1072 } MBE; 

1073 struct { 

1074 IRExpr* guard; 

1075 IRConst* dst; 

1076 IRJumpKind jk; 

1077 Int offsIP; 

1078 } Exit; 

1079 } Ist; 

1080 } 

1081 IRStmt; 

1082extern IRStmt* IRStmt_NoOp ( void ); 

1083extern IRStmt* IRStmt_IMark ( Addr addr, UInt len, UChar delta ); 

1084extern IRStmt* IRStmt_AbiHint ( IRExpr* base, Int len, IRExpr* nia ); 

1085extern IRStmt* IRStmt_Put ( Int off, IRExpr* data ); 

1086extern IRStmt* IRStmt_PutI ( IRPutI* details ); 

1087extern IRStmt* IRStmt_WrTmp ( IRTemp tmp, IRExpr* data ); 

1088extern IRStmt* IRStmt_Store ( IREndness end, IRExpr* addr, IRExpr* data ); 

1089extern IRStmt* IRStmt_StoreG ( IREndness end, IRExpr* addr, IRExpr* data, 

1090 IRExpr* guard ); 

1091extern IRStmt* IRStmt_LoadG ( IREndness end, IRLoadGOp cvt, IRTemp dst, 

1092 IRExpr* addr, IRExpr* alt, IRExpr* guard ); 

1093extern IRStmt* IRStmt_CAS ( IRCAS* details ); 

1094extern IRStmt* IRStmt_LLSC ( IREndness end, IRTemp result, 

1095 IRExpr* addr, IRExpr* storedata ); 

1096extern IRStmt* IRStmt_Dirty ( IRDirty* details ); 

1097extern IRStmt* IRStmt_MBE ( IRMBusEvent event ); 

1098extern IRStmt* IRStmt_Exit ( IRExpr* guard, IRJumpKind jk, IRConst* dst, 

1099 Int offsIP ); 

1100extern IRStmt* deepCopyIRStmt ( const IRStmt* ); 

1101extern void ppIRStmt ( const IRStmt* ); 

1102typedef 

1103 struct { 

1104 IRType* types; 

1105 Int types_size; 

1106 Int types_used; 

1107 } 

1108 IRTypeEnv; 

1109extern IRTemp newIRTemp ( IRTypeEnv*, IRType ); 

1110extern IRTypeEnv* deepCopyIRTypeEnv ( const IRTypeEnv* ); 

1111extern void ppIRTypeEnv ( const IRTypeEnv* ); 

1112typedef 

1113 struct { 

1114 IRTypeEnv* tyenv; 

1115 IRStmt** stmts; 

1116 Int stmts_size; 

1117 Int stmts_used; 

1118 IRExpr* next; 

1119 IRJumpKind jumpkind; 

1120 Int offsIP; 

1121 } 

1122 IRSB; 

1123extern IRSB* emptyIRSB ( void ); 

1124extern IRSB* deepCopyIRSB ( const IRSB* ); 

1125extern IRSB* deepCopyIRSBExceptStmts ( const IRSB* ); 

1126extern void ppIRSB ( const IRSB* ); 

1127extern void addStmtToIRSB ( IRSB*, IRStmt* ); 

1128extern IRTypeEnv* emptyIRTypeEnv ( void ); 

1129extern IRType typeOfIRConst ( const IRConst* ); 

1130extern IRType typeOfIRTemp ( const IRTypeEnv*, IRTemp ); 

1131extern IRType typeOfIRExpr ( const IRTypeEnv*, const IRExpr* ); 

1132extern void typeOfIRLoadGOp ( IRLoadGOp cvt, 

1133 IRType* t_res, 

1134 IRType* t_arg ); 

1135extern void sanityCheckIRSB ( const IRSB* bb, 

1136 const HChar* caller, 

1137 Bool require_flatness, 

1138 IRType guest_word_size ); 

1139extern Bool isFlatIRStmt ( const IRStmt* ); 

1140extern Bool isPlausibleIRType ( IRType ty ); 

1141void vex_inject_ir(IRSB *, IREndness); 

1142typedef 

1143 enum { 

1144 VexArch_INVALID=0x400, 

1145 VexArchX86, 

1146 VexArchAMD64, 

1147 VexArchARM, 

1148 VexArchARM64, 

1149 VexArchPPC32, 

1150 VexArchPPC64, 

1151 VexArchS390X, 

1152 VexArchMIPS32, 

1153 VexArchMIPS64, 

1154 VexArchTILEGX, 

1155 VexArchRISCV64 

1156 } 

1157 VexArch; 

1158typedef 

1159 enum { 

1160 VexEndness_INVALID=0x600, 

1161 VexEndnessLE, 

1162 VexEndnessBE 

1163 } 

1164 VexEndness; 

1165extern const HChar* LibVEX_ppVexArch ( VexArch ); 

1166extern const HChar* LibVEX_ppVexEndness ( VexEndness endness ); 

1167extern const HChar* LibVEX_ppVexHwCaps ( VexArch, UInt ); 

1168typedef enum { 

1169 DATA_CACHE=0x500, 

1170 INSN_CACHE, 

1171 UNIFIED_CACHE 

1172} VexCacheKind; 

1173typedef struct { 

1174 VexCacheKind kind; 

1175 UInt level; 

1176 UInt sizeB; 

1177 UInt line_sizeB; 

1178 UInt assoc; 

1179 Bool is_trace_cache; 

1180} VexCache; 

1181typedef struct { 

1182 UInt num_levels; 

1183 UInt num_caches; 

1184 VexCache *caches; 

1185 Bool icaches_maintain_coherence; 

1186} VexCacheInfo; 

1187typedef 

1188 struct { 

1189 UInt hwcaps; 

1190 VexEndness endness; 

1191 VexCacheInfo hwcache_info; 

1192 Int ppc_icache_line_szB; 

1193 UInt ppc_dcbz_szB; 

1194 UInt ppc_dcbzl_szB; 

1195 UInt arm64_dMinLine_lg2_szB; 

1196 UInt arm64_iMinLine_lg2_szB; 

1197 UInt x86_cr0; 

1198 } 

1199 VexArchInfo; 

1200extern 

1201void LibVEX_default_VexArchInfo ( VexArchInfo* vai ); 

1202typedef 

1203 struct { 

1204 Int guest_stack_redzone_size; 

1205 Bool guest_amd64_assume_fs_is_const; 

1206 Bool guest_amd64_assume_gs_is_const; 

1207 Bool guest_ppc_zap_RZ_at_blr; 

1208 Bool (*guest_ppc_zap_RZ_at_bl)(Addr); 

1209 Bool host_ppc_calls_use_fndescrs; 

1210 Bool guest_mips_fp_mode64; 

1211 Bool guest__use_fallback_LLSC; 

1212 } 

1213 VexAbiInfo; 

1214extern 

1215void LibVEX_default_VexAbiInfo ( VexAbiInfo* vbi ); 

1216typedef 

1217 enum { 

1218 VexRegUpd_INVALID=0x700, 

1219 VexRegUpdSpAtMemAccess, 

1220 VexRegUpdUnwindregsAtMemAccess, 

1221 VexRegUpdAllregsAtMemAccess, 

1222 VexRegUpdAllregsAtEachInsn, 

1223 VexRegUpdLdAllregsAtEachInsn 

1224 } 

1225 VexRegisterUpdates; 

1226typedef 

1227 struct { 

1228 Int iropt_verbosity; 

1229 Int iropt_level; 

1230 VexRegisterUpdates iropt_register_updates_default; 

1231 Int iropt_unroll_thresh; 

1232 Int guest_max_insns; 

1233 Int guest_max_bytes; 

1234 Int guest_chase_thresh; 

1235 Bool guest_chase_cond; 

1236 UInt regalloc_version; 

1237 Bool arm_allow_optimizing_lookback; 

1238 Bool strict_block_end; 

1239 Bool arm64_allow_reordered_writeback; 

1240 Bool x86_optimize_callpop_idiom; 

1241 Bool special_instruction_support; 

1242 UInt lookback_amount; 

1243 } 

1244 VexControl; 

1245extern 

1246void LibVEX_default_VexControl ( VexControl* vcon ); 

1247extern void* LibVEX_Alloc ( SizeT nbytes ); 

1248extern void LibVEX_ShowAllocStats ( void ); 

1249typedef 

1250 struct { 

1251 Int total_sizeB; 

1252 Int offset_SP; 

1253 Int sizeof_SP; 

1254 Int offset_FP; 

1255 Int sizeof_FP; 

1256 Int offset_IP; 

1257 Int sizeof_IP; 

1258 Int n_alwaysDefd; 

1259 struct { 

1260 Int offset; 

1261 Int size; 

1262 } alwaysDefd[24]; 

1263 } 

1264 VexGuestLayout; 

1265extern void LibVEX_Init ( 

1266  

1267 void (*failure_exit) ( void ), 

1268 void (*log_bytes) ( const HChar*, SizeT nbytes ), 

1269 Int debuglevel, 

1270 const VexControl* vcon 

1271); 

1272extern void LibVEX_Update_Control (const VexControl * ); 

1273typedef 

1274 struct { 

1275 enum { VexTransOK=0x800, 

1276 VexTransAccessFail, VexTransOutputFull } status; 

1277 UInt n_sc_extents; 

1278 Int offs_profInc; 

1279 UInt n_guest_instrs; 

1280 } 

1281 VexTranslateResult; 

1282typedef 

1283 struct { 

1284 Addr base[3]; 

1285 UShort len[3]; 

1286 UShort n_used; 

1287 } 

1288 VexGuestExtents; 

1289typedef 

1290 struct { 

1291 VexArch arch_guest; 

1292 VexArchInfo archinfo_guest; 

1293 VexArch arch_host; 

1294 VexArchInfo archinfo_host; 

1295 VexAbiInfo abiinfo_both; 

1296 void* callback_opaque; 

1297 const UChar* guest_bytes; 

1298 Addr guest_bytes_addr; 

1299 Bool (*chase_into_ok) ( void*, Addr ); 

1300 VexGuestExtents* guest_extents; 

1301 UChar* host_bytes; 

1302 Int host_bytes_size; 

1303 Int* host_bytes_used; 

1304 IRSB* (*instrument1) ( void*, 

1305 IRSB*, 

1306 const VexGuestLayout*, 

1307 const VexGuestExtents*, 

1308 const VexArchInfo*, 

1309 IRType gWordTy, IRType hWordTy ); 

1310 IRSB* (*instrument2) ( void*, 

1311 IRSB*, 

1312 const VexGuestLayout*, 

1313 const VexGuestExtents*, 

1314 const VexArchInfo*, 

1315 IRType gWordTy, IRType hWordTy ); 

1316 IRSB* (*finaltidy) ( IRSB* ); 

1317 UInt (*needs_self_check)( void*, 

1318 VexRegisterUpdates* pxControl, 

1319 const VexGuestExtents* ); 

1320 Bool (*preamble_function)( void*, IRSB*); 

1321 Int traceflags; 

1322 Bool sigill_diag; 

1323 Bool addProfInc; 

1324 const void* disp_cp_chain_me_to_slowEP; 

1325 const void* disp_cp_chain_me_to_fastEP; 

1326 const void* disp_cp_xindir; 

1327 const void* disp_cp_xassisted; 

1328 } 

1329 VexTranslateArgs; 

1330extern 

1331VexTranslateResult LibVEX_Translate ( VexTranslateArgs* ); 

1332extern 

1333IRSB *LibVEX_Lift ( VexTranslateArgs*,