gcc/testsuite/gcc.target/s390/ifcvt-two-insns-int.c

   1 /* Check if conversion for two instructions.  */
   2
   3 /* { dg-do run } */
   4 /* { dg-options "-O2 -march=z13 -mzarch --save-temps" } */
   5
   6 /* { dg-final { scan-assembler "lochi(h|nle)\t%r.?,1" } } */
   7 /* { dg-final { scan-assembler "locr(?:h|nle)\t.*" } } */
   8 #include <limits.h>
   9 #include <stdio.h>
  10 #include <assert.h>
  11
  12 __attribute__ ((noinline))
  13 int foo (int *a, unsigned int n)
  14 {
  15   int min = 999999;
  16   int bla = 0;
  17   for (int i = 0; i < n; i++)
  18     {
  19       if (a[i] < min)
  20         {
  21           min = a[i];
  22           bla = 1;
  23         }
  24     }
  25
  26   if (bla)
  27     min += 1;
  28   return min;
  29 }
  30
  31 int main()
  32 {
  33   int a[] = {2, 1, -13, INT_MAX, INT_MIN, 0};
  34
  35   int res = foo (a, sizeof (a) / sizeof (a[0]));
  36
  37   assert (res == (INT_MIN + 1));
  38 }