passed rv64ui-p-add