[Mlir-commits] [llvm] [mlir] [NFC][LLVM] Define range attribute for `llvm.prefetch` args (PR #207300)

llvmlistbot at llvm.org llvmlistbot at llvm.org
Fri Jul 3 01:18:50 PDT 2026


github-actions[bot] wrote:

<!--PREMERGE ADVISOR COMMENT: Windows-->
# :window: Windows x64 Test Results

* 136606 tests passed
* 3522 tests skipped
* 5 tests failed

## Failed Tests
(click on a test name to see its output)

### LLVM
<details>
<summary>LLVM.CodeGen/NVPTX/cp-async-bulk-tensor-g2s-invalid.ll</summary>

```
Exit Code: 1

Command Output (stdout):
--
# RUN: at line 1
not c:\_work\llvm-project\llvm-project\build\bin\llc.exe < C:\_work\llvm-project\llvm-project\llvm\test\CodeGen\NVPTX\cp-async-bulk-tensor-g2s-invalid.ll -mtriple=nvptx64 -mcpu=sm_100a -o /dev/null 2>&1 | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\llvm\test\CodeGen\NVPTX\cp-async-bulk-tensor-g2s-invalid.ll
# executed command: not 'c:\_work\llvm-project\llvm-project\build\bin\llc.exe' -mtriple=nvptx64 -mcpu=sm_100a -o /dev/null
# note: command had no output on stdout or stderr
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe' 'C:\_work\llvm-project\llvm-project\llvm\test\CodeGen\NVPTX\cp-async-bulk-tensor-g2s-invalid.ll'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\llvm\test\CodeGen\NVPTX\cp-async-bulk-tensor-g2s-invalid.ll:8:11: error: CHECK: expected string not found in input
# |  ; CHECK: immarg value 3 out of range [0, 3)
# |           ^
# | <stdin>:1:1: note: scanning from here
# | immarg value 3 for arg 8 out of range [0,3)
# | ^
# | <stdin>:1:14: note: possible intended match here
# | immarg value 3 for arg 8 out of range [0,3)
# |              ^
# | 
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\llvm\test\CodeGen\NVPTX\cp-async-bulk-tensor-g2s-invalid.ll
# | 
# | -dump-input=help explains the following input dump.
# | 
# | Input was:
# | <<<<<<
# |            1: immarg value 3 for arg 8 out of range [0,3) 
# | check:8'0    {                                              search range start (exclusive)
# | check:8'1                                                   error: no match found in search range
# | check:8'2                  ?                                possible intended match
# |            2:  tail call void @llvm.nvvm.cp.async.bulk.tensor.g2s.tile.1d(ptr addrspace(7) %d, ptr addrspace(3) %bar, ptr %tmap, i32 %d0, i16 %mc, i64 %ch, i1 false, i1 false, i32 3) 
# |            3: immarg value -1 for arg 8 out of range [0,3) 
# |            4:  tail call void @llvm.nvvm.cp.async.bulk.tensor.g2s.tile.1d(ptr addrspace(7) %d, ptr addrspace(3) %bar, ptr %tmap, i32 %d0, i16 %mc, i64 %ch, i1 false, i1 false, i32 -1) 
# |            5: llc: error: '<stdin>': input module cannot be verified 
# | check:8'3                                                            } search range end (exclusive)
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1

--

```
</details>
<details>
<summary>LLVM.CodeGen/NVPTX/fence-proxy-tensormap-invalid.ll</summary>

```
Exit Code: 1

Command Output (stdout):
--
# RUN: at line 1
not c:\_work\llvm-project\llvm-project\build\bin\llc.exe < C:\_work\llvm-project\llvm-project\llvm\test\CodeGen\NVPTX\fence-proxy-tensormap-invalid.ll -mtriple=nvptx64 -mcpu=sm_90 -mattr=+ptx83 -o /dev/null 2>&1 | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\llvm\test\CodeGen\NVPTX\fence-proxy-tensormap-invalid.ll
# executed command: not 'c:\_work\llvm-project\llvm-project\build\bin\llc.exe' -mtriple=nvptx64 -mcpu=sm_90 -mattr=+ptx83 -o /dev/null
# note: command had no output on stdout or stderr
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe' 'C:\_work\llvm-project\llvm-project\llvm\test\CodeGen\NVPTX\fence-proxy-tensormap-invalid.ll'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\llvm\test\CodeGen\NVPTX\fence-proxy-tensormap-invalid.ll:4:11: error: CHECK: expected string not found in input
# |  ; CHECK: immarg value 130 out of range [128, 129)
# |           ^
# | <stdin>:1:1: note: scanning from here
# | immarg value 130 for arg 1 out of range [128,129)
# | ^
# | <stdin>:1:16: note: possible intended match here
# | immarg value 130 for arg 1 out of range [128,129)
# |                ^
# | 
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\llvm\test\CodeGen\NVPTX\fence-proxy-tensormap-invalid.ll
# | 
# | -dump-input=help explains the following input dump.
# | 
# | Input was:
# | <<<<<<
# |            1: immarg value 130 for arg 1 out of range [128,129) 
# | check:4'0    {                                                    search range start (exclusive)
# | check:4'1                                                         error: no match found in search range
# | check:4'2                    ?                                    possible intended match
# |            2:  call void @llvm.nvvm.fence.proxy.tensormap_generic.acquire.cta(ptr %addr, i32 130) 
# |            3: llc: error: '<stdin>': input module cannot be verified 
# | check:4'3                                                            } search range end (exclusive)
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1

--

```
</details>
<details>
<summary>LLVM.CodeGen/NVPTX/tcgen05-mma-block-scale-invalid.ll</summary>

```
Exit Code: 1

Command Output (stdout):
--
# RUN: at line 2
not c:\_work\llvm-project\llvm-project\build\bin\llc.exe < C:\_work\llvm-project\llvm-project\llvm\test\CodeGen\NVPTX\tcgen05-mma-block-scale-invalid.ll -o - -mcpu=sm_100a -march=nvptx64 -mattr=+ptx88 -o /dev/null 2>&1 | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\llvm\test\CodeGen\NVPTX\tcgen05-mma-block-scale-invalid.ll
# executed command: not 'c:\_work\llvm-project\llvm-project\build\bin\llc.exe' -o - -mcpu=sm_100a -march=nvptx64 -mattr=+ptx88 -o /dev/null
# note: command had no output on stdout or stderr
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe' 'C:\_work\llvm-project\llvm-project\llvm\test\CodeGen\NVPTX\tcgen05-mma-block-scale-invalid.ll'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\llvm\test\CodeGen\NVPTX\tcgen05-mma-block-scale-invalid.ll:7:11: error: CHECK: expected string not found in input
# |  ; CHECK: immarg value 0 out of range [1, 3)
# |           ^
# | <stdin>:1:1: note: scanning from here
# | immarg value 0 for arg 7 out of range [1,3)
# | ^
# | <stdin>:1:14: note: possible intended match here
# | immarg value 0 for arg 7 out of range [1,3)
# |              ^
# | 
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\llvm\test\CodeGen\NVPTX\tcgen05-mma-block-scale-invalid.ll
# | 
# | -dump-input=help explains the following input dump.
# | 
# | Input was:
# | <<<<<<
# |            1: immarg value 0 for arg 7 out of range [1,3) 
# | check:7'0    {                                              search range start (exclusive)
# | check:7'1                                                   error: no match found in search range
# | check:7'2                  ?                                possible intended match
# |            2:  call void @llvm.nvvm.tcgen05.mma.shared.mxf8f6f4.block_scale.block32(ptr addrspace(6) %dtmem, i64 %ashared, i64 %b, i32 %idesc, i1 %enable_inp_d, ptr addrspace(6) %scale_a, ptr addrspace(6) %scale_b, i32 0, i32 0) 
# |            3: immarg value 5 for arg 8 out of range [0,4) 
# |            4:  call void @llvm.nvvm.tcgen05.mma.shared.mxf8f6f4.block_scale.block32(ptr addrspace(6) %dtmem, i64 %ashared, i64 %b, i32 %idesc, i1 %enable_inp_d, ptr addrspace(6) %scale_a, ptr addrspace(6) %scale_b, i32 1, i32 5) 
# |            5: immarg value 0 for arg 7 out of range [1,3) 
# |            6:  call void @llvm.nvvm.tcgen05.mma.shared.mxf4.block_scale.block32(ptr addrspace(6) %dtmem, i64 %ashared, i64 %b, i32 %idesc, i1 %enable_inp_d, ptr addrspace(6) %scale_a, ptr addrspace(6) %scale_b, i32 0, i32 0) 
# |            .
# |            .
# |            .
# |           12:  call void @llvm.nvvm.tcgen05.mma.shared.mxf4nvf4.block_scale.block32(ptr addrspace(6) %dtmem, i64 %ashared, i64 %b, i32 %idesc, i1 %enable_inp_d, ptr addrspace(6) %scale_a, ptr addrspace(6) %scale_b, i32 1, i32 5) 
# |           13: immarg value 0 for arg 7 out of range [1,3) 
# |           14:  call void @llvm.nvvm.tcgen05.mma.shared.mxf4nvf4.block_scale.block16(ptr addrspace(6) %dtmem, i64 %ashared, i64 %b, i32 %idesc, i1 %enable_inp_d, ptr addrspace(6) %scale_a, ptr addrspace(6) %scale_b, i32 0, i32 0) 
# |           15: immarg value 5 for arg 8 out of range [0,4) 
# |           16:  call void @llvm.nvvm.tcgen05.mma.shared.mxf4nvf4.block_scale.block16(ptr addrspace(6) %dtmem, i64 %ashared, i64 %b, i32 %idesc, i1 %enable_inp_d, ptr addrspace(6) %scale_a, ptr addrspace(6) %scale_b, i32 1, i32 5) 
# |           17: llc: error: '<stdin>': input module cannot be verified 
# | check:7'3                                                            } search range end (exclusive)
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1

--

```
</details>
<details>
<summary>LLVM.CodeGen/NVPTX/tcgen05-mma-invalid.ll</summary>

```
Exit Code: 1

Command Output (stdout):
--
# RUN: at line 2
not c:\_work\llvm-project\llvm-project\build\bin\llc.exe < C:\_work\llvm-project\llvm-project\llvm\test\CodeGen\NVPTX\tcgen05-mma-invalid.ll -mtriple=nvptx64 -mcpu=sm_100a -mattr=+ptx86 -o /dev/null 2>&1 | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\llvm\test\CodeGen\NVPTX\tcgen05-mma-invalid.ll
# executed command: not 'c:\_work\llvm-project\llvm-project\build\bin\llc.exe' -mtriple=nvptx64 -mcpu=sm_100a -mattr=+ptx86 -o /dev/null
# note: command had no output on stdout or stderr
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe' 'C:\_work\llvm-project\llvm-project\llvm\test\CodeGen\NVPTX\tcgen05-mma-invalid.ll'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\llvm\test\CodeGen\NVPTX\tcgen05-mma-invalid.ll:8:11: error: CHECK: expected string not found in input
# |  ; CHECK: immarg value 5 out of range [0, 4)
# |           ^
# | <stdin>:1:1: note: scanning from here
# | immarg value 5 for arg 5 out of range [0,4)
# | ^
# | <stdin>:1:14: note: possible intended match here
# | immarg value 5 for arg 5 out of range [0,4)
# |              ^
# | 
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\llvm\test\CodeGen\NVPTX\tcgen05-mma-invalid.ll
# | 
# | -dump-input=help explains the following input dump.
# | 
# | Input was:
# | <<<<<<
# |            1: immarg value 5 for arg 5 out of range [0,4) 
# | check:8'0    {                                              search range start (exclusive)
# | check:8'1                                                   error: no match found in search range
# | check:8'2                  ?                                possible intended match
# |            2:  call void @llvm.nvvm.tcgen05.mma.shared(ptr addrspace(6) %dtmem, i64 %ashared, i64 %b, i32 %idesc, i1 %enable_inp_d, i32 5, i32 1, i32 3) 
# |            3: immarg value 0 for arg 6 out of range [1,3) 
# |            4:  call void @llvm.nvvm.tcgen05.mma.shared(ptr addrspace(6) %dtmem, i64 %ashared, i64 %b, i32 %idesc, i1 %enable_inp_d, i32 3, i32 0, i32 3) 
# |            5: immarg value 3 for arg 6 out of range [1,3) 
# |            6:  call void @llvm.nvvm.tcgen05.mma.shared(ptr addrspace(6) %dtmem, i64 %ashared, i64 %b, i32 %idesc, i1 %enable_inp_d, i32 3, i32 3, i32 3) 
# |            .
# |            .
# |            .
# |           16:  call void @llvm.nvvm.tcgen05.mma.ws.shared(ptr addrspace(6) %dtmem, i64 %ashared, i64 %b, i32 %idesc, i1 %enable_inp_d, i32 5, i32 0, i32 0) 
# |           17: immarg value 5 for arg 6 out of range [0,4) 
# |           18:  call void @llvm.nvvm.tcgen05.mma.ws.shared(ptr addrspace(6) %dtmem, i64 %ashared, i64 %b, i32 %idesc, i1 %enable_inp_d, i32 0, i32 5, i32 0) 
# |           19: immarg value 5 for arg 7 out of range [0,4) 
# |           20:  call void @llvm.nvvm.tcgen05.mma.ws.shared(ptr addrspace(6) %dtmem, i64 %ashared, i64 %b, i32 %idesc, i1 %enable_inp_d, i32 0, i32 0, i32 5) 
# |           21: llc: error: '<stdin>': input module cannot be verified 
# | check:8'3                                                            } search range end (exclusive)
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1

--

```
</details>
<details>
<summary>LLVM.CodeGen/NVPTX/tcgen05-mma-scale-d-invalid.ll</summary>

```
Exit Code: 1

Command Output (stdout):
--
# RUN: at line 2
not c:\_work\llvm-project\llvm-project\build\bin\llc.exe < C:\_work\llvm-project\llvm-project\llvm\test\CodeGen\NVPTX\tcgen05-mma-scale-d-invalid.ll -mtriple=nvptx64 -mcpu=sm_100a -mattr=+ptx86 -o /dev/null 2>&1 | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\llvm\test\CodeGen\NVPTX\tcgen05-mma-scale-d-invalid.ll
# executed command: not 'c:\_work\llvm-project\llvm-project\build\bin\llc.exe' -mtriple=nvptx64 -mcpu=sm_100a -mattr=+ptx86 -o /dev/null
# note: command had no output on stdout or stderr
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe' 'C:\_work\llvm-project\llvm-project\llvm\test\CodeGen\NVPTX\tcgen05-mma-scale-d-invalid.ll'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\llvm\test\CodeGen\NVPTX\tcgen05-mma-scale-d-invalid.ll:6:11: error: CHECK: expected string not found in input
# |  ; CHECK: immarg value 16 out of range [0, 16)
# |           ^
# | <stdin>:1:1: note: scanning from here
# | immarg value 16 for arg 5 out of range [0,16)
# | ^
# | <stdin>:1:15: note: possible intended match here
# | immarg value 16 for arg 5 out of range [0,16)
# |               ^
# | 
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\llvm\test\CodeGen\NVPTX\tcgen05-mma-scale-d-invalid.ll
# | 
# | -dump-input=help explains the following input dump.
# | 
# | Input was:
# | <<<<<<
# |            1: immarg value 16 for arg 5 out of range [0,16) 
# | check:6'0    {                                                search range start (exclusive)
# | check:6'1                                                     error: no match found in search range
# | check:6'2                   ?                                 possible intended match
# |            2:  call void @llvm.nvvm.tcgen05.mma.shared.scale_d(ptr addrspace(6) %dtmem, i64 %ashared, i64 %b, i32 %idesc, i1 %enable_inp_d, i64 16, i32 0, i32 1, i32 0) 
# |            3: immarg value 3 for arg 6 out of range [0,2) 
# |            4:  call void @llvm.nvvm.tcgen05.mma.shared.scale_d(ptr addrspace(6) %dtmem, i64 %ashared, i64 %b, i32 %idesc, i1 %enable_inp_d, i64 0, i32 3, i32 1, i32 0) 
# |            5: immarg value 0 for arg 7 out of range [1,3) 
# |            6:  call void @llvm.nvvm.tcgen05.mma.shared.scale_d(ptr addrspace(6) %dtmem, i64 %ashared, i64 %b, i32 %idesc, i1 %enable_inp_d, i64 0, i32 0, i32 0, i32 0) 
# |            7: immarg value 5 for arg 8 out of range [0,4) 
# |            8:  call void @llvm.nvvm.tcgen05.mma.shared.scale_d(ptr addrspace(6) %dtmem, i64 %ashared, i64 %b, i32 %idesc, i1 %enable_inp_d, i64 0, i32 0, i32 1, i32 5) 
# |            9: immarg value 16 for arg 5 out of range [0,16) 
# |           10:  call void @llvm.nvvm.tcgen05.mma.tensor.scale_d.disable_output_lane.cg1(ptr addrspace(6) %dtmem, ptr addrspace(6) %atensor, i64 %b, i32 %idesc, i1 %enable_inp_d, i64 16, <4 x i32> %disable_output_lanev4, i32 0, i32 0) 
# |           11: immarg value 3 for arg 7 out of range [0,2) 
# |           12:  call void @llvm.nvvm.tcgen05.mma.tensor.scale_d.disable_output_lane.cg1(ptr addrspace(6) %dtmem, ptr addrspace(6) %atensor, i64 %b, i32 %idesc, i1 %enable_inp_d, i64 0, <4 x i32> %disable_output_lanev4, i32 3, i32 0) 
# |           13: immarg value 5 for arg 8 out of range [0,4) 
# |           14:  call void @llvm.nvvm.tcgen05.mma.tensor.scale_d.disable_output_lane.cg1(ptr addrspace(6) %dtmem, ptr addrspace(6) %atensor, i64 %b, i32 %idesc, i1 %enable_inp_d, i64 0, <4 x i32> %disable_output_lanev4, i32 0, i32 5) 
# |           15: llc: error: '<stdin>': input module cannot be verified 
# | check:6'3                                                            } search range end (exclusive)
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1

--

```
</details>

If these failures are unrelated to your changes (for example tests are broken or flaky at HEAD), please open an issue at https://github.com/llvm/llvm-project/issues and add the `infrastructure` label.

https://github.com/llvm/llvm-project/pull/207300


More information about the Mlir-commits mailing list