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
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
|
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -S -passes=instsimplify < %s | FileCheck %s
define i1 @or_implied(i8 %x, i1 %c) {
; CHECK-LABEL: @or_implied(
; CHECK-NEXT: [[CMP2:%.*]] = icmp ne i8 [[X:%.*]], 1
; CHECK-NEXT: ret i1 [[CMP2]]
;
%cmp = icmp eq i8 %x, 0
%cmp2 = icmp ne i8 %x, 1
%and = and i1 %cmp, %c
%or = or i1 %and, %cmp2
ret i1 %or
}
define i1 @or_implied_comm1(i8 %x, i1 %c) {
; CHECK-LABEL: @or_implied_comm1(
; CHECK-NEXT: [[CMP2:%.*]] = icmp ne i8 [[X:%.*]], 1
; CHECK-NEXT: ret i1 [[CMP2]]
;
%cmp = icmp eq i8 %x, 0
%cmp2 = icmp ne i8 %x, 1
%and = and i1 %cmp, %c
%or = or i1 %cmp2, %and
ret i1 %or
}
define i1 @or_implied_comm2(i8 %x, i1 %c) {
; CHECK-LABEL: @or_implied_comm2(
; CHECK-NEXT: [[CMP2:%.*]] = icmp ne i8 [[X:%.*]], 1
; CHECK-NEXT: ret i1 [[CMP2]]
;
%cmp = icmp eq i8 %x, 0
%cmp2 = icmp ne i8 %x, 1
%and = and i1 %c, %cmp
%or = or i1 %and, %cmp2
ret i1 %or
}
define i1 @or_implied_comm3(i8 %x, i1 %c) {
; CHECK-LABEL: @or_implied_comm3(
; CHECK-NEXT: [[CMP2:%.*]] = icmp ne i8 [[X:%.*]], 1
; CHECK-NEXT: ret i1 [[CMP2]]
;
%cmp = icmp eq i8 %x, 0
%cmp2 = icmp ne i8 %x, 1
%and = and i1 %c, %cmp
%or = or i1 %cmp2, %and
ret i1 %or
}
define i1 @or_not_implied(i8 %x, i1 %c) {
; CHECK-LABEL: @or_not_implied(
; CHECK-NEXT: [[CMP:%.*]] = icmp eq i8 [[X:%.*]], 0
; CHECK-NEXT: [[CMP2:%.*]] = icmp ne i8 [[X]], 0
; CHECK-NEXT: [[AND:%.*]] = and i1 [[CMP]], [[C:%.*]]
; CHECK-NEXT: [[OR:%.*]] = or i1 [[AND]], [[CMP2]]
; CHECK-NEXT: ret i1 [[OR]]
;
%cmp = icmp eq i8 %x, 0
%cmp2 = icmp ne i8 %x, 0
%and = and i1 %cmp, %c
%or = or i1 %and, %cmp2
ret i1 %or
}
define i1 @and_implied(i8 %x, i1 %c) {
; CHECK-LABEL: @and_implied(
; CHECK-NEXT: [[CMP2:%.*]] = icmp eq i8 [[X:%.*]], 1
; CHECK-NEXT: ret i1 [[CMP2]]
;
%cmp = icmp ne i8 %x, 0
%cmp2 = icmp eq i8 %x, 1
%or = or i1 %cmp, %c
%and = and i1 %or, %cmp2
ret i1 %and
}
define i1 @and_implied_comm1(i8 %x, i1 %c) {
; CHECK-LABEL: @and_implied_comm1(
; CHECK-NEXT: [[CMP2:%.*]] = icmp eq i8 [[X:%.*]], 1
; CHECK-NEXT: ret i1 [[CMP2]]
;
%cmp = icmp ne i8 %x, 0
%cmp2 = icmp eq i8 %x, 1
%or = or i1 %cmp, %c
%and = and i1 %cmp2, %or
ret i1 %and
}
define i1 @and_implied_comm2(i8 %x, i1 %c) {
; CHECK-LABEL: @and_implied_comm2(
; CHECK-NEXT: [[CMP2:%.*]] = icmp eq i8 [[X:%.*]], 1
; CHECK-NEXT: ret i1 [[CMP2]]
;
%cmp = icmp ne i8 %x, 0
%cmp2 = icmp eq i8 %x, 1
%or = or i1 %c, %cmp
%and = and i1 %or, %cmp2
ret i1 %and
}
define i1 @and_implied_comm3(i8 %x, i1 %c) {
; CHECK-LABEL: @and_implied_comm3(
; CHECK-NEXT: [[CMP2:%.*]] = icmp eq i8 [[X:%.*]], 1
; CHECK-NEXT: ret i1 [[CMP2]]
;
%cmp = icmp ne i8 %x, 0
%cmp2 = icmp eq i8 %x, 1
%or = or i1 %c, %cmp
%and = and i1 %cmp2, %or
ret i1 %and
}
define i1 @and_not_implied(i8 %x, i1 %c) {
; CHECK-LABEL: @and_not_implied(
; CHECK-NEXT: [[CMP:%.*]] = icmp ne i8 [[X:%.*]], 0
; CHECK-NEXT: [[CMP2:%.*]] = icmp eq i8 [[X]], 0
; CHECK-NEXT: [[OR:%.*]] = or i1 [[CMP]], [[C:%.*]]
; CHECK-NEXT: [[AND:%.*]] = and i1 [[OR]], [[CMP2]]
; CHECK-NEXT: ret i1 [[AND]]
;
%cmp = icmp ne i8 %x, 0
%cmp2 = icmp eq i8 %x, 0
%or = or i1 %cmp, %c
%and = and i1 %or, %cmp2
ret i1 %and
}
|
