Lines Matching refs:vals
121 SmallVector<ValueVector, 8> vals;
133 return vals[block->getBlockID()];
158 CFGBlockValues::CFGBlockValues(const CFG &c) : cfg(c), vals(0) {}
167 vals.resize(n);
168 for (auto &val : vals)
466 CFGBlockValues &vals;
475 TransferFunctions(CFGBlockValues &vals, const CFG &cfg,
479 : vals(vals), cfg(cfg), block(block), ac(ac),
577 Value AtPredExit = vals.getValue(Pred, B, vd);
582 vals.getValue(B, nullptr, vd) == Uninitialized) {
646 vals.getValue(Block, Succ, vd) == Uninitialized) {
678 Value v = vals[vd];
684 Value v = vals[vd];
694 vals[VD] = Initialized;
715 vals[vd] = Initialized;
730 vals.setAllScratchValues(Initialized);
740 vals.setAllScratchValues(Unknown);
753 vals[cast<VarDecl>(dr->getDecl())] = Initialized;
768 vals[VD] = Initialized;
787 vals[VD] = Uninitialized;
790 vals[VD] = Initialized;
802 vals[VD] = Uninitialized;
815 if (vals[VD] != Initialized)
819 vals[VD] = MayUninitialized;
826 vals.setAllScratchValues(Unknown);
835 AnalysisDeclContext &ac, CFGBlockValues &vals,
840 vals.resetScratch();
849 vals.mergeIntoScratch(vals.getValueVector(pred), isFirst);
854 TransferFunctions tf(vals, cfg, block, ac, classification, handler);
863 return vals.updateValueVectorWithScratch(block);
915 CFGBlockValues vals(cfg);
916 vals.computeSetOfDeclarations(dc);
917 if (vals.hasNoDeclarations())
920 stats.NumVariablesAnalyzed = vals.getNumEntries();
928 ValueVector &vec = vals.getValueVector(&entry);
929 const unsigned n = vals.getNumEntries();
946 bool changed = runOnBlock(block, cfg, ac, vals,
960 runOnBlock(block, cfg, ac, vals, classification, wasAnalyzed, handler);