69 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_analyze_test_checks.py2; RUN: opt -S -disable-output "-passes=print<scalar-evolution>" < %s 2>&1 | FileCheck %s3 4; These testcases aren't *identical* but they have the same/similar meaning.5 6; The obvious case.7define i32 @div(i32 %val, i32 %num) nounwind {8; CHECK-LABEL: 'div'9; CHECK-NEXT: Classifying expressions for: @div10; CHECK-NEXT: %tmp1 = udiv i32 %val, %num11; CHECK-NEXT: --> (%val /u %num) U: full-set S: full-set12; CHECK-NEXT: %tmp2 = mul i32 %tmp1, %num13; CHECK-NEXT: --> ((%val /u %num) * %num)<nuw> U: full-set S: full-set14; CHECK-NEXT: Determining loop execution counts for: @div15;16 %tmp1 = udiv i32 %val, %num17 %tmp2 = mul i32 %tmp1, %num18 ret i32 %tmp219}20 21define i32 @sdiv(i32 %val, i32 %num) nounwind {22; CHECK-LABEL: 'sdiv'23; CHECK-NEXT: Classifying expressions for: @sdiv24; CHECK-NEXT: %tmp1 = sdiv i32 %val, %num25; CHECK-NEXT: --> %tmp1 U: full-set S: full-set26; CHECK-NEXT: %tmp2 = mul i32 %tmp1, %num27; CHECK-NEXT: --> (%num * %tmp1) U: full-set S: full-set28; CHECK-NEXT: Determining loop execution counts for: @sdiv29;30 %tmp1 = sdiv i32 %val, %num31 %tmp2 = mul i32 %tmp1, %num32 ret i32 %tmp233}34 35; Or, it could be a number of equivalent patterns with mask:36; b) x & (-1 << nbits)37; d) x >> (32 - y) << (32 - y)38 39define i32 @mask_b(i32 %val, i32 %numlowbits) nounwind {40; CHECK-LABEL: 'mask_b'41; CHECK-NEXT: Classifying expressions for: @mask_b42; CHECK-NEXT: %mask = shl i32 -1, %numlowbits43; CHECK-NEXT: --> %mask U: [-2147483648,0) S: [-2147483648,0)44; CHECK-NEXT: %masked = and i32 %mask, %val45; CHECK-NEXT: --> %masked U: full-set S: full-set46; CHECK-NEXT: Determining loop execution counts for: @mask_b47;48 %mask = shl i32 -1, %numlowbits49 %masked = and i32 %mask, %val50 ret i32 %masked51}52 53define i32 @mask_d(i32 %val, i32 %lowbits) nounwind {54; CHECK-LABEL: 'mask_d'55; CHECK-NEXT: Classifying expressions for: @mask_d56; CHECK-NEXT: %numlowbits = sub i32 32, %lowbits57; CHECK-NEXT: --> (32 + (-1 * %lowbits)) U: full-set S: full-set58; CHECK-NEXT: %lowbitscleared = lshr i32 %val, %numlowbits59; CHECK-NEXT: --> %lowbitscleared U: full-set S: full-set60; CHECK-NEXT: %masked = shl i32 %lowbitscleared, %numlowbits61; CHECK-NEXT: --> %masked U: full-set S: full-set62; CHECK-NEXT: Determining loop execution counts for: @mask_d63;64 %numlowbits = sub i32 32, %lowbits65 %lowbitscleared = lshr i32 %val, %numlowbits66 %masked = shl i32 %lowbitscleared, %numlowbits67 ret i32 %masked68}69