Viewing file:  vrp98.c (1.21 KB) -rw-r--r--
Select action/file-type:
 (+) |  (+) |  (+) | Code (+) | Session (+) |  (+) | SDB (+) |  (+) |  (+) |  (+) |  (+) |  (+) |
/* { dg-do compile } */
/* { dg-require-effective-target int128 } */
/* { dg-options "-Os -fdisable-tree-evrp -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" } } */
|
