Viewing file:  pr81376.c (1.5 KB) -rw-r--r--
Select action/file-type:
 (+) |  (+) |  (+) | Code (+) | Session (+) |  (+) | SDB (+) |  (+) |  (+) |  (+) |  (+) |  (+) |
/* { dg-do compile } */
/* { dg-options "-O2 -fdump-tree-original" } */
typedef double c_t;
typedef int a_t;
int f(a_t a1, a_t a2) {
return (c_t) a1 < (c_t) a2;
/* { dg-final { scan-tree-dump "return (<retval> = )?a1 < a2" "original" } } */
}
void f1(short a, short b)
{
volatile int s_s;
s_s = (float) a < (float) b;
/* { dg-final { scan-tree-dump "s_s = a < b" "original" } } */
}
void f2(unsigned short a, unsigned short b)
{
volatile int us_us;
us_us = (float) a < (float) b;
/* { dg-final { scan-tree-dump "us_us = a < b" "original" } } */
}
/* We don't optimize here because neither of integral types is
subset of the other. */
void f3(unsigned short a, short b)
{
volatile int us_s;
us_s = (float) a < (float) b;
/* { dg-final { scan-tree-dump "us_s = \\(float\\) a < \\(float\\) b" "original" } } */
}
void f4(unsigned short a, int b)
{
volatile int us_i;
us_i = (double) a < (double) b;
/* { dg-final { scan-tree-dump "us_i = \\(int\\) a < b" "original" { target { ! short_eq_int } } } } */
}
void f4_short_eq_int(unsigned short a, long b)
{
volatile long us_l;
us_l = (double) a < (double) b;
/* { dg-final { scan-tree-dump "us_l = \\(long int\\) a < b" "original" { target { short_eq_int } } } } */
}
/* We don't optimize here because neither of integral types is
subset of the other. */
void f5(short a, unsigned int b)
{
volatile int s_ui;
s_ui = (double) a < (double) b;
/* { dg-final { scan-tree-dump "s_ui = \\(double\\) a < \\(double\\) b" "original" } } */
}
|
