Declaring a function with __attribute__((optimize("O0")) turns off inlining for 
the translation unit (atleast) containing the function (see output at the end). 
Is this expected behavior?

I tracked this down to the fact that when processing the optimize attribute 
with O0, flag_no_inline is set to 1 and is not restored back. The early_inliner 
pass in ipa-inline.c (obviously) skips processing if flag_no_inline is set, and 
therefore inlining does not occur. I did see that handle_optimize_attribute in 
c-family/c-common.c saves and restores whatever options have corresponding 
fields in struct cl_optimization, but inlining is not one of them. That I guess 
is happening because inline is not described as an "Optimization" option in 
common.opt.

Test output
----------------
$ cat test.c
static void callee() { static int a; a++; }
void caller() { callee(); }
$ 
$ ~/Code/gcc/repo/native_install/bin/gcc -O1 -fdump-tree-all -S test.c
$ 
$ cat test.c.*.optimized

;; Function caller (caller, funcdef_no=1, decl_uid=1358, cgraph_uid=1)

caller ()
{
  int a.0;
  int a.1;
  static int a;
  static int a;

<bb 2>:
  a.0_3 = a;
  a.1_4 = a.0_3 + 1;
  a = a.1_4;
  return;

}

$ cat test.c
static void callee() { static int a; a++; }
void caller() { callee(); }
static void somefunc() __attribute__((optimize("O0")));
$ 
$ ~/Code/gcc/repo/native_install/bin/gcc -O1 -fdump-tree-all -S test.c
$ 
$ cat test.c.*.optimized

;; Function callee (callee, funcdef_no=0, decl_uid=1355, cgraph_uid=0)
callee ()
{
  static int a;
  int a.1;
  int a.0;

<bb 2>:
  a.0_1 = a;
  a.1_2 = a.0_1 + 1;
  a = a.1_2;
  return;

}

;; Function caller (caller, funcdef_no=1, decl_uid=1358, cgraph_uid=1)
caller ()
{
<bb 2>:
  callee ();
  return;

}

Regards
Senthil

Reply via email to