/* Check that compare-branch is inverted properly.
   In this case the improved bit test is a side effect of compare-branch
   inversion patterns, even though the branch condition does not get
   inverted here.
   Example:
	mov.b	@(14,r9),r0	->	mov.b	@(14,r9),r0
	shll	r0			cmp/pz	r0
	subc	r0,r0			bt	.L192
	and	#1,r0
	tst	r0,r0
	bt	.L195
*/
/* { dg-do compile }  */
/* { dg-options "-O2" } */
/* { dg-final { scan-assembler-not "shll|subc|and" } } */
int
test_00 (int* p)
{
  int nr = 15;
  volatile char* addr = (volatile char*)&p[1];

  if ((addr[(nr >> 3) ^ 7] & (1 << (nr & 7))) == 0)
    return 40;
  else
    return 50;
}