95 lines · plain
1; RUN: opt -passes='require<demanded-bits>,constraint-elimination,require<demanded-bits>' -disable-verify -verify-analysis-invalidation=false -debug-pass-manager -disable-output %s 2>&1 | FileCheck %s2 3; Check that constraint-elimination properly invalidates anlyses.4 5; FIXME: ssub simplification currently doesn't properly set the change status6; after modifying the IR, which causes DemandedBits to be preserved.7 8; CHECK: Running pass: RequireAnalysisPass9; CHECK-NEXT: Running analysis: DemandedBitsAnalysis on ssub_no_overflow_due_to_or_conds10; CHECK-NEXT: Running analysis: AssumptionAnalysis on ssub_no_overflow_due_to_or_conds11; CHECK-NEXT: Running analysis: TargetIRAnalysis on ssub_no_overflow_due_to_or_conds12; CHECK-NEXT: Running analysis: DominatorTreeAnalysis on ssub_no_overflow_due_to_or_conds13; CHECK-NEXT: Running pass: ConstraintEliminationPass on ssub_no_overflow_due_to_or_conds14; CHECK-NEXT: Running analysis: LoopAnalysis on ssub_no_overflow_due_to_or_conds15; CHECK-NEXT: Running analysis: ScalarEvolutionAnalysis on ssub_no_overflow_due_to_or_conds16; CHECK-NEXT: Running analysis: TargetLibraryAnalysis on ssub_no_overflow_due_to_or_conds17; CHECK-NEXT: Running analysis: OptimizationRemarkEmitterAnalysis on ssub_no_overflow_due_to_or_conds18; CHECK-NEXT: Invalidating analysis: DemandedBitsAnalysis on ssub_no_overflow_due_to_or_conds19; CHECK-NEXT: Running pass: RequireAnalysisPass20; CHECK-NEXT: Running analysis: DemandedBitsAnalysis on ssub_no_overflow_due_to_or_conds21 22; CHECK-NEXT: Running pass: RequireAnalysisPass23; CHECK-NEXT: Running analysis: DemandedBitsAnalysis on uge_zext24; CHECK-NEXT: Running analysis: AssumptionAnalysis on uge_zext25; CHECK-NEXT: Running analysis: TargetIRAnalysis on uge_zext26; CHECK-NEXT: Running analysis: DominatorTreeAnalysis on uge_zext27; CHECK-NEXT: Running pass: ConstraintEliminationPass on uge_zext28; CHECK-NEXT: Running analysis: LoopAnalysis on uge_zext29; CHECK-NEXT: Running analysis: ScalarEvolutionAnalysis on uge_zext30; CHECK-NEXT: Running analysis: TargetLibraryAnalysis on uge_zext31; CHECK-NEXT: Running analysis: OptimizationRemarkEmitterAnalysis on uge_zext32; CHECK-NEXT: Invalidating analysis: DemandedBitsAnalysis on uge_zext33; CHECK-NEXT: Running pass: RequireAnalysisPass34; CHECK-NEXT: Running analysis: DemandedBitsAnalysis on uge_zext35 36; CHECK-NEXT: Running pass: RequireAnalysisPass37; CHECK-NEXT: Running analysis: DemandedBitsAnalysis on test_mul_const_nuw_unsigned_1438; CHECK-NEXT: Running analysis: AssumptionAnalysis on test_mul_const_nuw_unsigned_1439; CHECK-NEXT: Running analysis: TargetIRAnalysis on test_mul_const_nuw_unsigned_1440; CHECK-NEXT: Running analysis: DominatorTreeAnalysis on test_mul_const_nuw_unsigned_1441; CHECK-NEXT: Running pass: ConstraintEliminationPass on test_mul_const_nuw_unsigned_1442; CHECK-NEXT: Running analysis: LoopAnalysis on test_mul_const_nuw_unsigned_1443; CHECK-NEXT: Running analysis: ScalarEvolutionAnalysis on test_mul_const_nuw_unsigned_1444; CHECK-NEXT: Running analysis: TargetLibraryAnalysis on test_mul_const_nuw_unsigned_1445; CHECK-NEXT: Running analysis: OptimizationRemarkEmitterAnalysis on test_mul_const_nuw_unsigned_1446 47declare { i8, i1 } @llvm.ssub.with.overflow.i8(i8, i8)48 49define i8 @ssub_no_overflow_due_to_or_conds(i8 %a, i8 %b) {50entry:51 %c.1 = icmp sle i8 %b, %a52 %c.2 = icmp slt i8 %a, 053 %or.cond = or i1 %c.2, %c.154 br i1 %or.cond, label %exit.fail, label %math55 56math:57 %op = tail call { i8, i1 } @llvm.ssub.with.overflow.i8(i8 %b, i8 %a)58 %status = extractvalue { i8, i1 } %op, 159 br i1 %status, label %exit.fail, label %exit.ok60 61exit.ok:62 %res = extractvalue { i8, i1 } %op, 063 ret i8 %res64 65exit.fail:66 ret i8 067}68 69declare void @use_res({ i8, i1 })70 71 72define i1 @uge_zext(i8 %x, i16 %y) {73entry:74 %x.ext = zext i8 %x to i1675 %c.1 = icmp uge i16 %x.ext, %y76 br i1 %c.1, label %bb1, label %bb277 78bb1:79 %t.1 = icmp uge i16 %x.ext, %y80 ret i1 %t.181 82bb2:83 ret i1 false84}85 86define i1 @test_mul_const_nuw_unsigned_14(i8 %start) {87 %start.mul.5 = mul nuw i8 %start, -588 %c.0 = icmp ult i8 %start, %start.mul.589 call void @llvm.assume(i1 %c.0)90 91 %start.mul.3 = mul nuw i8 %start, -392 %t.1 = icmp ule i8 %start.mul.3, %start.mul.593 ret i1 %t.194}95