uint32_t >> 4
32bit値を4bitシフト。
- Rα,Rβ,Rγ,Rδに値が入っている
- RαがLSB側、RδがMSB側
- Rα,Rβ,Rγ,Rδに返る
- Rα,Rβ,Rγ,RδはR16〜R31
swap Rα ; 1 swap Rβ ; 2 swap Rγ ; 3 swap Rδ ; 4 andi Rα, 0x0f ; 5 eor Rα, Rβ ; 6 andi Rβ, 0x0f ; 7 eor Rα, Rβ ; 8 eor Rβ, Rγ ; 9 andi Rγ, 0x0f ; 10 eor Rβ, Rγ ; 11 eor Rγ, Rδ ; 12 andi Rδ, 0x0f ; 13 eor Rγ, Rδ ; 14