blob: aa3a8bba065de98142d2297c34e266c3563f9a0d [file] [log] [blame]
Nikita Popovbe5af502021-07-16 20:26:40 +02001; RUN: opt -S < %s.bc | FileCheck %s
2
3%struct.s = type { i32, i32 }
4
5define void @test(%struct.s* %arg) {
6; CHECK-LABEL: define void @test
Nikita Popove45cf472022-12-13 11:58:06 +01007; CHECK: %x = call ptr @llvm.preserve.array.access.index.p0.p0(ptr elementtype(%struct.s) %arg, i32 0, i32 2)
8; CHECK: %1 = call ptr @llvm.preserve.struct.access.index.p0.p0(ptr elementtype(%struct.s) %x, i32 1, i32 1)
Nikita Popovbe5af502021-07-16 20:26:40 +02009 %x = call %struct.s* @llvm.preserve.array.access.index.p0s_struct.ss.p0s_struct.ss(%struct.s* %arg, i32 0, i32 2)
10 call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.ss(%struct.s* %x, i32 1, i32 1)
11 ret void
12}
13
14declare %struct.s* @llvm.preserve.array.access.index.p0s_struct.ss.p0s_struct.ss(%struct.s*, i32, i32)
15declare i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.ss(%struct.s*, i32, i32)