Compares the second operand with the first operand, it sets the flags accordingly which will be used by the branching instructions.