hub / github.com/GoSSIP-SJTU/Armariris / isImpliedCondMatchingImmOperands

Function isImpliedCondMatchingImmOperands

lib/Analysis/ValueTracking.cpp:4080–4096 · view source on GitHub ↗

Return true if "icmp1 APred ALHS C1" implies "icmp2 BPred BLHS C2" is true. Return false if "icmp1 APred ALHS C1" implies "icmp2 BPred BLHS C2" is false. Otherwise, return None if we can't infer anything.

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

Callers 1

isImpliedConditionMethod · 0.85

Calls 5

differenceMethod · 0.80

isEmptySetMethod · 0.80

assertFunction · 0.50

getValueMethod · 0.45

intersectWithMethod · 0.45

Tested by

no test coverage detected