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
|
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -passes=slp-vectorizer -S %s | FileCheck %s
define i16 @check_isCommutative_with_the_original_source() {
; CHECK-LABEL: @check_isCommutative_with_the_original_source(
; CHECK-NEXT: entry:
; CHECK-NEXT: [[COND3:%.*]] = select i1 true, i16 1, i16 0
; CHECK-NEXT: ret i16 [[COND3]]
;
entry:
%sub = sub i16 0, -1
%cmp = icmp eq i16 %sub, 1
%sub1 = sub i16 0, -1
%cmp2 = icmp eq i16 %sub1, 1
%cond3 = select i1 %cmp2, i16 1, i16 0
%sub5 = sub nsw i16 0, 0
%cmp6 = icmp eq i16 %sub5, 0
%cmp9 = icmp eq i16 %sub5, 0
%sub12 = sub nsw i16 0, 0
%cmp13 = icmp eq i16 %sub12, 0
%sub16 = sub nsw i16 0, 0
%cmp17 = icmp eq i16 %sub16, 0
%sub20 = sub nsw i16 0, 0
%cmp21 = icmp eq i16 %sub20, 0
%cmp24 = icmp eq i16 %sub20, 0
ret i16 %cond3
}
|