0000504: make checked shifts builtins

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0000504

mercury

Feature Request

public

2020-04-28 23:58

Reporter

Assigned To

Priority

normal

Severity

minor

Reproducibility

have not tried

Status

assigned

Resolution

open

Product Version

Target Version

Fixed in Version

Summary

0000504: make checked shifts builtins

Description

At 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.

Tags

No tags attached.

Attached Files

Relationships

Relationships

Notes
There are no notes attached to this issue.

Notes

Date Modified	Username	Field	Change
Issue History
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