When LLM Decompilers Recompile More and Preserve Less

LLM-based decompilers prioritize recompilability and test-passing rates, which can mask functional divergence or the accidental removal of security vulnerabilities. Decompile-Diverge provides a behavioral comparison oracle to detect when recompiled code deviates from original machine code behavior on inputs beyond the initial test suite.