OLD | NEW |
1 ; RUN: opt %s -minsfi-sandbox-indirect-calls -S | FileCheck %s | 1 ; RUN: opt %s -minsfi-sandbox-indirect-calls -S | FileCheck %s |
2 | 2 |
3 !llvm.module.flags = !{!0} | 3 !llvm.module.flags = !{!0} |
4 !0 = metadata !{i32 1, metadata !"Debug Info Version", i32 2} | 4 !0 = !{i32 1, !"Debug Info Version", i32 3} |
5 | 5 |
6 target datalayout = "p:32:32:32" | 6 target datalayout = "p:32:32:32" |
7 target triple = "le32-unknown-nacl" | 7 target triple = "le32-unknown-nacl" |
8 | 8 |
9 declare void @fn_v_v() | 9 declare void @fn_v_v() |
10 declare void @fn_v_i_not_addr_taken(i32) | 10 declare void @fn_v_i_not_addr_taken(i32) |
11 declare void @fn_v_i_1(i32) | 11 declare void @fn_v_i_1(i32) |
12 declare i32 @fn_i_i_not_addr_taken(i32) | 12 declare i32 @fn_i_i_not_addr_taken(i32) |
13 declare i32 @fn_i_ii(i32, i32) | 13 declare i32 @fn_i_ii(i32, i32) |
14 declare void @fn_v_i_2(i32) | 14 declare void @fn_v_i_2(i32) |
(...skipping 39 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
54 ret void | 54 ret void |
55 } | 55 } |
56 | 56 |
57 ; CHECK-LABEL: define void @test_ptr_insts_replaced() { | 57 ; CHECK-LABEL: define void @test_ptr_insts_replaced() { |
58 ; CHECK-NEXT: call void @foo_2ptr(i32 4, i32 3) | 58 ; CHECK-NEXT: call void @foo_2ptr(i32 4, i32 3) |
59 ; CHECK-NEXT: ret void | 59 ; CHECK-NEXT: ret void |
60 ; CHECK-NEXT: } | 60 ; CHECK-NEXT: } |
61 | 61 |
62 define void @test_indirect_calls(i32 %index_v_i, i32 %index_i_ii) { | 62 define void @test_indirect_calls(i32 %index_v_i, i32 %index_i_ii) { |
63 %fn_v_i = inttoptr i32 %index_v_i to void (i32)*, !dbg !1 | 63 %fn_v_i = inttoptr i32 %index_v_i to void (i32)*, !dbg !1 |
64 call void %fn_v_i(i32 7), !dbg !2 | 64 call void %fn_v_i(i32 7), !dbg !3 |
65 call void %fn_v_i(i32 9), !dbg !3 | 65 call void %fn_v_i(i32 9), !dbg !4 |
66 %fn_i_ii = inttoptr i32 %index_i_ii to i32 (i32, i32)*, !dbg !4 | 66 %fn_i_ii = inttoptr i32 %index_i_ii to i32 (i32, i32)*, !dbg !5 |
67 call i32 %fn_i_ii(i32 11, i32 13), !dbg !5 | 67 call i32 %fn_i_ii(i32 11, i32 13), !dbg !6 |
68 ret void | 68 ret void |
69 } | 69 } |
70 | 70 |
71 ; CHECK-LABEL: define void @test_indirect_calls(i32 %index_v_i, i32 %index_i_ii)
{ | 71 ; CHECK-LABEL: define void @test_indirect_calls(i32 %index_v_i, i32 %index_i_ii)
{ |
72 ; CHECK-NEXT: %1 = and i32 %index_v_i, 7 | 72 ; CHECK-NEXT: %1 = and i32 %index_v_i, 7 |
73 ; CHECK-NEXT: %2 = getelementptr [8 x void (i32)*]* [[TAB_V_I]], i32 0, i32 %
1 | 73 ; CHECK-NEXT: %2 = getelementptr [8 x void (i32)*], [8 x void (i32)*]* [[TAB_
V_I]], i32 0, i32 %1 |
74 ; CHECK-NEXT: %3 = load void (i32)** %2, !dbg !1 | 74 ; CHECK-NEXT: %3 = load void (i32)*, void (i32)** %2, !dbg !1 |
75 ; CHECK-NEXT: call void %3(i32 7), !dbg !2 | 75 ; CHECK-NEXT: call void %3(i32 7), !dbg !3 |
76 ; CHECK-NEXT: %4 = and i32 %index_v_i, 7 | 76 ; CHECK-NEXT: %4 = and i32 %index_v_i, 7 |
77 ; CHECK-NEXT: %5 = getelementptr [8 x void (i32)*]* [[TAB_V_I]], i32 0, i32 %
4 | 77 ; CHECK-NEXT: %5 = getelementptr [8 x void (i32)*], [8 x void (i32)*]* [[TAB_
V_I]], i32 0, i32 %4 |
78 ; CHECK-NEXT: %6 = load void (i32)** %5, !dbg !1 | 78 ; CHECK-NEXT: %6 = load void (i32)*, void (i32)** %5, !dbg !1 |
79 ; CHECK-NEXT: call void %6(i32 9), !dbg !3 | 79 ; CHECK-NEXT: call void %6(i32 9), !dbg !4 |
80 ; CHECK-NEXT: %7 = and i32 %index_i_ii, 7 | 80 ; CHECK-NEXT: %7 = and i32 %index_i_ii, 7 |
81 ; CHECK-NEXT: %8 = getelementptr [8 x i32 (i32, i32)*]* [[TAB_I_II]], i32 0,
i32 %7 | 81 ; CHECK-NEXT: %8 = getelementptr [8 x i32 (i32, i32)*], [8 x i32 (i32, i32)*]
* [[TAB_I_II]], i32 0, i32 %7 |
82 ; CHECK-NEXT: %9 = load i32 (i32, i32)** %8, !dbg !4 | 82 ; CHECK-NEXT: %9 = load i32 (i32, i32)*, i32 (i32, i32)** %8, !dbg !5 |
83 ; CHECK-NEXT: call i32 %9(i32 11, i32 13), !dbg !5 | 83 ; CHECK-NEXT: call i32 %9(i32 11, i32 13), !dbg !6 |
84 ; CHECK-NEXT: ret void | 84 ; CHECK-NEXT: ret void |
85 ; CHECK-NEXT: } | 85 ; CHECK-NEXT: } |
86 | 86 |
87 define float @test_call_without_a_table(i32 %index) { | 87 define float @test_call_without_a_table(i32 %index) { |
88 %fn = inttoptr i32 %index to float (float)* | 88 %fn = inttoptr i32 %index to float (float)* |
89 %ret = call float %fn(float 0.000000e+00) | 89 %ret = call float %fn(float 0.000000e+00) |
90 ret float %ret | 90 ret float %ret |
91 } | 91 } |
92 | 92 |
93 ; CHECK-LABEL: define float @test_call_without_a_table(i32 %index) { | 93 ; CHECK-LABEL: define float @test_call_without_a_table(i32 %index) { |
94 ; CHECK-NEXT: call void @llvm.trap() | 94 ; CHECK-NEXT: call void @llvm.trap() |
95 ; CHECK-NEXT: %ret = call float null(float 0.000000e+00) | 95 ; CHECK-NEXT: %ret = call float null(float 0.000000e+00) |
96 ; CHECK-NEXT: ret float %ret | 96 ; CHECK-NEXT: ret float %ret |
97 ; CHECK-NEXT: } | 97 ; CHECK-NEXT: } |
98 | 98 |
99 !1 = metadata !{i32 138, i32 0, metadata !1, null} | 99 |
100 !2 = metadata !{i32 142, i32 0, metadata !2, null} | 100 !1 = !MDLocation(line: 1, column: 13, scope: !2) |
101 !3 = metadata !{i32 144, i32 0, metadata !3, null} | 101 !2 = !MDSubprogram(name: "foo") |
102 !4 = metadata !{i32 144, i32 0, metadata !4, null} | 102 !3 = !MDLocation(line: 2, column: 10, scope: !2) |
103 !5 = metadata !{i32 144, i32 0, metadata !5, null} | 103 !4 = !MDLocation(line: 2, column: 3, scope: !2) |
| 104 !5 = !MDLocation(line: 23, column: 3, scope: !2) |
| 105 !6 = !MDLocation(line: 234, column: 3, scope: !2) |
OLD | NEW |