1  /* PR rtl-optimization/19296 */
       2  /* Origin: Falk Hueffner <falk@debian.org> */
       3  /* Testcase by Andrew Pinski <pinskia@gcc.gnu.org> */
       4  
       5  /* { dg-do run } */
       6  /* { dg-options "-O" } */
       7  /* { dg-options "-O -mtune=i686" { target { { i?86-*-* x86_64-*-* } && ia32 } } } */
       8  
       9  extern void abort();
      10  
      11  void f(unsigned short ad)
      12  {
      13    if ((short) (ad - 0x4000) >= 0)
      14      abort();
      15  }
      16  
      17  int main(void)
      18  {
      19    f(0xc000);
      20    return 0;
      21  }