\brief Check for INT_(S)RIGHT and/or SUBPIECE followed by INT_MULT Look for the forms: - `sub(ext(X) * y,c)` or - `sub(ext(X) * y,c) >> n` or - `(ext(X) * y) >> n` Looks for truncation/multiplication consistent with an optimized division. The truncation can come as either a SUBPIECE operation and/or right shifts. The numerand and the amount it has been extended is discovered. The extensio
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected