OLD | NEW |
1 ; This tests that the output of "-convert-to-pso" passes PNaCl's ABI verifier. | 1 ; This tests that the output of "-convert-to-pso" passes PNaCl's ABI verifier. |
2 ; RUN: opt < %s -convert-to-pso -pnacl-abi-simplify-postopt \ | 2 ; RUN: opt < %s -convert-to-pso -convert-to-pso-deps=libfoo.so,libbar.so \ |
3 ; RUN: -verify-pnaclabi-module -verify-pnaclabi-functions -S | FileCheck %s | 3 ; RUN: -pnacl-abi-simplify-postopt -verify-pnaclabi-module \ |
| 4 ; RUN: -verify-pnaclabi-functions -S | FileCheck %s |
4 | 5 |
5 target datalayout = "p:32:32:32" | 6 target datalayout = "p:32:32:32" |
6 | 7 |
7 | 8 |
8 ; Test exporting variables. | 9 ; Test exporting variables. |
9 @var1 = global i32 123 | 10 @var1 = global i32 123 |
10 @var2 = global i32 456 | 11 @var2 = global i32 456 |
11 | 12 |
12 ; Test exporting multiple functions. | 13 ; Test exporting multiple functions. |
13 define i32 @exported_foo() { | 14 define i32 @exported_foo() { |
(...skipping 94 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
108 define i32* @get_imported_var_addend() { | 109 define i32* @get_imported_var_addend() { |
109 ret i32* getelementptr (i32, i32* @imported_var_addend, i32 1) | 110 ret i32* getelementptr (i32, i32* @imported_var_addend, i32 1) |
110 } | 111 } |
111 ; CHECK: define internal i32 @get_imported_var_addend() | 112 ; CHECK: define internal i32 @get_imported_var_addend() |
112 ; CHECK-NEXT: %expanded = ptrtoint {{.*}} @__globals_table__ to i32 | 113 ; CHECK-NEXT: %expanded = ptrtoint {{.*}} @__globals_table__ to i32 |
113 ; CHECK-NEXT: %gep = add i32 %expanded | 114 ; CHECK-NEXT: %gep = add i32 %expanded |
114 ; CHECK-NEXT: %gep.asptr = inttoptr i32 %gep to i32* | 115 ; CHECK-NEXT: %gep.asptr = inttoptr i32 %gep to i32* |
115 ; CHECK-NEXT: %imported_var_addend = load i32, i32* %gep.asptr | 116 ; CHECK-NEXT: %imported_var_addend = load i32, i32* %gep.asptr |
116 ; CHECK-NEXT: %gep4 = add i32 %imported_var_addend, 4 | 117 ; CHECK-NEXT: %gep4 = add i32 %imported_var_addend, 4 |
117 ; CHECK-NEXT: ret i32 %gep4 | 118 ; CHECK-NEXT: ret i32 %gep4 |
OLD | NEW |