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