Lines Matching refs:attribute
90 JOS.attribute("value_id", llvm::to_string(&V)); in dump()
94 JOS.attribute("kind", debugString(V.getKind())); in dump()
116 JOS.attribute("formula", llvm::to_string(B->formula())); in dump()
117 JOS.attribute("truth", Env.proves(B->formula()) ? "true" in dump()
124 JOS.attribute("location", llvm::to_string(&L)); in dump()
128 JOS.attribute("type", L.getType().getAsString()); in dump()
211 JOS->attribute("block", blockID(E.Block->getBlockID())); in endAnalysis()
212 JOS->attribute("iter", E.Iter); in endAnalysis()
213 JOS->attribute("post_visit", E.PostVisit); in endAnalysis()
214 JOS->attribute("converged", E.Converged); in endAnalysis()
265 JOS->attribute("block", blockID(Block)); in recordState()
266 JOS->attribute("iter", Iter); in recordState()
267 JOS->attribute("post_visit", PostVisit); in recordState()
268 JOS->attribute("element", ElementIndex); in recordState()
287 JOS->attribute("logs", ContextLogs); in recordState()
294 JOS->attribute("builtinLattice", BuiltinLattice); in recordState()
315 JOS->attribute("iter", Iter.Iter); in writeBlock()
316 JOS->attribute("post_visit", Iter.PostVisit); in writeBlock()
317 JOS->attribute("converged", Iter.Converged); in writeBlock()