| Dan Gohman | c8054d9 | 2009-09-09 00:09:15 +0000 | [diff] [blame] | 1 | ; RUN: llc < %s -march=thumb -mattr=+thumb2 | FileCheck %s |
| Anton Korobeynikov | 02bb33c | 2009-06-17 18:13:58 +0000 | [diff] [blame] | 2 | |
| 3 | ; Test #<const> |
| 4 | |
| 5 | ; var 2.1 - 0x00ab00ab |
| 6 | define i32 @t2_const_var2_1_ok_1(i32 %lhs) { |
| Bob Wilson | 9054d25 | 2009-08-24 21:17:17 +0000 | [diff] [blame] | 7 | ;CHECK: t2_const_var2_1_ok_1: |
| Jim Grosbach | 2c3e618 | 2009-10-31 22:10:38 +0000 | [diff] [blame^] | 8 | ;CHECK: add.w r0, r0, #11206827 |
| Anton Korobeynikov | 02bb33c | 2009-06-17 18:13:58 +0000 | [diff] [blame] | 9 | %ret = add i32 %lhs, 11206827 ; 0x00ab00ab |
| 10 | ret i32 %ret |
| 11 | } |
| 12 | |
| Jim Grosbach | a93ca3c | 2009-10-21 20:44:34 +0000 | [diff] [blame] | 13 | define i32 @t2_const_var2_1_ok_2(i32 %lhs) { |
| 14 | ;CHECK: t2_const_var2_1_ok_2: |
| Jim Grosbach | 2c3e618 | 2009-10-31 22:10:38 +0000 | [diff] [blame^] | 15 | ;CHECK: add.w r0, r0, #11206656 |
| 16 | ;CHECK: adds r0, #187 |
| Anton Korobeynikov | 02bb33c | 2009-06-17 18:13:58 +0000 | [diff] [blame] | 17 | %ret = add i32 %lhs, 11206843 ; 0x00ab00bb |
| 18 | ret i32 %ret |
| 19 | } |
| 20 | |
| Jim Grosbach | a93ca3c | 2009-10-21 20:44:34 +0000 | [diff] [blame] | 21 | define i32 @t2_const_var2_1_ok_3(i32 %lhs) { |
| 22 | ;CHECK: t2_const_var2_1_ok_3: |
| Jim Grosbach | 2c3e618 | 2009-10-31 22:10:38 +0000 | [diff] [blame^] | 23 | ;CHECK: add.w r0, r0, #11206827 |
| 24 | ;CHECK: add.w r0, r0, #16777216 |
| Anton Korobeynikov | 02bb33c | 2009-06-17 18:13:58 +0000 | [diff] [blame] | 25 | %ret = add i32 %lhs, 27984043 ; 0x01ab00ab |
| 26 | ret i32 %ret |
| 27 | } |
| 28 | |
| Jim Grosbach | a93ca3c | 2009-10-21 20:44:34 +0000 | [diff] [blame] | 29 | define i32 @t2_const_var2_1_ok_4(i32 %lhs) { |
| 30 | ;CHECK: t2_const_var2_1_ok_4: |
| Jim Grosbach | 2c3e618 | 2009-10-31 22:10:38 +0000 | [diff] [blame^] | 31 | ;CHECK: add.w r0, r0, #16777472 |
| 32 | ;CHECK: add.w r0, r0, #11206827 |
| Anton Korobeynikov | 02bb33c | 2009-06-17 18:13:58 +0000 | [diff] [blame] | 33 | %ret = add i32 %lhs, 27984299 ; 0x01ab01ab |
| 34 | ret i32 %ret |
| 35 | } |
| 36 | |
| Jim Grosbach | a93ca3c | 2009-10-21 20:44:34 +0000 | [diff] [blame] | 37 | define i32 @t2_const_var2_1_fail_1(i32 %lhs) { |
| 38 | ;CHECK: t2_const_var2_1_fail_1: |
| Jim Grosbach | 2c3e618 | 2009-10-31 22:10:38 +0000 | [diff] [blame^] | 39 | ;CHECK: movw r1, #43777 |
| 40 | ;CHECK: movt r1, #427 |
| 41 | ;CHECK: add r0, r1 |
| Anton Korobeynikov | 02bb33c | 2009-06-17 18:13:58 +0000 | [diff] [blame] | 42 | %ret = add i32 %lhs, 28027649 ; 0x01abab01 |
| 43 | ret i32 %ret |
| 44 | } |
| 45 | |
| 46 | ; var 2.2 - 0xab00ab00 |
| 47 | define i32 @t2_const_var2_2_ok_1(i32 %lhs) { |
| Bob Wilson | 5fe1d38 | 2009-08-24 20:33:47 +0000 | [diff] [blame] | 48 | ;CHECK: t2_const_var2_2_ok_1: |
| Jim Grosbach | 2c3e618 | 2009-10-31 22:10:38 +0000 | [diff] [blame^] | 49 | ;CHECK: add.w r0, r0, #-1426019584 |
| Anton Korobeynikov | 02bb33c | 2009-06-17 18:13:58 +0000 | [diff] [blame] | 50 | %ret = add i32 %lhs, 2868947712 ; 0xab00ab00 |
| 51 | ret i32 %ret |
| 52 | } |
| 53 | |
| Jim Grosbach | a93ca3c | 2009-10-21 20:44:34 +0000 | [diff] [blame] | 54 | define i32 @t2_const_var2_2_ok_2(i32 %lhs) { |
| 55 | ;CHECK: t2_const_var2_2_ok_2: |
| Jim Grosbach | 2c3e618 | 2009-10-31 22:10:38 +0000 | [diff] [blame^] | 56 | ;CHECK: add.w r0, r0, #-1426063360 |
| 57 | ;CHECK: add.w r0, r0, #47616 |
| Anton Korobeynikov | 02bb33c | 2009-06-17 18:13:58 +0000 | [diff] [blame] | 58 | %ret = add i32 %lhs, 2868951552 ; 0xab00ba00 |
| 59 | ret i32 %ret |
| 60 | } |
| 61 | |
| Jim Grosbach | a93ca3c | 2009-10-21 20:44:34 +0000 | [diff] [blame] | 62 | define i32 @t2_const_var2_2_ok_3(i32 %lhs) { |
| 63 | ;CHECK: t2_const_var2_2_ok_3: |
| Jim Grosbach | 2c3e618 | 2009-10-31 22:10:38 +0000 | [diff] [blame^] | 64 | ;CHECK: add.w r0, r0, #-1426019584 |
| 65 | ;CHECK: adds r0, #16 |
| Anton Korobeynikov | 02bb33c | 2009-06-17 18:13:58 +0000 | [diff] [blame] | 66 | %ret = add i32 %lhs, 2868947728 ; 0xab00ab10 |
| 67 | ret i32 %ret |
| 68 | } |
| 69 | |
| Jim Grosbach | a93ca3c | 2009-10-21 20:44:34 +0000 | [diff] [blame] | 70 | define i32 @t2_const_var2_2_ok_4(i32 %lhs) { |
| 71 | ;CHECK: t2_const_var2_2_ok_4: |
| Jim Grosbach | 2c3e618 | 2009-10-31 22:10:38 +0000 | [diff] [blame^] | 72 | ;CHECK: add.w r0, r0, #-1426019584 |
| 73 | ;CHECK: add.w r0, r0, #1048592 |
| Anton Korobeynikov | 02bb33c | 2009-06-17 18:13:58 +0000 | [diff] [blame] | 74 | %ret = add i32 %lhs, 2869996304 ; 0xab10ab10 |
| 75 | ret i32 %ret |
| 76 | } |
| 77 | |
| Jim Grosbach | a93ca3c | 2009-10-21 20:44:34 +0000 | [diff] [blame] | 78 | define i32 @t2_const_var2_2_fail_1(i32 %lhs) { |
| 79 | ;CHECK: t2_const_var2_2_fail_1: |
| Jim Grosbach | 2c3e618 | 2009-10-31 22:10:38 +0000 | [diff] [blame^] | 80 | ;CHECK: movw r1, #43792 |
| 81 | ;CHECK: movt r1, #4267 |
| 82 | ;CHECK: add r0, r1 |
| Anton Korobeynikov | 02bb33c | 2009-06-17 18:13:58 +0000 | [diff] [blame] | 83 | %ret = add i32 %lhs, 279685904 ; 0x10abab10 |
| 84 | ret i32 %ret |
| 85 | } |
| 86 | |
| 87 | ; var 2.3 - 0xabababab |
| 88 | define i32 @t2_const_var2_3_ok_1(i32 %lhs) { |
| Bob Wilson | 5fe1d38 | 2009-08-24 20:33:47 +0000 | [diff] [blame] | 89 | ;CHECK: t2_const_var2_3_ok_1: |
| Jim Grosbach | 2c3e618 | 2009-10-31 22:10:38 +0000 | [diff] [blame^] | 90 | ;CHECK: add.w r0, r0, #-1414812757 |
| Anton Korobeynikov | 02bb33c | 2009-06-17 18:13:58 +0000 | [diff] [blame] | 91 | %ret = add i32 %lhs, 2880154539 ; 0xabababab |
| 92 | ret i32 %ret |
| 93 | } |
| 94 | |
| 95 | define i32 @t2_const_var2_3_fail_1(i32 %lhs) { |
| Bob Wilson | 5fe1d38 | 2009-08-24 20:33:47 +0000 | [diff] [blame] | 96 | ;CHECK: t2_const_var2_3_fail_1: |
| Jim Grosbach | 2c3e618 | 2009-10-31 22:10:38 +0000 | [diff] [blame^] | 97 | ;CHECK: movw r1, #43962 |
| 98 | ;CHECK: movt r1, #43947 |
| 99 | ;CHECK: add r0, r1 |
| Anton Korobeynikov | 02bb33c | 2009-06-17 18:13:58 +0000 | [diff] [blame] | 100 | %ret = add i32 %lhs, 2880154554 ; 0xabababba |
| 101 | ret i32 %ret |
| 102 | } |
| 103 | |
| 104 | define i32 @t2_const_var2_3_fail_2(i32 %lhs) { |
| Bob Wilson | 5fe1d38 | 2009-08-24 20:33:47 +0000 | [diff] [blame] | 105 | ;CHECK: t2_const_var2_3_fail_2: |
| Jim Grosbach | 2c3e618 | 2009-10-31 22:10:38 +0000 | [diff] [blame^] | 106 | ;CHECK: movw r1, #47787 |
| 107 | ;CHECK: movt r1, #43947 |
| 108 | ;CHECK: add r0, r1 |
| Anton Korobeynikov | 02bb33c | 2009-06-17 18:13:58 +0000 | [diff] [blame] | 109 | %ret = add i32 %lhs, 2880158379 ; 0xababbaab |
| 110 | ret i32 %ret |
| 111 | } |
| 112 | |
| 113 | define i32 @t2_const_var2_3_fail_3(i32 %lhs) { |
| Bob Wilson | 5fe1d38 | 2009-08-24 20:33:47 +0000 | [diff] [blame] | 114 | ;CHECK: t2_const_var2_3_fail_3: |
| Jim Grosbach | 2c3e618 | 2009-10-31 22:10:38 +0000 | [diff] [blame^] | 115 | ;CHECK: movw r1, #43947 |
| 116 | ;CHECK: movt r1, #43962 |
| 117 | ;CHECK: add r0, r1 |
| Anton Korobeynikov | 02bb33c | 2009-06-17 18:13:58 +0000 | [diff] [blame] | 118 | %ret = add i32 %lhs, 2881137579 ; 0xabbaabab |
| 119 | ret i32 %ret |
| 120 | } |
| 121 | |
| 122 | define i32 @t2_const_var2_3_fail_4(i32 %lhs) { |
| Bob Wilson | 5fe1d38 | 2009-08-24 20:33:47 +0000 | [diff] [blame] | 123 | ;CHECK: t2_const_var2_3_fail_4: |
| Jim Grosbach | 2c3e618 | 2009-10-31 22:10:38 +0000 | [diff] [blame^] | 124 | ;CHECK: movw r1, #43947 |
| 125 | ;CHECK: movt r1, #47787 |
| 126 | ;CHECK: add r0, r1 |
| Anton Korobeynikov | 02bb33c | 2009-06-17 18:13:58 +0000 | [diff] [blame] | 127 | %ret = add i32 %lhs, 3131812779 ; 0xbaababab |
| 128 | ret i32 %ret |
| 129 | } |
| 130 | |
| 131 | ; var 3 - 0x0F000000 |
| 132 | define i32 @t2_const_var3_1_ok_1(i32 %lhs) { |
| Bob Wilson | 5fe1d38 | 2009-08-24 20:33:47 +0000 | [diff] [blame] | 133 | ;CHECK: t2_const_var3_1_ok_1: |
| Jim Grosbach | 2c3e618 | 2009-10-31 22:10:38 +0000 | [diff] [blame^] | 134 | ;CHECK: add.w r0, r0, #251658240 |
| Anton Korobeynikov | 02bb33c | 2009-06-17 18:13:58 +0000 | [diff] [blame] | 135 | %ret = add i32 %lhs, 251658240 ; 0x0F000000 |
| 136 | ret i32 %ret |
| 137 | } |
| 138 | |
| 139 | define i32 @t2_const_var3_2_ok_1(i32 %lhs) { |
| Bob Wilson | 5fe1d38 | 2009-08-24 20:33:47 +0000 | [diff] [blame] | 140 | ;CHECK: t2_const_var3_2_ok_1: |
| Jim Grosbach | 2c3e618 | 2009-10-31 22:10:38 +0000 | [diff] [blame^] | 141 | ;CHECK: add.w r0, r0, #3948544 |
| Anton Korobeynikov | 02bb33c | 2009-06-17 18:13:58 +0000 | [diff] [blame] | 142 | %ret = add i32 %lhs, 3948544 ; 0b00000000001111000100000000000000 |
| 143 | ret i32 %ret |
| 144 | } |
| 145 | |
| Jim Grosbach | a93ca3c | 2009-10-21 20:44:34 +0000 | [diff] [blame] | 146 | define i32 @t2_const_var3_2_ok_2(i32 %lhs) { |
| 147 | ;CHECK: t2_const_var3_2_ok_2: |
| Jim Grosbach | 2c3e618 | 2009-10-31 22:10:38 +0000 | [diff] [blame^] | 148 | ;CHECK: add.w r0, r0, #2097152 |
| 149 | ;CHECK: add.w r0, r0, #1843200 |
| Anton Korobeynikov | 02bb33c | 2009-06-17 18:13:58 +0000 | [diff] [blame] | 150 | %ret = add i32 %lhs, 3940352 ; 0b00000000001111000010000000000000 |
| 151 | ret i32 %ret |
| 152 | } |
| 153 | |
| 154 | define i32 @t2_const_var3_3_ok_1(i32 %lhs) { |
| Bob Wilson | 5fe1d38 | 2009-08-24 20:33:47 +0000 | [diff] [blame] | 155 | ;CHECK: t2_const_var3_3_ok_1: |
| Jim Grosbach | 2c3e618 | 2009-10-31 22:10:38 +0000 | [diff] [blame^] | 156 | ;CHECK: add.w r0, r0, #258 |
| Anton Korobeynikov | 02bb33c | 2009-06-17 18:13:58 +0000 | [diff] [blame] | 157 | %ret = add i32 %lhs, 258 ; 0b00000000000000000000000100000010 |
| 158 | ret i32 %ret |
| 159 | } |
| 160 | |
| 161 | define i32 @t2_const_var3_4_ok_1(i32 %lhs) { |
| Bob Wilson | 5fe1d38 | 2009-08-24 20:33:47 +0000 | [diff] [blame] | 162 | ;CHECK: t2_const_var3_4_ok_1: |
| Jim Grosbach | 2c3e618 | 2009-10-31 22:10:38 +0000 | [diff] [blame^] | 163 | ;CHECK: add.w r0, r0, #-268435456 |
| Anton Korobeynikov | 02bb33c | 2009-06-17 18:13:58 +0000 | [diff] [blame] | 164 | %ret = add i32 %lhs, 4026531840 ; 0xF0000000 |
| 165 | ret i32 %ret |
| 166 | } |