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

[InstCombine] add tests to show potentially bogus application of DeMorgan (NFC) 

llvm-svn: 301714
This commit is contained in:
Sanjay Patel 2017-04-28 23:14:33 +00:00
parent 513dc805eb
commit c8ab6bb27d
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/Transforms/InstCombine/and-or.ll
View File

@ -53,3 +53,25 @@ define i32 @func4(i32 %a, i32 %b) {
ret i32 %tmp3
}
define i32 @demorganize_constant1(i32 %a) {
; CHECK-LABEL: @demorganize_constant1(
; CHECK-NEXT: [[A_NOT:%.*]] = or i32 %a, -16
; CHECK-NEXT: [[AND1:%.*]] = xor i32 [[A_NOT]], 15
; CHECK-NEXT: ret i32 [[AND1]]
;
%and = and i32 %a, 15
%and1 = xor i32 %and, -1
ret i32 %and1
}
define i32 @demorganize_constant2(i32 %a) {
; CHECK-LABEL: @demorganize_constant2(
; CHECK-NEXT: [[A_NOT:%.*]] = and i32 %a, -16
; CHECK-NEXT: [[AND1:%.*]] = xor i32 [[A_NOT]], -16
; CHECK-NEXT: ret i32 [[AND1]]
;
%and = or i32 %a, 15
%and1 = xor i32 %and, -1
ret i32 %and1
}