Skip to content

Instantly share code, notes, and snippets.

@jpm61704

jpm61704/gist:a10a5d11d25d72f33f894ee91537d956

Created February 1, 2018 00:09
Show Gist options
  • Save jpm61704/a10a5d11d25d72f33f894ee91537d956 to your computer and use it in GitHub Desktop.
Save jpm61704/a10a5d11d25d72f33f894ee91537d956 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
decodeRegister ∷ W5 → MBReg
decodeRegister reg = case reg of
(W5 C C C C C) -> R0
(W5 C C C C S) -> R1
(W5 C C C S C) -> R2
(W5 C C C S S) -> R3
(W5 C C S C C) -> R4
(W5 C C S C S) -> R5
(W5 C C S S C) -> R6
(W5 C C S S S) -> R7
(W5 C S C C C) -> R8
(W5 C S C C S) -> R9
(W5 C S C S C) -> R10
(W5 C S C S S) -> R11
(W5 C S S C C) -> R12
(W5 C S S C S) -> R13
(W5 C S S S C) -> R14
(W5 C S S S S) -> R15
(W5 S C C C C) -> R16
(W5 S C C C S) -> R17
(W5 S C C S C) -> R18
(W5 S C C S S) -> R19
(W5 S C S C C) -> R20
(W5 S C S C S) -> R21
(W5 S C S S C) -> R22
(W5 S C S S S) -> R23
(W5 S S C C C) -> R24
(W5 S S C C S) -> R25
(W5 S S C S C) -> R26
(W5 S S C S S) -> R27
(W5 S S S C C) -> R28
(W5 S S S C S) -> R29
(W5 S S S S C) -> R30
(W5 S S S S S) -> R31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment