tree c19fc855da6e56b03b95e908b05c5dfca59a9d83
parent 0a279ee4a9edae07be6d7732e6b465df6f77bd4f
author Matt Arsenault <Matthew.Arsenault@amd.com> 1750731112 +0900
committer Copybara-Service <copybara-worker@google.com> 1750731522 -0700

DAG: Move get_dynamic_area_offset type check to IR verifier (#145268)

Also fix the LangRef to match the implementation. This was checking
against the alloca address space size rather than the default address
space.

The check was also more permissive than the LangRef. The error
check permitted any size less than the pointer size; follow the
stricter wording of the LangRef.

GitOrigin-RevId: f0d898f36bceff94d40e2022814978fa5fd0cc8f