23 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_analyze_test_checks.py UTC_ARGS: --version 42; RUN: opt < %s -disable-output "-passes=print<scalar-evolution>" 2>&1 | FileCheck %s3 4; Reduced from https://bugs.chromium.org/p/oss-fuzz/issues/detail?id=652785define i32 @PR76234() {6; CHECK-LABEL: 'PR76234'7; CHECK-NEXT: Classifying expressions for: @PR762348; CHECK-NEXT: %B9 = shl i896 0, -2641472655678326231761698924582583032594236630180607610639803545133369512783624297372086279438285939473371974966285643394411737797513427686252694892314697884541933419995025420843657588382132205265121164541055942020740141463757808694191984493835182382447692904488689991689; CHECK-NEXT: --> %B9 U: [0,1) S: [0,1)10; CHECK-NEXT: %B39 = ashr i896 %B9, 111; CHECK-NEXT: --> %B39 U: [0,1) S: [0,1) Exits: <<Unknown>> LoopDispositions: { %1: Variant }12; CHECK-NEXT: Determining loop execution counts for: @PR7623413; CHECK-NEXT: Loop %1: <multiple exits> Unpredictable backedge-taken count.14; CHECK-NEXT: Loop %1: Unpredictable constant max backedge-taken count.15; CHECK-NEXT: Loop %1: Unpredictable symbolic max backedge-taken count.16;17 %B9 = shl i896 0, -26414726556783262317616989245825830325942366301806076106398035451333695127836242973720862794382859394733719749662856433944117377975134276862526948923146978845419334199950254208436575883821322052651211645410559420207401414637578086941919844938351823824476929044886899916818 br label %1191:20 %B39 = ashr i896 %B9, 121 br label %122}23