1  /* { dg-do run } */
       2  /* { dg-options "-O2" }  */
       3  /* { dg-skip-if "" { ! { arm_thumb1 } } } */
       4  
       5  int __attribute__((noclone, noinline))
       6  foo (int a, long long b) {
       7    /* Used for enforcing registers stacking.  */
       8    asm volatile ("" : : : "r0", "r1", "r2", "r3",
       9  			 "r8", "r9", "r10", "r11", "r12");
      10    return (int) b;
      11  }
      12  
      13  int main ()
      14  {
      15    if (foo (1, 0x1000000000000003LL) != 3)
      16      __builtin_abort ();
      17    __builtin_exit (0);
      18  }