Skip to content

Support calculating the PVS for zero-extension of a variable that has an InSetOfValues #6977

New issue
New issue
Open
Enhancement
Open
Support calculating the PVS for zero-extension of a variable that has an InSetOfValues#6977
Enhancement
Assignees
hongyu-dev
Labels
Component: CoreIssue needs changes to the coreCore: DataflowRelated to the Possible Value Set and Register Value systemsEffort: TrivialIssue should take < 1 dayImpact: LowIssue is a papercut or has a good, supported workaround
Milestone
 
Helion
@xusheng6

Description

@xusheng6
xusheng6
opened on Jun 20, 2025

Image

In the following code, rdx_1 is a zero-extension of a boolean value which, through UIDF, has a PVS {0, 1}. We should calculate the zero-extension of it

Binary: quick bird dances boldly

Metadata

Metadata

Assignees

Labels

Component: CoreIssue needs changes to the coreCore: DataflowRelated to the Possible Value Set and Register Value systemsEffort: TrivialIssue should take < 1 dayImpact: LowIssue is a papercut or has a good, supported workaround

Type

Projects

No projects

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions