2020-08-13 12:10 AEST

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0000504mercuryFeature Requestpublic2020-04-28 23:58
Reporterzs 
Assigned Tozs 
PrioritynormalSeverityminorReproducibilityhave not tried
StatusassignedResolutionopen 
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

-Relationships
+Relationships

-Notes
There are no notes attached to this issue.
+Notes

-Issue History
Date Modified Username Field Change
2020-04-28 23:58 zs New Issue
2020-04-28 23:58 zs Assigned To => zs
2020-04-28 23:58 zs Status new => assigned
+Issue History