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