1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
|
; RUN: llc -mattr=harden-sls-ret -mtriple=x86_64-unknown-unknown < %s | FileCheck %s -check-prefixes=CHECK,RET
; RUN: llc -mattr=harden-sls-ijmp -mtriple=x86_64-unknown-unknown < %s | FileCheck %s -check-prefixes=CHECK,IJMP
define dso_local i32 @double_return(i32 %a, i32 %b) local_unnamed_addr {
; CHECK-LABEL: double_return:
; CHECK: jle
; CHECK-NOT: int3
; CHECK: retq
; RET-NEXT: int3
; IJMP-NOT: int3
; CHECK: retq
; RET-NEXT: int3
; IJMP-NOT: int3
entry:
%cmp = icmp sgt i32 %a, 0
br i1 %cmp, label %if.then, label %if.else
if.then: ; preds = %entry
%div = sdiv i32 %a, %b
ret i32 %div
if.else: ; preds = %entry
%div1 = sdiv i32 %b, %a
ret i32 %div1
}
@__const.indirect_branch.ptr = private unnamed_addr constant [2 x ptr] [ptr blockaddress(@indirect_branch, %return), ptr blockaddress(@indirect_branch, %l2)], align 8
; Function Attrs: norecurse nounwind readnone
define dso_local i32 @indirect_branch(i32 %a, i32 %b, i32 %i) {
; CHECK-LABEL: indirect_branch:
; CHECK: jmpq *
; RET-NOT: int3
; IJMP-NEXT: int3
; CHECK: retq
; RET-NEXT: int3
; IJMP-NOT: int3
; CHECK: retq
; RET-NEXT: int3
; IJMP-NOT: int3
entry:
%idxprom = sext i32 %i to i64
%arrayidx = getelementptr inbounds [2 x ptr], ptr @__const.indirect_branch.ptr, i64 0, i64 %idxprom
%0 = load ptr, ptr %arrayidx, align 8
indirectbr ptr %0, [label %return, label %l2]
l2: ; preds = %entry
br label %return
return: ; preds = %entry, %l2
%retval.0 = phi i32 [ 1, %l2 ], [ 0, %entry ]
ret i32 %retval.0
}
define i32 @asmgoto() {
; CHECK-LABEL: asmgoto:
; CHECK: # %bb.0: # %entry
; CHECK: jmp .L
; CHECK-NOT: int3
; CHECK: retq
; RET-NEXT: int3
; IJMP-NOT: int3
; CHECK: retq
; RET-NEXT: int3
; IJMP-NOT: int3
entry:
callbr void asm sideeffect "jmp $0", "!i"()
to label %asm.fallthrough [label %d]
; The asm goto above produces a direct branch:
asm.fallthrough: ; preds = %entry
ret i32 0
d: ; preds = %asm.fallthrough, %entry
ret i32 1
}
define void @bar(ptr %0) {
; CHECK-LABEL: bar:
; CHECK: jmpq *
; RET-NOT: int3
; IJMP-NEXT: int3
; CHECK-NOT: ret
tail call void %0()
ret void
}
declare dso_local void @foo()
define dso_local void @bar2() {
; CHECK-LABEL: bar2:
; CHECK: jmp foo
; CHECK-NOT: int3
; CHECK-NOT: ret
tail call void @foo()
ret void
}
|
