# REGISTER_IN r5 0x00100000
# REGISTER_IN r25 0x0000FFFF

add r11, r5, r25

blr
# REGISTER_OUT r5 0x00100000
# REGISTER_OUT r25 0x0000FFFF
# REGISTER_OUT r11 0x0010FFFF