Start processing function blocks in Subzero.

tests_lit/llvm2ice_tests/pnacl-reader.ll

+; Tests the current state of the translator using PNaCl bitcode.

[jvoung (off chromium), 2014/07/23 16:10:17]

Should we start making new directories for lit tests?

E.g.,

(1) a "Reader" directory (or Parser, or whatever you want to call it)
(2) an "llvm2ice" directory for the original reader/converter.
(3) a "CodeGen" directory

Under CodeGen, we can have x86-32 or whatnot, or we can keep the same .ll files
and add more RUN/CHECK lines as we add architectures. However, that's very
different from (1) and (2).

[Karl, 2014/07/23 20:22:21]

Creating Reader directory for this test.

Also added more tests, covering all binary operators (excluding those that need
bitcast operations, since they are not defined yet).

+
+; RUN: llvm-as < %s | pnacl-freeze \
+; RUN:              | %llvm2ice -notranslate -verbose=inst -build-on-read \
+; RUN:                -allow-pnacl-reader-error-recovery \
+; RUN:              | FileCheck %s
+
+define i32 @Add(i32 %a, i32 %b) {
+  %add = add i32 %b, %a
+  ret i32 %add
+}
+
+; CHECK:      define i32 @Add(i32 %__0, i32 %__1) {
+; CHECK-NEXT: bb0:
+; CHECK-NEXT:   %__2 = add i32 %__1, %__0
+; CHECK-NEXT:   ret i32 %__2
+; CHECK-NEXT: }
+
+define i32 @And(i32 %a, i32 %b) {
+  %and = and i32 %b, %a
+  ret i32 %and
+}
+
+; CHECK-NEXT: define i32 @And(i32 %__0, i32 %__1) {
+; CHECK-NEXT: bb0:
+; CHECK-NEXT:   %__2 = and i32 %__1, %__0
+; CHECK-NEXT:   ret i32 %__2
+; CHECK-NEXT: }
+
+define i32 @Or(i32 %a, i32 %b) {
+  %or = or i32 %b, %a
+  ret i32 %or
+}
+
+; CHECK-NEXT: define i32 @Or(i32 %__0, i32 %__1) {
+; CHECK-NEXT: bb0:
+; CHECK-NEXT:   %__2 = or i32 %__1, %__0
+; CHECK-NEXT:   ret i32 %__2
+; CHECK-NEXT: }
+
+define i32 @Xor(i32 %a, i32 %b) {
+  %xor = xor i32 %b, %a
+  ret i32 %xor
+}
+
+; CHECK-NEXT: define i32 @Xor(i32 %__0, i32 %__1) {
+; CHECK-NEXT: bb0:
+; CHECK-NEXT:   %__2 = xor i32 %__1, %__0
+; CHECK-NEXT:   ret i32 %__2
+; CHECK-NEXT: }
+
+define i32 @Sub(i32 %a, i32 %b) {
+  %sub = sub i32 %a, %b
+  ret i32 %sub
+}
+
+; CHECK-NEXT: define i32 @Sub(i32 %__0, i32 %__1) {
+; CHECK-NEXT: bb0:
+; CHECK-NEXT:   %__2 = sub i32 %__0, %__1
+; CHECK-NEXT:   ret i32 %__2
+; CHECK-NEXT: }
+
+define i32 @Mul(i32 %a, i32 %b) {
+  %mul = mul i32 %b, %a
+  ret i32 %mul
+}
+
+; CHECK-NEXT: define i32 @Mul(i32 %__0, i32 %__1) {
+; CHECK-NEXT: bb0:
+; CHECK-NEXT:   %__2 = mul i32 %__1, %__0
+; CHECK-NEXT:   ret i32 %__2
+; CHECK-NEXT: }
+
+define i32 @Sdiv(i32 %a, i32 %b) {
+  %div = sdiv i32 %a, %b
+  ret i32 %div
+}
+
+; CHECK-NEXT: define i32 @Sdiv(i32 %__0, i32 %__1) {
+; CHECK-NEXT: bb0:
+; CHECK-NEXT:   %__2 = sdiv i32 %__0, %__1
+; CHECK-NEXT:   ret i32 %__2
+; CHECK-NEXT: }
+
+define i32 @Srem(i32 %a, i32 %b) {
+  %rem = srem i32 %a, %b
+  ret i32 %rem
+}
+
+; CHECK-NEXT: define i32 @Srem(i32 %__0, i32 %__1) {
+; CHECK-NEXT: bb0:
+; CHECK-NEXT:   %__2 = srem i32 %__0, %__1
+; CHECK-NEXT:   ret i32 %__2
+; CHECK-NEXT: }
+
+define i32 @Udiv(i32 %a, i32 %b) {
+  %div = udiv i32 %a, %b
+  ret i32 %div
+}
+
+; CHECK-NEXT: define i32 @Udiv(i32 %__0, i32 %__1) {
+; CHECK-NEXT: bb0:
+; CHECK-NEXT:   %__2 = udiv i32 %__0, %__1
+; CHECK-NEXT:   ret i32 %__2
+; CHECK-NEXT: }
+
+define i32 @Urem(i32 %a, i32 %b) {
+  %rem = urem i32 %a, %b
+  ret i32 %rem
+}
+
+; CHECK-NEXT: define i32 @Urem(i32 %__0, i32 %__1) {
+; CHECK-NEXT: bb0:
+; CHECK-NEXT:   %__2 = urem i32 %__0, %__1
+; CHECK-NEXT:   ret i32 %__2
+; CHECK-NEXT: }
+