add test for phi with unreachable source with a 64-bit value