Index: test/Transforms/MinSFI/allocate-data-segment-empty.ll |
diff --git a/test/Transforms/MinSFI/allocate-data-segment-empty.ll b/test/Transforms/MinSFI/allocate-data-segment-empty.ll |
new file mode 100644 |
index 0000000000000000000000000000000000000000..7b366976a273ef9d4cb452b3c7e3cebc5f032d06 |
--- /dev/null |
+++ b/test/Transforms/MinSFI/allocate-data-segment-empty.ll |
@@ -0,0 +1,12 @@ |
+; RUN: opt %s -minsfi-allocate-data-segment -S | FileCheck %s |
+ |
+target datalayout = "p:32:32:32" |
+target triple = "le32-unknown-nacl" |
+ |
+define void @foo() { |
+ ret void |
+} |
+ |
+; CHECK: %__sfi_data_segment = type <{}> |
+; CHECK: @__sfi_data_segment = constant %__sfi_data_segment zeroinitializer |
+; CHECK: @__sfi_data_segment_size = constant i32 0 |