blob: 19ad5a4ef7971e0eb2ca2fda552914e64d57000d [file] [log] [blame]
Krzysztof Parzyszek046090d2018-03-12 14:01:28 +00001; RUN: llc -march=hexagon < %s | FileCheck %s
2;
3; Check if we generate rounding-asr instruction. It is equivalent to
4; Rd = ((Rs >> #u) +1) >> 1.
5target triple = "hexagon"
6
7; Function Attrs: nounwind
8define i32 @f0(i32 %a0) #0 {
9b0:
10; CHECK: asr{{.*}}:rnd
11 %v0 = alloca i32, align 4
12 store i32 %a0, i32* %v0, align 4
13 %v1 = load i32, i32* %v0, align 4
14 %v2 = ashr i32 %v1, 10
15 %v3 = add nsw i32 %v2, 1
16 %v4 = ashr i32 %v3, 1
17 ret i32 %v4
18}
19
20; Function Attrs: nounwind
21define i64 @f1(i64 %a0) #0 {
22b0:
23; CHECK: asr{{.*}}:rnd
24 %v0 = alloca i64, align 8
25 store i64 %a0, i64* %v0, align 8
26 %v1 = load i64, i64* %v0, align 8
27 %v2 = ashr i64 %v1, 17
28 %v3 = add nsw i64 %v2, 1
29 %v4 = ashr i64 %v3, 1
30 ret i64 %v4
31}
32
33attributes #0 = { nounwind }