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
f(unsigned short ad)12 void f(unsigned short ad)
13 {
14 if ((short) (ad - 0x4000) >= 0)
15 abort();
16 }
17
main(void)18 int main(void)
19 {
20 f(0xc000);
21 return 0;
22 }
23