51 lines
1.7 KiB
LLVM
51 lines
1.7 KiB
LLVM
; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 5
|
|
; RUN: llc -mtriple=riscv64 -mattr=+zicond < %s | FileCheck %s --check-prefixes=CHECK,CHEAP
|
|
; RUN: llc -mtriple=riscv64 -mattr=+zicond,+predictable-select-expensive < %s | FileCheck %s --check-prefixes=CHECK,EXPENSIVE
|
|
|
|
; Test has not predictable select, which should not be transformed to a branch
|
|
define i32 @test1(i32 %a) {
|
|
; CHECK-LABEL: test1:
|
|
; CHECK: # %bb.0: # %entry
|
|
; CHECK-NEXT: sext.w a1, a0
|
|
; CHECK-NEXT: slti a1, a1, 1
|
|
; CHECK-NEXT: addiw a0, a0, -1
|
|
; CHECK-NEXT: czero.nez a0, a0, a1
|
|
; CHECK-NEXT: ret
|
|
entry:
|
|
%cmp = icmp slt i32 %a, 1
|
|
%dec = sub i32 %a, 1
|
|
%res = select i1 %cmp, i32 0, i32 %dec, !prof !0
|
|
ret i32 %res
|
|
}
|
|
|
|
; Test has highly predictable select according to profile data,
|
|
; which should be transformed to a branch on cores with enabled TunePredictableSelectIsExpensive
|
|
define i32 @test2(i32 %a) {
|
|
; CHEAP-LABEL: test2:
|
|
; CHEAP: # %bb.0: # %entry
|
|
; CHEAP-NEXT: sext.w a1, a0
|
|
; CHEAP-NEXT: slti a1, a1, 1
|
|
; CHEAP-NEXT: addiw a0, a0, -1
|
|
; CHEAP-NEXT: czero.nez a0, a0, a1
|
|
; CHEAP-NEXT: ret
|
|
;
|
|
; EXPENSIVE-LABEL: test2:
|
|
; EXPENSIVE: # %bb.0: # %entry
|
|
; EXPENSIVE-NEXT: sext.w a1, a0
|
|
; EXPENSIVE-NEXT: blez a1, .LBB1_2
|
|
; EXPENSIVE-NEXT: # %bb.1: # %select.false
|
|
; EXPENSIVE-NEXT: addiw a0, a0, -1
|
|
; EXPENSIVE-NEXT: ret
|
|
; EXPENSIVE-NEXT: .LBB1_2:
|
|
; EXPENSIVE-NEXT: li a0, 0
|
|
; EXPENSIVE-NEXT: ret
|
|
entry:
|
|
%cmp = icmp slt i32 %a, 1
|
|
%dec = sub i32 %a, 1
|
|
%res = select i1 %cmp, i32 0, i32 %dec, !prof !1
|
|
ret i32 %res
|
|
}
|
|
|
|
!0 = !{!"branch_weights", i32 1, i32 1}
|
|
!1 = !{!"branch_weights", i32 1, i32 1000}
|