[all-commits] [llvm/llvm-project] 06144a: [X86] Add target verifier with subtarget-dependent...

[jofrn via All-commits]

  Branch: refs/heads/users/jofrn/x86-target-verifier
  Home:   https://github.com/llvm/llvm-project
  Commit: 06144ada0dcb07180619ccbdf742343ae0c62106
      https://github.com/llvm/llvm-project/commit/06144ada0dcb07180619ccbdf742343ae0c62106
  Author: jofrn <jo7frn1 at gmail.com>
  Date:   2026-06-25 (Thu, 25 Jun 2026)

  Changed paths:
    M llvm/lib/Target/X86/CMakeLists.txt
    M llvm/lib/Target/X86/X86.h
    M llvm/lib/Target/X86/X86TargetMachine.cpp
    A llvm/lib/Target/X86/X86TargetVerifier.cpp
    A llvm/test/Verifier/X86/lit.local.cfg
    A llvm/test/Verifier/X86/target-verifier.ll

  Log Message:
  -----------
  [X86] Add target verifier with subtarget-dependent checks

Add an X86 TargetVerify, registered by triple, so the target-independent
TargetVerifierPass dispatches to it for X86 modules.

These checks depend on the features in a function's target-cpu /
target-features attributes, which the generic triple-only IR verifier
cannot see. The MCSubtargetInfo is built from those attributes, so no
TargetMachine is needed and the pass runs from generic pipelines:

  - x86 instruction-set intrinsics (llvm.x86.avx/avx2/avx512.*) require
    the matching AVX/AVX2/AVX-512 feature.
  - 128/256-bit AVX-512 intrinsics additionally require AVX512VL.
  - The x86_amx type requires AMX-TILE.



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