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()164 auto AVI = AffectedValues.find_as(AV.Assume); in unregisterAssumption() local165 if (AVI == AffectedValues.end()) in unregisterAssumption()169 for (ResultElem &Elem : AVI->second) { in unregisterAssumption()180 AffectedValues.erase(AVI); in unregisterAssumption()193 auto AVI = AffectedValues.find(OV); in transferAffectedValuesInCache() local194 if (AVI == AffectedValues.end()) in transferAffectedValuesInCache()197 for (auto &A : AVI->second) in transferAffectedValuesInCache()
46 auto AVI = AffectedValues.find_as(const_cast<Value *>(V)); in conditionsFor() local47 if (AVI == AffectedValues.end()) in conditionsFor()50 return AVI->second; in conditionsFor()
161 auto AVI = AffectedValues.find_as(const_cast<Value *>(V)); in assumptionsFor() local162 if (AVI == AffectedValues.end()) in assumptionsFor()165 return AVI->second; in assumptionsFor()
222 # AVI section extended by Patrik Radman <[email protected]>229 # WAVE/AVI codec registry: https://www.iana.org/assignments/wave-avi-codec-registry/wave-avi-codec-…357 # AVI == Audio Video Interleave358 # Reference: http://fileformats.archiveteam.org/wiki/AVI359 >8 string AVI\040 \b, AVI417 # Note: The tests below assume that the AVI has 1 or 2 streams,630 # AMV-type AVI file: https://wiki.multimedia.cx/index.php?title=AMV806 # AVI == Audio Video Interleave807 >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()
1000 if (hdmi_infoframe_checksum(buffer, HDMI_INFOFRAME_SIZE(AVI)) != 0) in hdmi_avi_infoframe_unpack()