/
reorder_repeated_ops.ll
96 lines (91 loc) · 4.4 KB
/
reorder_repeated_ops.ll
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
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -slp-vectorizer -S -mtriple=x86_64-unknown-linux-gnu -mcpu=bdver2 < %s | FileCheck %s
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
define void @hoge() {
; CHECK-LABEL: @hoge(
; CHECK-NEXT: bb:
; CHECK-NEXT: br i1 undef, label [[BB1:%.*]], label [[BB2:%.*]]
; CHECK: bb1:
; CHECK-NEXT: ret void
; CHECK: bb2:
; CHECK-NEXT: [[T:%.*]] = select i1 undef, i16 undef, i16 15
; CHECK-NEXT: [[TMP0:%.*]] = insertelement <2 x i16> undef, i16 [[T]], i32 0
; CHECK-NEXT: [[TMP1:%.*]] = insertelement <2 x i16> [[TMP0]], i16 undef, i32 1
; CHECK-NEXT: [[TMP2:%.*]] = sext <2 x i16> [[TMP1]] to <2 x i32>
; CHECK-NEXT: [[REORDER_SHUFFLE:%.*]] = shufflevector <2 x i32> [[TMP2]], <2 x i32> undef, <2 x i32> <i32 1, i32 0>
; CHECK-NEXT: [[TMP3:%.*]] = sub nsw <2 x i32> <i32 63, i32 undef>, [[REORDER_SHUFFLE]]
; CHECK-NEXT: [[TMP4:%.*]] = sub <2 x i32> [[TMP3]], undef
; CHECK-NEXT: [[SHUFFLE5:%.*]] = shufflevector <2 x i32> [[TMP4]], <2 x i32> undef, <4 x i32> <i32 0, i32 1, i32 1, i32 1>
; CHECK-NEXT: [[TMP5:%.*]] = add <4 x i32> [[SHUFFLE5]], <i32 undef, i32 15, i32 31, i32 47>
; CHECK-NEXT: [[TMP6:%.*]] = call i32 @llvm.experimental.vector.reduce.smax.v4i32(<4 x i32> [[TMP5]])
; CHECK-NEXT: [[T19:%.*]] = select i1 undef, i32 [[TMP6]], i32 undef
; CHECK-NEXT: [[T20:%.*]] = icmp sgt i32 [[T19]], 63
; CHECK-NEXT: [[TMP7:%.*]] = sub nsw <2 x i32> undef, [[TMP2]]
; CHECK-NEXT: [[TMP8:%.*]] = sub <2 x i32> [[TMP7]], undef
; CHECK-NEXT: [[SHUFFLE:%.*]] = shufflevector <2 x i32> [[TMP8]], <2 x i32> undef, <4 x i32> <i32 0, i32 1, i32 0, i32 1>
; CHECK-NEXT: [[TMP9:%.*]] = add nsw <4 x i32> [[SHUFFLE]], <i32 -49, i32 -33, i32 -33, i32 -17>
; CHECK-NEXT: [[TMP10:%.*]] = call i32 @llvm.experimental.vector.reduce.smin.v4i32(<4 x i32> [[TMP9]])
; CHECK-NEXT: [[TMP11:%.*]] = icmp slt i32 [[TMP10]], undef
; CHECK-NEXT: [[OP_EXTRA:%.*]] = select i1 [[TMP11]], i32 [[TMP10]], i32 undef
; CHECK-NEXT: [[TMP12:%.*]] = icmp slt i32 [[OP_EXTRA]], undef
; CHECK-NEXT: [[OP_EXTRA1:%.*]] = select i1 [[TMP12]], i32 [[OP_EXTRA]], i32 undef
; CHECK-NEXT: [[TMP13:%.*]] = icmp slt i32 [[OP_EXTRA1]], undef
; CHECK-NEXT: [[OP_EXTRA2:%.*]] = select i1 [[TMP13]], i32 [[OP_EXTRA1]], i32 undef
; CHECK-NEXT: [[TMP14:%.*]] = icmp slt i32 [[OP_EXTRA2]], undef
; CHECK-NEXT: [[OP_EXTRA3:%.*]] = select i1 [[TMP14]], i32 [[OP_EXTRA2]], i32 undef
; CHECK-NEXT: [[TMP15:%.*]] = icmp slt i32 [[OP_EXTRA3]], undef
; CHECK-NEXT: [[OP_EXTRA4:%.*]] = select i1 [[TMP15]], i32 [[OP_EXTRA3]], i32 undef
; CHECK-NEXT: [[T45:%.*]] = icmp sgt i32 undef, [[OP_EXTRA4]]
; CHECK-NEXT: unreachable
;
bb:
br i1 undef, label %bb1, label %bb2
bb1: ; preds = %bb
ret void
bb2: ; preds = %bb
%t = select i1 undef, i16 undef, i16 15
%t3 = sext i16 undef to i32
%t4 = sext i16 %t to i32
%t5 = sub nsw i32 undef, %t4
%t6 = sub i32 %t5, undef
%t7 = sub nsw i32 63, %t3
%t8 = sub i32 %t7, undef
%t9 = add i32 %t8, undef
%t10 = add nsw i32 %t6, 15
%t11 = icmp sgt i32 %t9, %t10
%t12 = select i1 %t11, i32 %t9, i32 %t10
%t13 = add nsw i32 %t6, 31
%t14 = icmp sgt i32 %t12, %t13
%t15 = select i1 %t14, i32 %t12, i32 %t13
%t16 = add nsw i32 %t6, 47
%t17 = icmp sgt i32 %t15, %t16
%t18 = select i1 %t17, i32 %t15, i32 %t16
%t19 = select i1 undef, i32 %t18, i32 undef
%t20 = icmp sgt i32 %t19, 63
%t21 = sub nsw i32 undef, %t3
%t22 = sub i32 %t21, undef
%t23 = sub nsw i32 undef, %t4
%t24 = sub i32 %t23, undef
%t25 = add nsw i32 %t24, -49
%t26 = icmp sgt i32 %t25, undef
%t27 = select i1 %t26, i32 undef, i32 %t25
%t28 = icmp sgt i32 %t27, undef
%t29 = select i1 %t28, i32 undef, i32 %t27
%t30 = add nsw i32 %t22, -33
%t31 = icmp sgt i32 %t30, undef
%t32 = select i1 %t31, i32 undef, i32 %t30
%t33 = icmp sgt i32 %t32, %t29
%t34 = select i1 %t33, i32 %t29, i32 %t32
%t35 = add nsw i32 %t24, -33
%t36 = icmp sgt i32 %t35, undef
%t37 = select i1 %t36, i32 undef, i32 %t35
%t38 = icmp sgt i32 %t37, %t34
%t39 = select i1 %t38, i32 %t34, i32 %t37
%t40 = add nsw i32 %t22, -17
%t41 = icmp sgt i32 %t40, undef
%t42 = select i1 %t41, i32 undef, i32 %t40
%t43 = icmp sgt i32 %t42, %t39
%t44 = select i1 %t43, i32 %t39, i32 %t42
%t45 = icmp sgt i32 undef, %t44
unreachable
}