/* { dg-additional-options "-march=sapphirerapids" { target x86_64*-*-* i?86-*-* } } */
/* PR middle-end/113322 */

float a[16];
void 
foo ()
{
int i;
for (i = 0; i < 16/2; i++)
 {
 if (a[2*i+((0 +1)%2)] != (3 * (2*i+((0 +1)%2)) + 2))
  __builtin_abort ();
 }
}