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=instcombine -S | FileCheck %s
declare void @use.i3(i1)
declare void @use.i5(i5)
declare void @use.i32(i5)
define i1 @or_xor_xor_normal_variant1(i1 %a, i1 %b) {
; CHECK-LABEL: @or_xor_xor_normal_variant1(
; CHECK-NEXT: [[OR:%.*]] = xor i1 [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: ret i1 [[OR]]
;
%and = and i1 %a, %b
%xor1 = xor i1 %and, %a
%xor2 = xor i1 %and, %b
%or = or i1 %xor1, %xor2
ret i1 %or
}
define i8 @or_xor_xor_normal_variant2(i8 %a, i8 %b) {
; CHECK-LABEL: @or_xor_xor_normal_variant2(
; CHECK-NEXT: [[OR:%.*]] = xor i8 [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: ret i8 [[OR]]
;
%and = and i8 %a, %b
%xor1 = xor i8 %and, %b
%xor2 = xor i8 %a, %and
%or = or i8 %xor1, %xor2
ret i8 %or
}
define i16 @or_xor_xor_normal_variant3(i16 %a, i16 %b) {
; CHECK-LABEL: @or_xor_xor_normal_variant3(
; CHECK-NEXT: [[OR:%.*]] = xor i16 [[B:%.*]], [[A:%.*]]
; CHECK-NEXT: ret i16 [[OR]]
;
%and = and i16 %b, %a
%xor1 = xor i16 %b, %and
%xor2 = xor i16 %a, %and
%or = or i16 %xor1, %xor2
ret i16 %or
}
define i64 @or_xor_xor_normal_variant4(i64 %a, i64 %b) {
; CHECK-LABEL: @or_xor_xor_normal_variant4(
; CHECK-NEXT: [[OR:%.*]] = xor i64 [[B:%.*]], [[A:%.*]]
; CHECK-NEXT: ret i64 [[OR]]
;
%and = and i64 %b, %a
%xor1 = xor i64 %and, %b
%xor2 = xor i64 %and, %a
%or = or i64 %xor1, %xor2
ret i64 %or
}
define i32 @or_xor_xor_normal_binops(i32 %aa, i32 %bb, i32 %cc) {
; CHECK-LABEL: @or_xor_xor_normal_binops(
; CHECK-NEXT: [[OR:%.*]] = xor i32 [[BB:%.*]], [[AA:%.*]]
; CHECK-NEXT: ret i32 [[OR]]
;
%a = xor i32 %aa, %cc
%b = xor i32 %bb, %cc
%and = and i32 %b, %a
%xor1 = xor i32 %b, %and
%xor2 = xor i32 %a, %and
%or = or i32 %xor1, %xor2
ret i32 %or
}
define <3 x i1> @or_xor_xor_normal_vector(<3 x i1> %a, <3 x i1> %b) {
; CHECK-LABEL: @or_xor_xor_normal_vector(
; CHECK-NEXT: [[OR:%.*]] = xor <3 x i1> [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: ret <3 x i1> [[OR]]
;
%and = and <3 x i1> %a, %b
%xor1 = xor <3 x i1> %and, %b
%xor2 = xor <3 x i1> %and, %a
%or = or <3 x i1> %xor1, %xor2
ret <3 x i1> %or
}
define i3 @or_xor_xor_normal_multiple_uses_and(i3 %a, i3 %b) {
; CHECK-LABEL: @or_xor_xor_normal_multiple_uses_and(
; CHECK-NEXT: [[AND:%.*]] = and i3 [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: call void @use.i3(i3 [[AND]])
; CHECK-NEXT: [[OR:%.*]] = xor i3 [[A]], [[B]]
; CHECK-NEXT: ret i3 [[OR]]
;
%and = and i3 %a, %b
call void @use.i3(i3 %and)
%xor1 = xor i3 %b, %and
%xor2 = xor i3 %a, %and
%or = or i3 %xor1, %xor2
ret i3 %or
}
define i32 @or_xor_xor_negative_multiple_uses_xor1(i32 %a, i32 %b) {
; CHECK-LABEL: @or_xor_xor_negative_multiple_uses_xor1(
; CHECK-NEXT: [[AND1:%.*]] = xor i32 [[A:%.*]], -1
; CHECK-NEXT: [[XOR1:%.*]] = and i32 [[AND1]], [[B:%.*]]
; CHECK-NEXT: call void @use.i32(i32 [[XOR1]])
; CHECK-NEXT: [[OR:%.*]] = xor i32 [[A]], [[B]]
; CHECK-NEXT: ret i32 [[OR]]
;
%and = and i32 %a, %b
%xor1 = xor i32 %and, %b
call void @use.i32(i32 %xor1)
%xor2 = xor i32 %and, %a
%or = or i32 %xor1, %xor2
ret i32 %or
}
define i5 @or_xor_xor_negative_multiple_uses_xor2(i5 %a, i5 %b) {
; CHECK-LABEL: @or_xor_xor_negative_multiple_uses_xor2(
; CHECK-NEXT: [[A1:%.*]] = xor i5 [[B:%.*]], -1
; CHECK-NEXT: [[XOR2:%.*]] = and i5 [[A1]], [[A:%.*]]
; CHECK-NEXT: call void @use.i5(i5 [[XOR2]])
; CHECK-NEXT: [[OR:%.*]] = xor i5 [[A]], [[B]]
; CHECK-NEXT: ret i5 [[OR]]
;
%and = and i5 %a, %b
%xor1 = xor i5 %and, %b
%xor2 = xor i5 %and, %a
call void @use.i5(i5 %xor2)
%or = or i5 %xor1, %xor2
ret i5 %or
}
|
