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  }