1 /* PR rtl-optimization/19296 */
2 /* Origin: Falk Hueffner <falk@debian.org> */
5 /* { dg-options "-O" } */
6 /* { dg-options "-O -mtune=i686" { target { i?86-*-* && ilp32 } } } */
7 /* { dg-options "-O -m32 -mtune=i686" { target x86_64-*-* } } */
9 extern void abort(void);
11 void f(unsigned short ad)
13 if (ad >= 0x4000 && ad < 0xc000)