Add unreachable instruction to Subzero.

tests_lit/reader_tests/unreachable.ll

Index: tests_lit/reader_tests/unreachable.ll
diff --git a/tests_lit/reader_tests/unreachable.ll b/tests_lit/reader_tests/unreachable.ll
new file mode 100644
index 0000000000000000000000000000000000000000..954c8f8457d07b54fd9efbb8e6846bc8bade8a75
--- /dev/null
+++ b/tests_lit/reader_tests/unreachable.ll
@@ -0,0 +1,31 @@
+; Test parsing unreachable instruction.
+
+; RUN: llvm-as < %s | pnacl-freeze -allow-local-symbol-tables \
+; RUN:              | %llvm2ice -notranslate -verbose=inst -build-on-read \
+; RUN:                -allow-pnacl-reader-error-recovery \
+; RUN:                -allow-local-symbol-tables \
+; RUN:              | FileCheck %s
+
+define internal i32 @divide(i32 %num, i32 %den) {
+entry:
+  %cmp = icmp ne i32 %den, 0
+  br i1 %cmp, label %return, label %abort
+
+abort:                                            ; preds = %entry
+  unreachable
+
+return:                                           ; preds = %entry
+  %div = sdiv i32 %num, %den

[Jim Stichnoth, 2014/09/16 20:16:31]

If you're testing for exceptional conditions, also check for %num=MININT and
%den=-1.

(just kidding)

[Karl, 2014/09/16 20:35:54]

Acknowledged.

+  ret i32 %div
+}
+
+; CHECK:      define internal i32 @divide(i32 %num, i32 %den) {
+; CHECK-NEXT: entry:
+; CHECK-NEXT:   %cmp = icmp ne i32 %den, 0
+; CHECK-NEXT:   br i1 %cmp, label %return, label %abort
+; CHECK-NEXT: abort:
+; CHECK-NEXT:   unreachable
+; CHECK-NEXT: return:
+; CHECK-NEXT:   %div = sdiv i32 %num, %den
+; CHECK-NEXT:   ret i32 %div
+; CHECK-NEXT: }