Introduce model of global initializers in Subzero.

tests_lit/reader_tests/unnamed.ll

Index: tests_lit/reader_tests/unnamed.ll
diff --git a/tests_lit/reader_tests/unnamed.ll b/tests_lit/reader_tests/unnamed.ll
index 8495ee5fe4f4449cbf9bb9384166b68be3ae5b35..c2dc6763f6328483cb2468e0c509c696d700bf37 100644
--- a/tests_lit/reader_tests/unnamed.ll
+++ b/tests_lit/reader_tests/unnamed.ll
@@ -1,8 +1,16 @@
 ; Tests that we name unnamed global addresses.
 
+; Check that the ICE converter handles renaming correctly.
+; RUN: %l2i --no-local-syms -i %s --insts | FileCheck %s
+
+; RUN: %l2i --no-local-syms -i %s --insts --args --exit-success \
+; RUN:      -default-function-prefix=h -default-global-prefix=g \
+; RUN:      | FileCheck --check-prefix=BAD %s
+
+; Check that Subzero's bitcode reader handles renaming correctly.
 ; RUN: %p2i --no-local-syms -i %s --insts | FileCheck %s
 
-; RUN: %p2i --no-local-syms -i %s --insts --args \
+; RUN: %p2i --no-local-syms -i %s --insts --args --exit-success \
 ; RUN:      -default-function-prefix=h -default-global-prefix=g \
 ; RUN:      | FileCheck --check-prefix=BAD %s
 
@@ -12,8 +20,6 @@
 @1 = internal constant [10 x i8] c"Some stuff", align 1
 @g = internal global [4 x i8] zeroinitializer, align 4
 
-; BAD: Warning: Default global prefix 'g' conflicts with name 'g'.
-
 define i32 @2(i32 %v) {
   ret i32 %v
 }
@@ -27,7 +33,6 @@ define void @hg() {
   ret void
 }
 
-; BAD: Warning: Default function prefix 'h' conflicts with name 'hg'.
 
 ; CHECK-NEXT: define void @hg() {
 ; CHECK-NEXT: __0:
@@ -42,3 +47,15 @@ define void @3() {
 ; CHECK-NEXT: __0:
 ; CHECK-NEXT:   ret void
 ; CHECK-NEXT: }
+
+define void @h5() {
+  ret void
+}
+
+; CHECK-NEXT: define void @h5() {
+; CHECK-NEXT: __0:
+; CHECK-NEXT:   ret void
+; CHECK-NEXT: }
+
+; BAD: Warning : Default global prefix 'g' potentially conflicts with name 'g'.
+; BAD: Warning : Default function prefix 'h' potentially conflicts with name 'h5'.