@@ -145,60 +145,60 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
145
145
this. write_scalar ( Scalar :: from_bool ( branch) , dest) ?;
146
146
}
147
147
148
- "floorf16" | "ceilf16" | "truncf16" | "roundf16" | "rintf16 " => {
148
+ "floorf16" | "ceilf16" | "truncf16" | "roundf16" | "round_ties_even_f16 " => {
149
149
let [ f] = check_arg_count ( args) ?;
150
150
let f = this. read_scalar ( f) ?. to_f16 ( ) ?;
151
151
let mode = match intrinsic_name {
152
152
"floorf16" => Round :: TowardNegative ,
153
153
"ceilf16" => Round :: TowardPositive ,
154
154
"truncf16" => Round :: TowardZero ,
155
155
"roundf16" => Round :: NearestTiesToAway ,
156
- "rintf16 " => Round :: NearestTiesToEven ,
156
+ "round_ties_even_f16 " => Round :: NearestTiesToEven ,
157
157
_ => bug ! ( ) ,
158
158
} ;
159
159
let res = f. round_to_integral ( mode) . value ;
160
160
let res = this. adjust_nan ( res, & [ f] ) ;
161
161
this. write_scalar ( res, dest) ?;
162
162
}
163
- "floorf32" | "ceilf32" | "truncf32" | "roundf32" | "rintf32 " => {
163
+ "floorf32" | "ceilf32" | "truncf32" | "roundf32" | "round_ties_even_f32 " => {
164
164
let [ f] = check_arg_count ( args) ?;
165
165
let f = this. read_scalar ( f) ?. to_f32 ( ) ?;
166
166
let mode = match intrinsic_name {
167
167
"floorf32" => Round :: TowardNegative ,
168
168
"ceilf32" => Round :: TowardPositive ,
169
169
"truncf32" => Round :: TowardZero ,
170
170
"roundf32" => Round :: NearestTiesToAway ,
171
- "rintf32 " => Round :: NearestTiesToEven ,
171
+ "round_ties_even_f32 " => Round :: NearestTiesToEven ,
172
172
_ => bug ! ( ) ,
173
173
} ;
174
174
let res = f. round_to_integral ( mode) . value ;
175
175
let res = this. adjust_nan ( res, & [ f] ) ;
176
176
this. write_scalar ( res, dest) ?;
177
177
}
178
- "floorf64" | "ceilf64" | "truncf64" | "roundf64" | "rintf64 " => {
178
+ "floorf64" | "ceilf64" | "truncf64" | "roundf64" | "round_ties_even_f64 " => {
179
179
let [ f] = check_arg_count ( args) ?;
180
180
let f = this. read_scalar ( f) ?. to_f64 ( ) ?;
181
181
let mode = match intrinsic_name {
182
182
"floorf64" => Round :: TowardNegative ,
183
183
"ceilf64" => Round :: TowardPositive ,
184
184
"truncf64" => Round :: TowardZero ,
185
185
"roundf64" => Round :: NearestTiesToAway ,
186
- "rintf64 " => Round :: NearestTiesToEven ,
186
+ "round_ties_even_f64 " => Round :: NearestTiesToEven ,
187
187
_ => bug ! ( ) ,
188
188
} ;
189
189
let res = f. round_to_integral ( mode) . value ;
190
190
let res = this. adjust_nan ( res, & [ f] ) ;
191
191
this. write_scalar ( res, dest) ?;
192
192
}
193
- "floorf128" | "ceilf128" | "truncf128" | "roundf128" | "rintf128 " => {
193
+ "floorf128" | "ceilf128" | "truncf128" | "roundf128" | "round_ties_even_f128 " => {
194
194
let [ f] = check_arg_count ( args) ?;
195
195
let f = this. read_scalar ( f) ?. to_f128 ( ) ?;
196
196
let mode = match intrinsic_name {
197
197
"floorf128" => Round :: TowardNegative ,
198
198
"ceilf128" => Round :: TowardPositive ,
199
199
"truncf128" => Round :: TowardZero ,
200
200
"roundf128" => Round :: NearestTiesToAway ,
201
- "rintf128 " => Round :: NearestTiesToEven ,
201
+ "round_ties_even_f128 " => Round :: NearestTiesToEven ,
202
202
_ => bug ! ( ) ,
203
203
} ;
204
204
let res = f. round_to_integral ( mode) . value ;
0 commit comments