1; RUN: opt < %s -sroa -S | FileCheck %s
2;
3; Make sure the llvm.access.group meta-data is preserved
4; when a load/store is replaced with another load/store by sroa
5; Ensure this is done for casting too.
6;
7; CHECK: entry:
8; CHECK: load i32, i32* {{.*}}, !llvm.access.group [[DISTINCT:![0-9]*]]
9; CHECK: load i32, i32* {{.*}}, !llvm.access.group [[DISTINCT]]
10; CHECK: ret void
11; CHECK: [[DISTINCT]] = distinct !{}
12
13%CMPLX = type { float, float }
14
15define dso_local void @test() {
16entry:
17  %PART = alloca %CMPLX, align 8
18  %PREV = alloca %CMPLX, align 8
19  %r2 = getelementptr %CMPLX, %CMPLX* %PREV, i32 0, i32 0
20  store float 0.000000e+00, float* %r2, align 4
21  %i2 = getelementptr %CMPLX, %CMPLX* %PREV, i32 0, i32 1
22  store float 0.000000e+00, float* %i2, align 4
23  %dummy = sext i16 0 to i64
24  %T = getelementptr %CMPLX, %CMPLX* %PART, i64 %dummy
25  %X35 = bitcast %CMPLX* %T to i64*
26  %X36 = bitcast %CMPLX* %PREV to i64*
27  %X37 = load i64, i64* %X35, align 8, !llvm.access.group !0
28  store i64 %X37, i64* %X36, align 8
29  ret void
30}
31
32!0 = distinct !{}
33