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

   1 ; RUN: opt < %s -analyze -enable-new-pm=0 -scalar-evolution | FileCheck %s
   2 ; RUN: opt < %s -disable-output "-passes=print<scalar-evolution>" 2>&1 | FileCheck %s
   3
   4 ; Check that we convert
   5 ;   zext((a * b)<nuw>)
   6 ; to
   7 ;   (zext(a) * zext(b))<nuw>
   8
   9 declare i32 @get_int();
  10
  11 ; Transform doesn't apply here, because %a lacks range metadata.
  12 ; CHECK-LABEL: @no_range
  13 define void @no_range() {
  14   %a = call i32 @get_int()
  15   %b = mul i32 %a, 4
  16   %c = zext i32 %b to i64
  17   ; CHECK: %c
  18   ; CHECK-NEXT: --> (zext i32 (4 * %a) to i64)
  19   ret void
  20 }
  21
  22 ; CHECK-LABEL: @range
  23 define void @range() {
  24   %a = call i32 @get_int(), !range !{i32 0, i32 100}
  25   %b = mul i32 %a, 4
  26   %c = zext i32 %b to i64
  27   ; CHECK: %c
  28   ; CHECK-NEXT: --> (4 * (zext i32 %a to i64))<nuw><nsw>
  29   ret void
  30 }
  31
  32 ; CHECK-LABEL: @no_nuw
  33 define void @no_nuw() {
  34   %a = call i32 @get_int(), !range !{i32 0, i32 3}
  35   %b = mul i32 %a, -100
  36   ; CHECK: %b
  37   ; CHECK-NEXT: -->  (-100 * %a)<nsw>
  38   ret void
  39 }