package std

file_number 0 "/inputs/subtree/xls/dslx/stdlib/std.x"

fn __std__ceil_div__32(x: bits[32] id=1, y: bits[32] id=2) -> bits[32] {
  literal.4: bits[32] = literal(value=1, id=4, pos=[(0,605,21)])
  sub.5: bits[32] = sub(x, literal.4, id=5, pos=[(0,605,17)])
  literal.9: bits[32] = literal(value=0, id=9, pos=[(0,606,11)])
  udiv.6: bits[32] = udiv(sub.5, y, id=6, pos=[(0,605,17)])
  literal.7: bits[32] = literal(value=1, id=7, pos=[(0,605,36)])
  ugt.10: bits[1] = ugt(x, literal.9, id=10, pos=[(0,606,7)])
  literal.11: bits[32] = literal(value=0, id=11, pos=[(0,606,36)])
  usual: bits[32] = add(udiv.6, literal.7, id=8, pos=[(0,605,17)])
  N: bits[32] = literal(value=32, id=3, pos=[(0,604,16)])
  ret sel.12: bits[32] = sel(ugt.10, cases=[literal.11, usual], id=12, pos=[(0,606,4)])
}

top fn __std__round_up_to_nearest(x: bits[32] id=13, y: bits[32] id=14) -> bits[32] {
  invoke.15: bits[32] = invoke(x, y, to_apply=__std__ceil_div__32, id=15, pos=[(0,629,61)])
  umul.16: bits[32] = umul(invoke.15, y, id=16, pos=[(0,629,61)])
  ret zero_ext.17: bits[32] = zero_ext(umul.16, new_bit_count=32, id=17)
}