gcc/ipa-fix-ICE-in-get_default_value.patch

   1 From f91770216eade83f068528c1e4f00e2ac3b23044 Mon Sep 17 00:00:00 2001
   2 From: Martin Liska <mliska@suse.cz>
   3 Date: Thu, 13 Aug 2020 09:38:41 +0200
   4 Subject: [PATCH] ipa: fix ICE in get_default_value
   5
   6 The patch aligns code with ipcp_bits_lattice::set_to_constant
   7 where we properly mask m_value with m_mask. The same should
   8 be done here.
   9
  10 gcc/ChangeLog:
  11
  12         PR ipa/96482
  13         * ipa-cp.c (ipcp_bits_lattice::meet_with_1): Mask m_value
  14         with m_mask.
  15
  16 gcc/testsuite/ChangeLog:
  17
  18         PR ipa/96482
  19         * gcc.dg/ipa/pr96482-2.c: New test.
  20 ---
  21  gcc/ipa-cp.c                         |  2 +-
  22  gcc/testsuite/gcc.dg/ipa/pr96482-2.c | 33 ++++++++++++++++++++++++++++
  23  2 files changed, 34 insertions(+), 1 deletion(-)
  24  create mode 100644 gcc/testsuite/gcc.dg/ipa/pr96482-2.c
  25
  26 diff --git a/gcc/ipa-cp.c b/gcc/ipa-cp.c
  27 index 2b21280d919..e4910a04ffa 100644
  28 --- a/gcc/ipa-cp.c
  29 +++ b/gcc/ipa-cp.c
  30 @@ -1048,7 +1048,7 @@ ipcp_bits_lattice::meet_with_1 (widest_int value, widest_int mask,
  31
  32    widest_int old_mask = m_mask;
  33    m_mask = (m_mask | mask) | (m_value ^ value);
  34 -  m_value &= value;
  35 +  m_value &= ~m_mask;
  36
  37    if (wi::sext (m_mask, precision) == -1)
  38      return set_to_bottom ();
  39 diff --git a/gcc/testsuite/gcc.dg/ipa/pr96482-2.c b/gcc/testsuite/gcc.dg/ipa/pr96482-2.c
  40 new file mode 100644
  41 index 00000000000..54b71ac4fc0
  42 --- /dev/null
  43 +++ b/gcc/testsuite/gcc.dg/ipa/pr96482-2.c
  44 @@ -0,0 +1,33 @@
  45 +/* PR ipa/96482 */
  46 +/* { dg-do compile } */
  47 +/* { dg-options "-O2"  } */
  48 +
  49 +int i2c_transfer();
  50 +void _dev_err();
  51 +
  52 +struct i2c_msg {
  53 +  char bufaddr;
  54 +  int adapterdev;
  55 +} wdt87xx_i2c_xfer_client;
  56 +
  57 +int wdt87xx_i2c_xfer_client_0, wdt87xx_i2c_xfer_rxdata, wdt87xx_get_string_str_idx;
  58 +
  59 +void
  60 +static wdt87xx_i2c_xfer(void *txdata, unsigned rxlen) {
  61 +  struct i2c_msg msgs[] = {wdt87xx_i2c_xfer_client_0, rxlen,
  62 +                           wdt87xx_i2c_xfer_rxdata};
  63 +  int error = i2c_transfer(wdt87xx_i2c_xfer_client, msgs);
  64 +  _dev_err("", __func__, error);
  65 +}
  66 +static void wdt87xx_get_string(unsigned len) {
  67 +  char tx_buf[] = {wdt87xx_get_string_str_idx, 3};
  68 +  int rx_len = len + 2;
  69 +  wdt87xx_i2c_xfer(tx_buf, rx_len);
  70 +}
  71 +
  72 +void
  73 +wdt87xx_ts_probe_tx_buf() {
  74 +  wdt87xx_get_string(34);
  75 +  wdt87xx_get_string(8);
  76 +  wdt87xx_i2c_xfer(wdt87xx_ts_probe_tx_buf, 2);
  77 +}
  78 --
  79 2.28.0
  80