blob: 31b57b61da0e679a5b2500651eb75fbc9b546025 [file] [log] [blame]
Dan Gohmanc8054d92009-09-09 00:09:15 +00001; RUN: llc < %s -march=thumb -mattr=+thumb2 | FileCheck %s
Anton Korobeynikov02bb33c2009-06-17 18:13:58 +00002
3; Test #<const>
4
5; var 2.1 - 0x00ab00ab
6define i32 @t2_const_var2_1_ok_1(i32 %lhs) {
Bob Wilson9054d252009-08-24 21:17:17 +00007;CHECK: t2_const_var2_1_ok_1:
Jim Grosbach2c3e6182009-10-31 22:10:38 +00008;CHECK: add.w r0, r0, #11206827
Anton Korobeynikov02bb33c2009-06-17 18:13:58 +00009 %ret = add i32 %lhs, 11206827 ; 0x00ab00ab
10 ret i32 %ret
11}
12
Jim Grosbacha93ca3c2009-10-21 20:44:34 +000013define i32 @t2_const_var2_1_ok_2(i32 %lhs) {
14;CHECK: t2_const_var2_1_ok_2:
Jim Grosbach2c3e6182009-10-31 22:10:38 +000015;CHECK: add.w r0, r0, #11206656
16;CHECK: adds r0, #187
Anton Korobeynikov02bb33c2009-06-17 18:13:58 +000017 %ret = add i32 %lhs, 11206843 ; 0x00ab00bb
18 ret i32 %ret
19}
20
Jim Grosbacha93ca3c2009-10-21 20:44:34 +000021define i32 @t2_const_var2_1_ok_3(i32 %lhs) {
22;CHECK: t2_const_var2_1_ok_3:
Jim Grosbach2c3e6182009-10-31 22:10:38 +000023;CHECK: add.w r0, r0, #11206827
24;CHECK: add.w r0, r0, #16777216
Anton Korobeynikov02bb33c2009-06-17 18:13:58 +000025 %ret = add i32 %lhs, 27984043 ; 0x01ab00ab
26 ret i32 %ret
27}
28
Jim Grosbacha93ca3c2009-10-21 20:44:34 +000029define i32 @t2_const_var2_1_ok_4(i32 %lhs) {
30;CHECK: t2_const_var2_1_ok_4:
Jim Grosbach2c3e6182009-10-31 22:10:38 +000031;CHECK: add.w r0, r0, #16777472
32;CHECK: add.w r0, r0, #11206827
Anton Korobeynikov02bb33c2009-06-17 18:13:58 +000033 %ret = add i32 %lhs, 27984299 ; 0x01ab01ab
34 ret i32 %ret
35}
36
Jim Grosbacha93ca3c2009-10-21 20:44:34 +000037define i32 @t2_const_var2_1_fail_1(i32 %lhs) {
38;CHECK: t2_const_var2_1_fail_1:
Jim Grosbach2c3e6182009-10-31 22:10:38 +000039;CHECK: movw r1, #43777
40;CHECK: movt r1, #427
41;CHECK: add r0, r1
Anton Korobeynikov02bb33c2009-06-17 18:13:58 +000042 %ret = add i32 %lhs, 28027649 ; 0x01abab01
43 ret i32 %ret
44}
45
46; var 2.2 - 0xab00ab00
47define i32 @t2_const_var2_2_ok_1(i32 %lhs) {
Bob Wilson5fe1d382009-08-24 20:33:47 +000048;CHECK: t2_const_var2_2_ok_1:
Jim Grosbach2c3e6182009-10-31 22:10:38 +000049;CHECK: add.w r0, r0, #-1426019584
Anton Korobeynikov02bb33c2009-06-17 18:13:58 +000050 %ret = add i32 %lhs, 2868947712 ; 0xab00ab00
51 ret i32 %ret
52}
53
Jim Grosbacha93ca3c2009-10-21 20:44:34 +000054define i32 @t2_const_var2_2_ok_2(i32 %lhs) {
55;CHECK: t2_const_var2_2_ok_2:
Jim Grosbach2c3e6182009-10-31 22:10:38 +000056;CHECK: add.w r0, r0, #-1426063360
57;CHECK: add.w r0, r0, #47616
Anton Korobeynikov02bb33c2009-06-17 18:13:58 +000058 %ret = add i32 %lhs, 2868951552 ; 0xab00ba00
59 ret i32 %ret
60}
61
Jim Grosbacha93ca3c2009-10-21 20:44:34 +000062define i32 @t2_const_var2_2_ok_3(i32 %lhs) {
63;CHECK: t2_const_var2_2_ok_3:
Jim Grosbach2c3e6182009-10-31 22:10:38 +000064;CHECK: add.w r0, r0, #-1426019584
65;CHECK: adds r0, #16
Anton Korobeynikov02bb33c2009-06-17 18:13:58 +000066 %ret = add i32 %lhs, 2868947728 ; 0xab00ab10
67 ret i32 %ret
68}
69
Jim Grosbacha93ca3c2009-10-21 20:44:34 +000070define i32 @t2_const_var2_2_ok_4(i32 %lhs) {
71;CHECK: t2_const_var2_2_ok_4:
Jim Grosbach2c3e6182009-10-31 22:10:38 +000072;CHECK: add.w r0, r0, #-1426019584
73;CHECK: add.w r0, r0, #1048592
Anton Korobeynikov02bb33c2009-06-17 18:13:58 +000074 %ret = add i32 %lhs, 2869996304 ; 0xab10ab10
75 ret i32 %ret
76}
77
Jim Grosbacha93ca3c2009-10-21 20:44:34 +000078define i32 @t2_const_var2_2_fail_1(i32 %lhs) {
79;CHECK: t2_const_var2_2_fail_1:
Jim Grosbach2c3e6182009-10-31 22:10:38 +000080;CHECK: movw r1, #43792
81;CHECK: movt r1, #4267
82;CHECK: add r0, r1
Anton Korobeynikov02bb33c2009-06-17 18:13:58 +000083 %ret = add i32 %lhs, 279685904 ; 0x10abab10
84 ret i32 %ret
85}
86
87; var 2.3 - 0xabababab
88define i32 @t2_const_var2_3_ok_1(i32 %lhs) {
Bob Wilson5fe1d382009-08-24 20:33:47 +000089;CHECK: t2_const_var2_3_ok_1:
Jim Grosbach2c3e6182009-10-31 22:10:38 +000090;CHECK: add.w r0, r0, #-1414812757
Anton Korobeynikov02bb33c2009-06-17 18:13:58 +000091 %ret = add i32 %lhs, 2880154539 ; 0xabababab
92 ret i32 %ret
93}
94
95define i32 @t2_const_var2_3_fail_1(i32 %lhs) {
Bob Wilson5fe1d382009-08-24 20:33:47 +000096;CHECK: t2_const_var2_3_fail_1:
Jim Grosbach2c3e6182009-10-31 22:10:38 +000097;CHECK: movw r1, #43962
98;CHECK: movt r1, #43947
99;CHECK: add r0, r1
Anton Korobeynikov02bb33c2009-06-17 18:13:58 +0000100 %ret = add i32 %lhs, 2880154554 ; 0xabababba
101 ret i32 %ret
102}
103
104define i32 @t2_const_var2_3_fail_2(i32 %lhs) {
Bob Wilson5fe1d382009-08-24 20:33:47 +0000105;CHECK: t2_const_var2_3_fail_2:
Jim Grosbach2c3e6182009-10-31 22:10:38 +0000106;CHECK: movw r1, #47787
107;CHECK: movt r1, #43947
108;CHECK: add r0, r1
Anton Korobeynikov02bb33c2009-06-17 18:13:58 +0000109 %ret = add i32 %lhs, 2880158379 ; 0xababbaab
110 ret i32 %ret
111}
112
113define i32 @t2_const_var2_3_fail_3(i32 %lhs) {
Bob Wilson5fe1d382009-08-24 20:33:47 +0000114;CHECK: t2_const_var2_3_fail_3:
Jim Grosbach2c3e6182009-10-31 22:10:38 +0000115;CHECK: movw r1, #43947
116;CHECK: movt r1, #43962
117;CHECK: add r0, r1
Anton Korobeynikov02bb33c2009-06-17 18:13:58 +0000118 %ret = add i32 %lhs, 2881137579 ; 0xabbaabab
119 ret i32 %ret
120}
121
122define i32 @t2_const_var2_3_fail_4(i32 %lhs) {
Bob Wilson5fe1d382009-08-24 20:33:47 +0000123;CHECK: t2_const_var2_3_fail_4:
Jim Grosbach2c3e6182009-10-31 22:10:38 +0000124;CHECK: movw r1, #43947
125;CHECK: movt r1, #47787
126;CHECK: add r0, r1
Anton Korobeynikov02bb33c2009-06-17 18:13:58 +0000127 %ret = add i32 %lhs, 3131812779 ; 0xbaababab
128 ret i32 %ret
129}
130
131; var 3 - 0x0F000000
132define i32 @t2_const_var3_1_ok_1(i32 %lhs) {
Bob Wilson5fe1d382009-08-24 20:33:47 +0000133;CHECK: t2_const_var3_1_ok_1:
Jim Grosbach2c3e6182009-10-31 22:10:38 +0000134;CHECK: add.w r0, r0, #251658240
Anton Korobeynikov02bb33c2009-06-17 18:13:58 +0000135 %ret = add i32 %lhs, 251658240 ; 0x0F000000
136 ret i32 %ret
137}
138
139define i32 @t2_const_var3_2_ok_1(i32 %lhs) {
Bob Wilson5fe1d382009-08-24 20:33:47 +0000140;CHECK: t2_const_var3_2_ok_1:
Jim Grosbach2c3e6182009-10-31 22:10:38 +0000141;CHECK: add.w r0, r0, #3948544
Anton Korobeynikov02bb33c2009-06-17 18:13:58 +0000142 %ret = add i32 %lhs, 3948544 ; 0b00000000001111000100000000000000
143 ret i32 %ret
144}
145
Jim Grosbacha93ca3c2009-10-21 20:44:34 +0000146define i32 @t2_const_var3_2_ok_2(i32 %lhs) {
147;CHECK: t2_const_var3_2_ok_2:
Jim Grosbach2c3e6182009-10-31 22:10:38 +0000148;CHECK: add.w r0, r0, #2097152
149;CHECK: add.w r0, r0, #1843200
Anton Korobeynikov02bb33c2009-06-17 18:13:58 +0000150 %ret = add i32 %lhs, 3940352 ; 0b00000000001111000010000000000000
151 ret i32 %ret
152}
153
154define i32 @t2_const_var3_3_ok_1(i32 %lhs) {
Bob Wilson5fe1d382009-08-24 20:33:47 +0000155;CHECK: t2_const_var3_3_ok_1:
Jim Grosbach2c3e6182009-10-31 22:10:38 +0000156;CHECK: add.w r0, r0, #258
Anton Korobeynikov02bb33c2009-06-17 18:13:58 +0000157 %ret = add i32 %lhs, 258 ; 0b00000000000000000000000100000010
158 ret i32 %ret
159}
160
161define i32 @t2_const_var3_4_ok_1(i32 %lhs) {
Bob Wilson5fe1d382009-08-24 20:33:47 +0000162;CHECK: t2_const_var3_4_ok_1:
Jim Grosbach2c3e6182009-10-31 22:10:38 +0000163;CHECK: add.w r0, r0, #-268435456
Anton Korobeynikov02bb33c2009-06-17 18:13:58 +0000164 %ret = add i32 %lhs, 4026531840 ; 0xF0000000
165 ret i32 %ret
166}