1@ RUN: not llvm-mc -triple=thumbv7-apple-darwin < %s 2> %t
2@ RUN: FileCheck --check-prefix=CHECK-ERRORS --check-prefix=CHECK-ERRORS-V7 < %t %s
3
4@ RUN: not llvm-mc -triple=thumbv8-apple-darwin < %s 2> %t
5@ RUN: FileCheck --check-prefix=CHECK-ERRORS --check-prefix=CHECK-ERRORS-V8 < %t %s
6
7@ Ill-formed IT block instructions.
8        itet eq
9        addle r0, r1, r2
10        nop
11        it le
12        iteeee gt
13        ittfe le
14        nopeq
15
16@ CHECK-ERRORS: error: incorrect condition in IT block; got 'le', but expected 'eq'
17@ CHECK-ERRORS:         addle r0, r1, r2
18@ CHECK-ERRORS:            ^
19@ CHECK-ERRORS: error: incorrect condition in IT block; got 'al', but expected 'ne'
20@ CHECK-ERRORS:         nop
21@ CHECK-ERRORS:            ^
22@ CHECK-ERRORS: error: instructions in IT block must be predicable
23@ CHECK-ERRORS:         it le
24@ CHECK-ERRORS:         ^
25@ CHECK-ERRORS: error: too many conditions on IT instruction
26@ CHECK-ERRORS:         iteeee gt
27@ CHECK-ERRORS:           ^
28@ CHECK-ERRORS: error: illegal IT block condition mask 'tfe'
29@ CHECK-ERRORS:         ittfe le
30@ CHECK-ERRORS:           ^
31@ CHECK-ERRORS: error: predicated instructions must be in IT block
32@ CHECK-ERRORS:         nopeq
33@ CHECK-ERRORS:         ^
34
35        @ Out of range immediates for MRC/MRC2/MRRC/MRRC2
36        mrc  p14, #8, r1, c1, c2, #4
37        mrc  p14, #1, r1, c1, c2, #8
38        mrc2  p14, #8, r1, c1, c2, #4
39        mrc2  p14, #0, r1, c1, c2, #9
40        mrrc  p14, #16, r5, r4, c1
41        mrrc2  p14, #17, r5, r4, c1
42@ CHECK-ERRORS: operand must be an immediate in the range [0,7]
43@ CHECK-ERRORS: operand must be an immediate in the range [0,7]
44@ CHECK-ERRORS-V7: operand must be an immediate in the range [0,7]
45@ CHECK-ERRORS-V7: operand must be an immediate in the range [0,7]
46@ CHECK-ERRORS-V8: invalid instruction
47@ CHECK-ERRORS-V8: too many operands for instruction
48@ CHECK-ERRORS: operand must be an immediate in the range [0,15]
49@ CHECK-ERRORS-V7: operand must be an immediate in the range [0,15]
50@ CHECK-ERRORS-V8: invalid instruction
51
52        isb  #-1
53        isb  #16
54@ CHECK-ERRORS: error: immediate value out of range
55@ CHECK-ERRORS: error: immediate value out of range
56
57        itt eq
58        bkpteq #1
59@ CHECK-ERRORS: error: instruction 'bkpt' is not predicable, but condition code specified
60
61        nopeq
62        nopeq
63
64@ out of range operands for Thumb2 targets
65
66        beq.w  #-1048578
67        bne.w  #1048576
68        blt.w  #1013411
69        b.w    #-16777218
70        b.w    #16777216
71        b.w    #1592313
72
73@ CHECK-ERRORS: error: branch target out of range
74@ CHECK-ERRORS: error: branch target out of range
75@ CHECK-ERRORS: error: branch target out of range
76@ CHECK-ERRORS: error: branch target out of range
77@ CHECK-ERRORS: error: branch target out of range
78@ CHECK-ERRORS: error: branch target out of range
79
80foo2:
81        movw r0, foo2
82        movt r0, foo2
83        movt r0, #0x10000
84        movt r0, #0x10000
85@ CHECK-ERRORS: error: immediate expression for mov requires :lower16: or :upper16
86@ CHECK-ERRORS:                  ^
87@ CHECK-ERRORS: immediate expression for mov requires :lower16: or :upper16
88@ CHECK-ERRORS:                  ^
89@ CHECK-ERRORS: error: operand must be an immediate in the range [0,0xffff] or a relocatable expression
90@ CHECK-ERRORS: error: operand must be an immediate in the range [0,0xffff] or a relocatable expression
91
92        and sp, r1, #80008000
93        and pc, r1, #80008000
94@ CHECK-ERRORS: error: invalid instruction
95@ CHECK-ERRORS: error: invalid instruction
96
97        ssat r0, #1, r0, asr #32
98        usat r0, #1, r0, asr #32
99@ CHECK-ERRORS: error: 'asr #32' shift amount not allowed in Thumb mode
100@ CHECK-ERRORS: error: 'asr #32' shift amount not allowed in Thumb mode
101
102        @ PC is not valid as shifted-rGPR
103        sbc.w r2, r7, pc, lsr #16
104        and.w r2, r7, pc, lsr #16
105@ CHECK-ERRORS: error: invalid instruction, any one of the following would fix this:
106@ CHECK-ERRORS: note: invalid operand for instruction
107@ CHECK-ERRORS-V7: note: operand must be a register in range [r0, r12] or r14
108@ CHECK-ERRORS-V8: note: operand must be a register in range [r0, r14]
109@ CHECK-ERRORS: error: invalid instruction, any one of the following would fix this:
110@ CHECK-ERRORS: note: invalid operand for instruction
111@ CHECK-ERRORS-V7: note: operand must be a register in range [r0, r12] or r14
112@ CHECK-ERRORS-V8: note: operand must be a register in range [r0, r14]
113
114
115        @ PC is not valid as base of load
116        ldr r0, [pc, r0]
117        ldrb r1, [pc, r2]
118        ldrh r3, [pc, r3]
119        pld r4, [pc, r5]
120        str r6, [pc, r7]
121        strb r7 [pc, r8]
122        strh r9, [pc, r10]
123@ CHECK-ERRORS: error: invalid instruction, any one of the following would fix this:
124@ CHECK-ERRORS: note: invalid operand for instruction
125@ CHECK-ERRORS: note: instruction requires: arm-mode
126@ CHECK-ERRORS: error: invalid instruction, any one of the following would fix this:
127@ CHECK-ERRORS: note: invalid operand for instruction
128@ CHECK-ERRORS: note: instruction requires: arm-mode
129@ CHECK-ERRORS: error: invalid instruction, any one of the following would fix this:
130@ CHECK-ERRORS: note: instruction requires: arm-mode
131@ CHECK-ERRORS: note: invalid operand for instruction
132@ CHECK-ERRORS: error: invalid instruction
133@ CHECK-ERRORS: error: invalid instruction, any one of the following would fix this:
134@ CHECK-ERRORS: note: invalid operand for instruction
135@ CHECK-ERRORS: note: instruction requires: arm-mode
136@ CHECK-ERRORS: error: immediate value expected for vector index
137@ CHECK-ERRORS: error: invalid instruction, any one of the following would fix this:
138@ CHECK-ERRORS: note: instruction requires: arm-mode
139@ CHECK-ERRORS: note: invalid operand for instruction
140
141        @ SWP(B) is an ARM-only instruction
142        swp  r0, r1, [r2]
143        swpb r3, r4, [r5]
144@ CHECK-ERRORS-V7: error: instruction requires: arm-mode
145@ CHECK-ERRORS-V7: error: instruction requires: arm-mode
146@ CHECK-ERRORS-V8: error: invalid instruction
147@ CHECK-ERRORS-V8: error: invalid instruction
148
149        @ Generic error for too few operands
150        adds
151        adds r0
152@ CHECK-ERRORS: error: too few operands for instruction
153@ CHECK-ERRORS: error: too few operands for instruction
154
155        tst sp, #3
156        tst sp, r5
157        tst sp, r5, lsl #3
158@ CHECK-ERRORS-V7: error: operand must be a register in range [r0, r12] or r14
159@ CHECK-ERRORS-V7: operand must be a register in range [r0, r12] or r14
160@ CHECK-ERRORS-V7: operand must be a register in range [r0, r12] or r14
161
162        teq sp, #5
163        teq sp, r7
164        teq sp, r9, lsl #2
165@ CHECK-ERRORS-V7: error: operand must be a register in range [r0, r12] or r14
166@ CHECK-ERRORS-V7: operand must be a register in range [r0, r12] or r14
167@ CHECK-ERRORS-V7: operand must be a register in range [r0, r12] or r14
168