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

auto-generate checks 

llvm-svn: 275187
This commit is contained in:
Sanjay Patel 2016-07-12 16:17:30 +00:00
parent 6d1f227e6b
commit 93dffe629a
1 changed files with 13 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

25
llvm/test/Transforms/InstCombine/demorgan-zext.ll
View File

@ -1,34 +1,35 @@
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s
; PR22723: Recognize De Morgan's Laws when obfuscated by zexts.
define i32 @demorgan_or(i1 %X, i1 %Y) {
; CHECK-LABEL: @demorgan_or(
; CHECK-NEXT: [[OR_DEMORGAN:%.*]] = and i1 %X, %Y
; CHECK-NEXT: [[TMP1:%.*]] = zext i1 [[OR_DEMORGAN]] to i32
; CHECK-NEXT: [[OR:%.*]] = xor i32 [[TMP1]], 1
; CHECK-NEXT: ret i32 [[OR]]
;
%zextX = zext i1 %X to i32
%zextY = zext i1 %Y to i32
%notX = xor i32 %zextX, 1
%notY = xor i32 %zextY, 1
%or = or i32 %notX, %notY
ret i32 %or
; CHECK-LABEL: demorgan_or(
; CHECK-NEXT: %[[AND:.*]] = and i1 %X, %Y
; CHECK-NEXT: %[[ZEXT:.*]] = zext i1 %[[AND]] to i32
; CHECK-NEXT: %[[XOR:.*]] = xor i32 %[[ZEXT]], 1
; CHECK-NEXT: ret i32 %[[XOR]]
}
define i32 @demorgan_and(i1 %X, i1 %Y) {
; CHECK-LABEL: @demorgan_and(
; CHECK-NEXT: [[AND_DEMORGAN:%.*]] = or i1 %X, %Y
; CHECK-NEXT: [[TMP1:%.*]] = zext i1 [[AND_DEMORGAN]] to i32
; CHECK-NEXT: [[AND:%.*]] = xor i32 [[TMP1]], 1
; CHECK-NEXT: ret i32 [[AND]]
;
%zextX = zext i1 %X to i32
%zextY = zext i1 %Y to i32
%notX = xor i32 %zextX, 1
%notY = xor i32 %zextY, 1
%and = and i32 %notX, %notY
ret i32 %and
; CHECK-LABEL: demorgan_and(
; CHECK-NEXT: %[[OR:.*]] = or i1 %X, %Y
; CHECK-NEXT: %[[ZEXT:.*]] = zext i1 %[[OR]] to i32
; CHECK-NEXT: %[[XOR:.*]] = xor i32 %[[ZEXT]], 1
; CHECK-NEXT: ret i32 %[[XOR]]
}