1; NOTE: Assertions have been autogenerated by utils/update_analyze_test_checks.py UTC_ARGS: --version 5 2; RUN: opt -S -passes='loop-unroll,loop-mssa(licm),print<scalar-evolution>' -unroll-count=4 -disable-output < %s 2>&1 | FileCheck %s --check-prefix=SCEV-EXPR 3 4define i16 @main() { 5; SCEV-EXPR-LABEL: 'main' 6; SCEV-EXPR-NEXT: Classifying expressions for: @main 7; SCEV-EXPR-NEXT: %mul = phi i16 [ 1, %entry ], [ %mul.n.3.reass, %loop ] 8; SCEV-EXPR-NEXT: --> %mul U: [0,-15) S: [-32768,32753) Exits: 4096 LoopDispositions: { %loop: Variant } 9; SCEV-EXPR-NEXT: %div = phi i16 [ 32767, %entry ], [ %div.n.3, %loop ] 10; SCEV-EXPR-NEXT: --> %div U: [-2048,-32768) S: [-2048,-32768) Exits: 7 LoopDispositions: { %loop: Variant } 11; SCEV-EXPR-NEXT: %mul.n.reass.reass = mul i16 %mul, 8 12; SCEV-EXPR-NEXT: --> (8 * %mul) U: [0,-7) S: [-32768,32761) Exits: -32768 LoopDispositions: { %loop: Variant } 13; SCEV-EXPR-NEXT: %div.n = sdiv i16 %div, 2 14; SCEV-EXPR-NEXT: --> %div.n U: [-16384,16384) S: [-16384,16384) Exits: 3 LoopDispositions: { %loop: Variant } 15; SCEV-EXPR-NEXT: %div.n.1 = sdiv i16 %div.n, 2 16; SCEV-EXPR-NEXT: --> %div.n.1 U: [-8192,8192) S: [-8192,8192) Exits: 1 LoopDispositions: { %loop: Variant } 17; SCEV-EXPR-NEXT: %div.n.2 = sdiv i16 %div.n.1, 2 18; SCEV-EXPR-NEXT: --> %div.n.2 U: [-4096,4096) S: [-4096,4096) Exits: 0 LoopDispositions: { %loop: Variant } 19; SCEV-EXPR-NEXT: %mul.n.3.reass = mul i16 %mul, 16 20; SCEV-EXPR-NEXT: --> (16 * %mul) U: [0,-15) S: [-32768,32753) Exits: 0 LoopDispositions: { %loop: Variant } 21; SCEV-EXPR-NEXT: %div.n.3 = sdiv i16 %div.n.2, 2 22; SCEV-EXPR-NEXT: --> %div.n.3 U: [-2048,2048) S: [-2048,2048) Exits: 0 LoopDispositions: { %loop: Variant } 23; SCEV-EXPR-NEXT: %mul.lcssa = phi i16 [ %mul.n.reass.reass, %loop ] 24; SCEV-EXPR-NEXT: --> (8 * %mul) U: [0,-7) S: [-32768,32761) --> -32768 U: [-32768,-32767) S: [-32768,-32767) 25; SCEV-EXPR-NEXT: Determining loop execution counts for: @main 26; SCEV-EXPR-NEXT: Loop %loop: backedge-taken count is i32 3 27; SCEV-EXPR-NEXT: Loop %loop: constant max backedge-taken count is i32 3 28; SCEV-EXPR-NEXT: Loop %loop: symbolic max backedge-taken count is i32 3 29; SCEV-EXPR-NEXT: Loop %loop: Trip multiple is 4 30; 31entry: 32 br label %loop 33 34loop: 35 %mul = phi i16 [ 1, %entry ], [ %mul.n, %loop ] 36 %div = phi i16 [ 32767, %entry ], [ %div.n, %loop ] 37 %mul.n = mul i16 %mul, 2 38 %div.n = sdiv i16 %div, 2 39 %cmp = icmp sgt i16 %div, 0 40 br i1 %cmp, label %loop, label %end 41 42end: 43 ret i16 %mul 44} 45