1 /* PR rtl-optimization/19296 */
2 /* Origin: Falk Hueffner <falk@debian.org> */
3 /* Testcase by Andrew Pinski <pinskia@gcc.gnu.org> */
6 /* { dg-options "-O" } */
7 /* { dg-options "-O -mtune=i686" { target { { i?86-*-* x86_64-*-* } && ia32 } } } */
11 void f(unsigned short ad
)
13 if ((short) (ad
- 0x4000) >= 0)