summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gcc.dg/torture/pr45865.c
blob: f2e31dbab1177efd720244f92d6809b3cd281ec0 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
/* { dg-do compile } */

typedef struct rtx_def *rtx;
enum machine_mode {
  VOIDmode,
  CCFPmode,
  CCFPUmode,
  MAX_MACHINE_MODE
};
enum mode_class {
  MODE_CC,
  MODE_FLOAT,
  MODE_COMPLEX_FLOAT,
  MODE_VECTOR_FLOAT
};
extern const enum mode_class mode_class[(int) MAX_MACHINE_MODE];
enum rtx_code {
  UNKNOWN,
  GEU,
  ORDERED,
  CONST_INT
};
struct rtx_def {
  unsigned int code: 16;
  unsigned int mode : 8;
};
extern enum rtx_code reverse_condition (enum rtx_code);
enum rtx_code
reversed_comparison_code_parts (enum rtx_code code, rtx insn, rtx arg0,
				rtx arg1)
{
  enum machine_mode mode;
  mode = (enum machine_mode) (arg0)->mode;
  if (mode == VOIDmode)
    mode = (enum machine_mode) (arg1)->mode;
  if ((mode_class[(int) (mode)]) == MODE_CC)
    return (mode != CCFPmode && mode != CCFPUmode
	    ? reverse_condition (code)
	    : reverse_condition_maybe_unordered (code));
  switch (code) 
    {
    case GEU:
      return reverse_condition (code);
    case ORDERED:
      return UNKNOWN;
    }
  if (((enum rtx_code) (arg0)->code) == CONST_INT
      || (((enum machine_mode) (arg0)->mode) != VOIDmode
	  && ! ((mode_class[(int) (mode)]) == MODE_FLOAT
		|| (mode_class[(int) (mode)]) == MODE_COMPLEX_FLOAT
		|| (mode_class[(int) (mode)]) == MODE_VECTOR_FLOAT)))
    return reverse_condition (code);
  return UNKNOWN;
}