Searched refs:bvIsNonzero (Results 1 – 7 of 7) sorted by relevance
88 , bvIsNonzero643 bvIsNonzero :: IsExprBuilder sym => sym -> SWord sym -> IO (Pred sym)644 bvIsNonzero sym ZBV = return (W.falsePred sym) function645 bvIsNonzero sym (DBV x) = W.bvIsNonzero sym x function
935 bvIsNonzero :: (1 <= w) => sym -> SymBV sym w -> IO (Pred sym)
192 ov <- bvIsNonzero sym hi785 BVIsNonZeroFn _ -> Ctx.uncurryAssignment $ bvIsNonzero sym
2648 bvIsNonzero sym x2651 = do t' <- bvIsNonzero sym t2652 f' <- bvIsNonzero sym f2656 = do pa <- bvIsNonzero sym a2657 pb <- bvIsNonzero sym b2660 bvIsNonzero sym y2662 bvIsNonzero sym y
196 do p <- liftIO (SW.bvIsNonzero (w4 sym) x)
282 p1 <- notPred sym =<< bvIsNonzero sym y
382 (\sym -> bvIsNonzero sym =<< expr v sym))