1  /* Check that there are no redundant zero extensions around logical right
       2     shifts.  */
       3  /* { dg-do compile }  */
       4  /* { dg-options "-O1" }  */
       5  /* { dg-final { scan-assembler-times "extu" 20 } }  */
       6  
       7  /* { dg-final { scan-assembler-times "shll" 2 { target { "! sh2a" && has_dyn_shift } } } }  */
       8  /* { dg-final { scan-assembler-times "shll" 3 { target { "! sh2a" && "! has_dyn_shift" } } } }  */
       9  /* { dg-final { scan-assembler-times "movt" 2 { target { ! sh2a } } } }  */
      10  
      11  /* { dg-final { scan-assembler-times "bld" 1 { target { sh2a } } } }  */
      12  /* { dg-final { scan-assembler-times "movt" 1 { target { sh2a } } } }  */
      13  /* { dg-final { scan-assembler-times "movrt" 1 { target { sh2a } } } }  */
      14  /* { dg-final { scan-assembler-times "cmp/pz" 1 { target { sh2a } } } }  */
      15  
      16  /* { dg-final { scan-assembler-times "shld" 9 { target { has_dyn_shift } } } }  */
      17  
      18  void
      19  test_0 (unsigned char* x, unsigned int* y)
      20  {
      21    y[0] = x[1] >> 1;
      22  }
      23  
      24  void
      25  test_1 (unsigned char* x, unsigned int* y)
      26  {
      27    y[0] = x[1] >> 2;
      28  }
      29  
      30  void
      31  test_2 (unsigned char* x, unsigned int* y)
      32  {
      33    y[0] = x[1] >> 3;
      34  }
      35  
      36  void
      37  test_3 (unsigned char* x, unsigned int* y)
      38  {
      39    y[0] = x[1] >> 4;
      40  }
      41  
      42  void
      43  test_4 (unsigned char* x, unsigned int* y)
      44  {
      45    y[0] = x[1] >> 5;
      46  }
      47  
      48  void
      49  test_5 (unsigned char* x, unsigned int* y)
      50  {
      51    y[0] = x[1] >> 6;
      52  }
      53  
      54  void
      55  test_6 (unsigned char* x, unsigned int* y)
      56  {
      57    /* non-SH2A: shll, movt
      58       SH2A: bld, movt */
      59    y[0] = x[1] >> 7;
      60  }
      61  
      62  
      63  void
      64  test_100 (unsigned short* x, unsigned int* y)
      65  {
      66    y[0] = x[1] >> 1;
      67  }
      68  
      69  void
      70  test_101 (unsigned short* x, unsigned int* y)
      71  {
      72    y[0] = x[1] >> 2;
      73  }
      74  
      75  void
      76  test_102 (unsigned short* x, unsigned int* y)
      77  {
      78    y[0] = x[1] >> 3;
      79  }
      80  
      81  void
      82  test_103 (unsigned short* x, unsigned int* y)
      83  {
      84    y[0] = x[1] >> 4;
      85  }
      86  
      87  void
      88  test_104 (unsigned short* x, unsigned int* y)
      89  {
      90    y[0] = x[1] >> 5;
      91  }
      92  
      93  void
      94  test_105 (unsigned short* x, unsigned int* y)
      95  {
      96    y[0] = x[1] >> 6;
      97  }
      98  
      99  void
     100  test_106 (unsigned short* x, unsigned int* y)
     101  {
     102    y[0] = x[1] >> 7;
     103  }
     104  
     105  void
     106  test_107 (unsigned short* x, unsigned int* y)
     107  {
     108    y[0] = x[1] >> 8;
     109  }
     110  
     111  void
     112  test_108 (unsigned short* x, unsigned int* y)
     113  {
     114    y[0] = x[1] >> 9;
     115  }
     116  
     117  void
     118  test_109 (unsigned short* x, unsigned int* y)
     119  {
     120    y[0] = x[1] >> 10;
     121  }
     122  
     123  void
     124  test_110 (unsigned short* x, unsigned int* y)
     125  {
     126    y[0] = x[1] >> 11;
     127  }
     128  
     129  void
     130  test_111 (unsigned short* x, unsigned int* y)
     131  {
     132    y[0] = x[1] >> 12;
     133  }
     134  
     135  void
     136  test_112 (unsigned short* x, unsigned int* y)
     137  {
     138    y[0] = x[1] >> 13;
     139  }
     140  
     141  void
     142  test_113 (unsigned short* x, unsigned int* y)
     143  {
     144    y[0] = x[1] >> 14;
     145  }
     146  
     147  void
     148  test_114 (unsigned short* x, unsigned int* y)
     149  {
     150    /* non-SH2A: shll, movt
     151       SH2A: cmp/pz, movrt */
     152    y[0] = x[1] >> 15;
     153  }