News for hackers. Stuff that matters.

A comment on RISC-V formal spec public review. Parent comment

Re:RISC-V formal spec public review by astrange on Friday June 21, 2019 @07:12AM (#20241455)
Yes, but we need the opposite. There's no way to say a branch has no expected value.
[ Parent | on HN ]
Re:RISC-V formal spec public review by dooglius on Friday June 21, 2019 @09:43AM (#20242396)
Clang does have __builtin_unpredictable, but last I checked it doesn't actually seem to have an effect.
[ Parent | on HN ]