diff options
| -rw-r--r-- | clang/lib/CodeGen/CGCall.cpp | 5 | ||||
| -rw-r--r-- | clang/test/CodeGen/s390x-packed-struct-func-arg.c | 23 |
2 files changed, 25 insertions, 3 deletions
diff --git a/clang/lib/CodeGen/CGCall.cpp b/clang/lib/CodeGen/CGCall.cpp index 4cf709be742..d41516b7eab 100644 --- a/clang/lib/CodeGen/CGCall.cpp +++ b/clang/lib/CodeGen/CGCall.cpp @@ -4005,9 +4005,8 @@ RValue CodeGenFunction::EmitCall(const CGFunctionInfo &CallInfo, auto LV = I->getKnownLValue(); auto AS = LV.getAddressSpace(); - if ((!ArgInfo.getIndirectByVal() && - (LV.getAlignment() >= - getContext().getTypeAlignInChars(I->Ty)))) { + if (!ArgInfo.getIndirectByVal() || + (LV.getAlignment() < getContext().getTypeAlignInChars(I->Ty))) { NeedCopy = true; } if (!getLangOpts().OpenCL) { diff --git a/clang/test/CodeGen/s390x-packed-struct-func-arg.c b/clang/test/CodeGen/s390x-packed-struct-func-arg.c new file mode 100644 index 00000000000..df68b031193 --- /dev/null +++ b/clang/test/CodeGen/s390x-packed-struct-func-arg.c @@ -0,0 +1,23 @@ +// RUN: %clang_cc1 -triple s390x-linux-gnu -target-cpu z13 -emit-llvm -o - %s \ +// RUN: | FileCheck %s + +struct S0 { + long f1; + int f2 : 4; +} d; + +#pragma pack(1) +struct S1 { + struct S0 S0_member; +}; + +void f(struct S0 arg) { + arg.f2 = 1; +} + +void g() { + struct S1 g; + // CHECK: alloca %struct.S0, align 8 + // CHECK: call void @llvm.memcpy.p0i8.p0i8.i64(i8* align 8 {{.*}}, i8* align 1 {{.*}}, i64 16 + f(g.S0_member); +} |
