Rebased PNaCl localmods in LLVM to 223109

test/NaCl/Bitcode/pnacl-bcdis/unreachable.ll

Index: test/NaCl/Bitcode/pnacl-bcdis/unreachable.ll
diff --git a/test/NaCl/Bitcode/pnacl-bcdis/unreachable.ll b/test/NaCl/Bitcode/pnacl-bcdis/unreachable.ll
new file mode 100644
index 0000000000000000000000000000000000000000..9380299d9158915fbeeb2ffa5549422fd9fb9d1b
--- /dev/null
+++ b/test/NaCl/Bitcode/pnacl-bcdis/unreachable.ll
@@ -0,0 +1,42 @@
+; Test unreachable statement (without worrying if legal in context).
+
+; RUN: llvm-as < %s | pnacl-freeze | pnacl-bccompress --remove-abbreviations \
+; RUN:              | pnacl-bcdis | FileCheck %s
+
+
+
+; Note: This code only tests parsing of unreachable, not correctness
+; of use.
+define void @TestUnreach(i32 %p0) {
+
+; CHECK:               |                             |  %b0:
+
+  %v0 = trunc i32 %p0 to i1
+  br i1 %v0, label %b1, label %b2
+
+b1:
+  br i1 %v0, label %b3, label %b4
+
+b2:
+  br i1 %v0, label %b5, label %b3
+
+
+b3:
+  unreachable
+
+; CHECK:               |                             |  %b3:
+; CHECK-NEXT:    {{.*}}|    3: <15>                  |    unreachable;
+
+b4:
+  unreachable
+
+; CHECK:               |                             |  %b4:
+; CHECK-NEXT:    {{.*}}|    3: <15>                  |    unreachable;
+
+b5:
+  unreachable
+
+; CHECK:               |                             |  %b5:
+; CHECK-NEXT:    {{.*}}|    3: <15>                  |    unreachable;
+
+}