/* { 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" } } */