[llvm] c94d104 - [NFC][InstCombine] Add tests for nested select folding
Roman Lebedev via llvm-commits
llvm-commits at lists.llvm.org
Sat Dec 10 14:04:10 PST 2022
Author: Roman Lebedev
Date: 2022-12-11T00:59:33+03:00
New Revision: c94d104413cd70aa3267ae19d231b6e446fef42c
URL: https://github.com/llvm/llvm-project/commit/c94d104413cd70aa3267ae19d231b6e446fef42c
DIFF: https://github.com/llvm/llvm-project/commit/c94d104413cd70aa3267ae19d231b6e446fef42c.diff
LOG: [NFC][InstCombine] Add tests for nested select folding
https://github.com/llvm/llvm-project/issues/59393
Added:
llvm/test/Transforms/InstCombine/nested-select.ll
Modified:
Removed:
################################################################################
diff --git a/llvm/test/Transforms/InstCombine/nested-select.ll b/llvm/test/Transforms/InstCombine/nested-select.ll
new file mode 100644
index 000000000000..6a40de65f257
--- /dev/null
+++ b/llvm/test/Transforms/InstCombine/nested-select.ll
@@ -0,0 +1,495 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
+; RUN: opt -passes=instcombine -S < %s | FileCheck %s
+
+declare void @use.i1(i1)
+declare void @use.i8(i8)
+
+; Basic test
+
+define i8 @andcond(i1 %inner.cond, i1 %alt.cond, i8 %inner.sel.trueval, i8 %inner.sel.falseval, i8 %outer.sel.trueval) {
+; CHECK-LABEL: @andcond(
+; CHECK-NEXT: [[OUTER_COND:%.*]] = select i1 [[INNER_COND:%.*]], i1 [[ALT_COND:%.*]], i1 false
+; CHECK-NEXT: [[INNER_SEL:%.*]] = select i1 [[INNER_COND]], i8 [[INNER_SEL_TRUEVAL:%.*]], i8 [[INNER_SEL_FALSEVAL:%.*]]
+; CHECK-NEXT: [[OUTER_SEL:%.*]] = select i1 [[OUTER_COND]], i8 [[OUTER_SEL_TRUEVAL:%.*]], i8 [[INNER_SEL]]
+; CHECK-NEXT: ret i8 [[OUTER_SEL]]
+;
+ %outer.cond = select i1 %inner.cond, i1 %alt.cond, i1 false ; and %inner.cond, %alt.cond
+ %inner.sel = select i1 %inner.cond, i8 %inner.sel.trueval, i8 %inner.sel.falseval
+ %outer.sel = select i1 %outer.cond, i8 %outer.sel.trueval, i8 %inner.sel
+ ret i8 %outer.sel
+}
+define i8 @orcond(i1 %inner.cond, i1 %alt.cond, i8 %inner.sel.trueval, i8 %inner.sel.falseval, i8 %outer.sel.falseval) {
+; CHECK-LABEL: @orcond(
+; CHECK-NEXT: [[OUTER_COND:%.*]] = select i1 [[INNER_COND:%.*]], i1 true, i1 [[ALT_COND:%.*]]
+; CHECK-NEXT: [[INNER_SEL:%.*]] = select i1 [[INNER_COND]], i8 [[INNER_SEL_TRUEVAL:%.*]], i8 [[INNER_SEL_FALSEVAL:%.*]]
+; CHECK-NEXT: [[OUTER_SEL:%.*]] = select i1 [[OUTER_COND]], i8 [[INNER_SEL]], i8 [[OUTER_SEL_FALSEVAL:%.*]]
+; CHECK-NEXT: ret i8 [[OUTER_SEL]]
+;
+ %outer.cond = select i1 %inner.cond, i1 true, i1 %alt.cond ; or %inner.cond, %alt.cond
+ %inner.sel = select i1 %inner.cond, i8 %inner.sel.trueval, i8 %inner.sel.falseval
+ %outer.sel = select i1 %outer.cond, i8 %inner.sel, i8 %outer.sel.falseval
+ ret i8 %outer.sel
+}
+
+; Extra use tests (basic test, no inversions)
+
+define i8 @andcond.extrause0(i1 %inner.cond, i1 %alt.cond, i8 %inner.sel.trueval, i8 %inner.sel.falseval, i8 %outer.sel.trueval) {
+; CHECK-LABEL: @andcond.extrause0(
+; CHECK-NEXT: [[OUTER_COND:%.*]] = select i1 [[INNER_COND:%.*]], i1 [[ALT_COND:%.*]], i1 false
+; CHECK-NEXT: call void @use.i1(i1 [[OUTER_COND]])
+; CHECK-NEXT: [[INNER_SEL:%.*]] = select i1 [[INNER_COND]], i8 [[INNER_SEL_TRUEVAL:%.*]], i8 [[INNER_SEL_FALSEVAL:%.*]]
+; CHECK-NEXT: [[OUTER_SEL:%.*]] = select i1 [[OUTER_COND]], i8 [[OUTER_SEL_TRUEVAL:%.*]], i8 [[INNER_SEL]]
+; CHECK-NEXT: ret i8 [[OUTER_SEL]]
+;
+ %outer.cond = select i1 %inner.cond, i1 %alt.cond, i1 false
+ call void @use.i1(i1 %outer.cond)
+ %inner.sel = select i1 %inner.cond, i8 %inner.sel.trueval, i8 %inner.sel.falseval
+ %outer.sel = select i1 %outer.cond, i8 %outer.sel.trueval, i8 %inner.sel
+ ret i8 %outer.sel
+}
+define i8 @orcond.extrause0(i1 %inner.cond, i1 %alt.cond, i8 %inner.sel.trueval, i8 %inner.sel.falseval, i8 %outer.sel.falseval) {
+; CHECK-LABEL: @orcond.extrause0(
+; CHECK-NEXT: [[OUTER_COND:%.*]] = select i1 [[INNER_COND:%.*]], i1 true, i1 [[ALT_COND:%.*]]
+; CHECK-NEXT: call void @use.i1(i1 [[OUTER_COND]])
+; CHECK-NEXT: [[INNER_SEL:%.*]] = select i1 [[INNER_COND]], i8 [[INNER_SEL_TRUEVAL:%.*]], i8 [[INNER_SEL_FALSEVAL:%.*]]
+; CHECK-NEXT: [[OUTER_SEL:%.*]] = select i1 [[OUTER_COND]], i8 [[INNER_SEL]], i8 [[OUTER_SEL_FALSEVAL:%.*]]
+; CHECK-NEXT: ret i8 [[OUTER_SEL]]
+;
+ %outer.cond = select i1 %inner.cond, i1 true, i1 %alt.cond
+ call void @use.i1(i1 %outer.cond)
+ %inner.sel = select i1 %inner.cond, i8 %inner.sel.trueval, i8 %inner.sel.falseval
+ %outer.sel = select i1 %outer.cond, i8 %inner.sel, i8 %outer.sel.falseval
+ ret i8 %outer.sel
+}
+
+define i8 @andcond.extrause1(i1 %inner.cond, i1 %alt.cond, i8 %inner.sel.trueval, i8 %inner.sel.falseval, i8 %outer.sel.trueval) {
+; CHECK-LABEL: @andcond.extrause1(
+; CHECK-NEXT: [[OUTER_COND:%.*]] = select i1 [[INNER_COND:%.*]], i1 [[ALT_COND:%.*]], i1 false
+; CHECK-NEXT: [[INNER_SEL:%.*]] = select i1 [[INNER_COND]], i8 [[INNER_SEL_TRUEVAL:%.*]], i8 [[INNER_SEL_FALSEVAL:%.*]]
+; CHECK-NEXT: call void @use.i8(i8 [[INNER_SEL]])
+; CHECK-NEXT: [[OUTER_SEL:%.*]] = select i1 [[OUTER_COND]], i8 [[OUTER_SEL_TRUEVAL:%.*]], i8 [[INNER_SEL]]
+; CHECK-NEXT: ret i8 [[OUTER_SEL]]
+;
+ %outer.cond = select i1 %inner.cond, i1 %alt.cond, i1 false
+ %inner.sel = select i1 %inner.cond, i8 %inner.sel.trueval, i8 %inner.sel.falseval
+ call void @use.i8(i8 %inner.sel)
+ %outer.sel = select i1 %outer.cond, i8 %outer.sel.trueval, i8 %inner.sel
+ ret i8 %outer.sel
+}
+define i8 @orcond.extrause1(i1 %inner.cond, i1 %alt.cond, i8 %inner.sel.trueval, i8 %inner.sel.falseval, i8 %outer.sel.falseval) {
+; CHECK-LABEL: @orcond.extrause1(
+; CHECK-NEXT: [[OUTER_COND:%.*]] = select i1 [[INNER_COND:%.*]], i1 true, i1 [[ALT_COND:%.*]]
+; CHECK-NEXT: [[INNER_SEL:%.*]] = select i1 [[INNER_COND]], i8 [[INNER_SEL_TRUEVAL:%.*]], i8 [[INNER_SEL_FALSEVAL:%.*]]
+; CHECK-NEXT: call void @use.i8(i8 [[INNER_SEL]])
+; CHECK-NEXT: [[OUTER_SEL:%.*]] = select i1 [[OUTER_COND]], i8 [[INNER_SEL]], i8 [[OUTER_SEL_FALSEVAL:%.*]]
+; CHECK-NEXT: ret i8 [[OUTER_SEL]]
+;
+ %outer.cond = select i1 %inner.cond, i1 true, i1 %alt.cond
+ %inner.sel = select i1 %inner.cond, i8 %inner.sel.trueval, i8 %inner.sel.falseval
+ call void @use.i8(i8 %inner.sel)
+ %outer.sel = select i1 %outer.cond, i8 %inner.sel, i8 %outer.sel.falseval
+ ret i8 %outer.sel
+}
+
+define i8 @andcond.extrause2(i1 %inner.cond, i1 %alt.cond, i8 %inner.sel.trueval, i8 %inner.sel.falseval, i8 %outer.sel.trueval) {
+; CHECK-LABEL: @andcond.extrause2(
+; CHECK-NEXT: [[OUTER_COND:%.*]] = select i1 [[INNER_COND:%.*]], i1 [[ALT_COND:%.*]], i1 false
+; CHECK-NEXT: call void @use.i1(i1 [[OUTER_COND]])
+; CHECK-NEXT: [[INNER_SEL:%.*]] = select i1 [[INNER_COND]], i8 [[INNER_SEL_TRUEVAL:%.*]], i8 [[INNER_SEL_FALSEVAL:%.*]]
+; CHECK-NEXT: call void @use.i8(i8 [[INNER_SEL]])
+; CHECK-NEXT: [[OUTER_SEL:%.*]] = select i1 [[OUTER_COND]], i8 [[OUTER_SEL_TRUEVAL:%.*]], i8 [[INNER_SEL]]
+; CHECK-NEXT: ret i8 [[OUTER_SEL]]
+;
+ %outer.cond = select i1 %inner.cond, i1 %alt.cond, i1 false
+ call void @use.i1(i1 %outer.cond)
+ %inner.sel = select i1 %inner.cond, i8 %inner.sel.trueval, i8 %inner.sel.falseval
+ call void @use.i8(i8 %inner.sel)
+ %outer.sel = select i1 %outer.cond, i8 %outer.sel.trueval, i8 %inner.sel
+ ret i8 %outer.sel
+}
+define i8 @orcond.extrause2(i1 %inner.cond, i1 %alt.cond, i8 %inner.sel.trueval, i8 %inner.sel.falseval, i8 %outer.sel.falseval) {
+; CHECK-LABEL: @orcond.extrause2(
+; CHECK-NEXT: [[OUTER_COND:%.*]] = select i1 [[INNER_COND:%.*]], i1 true, i1 [[ALT_COND:%.*]]
+; CHECK-NEXT: call void @use.i1(i1 [[OUTER_COND]])
+; CHECK-NEXT: [[INNER_SEL:%.*]] = select i1 [[INNER_COND]], i8 [[INNER_SEL_TRUEVAL:%.*]], i8 [[INNER_SEL_FALSEVAL:%.*]]
+; CHECK-NEXT: call void @use.i8(i8 [[INNER_SEL]])
+; CHECK-NEXT: [[OUTER_SEL:%.*]] = select i1 [[OUTER_COND]], i8 [[INNER_SEL]], i8 [[OUTER_SEL_FALSEVAL:%.*]]
+; CHECK-NEXT: ret i8 [[OUTER_SEL]]
+;
+ %outer.cond = select i1 %inner.cond, i1 true, i1 %alt.cond
+ call void @use.i1(i1 %outer.cond)
+ %inner.sel = select i1 %inner.cond, i8 %inner.sel.trueval, i8 %inner.sel.falseval
+ call void @use.i8(i8 %inner.sel)
+ %outer.sel = select i1 %outer.cond, i8 %inner.sel, i8 %outer.sel.falseval
+ ret i8 %outer.sel
+}
+
+; Mismatched 'common' cond
+
+define i8 @andcond.
diff erent.inner.cond(i1 %inner.cond.v0, i1 %inner.cond.v1, i1 %alt.cond, i8 %inner.sel.trueval, i8 %inner.sel.falseval, i8 %outer.sel.trueval) {
+; CHECK-LABEL: @andcond.
diff erent.inner.cond(
+; CHECK-NEXT: [[OUTER_COND:%.*]] = select i1 [[INNER_COND_V0:%.*]], i1 [[ALT_COND:%.*]], i1 false
+; CHECK-NEXT: [[INNER_SEL:%.*]] = select i1 [[INNER_COND_V1:%.*]], i8 [[INNER_SEL_TRUEVAL:%.*]], i8 [[INNER_SEL_FALSEVAL:%.*]]
+; CHECK-NEXT: [[OUTER_SEL:%.*]] = select i1 [[OUTER_COND]], i8 [[OUTER_SEL_TRUEVAL:%.*]], i8 [[INNER_SEL]]
+; CHECK-NEXT: ret i8 [[OUTER_SEL]]
+;
+
+ %outer.cond = select i1 %inner.cond.v0, i1 %alt.cond, i1 false
+ %inner.sel = select i1 %inner.cond.v1, i8 %inner.sel.trueval, i8 %inner.sel.falseval
+ %outer.sel = select i1 %outer.cond, i8 %outer.sel.trueval, i8 %inner.sel
+ ret i8 %outer.sel
+}
+define i8 @orcond.
diff erent.inner.cond(i1 %inner.cond.v0, i1 %inner.cond.v1, i1 %alt.cond, i8 %inner.sel.trueval, i8 %inner.sel.falseval, i8 %outer.sel.falseval) {
+; CHECK-LABEL: @orcond.
diff erent.inner.cond(
+; CHECK-NEXT: [[OUTER_COND:%.*]] = select i1 [[INNER_COND_V0:%.*]], i1 true, i1 [[ALT_COND:%.*]]
+; CHECK-NEXT: [[INNER_SEL:%.*]] = select i1 [[INNER_COND_V1:%.*]], i8 [[INNER_SEL_TRUEVAL:%.*]], i8 [[INNER_SEL_FALSEVAL:%.*]]
+; CHECK-NEXT: [[OUTER_SEL:%.*]] = select i1 [[OUTER_COND]], i8 [[INNER_SEL]], i8 [[OUTER_SEL_FALSEVAL:%.*]]
+; CHECK-NEXT: ret i8 [[OUTER_SEL]]
+;
+ %outer.cond = select i1 %inner.cond.v0, i1 true, i1 %alt.cond
+ %inner.sel = select i1 %inner.cond.v1, i8 %inner.sel.trueval, i8 %inner.sel.falseval
+ %outer.sel = select i1 %outer.cond, i8 %inner.sel, i8 %outer.sel.falseval
+ ret i8 %outer.sel
+}
+
+define i1 @andcond.
diff erent.inner.cond.both.inverted(i1 %inner.cond.v0, i1 %inner.cond.v1, i1 %alt.cond, i1 %inner.sel.trueval, i1 %inner.sel.falseval, i1 %outer.sel.trueval) {
+; CHECK-LABEL: @andcond.
diff erent.inner.cond.both.inverted(
+; CHECK-NEXT: [[NOT_INNER_COND_0:%.*]] = xor i1 [[INNER_COND_V0:%.*]], true
+; CHECK-NEXT: [[OUTER_COND:%.*]] = select i1 [[NOT_INNER_COND_0]], i1 [[ALT_COND:%.*]], i1 false
+; CHECK-NEXT: [[NOT_INNER_COND_1:%.*]] = xor i1 [[INNER_COND_V1:%.*]], true
+; CHECK-NEXT: [[INNER_SEL:%.*]] = select i1 [[NOT_INNER_COND_1]], i1 [[INNER_SEL_FALSEVAL:%.*]], i1 false
+; CHECK-NEXT: [[OUTER_SEL:%.*]] = select i1 [[OUTER_COND]], i1 [[OUTER_SEL_TRUEVAL:%.*]], i1 [[INNER_SEL]]
+; CHECK-NEXT: ret i1 [[OUTER_SEL]]
+;
+ %not.inner.cond.0 = xor i1 %inner.cond.v0, -1
+ %outer.cond = select i1 %not.inner.cond.0, i1 %alt.cond, i1 false ; and %inner.cond, %alt.cond
+ %not.inner.cond.1 = xor i1 %inner.cond.v1, -1
+ %inner.sel = select i1 %not.inner.cond.1, i1 %inner.sel.falseval, i1 false
+ %outer.sel = select i1 %outer.cond, i1 %outer.sel.trueval, i1 %inner.sel
+ ret i1 %outer.sel
+}
+define i1 @orcond.
diff erent.inner.cond.both.inverted(i1 %inner.cond.v0, i1 %inner.cond.v1, i1 %alt.cond, i1 %inner.sel.trueval, i1 %inner.sel.falseval, i1 %outer.sel.falseval) {
+; CHECK-LABEL: @orcond.
diff erent.inner.cond.both.inverted(
+; CHECK-NEXT: [[NOT_INNER_COND_0:%.*]] = xor i1 [[INNER_COND_V0:%.*]], true
+; CHECK-NEXT: [[OUTER_COND:%.*]] = select i1 [[NOT_INNER_COND_0]], i1 true, i1 [[ALT_COND:%.*]]
+; CHECK-NEXT: [[NOT_INNER_COND_1:%.*]] = xor i1 [[INNER_COND_V1:%.*]], true
+; CHECK-NEXT: [[INNER_SEL:%.*]] = select i1 [[NOT_INNER_COND_1]], i1 true, i1 [[INNER_SEL_TRUEVAL:%.*]]
+; CHECK-NEXT: [[OUTER_SEL:%.*]] = select i1 [[OUTER_COND]], i1 [[INNER_SEL]], i1 [[OUTER_SEL_FALSEVAL:%.*]]
+; CHECK-NEXT: ret i1 [[OUTER_SEL]]
+;
+ %not.inner.cond.0 = xor i1 %inner.cond.v0, -1
+ %outer.cond = select i1 %not.inner.cond.0, i1 true, i1 %alt.cond ; or %inner.cond, %alt.cond
+ %not.inner.cond.1 = xor i1 %inner.cond.v1, -1
+ %inner.sel = select i1 %not.inner.cond.1, i1 true, i1 %inner.sel.trueval
+ %outer.sel = select i1 %outer.cond, i1 %inner.sel, i1 %outer.sel.falseval
+ ret i1 %outer.sel
+}
+
+define i1 @andcond.
diff erent.inner.cond.inverted.in.outer.cond(i1 %inner.cond.v0, i1 %inner.cond.v1, i1 %alt.cond, i1 %inner.sel.trueval, i1 %inner.sel.falseval, i1 %outer.sel.trueval) {
+; CHECK-LABEL: @andcond.
diff erent.inner.cond.inverted.in.outer.cond(
+; CHECK-NEXT: [[NOT_INNER_COND_0:%.*]] = xor i1 [[INNER_COND_V0:%.*]], true
+; CHECK-NEXT: [[OUTER_COND:%.*]] = select i1 [[NOT_INNER_COND_0]], i1 [[ALT_COND:%.*]], i1 false
+; CHECK-NEXT: [[INNER_SEL:%.*]] = select i1 [[INNER_COND_V1:%.*]], i1 [[INNER_SEL_FALSEVAL:%.*]], i1 false
+; CHECK-NEXT: [[OUTER_SEL:%.*]] = select i1 [[OUTER_COND]], i1 [[OUTER_SEL_TRUEVAL:%.*]], i1 [[INNER_SEL]]
+; CHECK-NEXT: ret i1 [[OUTER_SEL]]
+;
+ %not.inner.cond.0 = xor i1 %inner.cond.v0, -1
+ %outer.cond = select i1 %not.inner.cond.0, i1 %alt.cond, i1 false ; and %inner.cond, %alt.cond
+ %inner.sel = select i1 %inner.cond.v1, i1 %inner.sel.falseval, i1 false
+ %outer.sel = select i1 %outer.cond, i1 %outer.sel.trueval, i1 %inner.sel
+ ret i1 %outer.sel
+}
+define i1 @orcond.
diff erent.inner.cond.inverted.in.outer.cond(i1 %inner.cond.v0, i1 %inner.cond.v1, i1 %alt.cond, i1 %inner.sel.trueval, i1 %inner.sel.falseval, i1 %outer.sel.falseval) {
+; CHECK-LABEL: @orcond.
diff erent.inner.cond.inverted.in.outer.cond(
+; CHECK-NEXT: [[NOT_INNER_COND_0:%.*]] = xor i1 [[INNER_COND_V0:%.*]], true
+; CHECK-NEXT: [[OUTER_COND:%.*]] = select i1 [[NOT_INNER_COND_0]], i1 true, i1 [[ALT_COND:%.*]]
+; CHECK-NEXT: [[INNER_SEL:%.*]] = select i1 [[INNER_COND_V1:%.*]], i1 true, i1 [[INNER_SEL_TRUEVAL:%.*]]
+; CHECK-NEXT: [[OUTER_SEL:%.*]] = select i1 [[OUTER_COND]], i1 [[INNER_SEL]], i1 [[OUTER_SEL_FALSEVAL:%.*]]
+; CHECK-NEXT: ret i1 [[OUTER_SEL]]
+;
+ %not.inner.cond.0 = xor i1 %inner.cond.v0, -1
+ %outer.cond = select i1 %not.inner.cond.0, i1 true, i1 %alt.cond ; or %inner.cond, %alt.cond
+ %inner.sel = select i1 %inner.cond.v1, i1 true, i1 %inner.sel.trueval
+ %outer.sel = select i1 %outer.cond, i1 %inner.sel, i1 %outer.sel.falseval
+ ret i1 %outer.sel
+}
+
+define i1 @andcond.
diff erent.inner.cond.inverted.in.inner.sel(i1 %inner.cond.v0, i1 %inner.cond.v1, i1 %alt.cond, i1 %inner.sel.trueval, i1 %inner.sel.falseval, i1 %outer.sel.trueval) {
+; CHECK-LABEL: @andcond.
diff erent.inner.cond.inverted.in.inner.sel(
+; CHECK-NEXT: [[OUTER_COND:%.*]] = select i1 [[INNER_COND_V0:%.*]], i1 [[ALT_COND:%.*]], i1 false
+; CHECK-NEXT: [[NOT_INNER_COND_1:%.*]] = xor i1 [[INNER_COND_V1:%.*]], true
+; CHECK-NEXT: [[INNER_SEL:%.*]] = select i1 [[NOT_INNER_COND_1]], i1 [[INNER_SEL_FALSEVAL:%.*]], i1 false
+; CHECK-NEXT: [[OUTER_SEL:%.*]] = select i1 [[OUTER_COND]], i1 [[OUTER_SEL_TRUEVAL:%.*]], i1 [[INNER_SEL]]
+; CHECK-NEXT: ret i1 [[OUTER_SEL]]
+;
+ %outer.cond = select i1 %inner.cond.v0, i1 %alt.cond, i1 false ; and %inner.cond, %alt.cond
+ %not.inner.cond.1 = xor i1 %inner.cond.v1, -1
+ %inner.sel = select i1 %not.inner.cond.1, i1 %inner.sel.falseval, i1 false
+ %outer.sel = select i1 %outer.cond, i1 %outer.sel.trueval, i1 %inner.sel
+ ret i1 %outer.sel
+}
+define i1 @orcond.
diff erent.inner.cond.inverted.in.inner.sel(i1 %inner.cond.v0, i1 %inner.cond.v1, i1 %alt.cond, i1 %inner.sel.trueval, i1 %inner.sel.falseval, i1 %outer.sel.falseval) {
+; CHECK-LABEL: @orcond.
diff erent.inner.cond.inverted.in.inner.sel(
+; CHECK-NEXT: [[OUTER_COND:%.*]] = select i1 [[INNER_COND_V0:%.*]], i1 true, i1 [[ALT_COND:%.*]]
+; CHECK-NEXT: [[NOT_INNER_COND_1:%.*]] = xor i1 [[INNER_COND_V1:%.*]], true
+; CHECK-NEXT: [[INNER_SEL:%.*]] = select i1 [[NOT_INNER_COND_1]], i1 true, i1 [[INNER_SEL_TRUEVAL:%.*]]
+; CHECK-NEXT: [[OUTER_SEL:%.*]] = select i1 [[OUTER_COND]], i1 [[INNER_SEL]], i1 [[OUTER_SEL_FALSEVAL:%.*]]
+; CHECK-NEXT: ret i1 [[OUTER_SEL]]
+;
+ %outer.cond = select i1 %inner.cond.v0, i1 true, i1 %alt.cond ; or %inner.cond, %alt.cond
+ %not.inner.cond.1 = xor i1 %inner.cond.v1, -1
+ %inner.sel = select i1 %not.inner.cond.1, i1 true, i1 %inner.sel.trueval
+ %outer.sel = select i1 %outer.cond, i1 %inner.sel, i1 %outer.sel.falseval
+ ret i1 %outer.sel
+}
+
+; Tests with intervening inversions
+
+; In %outer.sel, %outer.cond is inverted
+define i1 @andcond.001.inv.outer.cond(i1 %inner.cond, i1 %alt.cond, i1 %inner.sel.trueval, i1 %inner.sel.falseval, i1 %outer.sel.trueval) {
+; CHECK-LABEL: @andcond.001.inv.outer.cond(
+; CHECK-NEXT: [[OUTER_COND:%.*]] = select i1 [[INNER_COND:%.*]], i1 [[ALT_COND:%.*]], i1 false
+; CHECK-NEXT: [[INNER_SEL:%.*]] = select i1 [[INNER_COND]], i1 [[INNER_SEL_TRUEVAL:%.*]], i1 [[INNER_SEL_FALSEVAL:%.*]]
+; CHECK-NEXT: [[NOT_OUTER_COND:%.*]] = xor i1 [[OUTER_COND]], true
+; CHECK-NEXT: [[OUTER_SEL:%.*]] = select i1 [[NOT_OUTER_COND]], i1 [[INNER_SEL]], i1 false
+; CHECK-NEXT: ret i1 [[OUTER_SEL]]
+;
+ %outer.cond = select i1 %inner.cond, i1 %alt.cond, i1 false ; and %inner.cond, %alt.cond
+ %inner.sel = select i1 %inner.cond, i1 %inner.sel.trueval, i1 %inner.sel.falseval
+ %not.outer.cond = xor i1 %outer.cond, -1
+ %outer.sel = select i1 %not.outer.cond, i1 %inner.sel, i1 false
+ ret i1 %outer.sel
+}
+define i1 @orcond.001.inv.outer.cond(i1 %inner.cond, i1 %alt.cond, i1 %inner.sel.trueval, i1 %inner.sel.falseval, i1 %outer.sel.falseval) {
+; CHECK-LABEL: @orcond.001.inv.outer.cond(
+; CHECK-NEXT: [[OUTER_COND:%.*]] = select i1 [[INNER_COND:%.*]], i1 true, i1 [[ALT_COND:%.*]]
+; CHECK-NEXT: [[INNER_SEL:%.*]] = select i1 [[INNER_COND]], i1 [[INNER_SEL_TRUEVAL:%.*]], i1 [[INNER_SEL_FALSEVAL:%.*]]
+; CHECK-NEXT: [[NOT_OUTER_COND:%.*]] = xor i1 [[OUTER_COND]], true
+; CHECK-NEXT: [[OUTER_SEL:%.*]] = select i1 [[NOT_OUTER_COND]], i1 true, i1 [[INNER_SEL]]
+; CHECK-NEXT: ret i1 [[OUTER_SEL]]
+;
+ %outer.cond = select i1 %inner.cond, i1 true, i1 %alt.cond ; or %inner.cond, %alt.cond
+ %inner.sel = select i1 %inner.cond, i1 %inner.sel.trueval, i1 %inner.sel.falseval
+ %not.outer.cond = xor i1 %outer.cond, -1
+ %outer.sel = select i1 %not.outer.cond, i1 true, i1 %inner.sel
+ ret i1 %outer.sel
+}
+
+; In %inner.sel, %inner.cond is inverted
+define i1 @andcond.010.inv.inner.cond.in.inner.sel(i1 %inner.cond, i1 %alt.cond, i1 %inner.sel.trueval, i1 %inner.sel.falseval, i1 %outer.sel.trueval) {
+; CHECK-LABEL: @andcond.010.inv.inner.cond.in.inner.sel(
+; CHECK-NEXT: [[OUTER_COND:%.*]] = select i1 [[INNER_COND:%.*]], i1 [[ALT_COND:%.*]], i1 false
+; CHECK-NEXT: [[NOT_INNER_COND:%.*]] = xor i1 [[INNER_COND]], true
+; CHECK-NEXT: [[INNER_SEL:%.*]] = select i1 [[NOT_INNER_COND]], i1 [[INNER_SEL_FALSEVAL:%.*]], i1 false
+; CHECK-NEXT: [[OUTER_SEL:%.*]] = select i1 [[OUTER_COND]], i1 [[OUTER_SEL_TRUEVAL:%.*]], i1 [[INNER_SEL]]
+; CHECK-NEXT: ret i1 [[OUTER_SEL]]
+;
+ %outer.cond = select i1 %inner.cond, i1 %alt.cond, i1 false ; and %inner.cond, %alt.cond
+ %not.inner.cond = xor i1 %inner.cond, -1
+ %inner.sel = select i1 %not.inner.cond, i1 %inner.sel.falseval, i1 false
+ %outer.sel = select i1 %outer.cond, i1 %outer.sel.trueval, i1 %inner.sel
+ ret i1 %outer.sel
+}
+define i1 @orcond.010.inv.inner.cond.in.inner.sel(i1 %inner.cond, i1 %alt.cond, i1 %inner.sel.trueval, i1 %inner.sel.falseval, i1 %outer.sel.falseval) {
+; CHECK-LABEL: @orcond.010.inv.inner.cond.in.inner.sel(
+; CHECK-NEXT: [[OUTER_COND:%.*]] = select i1 [[INNER_COND:%.*]], i1 true, i1 [[ALT_COND:%.*]]
+; CHECK-NEXT: [[NOT_INNER_COND:%.*]] = xor i1 [[INNER_COND]], true
+; CHECK-NEXT: [[INNER_SEL:%.*]] = select i1 [[NOT_INNER_COND]], i1 true, i1 [[INNER_SEL_TRUEVAL:%.*]]
+; CHECK-NEXT: [[OUTER_SEL:%.*]] = select i1 [[OUTER_COND]], i1 [[INNER_SEL]], i1 [[OUTER_SEL_FALSEVAL:%.*]]
+; CHECK-NEXT: ret i1 [[OUTER_SEL]]
+;
+ %outer.cond = select i1 %inner.cond, i1 true, i1 %alt.cond ; or %inner.cond, %alt.cond
+ %not.inner.cond = xor i1 %inner.cond, -1
+ %inner.sel = select i1 %not.inner.cond, i1 true, i1 %inner.sel.trueval
+ %outer.sel = select i1 %outer.cond, i1 %inner.sel, i1 %outer.sel.falseval
+ ret i1 %outer.sel
+}
+
+; In %outer.cond, %inner.cond is inverted
+define i8 @andcond.100.inv.inner.cond.in.outer.cond(i1 %inner.cond, i1 %alt.cond, i8 %inner.sel.trueval, i8 %inner.sel.falseval, i8 %outer.sel.trueval) {
+; CHECK-LABEL: @andcond.100.inv.inner.cond.in.outer.cond(
+; CHECK-NEXT: [[NOT_INNER_COND:%.*]] = xor i1 [[INNER_COND:%.*]], true
+; CHECK-NEXT: [[OUTER_COND:%.*]] = select i1 [[NOT_INNER_COND]], i1 [[ALT_COND:%.*]], i1 false
+; CHECK-NEXT: [[INNER_SEL:%.*]] = select i1 [[INNER_COND]], i8 [[INNER_SEL_TRUEVAL:%.*]], i8 [[INNER_SEL_FALSEVAL:%.*]]
+; CHECK-NEXT: [[OUTER_SEL:%.*]] = select i1 [[OUTER_COND]], i8 [[OUTER_SEL_TRUEVAL:%.*]], i8 [[INNER_SEL]]
+; CHECK-NEXT: ret i8 [[OUTER_SEL]]
+;
+ %not.inner.cond = xor i1 %inner.cond, -1
+ %outer.cond = select i1 %not.inner.cond, i1 %alt.cond, i1 false ; and %inner.cond, %alt.cond
+ %inner.sel = select i1 %inner.cond, i8 %inner.sel.trueval, i8 %inner.sel.falseval
+ %outer.sel = select i1 %outer.cond, i8 %outer.sel.trueval, i8 %inner.sel
+ ret i8 %outer.sel
+}
+define i8 @orcond.100.inv.inner.cond.in.outer.cond(i1 %inner.cond, i1 %alt.cond, i8 %inner.sel.trueval, i8 %inner.sel.falseval, i8 %outer.sel.falseval) {
+; CHECK-LABEL: @orcond.100.inv.inner.cond.in.outer.cond(
+; CHECK-NEXT: [[NOT_INNER_COND:%.*]] = xor i1 [[INNER_COND:%.*]], true
+; CHECK-NEXT: [[OUTER_COND:%.*]] = select i1 [[NOT_INNER_COND]], i1 true, i1 [[ALT_COND:%.*]]
+; CHECK-NEXT: [[INNER_SEL:%.*]] = select i1 [[INNER_COND]], i8 [[INNER_SEL_TRUEVAL:%.*]], i8 [[INNER_SEL_FALSEVAL:%.*]]
+; CHECK-NEXT: [[OUTER_SEL:%.*]] = select i1 [[OUTER_COND]], i8 [[INNER_SEL]], i8 [[OUTER_SEL_FALSEVAL:%.*]]
+; CHECK-NEXT: ret i8 [[OUTER_SEL]]
+;
+ %not.inner.cond = xor i1 %inner.cond, -1
+ %outer.cond = select i1 %not.inner.cond, i1 true, i1 %alt.cond ; or %inner.cond, %alt.cond
+ %inner.sel = select i1 %inner.cond, i8 %inner.sel.trueval, i8 %inner.sel.falseval
+ %outer.sel = select i1 %outer.cond, i8 %inner.sel, i8 %outer.sel.falseval
+ ret i8 %outer.sel
+}
+
+; In %outer.sel, %outer.cond is inverted
+; In %inner.sel, %inner.cond is inverted
+define i1 @andcond.011.inv.outer.cond.inv.inner.cond.in.inner.sel(i1 %inner.cond, i1 %alt.cond, i1 %inner.sel.trueval, i1 %inner.sel.falseval, i1 %outer.sel.trueval) {
+; CHECK-LABEL: @andcond.011.inv.outer.cond.inv.inner.cond.in.inner.sel(
+; CHECK-NEXT: [[OUTER_COND:%.*]] = select i1 [[INNER_COND:%.*]], i1 [[ALT_COND:%.*]], i1 false
+; CHECK-NEXT: [[NOT_INNER_COND:%.*]] = xor i1 [[INNER_COND]], true
+; CHECK-NEXT: [[INNER_SEL:%.*]] = select i1 [[NOT_INNER_COND]], i1 true, i1 [[INNER_SEL_FALSEVAL:%.*]]
+; CHECK-NEXT: [[NOT_OUTER_COND:%.*]] = xor i1 [[OUTER_COND]], true
+; CHECK-NEXT: call void @use.i1(i1 [[INNER_SEL]])
+; CHECK-NEXT: [[OUTER_SEL:%.*]] = select i1 [[NOT_OUTER_COND]], i1 [[INNER_SEL]], i1 false
+; CHECK-NEXT: ret i1 [[OUTER_SEL]]
+;
+ %outer.cond = select i1 %inner.cond, i1 %alt.cond, i1 false ; and %inner.cond, %alt.cond
+ %not.inner.cond = xor i1 %inner.cond, -1
+ %inner.sel = select i1 %not.inner.cond, i1 true, i1 %inner.sel.falseval
+ %not.outer.cond = xor i1 %outer.cond, -1
+ call void @use.i1(i1 %inner.sel)
+ %outer.sel = select i1 %not.outer.cond, i1 %inner.sel, i1 false
+ ret i1 %outer.sel
+}
+define i1 @orcond.011.inv.outer.cond.inv.inner.cond.in.inner.sel(i1 %inner.cond, i1 %alt.cond, i1 %inner.sel.trueval, i1 %inner.sel.falseval, i1 %outer.sel.falseval) {
+; CHECK-LABEL: @orcond.011.inv.outer.cond.inv.inner.cond.in.inner.sel(
+; CHECK-NEXT: [[OUTER_COND:%.*]] = select i1 [[INNER_COND:%.*]], i1 true, i1 [[ALT_COND:%.*]]
+; CHECK-NEXT: [[NOT_INNER_COND:%.*]] = xor i1 [[INNER_COND]], true
+; CHECK-NEXT: [[INNER_SEL:%.*]] = select i1 [[NOT_INNER_COND]], i1 [[INNER_SEL_TRUEVAL:%.*]], i1 false
+; CHECK-NEXT: call void @use.i1(i1 [[INNER_SEL]])
+; CHECK-NEXT: [[NOT_OUTER_COND:%.*]] = xor i1 [[OUTER_COND]], true
+; CHECK-NEXT: [[OUTER_SEL:%.*]] = select i1 [[NOT_OUTER_COND]], i1 true, i1 [[INNER_SEL]]
+; CHECK-NEXT: ret i1 [[OUTER_SEL]]
+;
+ %outer.cond = select i1 %inner.cond, i1 true, i1 %alt.cond ; or %inner.cond, %alt.cond
+ %not.inner.cond = xor i1 %inner.cond, -1
+ %inner.sel = select i1 %not.inner.cond, i1 %inner.sel.trueval, i1 false
+ call void @use.i1(i1 %inner.sel)
+ %not.outer.cond = xor i1 %outer.cond, -1
+ %outer.sel = select i1 %not.outer.cond, i1 true, i1 %inner.sel
+ ret i1 %outer.sel
+}
+
+; In %outer.sel, %outer.cond is inverted
+; In %outer.cond, %inner.cond is inverted
+define i1 @andcond.101.inv.outer.cond.inv.inner.cond.in.outer.cond(i1 %inner.cond, i1 %alt.cond, i1 %inner.sel.trueval, i1 %inner.sel.falseval, i1 %outer.sel.trueval) {
+; CHECK-LABEL: @andcond.101.inv.outer.cond.inv.inner.cond.in.outer.cond(
+; CHECK-NEXT: [[INNER_SEL:%.*]] = select i1 [[INNER_COND:%.*]], i1 [[INNER_SEL_TRUEVAL:%.*]], i1 [[INNER_SEL_FALSEVAL:%.*]]
+; CHECK-NEXT: call void @use.i1(i1 [[INNER_SEL]])
+; CHECK-NEXT: [[ALT_COND_NOT:%.*]] = xor i1 [[ALT_COND:%.*]], true
+; CHECK-NEXT: [[NOT_OUTER_COND:%.*]] = select i1 [[INNER_COND]], i1 true, i1 [[ALT_COND_NOT]]
+; CHECK-NEXT: [[OUTER_SEL:%.*]] = select i1 [[NOT_OUTER_COND]], i1 [[INNER_SEL]], i1 false
+; CHECK-NEXT: ret i1 [[OUTER_SEL]]
+;
+ %not.inner.cond = xor i1 %inner.cond, -1
+ %outer.cond = select i1 %not.inner.cond, i1 %alt.cond, i1 false ; and %inner.cond, %alt.cond
+ %inner.sel = select i1 %inner.cond, i1 %inner.sel.trueval, i1 %inner.sel.falseval
+ call void @use.i1(i1 %inner.sel)
+ %not.outer.cond = xor i1 %outer.cond, -1
+ %outer.sel = select i1 %not.outer.cond, i1 %inner.sel, i1 false
+ ret i1 %outer.sel
+}
+define i1 @orcond.101.inv.outer.cond.inv.inner.cond.in.outer.cond(i1 %inner.cond, i1 %alt.cond, i1 %inner.sel.trueval, i1 %inner.sel.falseval, i1 %outer.sel.falseval) {
+; CHECK-LABEL: @orcond.101.inv.outer.cond.inv.inner.cond.in.outer.cond(
+; CHECK-NEXT: [[INNER_SEL:%.*]] = select i1 [[INNER_COND:%.*]], i1 [[INNER_SEL_TRUEVAL:%.*]], i1 [[INNER_SEL_FALSEVAL:%.*]]
+; CHECK-NEXT: call void @use.i1(i1 [[INNER_SEL]])
+; CHECK-NEXT: [[ALT_COND_NOT:%.*]] = xor i1 [[ALT_COND:%.*]], true
+; CHECK-NEXT: [[NOT_OUTER_COND:%.*]] = select i1 [[INNER_COND]], i1 [[ALT_COND_NOT]], i1 false
+; CHECK-NEXT: [[OUTER_SEL:%.*]] = select i1 [[NOT_OUTER_COND]], i1 true, i1 [[INNER_SEL]]
+; CHECK-NEXT: ret i1 [[OUTER_SEL]]
+;
+ %not.inner.cond = xor i1 %inner.cond, -1
+ %outer.cond = select i1 %not.inner.cond, i1 true, i1 %alt.cond ; or %inner.cond, %alt.cond
+ %inner.sel = select i1 %inner.cond, i1 %inner.sel.trueval, i1 %inner.sel.falseval
+ call void @use.i1(i1 %inner.sel)
+ %not.outer.cond = xor i1 %outer.cond, -1
+ %outer.sel = select i1 %not.outer.cond, i1 true, i1 %inner.sel
+ ret i1 %outer.sel
+}
+
+; In %inner.sel, %inner.cond is inverted
+; In %outer.cond, %inner.cond is inverted
+define i1 @andcond.110.inv.inner.cond.in.inner.sel.inv.inner.cond.in.outer.cond(i1 %inner.cond, i1 %alt.cond, i1 %inner.sel.trueval, i1 %inner.sel.falseval, i1 %outer.sel.trueval) {
+; CHECK-LABEL: @andcond.110.inv.inner.cond.in.inner.sel.inv.inner.cond.in.outer.cond(
+; CHECK-NEXT: [[NOT_INNER_COND_0:%.*]] = xor i1 [[INNER_COND:%.*]], true
+; CHECK-NEXT: [[OUTER_COND:%.*]] = select i1 [[NOT_INNER_COND_0]], i1 [[ALT_COND:%.*]], i1 false
+; CHECK-NEXT: [[NOT_INNER_COND_1:%.*]] = xor i1 [[INNER_COND]], true
+; CHECK-NEXT: [[INNER_SEL:%.*]] = select i1 [[NOT_INNER_COND_1]], i1 [[INNER_SEL_FALSEVAL:%.*]], i1 false
+; CHECK-NEXT: [[OUTER_SEL:%.*]] = select i1 [[OUTER_COND]], i1 [[OUTER_SEL_TRUEVAL:%.*]], i1 [[INNER_SEL]]
+; CHECK-NEXT: ret i1 [[OUTER_SEL]]
+;
+ %not.inner.cond.0 = xor i1 %inner.cond, -1
+ %outer.cond = select i1 %not.inner.cond.0, i1 %alt.cond, i1 false ; and %inner.cond, %alt.cond
+ %not.inner.cond.1 = xor i1 %inner.cond, -1
+ %inner.sel = select i1 %not.inner.cond.1, i1 %inner.sel.falseval, i1 false
+ %outer.sel = select i1 %outer.cond, i1 %outer.sel.trueval, i1 %inner.sel
+ ret i1 %outer.sel
+}
+define i1 @orcond.110.inv.inner.cond.in.inner.sel.inv.inner.cond.in.outer.cond(i1 %inner.cond, i1 %alt.cond, i1 %inner.sel.trueval, i1 %inner.sel.falseval, i1 %outer.sel.falseval) {
+; CHECK-LABEL: @orcond.110.inv.inner.cond.in.inner.sel.inv.inner.cond.in.outer.cond(
+; CHECK-NEXT: [[NOT_INNER_COND_0:%.*]] = xor i1 [[INNER_COND:%.*]], true
+; CHECK-NEXT: [[OUTER_COND:%.*]] = select i1 [[NOT_INNER_COND_0]], i1 true, i1 [[ALT_COND:%.*]]
+; CHECK-NEXT: [[NOT_INNER_COND_1:%.*]] = xor i1 [[INNER_COND]], true
+; CHECK-NEXT: [[INNER_SEL:%.*]] = select i1 [[NOT_INNER_COND_1]], i1 true, i1 [[INNER_SEL_TRUEVAL:%.*]]
+; CHECK-NEXT: [[OUTER_SEL:%.*]] = select i1 [[OUTER_COND]], i1 [[INNER_SEL]], i1 [[OUTER_SEL_FALSEVAL:%.*]]
+; CHECK-NEXT: ret i1 [[OUTER_SEL]]
+;
+ %not.inner.cond.0 = xor i1 %inner.cond, -1
+ %outer.cond = select i1 %not.inner.cond.0, i1 true, i1 %alt.cond ; or %inner.cond, %alt.cond
+ %not.inner.cond.1 = xor i1 %inner.cond, -1
+ %inner.sel = select i1 %not.inner.cond.1, i1 true, i1 %inner.sel.trueval
+ %outer.sel = select i1 %outer.cond, i1 %inner.sel, i1 %outer.sel.falseval
+ ret i1 %outer.sel
+}
+
+; In %outer.sel, %outer.cond is inverted
+; In %inner.sel, %inner.cond is inverted
+; In %outer.cond, %inner.cond is inverted
+define i1 @andcond.111.inv.all.conds(i1 %inner.cond, i1 %alt.cond, i1 %inner.sel.trueval, i1 %inner.sel.falseval, i1 %outer.sel.trueval) {
+; CHECK-LABEL: @andcond.111.inv.all.conds(
+; CHECK-NEXT: [[NOT_INNER_COND_0:%.*]] = xor i1 [[INNER_COND:%.*]], true
+; CHECK-NEXT: [[OUTER_COND:%.*]] = select i1 [[NOT_INNER_COND_0]], i1 [[ALT_COND:%.*]], i1 false
+; CHECK-NEXT: call void @use.i1(i1 [[OUTER_COND]])
+; CHECK-NEXT: [[NOT_INNER_COND_1:%.*]] = xor i1 [[INNER_COND]], true
+; CHECK-NEXT: [[INNER_SEL:%.*]] = select i1 [[NOT_INNER_COND_1]], i1 [[INNER_SEL_FALSEVAL:%.*]], i1 false
+; CHECK-NEXT: call void @use.i1(i1 [[INNER_SEL]])
+; CHECK-NEXT: [[NOT_OUTER_COND:%.*]] = xor i1 [[OUTER_COND]], true
+; CHECK-NEXT: [[OUTER_SEL:%.*]] = select i1 [[NOT_OUTER_COND]], i1 [[INNER_SEL]], i1 false
+; CHECK-NEXT: ret i1 [[OUTER_SEL]]
+;
+ %not.inner.cond.0 = xor i1 %inner.cond, -1
+ %outer.cond = select i1 %not.inner.cond.0, i1 %alt.cond, i1 false ; and %inner.cond, %alt.cond
+ call void @use.i1(i1 %outer.cond)
+ %not.inner.cond.1 = xor i1 %inner.cond, -1
+ %inner.sel = select i1 %not.inner.cond.1, i1 %inner.sel.falseval, i1 false
+ call void @use.i1(i1 %inner.sel)
+ %not.outer.cond = xor i1 %outer.cond, -1
+ %outer.sel = select i1 %not.outer.cond, i1 %inner.sel, i1 false
+ ret i1 %outer.sel
+}
+define i1 @orcond.111.inv.all.conds(i1 %inner.cond, i1 %alt.cond, i1 %inner.sel.trueval, i1 %inner.sel.falseval, i1 %outer.sel.falseval) {
+; CHECK-LABEL: @orcond.111.inv.all.conds(
+; CHECK-NEXT: [[NOT_INNER_COND_0:%.*]] = xor i1 [[INNER_COND:%.*]], true
+; CHECK-NEXT: [[OUTER_COND:%.*]] = select i1 [[NOT_INNER_COND_0]], i1 true, i1 [[ALT_COND:%.*]]
+; CHECK-NEXT: call void @use.i1(i1 [[OUTER_COND]])
+; CHECK-NEXT: [[NOT_INNER_COND_1:%.*]] = xor i1 [[INNER_COND]], true
+; CHECK-NEXT: [[INNER_SEL:%.*]] = select i1 [[NOT_INNER_COND_1]], i1 true, i1 [[INNER_SEL_TRUEVAL:%.*]]
+; CHECK-NEXT: call void @use.i1(i1 [[INNER_SEL]])
+; CHECK-NEXT: [[NOT_OUTER_COND:%.*]] = xor i1 [[OUTER_COND]], true
+; CHECK-NEXT: [[OUTER_SEL:%.*]] = select i1 [[NOT_OUTER_COND]], i1 true, i1 [[INNER_SEL]]
+; CHECK-NEXT: ret i1 [[OUTER_SEL]]
+;
+ %not.inner.cond.0 = xor i1 %inner.cond, -1
+ %outer.cond = select i1 %not.inner.cond.0, i1 true, i1 %alt.cond ; or %inner.cond, %alt.cond
+ call void @use.i1(i1 %outer.cond)
+ %not.inner.cond.1 = xor i1 %inner.cond, -1
+ %inner.sel = select i1 %not.inner.cond.1, i1 true, i1 %inner.sel.trueval
+ call void @use.i1(i1 %inner.sel)
+ %not.outer.cond = xor i1 %outer.cond, -1
+ %outer.sel = select i1 %not.outer.cond, i1 true, i1 %inner.sel
+ ret i1 %outer.sel
+}
More information about the llvm-commits
mailing list