; 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}