Searched refs:ABA_Argument (Results 1 – 3 of 3) sorted by relevance
65 assert(BOI.End - BOI.Begin > ABA_Argument); in hasAttributeInAssume()67 cast<ConstantInt>(getValueFromBundleOpInfo(Assume, BOI, ABA_Argument)) in hasAttributeInAssume()87 if (!bundleHasArgument(Bundles, ABA_Argument)) { in fillMapFromAssume()92 getValueFromBundleOpInfo(Assume, Bundles, ABA_Argument)) in fillMapFromAssume()113 getValueFromBundleOpInfo(Assume, BOI, ABA_Argument + Idx))) in getKnowledgeFromBundle()117 if (BOI.End - BOI.Begin > ABA_Argument) in getKnowledgeFromBundle()120 if (BOI.End - BOI.Begin > ABA_Argument + 1) in getKnowledgeFromBundle()
31 ABA_Argument = 1, enumerator
132 ToUpdate = &Intr->op_begin()[Bundle->Begin + ABA_Argument]; in tryToPreserveWithoutAddingAssume()419 Elem.Assume->op_begin()[Elem.BOI->Begin + ABA_Argument].set( in dropRedundantKnowledge()