annotate gcc/testsuite/gcc.dg/tree-ssa/pr45397.c @ 111:04ced10e8804

gcc 7
author kono
date Fri, 27 Oct 2017 22:46:09 +0900
parents
children 84e7813d76e9
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 /* { dg-do compile } */
kono
parents:
diff changeset
2 /* { dg-options "-O2 -fdump-tree-phiopt1" } */
kono
parents:
diff changeset
3
kono
parents:
diff changeset
4 int foo_add (const unsigned char *tmp, int i, int val)
kono
parents:
diff changeset
5 {
kono
parents:
diff changeset
6 return (unsigned char)(((tmp[i] + val)>0xFF)?0xFF:(((tmp[i] + val)<0)?0:(tmp[i] + val)));
kono
parents:
diff changeset
7 }
kono
parents:
diff changeset
8
kono
parents:
diff changeset
9 int foo_sub (const unsigned char *tmp, int i, int val)
kono
parents:
diff changeset
10 {
kono
parents:
diff changeset
11 return (unsigned char)(((tmp[i] - val)>0xFF)?0xFF:(((tmp[i] - val)<0)?0:(tmp[i] - val)));
kono
parents:
diff changeset
12 }
kono
parents:
diff changeset
13
kono
parents:
diff changeset
14 int foo_mul (const unsigned char *tmp, int i, int val)
kono
parents:
diff changeset
15 {
kono
parents:
diff changeset
16 return (unsigned char)(((tmp[i] * val)>0xFF)?0xFF:(((tmp[i] * val)<0)?0:(tmp[i] * val)));
kono
parents:
diff changeset
17 }
kono
parents:
diff changeset
18
kono
parents:
diff changeset
19 /* All cases should end up using min/max for the saturated operations and
kono
parents:
diff changeset
20 have no control flow. */
kono
parents:
diff changeset
21 /* { dg-final { scan-tree-dump-times "MAX_EXPR" 3 "phiopt1" } } */
kono
parents:
diff changeset
22 /* { dg-final { scan-tree-dump-times "MIN_EXPR" 3 "phiopt1" } } */
kono
parents:
diff changeset
23 /* { dg-final { scan-tree-dump-not "if " "phiopt1" } } */