gcc/testsuite/gcc.target/vax/cmpelim-le-addsi.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-fdump-rtl-cmpelim -dp" } */
   3 /* { dg-skip-if "code quality test" { *-*-* } { "-O0" } { "" } } */
   4
   5 typedef int __attribute__ ((mode (SI))) int_t;
   6
   7 int_t
   8 le_addsi (int_t x, int_t y)
   9 {
  10   x += y;
  11   if (x <= 0)
  12     return x;
  13   else
  14     return x + 2;
  15 }
  16
  17 /* Expect assembly like:
  18
  19         addl3 4(%ap),8(%ap),%r0         # 29    [c=48]  *addsi3_ccnz
  20         jleq .L1                        # 31    [c=26]  *branch_ccnz
  21         addl2 $2,%r0                    # 28    [c=32]  *addsi3
  22 .L1:
  23
  24  */
  25
  26 /* { dg-final { scan-rtl-dump-times "deleting insn with uid" 1 "cmpelim" } } */
  27 /* { dg-final { scan-assembler-not "\t(bit|cmpz?|tst). " } } */
  28 /* { dg-final { scan-assembler "addsi\[^ \]*_ccnz(/\[0-9\]+)?\n" } } */
  29 /* { dg-final { scan-assembler "branch_ccnz\n" } } */