/* { dg-do compile } */
/* { dg-require-effective-target int128 } */
/* { dg-options "-Os -fdump-tree-vrp1-details" } */

#include <stdint.h>
#include <limits.h>

typedef unsigned int word __attribute__((mode(word)));
typedef unsigned __int128 bigger_than_word;

int
foo (bigger_than_word a, word b, uint8_t c)
{
  /* Must fold use of t1 into use of b, as b is no wider than word_mode. */
  const uint8_t t1 = b % UCHAR_MAX;

  /* Must NOT fold use of t2 into use of a, as a is wider than word_mode. */
  const uint8_t t2 = a % UCHAR_MAX;

  /* Must fold use of t3 into use of c, as c is narrower than t3. */
  const uint32_t t3 = (const uint32_t)(c >> 1);

  uint16_t ret = 0;

  if (t1 == 1)
    ret = 20;
  else if (t2 == 2)
    ret = 30;
  else if (t3 == 3)
    ret = 40;
  /* Th extra condition below is necessary to prevent a prior pass from
     folding away the cast. Ignored in scan-tree-dump. */
  else if (t3 == 4)
    ret = 50;

  return ret;
}

/* { dg-final { scan-tree-dump "Folded into: if \\(_\[0-9\]+ == 1\\)" "vrp1" } } */
/* { dg-final { scan-tree-dump-not "Folded into: if \\(_\[0-9\]+ == 2\\)" "vrp1" } } */
/* { dg-final { scan-tree-dump "Folded into: if \\(_\[0-9\]+ == 3\\)" "vrp1" } } */