Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(382)

Side by Side Diff: test/Transforms/MinSFI/sandbox-indirect-calls.ll

Issue 1151093004: Changes from 3.7 merge to files not in upstream (Closed) Base URL: https://chromium.googlesource.com/native_client/pnacl-llvm.git@master
Patch Set: Created 5 years, 7 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View unified diff | Download patch
OLDNEW
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
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)
OLDNEW

Powered by Google App Engine
This is Rietveld 408576698