dolphin-emu/dolphin — pull request #822 by FioraAeterna (2014-08-17 07:03:37+00:00)
Title: JIT: flush *after* the merged branch, not before

More correct and should avoid lots of redundant stores.