00:01
Hi to everyone, so let's evaluate arm code line by line.
00:07
So initial state x1 equals to 0, x2 0, x3 0, x4 0 into 7, x5 0, pc 0 into 100.
00:27
Now evaluation, first addi x1, x1 has take 4096, so x1 equals to x1 plus 4096, 0 plus 4096, 4096, pc 0 into 104.
00:54
Second one b8, so branch instruction pc is equal to pc plus 8, 0 into 104 plus 8 equals to 0 into 10c.
01:10
Now third one addi x3, x3 1, so x3 equals to x3 plus 1, 0 plus 1 equals to 1, pc is equal to 0 into 110.
01:26
Now fourth one is cb and z, x3 2, so condition not met, x3 not 0, so no branch.
01:49
So pc 0 into 114, fifth condition is cbz x2 2, here condition met, x2 is equal to 0, condition met, so branch to pc minus 1, pc 0 into 116.
02:27
Now sixth one is b minus 1, unconditional branch to pc minus 1, pc equals to 0 into 115...