Lines Matching defs:fillMapFromAssume

249 TEST(AssumeQueryAPI, fillMapFromAssume) {
270         fillMapFromAssume(*Assume, Map);
295         fillMapFromAssume(*Assume, Map);
318         fillMapFromAssume(*Assume, Map);
327         fillMapFromAssume(*cast<AssumeInst>(I), Map);
343         fillMapFromAssume(*Assume, Map);
380         fillMapFromAssume(*Assume, Map);
389         fillMapFromAssume(*Assume, Map);
399         fillMapFromAssume(*cast<AssumeInst>(I), Map);
473   fillMapFromAssume(*Assume, Map);