1  /* { dg-do compile } */
       2  /* { dg-options "-fdump-rtl-cmpelim -dp" } */
       3  /* { dg-skip-if "code quality test" { *-*-* } { "-O0" } { "" } } */
       4  
       5  typedef signed int __attribute__ ((mode (SI))) int_t;
       6  typedef struct
       7    {
       8      int_t h : 7;
       9      int_t i : 18;
      10      int_t l : 7;
      11    }
      12  bit_t;
      13  
      14  int_t
      15  eq_extvsi (bit_t x)
      16  {
      17    int_t v;
      18  
      19    v = x.i;
      20    if (v == 0)
      21      return v;
      22    else
      23      return v + 2;
      24  }
      25  
      26  /* Expect assembly like:
      27  
      28  	extv $7,$18,4(%ap),%r0		# 32	[c=68]  *extv_non_const_2_ccz
      29  	jeql .L1			# 34	[c=26]  *branch_ccz
      30  	addl2 $2,%r0			# 31	[c=32]  *addsi3
      31  .L1:
      32  
      33   */
      34  
      35  /* { dg-final { scan-rtl-dump-times "deleting insn with uid" 1 "cmpelim" } } */
      36  /* { dg-final { scan-assembler-not "\t(bit|cmpz?|tst). " } } */
      37  /* { dg-final { scan-assembler "extv\[^ \]*_ccz(/\[0-9\]+)?\n" } } */
      38  /* { dg-final { scan-assembler "branch_ccz\n" } } */