[Mlir-commits] [mlir] [mlir][SPIR-V] Add ArithToSPIRV patterns for ceildivui/ceildivsi/floordivsi (PR #212926)

[llvmlistbot at llvm.org]

github-actions[bot] wrote:

<!--PREMERGE ADVISOR COMMENT: Linux-->
# :penguin: Linux x64 Test Results

* 8637 tests passed
* 635 tests skipped
* 1 test failed

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

### MLIR
<details>
<summary>MLIR.Conversion/ConvertToSPIRV/arith.mlir</summary>

```
Exit Code: 1

Command Output (stdout):
--
# RUN: at line 1
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/mlir-opt -test-convert-to-spirv="run-signature-conversion=false run-vector-unrolling=false" -split-input-file /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/test/Conversion/ConvertToSPIRV/arith.mlir | /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/FileCheck /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/test/Conversion/ConvertToSPIRV/arith.mlir
# executed command: /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/mlir-opt '-test-convert-to-spirv=run-signature-conversion=false run-vector-unrolling=false' -split-input-file /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/test/Conversion/ConvertToSPIRV/arith.mlir
# note: command had no output on stdout or stderr
# executed command: /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/FileCheck /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/test/Conversion/ConvertToSPIRV/arith.mlir
# .---command stderr------------
# | /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/test/Conversion/ConvertToSPIRV/arith.mlir:41:12: error: CHECK: expected string not found in input
# |  // CHECK: %[[MINUSONE:.+]] = spirv.ISub %[[LHS]], %{{.+}} : i32
# |            ^
# | <stdin>:26:42: note: scanning from here
# |  %3 = spirv.IEqual %arg0, %cst0_i32 : i32
# |                                          ^
# | <stdin>:26:42: note: with "LHS" equal to "arg0"
# |  %3 = spirv.IEqual %arg0, %cst0_i32 : i32
# |                                          ^
# | <stdin>:26:42: note: pattern attempts to capture variables: "MINUSONE"
# |  %3 = spirv.IEqual %arg0, %cst0_i32 : i32
# |                                          ^
# | <stdin>:27:2: note: possible intended match here
# |  %4 = spirv.Select %3, %cst0_i32, %2 : i1, i32
# |  ^
# | 
# | Input file: <stdin>
# | Check file: /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/test/Conversion/ConvertToSPIRV/arith.mlir
# | 
# | -dump-input=help explains the following input dump.
# | 
# | Input was:
# | <<<<<<
# |             .
# |             .
# |             .
# |            21:  %cst0_i32 = spirv.Constant 0 : i32 
# |            22:  %cst1_i32 = spirv.Constant 1 : i32 
# |            23:  %0 = spirv.ISub %arg0, %cst1_i32 : i32 
# |            24:  %1 = spirv.UDiv %0, %arg1 : i32 
# |            25:  %2 = spirv.IAdd %1, %cst1_i32 : i32 
# |            26:  %3 = spirv.IEqual %arg0, %cst0_i32 : i32 
# | check:41'0                                             {   search range start (exclusive)
# | check:41'1                                                 error: no match found in search range
# | check:41'2                                                 with "LHS" equal to "arg0"
# | check:41'3                                                 pattern attempts to capture variables: "MINUSONE"
# |            27:  %4 = spirv.Select %3, %cst0_i32, %2 : i1, i32 
# | check:41'4      ?                                               possible intended match
# |            28:  spirv.ReturnValue %4 : i32 
# |            29:  } 
# |            30:  spirv.func @scalar_ceildivsi(%arg0: i32, %arg1: i32) -> i32 "None" { 
# | check:41'5                                  }                                          search range end (exclusive)
# |            31:  %cst0_i32 = spirv.Constant 0 : i32 
# |            32:  %cst1_i32 = spirv.Constant 1 : i32 
# |            33:  %0 = spirv.SDiv %arg0, %arg1 : i32 
# |            34:  %1 = spirv.IMul %0, %arg1 : i32 
# |            35:  %2 = spirv.INotEqual %arg0, %1 : i32 
# |             .
# |             .
# |             .
# | >>>>>>
# `-----------------------------
# 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/212926