Skip to content

Unimplemented intrinsic: bitreverse #745

@adpaco-aws

Description

@adpaco-aws

bitreverse is not supported at the moment.

It appears CBMC does not have available the bitreverse builtin according to the irep IDs definitions. I will talk to CBMC folks to see what can be done about this, but another approach here is to implement the logic for bit reversal it in RMC.

Metadata

Metadata

Assignees

Labels

[C] Feature / EnhancementA new feature request or enhancement to an existing feature.

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions