Searched refs:vtopx1 (Results 1 – 1 of 1) sorted by relevance
350 svuint64_t vtopx1 = vtopx0; in SV_NAME_D2() local359 vtopx1 = svand_m (yisint_xisneg, vtopx0, 0x7ff); in SV_NAME_D2()375 svbool_t topx_is_null = svcmpeq (xsmall, vtopx1, 0); in SV_NAME_D2()