diff options
Diffstat (limited to 'llvm/test/Transforms/InstCombine/min-positive.ll')
| -rw-r--r-- | llvm/test/Transforms/InstCombine/min-positive.ll | 34 |
1 files changed, 25 insertions, 9 deletions
diff --git a/llvm/test/Transforms/InstCombine/min-positive.ll b/llvm/test/Transforms/InstCombine/min-positive.ll index c82e51a0e43..618795e79f6 100644 --- a/llvm/test/Transforms/InstCombine/min-positive.ll +++ b/llvm/test/Transforms/InstCombine/min-positive.ll @@ -5,7 +5,7 @@ define i1 @smin(i32 %other) { ; CHECK-LABEL: @smin( -; CHECK-NEXT: [[TEST:%.*]] = icmp sgt i32 %other, 0 +; CHECK-NEXT: [[TEST:%.*]] = icmp sgt i32 [[OTHER:%.*]], 0 ; CHECK-NEXT: ret i1 [[TEST]] ; %positive = load i32, i32* @g, !range !{i32 1, i32 2048} @@ -19,7 +19,7 @@ define i1 @smin(i32 %other) { define <2 x i1> @smin_vec(<2 x i32> %x, <2 x i32> %other) { ; CHECK-LABEL: @smin_vec( -; CHECK-NEXT: [[TEST:%.*]] = icmp sgt <2 x i32> %other, zeroinitializer +; CHECK-NEXT: [[TEST:%.*]] = icmp sgt <2 x i32> [[OTHER:%.*]], zeroinitializer ; CHECK-NEXT: ret <2 x i1> [[TEST]] ; %notneg = and <2 x i32> %x, <i32 7, i32 7> @@ -32,7 +32,7 @@ define <2 x i1> @smin_vec(<2 x i32> %x, <2 x i32> %other) { define i1 @smin_commute(i32 %other) { ; CHECK-LABEL: @smin_commute( -; CHECK-NEXT: [[TEST:%.*]] = icmp sgt i32 %other, 0 +; CHECK-NEXT: [[TEST:%.*]] = icmp sgt i32 [[OTHER:%.*]], 0 ; CHECK-NEXT: ret i1 [[TEST]] ; %positive = load i32, i32* @g, !range !{i32 1, i32 2048} @@ -44,7 +44,7 @@ define i1 @smin_commute(i32 %other) { define <2 x i1> @smin_commute_vec(<2 x i32> %x, <2 x i32> %other) { ; CHECK-LABEL: @smin_commute_vec( -; CHECK-NEXT: [[TEST:%.*]] = icmp sgt <2 x i32> %other, zeroinitializer +; CHECK-NEXT: [[TEST:%.*]] = icmp sgt <2 x i32> [[OTHER:%.*]], zeroinitializer ; CHECK-NEXT: ret <2 x i1> [[TEST]] ; %notneg = and <2 x i32> %x, <i32 7, i32 7> @@ -55,13 +55,29 @@ define <2 x i1> @smin_commute_vec(<2 x i32> %x, <2 x i32> %other) { ret <2 x i1> %test } +define <2 x i1> @smin_commute_vec_undef_elts(<2 x i32> %x, <2 x i32> %other) { +; CHECK-LABEL: @smin_commute_vec_undef_elts( +; CHECK-NEXT: [[NOTNEG:%.*]] = and <2 x i32> [[X:%.*]], <i32 6, i32 6> +; CHECK-NEXT: [[POSITIVE:%.*]] = or <2 x i32> [[NOTNEG]], <i32 1, i32 1> +; CHECK-NEXT: [[CMP:%.*]] = icmp sgt <2 x i32> [[POSITIVE]], [[OTHER:%.*]] +; CHECK-NEXT: [[SEL:%.*]] = select <2 x i1> [[CMP]], <2 x i32> [[OTHER]], <2 x i32> [[POSITIVE]] +; CHECK-NEXT: [[TEST:%.*]] = icmp sgt <2 x i32> [[SEL]], <i32 0, i32 undef> +; CHECK-NEXT: ret <2 x i1> [[TEST]] +; + %notneg = and <2 x i32> %x, <i32 7, i32 7> + %positive = or <2 x i32> %notneg, <i32 1, i32 1> + %cmp = icmp slt <2 x i32> %other, %positive + %sel = select <2 x i1> %cmp, <2 x i32> %other, <2 x i32> %positive + %test = icmp sgt <2 x i32> %sel, <i32 0, i32 undef> + ret <2 x i1> %test +} ; %positive might be zero define i1 @maybe_not_positive(i32 %other) { ; CHECK-LABEL: @maybe_not_positive( ; CHECK-NEXT: [[POSITIVE:%.*]] = load i32, i32* @g, align 4, !range !0 -; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[POSITIVE]], %other -; CHECK-NEXT: [[SEL:%.*]] = select i1 [[CMP]], i32 [[POSITIVE]], i32 %other +; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[POSITIVE]], [[OTHER:%.*]] +; CHECK-NEXT: [[SEL:%.*]] = select i1 [[CMP]], i32 [[POSITIVE]], i32 [[OTHER]] ; CHECK-NEXT: [[TEST:%.*]] = icmp sgt i32 [[SEL]], 0 ; CHECK-NEXT: ret i1 [[TEST]] ; @@ -74,9 +90,9 @@ define i1 @maybe_not_positive(i32 %other) { define <2 x i1> @maybe_not_positive_vec(<2 x i32> %x, <2 x i32> %other) { ; CHECK-LABEL: @maybe_not_positive_vec( -; CHECK-NEXT: [[NOTNEG:%.*]] = and <2 x i32> %x, <i32 7, i32 7> -; CHECK-NEXT: [[CMP:%.*]] = icmp slt <2 x i32> [[NOTNEG]], %other -; CHECK-NEXT: [[SEL:%.*]] = select <2 x i1> [[CMP]], <2 x i32> [[NOTNEG]], <2 x i32> %other +; CHECK-NEXT: [[NOTNEG:%.*]] = and <2 x i32> [[X:%.*]], <i32 7, i32 7> +; CHECK-NEXT: [[CMP:%.*]] = icmp slt <2 x i32> [[NOTNEG]], [[OTHER:%.*]] +; CHECK-NEXT: [[SEL:%.*]] = select <2 x i1> [[CMP]], <2 x i32> [[NOTNEG]], <2 x i32> [[OTHER]] ; CHECK-NEXT: [[TEST:%.*]] = icmp sgt <2 x i32> [[SEL]], zeroinitializer ; CHECK-NEXT: ret <2 x i1> [[TEST]] ; |
