Micro Focus shares dive 9% on HP warning