test/Analysis/DemandedBits/basic.ll

   1 ; RUN: opt -S -demanded-bits -analyze < %s | FileCheck %s
   2 ; RUN: opt -S -disable-output -passes="print<demanded-bits>" < %s 2>&1 | FileCheck %s
   3
   4 ; CHECK-DAG: DemandedBits: 0xff for   %1 = add nsw i32 %a, 5
   5 ; CHECK-DAG: DemandedBits: 0xff for   %3 = trunc i32 %2 to i8
   6 ; CHECK-DAG: DemandedBits: 0xff for   %2 = mul nsw i32 %1, %b
   7 define i8 @test_mul(i32 %a, i32 %b) {
   8   %1 = add nsw i32 %a, 5
   9   %2 = mul nsw i32 %1, %b
  10   %3 = trunc i32 %2 to i8
  11   ret i8 %3
  12 }