Fix Subzero binary instruction to allow optional flags argument.

tests_lit/reader_tests/binop-forms.test

Index: tests_lit/reader_tests/binop-forms.test
diff --git a/tests_lit/reader_tests/binop-forms.test b/tests_lit/reader_tests/binop-forms.test
new file mode 100644
index 0000000000000000000000000000000000000000..086f0f0e6ff0fcc1b2cb2799d15ecf7665f488d1
--- /dev/null
+++ b/tests_lit/reader_tests/binop-forms.test
@@ -0,0 +1,19 @@
+; Test if we recognize both the old and the new forms of a binary instruction.
+
+; REQUIRES: no_minimal_build
+
+; Checks that the new form of binary add (without flags argument) works.
+; RUN: %pnacl_sz -verbose inst,global_init -notranslate \
+; RUN:   -threads=0 -bitcode-as-text %p/Inputs/binop-newform.tbc \
+; RUN: | FileCheck %s
+
+; Checks that the old form of binary add (with flags argument) works.
+; RUN: %pnacl_sz -verbose inst,global_init -notranslate \
+; RUN:   -threads=0 -bitcode-as-text %p/Inputs/binop-oldform.tbc \
+; RUN: | FileCheck %s
+
+; CHECK: define internal i32 @Function(i32 %__0, i32 %__1) {
+; CHECK: __0:
+; CHECK:   %__2 = add i32 %__0, %__1
+; CHECK:   ret i32 %__2
+; CHECK: }