Rollup merge of #128388 - beetrees:f16-f128-slightly-improve-windows-… · model-checking/verify-rust-std@787a1f7 (original) (raw)
`@@ -94,7 +94,7 @@ fn main() {
`
94
94
`// Unsupported https://github.com/llvm/llvm-project/issues/94434
`
95
95
`("arm64ec", _) => false,
`
96
96
`// MinGW ABI bugs https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115054
`
97
``
`-
("x86", "windows") => false,
`
``
97
`+
("x86_64", "windows") => false,
`
98
98
`// x86 has ABI bugs that show up with optimizations. This should be partially fixed with
`
99
99
`// the compiler-builtins update. https://github.com/rust-lang/rust/issues/123885
`
100
100
`("x86" | "x86_64", _) => false,
`
`@@ -122,6 +122,8 @@ fn main() {
`
122
122
`("nvptx64", _) => false,
`
123
123
`// ABI unsupported https://github.com/llvm/llvm-project/issues/41838
`
124
124
`("sparc", _) => false,
`
``
125
`+
// MinGW ABI bugs https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115054
`
``
126
`+
("x86_64", "windows") => false,
`
125
127
`// 64-bit Linux is about the only platform to have f128 symbols by default
`
126
128
`(_, "linux") if target_pointer_width == 64 => true,
`
127
129
`// Same as for f16, except MacOS is also missing f128 symbols.
`