testcase mod r1 <+ r2