MCPcopy Create free account
hub / github.com/GoSSIP-SJTU/Armariris / isImpliedCondOperands

Function isImpliedCondOperands

lib/Analysis/ValueTracking.cpp:4019–4044  ·  view source on GitHub ↗

Return true if "icmp Pred BLHS BRHS" is true whenever "icmp Pred ALHS ARHS" is true. Otherwise, return None.

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

Callers 2

isImpliedConditionMethod · 0.85
isImpliedCondMethod · 0.85

Calls 1

isTruePredicateFunction · 0.85

Tested by

no test coverage detected