diff options
| author | Prathamesh Kulkarni <prathamesh.kulkarni@linaro.org> | 2018-05-01 18:20:39 +0000 |
|---|---|---|
| committer | Jeff Law <law@gcc.gnu.org> | 2018-05-01 12:20:39 -0600 |
| commit | 41e2c1b0b4effb21729299c5dd7b3b2abd03d87b (patch) | |
| tree | dbf282b7ccf2c09ed3ae8e666850c2bbf601db30 /gcc/testsuite/gcc.dg | |
| parent | 1a142d6e6858e6fb58bab8592ee1223621867f1e (diff) | |
| download | gcc-41e2c1b0b4effb21729299c5dd7b3b2abd03d87b.zip gcc-41e2c1b0b4effb21729299c5dd7b3b2abd03d87b.tar.gz gcc-41e2c1b0b4effb21729299c5dd7b3b2abd03d87b.tar.bz2 | |
re PR tree-optimization/82665 (missing value range optimization for memchr)
PR tree-optimization/82665
* vr-values.c (vr_values::extract_range_from_binary_expr): Handle
pointer subtraction where arguments come from a memchr call.
PR tree-optimization/82665
* gcc.dg/tree-ssa/pr82665.c: New test.
From-SVN: r259806
Diffstat (limited to 'gcc/testsuite/gcc.dg')
| -rw-r--r-- | gcc/testsuite/gcc.dg/tree-ssa/pr82665.c | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/tree-ssa/pr82665.c b/gcc/testsuite/gcc.dg/tree-ssa/pr82665.c new file mode 100644 index 0000000..66db32f --- /dev/null +++ b/gcc/testsuite/gcc.dg/tree-ssa/pr82665.c @@ -0,0 +1,32 @@ +/* { dg-do compile } */ +/* { dg-options "-O2 -fdump-tree-optimized" } */ + +void f1 (char *p, __SIZE_TYPE__ sz) +{ + char *q = __builtin_memchr (p, 0, sz); + __PTRDIFF_TYPE__ n = q - p; + + if (n >= __PTRDIFF_MAX__) + __builtin_abort (); +} + +void f2 (unsigned char *p, __SIZE_TYPE__ sz) +{ + unsigned char *q = __builtin_memchr (p, 0, sz); + __PTRDIFF_TYPE__ n = q - p; + + if (n >= __PTRDIFF_MAX__) + __builtin_abort (); +} + +void f3 (signed char *p, __SIZE_TYPE__ sz) +{ + signed char *q = __builtin_memchr (p, 0, sz); + __PTRDIFF_TYPE__ n = q - p; + + if (n >= __PTRDIFF_MAX__) + __builtin_abort (); +} + + +/* { dg-final { scan-tree-dump-not "memchr" "optimized" } } */ |