Subzero. ARM32. Implements bool folding.

tests_lit/llvm2ice_tests/select-opt.ll

Index: tests_lit/llvm2ice_tests/select-opt.ll
diff --git a/tests_lit/llvm2ice_tests/select-opt.ll b/tests_lit/llvm2ice_tests/select-opt.ll
index 0c97edfac78ad33101e3788eb3785985b1f6061f..8b246d9d2ce6978f74f180aa437fe704e051303e 100644
--- a/tests_lit/llvm2ice_tests/select-opt.ll
+++ b/tests_lit/llvm2ice_tests/select-opt.ll
@@ -12,16 +12,16 @@
 
 ; RUN: %if --need=target_ARM32 --need=allow_dump \
 ; RUN:   --command %p2i --filetype=asm --assemble \
-; RUN:   --disassemble --target arm32 -i %s --args -O2 --skip-unimplemented \
+; RUN:   --disassemble --target arm32 -i %s --args -O2 \
 ; RUN:   -allow-externally-defined-symbols \
 ; RUN:   | %if --need=target_ARM32 --need=allow_dump \
-; RUN:   --command FileCheck --check-prefix ARM32 %s
+; RUN:   --command FileCheck --check-prefix ARM32 --check-prefix ARM32-O2 %s
 ; RUN: %if --need=target_ARM32 --need=allow_dump \
 ; RUN:   --command %p2i --filetype=asm --assemble \
-; RUN:   --disassemble --target arm32 -i %s --args -Om1 --skip-unimplemented \
+; RUN:   --disassemble --target arm32 -i %s --args -Om1 \
 ; RUN:   -allow-externally-defined-symbols \
 ; RUN:   | %if --need=target_ARM32 --need=allow_dump \
-; RUN:   --command FileCheck --check-prefix ARM32 %s
+; RUN:   --command FileCheck --check-prefix ARM32 --check-prefix ARM32-OM1 %s
 
 define internal void @testSelect(i32 %a, i32 %b) {
 entry:
@@ -51,12 +51,16 @@ declare void @useInt(i32 %x)
 ; CHECK:      ret
 ; ARM32-LABEL: testSelect
 ; ARM32: cmp
-; ARM32: cmp
+; ARM32-OM1: cmp
 ; ARM32: bl {{.*}} useInt
 ; ARM32: cmp
-; ARM32: cmp
-; ARM32: mov {{.*}}, #20
-; ARM32: movne {{.*}}, #10
+; ARM32-Om1: cmp
+; ARM32-Om1: mov {{.*}}, #20
+; ARM32-Om1: movne {{.*}}, #10
+; ARM32-O2: movle [[REG:r[0-9]+]], #20
+; ARM32-O2: movgt [[REG]], #10
+; ARM32: bl {{.*}} useInt
+; ARM32: bl {{.*}} useInt
 ; ARM32: bl {{.*}} useInt
 ; ARM32: bx lr