Post #3164843

@whitequark@mastodon.social @mokomull@macaw.social in case you're wondering, you can tell by the lui a0, 0x10000 mips lui has only 16 bits of immediate, so this can't be mips. riscv has 20 bits so yay