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