| 302 | } |
| 303 | |
| 304 | string SanitizeFileName(string file_name) { |
| 305 | for (char& c : file_name) { |
| 306 | if (c == '/' || c == '\\' || c == '[' || c == ']' || c == ' ') { |
| 307 | c = '_'; |
| 308 | } |
| 309 | } |
| 310 | return file_name; |
| 311 | } |
| 312 | |
| 313 | // Utility function to split a double-precision float (F64) into a pair of F32s. |
| 314 | // For a p-bit number, and a splitting point (p/2) <= s <= (p - 1), the |
no outgoing calls