Here are the ARM instructions to translate the given C statement:
LDR r0, [r2, r1, LSL #2]
This loads the word from the address calculated by adding the value of register r1 left shifted by 2 (to scale the offset) to the base address in register r2. Since r1 contains the index y, this loads the word from the array at index y.