package acm_random

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

top fn __acm_random__rng_sanitize_seed(seed: bits[32] id=1) -> bits[32] {
  seed__1_squeezed: bits[31] = bit_slice(seed, start=0, width=31, id=23, pos=[(0,57,15)])
  literal.27: bits[31] = literal(value=0, id=27)
  literal.28: bits[31] = literal(value=2147483647, id=28)
  eq.19: bits[1] = eq(seed__1_squeezed, literal.27, id=19)
  eq.22: bits[1] = eq(seed__1_squeezed, literal.28, id=22)
  or.8: bits[1] = or(eq.19, eq.22, id=8, pos=[(0,59,8)])
  literal.44: bits[31] = literal(value=1, id=44, pos=[(0,59,21)])
  literal.34: bits[1] = literal(value=0, id=34)
  priority_sel.33: bits[31] = priority_sel(or.8, cases=[literal.44], default=seed__1_squeezed, id=33)
  ret concat.46: bits[32] = concat(literal.34, priority_sel.33, id=46)
}