blob: 3b333f3062a3f38feb454ed2b025a499d8c572cc [file]
; NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py UTC_ARGS: --version 3
; RUN: llc -mtriple=riscv64 -stop-after=finalize-isel < %s \
; RUN: | FileCheck %s --implicit-check-not=PseudoBRINDX7 \
; RUN: --implicit-check-not=PseudoCALLIndirectX7 \
; RUN: --implicit-check-not=PseudoTAILIndirectX7
; Test that with cf-protection-branch enabled, indirect branches/calls select
; the non-X7 variants to avoid using X7 for the target address.
@brind.arr = internal unnamed_addr constant [2 x ptr] [ptr blockaddress(@brind, %bb1), ptr blockaddress(@brind, %bb2)], align 8
@x = dso_local global i32 0, align 4
define void @brind(i32 noundef signext %0) {
; CHECK-LABEL: name: brind
; CHECK: PseudoBRIND killed %{{[0-9]+}}, 0
%2 = sext i32 %0 to i64
%3 = getelementptr inbounds [2 x ptr], ptr @brind.arr, i64 0, i64 %2
%4 = load ptr, ptr %3, align 8
indirectbr ptr %4, [label %bb1, label %bb2]
bb1:
%5 = load i32, ptr @x, align 4
%6 = add nsw i32 %5, 2
store i32 %6, ptr @x, align 4
br label %bb2
bb2:
%7 = load i32, ptr @x, align 4
%8 = add nsw i32 %7, 1
store i32 %8, ptr @x, align 4
ret void
}
define i32 @indirect_call(ptr %0) {
; CHECK-LABEL: name: indirect_call
; CHECK: PseudoCALLIndirect %{{[0-9]+}},
call void %0()
ret i32 0
}
define void @indirect_tail(ptr %0) {
; CHECK-LABEL: name: indirect_tail
; CHECK: PseudoTAILIndirect %{{[0-9]+}},
tail call void %0()
ret void
}
!llvm.module.flags = !{!0}
!0 = !{i32 8, !"cf-protection-branch", i32 1}