gcc/testsuite/gcc.target/sh/pr59533-1.c

   1 /* Check that the cmp/pz instruction is generated as expected.  */
   2 /* { dg-do compile }  */
   3 /* { dg-options "-O1" } */
   4
   5 /* { dg-final { scan-assembler-times "shll" 1 } }  */
   6 /* { dg-final { scan-assembler-times "movt" 5 } }  */
   7 /* { dg-final { scan-assembler-times "rotcl" 1 } }  */
   8 /* { dg-final { scan-assembler-times "and" 3 } }  */
   9 /* { dg-final { scan-assembler-times "extu.b" 5 } }  */
  10
  11 /* { dg-final { scan-assembler-times "cmp/pz" 27 { target { ! sh2a } } } }  */
  12 /* { dg-final { scan-assembler-times "addc" 4 { target { ! sh2a } } } }  */
  13 /* { dg-final { scan-assembler-times "subc" 16 { target { ! sh2a } } } }  */
  14
  15 /* { dg-final { scan-assembler-times "cmp/pz" 25 { target { sh2a } } } }  */
  16 /* { dg-final { scan-assembler-times "addc" 6 { target { sh2a } } } }  */
  17 /* { dg-final { scan-assembler-times "subc" 14 { target { sh2a } } } }  */
  18 /* { dg-final { scan-assembler-times "bld" 2 { target { sh2a } } } }  */
  19
  20 int
  21 test_00 (unsigned char* a)
  22 {
  23   /* 1x cmp/pz, 1x movt  */
  24   return a[0] < 128;
  25 }
  26
  27 int
  28 test_01 (unsigned char* a)
  29 {
  30   /* 1x cmp/pz, 1x addc  */
  31   return a[0] + (a[0] < 128);
  32 }
  33
  34 int
  35 test_02 (unsigned char* a)
  36 {
  37   /* 1x cmp/pz, 1x addc  */
  38   return a[0] + ((a[0] & 0x80) == 0);
  39 }
  40
  41 int
  42 test_03 (unsigned char* a)
  43 {
  44   /* 1x cmp/pz, 1x subc
  45      SH2A: 1x bld, 1x addc  */
  46   return a[0] + (a[0] > 127);
  47 }
  48
  49 int
  50 test_04 (unsigned char* a)
  51 {
  52   /* 1x cmp/pz, 1x subc
  53      SH2A: 1x bld, 1x addc  */
  54   return a[0] + ((a[0] & 0x80) != 0);
  55 }
  56
  57 int
  58 test_05 (unsigned char* a, int b, int c)
  59 {
  60   /* 1x cmp/pz  */
  61   if (a[0] < 128)
  62     return c;
  63   else
  64     return b + 50;
  65 }
  66
  67 unsigned int
  68 test_06 (unsigned int a)
  69 {
  70   /* 1x cmp/pz, 1x movt  */
  71   return ~a >> 31;
  72 }
  73
  74 int
  75 test_07 (unsigned short* a)
  76 {
  77   /* 1x cmp/pz  */
  78   return a[0] < 32768;
  79 }
  80
  81 int
  82 test_08 (unsigned short* a)
  83 {
  84   /* 1x cmp/pz, 1x addc  */
  85   return a[0] + (a[0] < 32768);
  86 }
  87
  88 unsigned int
  89 test_09 (unsigned int a)
  90 {
  91   /* 1x cmp/pz, 1x movt  */
  92   return (a >> 31) ^ 1;
  93 }
  94
  95 unsigned int
  96 test_10 (unsigned int a, unsigned int b)
  97 {
  98   /* 1x cmp/pz, 1x rotcl  */
  99   return (a << 1) | ((a >> 31) ^ 1);
 100 }
 101
 102 unsigned int
 103 test_11 (int x)
 104 {
 105   /* 1x cmp/pz, 1x subc  */
 106   return ~(x >> 31);
 107 }
 108
 109 unsigned int
 110 test_12 (int x)
 111 {
 112   /* 1x cmp/pz, 1x subc  */
 113   return 0xFFFFFFFF - (x >> 31);
 114 }
 115
 116 unsigned int
 117 test_13 (int x)
 118 {
 119   /* 1x cmp/pz, 1x subc, 1x add  */
 120   return ~(x >> 31) << 1;
 121 }
 122
 123 unsigned int
 124 test_14 (int x)
 125 {
 126   /* 1x cmp/pz, 1x subc  */
 127   return ~(x >> 31) >> 1;
 128 }
 129
 130 unsigned int
 131 test_15 (int x)
 132 {
 133   /* 1x cmp/pz, 1x subc  */
 134   return ~(x >> 31) >> 31;
 135 }
 136
 137 unsigned int
 138 test_16 (int x)
 139 {
 140   /* 1x cmp/pz, 1x subc, 1x and  */
 141   return ~(x >> 31) & 0xFF000000;
 142 }
 143
 144 unsigned int
 145 test_17 (int x)
 146 {
 147   /* 1x cmp/pz, 1x subc, 1x and  */
 148   return ~(x >> 31) & 0x00FF0000;
 149 }
 150
 151 unsigned int
 152 test_18 (int x)
 153 {
 154   /* 1x cmp/pz, 1x subc, 1x and  */
 155   return ~(x >> 31) & 0x0000FF00;
 156 }
 157
 158 unsigned int
 159 test_19 (int x)
 160 {
 161   /* 1x cmp/pz, 1x subc, 1x extu.b  */
 162   return ~(x >> 31) & 0x000000FF;
 163 }
 164
 165 unsigned int
 166 test_20 (int x, unsigned int y, unsigned int z)
 167 {
 168   /* 1x shll  */
 169   return ~(x >> 31) ? y : z;
 170 }
 171
 172 int
 173 test_21 (int x)
 174 {
 175   /* 1x cmp/pz, 1x subc  */
 176   return x >= 0 ? 0xFFFFFFFF : 0;
 177 }
 178
 179 int
 180 test_22 (int x)
 181 {
 182   /* 1x cmp/pz, 1x movt  */
 183   return (x >> 31) + 1;
 184 }
 185
 186 int
 187 test_23 (int x)
 188 {
 189   /* 1x cmp/pz, 1x subc */
 190   return x < 0 ? x + 1 : x;
 191 }
 192
 193 unsigned int
 194 test_24 (unsigned int x)
 195 {
 196   /* 1x cmp/pz, 1x subc */
 197   return x & 0x80000000 ? x + 1 : x;
 198 }
 199
 200 unsigned int
 201 test_25 (unsigned int x)
 202 {
 203   /* 1x cmp/pz, 1x subc */
 204   return x >> 31 ? x + 1 : x;
 205 }
 206
 207 int
 208 test_26 (int x)
 209 {
 210   /* 1x cmp/pz, 1x subc  */
 211   return x >> 31 ? x + 1 : x;
 212 }
 213
 214 int
 215 test_27 (int x, int y, int z)
 216 {
 217   /* 1x cmp/pz, 1x addc  */
 218   return 1 - ((x >> 4) < 0) + z;
 219 }