[intel] 2Dblock runtime HW checks

[januszjah]

Solution for #5110

[januszjah]

Need to find a clean way to use __assert_fail in tritongen to llvm pass instead of llvm trap.

[Copilot]

Pull Request Overview

This PR implements runtime hardware checks for 2D block operations in the Intel backend by adding runtime assertion validation that verifies parameter constraints when the TRITON_INTEL_2DBLOCK_ASSERT environment variable is set.

Key changes include:

• Added LibCallEmitter utility class for generating library calls including printf and assert_fail functions
• Integrated runtime validation into 2D block load/store/prefetch operations with parameter constraint checking
• Added comprehensive test coverage for the new assertion functionality

Reviewed Changes

Copilot reviewed 11 out of 11 changed files in this pull request and generated 11 comments.

Show a summary per file

File	Description
third_party/intel/lib/Utils/LibCallEmitter.h	New header defining LibCallEmitter class for library call generation
third_party/intel/lib/Utils/LibCallEmitter.cpp	Implementation of LibCallEmitter with printf and assertFail methods
third_party/intel/lib/Utils/CMakeLists.txt	Added LibCallEmitter.cpp to build configuration
third_party/intel/lib/TritonIntelGPUToLLVM/TargetInfo.h	Updated to use LibCallEmitter instead of inline globals
third_party/intel/lib/TritonIntelGPUToLLVM/TargetInfo.cpp	Refactored to delegate library calls to LibCallEmitter
third_party/intel/lib/TritonGENToLLVM/TritonGENToLLVMPass.cpp	Added 2D block parameter validation with runtime checks
third_party/intel/include/TritonGENToLLVM/TritonGENToLLVMPass.h	Updated function signature to accept LibCallEmitter
test/TritonGEN/tritongen-2Dblockload-to-llvm-asserts.mlir	MLIR test verifying assert generation based on environment variable
python/test/unit/intel/test_block_load.py	Python test ensuring assertions trigger on invalid parameters
python/test/unit/intel/block_load_helper.py	Helper script for running assertion tests
include/triton/Tools/Sys/GetEnv.hpp	Added TRITON_INTEL_2DBLOCK_ASSERT to cache-invalidating environment variables

---

_{Tip: Customize your code reviews with copilot-instructions.md. Create the file or learn how to get started.}

[januszjah]

Runtime checks to see if asserts actually work.

[januszjah]

I removed it because it seems to be unused and otherwise I'd have to somehow handle lifecycle of calls emitter in populate* method.

[whitneywhtsang]

Can you try to enable the env var temporarily to see if there is any unexpected failures in our testing?

[januszjah]

Can you try to enable the env var temporarily to see if there is any unexpected failures in our testing?

Yes, just added a commit that removes the check.

[januszjah]

@whitneywhtsang When I enabled it for all CI tests it failed in some minicore tests. I'd prefer to resolve it in follow-up issue and I also made a failing PR for reference: #5326

[etiotto]

nice!