[all-commits] [llvm/llvm-project] b6c9c7: [Verifier] Add checks for range attribute on ImmAr...

[Durgadoss R via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: b6c9c7633abfe783244bf19b0290d82678b2c419
      https://github.com/llvm/llvm-project/commit/b6c9c7633abfe783244bf19b0290d82678b2c419
  Author: Durgadoss R <durgadossr at nvidia.com>
  Date:   2025-05-23 (Fri, 23 May 2025)

  Changed paths:
    M llvm/lib/IR/Verifier.cpp
    M llvm/test/Assembler/immarg-param-attribute.ll
    M llvm/test/Assembler/invalid-immarg.ll
    A llvm/test/Assembler/invalid-immarg4.ll
    A llvm/test/Assembler/invalid-immarg5.ll

  Log Message:
  -----------
  [Verifier] Add checks for range attribute on ImmArg (#140522)

This patch implements verifier checks for range
attributes on ImmArg. This enables validation
of the range of ImmArg operands in intrinsics,
when the intrinsic definition includes the range
information.

Signed-off-by: Durgadoss R <durgadossr at nvidia.com>



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