[ConstraintElimination] Add test with trivially false condition in and.

diff --git a/llvm/test/Transforms/ConstraintElimination/and.ll b/llvm/test/Transforms/ConstraintElimination/and.ll
index efab6728eed296ebdf086300efe79d8680eec1ce..7f29a0567f0a7df074a98e204089513f5ab03ace 100644 (file)
--- a/llvm/test/Transforms/ConstraintElimination/and.ll
+++ b/llvm/test/Transforms/ConstraintElimination/and.ll
@@ -147,3 +147,44 @@ ptr.check:
 exit:
   ret i4 3
 }
+
+define i1 @test_and_condition_trivially_false(i1 %c, i8* %ptr.1, i8 %idx, i8* %ptr.2) {
+; CHECK-LABEL: @test_and_condition_trivially_false(
+; CHECK-NEXT:  entry:
+; CHECK-NEXT:    br i1 [[C:%.*]], label [[THEN:%.*]], label [[EXIT_3:%.*]]
+; CHECK:       then:
+; CHECK-NEXT:    [[CMP_1:%.*]] = icmp ugt i8* [[PTR_2:%.*]], [[PTR_2]]
+; CHECK-NEXT:    [[IDX_EXT:%.*]] = zext i8 [[IDX:%.*]] to i16
+; CHECK-NEXT:    [[GEP_IDX_EXT:%.*]] = getelementptr inbounds i8, i8* [[PTR_1:%.*]], i16 [[IDX_EXT]]
+; CHECK-NEXT:    [[CMP_2:%.*]] = icmp ult i8* [[PTR_2]], [[GEP_IDX_EXT]]
+; CHECK-NEXT:    [[AND:%.*]] = and i1 false, [[CMP_2]]
+; CHECK-NEXT:    br i1 [[AND]], label [[EXIT_1:%.*]], label [[EXIT_2:%.*]]
+; CHECK:       exit.1:
+; CHECK-NEXT:    ret i1 true
+; CHECK:       exit.2:
+; CHECK-NEXT:    ret i1 false
+; CHECK:       exit.3:
+; CHECK-NEXT:    [[CMP_3:%.*]] = icmp ne i8 [[IDX]], 0
+; CHECK-NEXT:    ret i1 [[CMP_3]]
+;
+entry:
+  br i1 %c, label %then, label %exit.3
+
+then:
+  %cmp.1 = icmp ugt i8* %ptr.2, %ptr.2
+  %idx.ext = zext i8 %idx to i16
+  %gep.idx.ext = getelementptr inbounds i8, i8* %ptr.1, i16 %idx.ext
+  %cmp.2 = icmp ult i8* %ptr.2, %gep.idx.ext
+  %and = and i1 %cmp.1, %cmp.2
+  br i1 %and, label %exit.1, label %exit.2
+
+exit.1:
+  ret i1 1
+
+exit.2:
+  ret i1 0
+
+exit.3:
+  %cmp.3 = icmp ne i8 %idx, 0
+  ret i1 %cmp.3
+}