/* PR tree-optimization/28632 */ /* { dg-do compile } */ /* { dg-options "-O2 -ftree-vrp -fno-tree-ccp" } */ /* { dg-require-effective-target int32plus } */ void v4 (unsigned a, unsigned b) { if (a < 0x1000) return; if (a > 0x1000) return; if (b < 0x0110) return; /* constant true. */ if (!__builtin_constant_p ((a|b) >= 0x01000)) __asm__("vrp.bug.always.true"); /* VRP must not think that this is constant. */ if (__builtin_constant_p ((a|b) >= 0x10000)) __asm__("vrp.bug.not.always.true"); } void u4 (unsigned n) { if (n > 0x10111) return; if (n < 0x10101) return; /* always true. */ if (!__builtin_constant_p (n & 0x00100)) __asm__("vrp.bug.always.true"); /* VRP must not think that this is constant true. */ if (__builtin_constant_p (n & 0x00001)) __asm__("vrp.bug.not.always.true"); /* Out of range, always evaluates to constant false. */ if (!__builtin_constant_p (n & 0x01000)) __asm__("vrp.bug.always.false"); } void u5 (unsigned n) { struct s {unsigned exp:8;} x; x.exp = n; if (__builtin_constant_p(((n + 1) & 255) > 1)) __asm__("vrp.bug.not.always.true"); } void v5 (int a, int b) { if (a < 0x1000) return; if (a > 0x1000) return; if (b < 0x0110) return; /* constant true. */ if (!__builtin_constant_p ((a|b) >= 0x01000)) __asm__("vrp.bug.always.true"); /* VRP must not think that this is always true. */ if (__builtin_constant_p ((a|b) >= 0x10000)) __asm__("vrp.bug.not.always.true"); } /* { dg-final { scan-assembler-not "vrp\\\.bug\\\." } } */