Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / c6ae7b4763f6b12602f116cb15c5d19c628e2c21 / . / llvm / test / CodeGen / AArch64 / addsub.ll
blob: b85fdbb14ce27667a65bc754b52e8ecb78d4d465 [file] [log] [blame]
Tim Northover3b0846e2014-05-24 12:50:23 +0000[diff] [blame]1; RUN: llc -verify-machineinstrs < %s -mtriple=aarch64-linux-gnu | FileCheck %s
Tim Northovere0e3aef2013-01-31 12:12:40 +0000[diff] [blame]2
3; Note that this should be refactored (for efficiency if nothing else)
4; when the PCS is implemented so we don't have to worry about the
5; loads and stores.
6
7@var_i32 = global i32 42
8@var_i64 = global i64 0
9
10; Add pure 12-bit immediates:
11define void @add_small() {
Stephen Lind24ab202013-07-14 06:24:09 +0000[diff] [blame]12; CHECK-LABEL: add_small:
Tim Northovere0e3aef2013-01-31 12:12:40 +0000[diff] [blame]13
14; CHECK: add {{w[0-9]+}}, {{w[0-9]+}}, #4095
15 %val32 = load i32* @var_i32
16 %newval32 = add i32 %val32, 4095
17 store i32 %newval32, i32* @var_i32
18
19; CHECK: add {{x[0-9]+}}, {{x[0-9]+}}, #52
20 %val64 = load i64* @var_i64
21 %newval64 = add i64 %val64, 52
22 store i64 %newval64, i64* @var_i64
23
24 ret void
25}
26
27; Add 12-bit immediates, shifted left by 12 bits
28define void @add_med() {
Stephen Lind24ab202013-07-14 06:24:09 +0000[diff] [blame]29; CHECK-LABEL: add_med:
Tim Northovere0e3aef2013-01-31 12:12:40 +0000[diff] [blame]30
Tim Northoverd1719a82014-04-14 12:50:41 +0000[diff] [blame]31; CHECK: add {{w[0-9]+}}, {{w[0-9]+}}, {{#3567, lsl #12|#14610432}}
Tim Northovere0e3aef2013-01-31 12:12:40 +0000[diff] [blame]32 %val32 = load i32* @var_i32
33 %newval32 = add i32 %val32, 14610432 ; =0xdef000
34 store i32 %newval32, i32* @var_i32
35
Tim Northoverd1719a82014-04-14 12:50:41 +0000[diff] [blame]36; CHECK: add {{x[0-9]+}}, {{x[0-9]+}}, {{#4095, lsl #12|#16773120}}
Tim Northovere0e3aef2013-01-31 12:12:40 +0000[diff] [blame]37 %val64 = load i64* @var_i64
38 %newval64 = add i64 %val64, 16773120 ; =0xfff000
39 store i64 %newval64, i64* @var_i64
40
41 ret void
42}
43
44; Subtract 12-bit immediates
45define void @sub_small() {
Stephen Lind24ab202013-07-14 06:24:09 +0000[diff] [blame]46; CHECK-LABEL: sub_small:
Tim Northovere0e3aef2013-01-31 12:12:40 +0000[diff] [blame]47
48; CHECK: sub {{w[0-9]+}}, {{w[0-9]+}}, #4095
49 %val32 = load i32* @var_i32
50 %newval32 = sub i32 %val32, 4095
51 store i32 %newval32, i32* @var_i32
52
53; CHECK: sub {{x[0-9]+}}, {{x[0-9]+}}, #52
54 %val64 = load i64* @var_i64
55 %newval64 = sub i64 %val64, 52
56 store i64 %newval64, i64* @var_i64
57
58 ret void
59}
60
61; Subtract 12-bit immediates, shifted left by 12 bits
62define void @sub_med() {
Stephen Lind24ab202013-07-14 06:24:09 +0000[diff] [blame]63; CHECK-LABEL: sub_med:
Tim Northovere0e3aef2013-01-31 12:12:40 +0000[diff] [blame]64
Tim Northoverd1719a82014-04-14 12:50:41 +0000[diff] [blame]65; CHECK: sub {{w[0-9]+}}, {{w[0-9]+}}, {{#3567, lsl #12|#14610432}}
Tim Northovere0e3aef2013-01-31 12:12:40 +0000[diff] [blame]66 %val32 = load i32* @var_i32
67 %newval32 = sub i32 %val32, 14610432 ; =0xdef000
68 store i32 %newval32, i32* @var_i32
69
Tim Northoverd1719a82014-04-14 12:50:41 +0000[diff] [blame]70; CHECK: sub {{x[0-9]+}}, {{x[0-9]+}}, {{#4095, lsl #12|#16773120}}
Tim Northovere0e3aef2013-01-31 12:12:40 +0000[diff] [blame]71 %val64 = load i64* @var_i64
72 %newval64 = sub i64 %val64, 16773120 ; =0xfff000
73 store i64 %newval64, i64* @var_i64
74
75 ret void
76}
77
78define void @testing() {
Stephen Linf799e3f2013-07-13 20:38:47 +0000[diff] [blame]79; CHECK-LABEL: testing:
Tim Northovere0e3aef2013-01-31 12:12:40 +0000[diff] [blame]80 %val = load i32* @var_i32
81
82; CHECK: cmp {{w[0-9]+}}, #4095
Tim Northoverd1719a82014-04-14 12:50:41 +0000[diff] [blame]83; CHECK: b.ne [[RET:.?LBB[0-9]+_[0-9]+]]
Tim Northovere0e3aef2013-01-31 12:12:40 +0000[diff] [blame]84 %cmp_pos_small = icmp ne i32 %val, 4095
85 br i1 %cmp_pos_small, label %ret, label %test2
86
87test2:
Tim Northoverd1719a82014-04-14 12:50:41 +0000[diff] [blame]88; CHECK: cmp {{w[0-9]+}}, {{#3567, lsl #12|#14610432}}
Tim Northover20ad3592014-04-30 13:14:03 +0000[diff] [blame]89; CHECK: b.lo [[RET]]
Tim Northovere0e3aef2013-01-31 12:12:40 +0000[diff] [blame]90 %newval2 = add i32 %val, 1
91 store i32 %newval2, i32* @var_i32
92 %cmp_pos_big = icmp ult i32 %val, 14610432
93 br i1 %cmp_pos_big, label %ret, label %test3
94
95test3:
96; CHECK: cmp {{w[0-9]+}}, #123
Tim Northoverd1719a82014-04-14 12:50:41 +0000[diff] [blame]97; CHECK: b.lt [[RET]]
Tim Northovere0e3aef2013-01-31 12:12:40 +0000[diff] [blame]98 %newval3 = add i32 %val, 2
99 store i32 %newval3, i32* @var_i32
100 %cmp_pos_slt = icmp slt i32 %val, 123
101 br i1 %cmp_pos_slt, label %ret, label %test4
102
103test4:
104; CHECK: cmp {{w[0-9]+}}, #321
Tim Northoverd1719a82014-04-14 12:50:41 +0000[diff] [blame]105; CHECK: b.gt [[RET]]
Tim Northovere0e3aef2013-01-31 12:12:40 +0000[diff] [blame]106 %newval4 = add i32 %val, 3
107 store i32 %newval4, i32* @var_i32
108 %cmp_pos_sgt = icmp sgt i32 %val, 321
109 br i1 %cmp_pos_sgt, label %ret, label %test5
110
111test5:
112; CHECK: cmn {{w[0-9]+}}, #444
Tim Northoverd1719a82014-04-14 12:50:41 +0000[diff] [blame]113; CHECK: b.gt [[RET]]
Tim Northovere0e3aef2013-01-31 12:12:40 +0000[diff] [blame]114 %newval5 = add i32 %val, 4
115 store i32 %newval5, i32* @var_i32
116 %cmp_neg_uge = icmp sgt i32 %val, -444
117 br i1 %cmp_neg_uge, label %ret, label %test6
118
119test6:
120 %newval6 = add i32 %val, 5
121 store i32 %newval6, i32* @var_i32
122 ret void
123
124ret:
125 ret void
126}
127; TODO: adds/subs