1; RUN: llc -mtriple=thumb-eabi -mcpu=arm1156t2-s -mattr=+thumb2 %s -o - | FileCheck %s
2
3define i32 @f6(i32 %a) {
4; CHECK:f6
5; CHECK: movw r0, #1123
6; CHECK: movt r0, #1000
7    %tmp = add i32 0, 65537123
8    ret i32 %tmp
9}
10