[all-commits] [llvm/llvm-project] 8e7802: [X86] ABI compat bugfix for MSVC vectorcall
Reid Kleckner via All-commits
all-commits at lists.llvm.org
Tue Jan 14 17:53:12 PST 2020
Branch: refs/heads/master
Home: https://github.com/llvm/llvm-project
Commit: 8e780252a7284be45cf1ba224cabd884847e8e92
https://github.com/llvm/llvm-project/commit/8e780252a7284be45cf1ba224cabd884847e8e92
Author: Reid Kleckner <rnk at google.com>
Date: 2020-01-14 (Tue, 14 Jan 2020)
Changed paths:
M clang/include/clang/CodeGen/CGFunctionInfo.h
M clang/lib/CodeGen/TargetInfo.cpp
M clang/test/CodeGen/vectorcall.c
Log Message:
-----------
[X86] ABI compat bugfix for MSVC vectorcall
Summary:
Before this change, X86_32ABIInfo::classifyArgument would be called
twice on vector arguments to vectorcall functions. This function has
side effects to track GPR register usage, and this would lead to
incorrect GPR usage in some cases. The specific case I noticed is from
running out of XMM registers with mixed FP and vector arguments and no
aggregates of any kind. Consider this prototype:
void __vectorcall vectorcall_indirect_vec(
double xmm0, double xmm1, double xmm2, double xmm3, double xmm4,
__m128 xmm5,
__m128 ecx,
int edx,
__m128 mem);
classifyArgument has no effects when called on a plain FP type, but when
called on a vector type, it modifies FreeRegs to model GPR consumption.
However, this should not happen during the vector call first pass.
I refactored the code to unify vectorcall HVA logic with regcall HVA
logic. The conventions pass HVAs in registers differently (expanded vs.
not expanded), but if they do not fit in registers, they both pass them
indirectly by address.
Reviewers: erichkeane, craig.topper
Subscribers: cfe-commits
Tags: #clang
Differential Revision: https://reviews.llvm.org/D72110
More information about the All-commits
mailing list