eaea4608e6
When feature CSSC is available, the SelectionDag abs intrinsic should map to the new scalar ABS instruction. Additionally, the SIMDTwoScalarD tablegen defm includes a pattern match for scalar i64, which we don't want to use when CSSC is enabled. spec: https://developer.arm.com/documentation/ddi0602/2022-09/Base-Instructions/ABS--Absolute-value- Reviewed By: lenary Differential Revision: https://reviews.llvm.org/D138812
76 lines
1.9 KiB
LLVM
76 lines
1.9 KiB
LLVM
; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
|
|
; RUN: llc < %s -mtriple=arm64-eabi | FileCheck %s
|
|
; RUN: llc < %s -mtriple=arm64-eabi -mattr=+cssc | FileCheck %s -check-prefix=CHECK-CSSC
|
|
|
|
define i8 @test_i8(i8 %a) nounwind {
|
|
; CHECK-LABEL: test_i8:
|
|
; CHECK: // %bb.0:
|
|
; CHECK-NEXT: sxtb w8, w0
|
|
; CHECK-NEXT: cmp w8, #0
|
|
; CHECK-NEXT: cneg w0, w8, mi
|
|
; CHECK-NEXT: ret
|
|
;
|
|
; CHECK-CSSC-LABEL: test_i8:
|
|
; CHECK-CSSC: // %bb.0:
|
|
; CHECK-CSSC-NEXT: sxtb w8, w0
|
|
; CHECK-CSSC-NEXT: abs w0, w8
|
|
; CHECK-CSSC-NEXT: ret
|
|
%tmp1neg = sub i8 0, %a
|
|
%b = icmp sgt i8 %a, -1
|
|
%abs = select i1 %b, i8 %a, i8 %tmp1neg
|
|
ret i8 %abs
|
|
}
|
|
|
|
define i16 @test_i16(i16 %a) nounwind {
|
|
; CHECK-LABEL: test_i16:
|
|
; CHECK: // %bb.0:
|
|
; CHECK-NEXT: sxth w8, w0
|
|
; CHECK-NEXT: cmp w8, #0
|
|
; CHECK-NEXT: cneg w0, w8, mi
|
|
; CHECK-NEXT: ret
|
|
;
|
|
; CHECK-CSSC-LABEL: test_i16:
|
|
; CHECK-CSSC: // %bb.0:
|
|
; CHECK-CSSC-NEXT: sxth w8, w0
|
|
; CHECK-CSSC-NEXT: abs w0, w8
|
|
; CHECK-CSSC-NEXT: ret
|
|
%tmp1neg = sub i16 0, %a
|
|
%b = icmp sgt i16 %a, -1
|
|
%abs = select i1 %b, i16 %a, i16 %tmp1neg
|
|
ret i16 %abs
|
|
}
|
|
|
|
define i32 @test_i32(i32 %a) nounwind {
|
|
; CHECK-LABEL: test_i32:
|
|
; CHECK: // %bb.0:
|
|
; CHECK-NEXT: cmp w0, #0
|
|
; CHECK-NEXT: cneg w0, w0, mi
|
|
; CHECK-NEXT: ret
|
|
;
|
|
; CHECK-CSSC-LABEL: test_i32:
|
|
; CHECK-CSSC: // %bb.0:
|
|
; CHECK-CSSC-NEXT: abs w0, w0
|
|
; CHECK-CSSC-NEXT: ret
|
|
%tmp1neg = sub i32 0, %a
|
|
%b = icmp sgt i32 %a, -1
|
|
%abs = select i1 %b, i32 %a, i32 %tmp1neg
|
|
ret i32 %abs
|
|
}
|
|
|
|
define i64 @test_i64(i64 %a) nounwind {
|
|
; CHECK-LABEL: test_i64:
|
|
; CHECK: // %bb.0:
|
|
; CHECK-NEXT: cmp x0, #0
|
|
; CHECK-NEXT: cneg x0, x0, mi
|
|
; CHECK-NEXT: ret
|
|
;
|
|
; CHECK-CSSC-LABEL: test_i64:
|
|
; CHECK-CSSC: // %bb.0:
|
|
; CHECK-CSSC-NEXT: abs x0, x0
|
|
; CHECK-CSSC-NEXT: ret
|
|
%tmp1neg = sub i64 0, %a
|
|
%b = icmp sgt i64 %a, -1
|
|
%abs = select i1 %b, i64 %a, i64 %tmp1neg
|
|
ret i64 %abs
|
|
}
|