287 |
287 |
288 return Flag::SUCCESS; |
288 return Flag::SUCCESS; |
289 } |
289 } |
290 |
290 |
291 Flag::Error ArraycopyDstPrefetchDistanceConstraintFunc(uintx value, bool verbose) { |
291 Flag::Error ArraycopyDstPrefetchDistanceConstraintFunc(uintx value, bool verbose) { |
292 if (value != 0) { |
292 if (value >= 4032) { |
293 CommandLineError::print(verbose, |
293 CommandLineError::print(verbose, |
294 "ArraycopyDstPrefetchDistance (" UINTX_FORMAT ") must be 0\n", |
294 "ArraycopyDstPrefetchDistance (" UINTX_FORMAT ") must be" |
295 value); |
295 "between 0 and 4031\n", value); |
296 return Flag::VIOLATES_CONSTRAINT; |
296 return Flag::VIOLATES_CONSTRAINT; |
297 } |
297 } |
298 |
298 |
299 return Flag::SUCCESS; |
299 return Flag::SUCCESS; |
300 } |
300 } |
301 |
301 |
302 Flag::Error ArraycopySrcPrefetchDistanceConstraintFunc(uintx value, bool verbose) { |
302 Flag::Error ArraycopySrcPrefetchDistanceConstraintFunc(uintx value, bool verbose) { |
303 if (value != 0) { |
303 if (value >= 4032) { |
304 CommandLineError::print(verbose, |
304 CommandLineError::print(verbose, |
305 "ArraycopySrcPrefetchDistance (" UINTX_FORMAT ") must be 0\n", |
305 "ArraycopySrcPrefetchDistance (" UINTX_FORMAT ") must be" |
306 value); |
306 "between 0 and 4031\n", value); |
307 return Flag::VIOLATES_CONSTRAINT; |
307 return Flag::VIOLATES_CONSTRAINT; |
308 } |
308 } |
309 |
309 |
310 return Flag::SUCCESS; |
310 return Flag::SUCCESS; |
311 } |
311 } |