package acm_random

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

top fn __acm_random__rng_new(seed: bits[32] id=13) -> (bits[32]) {
  seed__2_squeezed: bits[31] = bit_slice(seed, start=0, width=31, id=33, pos=[(0,57,15), (0,64,68)])
  literal.37: bits[31] = literal(value=0, id=37, pos=[(0,64,68)])
  literal.38: bits[31] = literal(value=2147483647, id=38, pos=[(0,64,68)])
  eq.39: bits[1] = eq(seed__2_squeezed, literal.37, id=39, pos=[(0,64,68)])
  eq.40: bits[1] = eq(seed__2_squeezed, literal.38, id=40, pos=[(0,64,68)])
  or.41: bits[1] = or(eq.39, eq.40, id=41, pos=[(0,59,8), (0,64,68)])
  literal.59: bits[31] = literal(value=1, id=59, pos=[(0,59,21), (0,64,68)])
  literal.49: bits[1] = literal(value=0, id=49, pos=[(0,64,68)])
  priority_sel.48: bits[31] = priority_sel(or.41, cases=[literal.59], default=seed__2_squeezed, id=48, pos=[(0,64,68)])
  concat.61: bits[32] = concat(literal.49, priority_sel.48, id=61, pos=[(0,64,68)])
  ret tuple.15: (bits[32]) = tuple(concat.61, id=15, pos=[(0,64,43)])
}