Searched refs:intVar (Results 326 – 329 of 329) sorted by relevance
1...<<11121314
3315 auto *intVar = getModule().getGlobalVariable("libjit_intVar", in getLibjitIntWidth() local3317 assert(intVar && "libjit_intVar is not found"); in getLibjitIntWidth()3318 return intVar->getType()->getPointerElementType()->getIntegerBitWidth(); in getLibjitIntWidth()
293 s.resolveVar(call->arg(2)->cast<Id>()->decl()).intVar(s.currentSpace), in p_bool_lin_cmp()315 s.resolveVar(call->arg(2)->cast<Id>()->decl()).intVar(s.currentSpace), in p_bool_lin_cmp_reif()
235 if (intVar[i]==1) { in generateCuts()
18792 var integer: intVar is 0;18796 intVar := number;18797 intVar <<:= lshift;18798 wrong := intVar <> checkValue;19575 var integer: intVar is 0;19579 intVar := number;19580 intVar >>:= rshift;19581 wrong := intVar <> check;