Searched refs:AVI (Results 1 – 7 of 7) sorted by relevance
49 auto AVI = AffectedValues.find_as(V); in getOrInsertAffectedValues() local50 if (AVI != AffectedValues.end()) in getOrInsertAffectedValues()51 return AVI->second; in getOrInsertAffectedValues()115 auto AVI = AffectedValues.find_as(AV.Assume); in unregisterAssumption() local116 if (AVI == AffectedValues.end()) in unregisterAssumption()120 for (ResultElem &Elem : AVI->second) { in unregisterAssumption()131 AffectedValues.erase(AVI); in unregisterAssumption()144 auto AVI = AffectedValues.find(OV); in transferAffectedValuesInCache() local145 if (AVI == AffectedValues.end()) in transferAffectedValuesInCache()148 for (auto &A : AVI->second) in transferAffectedValuesInCache()
44 auto AVI = AffectedValues.find_as(const_cast<Value *>(V)); in conditionsFor() local45 if (AVI == AffectedValues.end()) in conditionsFor()48 return AVI->second; in conditionsFor()
162 auto AVI = AffectedValues.find_as(const_cast<Value *>(V)); in assumptionsFor() local163 if (AVI == AffectedValues.end()) in assumptionsFor()166 return AVI->second; in assumptionsFor()
242 # AVI section extended by Patrik Radman <patrik+file-magic@iki.fi>250 # WAVE/AVI codec registry: https://www.iana.org/assignments/wave-avi-codec-registry/wave-avi-codec-…418 # AVI == Audio Video Interleave419 # Reference: http://fileformats.archiveteam.org/wiki/AVI420 >8 string AVI\040 \b, AVI478 # Note: The tests below assume that the AVI has 1 or 2 streams,691 # AMV-type AVI file: https://wiki.multimedia.cx/index.php?title=AMV883 # AVI == Audio Video Interleave884 >8 string AVI\040 \b, AVI
11 AVI
1599 if (size < HDMI_INFOFRAME_SIZE(AVI)) in hdmi_avi_infoframe_unpack()1607 if (hdmi_infoframe_checksum(buffer, HDMI_INFOFRAME_SIZE(AVI)) != 0) in hdmi_avi_infoframe_unpack()
999 if (hdmi_infoframe_checksum(buffer, HDMI_INFOFRAME_SIZE(AVI)) != 0) in hdmi_avi_infoframe_unpack()