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
8define 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
13entry:
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
30declare void @llvm.prefetch(i8* nocapture readonly, i32, i32, i32)
31
32attributes #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 }
35