You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
With the recent strengthening of the handling of extensions of narrow integer arguments (commit 1412022), it is now possible to detect cases of missing argument extensions, although there are still some issues that keeps this disabled by default. Many tests under Interpreter/ fails, for example:
cat ~/llvm-project/clang/test/Interpreter/assigment-with-implicit-ctor.cpp | ~/llvm-project/build/bin/clang-repl
good
SystemZISelLowering.cpp:9861: void llvm::SystemZTargetLowering::verifyNarrowIntegerArgs(const llvm::SmallVectorImpl<llvm::ISD::OutputArg>&, bool) const: Assertion `(VT != MVT::i32 || (Flags.isSExt() || Flags.isZExt() || Flags.isNoExt())) && "Narrow integer argument must have a valid extension type."' failed.
What this means is that there is a narrow (<=32 bit) integer argument that is neither sign or zero extended, and is also not marked as noext, which should be done for "struct-in-reg". So this may or may not be a "bug" (missing sign/zero extension), or it could be an argument that should be marked as noext. See https://llvm.org/docs/LangRef.html#parameter-attributes.
Unfortunately I have not found a way to pass the CodeGen CL option via clang-repl to be able to reproduce this. I tried e.g.
cat ~/llvm-project/clang/test/Interpreter/assigment-with-implicit-ctor.cpp | ~/llvm-project/install/bin/clang-repl -Xcc -mllvm -Xcc -argext-abi-check
, but without any luck. So unless it is actually possible to pass that option through to the backend, it is needed to do this instead:
diff --git a/llvm/lib/Target/SystemZ/SystemZISelLowering.cpp b/llvm/lib/Target/SystemZ/SystemZISelLowering.cpp
index 3dabc5e..5119f66 100644
--- a/llvm/lib/Target/SystemZ/SystemZISelLowering.cpp
+++ b/llvm/lib/Target/SystemZ/SystemZISelLowering.cpp
@@ -9843,8 +9843,8 @@ verifyNarrowIntegerArgs(const SmallVectorImpl<ISD::OutputArg> &Outs,
// Temporarily only do the check when explicitly requested, until it can be
// enabled by default.
- if (!EnableIntArgExtCheck)
- return;
+ // if (!EnableIntArgExtCheck)
+ // return;
if (EnableIntArgExtCheck.getNumOccurrences()) {
if (!EnableIntArgExtCheck)
With the recent strengthening of the handling of extensions of narrow integer arguments (commit 1412022), it is now possible to detect cases of missing argument extensions, although there are still some issues that keeps this disabled by default. Many tests under Interpreter/ fails, for example:
What this means is that there is a narrow (<=32 bit) integer argument that is neither sign or zero extended, and is also not marked as noext, which should be done for "struct-in-reg". So this may or may not be a "bug" (missing sign/zero extension), or it could be an argument that should be marked as noext. See https://llvm.org/docs/LangRef.html#parameter-attributes.
Unfortunately I have not found a way to pass the CodeGen CL option via clang-repl to be able to reproduce this. I tried e.g.
cat ~/llvm-project/clang/test/Interpreter/assigment-with-implicit-ctor.cpp | ~/llvm-project/install/bin/clang-repl -Xcc -mllvm -Xcc -argext-abi-check
, but without any luck. So unless it is actually possible to pass that option through to the backend, it is needed to do this instead:
This comments out the disabling of this check.
CCing some folks with the hope of help with this, thanks: @vgvassilev @hahnjo @vitalybuka @nico @weliveindetail @nikic
The text was updated successfully, but these errors were encountered: