1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -fdump-tree-original" } */
       3  
       4  typedef double c_t;
       5  typedef int a_t;
       6  int f(a_t a1, a_t a2) {
       7    return (c_t) a1 < (c_t) a2;
       8    /* { dg-final { scan-tree-dump "return (<retval> = )?a1 < a2" "original" } } */
       9  }
      10  
      11  void f1(short a, short b)
      12  {
      13    volatile int s_s;
      14    s_s = (float) a < (float) b;
      15    /* { dg-final { scan-tree-dump "s_s = a < b" "original" } } */
      16  }
      17  
      18  void f2(unsigned short a, unsigned short b)
      19  {
      20    volatile int us_us;
      21    us_us = (float) a < (float) b;
      22    /* { dg-final { scan-tree-dump "us_us = a < b" "original" } } */
      23  }
      24  
      25  /* We don't optimize here because neither of integral types is
      26     subset of the other.  */
      27  void f3(unsigned short a, short b)
      28  {
      29    volatile int us_s;
      30    us_s = (float) a < (float) b;
      31    /* { dg-final { scan-tree-dump "us_s = \\(float\\) a < \\(float\\) b" "original" } } */
      32  }
      33  
      34  void f4(unsigned short a, int b)
      35  {
      36    volatile int us_i;
      37    us_i = (double) a < (double) b;
      38    /* { dg-final { scan-tree-dump "us_i = \\(int\\) a < b" "original" { target { ! short_eq_int } } } } */
      39  }
      40  
      41  void f4_short_eq_int(unsigned short a, long b)
      42  {
      43    volatile long us_l;
      44    us_l = (double) a < (double) b;
      45    /* { dg-final { scan-tree-dump "us_l = \\(long int\\) a < b" "original" { target { short_eq_int } } } } */
      46  }
      47  
      48  /* We don't optimize here because neither of integral types is
      49     subset of the other.  */
      50  void f5(short a, unsigned int b)
      51  {
      52    volatile int s_ui;
      53    s_ui = (double) a < (double) b;
      54    /* { dg-final { scan-tree-dump "s_ui = \\(double\\) a < \\(double\\) b" "original" } } */
      55  }