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 -mcpu=i686" { target i?86-*-* } } */ 8 /* { dg-options "-O -m32 -mcpu=i686" { target x86_64-*-* } } */ 9 10 extern void abort(); 11 12 void f(unsigned short ad) 13 { 14 if ((short) (ad - 0x4000) >= 0) 15 abort(); 16 } 17 18 int main(void) 19 { 20 f(0xc000); 21 return 0; 22 } 23