maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

[DemandedBits] Add addition test case from D72423

This commit is contained in:
Simon Pilgrim 2020-08-14 15:59:53 +01:00
parent 9240e48a58
commit 25ce634172
1 changed files with 22 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
llvm/test/Analysis/DemandedBits/add.ll Normal file
View File

@ -0,0 +1,22 @@
; RUN: opt -S -demanded-bits -analyze < %s | FileCheck %s
; RUN: opt -S -disable-output -passes="print<demanded-bits>" < %s 2>&1 | FileCheck %s
; CHECK-DAG: DemandedBits: 0x1f for %5 = or i32 %2, %3
; CHECK-DAG: DemandedBits: 0xffffffff for %8 = and i32 %7, 16
; CHECK-DAG: DemandedBits: 0x1f for %4 = and i32 %d, 4
; CHECK-DAG: DemandedBits: 0x1f for %1 = and i32 %a, 9
; CHECK-DAG: DemandedBits: 0x1f for %3 = and i32 %c, 13
; CHECK-DAG: DemandedBits: 0x10 for %7 = add i32 %1, %6
; CHECK-DAG: DemandedBits: 0x1f for %6 = or i32 %4, %5
; CHECK-DAG: DemandedBits: 0x1f for %2 = and i32 %b, 9
define i32 @test_add(i32 %a, i32 %b, i32 %c, i32 %d) {
%1 = and i32 %a, 9
%2 = and i32 %b, 9
%3 = and i32 %c, 13
%4 = and i32 %d, 4 ; no bit of %d alive, %4 simplifies to zero
%5 = or i32 %2, %3
%6 = or i32 %4, %5
%7 = add i32 %1, %6
%8 = and i32 %7, 16
ret i32 %8
}