Short Circuit Evaluation

tests_lit/llvm2ice_tests/short-circuit.ll

Index: tests_lit/llvm2ice_tests/short-circuit.ll
diff --git a/tests_lit/llvm2ice_tests/short-circuit.ll b/tests_lit/llvm2ice_tests/short-circuit.ll
new file mode 100644
index 0000000000000000000000000000000000000000..df0e1a9f588cc32371abd98b55495822ba599588
--- /dev/null
+++ b/tests_lit/llvm2ice_tests/short-circuit.ll
@@ -0,0 +1,42 @@
+; Test on -enable-sc if basic blocks are split when short circuit evaluation
+; is possible for boolean expressions
+
+; REQUIRES: allow_dump
+
+; RUN: %p2i -i %s --filetype=asm --target x8632 --args \
+; RUN: -O2 -enable-sc | FileCheck %s --check-prefix=ENABLE \
+; RUN: --check-prefix=CHECK
+
+; RUN: %p2i -i %s --filetype=asm --target x8632 --args \
+; RUN: -O2 | FileCheck %s --check-prefix=NOENABLE \
+; RUN: --check-prefix=CHECK
+
+define internal i32 @short_circuit(i32 %arg1, i32 %arg2, i32 %arg3, i32 %arg4,
+                                   i32 %arg5) {
+  %t0 = trunc i32 %arg1 to i1
+  %t1 = trunc i32 %arg2 to i1
+  %t2 = trunc i32 %arg3 to i1
+  %t3 = trunc i32 %arg4 to i1
+  %t4 = trunc i32 %arg5 to i1
+
+  %t5 = or i1 %t0, %t1
+  %t6 = and i1 %t5, %t2
+  %t7 = and i1 %t3, %t4
+  %t8 = or i1 %t6, %t7
+
+  br i1 %t8, label %target_true, label %target_false
+
+target_true:
+  ret i32 1
+
+target_false:
+  ret i32 0
+}
+
+; CHECK-LABEL: short_circuit
+; NOENABLE: .Lshort_circuit$__0:
+; ENABLE: .Lshort_circuit$__0_1_1:
+; ENABLE: .Lshort_circuit$__0_1_2:
+; ENABLE: .Lshort_circuit$__0_2:
+; CHECK: .Lshort_circuit$target_true:
+; CHECK: .Lshort_circuit$target_false: