1  /* { dg-do compile { target { ! ia32 } } } */
       2  /* { dg-require-effective-target maybe_x32 } */
       3  /* { dg-options "-O2 -mx32 -maddress-mode=long" } */
       4  /* { dg-skip-if "different ABI" { x86_64-*-mingw* } } */
       5  
       6  typedef union tree_node *tree;
       7  typedef const union tree_node *const_tree;
       8  typedef struct {
       9    unsigned long long low;
      10    long long high;
      11  } double_int;
      12  struct real_value {
      13  };
      14  struct real_format {
      15    int has_signed_zero;
      16  };
      17  extern const struct real_format *   real_format_for_mode[];
      18  extern int real_isnegzero (const struct real_value *);
      19  enum tree_code { REAL_CST, SSA_NAME };
      20  struct tree_base {
      21    enum tree_code code : 16;
      22    union {
      23      unsigned int version;
      24    }
      25    u;
      26  };
      27  extern void tree_check_failed (const_tree, const char *, int, const char *,           ...) __attribute__ ((__noreturn__));
      28  union tree_node {
      29    struct tree_base base;
      30  };
      31  inline tree tree_check (tree __t, const char *__f, int __l, const char *__g, enum tree_code __c) {
      32    if (((enum tree_code) (__t)->base.code) != __c)
      33      tree_check_failed (__t, __f, __l, __g, __c, 0);
      34    return __t;
      35  }
      36  struct prop_value_d {
      37    int lattice_val;
      38    tree value;
      39    double_int mask;
      40  };
      41  typedef struct prop_value_d prop_value_t;
      42  static prop_value_t *const_val;
      43  static void canonicalize_float_value (prop_value_t *);
      44  typedef void (*ssa_prop_visit_stmt_fn) (prop_value_t);
      45  typedef void (*ssa_prop_visit_phi_fn) (void);
      46  typedef void (*ssa_prop_fold_stmt_fn) (void *gsi);
      47  typedef void (*ssa_prop_get_value_fn) ( prop_value_t *val);
      48  void ssa_propagate (ssa_prop_visit_stmt_fn, ssa_prop_visit_phi_fn);
      49  int substitute_and_fold (ssa_prop_get_value_fn, ssa_prop_fold_stmt_fn);
      50  void ccp_fold_stmt (void *);
      51  static void get_constant_value (prop_value_t *val) {
      52    canonicalize_float_value (val);
      53  }
      54  static void canonicalize_float_value (prop_value_t *val) {
      55    int mode;
      56    struct real_value d;
      57    if (val->lattice_val != 1
      58        || ((enum tree_code) (val->value)->base.code) != REAL_CST)
      59      return;
      60    mode = val->lattice_val;
      61    if (real_format_for_mode[mode]->has_signed_zero && real_isnegzero (&d))
      62      ccp_fold_stmt (0);
      63  }
      64  static void set_lattice_value (tree var, prop_value_t new_val) {
      65    prop_value_t *old_val = &const_val[(tree_check ((var), "",
      66  						  0, "",
      67  						  (SSA_NAME)))->base.u.version];
      68    canonicalize_float_value (&new_val);
      69    canonicalize_float_value (old_val);
      70  }
      71  static void ccp_visit_phi_node (void) {
      72    prop_value_t new_val;
      73    set_lattice_value (0, new_val);
      74  }
      75  static void ccp_visit_stmt (prop_value_t v) {
      76    set_lattice_value (0, v);
      77  }
      78  unsigned int do_ssa_ccp (void) {
      79    ssa_propagate (ccp_visit_stmt, ccp_visit_phi_node);
      80    substitute_and_fold (get_constant_value, ccp_fold_stmt);
      81    return 0;
      82  }