1; RUN: opt < %s -instcombine -S | grep srem
2
3define i64 @foo(i64 %x1, i64 %y2) {
4	%r = sdiv i64 %x1, %y2
5	%r7 = mul i64 %r, %y2
6	%r8 = sub i64 %x1, %r7
7	ret i64 %r8
8}
9