Lines Matching refs:attribute
90 JOS.attribute("value_id", llvm::to_string(&V)); in dump()
94 JOS.attribute("kind", debugString(V.getKind())); in dump()
115 JOS.attribute("formula", llvm::to_string(B->formula())); in dump()
116 JOS.attribute("truth", Env.proves(B->formula()) ? "true" in dump()
123 JOS.attribute("location", llvm::to_string(&L)); in dump()
127 JOS.attribute("type", L.getType().getAsString()); in dump()
213 JOS.attribute("block", blockID(E.Block->getBlockID())); in endAnalysis()
214 JOS.attribute("iter", E.Iter); in endAnalysis()
215 JOS.attribute("post_visit", E.PostVisit); in endAnalysis()
216 JOS.attribute("converged", E.Converged); in endAnalysis()
273 JOS.attribute("block", blockID(Block)); in recordState()
274 JOS.attribute("iter", Iter); in recordState()
275 JOS.attribute("post_visit", PostVisit); in recordState()
276 JOS.attribute("element", ElementIndex); in recordState()
296 JOS.attribute("logs", ContextLogs); in recordState()
303 JOS.attribute("builtinLattice", BuiltinLattice); in recordState()
327 JOS.attribute("iter", Iter.Iter); in writeBlock()
328 JOS.attribute("post_visit", Iter.PostVisit); in writeBlock()
329 JOS.attribute("converged", Iter.Converged); in writeBlock()