Searched refs:HugeBound (Results 1 – 1 of 1) sorted by relevance
14 #define HugeBound sv_u64 (0x5fe) /* top12(asuint64(0x1p511)). */ macro77 svbool_t special = svcmpge (pg, top12, HugeBound); in SV_NAME_D1()