gcd (short unsigned int a, short unsigned int b, short unsigned int * outp)
gimple_bind <
  _Bool D.1964;
  _Bool D.1965;
  _Bool D.1966;
  short unsigned int result;
  short unsigned int x;
  short unsigned int y;

  gimple_assign <integer_cst, result, 0, NULL>
  gimple_assign <parm_decl, x, a, NULL>
  gimple_assign <parm_decl, y, b, NULL>
  gimple_assign <ne_expr, D.1964, x, 0>
  gimple_assign <ne_expr, D.1965, y, 0>
  gimple_assign <truth_and_expr, D.1966, D.1964, D.1965>
  gimple_cond <ne_expr, D.1966, 0, <D.1967>, <D.1968>>
  gimple_label <<D.1967>>
  gimple_goto <<D.1222>>
  gimple_label <<D.1221>>
  gimple_cond <ge_expr, x, y, <D.1969>, <D.1970>>
  gimple_label <<D.1969>>
  gimple_assign <minus_expr, x, x, y>
  gimple_goto <<D.1971>>
  gimple_label <<D.1970>>
  gimple_assign <minus_expr, y, y, x>
  gimple_label <<D.1971>>
  gimple_label <<D.1222>>
  gimple_cond <ne_expr, x, y, <D.1221>, <D.1223>>
  gimple_label <<D.1223>>
  gimple_assign <var_decl, result, x, NULL>
  gimple_goto <<D.1972>>
  gimple_label <<D.1968>>
  gimple_assign <integer_cst, result, 0, NULL>
  gimple_label <<D.1972>>
  gimple_assign <var_decl, *outp, result, NULL>
>