blob: d71cbba1d13c512f1999ec2743516b93760baef5 (
plain)
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
|
// RUN: mlir-opt %s -split-input-file -reconcile-unrealized-casts | FileCheck %s
// CHECK-LABEL: @unusedCast
// CHECK-SAME: (%[[arg0:.*]]: i64) -> i64
// CHECK: return %[[arg0]] : i64
func.func @unusedCast(%arg0: i64) -> i64 {
%0 = builtin.unrealized_conversion_cast %arg0 : i64 to i32
return %arg0 : i64
}
// -----
// CHECK-LABEL: @sameTypes
// CHECK-SAME: (%[[arg0:.*]]: i64) -> i64
// CHECK: return %[[arg0]] : i64
func.func @sameTypes(%arg0: i64) -> i64 {
%0 = builtin.unrealized_conversion_cast %arg0 : i64 to i64
return %0 : i64
}
// -----
// CHECK-LABEL: @pair
// CHECK-SAME: (%[[arg0:.*]]: i64) -> i64
// CHECK: return %[[arg0]] : i64
func.func @pair(%arg0: i64) -> i64 {
%0 = builtin.unrealized_conversion_cast %arg0 : i64 to i32
%1 = builtin.unrealized_conversion_cast %0 : i32 to i64
return %1 : i64
}
// -----
// CHECK-LABEL: @symmetricChain
// CHECK-SAME: (%[[arg0:.*]]: i64) -> i64
// CHECK: return %[[arg0]] : i64
func.func @symmetricChain(%arg0: i64) -> i64 {
%0 = builtin.unrealized_conversion_cast %arg0 : i64 to i32
%1 = builtin.unrealized_conversion_cast %0 : i32 to i1
%2 = builtin.unrealized_conversion_cast %1 : i1 to i32
%3 = builtin.unrealized_conversion_cast %2 : i32 to i64
return %3 : i64
}
// -----
// CHECK-LABEL: @asymmetricChain
// CHECK-SAME: (%[[arg0:.*]]: i64) -> i64
// CHECK: return %[[arg0]] : i64
func.func @asymmetricChain(%arg0: i64) -> i64 {
%0 = builtin.unrealized_conversion_cast %arg0 : i64 to i32
%1 = builtin.unrealized_conversion_cast %0 : i32 to i1
%2 = builtin.unrealized_conversion_cast %1 : i1 to i64
return %2 : i64
}
// -----
// CHECK-LABEL: @unusedChain
// CHECK-SAME: (%[[arg0:.*]]: i64) -> i64
// CHECK: return %[[arg0]] : i64
func.func @unusedChain(%arg0: i64) -> i64 {
%0 = builtin.unrealized_conversion_cast %arg0 : i64 to i32
%1 = builtin.unrealized_conversion_cast %0 : i32 to i1
return %arg0 : i64
}
// -----
// CHECK-LABEL: @bifurcation
// CHECK-SAME: (%[[arg0:.*]]: i64) -> i64
// CHECK: %[[result:.*]] = arith.addi %[[arg0]], %[[arg0]] : i64
// CHECK: return %[[result]] : i64
func.func @bifurcation(%arg0: i64) -> i64 {
%0 = builtin.unrealized_conversion_cast %arg0 : i64 to i32
%1 = builtin.unrealized_conversion_cast %0 : i32 to i1
%2 = builtin.unrealized_conversion_cast %1 : i1 to i64
%3 = builtin.unrealized_conversion_cast %1 : i1 to i32
%4 = builtin.unrealized_conversion_cast %3 : i32 to i64
%5 = arith.addi %2, %4 : i64
return %5 : i64
}
// -----
// CHECK-LABEL: @unusedBifurcation
// CHECK-SAME: (%[[arg0:.*]]: i64) -> i64
// CHECK: %[[result:.*]] = arith.addi %[[arg0]], %[[arg0]] : i64
// CHECK: return %[[result]] : i64
func.func @unusedBifurcation(%arg0: i64) -> i64 {
%0 = builtin.unrealized_conversion_cast %arg0 : i64 to i32
%1 = builtin.unrealized_conversion_cast %0 : i32 to i1
%2 = builtin.unrealized_conversion_cast %1 : i1 to i64
%3 = builtin.unrealized_conversion_cast %0 : i32 to i64
%4 = arith.addi %arg0, %3 : i64
return %4 : i64
}
|