Skip to content

Bit negation is done through icmp 8bit value #252

@sabastiaan

Description

@sabastiaan

If a bit is checked whether it is the value 1, then it gets a direct edge if the target is also an i1
But if we check if that same bit is 0, then we compare the bit with icmp_eq. Since this is an icmp_eq both targets are promoted to 8bits.

A single NOT node should be sufficient replacement.

image

Metadata

Metadata

Assignees

Labels

awaits mergeImplemented in wip branch, ready to be mergedoptimizationsRelated to circIR optimizationswipCurrently being worked on

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions