54 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_analyze_test_checks.py UTC_ARGS: --version 22; RUN: opt < %s -disable-output "-passes=print<scalar-evolution>" 2>&1 | FileCheck %s3 4define i64 @test00(i64 %a) {5; CHECK-LABEL: 'test00'6; CHECK-NEXT: Classifying expressions for: @test007; CHECK-NEXT: %add = shl i64 %a, 108; CHECK-NEXT: --> (1024 * %a) U: [0,-1023) S: [-9223372036854775808,9223372036854774785)9; CHECK-NEXT: %shl = add i64 %add, 25610; CHECK-NEXT: --> (256 + (1024 * %a))<nuw><nsw> U: [256,-767) S: [-9223372036854775552,9223372036854775041)11; CHECK-NEXT: %ashr = ashr exact i64 %shl, 812; CHECK-NEXT: --> (1 + (sext i56 (4 * (trunc i64 %a to i56)) to i64))<nuw><nsw> U: [1,-2) S: [-36028797018963967,36028797018963966)13; CHECK-NEXT: Determining loop execution counts for: @test0014;15 %add = shl i64 %a, 1016 %shl = add i64 %add, 25617 %ashr = ashr exact i64 %shl, 818 ret i64 %ashr19}20 21define i64 @test01(i64 %a) {22; CHECK-LABEL: 'test01'23; CHECK-NEXT: Classifying expressions for: @test0124; CHECK-NEXT: %add = shl i64 %a, 625; CHECK-NEXT: --> (64 * %a) U: [0,-63) S: [-9223372036854775808,9223372036854775745)26; CHECK-NEXT: %shl = add i64 %add, 25627; CHECK-NEXT: --> (256 + (64 * %a)) U: [0,-63) S: [-9223372036854775808,9223372036854775745)28; CHECK-NEXT: %ashr = ashr exact i64 %shl, 829; CHECK-NEXT: --> %ashr U: [-36028797018963968,36028797018963968) S: [-36028797018963968,36028797018963968)30; CHECK-NEXT: Determining loop execution counts for: @test0131;32 %add = shl i64 %a, 633 %shl = add i64 %add, 25634 %ashr = ashr exact i64 %shl, 835 ret i64 %ashr36}37 38define i64 @test02(i64 %a) {39; CHECK-LABEL: 'test02'40; CHECK-NEXT: Classifying expressions for: @test0241; CHECK-NEXT: %add = shl i64 %a, 1242; CHECK-NEXT: --> (4096 * %a) U: [0,-4095) S: [-9223372036854775808,9223372036854771713)43; CHECK-NEXT: %shl = add i64 %add, 409644; CHECK-NEXT: --> (4096 + (4096 * %a)) U: [0,-4095) S: [-9223372036854775808,9223372036854771713)45; CHECK-NEXT: %ashr = ashr exact i64 %shl, 846; CHECK-NEXT: --> (sext i56 (16 + (16 * (trunc i64 %a to i56))) to i64) U: [0,-15) S: [-36028797018963968,36028797018963953)47; CHECK-NEXT: Determining loop execution counts for: @test0248;49 %add = shl i64 %a, 1250 %shl = add i64 %add, 409651 %ashr = ashr exact i64 %shl, 852 ret i64 %ashr53}54