[all-commits] [llvm/llvm-project] c3c73e: DAG: Move get_dynamic_area_offset type check to IR...

[Matt Arsenault via All-commits]

  Branch: refs/heads/users/arsenm/dag/move-get-dynamic-area-offset-check-to-ir-verifier
  Home:   https://github.com/llvm/llvm-project
  Commit: c3c73e9a0dfe7d149907d68b0b6ae348e39fb8f8
      https://github.com/llvm/llvm-project/commit/c3c73e9a0dfe7d149907d68b0b6ae348e39fb8f8
  Author: Matt Arsenault <Matthew.Arsenault at amd.com>
  Date:   2025-06-23 (Mon, 23 Jun 2025)

  Changed paths:
    M llvm/docs/LangRef.rst
    M llvm/lib/CodeGen/SelectionDAG/SelectionDAGBuilder.cpp
    M llvm/lib/IR/Verifier.cpp
    A llvm/test/Verifier/get_dynamic_area_offset.ll

  Log Message:
  -----------
  DAG: Move get_dynamic_area_offset type check to IR verifier

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.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications