考慮下列組合語言程式。輸入參數為n，輸出參數為b。輸入參數n在程式開始前存於位址0(x1)，輸出參數b在程式結束後需存於位址4(x1)。假設n為正整數。

1        ld   x5, 0(x1)
2        addi x6, x0, 1
3        add  x7, x0, x0
4  LOOP: bge  x6, x5, END
5        add  x6, x6, x6
6        addi x7, x7, 1
7        j    LOOP
8  END:  sd   x7, 4(x1)

下列敘述何者正確？