1  /* PR debug/45003 */
       2  /* { dg-do run { target { { i?86-*-*  x86_64-*-* } && lp64 } } } */
       3  /* { dg-options "-g" } */
       4  
       5  int __attribute__((noinline))
       6  foo (unsigned short *p)
       7  {
       8    int a = (short) *p;
       9    asm volatile ("nop" : : "D" ((int) *p));
      10    asm volatile ("nop" : : "D" ((int) *p));	/* { dg-final { gdb-test . "a" "-32648" } } */
      11    return 0;
      12  }
      13  
      14  int __attribute__((noinline))
      15  bar (short *p)
      16  {
      17    unsigned int a = (unsigned short) *p;
      18    asm volatile ("nop" : : "D" ((unsigned int) *p));
      19    asm volatile ("nop" : : "D" ((unsigned int) *p));	/* { dg-final { gdb-test . "a" "0x8078" } } */
      20    return 0;
      21  }
      22  
      23  int
      24  main ()
      25  {
      26    unsigned short us = 0x8078;
      27    foo (&us);
      28    short s = -32648;
      29    bar (&s);
      30    return 0;
      31  }