192x192->384-bit O(n^2) mul works in SSA form, reg-alloc gives incorrect results...