1  /* { dg-do run } */
       2  /* { dg-require-effective-target arm_thumb2_ok } */
       3  /* { dg-options "-mthumb -O -mrestrict-it" }  */
       4  
       5  int a;
       6  
       7  __attribute__((noinline, noclone)) int
       8  fn1 (int c, int d)
       9  {
      10    a -= c == d;
      11    return a;
      12  }
      13  
      14  int
      15  main (void)
      16  {
      17    a = 10;
      18    if (fn1 (4, 4) != 9)
      19      __builtin_abort ();
      20  
      21    a = 5;
      22    if (fn1 (3, 4) != 5)
      23      __builtin_abort ();
      24  
      25    return 0;
      26  }