llvmorg-github-actions[bot] wrote:
<!--LLVM PR SUMMARY COMMENT--> @llvm/pr-subscribers-clang Author: 吴腾 (tengwu) <details> <summary>Changes</summary> GCC supports tying an aggregate register output to a pointer input in cases such as an array operand after array-to-pointer decay. Clang currently accepts this, but codegen crashes when lowering the mismatched tied operands. Add a Sema check for pointer inputs tied to larger aggregate register outputs when the aggregate can be scalarized to an integer register value. This turns the crash into an unsupported inline asm diagnostic. Fixes #<!-- -->204775 --- Full diff: https://github.com/llvm/llvm-project/pull/206230.diff 2 Files Affected: - (modified) clang/lib/Sema/SemaStmtAsm.cpp (+12) - (modified) clang/test/Sema/asm.c (+3) ``````````diff diff --git a/clang/lib/Sema/SemaStmtAsm.cpp b/clang/lib/Sema/SemaStmtAsm.cpp index 96d372c89d2b1..8b53697bd01f7 100644 --- a/clang/lib/Sema/SemaStmtAsm.cpp +++ b/clang/lib/Sema/SemaStmtAsm.cpp @@ -743,6 +743,18 @@ StmtResult Sema::ActOnGCCAsmStmt(SourceLocation AsmLoc, bool IsSimple, return NS; } + // FIXME: GCC supports this, but codegen currently crashes when lowering + // a pointer input tied to a larger aggregate register output. + if (OutputDomain == AD_Other && InTy->isPointerType() && + OutSize > InSize && + !Context.getIntTypeForBitwidth(OutSize, /*Signed*/ false).isNull()) { + targetDiag(InputExpr->getBeginLoc(), + diag::err_asm_tying_incompatible_types) + << InTy << OutTy << OutputExpr->getSourceRange() + << InputExpr->getSourceRange(); + return NS; + } + continue; } diff --git a/clang/test/Sema/asm.c b/clang/test/Sema/asm.c index a666b45b3150c..6d638be77dc9d 100644 --- a/clang/test/Sema/asm.c +++ b/clang/test/Sema/asm.c @@ -352,6 +352,7 @@ void test19(long long x) st_size16 c; st_size32 d; st_size128 e; + char f[16]; asm ("" : "=rm" (a): "0" (1)); // no-error asm ("" : "=rm" (d): "0" (1)); // no-error asm ("" : "=rm" (c): "0" (x)); // no-error @@ -364,6 +365,8 @@ void test19(long long x) asm ("" : "=rm" (e): "0" (1)); // no-error // FIXME: This case should be supported by codegen, but it fails now. asm ("" : "=rm" (x): "0" (e)); // expected-error {{unsupported inline asm: input with type 'st_size128' (aka 'struct _st_size128') matching output with type 'long long'}} + // FIXME: This case should be supported by codegen, but it fails now. + asm ("" : "=r" (f): "0" (f)); // expected-error {{unsupported inline asm: input with type 'char *' matching output with type 'char[16]'}} } typedef int int2 __attribute__((ext_vector_type(2))); `````````` </details> https://github.com/llvm/llvm-project/pull/206230 _______________________________________________ cfe-commits mailing list [email protected] https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
