fixed zero_extend and branch patterns