gcc/testsuite/gcc.dg/strlenopt-30.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-O2 -fdump-tree-strlen" } */
   3
   4 __attribute__((no_icf))
   5 _Bool f1(char *s)
   6 {
   7   return __builtin_strstr (s, "hello") == s;
   8 }
   9
  10 __attribute__((no_icf))
  11 _Bool f2(char *s)
  12 {
  13   return s == __builtin_strstr (s, "hello");
  14 }
  15
  16 __attribute__((no_icf))
  17 _Bool f3(char *s)
  18 {
  19   return s != __builtin_strstr (s, "hello");
  20 }
  21
  22 __attribute__((no_icf))
  23 _Bool f4()
  24 {
  25   char *foo_f4(void);
  26   char *t1 = foo_f4();
  27   char *t2 = __builtin_strstr (t1, "hello");
  28   _Bool t3 = t2 == t1;
  29   return t3;
  30 }
  31
  32 __attribute__((no_icf))
  33 void f5(char *s)
  34 {
  35   char *t1 = __builtin_strstr (s, "hello");
  36   void foo_f5(void);
  37   if (t1 != s)
  38     foo_f5();
  39 }
  40
  41 /* Do not perform transform, since strlen (t)
  42    is unknown.  */
  43
  44 __attribute__((no_icf))
  45 _Bool f6(char *s, char *t)
  46 {
  47   return __builtin_strstr (s, t) == s;
  48 }
  49
  50 /* Do not perform transform in this case, since
  51    t1 doesn't have single use.  */
  52
  53 __attribute__((no_icf))
  54 _Bool f7(char *s)
  55 {
  56   void foo_f7(char *);
  57
  58   char *t1 = __builtin_strstr (s, "hello");
  59   foo_f7 (t1);
  60   return (t1 == s);
  61 }
  62
  63 /* { dg-final { scan-tree-dump-times "__builtin_strncmp" 5 "strlen" } } */