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 @func32(i32 %x, i32 %y, i32 %z) nounwind {
11 ; CHECK-LABEL: func32:
13 ; CHECK-NEXT: mul w8, w1, w2
14 ; CHECK-NEXT: adds w8, w0, w8
15 ; CHECK-NEXT: csinv w0, w8, wzr, lo
18 %tmp = call i32 @llvm.uadd.sat.i32(i32 %x, i32 %a)
22 define i64 @func64(i64 %x, i64 %y, i64 %z) nounwind {
23 ; CHECK-LABEL: func64:
25 ; CHECK-NEXT: adds x8, x0, x2
26 ; CHECK-NEXT: csinv x0, x8, xzr, lo
29 %tmp = call i64 @llvm.uadd.sat.i64(i64 %x, i64 %z)
33 define i16 @func16(i16 %x, i16 %y, i16 %z) nounwind {
34 ; CHECK-LABEL: func16:
36 ; CHECK-NEXT: mul w8, w1, w2
37 ; CHECK-NEXT: lsl w9, w0, #16
38 ; CHECK-NEXT: adds w8, w9, w8, lsl #16
39 ; CHECK-NEXT: csinv w8, w8, wzr, lo
40 ; CHECK-NEXT: lsr w0, w8, #16
43 %tmp = call i16 @llvm.uadd.sat.i16(i16 %x, i16 %a)
47 define i8 @func8(i8 %x, i8 %y, i8 %z) nounwind {
50 ; CHECK-NEXT: mul w8, w1, w2
51 ; CHECK-NEXT: lsl w9, w0, #24
52 ; CHECK-NEXT: adds w8, w9, w8, lsl #24
53 ; CHECK-NEXT: csinv w8, w8, wzr, lo
54 ; CHECK-NEXT: lsr w0, w8, #24
57 %tmp = call i8 @llvm.uadd.sat.i8(i8 %x, i8 %a)
61 define i4 @func4(i4 %x, i4 %y, i4 %z) nounwind {
64 ; CHECK-NEXT: mul w8, w1, w2
65 ; CHECK-NEXT: lsl w9, w0, #28
66 ; CHECK-NEXT: adds w8, w9, w8, lsl #28
67 ; CHECK-NEXT: csinv w8, w8, wzr, lo
68 ; CHECK-NEXT: lsr w0, w8, #28
71 %tmp = call i4 @llvm.uadd.sat.i4(i4 %x, i4 %a)