gcc/testsuite/gcc.dg/ifcvt-4.c

   1 /* { dg-options "-fdump-rtl-ce1 -O2 --param max-rtl-if-conversion-insns=3 --param max-rtl-if-conversion-unpredictable-cost=100" } */
   2 /* { dg-additional-options "-misel" { target { powerpc*-*-* } } } */
   3 /* { dg-additional-options "-march=z196" { target { s390x-*-* } } } */
   4 /* { dg-additional-options "-mtune-ctrl=^one_if_conv_insn" { target { i?86-*-* x86_64-*-* } } } */
   5 /* { dg-skip-if "Multiple set if-conversion not guaranteed on all subtargets" { "arm*-*-* avr-*-* cris-*-* hppa*64*-*-* visium-*-*" riscv*-*-* msp430-*-* nios2-*-* pru-*-* } }  */
   6 /* { dg-skip-if "" { { sparc*-*-* } && { ! sparc_v9 } } }  */
   7 /* { dg-skip-if "" { "s390x-*-*" } { "-m31" } }  */
   8
   9 typedef int word __attribute__((mode(word)));
  10
  11 word
  12 foo (word x, word y, word a)
  13 {
  14   word i = x;
  15   word j = y;
  16   /* Try to make taking the branch likely.  */
  17   if (__builtin_expect (x > y, 0))
  18     {
  19       i = a;
  20       j = i;
  21     }
  22   return i * j;
  23 }
  24 /* { dg-final { scan-rtl-dump "2 true changes made" "ce1" } } */