98 lines · plain
1; RUN: llc -mattr=harden-sls-ret -mtriple=x86_64-unknown-unknown < %s | FileCheck %s -check-prefixes=CHECK,RET2; RUN: llc -mattr=harden-sls-ijmp -mtriple=x86_64-unknown-unknown < %s | FileCheck %s -check-prefixes=CHECK,IJMP3 4define dso_local i32 @double_return(i32 %a, i32 %b) local_unnamed_addr {5; CHECK-LABEL: double_return:6; CHECK: jle7; CHECK-NOT: int38; CHECK: retq9; RET-NEXT: int310; IJMP-NOT: int311; CHECK: retq12; RET-NEXT: int313; IJMP-NOT: int314entry:15 %cmp = icmp sgt i32 %a, 016 br i1 %cmp, label %if.then, label %if.else17 18if.then: ; preds = %entry19 %div = sdiv i32 %a, %b20 ret i32 %div21 22if.else: ; preds = %entry23 %div1 = sdiv i32 %b, %a24 ret i32 %div125}26 27@__const.indirect_branch.ptr = private unnamed_addr constant [2 x ptr] [ptr blockaddress(@indirect_branch, %return), ptr blockaddress(@indirect_branch, %l2)], align 828 29; Function Attrs: norecurse nounwind readnone30define dso_local i32 @indirect_branch(i32 %a, i32 %b, i32 %i) {31; CHECK-LABEL: indirect_branch:32; CHECK: jmpq *33; RET-NOT: int334; IJMP-NEXT: int335; CHECK: retq36; RET-NEXT: int337; IJMP-NOT: int338; CHECK: retq39; RET-NEXT: int340; IJMP-NOT: int341entry:42 %idxprom = sext i32 %i to i6443 %arrayidx = getelementptr inbounds [2 x ptr], ptr @__const.indirect_branch.ptr, i64 0, i64 %idxprom44 %0 = load ptr, ptr %arrayidx, align 845 indirectbr ptr %0, [label %return, label %l2]46 47l2: ; preds = %entry48 br label %return49 50return: ; preds = %entry, %l251 %retval.0 = phi i32 [ 1, %l2 ], [ 0, %entry ]52 ret i32 %retval.053}54 55define i32 @asmgoto() {56; CHECK-LABEL: asmgoto:57; CHECK: # %bb.0: # %entry58; CHECK: jmp .L59; CHECK-NOT: int360; CHECK: retq61; RET-NEXT: int362; IJMP-NOT: int363; CHECK: retq64; RET-NEXT: int365; IJMP-NOT: int366entry:67 callbr void asm sideeffect "jmp $0", "!i"()68 to label %asm.fallthrough [label %d]69 ; The asm goto above produces a direct branch:70 71asm.fallthrough: ; preds = %entry72 ret i32 073 74d: ; preds = %asm.fallthrough, %entry75 ret i32 176}77 78define void @bar(ptr %0) {79; CHECK-LABEL: bar:80; CHECK: jmpq *81; RET-NOT: int382; IJMP-NEXT: int383; CHECK-NOT: ret84 tail call void %0()85 ret void86}87 88declare dso_local void @foo()89 90define dso_local void @bar2() {91; CHECK-LABEL: bar2:92; CHECK: jmp foo93; CHECK-NOT: int394; CHECK-NOT: ret95 tail call void @foo()96 ret void97}98