| Bob Wilson | 5fe1d38 | 2009-08-24 20:33:47 +0000 | [diff] [blame^] | 1 | ; RUN: llvm-as < %s | llc -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 | 5fe1d38 | 2009-08-24 20:33:47 +0000 | [diff] [blame^] | 7 | ;CHECK: t2_const_var_1_ok_1: |
| 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 | |
| 13 | define i32 @t2_const_var2_1_fail_1(i32 %lhs) { |
| Bob Wilson | 5fe1d38 | 2009-08-24 20:33:47 +0000 | [diff] [blame^] | 14 | ;CHECK: t2_const_var2_1_fail_1: |
| 15 | ;CHECK: movt |
| Anton Korobeynikov | 02bb33c | 2009-06-17 18:13:58 +0000 | [diff] [blame] | 16 | %ret = add i32 %lhs, 11206843 ; 0x00ab00bb |
| 17 | ret i32 %ret |
| 18 | } |
| 19 | |
| 20 | define i32 @t2_const_var2_1_fail_2(i32 %lhs) { |
| Bob Wilson | 5fe1d38 | 2009-08-24 20:33:47 +0000 | [diff] [blame^] | 21 | ;CHECK: t2_const_var2_1_fail_2: |
| 22 | ;CHECK: movt |
| Anton Korobeynikov | 02bb33c | 2009-06-17 18:13:58 +0000 | [diff] [blame] | 23 | %ret = add i32 %lhs, 27984043 ; 0x01ab00ab |
| 24 | ret i32 %ret |
| 25 | } |
| 26 | |
| 27 | define i32 @t2_const_var2_1_fail_3(i32 %lhs) { |
| Bob Wilson | 5fe1d38 | 2009-08-24 20:33:47 +0000 | [diff] [blame^] | 28 | ;CHECK: t2_const_var2_1_fail_3: |
| 29 | ;CHECK: movt |
| Anton Korobeynikov | 02bb33c | 2009-06-17 18:13:58 +0000 | [diff] [blame] | 30 | %ret = add i32 %lhs, 27984299 ; 0x01ab01ab |
| 31 | ret i32 %ret |
| 32 | } |
| 33 | |
| 34 | define i32 @t2_const_var2_1_fail_4(i32 %lhs) { |
| Bob Wilson | 5fe1d38 | 2009-08-24 20:33:47 +0000 | [diff] [blame^] | 35 | ;CHECK: t2_const_var2_1_fail_4: |
| 36 | ;CHECK: movt |
| Anton Korobeynikov | 02bb33c | 2009-06-17 18:13:58 +0000 | [diff] [blame] | 37 | %ret = add i32 %lhs, 28027649 ; 0x01abab01 |
| 38 | ret i32 %ret |
| 39 | } |
| 40 | |
| 41 | ; var 2.2 - 0xab00ab00 |
| 42 | define i32 @t2_const_var2_2_ok_1(i32 %lhs) { |
| Bob Wilson | 5fe1d38 | 2009-08-24 20:33:47 +0000 | [diff] [blame^] | 43 | ;CHECK: t2_const_var2_2_ok_1: |
| 44 | ;CHECK: #2868947712 |
| Anton Korobeynikov | 02bb33c | 2009-06-17 18:13:58 +0000 | [diff] [blame] | 45 | %ret = add i32 %lhs, 2868947712 ; 0xab00ab00 |
| 46 | ret i32 %ret |
| 47 | } |
| 48 | |
| 49 | define i32 @t2_const_var2_2_fail_1(i32 %lhs) { |
| Bob Wilson | 5fe1d38 | 2009-08-24 20:33:47 +0000 | [diff] [blame^] | 50 | ;CHECK: t2_const_var2_2_fail_1: |
| 51 | ;CHECK: movt |
| Anton Korobeynikov | 02bb33c | 2009-06-17 18:13:58 +0000 | [diff] [blame] | 52 | %ret = add i32 %lhs, 2868951552 ; 0xab00ba00 |
| 53 | ret i32 %ret |
| 54 | } |
| 55 | |
| 56 | define i32 @t2_const_var2_2_fail_2(i32 %lhs) { |
| Bob Wilson | 5fe1d38 | 2009-08-24 20:33:47 +0000 | [diff] [blame^] | 57 | ;CHECK: t2_const_var2_2_fail_2: |
| 58 | ;CHECK: movt |
| Anton Korobeynikov | 02bb33c | 2009-06-17 18:13:58 +0000 | [diff] [blame] | 59 | %ret = add i32 %lhs, 2868947728 ; 0xab00ab10 |
| 60 | ret i32 %ret |
| 61 | } |
| 62 | |
| 63 | define i32 @t2_const_var2_2_fail_3(i32 %lhs) { |
| Bob Wilson | 5fe1d38 | 2009-08-24 20:33:47 +0000 | [diff] [blame^] | 64 | ;CHECK: t2_const_var2_2_fail_3: |
| 65 | ;CHECK: movt |
| Anton Korobeynikov | 02bb33c | 2009-06-17 18:13:58 +0000 | [diff] [blame] | 66 | %ret = add i32 %lhs, 2869996304 ; 0xab10ab10 |
| 67 | ret i32 %ret |
| 68 | } |
| 69 | |
| 70 | define i32 @t2_const_var2_2_fail_4(i32 %lhs) { |
| Bob Wilson | 5fe1d38 | 2009-08-24 20:33:47 +0000 | [diff] [blame^] | 71 | ;CHECK: t2_const_var2_2_fail_4: |
| 72 | ;CHECK: movt |
| Anton Korobeynikov | 02bb33c | 2009-06-17 18:13:58 +0000 | [diff] [blame] | 73 | %ret = add i32 %lhs, 279685904 ; 0x10abab10 |
| 74 | ret i32 %ret |
| 75 | } |
| 76 | |
| 77 | ; var 2.3 - 0xabababab |
| 78 | define i32 @t2_const_var2_3_ok_1(i32 %lhs) { |
| Bob Wilson | 5fe1d38 | 2009-08-24 20:33:47 +0000 | [diff] [blame^] | 79 | ;CHECK: t2_const_var2_3_ok_1: |
| 80 | ;CHECK: #2880154539 |
| Anton Korobeynikov | 02bb33c | 2009-06-17 18:13:58 +0000 | [diff] [blame] | 81 | %ret = add i32 %lhs, 2880154539 ; 0xabababab |
| 82 | ret i32 %ret |
| 83 | } |
| 84 | |
| 85 | define i32 @t2_const_var2_3_fail_1(i32 %lhs) { |
| Bob Wilson | 5fe1d38 | 2009-08-24 20:33:47 +0000 | [diff] [blame^] | 86 | ;CHECK: t2_const_var2_3_fail_1: |
| 87 | ;CHECK: movt |
| Anton Korobeynikov | 02bb33c | 2009-06-17 18:13:58 +0000 | [diff] [blame] | 88 | %ret = add i32 %lhs, 2880154554 ; 0xabababba |
| 89 | ret i32 %ret |
| 90 | } |
| 91 | |
| 92 | define i32 @t2_const_var2_3_fail_2(i32 %lhs) { |
| Bob Wilson | 5fe1d38 | 2009-08-24 20:33:47 +0000 | [diff] [blame^] | 93 | ;CHECK: t2_const_var2_3_fail_2: |
| 94 | ;CHECK: movt |
| Anton Korobeynikov | 02bb33c | 2009-06-17 18:13:58 +0000 | [diff] [blame] | 95 | %ret = add i32 %lhs, 2880158379 ; 0xababbaab |
| 96 | ret i32 %ret |
| 97 | } |
| 98 | |
| 99 | define i32 @t2_const_var2_3_fail_3(i32 %lhs) { |
| Bob Wilson | 5fe1d38 | 2009-08-24 20:33:47 +0000 | [diff] [blame^] | 100 | ;CHECK: t2_const_var2_3_fail_3: |
| 101 | ;CHECK: movt |
| Anton Korobeynikov | 02bb33c | 2009-06-17 18:13:58 +0000 | [diff] [blame] | 102 | %ret = add i32 %lhs, 2881137579 ; 0xabbaabab |
| 103 | ret i32 %ret |
| 104 | } |
| 105 | |
| 106 | define i32 @t2_const_var2_3_fail_4(i32 %lhs) { |
| Bob Wilson | 5fe1d38 | 2009-08-24 20:33:47 +0000 | [diff] [blame^] | 107 | ;CHECK: t2_const_var2_3_fail_4: |
| 108 | ;CHECK: movt |
| Anton Korobeynikov | 02bb33c | 2009-06-17 18:13:58 +0000 | [diff] [blame] | 109 | %ret = add i32 %lhs, 3131812779 ; 0xbaababab |
| 110 | ret i32 %ret |
| 111 | } |
| 112 | |
| 113 | ; var 3 - 0x0F000000 |
| 114 | define i32 @t2_const_var3_1_ok_1(i32 %lhs) { |
| Bob Wilson | 5fe1d38 | 2009-08-24 20:33:47 +0000 | [diff] [blame^] | 115 | ;CHECK: t2_const_var3_1_ok_1: |
| 116 | ;CHECK: #251658240 |
| Anton Korobeynikov | 02bb33c | 2009-06-17 18:13:58 +0000 | [diff] [blame] | 117 | %ret = add i32 %lhs, 251658240 ; 0x0F000000 |
| 118 | ret i32 %ret |
| 119 | } |
| 120 | |
| 121 | define i32 @t2_const_var3_2_ok_1(i32 %lhs) { |
| Bob Wilson | 5fe1d38 | 2009-08-24 20:33:47 +0000 | [diff] [blame^] | 122 | ;CHECK: t2_const_var3_2_ok_1: |
| 123 | ;CHECK: #3948544 |
| Anton Korobeynikov | 02bb33c | 2009-06-17 18:13:58 +0000 | [diff] [blame] | 124 | %ret = add i32 %lhs, 3948544 ; 0b00000000001111000100000000000000 |
| 125 | ret i32 %ret |
| 126 | } |
| 127 | |
| 128 | define i32 @t2_const_var3_2_fail_1(i32 %lhs) { |
| Bob Wilson | 5fe1d38 | 2009-08-24 20:33:47 +0000 | [diff] [blame^] | 129 | ;CHECK: t2_const_var3_2_fail_1: |
| 130 | ;CHECK: movt |
| Anton Korobeynikov | 02bb33c | 2009-06-17 18:13:58 +0000 | [diff] [blame] | 131 | %ret = add i32 %lhs, 3940352 ; 0b00000000001111000010000000000000 |
| 132 | ret i32 %ret |
| 133 | } |
| 134 | |
| 135 | define i32 @t2_const_var3_3_ok_1(i32 %lhs) { |
| Bob Wilson | 5fe1d38 | 2009-08-24 20:33:47 +0000 | [diff] [blame^] | 136 | ;CHECK: t2_const_var3_3_ok_1: |
| 137 | ;CHECK: #258 |
| Anton Korobeynikov | 02bb33c | 2009-06-17 18:13:58 +0000 | [diff] [blame] | 138 | %ret = add i32 %lhs, 258 ; 0b00000000000000000000000100000010 |
| 139 | ret i32 %ret |
| 140 | } |
| 141 | |
| 142 | define i32 @t2_const_var3_4_ok_1(i32 %lhs) { |
| Bob Wilson | 5fe1d38 | 2009-08-24 20:33:47 +0000 | [diff] [blame^] | 143 | ;CHECK: t2_const_var3_4_ok_1: |
| 144 | ;CHECK: #4026531840 |
| Anton Korobeynikov | 02bb33c | 2009-06-17 18:13:58 +0000 | [diff] [blame] | 145 | %ret = add i32 %lhs, 4026531840 ; 0xF0000000 |
| 146 | ret i32 %ret |
| 147 | } |