llvm-project/clang/test/CodeGen/ppc64-struct-onevect.c

// REQUIRES: ppc64-registered-target
// RUN: %clang_cc1 -O2 -triple powerpc64-unknown-linux-gnu -emit-llvm -o - %s | FileCheck %s

typedef float v4sf __attribute__ ((vector_size (16)));

struct s { v4sf v; };

v4sf foo (struct s a) {
  return a.v;
}

// CHECK-LABEL: define <4 x float> @foo(<4 x float> inreg %a.coerce)
// CHECK: ret <4 x float> %a.coerce
[PowerPC64] Fix passing of single-vector-member structs to match ABI. The 64-bit PowerPC ELF ABI requires a struct that contains a single vector member to be passed in a vector register as though the wrapping struct were not present. Instead we were passing this as a byval struct. The same logic was already present for floating-point arguments, so this patch just extends the logic to handle vector types. The new test case verifies that clang coerces the parameter and annotates it as inreg. Thanks, Bill llvm-svn: 186993 2013-07-23 22:15:57 +00:00			`// REQUIRES: ppc64-registered-target`
			`// RUN: %clang_cc1 -O2 -triple powerpc64-unknown-linux-gnu -emit-llvm -o - %s \| FileCheck %s`

			`typedef float v4sf __attribute__ ((vector_size (16)));`

			`struct s { v4sf v; };`

			`v4sf foo (struct s a) {`
			`return a.v;`
			`}`

CHECK-LABEL-ify some code gen tests to improve diagnostic experience when tests fail. llvm-svn: 188447 2013-08-15 06:47:53 +00:00			`// CHECK-LABEL: define <4 x float> @foo(<4 x float> inreg %a.coerce)`
[PowerPC64] Fix passing of single-vector-member structs to match ABI. The 64-bit PowerPC ELF ABI requires a struct that contains a single vector member to be passed in a vector register as though the wrapping struct were not present. Instead we were passing this as a byval struct. The same logic was already present for floating-point arguments, so this patch just extends the logic to handle vector types. The new test case verifies that clang coerces the parameter and annotates it as inreg. Thanks, Bill llvm-svn: 186993 2013-07-23 22:15:57 +00:00			`// CHECK: ret <4 x float> %a.coerce`