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
|
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -instcombine-infinite-loop-threshold=2 -S | FileCheck %s
define i8 @single(i32 %A) {
; CHECK-LABEL: @single(
; CHECK-NEXT: entry:
; CHECK-NEXT: [[TMP0:%.*]] = icmp sgt i32 [[A:%.*]], -128
; CHECK-NEXT: [[L2:%.*]] = select i1 [[TMP0]], i32 [[A]], i32 -128
; CHECK-NEXT: [[CONV7:%.*]] = trunc i32 [[L2]] to i8
; CHECK-NEXT: ret i8 [[CONV7]]
;
entry:
%l1 = icmp slt i32 %A, -128
%l2 = select i1 %l1, i32 128, i32 %A
%conv7 = trunc i32 %l2 to i8
ret i8 %conv7
}
define i8 @double(i32 %A) {
; CHECK-LABEL: @double(
; CHECK-NEXT: entry:
; CHECK-NEXT: [[TMP0:%.*]] = icmp sgt i32 [[A:%.*]], -128
; CHECK-NEXT: [[L2:%.*]] = select i1 [[TMP0]], i32 [[A]], i32 -128
; CHECK-NEXT: [[TMP1:%.*]] = icmp slt i32 [[L2]], 127
; CHECK-NEXT: [[SPEC_SELECT_I:%.*]] = select i1 [[TMP1]], i32 [[L2]], i32 127
; CHECK-NEXT: [[CONV7:%.*]] = trunc i32 [[SPEC_SELECT_I]] to i8
; CHECK-NEXT: ret i8 [[CONV7]]
;
entry:
%l1 = icmp slt i32 %A, -128
%l2 = select i1 %l1, i32 128, i32 %A
%.inv = icmp sgt i32 %A, 127
%spec.select.i = select i1 %.inv, i32 127, i32 %l2
%conv7 = trunc i32 %spec.select.i to i8
ret i8 %conv7
}
define i8 @thisdoesnotloop(i32 %A, i32 %B) {
; CHECK-LABEL: @thisdoesnotloop(
; CHECK-NEXT: entry:
; CHECK-NEXT: [[L1:%.*]] = icmp slt i32 [[A:%.*]], -128
; CHECK-NEXT: [[TMP0:%.*]] = trunc i32 [[B:%.*]] to i8
; CHECK-NEXT: [[CONV7:%.*]] = select i1 [[L1]], i8 -128, i8 [[TMP0]]
; CHECK-NEXT: ret i8 [[CONV7]]
;
entry:
%l1 = icmp slt i32 %A, -128
%l2 = select i1 %l1, i32 128, i32 %B
%conv7 = trunc i32 %l2 to i8
ret i8 %conv7
}
define i8 @original(i32 %A, i32 %B) {
; CHECK-LABEL: @original(
; CHECK-NEXT: [[TMP1:%.*]] = icmp sgt i32 [[A:%.*]], -128
; CHECK-NEXT: [[TMP2:%.*]] = select i1 [[TMP1]], i32 [[A]], i32 -128
; CHECK-NEXT: [[TMP3:%.*]] = icmp slt i32 [[TMP2]], 127
; CHECK-NEXT: [[SPEC_SELECT_I:%.*]] = select i1 [[TMP3]], i32 [[TMP2]], i32 127
; CHECK-NEXT: [[CONV7:%.*]] = trunc i32 [[SPEC_SELECT_I]] to i8
; CHECK-NEXT: ret i8 [[CONV7]]
;
%cmp4.i = icmp slt i32 127, %A
%cmp6.i = icmp sle i32 -128, %A
%retval.0.i = select i1 %cmp4.i, i32 127, i32 -128
%not.cmp4.i = xor i1 %cmp4.i, true
%cleanup.dest.slot.0.i = and i1 %cmp6.i, %not.cmp4.i
%spec.select.i = select i1 %cleanup.dest.slot.0.i, i32 %A, i32 %retval.0.i
%conv7 = trunc i32 %spec.select.i to i8
ret i8 %conv7
}
|
