Go to the source code of this file.
◆ SSE_FUNC_PROCESS
#define SSE_FUNC_PROCESS |
( |
|
LLVM_NAME, |
|
|
|
FUNC_NAME |
|
) |
| |
Value: auto sse_##FUNC_NAME = [
this](
const CallICFGNode *callNode) { \
\
AbstractState& as = getAbsStateFromTrace(callNode); \
u32_t rhs_id = callNode->getArgument(0)->getId(); \
if (!as.inVarToValTable(rhs_id)) return; \
u32_t rhs = as[rhs_id].getInterval().lb().getIntNumeral(); \
s32_t res = FUNC_NAME(rhs); \
u32_t lhsId = callNode->getRetICFGNode()->getActualRet()->getId(); \
return; \
}; \
func_map[#FUNC_NAME] = sse_##FUNC_NAME;