[clang] [CIR][X86] Implement lowering for AVX512 ktest builtins (PR #169985)

Wed Dec 3 13:16:24 PST 2025

github-actions[bot] wrote:

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

* 3053 tests passed
* 7 tests skipped

All tests passed but another part of the build **failed**. Click on a failure below to see the details.

<details>
<summary>tools/clang/lib/CIR/CodeGen/CMakeFiles/obj.clangCIR.dir/CIRGenBuiltinX86.cpp.o</summary>

```
FAILED: tools/clang/lib/CIR/CodeGen/CMakeFiles/obj.clangCIR.dir/CIRGenBuiltinX86.cpp.o
sccache /opt/llvm/bin/clang++ -DCLANG_EXPORTS -DGTEST_HAS_RTTI=0 -D_DEBUG -D_GLIBCXX_ASSERTIONS -D_GLIBCXX_USE_CXX11_ABI=1 -D_GNU_SOURCE -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/home/gha/actions-runner/_work/llvm-project/llvm-project/build/tools/clang/lib/CIR/CodeGen -I/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/CIR/CodeGen -I/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/include -I/home/gha/actions-runner/_work/llvm-project/llvm-project/build/tools/clang/include -I/home/gha/actions-runner/_work/llvm-project/llvm-project/build/include -I/home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include -I/home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/../mlir/include -I/home/gha/actions-runner/_work/llvm-project/llvm-project/build/tools/mlir/include -gmlt -fPIC -fno-semantic-interposition -fvisibility-inlines-hidden -Werror -Werror=date-time -Werror=unguarded-availability-new -Wall -Wextra -Wno-unused-parameter -Wwrite-strings -Wcast-qual -Wmissing-field-initializers -pedantic -Wno-long-long -Wc++98-compat-extra-semi -Wimplicit-fallthrough -Wcovered-switch-default -Wno-noexcept-type -Wnon-virtual-dtor -Wdelete-non-virtual-dtor -Wsuggest-override -Wstring-conversion -Wno-pass-failed -Wmisleading-indentation -Wctad-maybe-unsupported -fdiagnostics-color -ffunction-sections -fdata-sections -fno-common -Woverloaded-virtual -Wno-nested-anon-types -O3 -DNDEBUG -std=c++17  -fno-exceptions -funwind-tables -fno-rtti -UNDEBUG -MD -MT tools/clang/lib/CIR/CodeGen/CMakeFiles/obj.clangCIR.dir/CIRGenBuiltinX86.cpp.o -MF tools/clang/lib/CIR/CodeGen/CMakeFiles/obj.clangCIR.dir/CIRGenBuiltinX86.cpp.o.d -o tools/clang/lib/CIR/CodeGen/CMakeFiles/obj.clangCIR.dir/CIRGenBuiltinX86.cpp.o -c /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/CIR/CodeGen/CIRGenBuiltinX86.cpp
In file included from /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/CIR/CodeGen/CIRGenBuiltinX86.cpp:14:
In file included from /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/CIR/CodeGen/CIRGenBuilder.h:12:
In file included from /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/CIR/CodeGen/Address.h:17:
/home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/../mlir/include/mlir/IR/Value.h:616:14: error: no matching function for call to 'classof'
616 |       return To::classof(ty);
|              ^~~~~~~~~~~
/home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/Support/Casting.h:548:37: note: in instantiation of member function 'llvm::CastInfo<cir::ConstantOp, const mlir::Value>::isPossible' requested here
548 |   return (CastInfo<To, const From>::isPossible(Val) || ...);
|                                     ^
/home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/Support/Casting.h:560:10: note: in instantiation of function template specialization 'llvm::isa<cir::ConstantOp, mlir::Value>' requested here
560 |   assert(isa<To>(Val) && "cast<Ty>() argument of incompatible type!");
|          ^
/usr/include/assert.h:103:27: note: expanded from macro 'assert'
103 |      (static_cast <bool> (expr)                                         \
|                           ^
/home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/../mlir/include/mlir/IR/OpDefinition.h:1697:15: note: candidate function not viable: no known conversion from 'mlir::Value' to 'Operation *' for 1st argument
1697 |   static bool classof(Operation *op) {
|               ^       ~~~~~~~~~~~~~
/home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/../mlir/include/mlir/IR/OpDefinition.h:1712:3: note: candidate template ignored: could not match 'const T *' against 'mlir::Value'
1712 |   classof(const T *op) {
|   ^
In file included from /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/CIR/CodeGen/CIRGenBuiltinX86.cpp:14:
In file included from /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/CIR/CodeGen/CIRGenBuilder.h:12:
In file included from /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/lib/CIR/CodeGen/Address.h:17:
/home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/../mlir/include/mlir/IR/Value.h:619:55: error: no matching conversion for functional-style cast from 'detail::ValueImpl *' to 'cir::ConstantOp'
619 |   static inline To doCast(mlir::Value value) { return To(value.getImpl()); }
|                                                       ^~~~~~~~~~~~~~~~~~~
/home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/Support/Casting.h:561:36: note: in instantiation of member function 'llvm::CastInfo<cir::ConstantOp, const mlir::Value>::doCast' requested here
561 |   return CastInfo<To, const From>::doCast(Val);
|                                    ^
/home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/../mlir/include/mlir/IR/OpDefinition.h:1722:3: note: candidate inherited constructor not viable: no known conversion from 'detail::ValueImpl *' to 'std::nullptr_t' for 1st argument
1722 |   Op(std::nullptr_t) : OpState(nullptr) {}
|   ^  ~~~~~~~~~~~~~~
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/tools/clang/include/clang/CIR/Dialect/IR/CIROps.h.inc:13238:13: note: constructor from base class 'Op<cir::ConstantOp, mlir::OpTrait::ZeroRegions, mlir::OpTrait::OneResult, mlir::OpTrait::OneTypedResult<mlir::Type>::Impl, mlir::OpTrait::ZeroSuccessors, mlir::OpTrait::ZeroOperands, mlir::OpTrait::OpInvariants, mlir::BytecodeOpInterface::Trait, mlir::OpTrait::ConstantLike, mlir::ConditionallySpeculatable::Trait, mlir::OpTrait::AlwaysSpeculatableImplTrait, mlir::MemoryEffectOpInterface::Trait, mlir::InferTypeOpInterface::Trait>' inherited here
13238 |   using Op::Op;
|             ^
/home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/../mlir/include/mlir/IR/OpDefinition.h:1726:12: note: candidate inherited constructor not viable: no known conversion from 'detail::ValueImpl *' to 'Operation *' for 1st argument
1726 |   explicit Op(Operation *state) : OpState(state) {}
|            ^  ~~~~~~~~~~~~~~~~
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/tools/clang/include/clang/CIR/Dialect/IR/CIROps.h.inc:13238:13: note: constructor from base class 'Op<cir::ConstantOp, mlir::OpTrait::ZeroRegions, mlir::OpTrait::OneResult, mlir::OpTrait::OneTypedResult<mlir::Type>::Impl, mlir::OpTrait::ZeroSuccessors, mlir::OpTrait::ZeroOperands, mlir::OpTrait::OpInvariants, mlir::BytecodeOpInterface::Trait, mlir::OpTrait::ConstantLike, mlir::ConditionallySpeculatable::Trait, mlir::OpTrait::AlwaysSpeculatableImplTrait, mlir::MemoryEffectOpInterface::Trait, mlir::InferTypeOpInterface::Trait>' inherited here
13238 |   using Op::Op;
|             ^
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/tools/clang/include/clang/CIR/Dialect/IR/CIROps.h.inc:13236:7: note: candidate constructor (the implicit copy constructor) not viable: no known conversion from 'detail::ValueImpl *' to 'const ConstantOp' for 1st argument
13236 | class ConstantOp : public ::mlir::Op<ConstantOp, ::mlir::OpTrait::ZeroRegions, ::mlir::OpTrait::OneResult, ::mlir::OpTrait::OneTypedResult<::mlir::Type>::Impl, ::mlir::OpTrait::ZeroSuccessors, ::mlir::OpTrait::ZeroOperands, ::mlir::OpTrait::OpInvariants, ::mlir::BytecodeOpInterface::Trait, ::mlir::OpTrait::ConstantLike, ::mlir::ConditionallySpeculatable::Trait, ::mlir::OpTrait::AlwaysSpeculatableImplTrait, ::mlir::MemoryEffectOpInterface::Trait, ::mlir::InferTypeOpInterface::Trait> {
|       ^~~~~~~~~~
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/tools/clang/include/clang/CIR/Dialect/IR/CIROps.h.inc:13236:7: note: candidate constructor (the implicit move constructor) not viable: no known conversion from 'detail::ValueImpl *' to 'ConstantOp' for 1st argument
13236 | class ConstantOp : public ::mlir::Op<ConstantOp, ::mlir::OpTrait::ZeroRegions, ::mlir::OpTrait::OneResult, ::mlir::OpTrait::OneTypedResult<::mlir::Type>::Impl, ::mlir::OpTrait::ZeroSuccessors, ::mlir::OpTrait::ZeroOperands, ::mlir::OpTrait::OpInvariants, ::mlir::BytecodeOpInterface::Trait, ::mlir::OpTrait::ConstantLike, ::mlir::ConditionallySpeculatable::Trait, ::mlir::OpTrait::AlwaysSpeculatableImplTrait, ::mlir::MemoryEffectOpInterface::Trait, ::mlir::InferTypeOpInterface::Trait> {
|       ^~~~~~~~~~
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/tools/clang/include/clang/CIR/Dialect/IR/CIROps.h.inc:13236:7: note: candidate constructor (the implicit default constructor) not viable: requires 0 arguments, but 1 was provided
2 errors generated.
```
</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/169985