llvm/test/Analysis/ScalarEvolution/zext-divrem.ll

   1 ; RUN: opt -disable-output "-passes=print<scalar-evolution>" -S < %s 2>&1 | FileCheck %s
   2
   3 define i64 @test1(i32 %a, i32 %b) {
   4 ; CHECK-LABEL: @test1
   5   %div = udiv i32 %a, %b
   6   %zext = zext i32 %div to i64
   7 ; CHECK: %zext
   8 ; CHECK-NEXT: -->  ((zext i32 %a to i64) /u (zext i32 %b to i64))
   9   ret i64 %zext
  10 }
  11
  12 define i64 @test2(i32 %a, i32 %b) {
  13 ; CHECK-LABEL: @test2
  14   %rem = urem i32 %a, %b
  15   %zext = zext i32 %rem to i64
  16 ; CHECK: %zext
  17 ; CHECK-NEXT: -->  ((zext i32 %a to i64) + (-1 * (zext i32 %b to i64) * ((zext i32 %a to i64) /u (zext i32 %b to i64))))
  18   ret i64 %zext
  19 }
  20
  21 define i64 @test3(i32 %a, i32 %b) {
  22 ; CHECK-LABEL: @test3
  23   %div = udiv i32 %a, %b
  24   %mul = mul i32 %div, %b
  25   %sub = sub i32 %a, %mul
  26   %zext = zext i32 %sub to i64
  27 ; CHECK: %zext
  28 ; CHECK-NEXT: -->  ((zext i32 %a to i64) + (-1 * (zext i32 %b to i64) * ((zext i32 %a to i64) /u (zext i32 %b to i64))))
  29   ret i64 %zext
  30 }
  31
  32 define i64 @test4(i32 %t) {
  33 ; CHECK-LABEL: @test4
  34   %a = udiv i32 %t, 2
  35   %div = udiv i32 %t, 112
  36   %mul = mul i32 %div, 56
  37   %sub = sub i32 %a, %mul
  38   %zext = zext i32 %sub to i64
  39 ; CHECK: %zext
  40 ; CHECK-NEXT: -->  ((-56 * ((zext i32 %t to i64) /u 112))<nsw> + ((zext i32 %t to i64) /u 2))
  41   ret i64 %zext
  42 }