Mercury Bugs - mercury
View Issue Details
0000504mercuryFeature Requestpublic2020-04-28 23:582020-04-28 23:58
Assigned Tozs 
PrioritynormalSeverityminorReproducibilityhave not tried
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000504: make checked shifts builtins
DescriptionAt the moment, we generate inline code for unchecked shifts, but a call
to a library function for checked shifts. We should generate inline code
for the latter as well. This would require extending the simple_code type
in builtin_ops.m to be able to handle not just a test *or* an assignment,
but a test *and* an assignment (if the test succeeds) *and* an abort
(if it fails).

That functionality should also allow us to generate inline code for
checked quotients and remainders.
TagsNo tags attached.
Attached Files

There are no notes attached to this issue.

Issue History
2020-04-28 23:58zsNew Issue
2020-04-28 23:58zsAssigned To => zs
2020-04-28 23:58zsStatusnew => assigned