Searched refs:AVI (Results 1 – 6 of 6) 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()117 auto AVI = AffectedValues.find_as(AV.Assume); in unregisterAssumption() local118 if (AVI == AffectedValues.end()) in unregisterAssumption()122 for (ResultElem &Elem : AVI->second) { in unregisterAssumption()133 AffectedValues.erase(AVI); in unregisterAssumption()146 auto AVI = AffectedValues.find(OV); in transferAffectedValuesInCache() local147 if (AVI == AffectedValues.end()) in transferAffectedValuesInCache()150 for (auto &A : AVI->second) in transferAffectedValuesInCache()
161 auto AVI = AffectedValues.find_as(const_cast<Value *>(V)); in assumptionsFor() local 162 if (AVI == AffectedValues.end()) in assumptionsFor() 165 return AVI->second; in assumptionsFor()
237 # AVI section extended by Patrik Radman <patrik+file-magic@iki.fi>244 # WAVE/AVI codec registry: https://www.iana.org/assignments/wave-avi-codec-registry/wave-avi-codec-…412 # AVI == Audio Video Interleave413 # Reference: http://fileformats.archiveteam.org/wiki/AVI414 >8 string AVI\040 \b, AVI472 # Note: The tests below assume that the AVI has 1 or 2 streams,685 # AMV-type AVI file: https://wiki.multimedia.cx/index.php?title=AMV877 # AVI == Audio Video Interleave878 >8 string AVI\040 \b, AVI
11 AVI
1605 if (size < HDMI_INFOFRAME_SIZE(AVI)) in hdmi_avi_infoframe_unpack()1613 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()