[Codegen] Alter the default promotion for saturating adds and subs
[llvm-core.git] / test / CodeGen / AArch64 / uadd_sat.ll
blobf2bbc3e5de6881e3448e3c435af940bb8f1ea8cc
1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
2 ; RUN: llc < %s -mtriple=aarch64-- | FileCheck %s
4 declare i4 @llvm.uadd.sat.i4(i4, i4)
5 declare i8 @llvm.uadd.sat.i8(i8, i8)
6 declare i16 @llvm.uadd.sat.i16(i16, i16)
7 declare i32 @llvm.uadd.sat.i32(i32, i32)
8 declare i64 @llvm.uadd.sat.i64(i64, i64)
10 define i32 @func(i32 %x, i32 %y) nounwind {
11 ; CHECK-LABEL: func:
12 ; CHECK:       // %bb.0:
13 ; CHECK-NEXT:    adds w8, w0, w1
14 ; CHECK-NEXT:    csinv w0, w8, wzr, lo
15 ; CHECK-NEXT:    ret
16   %tmp = call i32 @llvm.uadd.sat.i32(i32 %x, i32 %y);
17   ret i32 %tmp;
20 define i64 @func2(i64 %x, i64 %y) nounwind {
21 ; CHECK-LABEL: func2:
22 ; CHECK:       // %bb.0:
23 ; CHECK-NEXT:    adds x8, x0, x1
24 ; CHECK-NEXT:    csinv x0, x8, xzr, lo
25 ; CHECK-NEXT:    ret
26   %tmp = call i64 @llvm.uadd.sat.i64(i64 %x, i64 %y);
27   ret i64 %tmp;
30 define i16 @func16(i16 %x, i16 %y) nounwind {
31 ; CHECK-LABEL: func16:
32 ; CHECK:       // %bb.0:
33 ; CHECK-NEXT:    add w8, w0, w1
34 ; CHECK-NEXT:    mov w9, #65535
35 ; CHECK-NEXT:    cmp w8, w9
36 ; CHECK-NEXT:    csel w0, w8, w9, lo
37 ; CHECK-NEXT:    ret
38   %tmp = call i16 @llvm.uadd.sat.i16(i16 %x, i16 %y);
39   ret i16 %tmp;
42 define i8 @func8(i8 %x, i8 %y) nounwind {
43 ; CHECK-LABEL: func8:
44 ; CHECK:       // %bb.0:
45 ; CHECK-NEXT:    add w8, w0, w1
46 ; CHECK-NEXT:    cmp w8, #255 // =255
47 ; CHECK-NEXT:    mov w9, #255
48 ; CHECK-NEXT:    csel w0, w8, w9, lo
49 ; CHECK-NEXT:    ret
50   %tmp = call i8 @llvm.uadd.sat.i8(i8 %x, i8 %y);
51   ret i8 %tmp;
54 define i4 @func3(i4 %x, i4 %y) nounwind {
55 ; CHECK-LABEL: func3:
56 ; CHECK:       // %bb.0:
57 ; CHECK-NEXT:    add w8, w0, w1
58 ; CHECK-NEXT:    cmp w8, #15 // =15
59 ; CHECK-NEXT:    mov w9, #15
60 ; CHECK-NEXT:    csel w0, w8, w9, lo
61 ; CHECK-NEXT:    ret
62   %tmp = call i4 @llvm.uadd.sat.i4(i4 %x, i4 %y);
63   ret i4 %tmp;