"> > + where B is an SSA name, c1 is a constant that may be zero, and" . . . .