// RUN: not llvm-mc --triple thumbv6m %s 2>&1 | FileCheck %s --check-prefixes=CHECK,THUMB1
// RUN: not llvm-mc --triple thumbv7m %s 2>&1 | FileCheck %s --check-prefixes=CHECK,THUMB2

// This test checks reporting of errors of the form "you should have
// used :lower16: in this immediate field", during initial reading of
// the source file.
//
// For errors that are reported at object-file output time, see
// lower-upper-errors-2.s.

// CHECK: :[[@LINE+1]]:10: error: Immediate expression for Thumb movs requires :lower0_7:, :lower8_15:, :upper0_7: or :upper8_15:
movs r0, #foo

// CHECK: :[[@LINE+1]]:10: error: Immediate expression for Thumb adds requires :lower0_7:, :lower8_15:, :upper0_7: or :upper8_15:
adds r0, #foo

// THUMB2: :[[@LINE+1]]:10: error: immediate expression for mov requires :lower16: or :upper16
movw r0, #foo

// THUMB2: :[[@LINE+1]]:10: error: immediate expression for mov requires :lower16: or :upper16
movt r0, #foo

// With a Thumb2 wide add instruction available, this case isn't an error
// while reading the source file. It only causes a problem when an object
// file is output, and it turns out there's no suitable relocation to ask
// for the value of an external symbol to be turned into a Thumb shifted
// immediate field. And in this case the other errors in this source file
// cause assembly to terminate before reaching the object-file output stage
// (even if a test run had had -filetype=obj).

// THUMB1: :[[@LINE+2]]:14: error: Immediate expression for Thumb adds requires :lower0_7:, :lower8_15:, :upper0_7: or :upper8_15:
// THUMB2-NOT: :[[@LINE+1]]:{{[0-9]+}}: error:
adds r0, r0, #foo

// Similarly for this version, which _must_ be the wide encoding due
// to the use of a high register and the lack of flag-setting.

// THUMB1: :[[@LINE+2]]:1: error: invalid instruction
// THUMB2-NOT: :[[@LINE+1]]:{{[0-9]+}}: error:
add r9, r0, #foo

// CHECK: :[[@LINE+1]]:10: error: Immediate expression for Thumb movs requires :lower0_7:, :lower8_15:, :upper0_7: or :upper8_15:
movs r0, :lower16:#foo

// This is invalid in either architecture: in Thumb1 it can't use a
// high register, and in Thumb2 it can't use :upper8_15:. But the
// Thumb2 case won't cause an error until output.

// THUMB1: :[[@LINE+2]]:1: error: invalid instruction
// THUMB2-NOT: :[[@LINE+1]]:{{[0-9]+}}: error:
movs r11, :upper8_15:#foo