mirror of
https://github.com/RetroPortingToolKit/psxrecomp
synced 2026-10-27 18:52:11 -04:00
Matthew Stanley
7c40d33db3
Phase 1a (boot slice): 30 instructions at 0xBFC00000, compiles clean. Phase 1b (instruction coverage): 54 opcodes implemented in strict_translator, 44,629 walker-reachable instructions covered, 0 missing. Phase 1c (function discovery): 76 functions from 2 seeds, 2,988 instructions, 199 call edges, 27 indirect jumps. All validated through StrictTranslator. Phase 1d (indirect control flow): 27 sites classified — 21 A0/B0/C0 dispatch stubs, 4 computed calls, 2 computed tail calls. Ghidra cross-referenced with 0 disagreements. Phase 1e (relocation): ROM-to-RAM copy at FUN_bfc00420 proven with both Ghidra (static) and DuckStation (runtime). 69 address aliases, 68/69 function entries match byte-for-byte in RAM. Normalization rule documented. Includes PRINCIPLES.md and DEBUG.md adapted from recomp-template. Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
40 lines
1.2 KiB
C++
40 lines
1.2 KiB
C++
// A fuzzer for floating-point formatter.
|
|
// For the license information refer to format.h.
|
|
|
|
#include <fmt/format.h>
|
|
|
|
#include <cstdint>
|
|
#include <cstdlib>
|
|
#include <limits>
|
|
#include <stdexcept>
|
|
|
|
#include "fuzzer-common.h"
|
|
|
|
void check_round_trip(fmt::string_view format_str, double value) {
|
|
auto buffer = fmt::memory_buffer();
|
|
fmt::format_to(std::back_inserter(buffer), format_str, value);
|
|
|
|
if (std::isnan(value)) {
|
|
auto nan = std::signbit(value) ? "-nan" : "nan";
|
|
if (fmt::string_view(buffer.data(), buffer.size()) != nan)
|
|
throw std::runtime_error("round trip failure");
|
|
return;
|
|
}
|
|
|
|
buffer.push_back('\0');
|
|
char* ptr = nullptr;
|
|
if (std::strtod(buffer.data(), &ptr) != value)
|
|
throw std::runtime_error("round trip failure");
|
|
if (ptr + 1 != buffer.end()) throw std::runtime_error("unparsed output");
|
|
}
|
|
|
|
extern "C" int LLVMFuzzerTestOneInput(const uint8_t* data, size_t size) {
|
|
if (size <= sizeof(double) || !std::numeric_limits<double>::is_iec559)
|
|
return 0;
|
|
check_round_trip("{}", assign_from_buf<double>(data));
|
|
// A larger than necessary precision is used to trigger the fallback
|
|
// formatter.
|
|
check_round_trip("{:.50g}", assign_from_buf<double>(data));
|
|
return 0;
|
|
}
|