fibo (unsigned int x, unsigned int * fib)
gimple_bind <
  unsigned int f0;
  unsigned int f1;
  unsigned int f;
  unsigned int k;

  gimple_assign <integer_cst, f0, 0, NULL>
  gimple_assign <integer_cst, f1, 1, NULL>
  gimple_cond <eq_expr, x, 0, <D.1964>, <D.1965>>
  gimple_label <<D.1964>>
  gimple_assign <var_decl, f, f0, NULL>
  gimple_goto <<D.1966>>
  gimple_label <<D.1965>>
  gimple_cond <eq_expr, x, 1, <D.1967>, <D.1968>>
  gimple_label <<D.1967>>
  gimple_assign <var_decl, f, f1, NULL>
  gimple_goto <<D.1969>>
  gimple_label <<D.1968>>
  gimple_assign <integer_cst, k, 2, NULL>
  gimple_goto <<D.1222>>
  gimple_label <<D.1221>>
  gimple_assign <plus_expr, f, f1, f0>
  gimple_assign <var_decl, f0, f1, NULL>
  gimple_assign <var_decl, f1, f, NULL>
  gimple_assign <plus_expr, k, k, 1>
  gimple_label <<D.1222>>
  gimple_cond <le_expr, k, x, <D.1221>, <D.1223>>
  gimple_label <<D.1223>>
  gimple_label <<D.1969>>
  gimple_label <<D.1966>>
  gimple_assign <var_decl, *fib, f, NULL>
>