gcc/testsuite/gcc.dg/pr71343-2.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-O2 -fdump-tree-optimized" } */
   3
   4 unsigned int test1(unsigned int a , unsigned int b)
   5 {
   6   return (a << 2) + (b << 2) == a * 4 + b * 4;
   7 }
   8
   9 unsigned int test2(unsigned int a , unsigned int b)
  10 {
  11   return (a << 2) + (b << 2) == (a + b) << 2;
  12 }
  13
  14 unsigned int test3(unsigned int a , unsigned int b)
  15 {
  16   return a * 4 + b * 4 == (a + b) * 4;
  17 }
  18
  19 unsigned int test4(unsigned int a , unsigned int b)
  20 {
  21   return (a + b) << 2 == (a + b) * 4;
  22 }
  23
  24 unsigned int test5(unsigned int a , unsigned int b)
  25 {
  26   return (a << 2) + (b << 2) ==  (a + b) * 4;
  27 }
  28
  29 unsigned int test6(unsigned int a , unsigned int b)
  30 {
  31   return (a + b) << 2 == a * 4 + b * 4;
  32 }
  33
  34 /* { dg-final { scan-tree-dump-times "return 1" 6 "optimized" } } */