/* { dg-do run } */
/* { dg-options "-O -fdump-tree-optimized-raw" } */

#define DECLS(n,VOL)			\
__attribute__((noinline,noclone))	\
_Bool h##n(_Bool A,_Bool B){			\
    VOL _Bool C = A | B;			\
    VOL _Bool D = A == B;			\
    return C & D;			\
}					\
__attribute__((noinline,noclone))	\
_Bool i##n(_Bool A,_Bool B){			\
    VOL _Bool C = A == B;			\
    return A | C;			\
}					\
__attribute__((noinline,noclone))	\
_Bool k##n(_Bool A,_Bool B){			\
    VOL _Bool C = A & B;			\
    VOL _Bool D = A == B;			\
    return C | D;			\
}					\

DECLS(0,)
DECLS(1,volatile)

int main(){
    for(int A = 0; A <= 1; ++A)
      for(int B = 0; B <= 1; ++B)
	{
	  if (h0 (A, B) != h1 (A, B)) __builtin_abort();
	  if (i0 (A, B) != i1 (A, B)) __builtin_abort();
	  if (k0 (A, B) != k1 (A, B)) __builtin_abort();
	}
}

/* { dg-final { scan-tree-dump-times "bit_not_expr," 1 "optimized"} } */
/* { dg-final { scan-tree-dump-times "bit_and_expr," 3 "optimized"} } */
/* { dg-final { scan-tree-dump-times "bit_ior_expr," 4 "optimized"} } */
/* { dg-final { scan-tree-dump-times "eq_expr,"      4 "optimized"} } */
/* { dg-final { scan-tree-dump-times "ne_expr,"      7 "optimized"} } */
/* { dg-final { scan-tree-dump-not   "bit_xor_expr,"   "optimized"} } */