1  /* { dg-do compile } */
       2  /* { dg-skip-if "-mpure-code supports M-profile only" { *-*-* } { "-mpure-code" } } */
       3  /* { dg-require-effective-target arm_thumb1_ok } */
       4  /* { dg-options "-mcpu=arm1136jf-s -mthumb -O2" } */
       5  
       6  extern int foo ();
       7  extern int bar ();
       8  
       9  void f(unsigned a, unsigned b, unsigned c, unsigned d)
      10  {
      11    if (a <= b || c > d)
      12      foo();
      13    else
      14      bar();
      15  }
      16  
      17  /* { dg-final { scan-assembler-not "uxtb" } } */