Searched defs:signbit_32 (Results 1 – 1 of 1) sorted by relevance
3346 IRTemp signbit_32 = newTemp(Ity_I32); in getNegatedResult() local3390 IRTemp signbit_32 = newTemp(Ity_I32); in getNegatedResult_32() local