llvm/test/Transforms/SROA/mem-par-metadata-sroa-cast.ll

   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
  15 define dso_local void @test() {
  16 entry:
  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 !{}