2024-06-24 06:12 AEST

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