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