Symbol: GEN_BINARY_RMWcc