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
|
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 4
; RUN: opt -passes=instcombine -S %s | FileCheck %s
define i1 @umulov_square_i32(i32 %x) {
; CHECK-LABEL: define i1 @umulov_square_i32(
; CHECK-SAME: i32 [[X:%.*]]) {
; CHECK-NEXT: [[RES:%.*]] = icmp ugt i32 [[X]], 65535
; CHECK-NEXT: ret i1 [[RES]]
;
%ret = call {i32, i1} @llvm.umul.with.overflow.i32(i32 %x, i32 %x)
%res = extractvalue {i32, i1} %ret, 1
ret i1 %res
}
define i1 @umulov_square_i16(i16 %x) {
; CHECK-LABEL: define i1 @umulov_square_i16(
; CHECK-SAME: i16 [[X:%.*]]) {
; CHECK-NEXT: [[RES:%.*]] = icmp ugt i16 [[X]], 255
; CHECK-NEXT: ret i1 [[RES]]
;
%ret = call {i16, i1} @llvm.umul.with.overflow.i16(i16 %x, i16 %x)
%res = extractvalue {i16, i1} %ret, 1
ret i1 %res
}
; Negative tests
define i1 @umulov_square_i13(i13 %x) {
; CHECK-LABEL: define i1 @umulov_square_i13(
; CHECK-SAME: i13 [[X:%.*]]) {
; CHECK-NEXT: [[RET:%.*]] = call { i13, i1 } @llvm.umul.with.overflow.i13(i13 [[X]], i13 [[X]])
; CHECK-NEXT: [[RES:%.*]] = extractvalue { i13, i1 } [[RET]], 1
; CHECK-NEXT: ret i1 [[RES]]
;
%ret = call {i13, i1} @llvm.umul.with.overflow.i13(i13 %x, i13 %x)
%res = extractvalue {i13, i1} %ret, 1
ret i1 %res
}
define i1 @umulov_square_i32_multiuse(i32 %x) {
; CHECK-LABEL: define i1 @umulov_square_i32_multiuse(
; CHECK-SAME: i32 [[X:%.*]]) {
; CHECK-NEXT: [[RET:%.*]] = call { i32, i1 } @llvm.umul.with.overflow.i32(i32 [[X]], i32 [[X]])
; CHECK-NEXT: [[RES:%.*]] = extractvalue { i32, i1 } [[RET]], 1
; CHECK-NEXT: [[VAL:%.*]] = extractvalue { i32, i1 } [[RET]], 0
; CHECK-NEXT: call void @use(i32 [[VAL]])
; CHECK-NEXT: ret i1 [[RES]]
;
%ret = call {i32, i1} @llvm.umul.with.overflow.i32(i32 %x, i32 %x)
%res = extractvalue {i32, i1} %ret, 1
%val = extractvalue {i32, i1} %ret, 0
call void @use(i32 %val)
ret i1 %res
}
define i1 @smulov_square_i32(i32 %x) {
; CHECK-LABEL: define i1 @smulov_square_i32(
; CHECK-SAME: i32 [[X:%.*]]) {
; CHECK-NEXT: [[RET:%.*]] = call { i32, i1 } @llvm.smul.with.overflow.i32(i32 [[X]], i32 [[X]])
; CHECK-NEXT: [[RES:%.*]] = extractvalue { i32, i1 } [[RET]], 1
; CHECK-NEXT: ret i1 [[RES]]
;
%ret = call {i32, i1} @llvm.smul.with.overflow.i32(i32 %x, i32 %x)
%res = extractvalue {i32, i1} %ret, 1
ret i1 %res
}
declare {i32, i1} @llvm.umul.with.overflow.i32(i32, i32)
declare {i32, i1} @llvm.smul.with.overflow.i32(i32, i32)
declare {i16, i1} @llvm.umul.with.overflow.i16(i16, i16)
declare {i13, i1} @llvm.umul.with.overflow.i13(i13, i13)
declare void @use(i32)
|
