@@ -74,31 +74,65 @@ fn main() {
74
74
// START rustc.test_signed.Lower128Bit.after.mir
75
75
// _2 = const i128_addo(_1, const 1i128) -> bb10;
76
76
// ...
77
+ // _1 = (_2.0: i128);
77
78
// _3 = const i128_subo(_1, const 2i128) -> bb11;
78
79
// ...
80
+ // _1 = (_3.0: i128);
79
81
// _4 = const i128_mulo(_1, const 3i128) -> bb12;
80
82
// ...
83
+ // _1 = (_4.0: i128);
84
+ // ...
81
85
// _1 = const i128_div(_1, const 4i128) -> bb13;
82
86
// ...
83
87
// _1 = const i128_rem(_1, const 5i128) -> bb15;
84
88
// ...
89
+ // _1 = (_13.0: i128);
85
90
// _14 = const i128_shro(_1, const 7i32) -> bb16;
86
91
// ...
92
+ // _1 = (_14.0: i128);
93
+ // ...
94
+ // assert(!(_2.1: bool), "attempt to add with overflow") -> bb1;
95
+ // ...
96
+ // assert(!(_3.1: bool), "attempt to subtract with overflow") -> bb2;
97
+ // ...
98
+ // assert(!(_4.1: bool), "attempt to multiply with overflow") -> bb3;
99
+ // ...
100
+ // assert(!(_13.1: bool), "attempt to shift left with overflow") -> bb8;
101
+ // ...
87
102
// _13 = const i128_shlo(_1, const 6i32) -> bb14;
103
+ // ...
104
+ // assert(!(_14.1: bool), "attempt to shift right with overflow") -> bb9;
88
105
// END rustc.test_signed.Lower128Bit.after.mir
89
106
90
107
// START rustc.test_unsigned.Lower128Bit.after.mir
91
108
// _2 = const u128_addo(_1, const 1u128) -> bb8;
92
109
// ...
110
+ // _1 = (_2.0: u128);
93
111
// _3 = const u128_subo(_1, const 2u128) -> bb9;
94
112
// ...
113
+ // _1 = (_3.0: u128);
95
114
// _4 = const u128_mulo(_1, const 3u128) -> bb10;
96
115
// ...
116
+ // _1 = (_4.0: u128);
117
+ // ...
97
118
// _1 = const u128_div(_1, const 4u128) -> bb11;
98
119
// ...
99
120
// _1 = const u128_rem(_1, const 5u128) -> bb13;
100
121
// ...
122
+ // _1 = (_7.0: u128);
101
123
// _8 = const u128_shro(_1, const 7i32) -> bb14;
102
124
// ...
125
+ // _1 = (_8.0: u128);
126
+ // ...
127
+ // assert(!(_2.1: bool), "attempt to add with overflow") -> bb1;
128
+ // ...
129
+ // assert(!(_3.1: bool), "attempt to subtract with overflow") -> bb2;
130
+ // ...
131
+ // assert(!(_4.1: bool), "attempt to multiply with overflow") -> bb3;
132
+ // ...
133
+ // assert(!(_7.1: bool), "attempt to shift left with overflow") -> bb6;
134
+ // ...
103
135
// _7 = const i128_shlo(_1, const 6i32) -> bb12;
136
+ // ...
137
+ // assert(!(_8.1: bool), "attempt to shift right with overflow") -> bb7;
104
138
// END rustc.test_unsigned.Lower128Bit.after.mir
0 commit comments