Searched refs:HugeExp (Results 1 – 1 of 1) sorted by relevance
46 #define HugeExp 0x409 /* top12(1024.). */ macro244 oflow = svcmpge (pg, abstop, HugeExp); in sv_exp_inline()