blob: da41fac3e35093f819820cd7595d24ac7994a363 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
; 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) {
%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) {
%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]]
}
|
