디어셈블리 했을때 나오는 mov r0, r0에 대해서

#include

int main(void)
{
int i = 0;
int k = 5;
int save[10] = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9};

while(i++ < k);

printf("%d", save[i]);
return 0;
}

//////////////////////////////////////c 코드

--- WHILE2\#1 #include
--- WHILE2\#2
--- WHILE2\#3 int main(void)
--- WHILE2\#4 {
000080C4 E24DD02C SUB sp,sp,#0x2c
>>> WHILE2\#5 int i = 0;
000080C8 E3A04000 MOV r4,#0
>>> WHILE2\#6 int k = 5;
000080CC E3A05005 MOV r5,#5
>>> WHILE2\#7 int save[10] = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9};
000080D0 E3A02028 MOV r2,#0x28
000080D4 E59F1034 LDR r1,0x8110
000080D8 E28D0004 ADD r0,sp,#4
--- WHILE2\#7 int save[10] = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9};
000080DC EB000079 BL __rt_memcpy_w <0x82c8>
>>> WHILE2\#8
>>> WHILE2\#9 while(i++ < k);
000080E0 E1A00000 MOV r0,r0
>>> WHILE2\#9 while(i++ < k);
000080E4 E1A00004 MOV r0,r4
--- WHILE2\#9 while(i++ < k);
000080E8 E2844001 ADD r4,r4,#1
000080EC E1500005 CMP r0,r5
000080F0 BAFFFFFB BLT 0x80e4
>>> WHILE2\#10
>>> WHILE2\#11 printf("%d", save[i]);
000080F4 E28D0004 ADD r0,sp,#4
--- WHILE2\#10
--- WHILE2\#11 printf("%d", save[i]);
000080F8 E7901104 LDR r1,[r0,r4,LSL #2]
000080FC E28F0010 ADR r0,{pc}+0x18 ; 0x8114
00008100 EB000004 BL __2printf <0x8118>
>>> WHILE2\#12 return 0;
00008104 E3A00000 MOV r0,#0
--- WHILE2\#12 return 0;
00008108 E28DD02C ADD sp,sp,#0x2c
>>> WHILE2\#13 }
0000810C E8BD8030 POP {r4,r5,pc}
00008110 00009628 '(' 0x96 0x00 0x00
00008114 00006425 '%' 'd' 0x00 0x00
//////////////////////////////////////////////////// 디어셈블리코드

>>> WHILE2\#9 while(i++ < k);
000080E0 E1A00000 MOV r0,r0

이 부분에서 왜 mov r0, r0라는 명령어가 들어가나요?