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 } 13
