1  /* Check that the redundant test removal code in the *cbranch_t split works
       2     as expected.  */
       3  /* { dg-do compile }  */
       4  /* { dg-options "-O2" } */
       5  
       6  /* { dg-final { scan-assembler-not "extu|exts|negc" } } */
       7  /* { dg-final { scan-assembler-times "tst" 6 } } */
       8  
       9  /* { dg-final { scan-assembler-times "movt" 6 { target { ! sh2a } } } } */
      10  /* { dg-final { scan-assembler-times "xor" 3 { target { ! sh2a } } } } */
      11  
      12  /* { dg-final { scan-assembler-times "movt" 3 { target { sh2a } } } } */
      13  /* { dg-final { scan-assembler-times "movrt" 3 { target { sh2a } } } } */
      14  
      15  typedef char bool;
      16  
      17  int
      18  test_0 (int a, int b, int c, int* d)
      19  {
      20    /* non SH2A: 1x tst, 1x movt, 1x xor
      21           SH2A: 1x tst, 1x movrt  */
      22    bool x = a == 0;
      23    d[2] = !x;
      24    return x ? b : c;
      25  }
      26  
      27  int
      28  test_1 (int a, int b, int c, int* d)
      29  {
      30    /* 1x tst, 1x movt  */
      31    bool x = a != 0;
      32    d[2] = !x;
      33    return x ? b : c;
      34  }
      35  
      36  int
      37  test_2 (int a, int b, int c, char* d)
      38  {
      39    /* Check that there is no sign/zero-extension before the store.
      40       non SH2A: 1x tst, 1x movt, 1x xor
      41           SH2A: 1x tst, 1x movrt  */
      42    bool x = a == 0;
      43    d[2] = !x;
      44    return x ? b : c;
      45  }
      46  
      47  int
      48  test_3 (int a, int b, int c, char* d)
      49  {
      50    /* Check that there is no sign/zero-extension before the store.
      51       1x tst, 1x movt  */
      52    bool x = a != 0;
      53    d[2] = !x;
      54    return x ? b : c;
      55  }
      56  
      57  int
      58  test_4 (int a, int b, int c, char* d)
      59  {
      60    /* 1x tst, 1x movt  */
      61    bool x = a != 0;
      62    d[2] = !x;
      63    return !x ? b : c;
      64  }
      65  
      66  int
      67  test_5 (int a, int b, int c, char* d)
      68  {
      69    /* non SH2A: 1x tst, 1x movt, 1x xor
      70           SH2A: 1x tst, 1x movrt  */
      71    bool x = a == 0;
      72    d[2] = !x;
      73    return !x ? b : c;
      74  }