linedraw (int x0, int y0, int x1, int y1, int * xout, int * yout)
gimple_bind <
  int iftmp.0;
  int D.1972;
  int D.1976;
  int iftmp.1;
  int iftmp.2;
  int D.1982;
  int D.1986;
  int iftmp.3;
  int iftmp.4;
  _Bool D.1995;
  _Bool D.1996;
  _Bool D.1997;
  int D.1999;
  int x;
  int y;
  int dx;
  int sx;
  int dy;
  int sy;
  int err;
  int e2;

  gimple_assign <parm_decl, x, x0, NULL>
  gimple_assign <parm_decl, y, y0, NULL>
  gimple_assign <minus_expr, D.1972, x1, x0>
  gimple_cond <gt_expr, D.1972, 0, <D.1973>, <D.1974>>
  gimple_label <<D.1973>>
  gimple_assign <minus_expr, iftmp.0, x1, x0>
  gimple_goto <<D.1975>>
  gimple_label <<D.1974>>
  gimple_assign <negate_expr, D.1976, x1, NULL>
  gimple_assign <minus_expr, iftmp.0, D.1976, x0>
  gimple_label <<D.1975>>
  gimple_assign <var_decl, dx, iftmp.0, NULL>
  gimple_cond <lt_expr, x0, x1, <D.1978>, <D.1979>>
  gimple_label <<D.1978>>
  gimple_assign <integer_cst, iftmp.1, 1, NULL>
  gimple_goto <<D.1980>>
  gimple_label <<D.1979>>
  gimple_assign <integer_cst, iftmp.1, -1, NULL>
  gimple_label <<D.1980>>
  gimple_assign <var_decl, sx, iftmp.1, NULL>
  gimple_assign <minus_expr, D.1982, y1, y0>
  gimple_cond <gt_expr, D.1982, 0, <D.1983>, <D.1984>>
  gimple_label <<D.1983>>
  gimple_assign <minus_expr, iftmp.2, y1, y0>
  gimple_goto <<D.1985>>
  gimple_label <<D.1984>>
  gimple_assign <negate_expr, D.1986, y1, NULL>
  gimple_assign <minus_expr, iftmp.2, D.1986, y0>
  gimple_label <<D.1985>>
  gimple_assign <var_decl, dy, iftmp.2, NULL>
  gimple_cond <lt_expr, y0, y1, <D.1988>, <D.1989>>
  gimple_label <<D.1988>>
  gimple_assign <integer_cst, iftmp.3, 1, NULL>
  gimple_goto <<D.1990>>
  gimple_label <<D.1989>>
  gimple_assign <integer_cst, iftmp.3, -1, NULL>
  gimple_label <<D.1990>>
  gimple_assign <var_decl, sy, iftmp.3, NULL>
  gimple_cond <le_expr, dx, dy, <D.1992>, <D.1993>>
  gimple_label <<D.1992>>
  gimple_assign <trunc_div_expr, iftmp.4, dy, -2>
  gimple_goto <<D.1994>>
  gimple_label <<D.1993>>
  gimple_assign <trunc_div_expr, iftmp.4, dx, 2>
  gimple_label <<D.1994>>
  gimple_assign <var_decl, err, iftmp.4, NULL>
  gimple_label <<D.1230>>
  gimple_assign <var_decl, *xout, x, NULL>
  gimple_assign <var_decl, *yout, y, NULL>
  gimple_assign <eq_expr, D.1995, x, x1>
  gimple_assign <eq_expr, D.1996, y, y1>
  gimple_assign <truth_and_expr, D.1997, D.1995, D.1996>
  gimple_cond <ne_expr, D.1997, 0, <D.1229>, <D.1998>>
  gimple_label <<D.1998>>
  gimple_assign <var_decl, e2, err, NULL>
  gimple_assign <negate_expr, D.1999, dx, NULL>
  gimple_cond <lt_expr, D.1999, e2, <D.2000>, <D.2001>>
  gimple_label <<D.2000>>
  gimple_assign <minus_expr, err, err, dy>
  gimple_assign <plus_expr, x, x, sx>
  gimple_label <<D.2001>>
  gimple_cond <lt_expr, e2, dy, <D.2002>, <D.2003>>
  gimple_label <<D.2002>>
  gimple_assign <plus_expr, err, err, dx>
  gimple_assign <plus_expr, y, y, sy>
  gimple_label <<D.2003>>
  gimple_goto <<D.1230>>
  gimple_label <<D.1229>>
>