test/Transforms/InstCombine/prefetch-load.ll

   1 ; RUN: opt < %s -instcombine -S | FileCheck %s
   2
   3 %struct.C = type { %struct.C*, i32 }
   4
   5 ; Check that we instcombine the load across the prefetch.
   6
   7 ; CHECK-LABEL: define signext i32 @foo
   8 define signext i32 @foo(%struct.C* %c) local_unnamed_addr #0 {
   9 ; CHECK: store i32 %dec, i32* %length_
  10 ; CHECK-NOT: load
  11 ; CHECK: llvm.prefetch
  12 ; CHECK-NEXT: ret
  13 entry:
  14   %next_ = getelementptr inbounds %struct.C, %struct.C* %c, i32 0, i32 0
  15   %0 = load %struct.C*, %struct.C** %next_, align 8
  16   %next_1 = getelementptr inbounds %struct.C, %struct.C* %0, i32 0, i32 0
  17   %1 = load %struct.C*, %struct.C** %next_1, align 8
  18   store %struct.C* %1, %struct.C** %next_, align 8
  19   %length_ = getelementptr inbounds %struct.C, %struct.C* %c, i32 0, i32 1
  20   %2 = load i32, i32* %length_, align 8
  21   %dec = add nsw i32 %2, -1
  22   store i32 %dec, i32* %length_, align 8
  23   %3 = bitcast %struct.C* %1 to i8*
  24   call void @llvm.prefetch(i8* %3, i32 0, i32 0, i32 1)
  25   %4 = load i32, i32* %length_, align 8
  26   ret i32 %4
  27 }
  28
  29 ; Function Attrs: inaccessiblemem_or_argmemonly nounwind
  30 declare void @llvm.prefetch(i8* nocapture readonly, i32, i32, i32)
  31
  32 attributes #0 = { noinline nounwind }
  33 ; We've explicitly removed the function attrs from llvm.prefetch so we get the defaults.
  34 ; attributes #1 = { inaccessiblemem_or_argmemonly nounwind }