Keywords: microblaze_v4, MicroBlaze, Processor IPThe "msrset/msrclr" instructions placed after a branch instruction were executed, even though a branch was taken as shown below:bnei r3, labelmsrset r0, 0x2label: