mem2reg: tolerate out of bounds constant accesses
authorZachary Snow <zach@zachjs.com>
Wed, 26 May 2021 22:22:31 +0000 (18:22 -0400)
committerZachary Snow <zachary.j.snow@gmail.com>
Tue, 8 Jun 2021 19:02:57 +0000 (15:02 -0400)
commitc79fbfe0a130f1a2979413174c3e5688433bafe3
tree4779bf4befa1f9459d96566a3ff70af287bb5aa4
parentd9f11bb7a631ad309b9328d33b2f41a4987b6222
mem2reg: tolerate out of bounds constant accesses

This brings the mem2reg behavior in line with the nomem2reg behavior.
frontends/ast/simplify.cc
tests/simple/mem2reg_bounds_tern.v [new file with mode: 0644]
tests/verilog/mem_bounds.sv [new file with mode: 0644]
tests/verilog/mem_bounds.ys [new file with mode: 0644]