summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gcc.dg/tree-ssa/bit-assoc.c
blob: b563f5e404cb850e08ff977e573b209a253203df (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
/* { dg-do compile } */
/* { dg-options "-O -fdump-tree-forwprop1-details -fdump-tree-ccp1-details" } */

int f1(int a, int b){
  int c = a & b;
  return c & b;
}
int f2(int a, int b){
  int c = a | b;
  return b | c;
}
int g1(int a, int b, int c){
  int d = a & b;
  int e = b & c;
  return d & e;
}
int g2(int a, int b, int c){
  int d = a | b;
  int e = c | b;
  return d | e;
}
int g3(int a, int b, int c){
  int d = a ^ b;
  int e = b ^ c;
  return e ^ d;
}

/* { dg-final { scan-tree-dump-times "Match-and-simplified" 2 "ccp1" } } */
/* { dg-final { scan-tree-dump-times "gimple_simplified" 3 "forwprop1" } } */