Craig Topper
Craig Topper
You should also use the x0, x0 form of vsetvli when changing vtype if you're not expecting vl to change.
Which compiler are you using? clang emulates `vmv_x_s_i64m1_i64` on rv32 with multiple instructions since a single vmv.x.s can only return 32 bits on rv32. https://godbolt.org/z/5zKTbvMba
This my LLVM patch. https://reviews.llvm.org/D153742 It includes an error for Zcf on RV64. If Zce is specified with F, it only enables Zcf for RV32. Couple additional questions. Does Zcf...
Any progress on getting the spec updated?
This should probably be posted as an RFC on discourse.
> Have you ever tried the target extension type yet? > > * https://reviews.llvm.org/D135202 > * https://discourse.llvm.org/t/rfc-adding-opaque-types-to-llvm-ir/ > * https://reviews.llvm.org/D141899 Is there any SelectionDAG support for target extension types?
> > This should probably be posted as an RFC on discourse. > > @topperc do you think we should post 2 RFCs in both `IR & Optimizations` and `Code...
> Based on [#129268 (comment)](https://github.com/rust-lang/rust/issues/129268#issuecomment-2308940947) it's not clear to me that there is no bug here. > > Also however it seems the target maintainers are not responding? Trying again:...
There was a change to that part of abi.rs 5 months ago to add f16. https://github.com/rust-lang/rust/commit/99e6a28804eac57faa37134d61a2bb17069996a2
Modified your proof to force the bits to 1 instead of 0 and it also verifies https://alive2.llvm.org/ce/z/f5AL-u