32 lines
1.0 KiB
LLVM
32 lines
1.0 KiB
LLVM
; RUN: opt < %s -passes=instcombine -S | FileCheck %s
|
|
|
|
%struct.C = type { ptr, i32 }
|
|
|
|
; Check that we instcombine the load across the prefetch.
|
|
|
|
; CHECK-LABEL: define signext i32 @foo
|
|
define signext i32 @foo(ptr %c) local_unnamed_addr #0 {
|
|
; CHECK: store i32 %dec, ptr %length_
|
|
; CHECK-NOT: load
|
|
; CHECK: llvm.prefetch
|
|
; CHECK-NEXT: ret
|
|
entry:
|
|
%0 = load ptr, ptr %c, align 8
|
|
%1 = load ptr, ptr %0, align 8
|
|
store ptr %1, ptr %c, align 8
|
|
%length_ = getelementptr inbounds %struct.C, ptr %c, i32 0, i32 1
|
|
%2 = load i32, ptr %length_, align 8
|
|
%dec = add nsw i32 %2, -1
|
|
store i32 %dec, ptr %length_, align 8
|
|
call void @llvm.prefetch(ptr %1, i32 0, i32 0, i32 1)
|
|
%3 = load i32, ptr %length_, align 8
|
|
ret i32 %3
|
|
}
|
|
|
|
; Function Attrs: inaccessiblemem_or_argmemonly nounwind
|
|
declare void @llvm.prefetch(ptr 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 }
|