1; RUN: llc -march=hexagon < %s | FileCheck %s
2; Check for the immediate offset.  It must be a multiple of 8.
3; CHECK: dcfetch({{.*}}+{{ *}}#8)
4; In 6.2 (which supports v4+ only), we generate indexed dcfetch in all cases
5; (unlike in 6.1, which supported v2, where dcfetch did not allow an immediate
6; offset).
7; For expression %2, where the offset is +9, the offset on dcfetch should be
8; a multiple of 8, and the offset of 0 is most likely (although not the only
9; possible one).  Check for #0 anyways, if the test fails with a false
10; positive, the second check can be eliminated, or rewritten, and in the
11; meantime it can help catch real problems.
12; CHECK: dcfetch({{.*}}+{{ *}}#0)
13target datalayout = "e-p:32:32:32-i64:64:64-i32:32:32-i16:16:16-i1:32:32-f64:64:64-f32:32:32-v64:64:64-v32:32:32-a0:0-n16:32"
14target triple = "hexagon"
15
16define void @foo(i8* %addr) nounwind {
17entry:
18  %addr.addr = alloca i8*, align 4
19  store i8* %addr, i8** %addr.addr, align 4
20  %0 = load i8*, i8** %addr.addr, align 4
21  %1 = getelementptr i8, i8* %0, i32 8
22  call void @llvm.prefetch(i8* %1, i32 0, i32 3, i32 1)
23  %2 = getelementptr i8, i8* %0, i32 9
24  call void @llvm.prefetch(i8* %2, i32 0, i32 3, i32 1)
25  ret void
26}
27
28declare void @llvm.prefetch(i8* nocapture, i32, i32, i32) nounwind
29