| 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: |
| Bob Wilson | 5fe1d38 | 2009-08-24 20:33:47 +0000 | [diff] [blame] | 8 | ;CHECK: #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: |
| 15 | ;CHECK: #11206656 |
| 16 | ;CHECK: #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: |
| 23 | ;CHECK: #11206827 |
| 24 | ;CHECK: #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: |
| 31 | ;CHECK: #16777472 |
| 32 | ;CHECK: #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: |
| Bob Wilson | 5fe1d38 | 2009-08-24 20:33:47 +0000 | [diff] [blame] | 39 | ;CHECK: movt |
| Anton Korobeynikov | 02bb33c | 2009-06-17 18:13:58 +0000 | [diff] [blame] | 40 | %ret = add i32 %lhs, 28027649 ; 0x01abab01 |
| 41 | ret i32 %ret |
| 42 | } |
| 43 | |
| 44 | ; var 2.2 - 0xab00ab00 |
| 45 | define i32 @t2_const_var2_2_ok_1(i32 %lhs) { |
| Bob Wilson | 5fe1d38 | 2009-08-24 20:33:47 +0000 | [diff] [blame] | 46 | ;CHECK: t2_const_var2_2_ok_1: |
| Chris Lattner | f87421f | 2009-09-08 23:51:06 +0000 | [diff] [blame] | 47 | ;CHECK: #-1426019584 |
| Anton Korobeynikov | 02bb33c | 2009-06-17 18:13:58 +0000 | [diff] [blame] | 48 | %ret = add i32 %lhs, 2868947712 ; 0xab00ab00 |
| 49 | ret i32 %ret |
| 50 | } |
| 51 | |
| Jim Grosbach | a93ca3c | 2009-10-21 20:44:34 +0000 | [diff] [blame] | 52 | define i32 @t2_const_var2_2_ok_2(i32 %lhs) { |
| 53 | ;CHECK: t2_const_var2_2_ok_2: |
| 54 | ;CHECK: #-1426063360 |
| 55 | ;CHECK: #47616 |
| Anton Korobeynikov | 02bb33c | 2009-06-17 18:13:58 +0000 | [diff] [blame] | 56 | %ret = add i32 %lhs, 2868951552 ; 0xab00ba00 |
| 57 | ret i32 %ret |
| 58 | } |
| 59 | |
| Jim Grosbach | a93ca3c | 2009-10-21 20:44:34 +0000 | [diff] [blame] | 60 | define i32 @t2_const_var2_2_ok_3(i32 %lhs) { |
| 61 | ;CHECK: t2_const_var2_2_ok_3: |
| 62 | ;CHECK: #-1426019584 |
| Anton Korobeynikov | 02bb33c | 2009-06-17 18:13:58 +0000 | [diff] [blame] | 63 | %ret = add i32 %lhs, 2868947728 ; 0xab00ab10 |
| 64 | ret i32 %ret |
| 65 | } |
| 66 | |
| Jim Grosbach | a93ca3c | 2009-10-21 20:44:34 +0000 | [diff] [blame] | 67 | define i32 @t2_const_var2_2_ok_4(i32 %lhs) { |
| 68 | ;CHECK: t2_const_var2_2_ok_4: |
| 69 | ;CHECK: #-1426019584 |
| 70 | ;CHECK: #1048592 |
| Anton Korobeynikov | 02bb33c | 2009-06-17 18:13:58 +0000 | [diff] [blame] | 71 | %ret = add i32 %lhs, 2869996304 ; 0xab10ab10 |
| 72 | ret i32 %ret |
| 73 | } |
| 74 | |
| Jim Grosbach | a93ca3c | 2009-10-21 20:44:34 +0000 | [diff] [blame] | 75 | define i32 @t2_const_var2_2_fail_1(i32 %lhs) { |
| 76 | ;CHECK: t2_const_var2_2_fail_1: |
| Bob Wilson | 5fe1d38 | 2009-08-24 20:33:47 +0000 | [diff] [blame] | 77 | ;CHECK: movt |
| Anton Korobeynikov | 02bb33c | 2009-06-17 18:13:58 +0000 | [diff] [blame] | 78 | %ret = add i32 %lhs, 279685904 ; 0x10abab10 |
| 79 | ret i32 %ret |
| 80 | } |
| 81 | |
| 82 | ; var 2.3 - 0xabababab |
| 83 | define i32 @t2_const_var2_3_ok_1(i32 %lhs) { |
| Bob Wilson | 5fe1d38 | 2009-08-24 20:33:47 +0000 | [diff] [blame] | 84 | ;CHECK: t2_const_var2_3_ok_1: |
| Chris Lattner | f87421f | 2009-09-08 23:51:06 +0000 | [diff] [blame] | 85 | ;CHECK: #-1414812757 |
| Anton Korobeynikov | 02bb33c | 2009-06-17 18:13:58 +0000 | [diff] [blame] | 86 | %ret = add i32 %lhs, 2880154539 ; 0xabababab |
| 87 | ret i32 %ret |
| 88 | } |
| 89 | |
| 90 | define i32 @t2_const_var2_3_fail_1(i32 %lhs) { |
| Bob Wilson | 5fe1d38 | 2009-08-24 20:33:47 +0000 | [diff] [blame] | 91 | ;CHECK: t2_const_var2_3_fail_1: |
| 92 | ;CHECK: movt |
| Anton Korobeynikov | 02bb33c | 2009-06-17 18:13:58 +0000 | [diff] [blame] | 93 | %ret = add i32 %lhs, 2880154554 ; 0xabababba |
| 94 | ret i32 %ret |
| 95 | } |
| 96 | |
| 97 | define i32 @t2_const_var2_3_fail_2(i32 %lhs) { |
| Bob Wilson | 5fe1d38 | 2009-08-24 20:33:47 +0000 | [diff] [blame] | 98 | ;CHECK: t2_const_var2_3_fail_2: |
| 99 | ;CHECK: movt |
| Anton Korobeynikov | 02bb33c | 2009-06-17 18:13:58 +0000 | [diff] [blame] | 100 | %ret = add i32 %lhs, 2880158379 ; 0xababbaab |
| 101 | ret i32 %ret |
| 102 | } |
| 103 | |
| 104 | define i32 @t2_const_var2_3_fail_3(i32 %lhs) { |
| Bob Wilson | 5fe1d38 | 2009-08-24 20:33:47 +0000 | [diff] [blame] | 105 | ;CHECK: t2_const_var2_3_fail_3: |
| 106 | ;CHECK: movt |
| Anton Korobeynikov | 02bb33c | 2009-06-17 18:13:58 +0000 | [diff] [blame] | 107 | %ret = add i32 %lhs, 2881137579 ; 0xabbaabab |
| 108 | ret i32 %ret |
| 109 | } |
| 110 | |
| 111 | define i32 @t2_const_var2_3_fail_4(i32 %lhs) { |
| Bob Wilson | 5fe1d38 | 2009-08-24 20:33:47 +0000 | [diff] [blame] | 112 | ;CHECK: t2_const_var2_3_fail_4: |
| 113 | ;CHECK: movt |
| Anton Korobeynikov | 02bb33c | 2009-06-17 18:13:58 +0000 | [diff] [blame] | 114 | %ret = add i32 %lhs, 3131812779 ; 0xbaababab |
| 115 | ret i32 %ret |
| 116 | } |
| 117 | |
| 118 | ; var 3 - 0x0F000000 |
| 119 | define i32 @t2_const_var3_1_ok_1(i32 %lhs) { |
| Bob Wilson | 5fe1d38 | 2009-08-24 20:33:47 +0000 | [diff] [blame] | 120 | ;CHECK: t2_const_var3_1_ok_1: |
| 121 | ;CHECK: #251658240 |
| Anton Korobeynikov | 02bb33c | 2009-06-17 18:13:58 +0000 | [diff] [blame] | 122 | %ret = add i32 %lhs, 251658240 ; 0x0F000000 |
| 123 | ret i32 %ret |
| 124 | } |
| 125 | |
| 126 | define i32 @t2_const_var3_2_ok_1(i32 %lhs) { |
| Bob Wilson | 5fe1d38 | 2009-08-24 20:33:47 +0000 | [diff] [blame] | 127 | ;CHECK: t2_const_var3_2_ok_1: |
| 128 | ;CHECK: #3948544 |
| Anton Korobeynikov | 02bb33c | 2009-06-17 18:13:58 +0000 | [diff] [blame] | 129 | %ret = add i32 %lhs, 3948544 ; 0b00000000001111000100000000000000 |
| 130 | ret i32 %ret |
| 131 | } |
| 132 | |
| Jim Grosbach | a93ca3c | 2009-10-21 20:44:34 +0000 | [diff] [blame] | 133 | define i32 @t2_const_var3_2_ok_2(i32 %lhs) { |
| 134 | ;CHECK: t2_const_var3_2_ok_2: |
| 135 | ;CHECK: #2097152 |
| 136 | ;CHECK: #1843200 |
| Anton Korobeynikov | 02bb33c | 2009-06-17 18:13:58 +0000 | [diff] [blame] | 137 | %ret = add i32 %lhs, 3940352 ; 0b00000000001111000010000000000000 |
| 138 | ret i32 %ret |
| 139 | } |
| 140 | |
| 141 | define i32 @t2_const_var3_3_ok_1(i32 %lhs) { |
| Bob Wilson | 5fe1d38 | 2009-08-24 20:33:47 +0000 | [diff] [blame] | 142 | ;CHECK: t2_const_var3_3_ok_1: |
| 143 | ;CHECK: #258 |
| Anton Korobeynikov | 02bb33c | 2009-06-17 18:13:58 +0000 | [diff] [blame] | 144 | %ret = add i32 %lhs, 258 ; 0b00000000000000000000000100000010 |
| 145 | ret i32 %ret |
| 146 | } |
| 147 | |
| 148 | define i32 @t2_const_var3_4_ok_1(i32 %lhs) { |
| Bob Wilson | 5fe1d38 | 2009-08-24 20:33:47 +0000 | [diff] [blame] | 149 | ;CHECK: t2_const_var3_4_ok_1: |
| Chris Lattner | f87421f | 2009-09-08 23:51:06 +0000 | [diff] [blame] | 150 | ;CHECK: #-268435456 |
| Anton Korobeynikov | 02bb33c | 2009-06-17 18:13:58 +0000 | [diff] [blame] | 151 | %ret = add i32 %lhs, 4026531840 ; 0xF0000000 |
| 152 | ret i32 %ret |
| 153 | } |