| commit | aba052e1045a6ecdab04233c3fdb40b0bc9ffadf | [log] [tgz] |
|---|---|---|
| author | Matt Arsenault <Matthew.Arsenault@amd.com> | Tue Jun 24 11:11:52 2025 +0900 |
| committer | Copybara-Service <copybara-worker@google.com> | Mon Jun 23 19:18:42 2025 -0700 |
| tree | c19fc855da6e56b03b95e908b05c5dfca59a9d83 | |
| parent | 0a279ee4a9edae07be6d7732e6b465df6f77bd4f [diff] |
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