1*5a9a02f6SVedant Paranjape; NOTE: Assertions have been autogenerated by utils/update_analyze_test_checks.py UTC_ARGS: --version 2 2*5a9a02f6SVedant Paranjape; RUN: opt < %s -disable-output "-passes=print<scalar-evolution>" 2>&1 | FileCheck %s 3*5a9a02f6SVedant Paranjape 4*5a9a02f6SVedant Paranjapedefine i64 @test00(i64 %a) { 5*5a9a02f6SVedant Paranjape; CHECK-LABEL: 'test00' 6*5a9a02f6SVedant Paranjape; CHECK-NEXT: Classifying expressions for: @test00 7*5a9a02f6SVedant Paranjape; CHECK-NEXT: %add = shl i64 %a, 10 8*5a9a02f6SVedant Paranjape; CHECK-NEXT: --> (1024 * %a) U: [0,-1023) S: [-9223372036854775808,9223372036854774785) 9*5a9a02f6SVedant Paranjape; CHECK-NEXT: %shl = add i64 %add, 256 10*5a9a02f6SVedant Paranjape; CHECK-NEXT: --> (256 + (1024 * %a))<nuw><nsw> U: [256,-767) S: [-9223372036854775552,9223372036854775041) 11*5a9a02f6SVedant Paranjape; CHECK-NEXT: %ashr = ashr exact i64 %shl, 8 12*5a9a02f6SVedant Paranjape; CHECK-NEXT: --> (1 + (sext i56 (4 * (trunc i64 %a to i56)) to i64))<nuw><nsw> U: [1,-2) S: [-36028797018963967,36028797018963966) 13*5a9a02f6SVedant Paranjape; CHECK-NEXT: Determining loop execution counts for: @test00 14*5a9a02f6SVedant Paranjape; 15*5a9a02f6SVedant Paranjape %add = shl i64 %a, 10 16*5a9a02f6SVedant Paranjape %shl = add i64 %add, 256 17*5a9a02f6SVedant Paranjape %ashr = ashr exact i64 %shl, 8 18*5a9a02f6SVedant Paranjape ret i64 %ashr 19*5a9a02f6SVedant Paranjape} 20*5a9a02f6SVedant Paranjape 21*5a9a02f6SVedant Paranjapedefine i64 @test01(i64 %a) { 22*5a9a02f6SVedant Paranjape; CHECK-LABEL: 'test01' 23*5a9a02f6SVedant Paranjape; CHECK-NEXT: Classifying expressions for: @test01 24*5a9a02f6SVedant Paranjape; CHECK-NEXT: %add = shl i64 %a, 6 25*5a9a02f6SVedant Paranjape; CHECK-NEXT: --> (64 * %a) U: [0,-63) S: [-9223372036854775808,9223372036854775745) 26*5a9a02f6SVedant Paranjape; CHECK-NEXT: %shl = add i64 %add, 256 27*5a9a02f6SVedant Paranjape; CHECK-NEXT: --> (256 + (64 * %a)) U: [0,-63) S: [-9223372036854775808,9223372036854775745) 28*5a9a02f6SVedant Paranjape; CHECK-NEXT: %ashr = ashr exact i64 %shl, 8 29*5a9a02f6SVedant Paranjape; CHECK-NEXT: --> %ashr U: [-36028797018963968,36028797018963968) S: [-36028797018963968,36028797018963968) 30*5a9a02f6SVedant Paranjape; CHECK-NEXT: Determining loop execution counts for: @test01 31*5a9a02f6SVedant Paranjape; 32*5a9a02f6SVedant Paranjape %add = shl i64 %a, 6 33*5a9a02f6SVedant Paranjape %shl = add i64 %add, 256 34*5a9a02f6SVedant Paranjape %ashr = ashr exact i64 %shl, 8 35*5a9a02f6SVedant Paranjape ret i64 %ashr 36*5a9a02f6SVedant Paranjape} 37*5a9a02f6SVedant Paranjape 38*5a9a02f6SVedant Paranjapedefine i64 @test02(i64 %a) { 39*5a9a02f6SVedant Paranjape; CHECK-LABEL: 'test02' 40*5a9a02f6SVedant Paranjape; CHECK-NEXT: Classifying expressions for: @test02 41*5a9a02f6SVedant Paranjape; CHECK-NEXT: %add = shl i64 %a, 12 42*5a9a02f6SVedant Paranjape; CHECK-NEXT: --> (4096 * %a) U: [0,-4095) S: [-9223372036854775808,9223372036854771713) 43*5a9a02f6SVedant Paranjape; CHECK-NEXT: %shl = add i64 %add, 4096 44*5a9a02f6SVedant Paranjape; CHECK-NEXT: --> (4096 + (4096 * %a)) U: [0,-4095) S: [-9223372036854775808,9223372036854771713) 45*5a9a02f6SVedant Paranjape; CHECK-NEXT: %ashr = ashr exact i64 %shl, 8 46*5a9a02f6SVedant Paranjape; CHECK-NEXT: --> (sext i56 (16 + (16 * (trunc i64 %a to i56))) to i64) U: [0,-15) S: [-36028797018963968,36028797018963953) 47*5a9a02f6SVedant Paranjape; CHECK-NEXT: Determining loop execution counts for: @test02 48*5a9a02f6SVedant Paranjape; 49*5a9a02f6SVedant Paranjape %add = shl i64 %a, 12 50*5a9a02f6SVedant Paranjape %shl = add i64 %add, 4096 51*5a9a02f6SVedant Paranjape %ashr = ashr exact i64 %shl, 8 52*5a9a02f6SVedant Paranjape ret i64 %ashr 53*5a9a02f6SVedant Paranjape} 54