c8eb535aed
This patch-set aims to simplify the existing RVV segment load/store intrinsics to use a type that represents a tuple of vectors instead. To achieve this, first we need to relax the current limitation for an aggregate type to be a target of load/store/alloca when the aggregate type contains homogeneous scalable vector types. Then to adjust the prolog of an LLVM function during lowering to clang. Finally we re-define the RVV segment load/store intrinsics to use the tuple types. The pull request under the RVV intrinsic specification is riscv-non-isa/rvv-intrinsic-doc#198 --- This is the 1st patch of the patch-set. This patch is originated from D98169. This patch allows aggregate type (StructType) that contains homogeneous scalable vector types to be a target of load/store/alloca. The RFC of this patch was posted in LLVM Discourse. https://discourse.llvm.org/t/rfc-ir-permit-load-store-alloca-for-struct-of-the-same-scalable-vector-type/69527 The main changes in this patch are: Extend `StructLayout::StructSize` from `uint64_t` to `TypeSize` to accommodate an expression of scalable size. Allow `StructType:isSized` to also return true for homogeneous scalable vector types. Let `Type::isScalableTy` return true when `Type` is `StructType` and contains scalable vectors Extra description is added in the LLVM Language Reference Manual on the relaxation of this patch. Authored-by: Hsiangkai Wang <kai.wang@sifive.com> Co-Authored-by: eop Chen <eop.chen@sifive.com> Reviewed By: craig.topper, nikic Differential Revision: https://reviews.llvm.org/D146872
31 lines
1.3 KiB
LLVM
31 lines
1.3 KiB
LLVM
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 2
|
|
; RUN: opt -passes=verify -S < %s 2>&1 | FileCheck %s
|
|
|
|
%struct.test = type { <vscale x 1 x i32>, <vscale x 1 x i32> }
|
|
|
|
define <vscale x 1 x i32> @load(%struct.test* %x) {
|
|
; CHECK-LABEL: define <vscale x 1 x i32> @load
|
|
; CHECK-SAME: (ptr [[X:%.*]]) {
|
|
; CHECK-NEXT: [[A:%.*]] = load [[STRUCT_TEST:%.*]], ptr [[X]], align 4
|
|
; CHECK-NEXT: [[B:%.*]] = extractvalue [[STRUCT_TEST]] [[A]], 1
|
|
; CHECK-NEXT: ret <vscale x 1 x i32> [[B]]
|
|
;
|
|
%a = load %struct.test, %struct.test* %x
|
|
%b = extractvalue %struct.test %a, 1
|
|
ret <vscale x 1 x i32> %b
|
|
}
|
|
|
|
define void @store(%struct.test* %x, <vscale x 1 x i32> %y, <vscale x 1 x i32> %z) {
|
|
; CHECK-LABEL: define void @store
|
|
; CHECK-SAME: (ptr [[X:%.*]], <vscale x 1 x i32> [[Y:%.*]], <vscale x 1 x i32> [[Z:%.*]]) {
|
|
; CHECK-NEXT: [[A:%.*]] = insertvalue [[STRUCT_TEST:%.*]] undef, <vscale x 1 x i32> [[Y]], 0
|
|
; CHECK-NEXT: [[B:%.*]] = insertvalue [[STRUCT_TEST]] [[A]], <vscale x 1 x i32> [[Z]], 1
|
|
; CHECK-NEXT: store [[STRUCT_TEST]] [[B]], ptr [[X]], align 4
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
%a = insertvalue %struct.test undef, <vscale x 1 x i32> %y, 0
|
|
%b = insertvalue %struct.test %a, <vscale x 1 x i32> %z, 1
|
|
store %struct.test %b, %struct.test* %x
|
|
ret void
|
|
}
|