From: Florian Hahn Date: Mon, 10 Oct 2022 19:23:24 +0000 (+0100) Subject: [ConstraintElimination] Regenerate check lines for test. X-Git-Tag: upstream/17.0.6~31049 X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=ebb0be9b68046c2cf7607d32527cbce29d39ab9a;p=platform%2Fupstream%2Fllvm.git [ConstraintElimination] Regenerate check lines for test. Thanks @nikic for spotting that! --- diff --git a/llvm/test/Transforms/ConstraintElimination/large-constant-ints.ll b/llvm/test/Transforms/ConstraintElimination/large-constant-ints.ll index a487376..ec485f4 100644 --- a/llvm/test/Transforms/ConstraintElimination/large-constant-ints.ll +++ b/llvm/test/Transforms/ConstraintElimination/large-constant-ints.ll @@ -305,6 +305,17 @@ define i1 @add_minus_one_decomp_recursive() { } define i1 @gep_decomp_large_index(ptr %a) { +; CHECK-LABEL: @gep_decomp_large_index( +; CHECK-NEXT: entry: +; CHECK-NEXT: [[GEP_1:%.*]] = getelementptr inbounds i64, ptr [[A:%.*]], i64 2147483646 +; CHECK-NEXT: [[GEP_2:%.*]] = getelementptr inbounds i64, ptr [[A]], i64 2147483647 +; CHECK-NEXT: [[NE:%.*]] = icmp ne ptr [[GEP_1]], [[GEP_2]] +; CHECK-NEXT: call void @llvm.assume(i1 [[NE]]) +; CHECK-NEXT: [[CMP_ULE:%.*]] = icmp ule ptr [[GEP_1]], [[GEP_2]] +; CHECK-NEXT: [[CMP_UGE:%.*]] = icmp uge ptr [[GEP_1]], [[GEP_2]] +; CHECK-NEXT: [[RES:%.*]] = xor i1 true, false +; CHECK-NEXT: ret i1 [[RES]] +; entry: %gep.1 = getelementptr inbounds i64, ptr %a, i64 2147483646 %gep.2 = getelementptr inbounds i64, ptr %a, i64 2147483647