; RUN: llvm-as < %s | llc -march=thumb -mattr=+thumb2 | grep {adc\\W*r\[0-9\],\\W*r\[0-9\],\\W*#\[0-9\]*} | grep {#171\\|#1179666\\|#872428544\\|#1448498774\\|#66846720} | count 5

; 734439407617 = 0x000000ab00000001
define i64 @f1(i64 %a) {
    %tmp = add i64 %a, 734439407617
    ret i64 %tmp
}

; 5066626890203137 = 0x0012001200000001
define i64 @f2(i64 %a) {
    %tmp = add i64 %a, 5066626890203137
    ret i64 %tmp
}

; 3747052064576897025 = 0x3400340000000001
define i64 @f3(i64 %a) {
    %tmp = add i64 %a, 3747052064576897025
    ret i64 %tmp
}

; 6221254862626095105 = 0x5656565600000001
define i64 @f4(i64 %a) {
    %tmp = add i64 %a, 6221254862626095105 
    ret i64 %tmp
}

; 287104476244869121 = 0x03fc000000000001
define i64 @f5(i64 %a) {
    %tmp = add i64 %a, 287104476244869121 
    ret i64 %tmp
}