1; RUN: opt < %s -instcombine -S | grep "srem <4 x i32>"
2
3define <4 x i32> @foo(<4 x i32> %t, <4 x i32> %u)
4{
5  %k = sdiv <4 x i32> %t, %u
6  %l = mul <4 x i32> %k, %u
7  %m = sub <4 x i32> %t, %l
8  ret <4 x i32> %m
9}
10