/* Check that loads/stores from/to volatile mems don't result in redundant
   sign/zero extensions.  */
/* { dg-do compile }  */
/* { dg-options "-O2" } */
/* { dg-final { scan-assembler-not "exts|extu" } } */

int
test_00 (volatile char* x)
{
  return *x;
}

void
test_100 (volatile char* x, char y)
{
  *x = y;
}

int
test_01 (volatile short* x)
{
  return *x;
}

void
test_101 (volatile unsigned char* x, unsigned char y)
{
  *x = y;
}

int
test_02 (volatile unsigned char* x)
{
  return *x == 0x80;
}

void
test_102 (volatile short* x, short y)
{
  *x = y;
}

int
test_03 (volatile unsigned short* x)
{
  return *x == 0xFF80;
}

void
test_103 (volatile unsigned short* x, unsigned short y)
{
  *x = y;
}