Skip to content

Range analysis#122

Open
Lethe10137 wants to merge 14 commits into
mainfrom
range_ana
Open

Range analysis#122
Lethe10137 wants to merge 14 commits into
mainfrom
range_ana

Conversation

@Lethe10137

Copy link
Copy Markdown
Collaborator

No description provided.

@Lethe10137 Lethe10137 requested review from Fuyuky and cyh2004 and removed request for Fuyuky July 20, 2024 17:18

Copy link
Copy Markdown
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

原先的代码在生成浮点比较指令时类型有误。现更正如下。

Copy link
Copy Markdown
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

原先的代码会把0x7fff默认当成一个浮点字面量

Comment thread utils/src/float_util.rs

Copy link
Copy Markdown
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

用于得到大于/小于当前f32的下/上确界

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant