| Krzysztof Parzyszek | 6895b2c | 2016-02-18 13:58:38 +0000 | [diff] [blame] | 1 | ; RUN: llc -march=hexagon < %s | FileCheck %s |
| 2 | ; Check for the immediate offset. It must be a multiple of 8. |
| Krzysztof Parzyszek | c9f797f | 2018-03-06 19:07:21 +0000 | [diff] [blame] | 3 | ; CHECK: dcfetch({{.*}}+#8) |
| Krzysztof Parzyszek | 6895b2c | 2016-02-18 13:58:38 +0000 | [diff] [blame] | 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. |
| Krzysztof Parzyszek | c9f797f | 2018-03-06 19:07:21 +0000 | [diff] [blame] | 12 | ; CHECK: dcfetch({{.*}}+#0) |
| Krzysztof Parzyszek | 6895b2c | 2016-02-18 13:58:38 +0000 | [diff] [blame] | 13 | target 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" |
| 14 | target triple = "hexagon" |
| 15 | |
| 16 | define void @foo(i8* %addr) nounwind { |
| 17 | entry: |
| 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 | |
| 28 | declare void @llvm.prefetch(i8* nocapture, i32, i32, i32) nounwind |