[InstCombine] Signed saturation patterns
[llvm-core.git] / test / CodeGen / Thumb2 / thumb2-add4.ll
blobad9642d0706d25975c61e40a103cbeb804effed8
1 ; RUN: llc -mtriple=thumb-eabi -mcpu=arm1156t2-s -mattr=+thumb2 %s -o - | FileCheck %s
3 ; 171 = 0x000000ab
4 define i64 @f1(i64 %a) {
5 ; CHECK-LABEL: f1:
6 ; CHECK: adds r0, #171
7 ; CHECK: adc r1, r1, #0
8     %tmp = add i64 %a, 171
9     ret i64 %tmp
12 ; 1179666 = 0x00120012
13 define i64 @f2(i64 %a) {
14 ; CHECK-LABEL: f2:
15 ; CHECK: adds.w r0, r0, #1179666
16 ; CHECK: adc r1, r1, #0
17     %tmp = add i64 %a, 1179666
18     ret i64 %tmp
21 ; 872428544 = 0x34003400
22 define i64 @f3(i64 %a) {
23 ; CHECK-LABEL: f3:
24 ; CHECK: adds.w r0, r0, #872428544
25 ; CHECK: adc r1, r1, #0
26     %tmp = add i64 %a, 872428544
27     ret i64 %tmp
30 ; 1448498774 = 0x56565656
31 define i64 @f4(i64 %a) {
32 ; CHECK-LABEL: f4:
33 ; CHECK: adds.w r0, r0, #1448498774
34 ; CHECK: adc r1, r1, #0
35     %tmp = add i64 %a, 1448498774
36     ret i64 %tmp
39 ; 66846720 = 0x03fc0000
40 define i64 @f5(i64 %a) {
41 ; CHECK-LABEL: f5:
42 ; CHECK: adds.w r0, r0, #66846720
43 ; CHECK: adc r1, r1, #0
44     %tmp = add i64 %a, 66846720
45     ret i64 %tmp