53 lines
1.7 KiB
LLVM
53 lines
1.7 KiB
LLVM
; RUN: opt -S -passes=sroa %s | FileCheck %s
|
|
; With fake use intrinsics generated for small aggregates, check that when
|
|
; SROA slices the aggregate, we generate individual fake use intrinsics for
|
|
; the individual values.
|
|
|
|
; Generated from the following source:
|
|
; struct s {
|
|
; int i;
|
|
; int j;
|
|
; };
|
|
;
|
|
; void foo(struct s S) {
|
|
; }
|
|
;
|
|
; void bar() {
|
|
; int arr[2] = {5, 6};
|
|
; }
|
|
;
|
|
%struct.s = type { i32, i32 }
|
|
@__const.bar.arr = private unnamed_addr constant [2 x i32] [i32 5, i32 6], align 4
|
|
|
|
; A small struct passed as parameter
|
|
; CHECK-LABEL: define{{.*}}foo
|
|
; CHECK: %[[SLICE1:[^ ]+]] = trunc i64
|
|
; CHECK: %[[SLICE2:[^ ]+]] = trunc i64
|
|
; CHECK-DAG: call{{.*}} @llvm.fake.use(i32 %[[SLICE1]])
|
|
; CHECK-DAG: call{{.*}} @llvm.fake.use(i32 %[[SLICE2]])
|
|
define dso_local void @foo(i64 %S.coerce) optdebug {
|
|
entry:
|
|
%S = alloca %struct.s, align 4
|
|
store i64 %S.coerce, ptr %S, align 4
|
|
%fake.use = load %struct.s, ptr %S, align 4
|
|
notail call void (...) @llvm.fake.use(%struct.s %fake.use)
|
|
ret void
|
|
}
|
|
|
|
; A local variable with a small array type.
|
|
; CHECK-LABEL: define{{.*}}bar
|
|
; CHECK: %[[ARRAYSLICE1:[^ ]+]] = load
|
|
; CHECK: %[[ARRAYSLICE2:[^ ]+]] = load
|
|
; CHECK-DAG: call{{.*}} @llvm.fake.use(i32 %[[ARRAYSLICE1]])
|
|
; CHECK-DAG: call{{.*}} @llvm.fake.use(i32 %[[ARRAYSLICE2]])
|
|
define dso_local void @bar() optdebug {
|
|
entry:
|
|
%arr = alloca [2 x i32], align 4
|
|
call void @llvm.memcpy.p0i8.p0i8.i64(ptr align 4 %arr, ptr align 4 bitcast (ptr @__const.bar.arr to ptr), i64 8, i1 false)
|
|
%fake.use = load [2 x i32], ptr %arr, align 4
|
|
notail call void (...) @llvm.fake.use([2 x i32] %fake.use)
|
|
ret void
|
|
}
|
|
|
|
declare void @llvm.memcpy.p0i8.p0i8.i64(ptr nocapture writeonly, ptr nocapture readonly, i64, i1 immarg)
|