mirror of
https://github.com/italicsjenga/gba.git
synced 2024-12-24 03:11:29 +11:00
1225 lines
64 KiB
HTML
1225 lines
64 KiB
HTML
<!DOCTYPE HTML>
|
|
<html lang="en" class="sidebar-visible no-js">
|
|
<head>
|
|
<!-- Book generated using mdBook -->
|
|
<meta charset="UTF-8">
|
|
<title>Rust GBA Tutorials</title>
|
|
<meta content="text/html; charset=utf-8" http-equiv="Content-Type">
|
|
<meta name="description" content="">
|
|
<meta name="viewport" content="width=device-width, initial-scale=1">
|
|
<meta name="theme-color" content="#ffffff" />
|
|
|
|
<link rel="shortcut icon" href="favicon.png">
|
|
<link rel="stylesheet" href="css/variables.css">
|
|
<link rel="stylesheet" href="css/general.css">
|
|
<link rel="stylesheet" href="css/chrome.css">
|
|
<link rel="stylesheet" href="css/print.css" media="print">
|
|
|
|
<!-- Fonts -->
|
|
<link rel="stylesheet" href="FontAwesome/css/font-awesome.css">
|
|
<link href="https://fonts.googleapis.com/css?family=Open+Sans:300italic,400italic,600italic,700italic,800italic,400,300,600,700,800" rel="stylesheet" type="text/css">
|
|
<link href="https://fonts.googleapis.com/css?family=Source+Code+Pro:500" rel="stylesheet" type="text/css">
|
|
|
|
<!-- Highlight.js Stylesheets -->
|
|
<link rel="stylesheet" href="highlight.css">
|
|
<link rel="stylesheet" href="tomorrow-night.css">
|
|
<link rel="stylesheet" href="ayu-highlight.css">
|
|
|
|
<!-- Custom theme stylesheets -->
|
|
|
|
|
|
|
|
</head>
|
|
<body class="light">
|
|
<!-- Provide site root to javascript -->
|
|
<script type="text/javascript">var path_to_root = "";</script>
|
|
|
|
<!-- Work around some values being stored in localStorage wrapped in quotes -->
|
|
<script type="text/javascript">
|
|
try {
|
|
var theme = localStorage.getItem('mdbook-theme');
|
|
var sidebar = localStorage.getItem('mdbook-sidebar');
|
|
|
|
if (theme.startsWith('"') && theme.endsWith('"')) {
|
|
localStorage.setItem('mdbook-theme', theme.slice(1, theme.length - 1));
|
|
}
|
|
|
|
if (sidebar.startsWith('"') && sidebar.endsWith('"')) {
|
|
localStorage.setItem('mdbook-sidebar', sidebar.slice(1, sidebar.length - 1));
|
|
}
|
|
} catch (e) { }
|
|
</script>
|
|
|
|
<!-- Set the theme before any content is loaded, prevents flash -->
|
|
<script type="text/javascript">
|
|
var theme;
|
|
try { theme = localStorage.getItem('mdbook-theme'); } catch(e) { }
|
|
if (theme === null || theme === undefined) { theme = 'light'; }
|
|
document.body.className = theme;
|
|
document.querySelector('html').className = theme + ' js';
|
|
</script>
|
|
|
|
<!-- Hide / unhide sidebar before it is displayed -->
|
|
<script type="text/javascript">
|
|
var html = document.querySelector('html');
|
|
var sidebar = 'hidden';
|
|
if (document.body.clientWidth >= 1080) {
|
|
try { sidebar = localStorage.getItem('mdbook-sidebar'); } catch(e) { }
|
|
sidebar = sidebar || 'visible';
|
|
}
|
|
html.classList.remove('sidebar-visible');
|
|
html.classList.add("sidebar-" + sidebar);
|
|
</script>
|
|
|
|
<nav id="sidebar" class="sidebar" aria-label="Table of contents">
|
|
<ol class="chapter"><li><a href="introduction.html"><strong aria-hidden="true">1.</strong> Introduction</a></li><li><a href="ch0/index.html"><strong aria-hidden="true">2.</strong> Ch 0: Development Setup</a></li><li><a href="ch1/index.html"><strong aria-hidden="true">3.</strong> Ch 1: Hello GBA</a></li><li><ol class="section"><li><a href="ch1/hello1.html"><strong aria-hidden="true">3.1.</strong> hello1</a></li><li><a href="ch1/io_registers.html"><strong aria-hidden="true">3.2.</strong> IO Registers</a></li><li><a href="ch1/the_display_control_register.html"><strong aria-hidden="true">3.3.</strong> The Display Control Register</a></li><li><a href="ch1/video_memory_intro.html"><strong aria-hidden="true">3.4.</strong> Video Memory Intro</a></li><li><a href="ch1/hello2.html"><strong aria-hidden="true">3.5.</strong> hello2</a></li></ol></li><li><a href="ch2/index.html"><strong aria-hidden="true">4.</strong> Ch 2: User Input</a></li><li><ol class="section"><li><a href="ch2/the_key_input_register.html"><strong aria-hidden="true">4.1.</strong> The Key Input Register</a></li><li><a href="ch2/the_vcount_register.html"><strong aria-hidden="true">4.2.</strong> The VCount Register</a></li><li><a href="ch2/light_cycle.html"><strong aria-hidden="true">4.3.</strong> light_cycle</a></li></ol></li></ol>
|
|
</nav>
|
|
|
|
<div id="page-wrapper" class="page-wrapper">
|
|
|
|
<div class="page">
|
|
|
|
<div id="menu-bar" class="menu-bar">
|
|
<div id="menu-bar-sticky-container">
|
|
<div class="left-buttons">
|
|
<button id="sidebar-toggle" class="icon-button" type="button" title="Toggle Table of Contents" aria-label="Toggle Table of Contents" aria-controls="sidebar">
|
|
<i class="fa fa-bars"></i>
|
|
</button>
|
|
<button id="theme-toggle" class="icon-button" type="button" title="Change theme" aria-label="Change theme" aria-haspopup="true" aria-expanded="false" aria-controls="theme-list">
|
|
<i class="fa fa-paint-brush"></i>
|
|
</button>
|
|
<ul id="theme-list" class="theme-popup" aria-label="Themes" role="menu">
|
|
<li role="none"><button role="menuitem" class="theme" id="light">Light <span class="default">(default)</span></button></li>
|
|
<li role="none"><button role="menuitem" class="theme" id="rust">Rust</button></li>
|
|
<li role="none"><button role="menuitem" class="theme" id="coal">Coal</button></li>
|
|
<li role="none"><button role="menuitem" class="theme" id="navy">Navy</button></li>
|
|
<li role="none"><button role="menuitem" class="theme" id="ayu">Ayu</button></li>
|
|
</ul>
|
|
|
|
<button id="search-toggle" class="icon-button" type="button" title="Search. (Shortkey: s)" aria-label="Toggle Searchbar" aria-expanded="false" aria-keyshortcuts="S" aria-controls="searchbar">
|
|
<i class="fa fa-search"></i>
|
|
</button>
|
|
|
|
</div>
|
|
|
|
<h1 class="menu-title">Rust GBA Tutorials</h1>
|
|
|
|
<div class="right-buttons">
|
|
<a href="print.html" title="Print this book" aria-label="Print this book">
|
|
<i id="print-button" class="fa fa-print"></i>
|
|
</a>
|
|
</div>
|
|
</div>
|
|
</div>
|
|
|
|
|
|
<div id="search-wrapper" class="hidden">
|
|
<form id="searchbar-outer" class="searchbar-outer">
|
|
<input type="search" name="search" id="searchbar" name="searchbar" placeholder="Search this book ..." aria-controls="searchresults-outer" aria-describedby="searchresults-header">
|
|
</form>
|
|
<div id="searchresults-outer" class="searchresults-outer hidden">
|
|
<div id="searchresults-header" class="searchresults-header"></div>
|
|
<ul id="searchresults">
|
|
</ul>
|
|
</div>
|
|
</div>
|
|
|
|
|
|
<!-- Apply ARIA attributes after the sidebar and the sidebar toggle button are added to the DOM -->
|
|
<script type="text/javascript">
|
|
document.getElementById('sidebar-toggle').setAttribute('aria-expanded', sidebar === 'visible');
|
|
document.getElementById('sidebar').setAttribute('aria-hidden', sidebar !== 'visible');
|
|
Array.from(document.querySelectorAll('#sidebar a')).forEach(function(link) {
|
|
link.setAttribute('tabIndex', sidebar === 'visible' ? 0 : -1);
|
|
});
|
|
</script>
|
|
|
|
<div id="content" class="content">
|
|
<main>
|
|
<a class="header" href="#introduction" id="introduction"><h1>Introduction</h1></a>
|
|
<p>Here's a book that'll help you program in Rust on the GBA.</p>
|
|
<p>It's very "work in progress". At the moment there's only one demo program.</p>
|
|
<a class="header" href="#other-works" id="other-works"><h2>Other Works</h2></a>
|
|
<p>If you want to read more about developing on the GBA there are some other good resources as well:</p>
|
|
<ul>
|
|
<li><a href="https://www.coranac.com/tonc/text/toc.htm">Tonc</a>, a tutorial series written
|
|
for C, but it's what I based the ordering of this book's sections on.</li>
|
|
<li><a href="http://problemkaputt.de/gbatek.htm">GBATEK</a>, a homebrew tech manual for
|
|
GBA/NDS/DSi. We will regularly link to parts of it when talking about various
|
|
bits of the GBA.</li>
|
|
<li><a href="https://www.cs.rit.edu/%7Etjh8300/CowBite/CowBiteSpec.htm">CowBite</a> is another
|
|
tech specification that's more GBA specific. It's sometimes got more ASCII
|
|
art diagrams and example C struct layouts than GBATEK does.</li>
|
|
</ul>
|
|
<a class="header" href="#chapter-0-development-setup" id="chapter-0-development-setup"><h1>Chapter 0: Development Setup</h1></a>
|
|
<p>Before you can build a GBA game you'll have to follow some special steps to
|
|
setup the development environment. Perhaps unfortunately, there's enough detail
|
|
here to warrant a mini-chapter all on its own.</p>
|
|
<a class="header" href="#per-system-setup" id="per-system-setup"><h2>Per System Setup</h2></a>
|
|
<p>Obviously you need your computer to have a working rust installation. However,
|
|
you'll also need to ensure that you're using a nightly toolchain. You can run
|
|
<code>rustup default nightly</code> to set nightly as the system wide default toolchain, or
|
|
you can use a <a href="https://github.com/rust-lang-nursery/rustup.rs#the-toolchain-file">toolchain
|
|
file</a> to use
|
|
nightly just on a specific project, but either way we'll be assuming nightly
|
|
from now on.</p>
|
|
<p>Next you need <a href="https://devkitpro.org/wiki/Getting_Started">devkitpro</a>. They've
|
|
got a graphical installer for Windows, and <code>pacman</code> support on Linux. We'll be
|
|
using a few of their binutils for the <code>arm-none-eabi</code> target, and we'll also be
|
|
using some of their tools that are specific to GBA development, so <em>even if</em> you
|
|
already have the right binutils for whatever reason, you'll still want devkitpro
|
|
for the <code>gbafix</code> utility.</p>
|
|
<ul>
|
|
<li>On Windows you'll want something like <code>C:\devkitpro\devkitARM\bin</code> and
|
|
<code>C:\devkitpro\tools\bin</code> to be <a href="https://stackoverflow.com/q/44272416/455232">added to your
|
|
PATH</a>, depending on where you
|
|
installed it to and such.</li>
|
|
<li>On Linux you'll also want it to be added to your path, but if you're using
|
|
Linux I'll just assume you know how to do all that.</li>
|
|
</ul>
|
|
<p>Finally, you'll need <code>cargo-xbuild</code>. Just run <code>cargo install cargo-xbuild</code> and
|
|
cargo will figure it all out for you.</p>
|
|
<a class="header" href="#per-project-setup" id="per-project-setup"><h2>Per Project Setup</h2></a>
|
|
<p>Now you'll need some particular files each time you want to start a new project.
|
|
You can find them in the root of the <a href="https://github.com/rust-console/gba">rust-console/gba
|
|
repo</a>.</p>
|
|
<ul>
|
|
<li><code>thumbv4-none-agb.json</code> describes the overall GBA to cargo-xbuild so it knows
|
|
what to do. This is actually a somewhat made up target name since there's no
|
|
official target name. The GBA is essentially the same as a normal
|
|
<code>thumbv4-none-eabi</code> device, but we give it the "agb" signifier so that later
|
|
on we'll be able to use rust's <code>cfg</code> ability to allow our code to know if it's
|
|
specifically targeting a GBA or some other similar device (like an NDS).</li>
|
|
<li><code>crt0.s</code> describes some ASM startup stuff. If you have more ASM to place here
|
|
later on this is where you can put it. You also need to build it into a
|
|
<code>crt0.o</code> file before it can actually be used, but we'll cover that below.</li>
|
|
<li><code>linker.ld</code> tells the linker more critical info about the layout expectations
|
|
that the GBA has about our program.</li>
|
|
</ul>
|
|
<a class="header" href="#compiling" id="compiling"><h2>Compiling</h2></a>
|
|
<p>Once you've got something to build, you perform the following steps:</p>
|
|
<ul>
|
|
<li>
|
|
<p><code>arm-none-eabi-as crt0.s -o crt0.o</code></p>
|
|
<ul>
|
|
<li>This builds your text format <code>crt0.s</code> file into object format <code>crt0.o</code>. You
|
|
don't need to perform it every time, only when <code>crt0.s</code> changes, but you
|
|
might as well do it every time so that you never forget to because it's a
|
|
practically instant operation.</li>
|
|
</ul>
|
|
</li>
|
|
<li>
|
|
<p><code>cargo xbuild --target thumbv4-none-agb.json</code></p>
|
|
<ul>
|
|
<li>This builds your Rust source. It accepts <em>most of</em> the normal options, such
|
|
as <code>--release</code>, and options, such as <code>--bin foo</code> or <code>--examples</code>, that you'd
|
|
expect <code>cargo</code> to accept.</li>
|
|
<li>You <strong>can not</strong> build and run tests this way, because they require <code>std</code>,
|
|
which the GBA doesn't have. You can still run some of your project's tests
|
|
with <code>cargo test</code>, but that builds for your local machine, so anything
|
|
specific to the GBA (such as reading and writing registers) won't be
|
|
testable that way. If you want to isolate and try out some piece code
|
|
running on the GBA you'll unfortunately have to make a demo for it in your
|
|
<code>examples/</code> directory and then run the demo in an emulator and see if it
|
|
does what you expect.</li>
|
|
<li>The file extension is important. <code>cargo xbuild</code> takes it as a flag to
|
|
compile dependencies with the same sysroot, so you can include crates
|
|
normally. Well, creates that work in the GBA's limited environment, but you
|
|
get the idea.</li>
|
|
</ul>
|
|
</li>
|
|
</ul>
|
|
<p>At this point you have an ELF binary that some emulators can execute directly.
|
|
This is helpful because it'll have debug symbols and all that, assuming a debug
|
|
build. Specifically, <a href="https://mgba.io/2018/09/24/mgba-0.7-beta1/">mgba 0.7 beta
|
|
1</a> can do it, and perhaps other
|
|
emulators can also do it.</p>
|
|
<p>However, if you want a "real" ROM that works in all emulators and that you could
|
|
transfer to a flash cart there's a little more to do.</p>
|
|
<ul>
|
|
<li>
|
|
<p><code>arm-none-eabi-objcopy -O binary target/thumbv4-none-agb/MODE/BIN_NAME target/ROM_NAME.gba</code></p>
|
|
<ul>
|
|
<li>This will perform an <a href="https://linux.die.net/man/1/objcopy">objcopy</a> on our
|
|
program. Here I've named the program <code>arm-none-eabi-objcopy</code>, which is what
|
|
devkitpro calls their version of <code>objcopy</code> that's specific to the GBA in the
|
|
Windows install. If the program isn't found under that name, have a look in
|
|
your installation directory to see if it's under a slightly different name
|
|
or something.</li>
|
|
<li>As you can see from reading the man page, the <code>-O binary</code> option takes our
|
|
lovely ELF file with symbols and all that and strips it down to basically a
|
|
bare memory dump of the program.</li>
|
|
<li>The next argument is the input file. You might not be familiar with how
|
|
<code>cargo</code> arranges stuff in the <code>target/</code> directory, and between RLS and
|
|
<code>cargo doc</code> and stuff it gets kinda crowded, so it goes like this:
|
|
<ul>
|
|
<li>Since our program was built for a non-local target, first we've got a
|
|
directory named for that target, <code>thumbv4-none-agb/</code></li>
|
|
<li>Next, the "MODE" is either <code>debug/</code> or <code>release/</code>, depending on if we had
|
|
the <code>--release</code> flag included. You'll probably only be packing release
|
|
mode programs all the way into GBA roms, but it works with either mode.</li>
|
|
<li>Finally, the name of the program. If your program is something out of the
|
|
project's <code>src/bin/</code> then it'll be that file's name, or whatever name you
|
|
configured for the bin in the <code>Cargo.toml</code> file. If your program is
|
|
something out of the project's <code>examples/</code> directory there will be a
|
|
similar <code>examples/</code> sub-directory first, and then the example's name.</li>
|
|
</ul>
|
|
</li>
|
|
<li>The final argument is the output of the <code>objcopy</code>, which I suggest putting
|
|
at just the top level of the <code>target/</code> directory. Really it could go
|
|
anywhere, but if you're using git then it's likely that your <code>.gitignore</code>
|
|
file is already setup to exclude everything in <code>target/</code>, so this makes sure
|
|
that your intermediate game builds don't get checked into your git.</li>
|
|
</ul>
|
|
</li>
|
|
<li>
|
|
<p><code>gbafix target/ROM_NAME.gba</code></p>
|
|
<ul>
|
|
<li>The <code>gbafix</code> tool also comes from devkitpro. The GBA is very picky about a
|
|
ROM's format, and <code>gbafix</code> patches the ROM's header and such so that it'll
|
|
work right. Unlike <code>objcopy</code>, this tool is custom built for GBA development,
|
|
so it works just perfectly without any arguments beyond the file name. The
|
|
ROM is patched in place, so we don't even need to specify a new destination.</li>
|
|
</ul>
|
|
</li>
|
|
</ul>
|
|
<p>And you're finally done!</p>
|
|
<p>Of course, you probably want to make a script for all that, but it's up to you.</p>
|
|
<a class="header" href="#ch-1-hello-gba" id="ch-1-hello-gba"><h1>Ch 1: Hello GBA</h1></a>
|
|
<p>Traditionally a person writes a "hello, world" program so that they can test
|
|
that their development environment is setup properly and to just get a feel for
|
|
using the tools involved. To get an idea of what a small part of a source file
|
|
will look like. All that stuff.</p>
|
|
<p>Normally, you write a program that prints "hello, world" to the terminal. The
|
|
GBA has no terminal, but it does have a screen, so instead we're going to draw
|
|
three dots to the screen.</p>
|
|
<a class="header" href="#hello1" id="hello1"><h1>hello1</h1></a>
|
|
<p>Ready? Here goes:</p>
|
|
<p><code>hello1.rs</code></p>
|
|
<pre><pre class="playpen"><code class="language-rust">#![feature(start)]
|
|
#![no_std]
|
|
|
|
#[cfg(not(test))]
|
|
#[panic_handler]
|
|
fn panic(_info: &core::panic::PanicInfo) -> ! {
|
|
loop {}
|
|
}
|
|
|
|
#[start]
|
|
fn main(_argc: isize, _argv: *const *const u8) -> isize {
|
|
unsafe {
|
|
(0x04000000 as *mut u16).write_volatile(0x0403);
|
|
(0x06000000 as *mut u16).offset(120 + 80 * 240).write_volatile(0x001F);
|
|
(0x06000000 as *mut u16).offset(136 + 80 * 240).write_volatile(0x03E0);
|
|
(0x06000000 as *mut u16).offset(120 + 96 * 240).write_volatile(0x7C00);
|
|
loop {}
|
|
}
|
|
}
|
|
</code></pre></pre>
|
|
<p>Throw that into your project, build the program (as described back in Chapter
|
|
0), and give it a run. You should see a red, green, and blue dot close-ish to
|
|
the middle of the screen. If you don't, something already went wrong. Double
|
|
check things, phone a friend, write your senators, try asking Ketsuban on the
|
|
<a href="https://discordapp.com/invite/aVESxV8">Rust Community Discord</a>, until you're
|
|
able to get your three dots going.</p>
|
|
<a class="header" href="#explaining-hello1" id="explaining-hello1"><h2>Explaining hello1</h2></a>
|
|
<p>So, what just happened? Even if you're used to Rust that might look pretty
|
|
strange. We'll go over each part extra carefully.</p>
|
|
<pre><pre class="playpen"><code class="language-rust">
|
|
# #![allow(unused_variables)]
|
|
#![feature(start)]
|
|
#fn main() {
|
|
#}</code></pre></pre>
|
|
<p>This enables the <a href="https://doc.rust-lang.org/beta/unstable-book/language-features/start.html">start
|
|
feature</a>,
|
|
which you would normally be able to read about in the unstable book, except that
|
|
the book tells you nothing at all except to look at the <a href="https://github.com/rust-lang/rust/issues/29633">tracking
|
|
issue</a>.</p>
|
|
<p>Basically, a GBA game is even more low-level than the <em>normal</em> amount of
|
|
low-level that you get from Rust, so we have to tell the compiler to account for
|
|
that by specifying a <code>#[start]</code>, and we need this feature on to do that.</p>
|
|
<pre><pre class="playpen"><code class="language-rust">
|
|
# #![allow(unused_variables)]
|
|
#![no_std]
|
|
#fn main() {
|
|
#}</code></pre></pre>
|
|
<p>There's no standard library available on the GBA, so we'll have to live a core
|
|
only life.</p>
|
|
<pre><pre class="playpen"><code class="language-rust">
|
|
# #![allow(unused_variables)]
|
|
#fn main() {
|
|
#[cfg(not(test))]
|
|
#[panic_handler]
|
|
fn panic(_info: &core::panic::PanicInfo) -> ! {
|
|
loop {}
|
|
}
|
|
#}</code></pre></pre>
|
|
<p>This sets our <a href="https://doc.rust-lang.org/nightly/nomicon/panic-handler.html">panic
|
|
handler</a>.
|
|
Basically, if we somehow trigger a panic, this is where the program goes.
|
|
However, right now we don't know how to get any sort of message out to the user
|
|
so... we do nothing at all. We <em>can't even return</em> from here, so we just sit in
|
|
an infinite loop. The player will have to reset the universe from the outside.</p>
|
|
<p>The <code>#[cfg(not(test))]</code> part makes this item only exist in the program when
|
|
we're <em>not</em> in a test build. This is so that <code>cargo test</code> and such work right as
|
|
much as possible.</p>
|
|
<pre><pre class="playpen"><code class="language-rust">#[start]
|
|
fn main(_argc: isize, _argv: *const *const u8) -> isize {
|
|
</code></pre></pre>
|
|
<p>This is our <code>#[start]</code>. We call it <code>main</code>, but it's not like a <code>main</code> that you'd
|
|
see in a Rust program. It's <em>more like</em> the sort of <code>main</code> that you'd see in a C
|
|
program, but it's still <strong>not</strong> that either. If you compile a <code>#[start]</code> program
|
|
for a target with an OS such as <code>arm-none-eabi-nm</code> you can open up the debug
|
|
info and see that your result will have the symbol for the C <code>main</code> along side
|
|
the symbol for the start <code>main</code> that we write here. Our start <code>main</code> is just its
|
|
own unique thing, and the inputs and outputs have to be like that because that's
|
|
how <code>#[start]</code> is specified to work in Rust.</p>
|
|
<p>If you think about it for a moment you'll probably realize that, those inputs
|
|
and outputs are totally useless to us on a GBA. There's no OS on the GBA to call
|
|
our program, and there's no place for our program to "return to" when it's done.</p>
|
|
<p>Side note: if you want to learn more about stuff "before main gets called" you
|
|
can watch a great <a href="https://www.youtube.com/watch?v=dOfucXtyEsU">CppCon talk</a> by
|
|
Matt Godbolt (yes, that Godbolt) where he delves into quite a bit of it. The
|
|
talk doesn't really apply to the GBA, but it's pretty good.</p>
|
|
<pre><pre class="playpen"><code class="language-rust">
|
|
# #![allow(unused_variables)]
|
|
#fn main() {
|
|
unsafe {
|
|
#}</code></pre></pre>
|
|
<p>I hope you're all set for some <code>unsafe</code>, because there's a lot of it to be had.</p>
|
|
<pre><pre class="playpen"><code class="language-rust">
|
|
# #![allow(unused_variables)]
|
|
#fn main() {
|
|
(0x04000000 as *mut u16).write_volatile(0x0403);
|
|
#}</code></pre></pre>
|
|
<p>Sure!</p>
|
|
<pre><pre class="playpen"><code class="language-rust">
|
|
# #![allow(unused_variables)]
|
|
#fn main() {
|
|
(0x06000000 as *mut u16).offset(120 + 80 * 240).write_volatile(0x001F);
|
|
(0x06000000 as *mut u16).offset(136 + 80 * 240).write_volatile(0x03E0);
|
|
(0x06000000 as *mut u16).offset(120 + 96 * 240).write_volatile(0x7C00);
|
|
#}</code></pre></pre>
|
|
<p>Ah, of course.</p>
|
|
<pre><pre class="playpen"><code class="language-rust">
|
|
# #![allow(unused_variables)]
|
|
#fn main() {
|
|
loop {}
|
|
}
|
|
}
|
|
#}</code></pre></pre>
|
|
<p>And, as mentioned above, there's no place for a GBA program to "return to", so
|
|
we can't ever let <code>main</code> try to return there. Instead, we go into an infinite
|
|
<code>loop</code> that does nothing. The fact that this doesn't ever return an <code>isize</code>
|
|
value doesn't seem to bother Rust, because I guess we're at least not returning
|
|
any other type of thing instead.</p>
|
|
<p>Fun fact: unlike in C++, an infinite loop with no side effects isn't Undefined
|
|
Behavior for us rustaceans... <em>semantically</em>. In truth LLVM has a <a href="https://github.com/rust-lang/rust/issues/28728">known
|
|
bug</a> in this area, so we won't
|
|
actually be relying on empty loops in any future programs.</p>
|
|
<a class="header" href="#all-those-magic-numbers" id="all-those-magic-numbers"><h2>All Those Magic Numbers</h2></a>
|
|
<p>Alright, I cheated quite a bit in the middle there. The program works, but I
|
|
didn't really tell you why because I didn't really tell you what any of those
|
|
magic numbers mean or do.</p>
|
|
<ul>
|
|
<li><code>0x04000000</code> is the address of an IO Register called the Display Control.</li>
|
|
<li><code>0x06000000</code> is the start of Video RAM.</li>
|
|
</ul>
|
|
<p>So we write some magic to the display control register once, then we write some
|
|
other magic to three locations of magic to the Video RAM. We get three dots,
|
|
each in their own location... so that second part makes sense at least.</p>
|
|
<p>We'll get into the magic number details in the other sections of this chapter.</p>
|
|
<a class="header" href="#sidebar-volatile" id="sidebar-volatile"><h2>Sidebar: Volatile</h2></a>
|
|
<p>We'll get into what all that is in a moment, but first let's ask ourselves: Why
|
|
are we doing <em>volatile</em> writes? You've probably never used it before at all.
|
|
What is volatile anyway?</p>
|
|
<p>Well, the optimizer is pretty aggressive some of the time, and so it'll skip
|
|
reads and writes when it thinks can. Like if you write to a pointer once, and
|
|
then again a moment later, and it didn't see any other reads in between, it'll
|
|
think that it can just skip doing that first write since it'll get overwritten
|
|
anyway. Sometimes that's right, but sometimes it's wrong.</p>
|
|
<p>Marking a read or write as <em>volatile</em> tells the compiler that it really must do
|
|
that action, and in the exact order that we wrote it out. It says that there
|
|
might even be special hardware side effects going on that the compiler isn't
|
|
aware of. In this case, the write to the display control register sets a video
|
|
mode, and the writes to the Video RAM set pixels that will show up on the
|
|
screen.</p>
|
|
<p>Similar to "atomic" operations you might have heard about, all volatile
|
|
operations are enforced to happen in the exact order that you specify them, but
|
|
only relative to other volatile operations. So something like</p>
|
|
<pre><pre class="playpen"><code class="language-rust">
|
|
# #![allow(unused_variables)]
|
|
#fn main() {
|
|
c.volatile_write(5);
|
|
a += b;
|
|
d.volatile_write(7);
|
|
#}</code></pre></pre>
|
|
<p>might end up changing <code>a</code> either before or after the change to <code>c</code> (since the
|
|
value of <code>a</code> doesn't affect the write to <code>c</code>), but the write to <code>d</code> will
|
|
<em>always</em> happen after the write to <code>c</code> even though the compiler doesn't see any
|
|
direct data dependency there.</p>
|
|
<p>If you ever use volatile stuff on other platforms it's important to note that
|
|
volatile doesn't make things thread-safe, you still need atomic for that.
|
|
However, the GBA doesn't have threads, so we don't have to worry about thread
|
|
safety concerns.</p>
|
|
<a class="header" href="#io-registers" id="io-registers"><h1>IO Registers</h1></a>
|
|
<p>The GBA has a large number of <strong>IO Registers</strong> (not to be confused with CPU
|
|
registers). These are special memory locations from <code>0x04000000</code> to
|
|
<code>0x040003FE</code>. GBATEK has a <a href="http://problemkaputt.de/gbatek.htm#gbaiomap">full
|
|
list</a>, but we only need to learn
|
|
about a few of them at a time as we go, so don't be worried.</p>
|
|
<p>The important facts to know about IO Registers are these:</p>
|
|
<ul>
|
|
<li>Each has their own specific size. Most are <code>u16</code>, but some are <code>u32</code>.</li>
|
|
<li>All of them must be accessed in a <code>volatile</code> style.</li>
|
|
<li>Each register is specifically readable or writable or both. Actually, with
|
|
some registers there are even individual bits that are read-only or
|
|
write-only.
|
|
<ul>
|
|
<li>If you write to a read-only position, those writes are simply ignored. This
|
|
mostly matters if a writable register contains a read-only bit (such as the
|
|
Display Control, next section).</li>
|
|
<li>If you read from a write-only position, you get back values that are
|
|
<a href="http://problemkaputt.de/gbatek.htm#gbaunpredictablethings">basically
|
|
nonsense</a>. There
|
|
aren't really any registers that mix writable bits with read only bits, so
|
|
you're basically safe here. The only (mild) concern is that when you write a
|
|
value into a write-only register you need to keep track of what you wrote
|
|
somewhere else if you want to know what you wrote (such to adjust an offset
|
|
value by +1, or whatever).</li>
|
|
<li>You can always check GBATEK to be sure, but if I don't mention it then a bit
|
|
is probably both read and write.</li>
|
|
</ul>
|
|
</li>
|
|
<li>Some registers have invalid bit patterns. For example, the lowest three bits
|
|
of the Display Control register can't legally be set to the values 6 or 7.</li>
|
|
</ul>
|
|
<p>When talking about bit positions, the numbers are <em>zero indexed</em> just like an
|
|
array index is.</p>
|
|
<a class="header" href="#the-display-control-register" id="the-display-control-register"><h1>The Display Control Register</h1></a>
|
|
<p>The display control register is our first actual IO Register. GBATEK gives it the
|
|
shorthand <a href="http://problemkaputt.de/gbatek.htm#lcdiodisplaycontrol">DISPCNT</a>, so
|
|
you might see it under that name if you read other guides.</p>
|
|
<p>Among IO Registers, it's one of the simpler ones, but it's got enough complexity
|
|
that we can get a hint of what's to come.</p>
|
|
<p>Also it's the one that you basically always need to set at least once in every
|
|
GBA game, so it's a good starting one to go over for that reason too.</p>
|
|
<p>The display control register holds a <code>u16</code> value, and is located at <code>0x0400_0000</code>.</p>
|
|
<p>Many of the bits here won't mean much to you right now. <strong>That is fine.</strong> You do
|
|
NOT need to memorize them all or what they all do right away. We'll just skim
|
|
over all the parts of this register to start, and then we'll go into more detail
|
|
in later chapters when we need to come back and use more of the bits.</p>
|
|
<a class="header" href="#video-modes" id="video-modes"><h2>Video Modes</h2></a>
|
|
<p>The lowest three bits (0-2) let you select from among the GBA's six video modes.
|
|
You'll notice that 3 bits allows for eight modes, but the values 6 and 7 are
|
|
prohibited.</p>
|
|
<p>Modes 0, 1, and 2 are "tiled" modes. These are actually the modes that you
|
|
should eventually learn to use as much as possible. It lets the GBA's limited
|
|
video hardware do as much of the work as possible, leaving more of your CPU time
|
|
for gameplay computations. However, they're also complex enough to deserve their
|
|
own demos and chapters later on, so that's all we'll say about them for now.</p>
|
|
<p>Modes 3, 4, and 5 are "bitmap" modes. These let you write individual pixels to
|
|
locations on the screen.</p>
|
|
<ul>
|
|
<li><strong>Mode 3</strong> is full resolution (240w x 160h) RGB15 color. You might not be used
|
|
to RGB15, since modern computers have 24 or 32 bit colors. In RGB15, there's 5
|
|
bits for each color channel stored within a <code>u16</code> value, and the highest bit is
|
|
simply ignored.</li>
|
|
<li><strong>Mode 4</strong> is full resolution paletted color. Instead of being a <code>u16</code> color, each
|
|
pixel value is a <code>u8</code> palette index entry, and then the display uses the
|
|
palette memory (which we'll talk about later) to store the actual color data.
|
|
Since each pixel is half sized, we can fit twice as many. This lets us have
|
|
two "pages". At any given moment only one page is active, and you can draw to
|
|
the other page without the user noticing. You set which page to show with
|
|
another bit we'll get to in a moment.</li>
|
|
<li><strong>Mode 5</strong> is full color, but also with pages. This means that we must have a
|
|
reduced resolution to compensate (video memory is only so big!). The screen is
|
|
effectively only 160w x 128h in this mode.</li>
|
|
</ul>
|
|
<a class="header" href="#cgb-mode" id="cgb-mode"><h2>CGB Mode</h2></a>
|
|
<p>Bit 3 is effectively read only. Technically it can be flipped using a BIOS call,
|
|
but when you write to the display control register normally it won't write to
|
|
this bit, so we'll call it effectively read only.</p>
|
|
<p>This bit is on if the CPU is in CGB mode.</p>
|
|
<a class="header" href="#page-flipping" id="page-flipping"><h2>Page Flipping</h2></a>
|
|
<p>Bit 4 lets you pick which page to use. This is only relevent in video modes 4 or
|
|
5, and is just ignored otherwise. It's very easy to remember: when the bit is 0
|
|
the 0th page is used, and when the bit is 1 the 1st page is used.</p>
|
|
<p>The second page always starts at <code>0x0600_A000</code>.</p>
|
|
<a class="header" href="#oam-vram-and-blanking" id="oam-vram-and-blanking"><h2>OAM, VRAM, and Blanking</h2></a>
|
|
<p>Bit 5 lets you access OAM during HBlank if enabled. This is cool, but it reduces
|
|
the maximum sprites per scanline, so it's not default.</p>
|
|
<p>Bit 6 lets you adjust if the GBA should treat Object Character VRAM as being 2d
|
|
(off) or 1d (on). This particular control can be kinda tricky to wrap your head
|
|
around, so we'll be sure to have some extra diagrams in the chapter that deals
|
|
with it.</p>
|
|
<p>Bit 7 forces the screen to stay in vblank as long as it's set. This allows the
|
|
fastest use of the VRAM, Palette, and Object Attribute Memory. Obviously if you
|
|
leave this on for too long the player will notice a blank screen, but it might
|
|
be okay to use for a moment or two every once in a while.</p>
|
|
<a class="header" href="#screen-layers" id="screen-layers"><h2>Screen Layers</h2></a>
|
|
<p>Bits 8 through 11 control if Background layers 0 through 3 should be active.</p>
|
|
<p>Bit 12 affects the Object layer.</p>
|
|
<p>Note that not all background layers are available in all video modes:</p>
|
|
<ul>
|
|
<li>Mode 0: all</li>
|
|
<li>Mode 1: 0/1/2</li>
|
|
<li>Mode 2: 2/3</li>
|
|
<li>Mode 3/4/5: 2</li>
|
|
</ul>
|
|
<p>Bit 13 and 14 enable the display of Windows 0 and 1, and Bit 15 enables the
|
|
object display window. We'll get into how windows work later on, they let you do
|
|
some nifty graphical effects.</p>
|
|
<a class="header" href="#in-conclusion" id="in-conclusion"><h2>In Conclusion...</h2></a>
|
|
<p>So what did we do to the display control register in <code>hello1</code>?</p>
|
|
<pre><pre class="playpen"><code class="language-rust">
|
|
# #![allow(unused_variables)]
|
|
#fn main() {
|
|
(0x04000000 as *mut u16).write_volatile(0x0403);
|
|
#}</code></pre></pre>
|
|
<p>First let's <a href="https://www.wolframalpha.com/input/?i=0x0403">convert that to
|
|
binary</a>, and we get
|
|
<code>0b100_0000_0011</code>. So, that's setting Mode 3 with background 2 enabled and
|
|
nothing else special.</p>
|
|
<p>However, I think we can do better than that. This is a prime target for more
|
|
newtyping as we attempt a <code>hello2</code> program.</p>
|
|
<a class="header" href="#video-memory-intro" id="video-memory-intro"><h1>Video Memory Intro</h1></a>
|
|
<p>The GBA's Video RAM is 96k stretching from <code>0x0600_0000</code> to <code>0x0601_7FFF</code>.</p>
|
|
<p>The Video RAM can only be accessed totally freely during a Vertical Blank
|
|
(aka "vblank"). At other times, if the CPU tries to touch the same part of video
|
|
memory as the display controller is accessing then the CPU gets bumped by a
|
|
cycle to avoid a clash.</p>
|
|
<p>Annoyingly, VRAM can only be properly written to in 16 and 32 bit segments (same
|
|
with PALRAM and OAM). If you try to write just an 8 bit segment, then both parts
|
|
of the 16 bit segment get the same value written to them. In other words, if you
|
|
write the byte <code>5</code> to <code>0x0600_0000</code>, then both <code>0x0600_0000</code> and ALSO
|
|
<code>0x0600_0001</code> will have the byte <code>5</code> in them. We have to be extra careful when
|
|
trying to set an individual byte, and we also have to be careful if we use
|
|
<code>memcopy</code> or <code>memset</code> as well, because they're byte oriented by default and
|
|
don't know to follow the special rules.</p>
|
|
<a class="header" href="#rgb15" id="rgb15"><h2>RGB15</h2></a>
|
|
<p>As I said before, RGB15 stores a color within a <code>u16</code> value using 5 bits for
|
|
each color channel.</p>
|
|
<pre><pre class="playpen"><code class="language-rust">
|
|
# #![allow(unused_variables)]
|
|
#fn main() {
|
|
pub const RED: u16 = 0b0_00000_00000_11111;
|
|
pub const GREEN: u16 = 0b0_00000_11111_00000;
|
|
pub const BLUE: u16 = 0b0_11111_00000_00000;
|
|
#}</code></pre></pre>
|
|
<p>In Mode 3 and Mode 5 we write direct color values into VRAM, and in Mode 4 we
|
|
write palette index values, and then the color values go into the PALRAM.</p>
|
|
<a class="header" href="#mode-3" id="mode-3"><h2>Mode 3</h2></a>
|
|
<p>Mode 3 is pretty easy. We have a full resolution grid of rgb15 pixels. There's
|
|
160 rows of 240 pixels each, with the base address being the top left corner. A
|
|
particular pixel uses normal "2d indexing" math:</p>
|
|
<pre><pre class="playpen"><code class="language-rust">
|
|
# #![allow(unused_variables)]
|
|
#fn main() {
|
|
let row_five_col_seven = 5 + (7 * SCREEN_WIDTH);
|
|
#}</code></pre></pre>
|
|
<p>To draw a pixel, we just write a value at the address for the row and col that
|
|
we want to draw to.</p>
|
|
<a class="header" href="#mode-4" id="mode-4"><h2>Mode 4</h2></a>
|
|
<p>Mode 4 introduces page flipping. Instead of one giant page at <code>0x0600_0000</code>,
|
|
there's Page 0 at <code>0x0600_0000</code> and then Page 1 at <code>0x0600_A000</code>. The resolution
|
|
for each page is the same as above, but instead of writing <code>u16</code> values, the
|
|
memory is treated as <code>u8</code> indexes into PALRAM. The PALRAM starts at
|
|
<code>0x0500_0000</code>, and there's enough space for 256 palette entries (each a <code>u16</code>).</p>
|
|
<p>To set the color of a palette entry we just do a normal <code>u16</code> write_volatile.</p>
|
|
<pre><pre class="playpen"><code class="language-rust">
|
|
# #![allow(unused_variables)]
|
|
#fn main() {
|
|
(0x0500_0000 as *mut u16).offset(target_index).write_volatile(new_color)
|
|
#}</code></pre></pre>
|
|
<p>To draw a pixel we set the palette entry that we want the pixel to use. However,
|
|
we must remember the "minimum size" write limitation that applies to VRAM. So,
|
|
if we want to change just a single pixel at a time we must</p>
|
|
<ol>
|
|
<li>Read the full <code>u16</code> it's a part of.</li>
|
|
<li>Clear the half of the <code>u16</code> we're going to replace</li>
|
|
<li>Write the half of the <code>u16</code> we're going to replace with the new value</li>
|
|
<li>Write that result back to the address.</li>
|
|
</ol>
|
|
<p>So, the math for finding a byte offset is the same as Mode 3 (since they're both
|
|
a 2d grid). If the byte offset is EVEN it'll be the high bits of the <code>u16</code> at
|
|
half the byte offset rounded down. If the offset is ODD it'll be the low bits of
|
|
the <code>u16</code> at half the byte.</p>
|
|
<p>Does that make sense?</p>
|
|
<ul>
|
|
<li>If we want to write pixel (0,0) the byte offset is 0, so we change the high
|
|
bits of <code>u16</code> offset 0. Then we want to write to (1,0), so the byte offset is
|
|
1, so we change the low bits of <code>u16</code> offset 0. The pixels are next to each
|
|
other, and the target bytes are next to each other, good so far.</li>
|
|
<li>If we want to write to (5,6) that'd be byte <code>5 + 6 * 240 = 1445</code>, so we'd
|
|
target the low bits of <code>u16</code> offset <code>floor(1445/2) = 722</code>.</li>
|
|
</ul>
|
|
<p>As you can see, trying to write individual pixels in Mode 4 is mostly a bad
|
|
time. Fret not! We don't <em>have</em> to write individual bytes. If our data is
|
|
arranged correctly ahead of time we can just write <code>u16</code> or <code>u32</code> values
|
|
directly. The video hardware doesn't care, it'll get along just fine.</p>
|
|
<a class="header" href="#mode-5" id="mode-5"><h2>Mode 5</h2></a>
|
|
<p>Mode 5 is also a two page mode, but instead of compressing the size of a pixel's
|
|
data to fit in two pages, we compress the resolution.</p>
|
|
<p>Mode 5 is full <code>u16</code> color, but only 160w x 128h per page.</p>
|
|
<a class="header" href="#in-conclusion-1" id="in-conclusion-1"><h2>In Conclusion...</h2></a>
|
|
<p>So what got written into VRAM in <code>hello1</code>?</p>
|
|
<pre><pre class="playpen"><code class="language-rust">
|
|
# #![allow(unused_variables)]
|
|
#fn main() {
|
|
(0x06000000 as *mut u16).offset(120 + 80 * 240).write_volatile(0x001F);
|
|
(0x06000000 as *mut u16).offset(136 + 80 * 240).write_volatile(0x03E0);
|
|
(0x06000000 as *mut u16).offset(120 + 96 * 240).write_volatile(0x7C00);
|
|
#}</code></pre></pre>
|
|
<p>So at pixels <code>(120,80)</code>, <code>(136,80)</code>, and <code>(120,96)</code> we write three values. Once
|
|
again we probably need to <a href="https://www.wolframalpha.com/">convert them</a> into
|
|
binary to make sense of it.</p>
|
|
<ul>
|
|
<li>0x001F: 0b11111</li>
|
|
<li>0x03E0: 0b11111_00000</li>
|
|
<li>0x7C00: 0b11111_00000_00000</li>
|
|
</ul>
|
|
<p>Ah, of course, a red pixel, a green pixel, and a blue pixel.</p>
|
|
<a class="header" href="#hello2" id="hello2"><h1>hello2</h1></a>
|
|
<p>Okay so let's have a look again:</p>
|
|
<p><code>hello1</code></p>
|
|
<pre><pre class="playpen"><code class="language-rust">#![feature(start)]
|
|
#![no_std]
|
|
|
|
#[cfg(not(test))]
|
|
#[panic_handler]
|
|
fn panic(_info: &core::panic::PanicInfo) -> ! {
|
|
loop {}
|
|
}
|
|
|
|
#[start]
|
|
fn main(_argc: isize, _argv: *const *const u8) -> isize {
|
|
unsafe {
|
|
(0x04000000 as *mut u16).write_volatile(0x0403);
|
|
(0x06000000 as *mut u16).offset(120 + 80 * 240).write_volatile(0x001F);
|
|
(0x06000000 as *mut u16).offset(136 + 80 * 240).write_volatile(0x03E0);
|
|
(0x06000000 as *mut u16).offset(120 + 96 * 240).write_volatile(0x7C00);
|
|
loop {}
|
|
}
|
|
}
|
|
</code></pre></pre>
|
|
<p>Now let's clean this up so that it's clearer what's going on.</p>
|
|
<p>First we'll label that display control stuff:</p>
|
|
<pre><pre class="playpen"><code class="language-rust">
|
|
# #![allow(unused_variables)]
|
|
#fn main() {
|
|
pub const DISPCNT: *mut u16 = 0x04000000 as *mut u16;
|
|
pub const MODE3: u16 = 3;
|
|
pub const BG2: u16 = 0b100_0000_0000;
|
|
#}</code></pre></pre>
|
|
<p>Next we make some const values for the actual pixel drawing</p>
|
|
<pre><pre class="playpen"><code class="language-rust">
|
|
# #![allow(unused_variables)]
|
|
#fn main() {
|
|
pub const VRAM: usize = 0x06000000;
|
|
pub const SCREEN_WIDTH: isize = 240;
|
|
#}</code></pre></pre>
|
|
<p>And then we want a small helper function for putting together a color value.</p>
|
|
<p>Happily, this one can even be declared as a const function. At the time of
|
|
writing, we've got the "minimal const fn" support in nightly. It really is quite
|
|
limited, but I'm happy to let rustc and LLVM pre-compute as much as they can
|
|
when it comes to the GBA's tiny CPU.</p>
|
|
<pre><pre class="playpen"><code class="language-rust">
|
|
# #![allow(unused_variables)]
|
|
#fn main() {
|
|
pub const fn rgb16(red: u16, green: u16, blue: u16) -> u16 {
|
|
blue << 10 | green << 5 | red
|
|
}
|
|
#}</code></pre></pre>
|
|
<p>Finally, we'll make a function for drawing a pixel in Mode 3. Even though it's
|
|
just a one-liner, having the "important parts" be labeled as function arguments
|
|
usually helps you think about it a lot better.</p>
|
|
<pre><pre class="playpen"><code class="language-rust">
|
|
# #![allow(unused_variables)]
|
|
#fn main() {
|
|
pub unsafe fn mode3_pixel(col: isize, row: isize, color: u16) {
|
|
(VRAM as *mut u16).offset(col + row * SCREEN_WIDTH).write_volatile(color);
|
|
}
|
|
#}</code></pre></pre>
|
|
<p>So now we've got this:</p>
|
|
<p><code>hello2</code></p>
|
|
<pre><pre class="playpen"><code class="language-rust">#![feature(start)]
|
|
#![no_std]
|
|
|
|
#[cfg(not(test))]
|
|
#[panic_handler]
|
|
fn panic(_info: &core::panic::PanicInfo) -> ! {
|
|
loop {}
|
|
}
|
|
|
|
#[start]
|
|
fn main(_argc: isize, _argv: *const *const u8) -> isize {
|
|
unsafe {
|
|
DISPCNT.write_volatile(MODE3 | BG2);
|
|
mode3_pixel(120, 80, rgb16(31, 0, 0));
|
|
mode3_pixel(136, 80, rgb16(0, 31, 0));
|
|
mode3_pixel(120, 96, rgb16(0, 0, 31));
|
|
loop {}
|
|
}
|
|
}
|
|
|
|
pub const DISPCNT: *mut u16 = 0x04000000 as *mut u16;
|
|
pub const MODE3: u16 = 3;
|
|
pub const BG2: u16 = 0b100_0000_0000;
|
|
|
|
pub const VRAM: usize = 0x06000000;
|
|
pub const SCREEN_WIDTH: isize = 240;
|
|
|
|
pub const fn rgb16(red: u16, green: u16, blue: u16) -> u16 {
|
|
blue << 10 | green << 5 | red
|
|
}
|
|
|
|
pub unsafe fn mode3_pixel(col: isize, row: isize, color: u16) {
|
|
(VRAM as *mut u16).offset(col + row * SCREEN_WIDTH).write_volatile(color);
|
|
}
|
|
</code></pre></pre>
|
|
<p>Exact same program that we started with, but much easier to read.</p>
|
|
<p>Of course, in the full <code>gba</code> crate that this book is a part of we have these and
|
|
other elements all labeled and sorted out for you. Still, for educational
|
|
purposes it's often best to do it yourself at least once.</p>
|
|
<a class="header" href="#ch-2-user-input" id="ch-2-user-input"><h1>Ch 2: User Input</h1></a>
|
|
<p>It's all well and good to draw three pixels, but they don't do anything yet. We
|
|
want them to to something, and for that we need to get some input from the user.</p>
|
|
<p>The GBA, as I'm sure you know, has an arrow pad, A and B, L and R, Start and
|
|
Select. That's a little more than the NES/GB/CGB had, and a little less than the
|
|
SNES had. As you can guess, we get key state info from an IO register.</p>
|
|
<p>Also, we will need a way to keep the program from running "too fast". On a
|
|
modern computer or console you do this with vsync info from the GPU and Monitor,
|
|
and on the GBA we'll be using vsync info from an IO register that tracks what
|
|
the display hardware is doing.</p>
|
|
<p>As a way to apply our knowledge We'll make a simply "light cycle" game where
|
|
your dot leaves a trail behind them and you die if you go off the screen or if
|
|
you touch your own trail. We just make a copy of <code>hello2.rs</code> named
|
|
<code>light_cycle.rs</code> and then fill it in as we go through the chapter. Normally you
|
|
might not place the entire program into a single source file, particularly as it
|
|
grows over time, but since these are small examples it's much better to have
|
|
them be completely self contained than it is to have them be "properly
|
|
organized" for the long term.</p>
|
|
<a class="header" href="#the-key-input-register" id="the-key-input-register"><h1>The Key Input Register</h1></a>
|
|
<p>The Key Input Register is our next IO register. Its shorthand name is
|
|
<a href="http://problemkaputt.de/gbatek.htm#gbakeypadinput">KEYINPUT</a> and it's a <code>u16</code>
|
|
at <code>0x4000130</code>. The entire register is obviosuly read only, you can't tell the
|
|
GBA what buttons are pressed.</p>
|
|
<p>Each button is exactly one bit:</p>
|
|
<table><thead><tr><th align="center"> Bit </th><th align="center"> Button </th></tr></thead><tbody>
|
|
<tr><td align="center"> 0 </td><td align="center"> A </td></tr>
|
|
<tr><td align="center"> 1 </td><td align="center"> B </td></tr>
|
|
<tr><td align="center"> 2 </td><td align="center"> Select </td></tr>
|
|
<tr><td align="center"> 3 </td><td align="center"> Start </td></tr>
|
|
<tr><td align="center"> 4 </td><td align="center"> Right </td></tr>
|
|
<tr><td align="center"> 5 </td><td align="center"> Left </td></tr>
|
|
<tr><td align="center"> 6 </td><td align="center"> Up </td></tr>
|
|
<tr><td align="center"> 7 </td><td align="center"> Down </td></tr>
|
|
<tr><td align="center"> 8 </td><td align="center"> R </td></tr>
|
|
<tr><td align="center"> 9 </td><td align="center"> L </td></tr>
|
|
</tbody></table>
|
|
<p>The higher bits above are not used at all.</p>
|
|
<p>Similar to other old hardware devices, the convention here is that a button's
|
|
bit is <strong>clear when pressed, active when released</strong>. In other words, when the
|
|
user is not touching the device at all the KEYINPUT value will read
|
|
<code>0b0000_0011_1111_1111</code>. There's similar values for when the user is pressing as
|
|
many buttons as possible, but since the left/right and up/down keys are on an
|
|
arrow pad the value can never be 0 since you can't ever press every single key
|
|
at once.</p>
|
|
<p>When dealing with key input, the register always shows the exact key values at
|
|
any moment you read it. Obviously that's what it should do, but what it means to
|
|
you as a programmer is that you should usually gather input once at the top of a
|
|
game frame and then use that single input poll as the input values across the
|
|
whole game frame.</p>
|
|
<p>Of course, you might want to know if a user's key state changed from frame to
|
|
frame. That's fairly easy too: We just store the last frame keys as well as the
|
|
current frame keys (it's only a <code>u16</code>) and then we can xor the two values.
|
|
Anything that shows up in the xor result is a key that changed. If it's changed
|
|
and it's now down, that means it was pushed this frame. If it's changed and it's
|
|
now up, that means it was released this frame.</p>
|
|
<p>The other major thing you might frequently want is to know "which way" the arrow
|
|
pad is pointing: Up/Down/None and Left/Right/None. Sounds like an enum to me.
|
|
Except that often time we'll have situations where the direction just needs to
|
|
be multiplied by a speed and applied as a delta to a position. We want to
|
|
support that as well as we can too.</p>
|
|
<a class="header" href="#key-input-code" id="key-input-code"><h2>Key Input Code</h2></a>
|
|
<p>Let's get down to some code. First we want to make a way to read the address as
|
|
a <code>u16</code> and then wrap that in our newtype which will implement methods for
|
|
reading and writing the key bits.</p>
|
|
<pre><pre class="playpen"><code class="language-rust">
|
|
# #![allow(unused_variables)]
|
|
#fn main() {
|
|
pub const KEYINPUT: *mut u16 = 0x400_0130 as *mut u16;
|
|
|
|
/// A newtype over the key input state of the GBA.
|
|
#[derive(Debug, Clone, Copy, Default, PartialEq, Eq)]
|
|
#[repr(transparent)]
|
|
pub struct KeyInputSetting(u16);
|
|
|
|
pub fn read_key_input() -> KeyInputSetting {
|
|
unsafe { KeyInputSetting(KEYINPUT.read_volatile()) }
|
|
}
|
|
#}</code></pre></pre>
|
|
<p>Now we want a way to check if a key is <em>being pressed</em>, since that's normally
|
|
how we think of things as a game designer and even as a player. That is, usually
|
|
you'd say "if you press A, then X happens" instead of "if you don't press A,
|
|
then X does not happen".</p>
|
|
<p>Normally we'd pick a constant for the bit we want, <code>&</code> it with our value, and
|
|
then check for <code>val != 0</code>. Since the bit we're looking for is <code>0</code> in the "true"
|
|
state we still pick the same constant and we still do the <code>&</code>, but we test with
|
|
<code>== 0</code>. Practically the same, right? Well, since I'm asking a rhetorical
|
|
question like that you can probably already guess that it's not the same. I was
|
|
shocked to learn this too.</p>
|
|
<p>All we have to do is ask our good friend
|
|
<a href="https://rust.godbolt.org/z/d-8oCe">Godbolt</a> what's gonna happen when the code
|
|
compiles. The link there has the page set for the <code>stable</code> 1.30 compiler just so
|
|
that the link results stay consistent if you read this book in a year or
|
|
something. Also, we've set the target to <code>thumbv6m-none-eabi</code>, which is a
|
|
slightly later version of ARM than the actual GBA, but it's close enough for
|
|
just checking. Of course, in a full program small functions like these will
|
|
probably get inlined into the calling code and disappear entirely as they're
|
|
folded and refolded by the compiler, but we can just check.</p>
|
|
<p>It turns out that the <code>!=0</code> test is 4 instructions and the <code>==0</code> test is 6
|
|
instructions. Since we want to get savings where we can, and we'll probably
|
|
check the keys of an input often enough, we'll just always use a <code>!=0</code> test and
|
|
then adjust how we initially read the register to compensate.</p>
|
|
<pre><pre class="playpen"><code class="language-rust">
|
|
# #![allow(unused_variables)]
|
|
#fn main() {
|
|
pub fn read_key_input() -> KeyInputSetting {
|
|
unsafe { KeyInputSetting(KEYINPUT.read_volatile() ^ 0b1111_1111_1111_1111) }
|
|
}
|
|
#}</code></pre></pre>
|
|
<p>Now we add a method for seeing if a key is pressed. In the full library there's
|
|
a more advanced version of this that's built up via macro, but for this example
|
|
we'll just name a bunch of <code>const</code> values and then have a method that takes a
|
|
value and says if that bit is on.</p>
|
|
<pre><pre class="playpen"><code class="language-rust">
|
|
# #![allow(unused_variables)]
|
|
#fn main() {
|
|
pub const KEY_A: u16 = 1 << 0;
|
|
pub const KEY_B: u16 = 1 << 1;
|
|
pub const KEY_SELECT: u16 = 1 << 2;
|
|
pub const KEY_START: u16 = 1 << 3;
|
|
pub const KEY_RIGHT: u16 = 1 << 4;
|
|
pub const KEY_LEFT: u16 = 1 << 5;
|
|
pub const KEY_UP: u16 = 1 << 6;
|
|
pub const KEY_DOWN: u16 = 1 << 7;
|
|
pub const KEY_R: u16 = 1 << 8;
|
|
pub const KEY_L: u16 = 1 << 9;
|
|
|
|
impl KeyInputSetting {
|
|
pub fn contains(&self, key: u16) -> bool {
|
|
(self.0 & key) != 0
|
|
}
|
|
}
|
|
#}</code></pre></pre>
|
|
<p>Because each key is a unique bit you can even check for more than one key at
|
|
once by just adding two key values together.</p>
|
|
<pre><pre class="playpen"><code class="language-rust">
|
|
# #![allow(unused_variables)]
|
|
#fn main() {
|
|
let input_contains_a_and_l = input.contains(KEY_A + KEY_L);
|
|
#}</code></pre></pre>
|
|
<p>And we wanted to save the state of an old frame and compare it to the current
|
|
frame to see what was different:</p>
|
|
<pre><pre class="playpen"><code class="language-rust">
|
|
# #![allow(unused_variables)]
|
|
#fn main() {
|
|
pub fn difference(&self, other: KeyInputSetting) -> KeyInputSetting {
|
|
KeyInputSetting(self.0 ^ other.0)
|
|
}
|
|
#}</code></pre></pre>
|
|
<p>Anything that's "in" the difference output is a key that <em>changed</em>, and then if
|
|
the key reads as pressed this frame that means it was just pressed. The exact
|
|
mechanics of all the ways you might care to do something based on new key
|
|
presses is obviously quite varied, but it might be something like this:</p>
|
|
<pre><pre class="playpen"><code class="language-rust">
|
|
# #![allow(unused_variables)]
|
|
#fn main() {
|
|
let this_frame_diff = this_frame_input.difference(last_frame_input);
|
|
|
|
if this_frame_diff.contains(KEY_B) && this_frame_input.contains(KEY_B) {
|
|
// the user just pressed B, react in some way
|
|
}
|
|
#}</code></pre></pre>
|
|
<p>And for the arrow pad, we'll make an enum that easily casts into <code>i32</code>. Whenever
|
|
we're working with stuff we can try to use <code>i32</code> / <code>isize</code> as often as possible
|
|
just because it's easier on the GBA's CPU if we stick to its native number size.
|
|
Having it be an enum lets us use <code>match</code> and be sure that we've covered all our
|
|
cases.</p>
|
|
<pre><pre class="playpen"><code class="language-rust">
|
|
# #![allow(unused_variables)]
|
|
#fn main() {
|
|
/// A "tribool" value helps us interpret the arrow pad.
|
|
#[derive(Debug, Clone, Copy, Default, PartialEq, Eq)]
|
|
#[repr(i32)]
|
|
pub enum TriBool {
|
|
Minus = -1,
|
|
Neutral = 0,
|
|
Plus = +1,
|
|
}
|
|
#}</code></pre></pre>
|
|
<p>Now, how do we determine <em>which way</em> is plus or minus? Well... I don't know.
|
|
Really. I'm not sure what the best one is because the GBA really wants the
|
|
origin at 0,0 with higher rows going down and higher cols going right. On the
|
|
other hand, all the normal math you and I learned in school is oriented with
|
|
increasing Y being upward on the page. So, at least for this demo, we're going
|
|
to go with what the GBA wants us to do and give it a try. If we don't end up
|
|
confusing ourselves then we can stick with that. Maybe we can cover it over
|
|
somehow later on.</p>
|
|
<pre><pre class="playpen"><code class="language-rust">
|
|
# #![allow(unused_variables)]
|
|
#fn main() {
|
|
pub fn column_direction(&self) -> TriBool {
|
|
if self.contains(KEY_RIGHT) {
|
|
TriBool::Plus
|
|
} else if self.contains(KEY_LEFT) {
|
|
TriBool::Minus
|
|
} else {
|
|
TriBool::Neutral
|
|
}
|
|
}
|
|
|
|
pub fn row_direction(&self) -> TriBool {
|
|
if self.contains(KEY_DOWN) {
|
|
TriBool::Plus
|
|
} else if self.contains(KEY_UP) {
|
|
TriBool::Minus
|
|
} else {
|
|
TriBool::Neutral
|
|
}
|
|
}
|
|
#}</code></pre></pre>
|
|
<p>So then in our game, every frame we can check for <code>column_direction</code> and
|
|
<code>row_direction</code> and then apply those to the player's current position to make
|
|
them move around the screen.</p>
|
|
<p>With that settled I think we're all done with user input for now. There's some
|
|
other things to eventually know about like key interrupts that you can set and
|
|
stuff, but we'll cover that later on because it's not necessary right now.</p>
|
|
<a class="header" href="#the-vcount-register" id="the-vcount-register"><h1>The VCount Register</h1></a>
|
|
<p>There's an IO register called
|
|
<a href="http://problemkaputt.de/gbatek.htm#lcdiointerruptsandstatus">VCOUNT</a> that shows
|
|
you, what else, the Vertical (row) COUNT(er). It's a <code>u16</code> at address
|
|
<code>0x0400_0006</code>, and it's how we'll be doing our very poor quality vertical sync
|
|
code to start.</p>
|
|
<ul>
|
|
<li><strong>What makes it poor?</strong> Well, we're just going to read from the vcount value as
|
|
often as possible every time we need to wait for a specific value to come up,
|
|
and then proceed once it hits the point we're looking for.</li>
|
|
<li><strong>Why is this bad?</strong> Because we're making the CPU do a lot of useless work,
|
|
which uses a lot more power that necessary. Even if you're not on an actual
|
|
GBA you might be running inside an emulator on a phone or other handheld. You
|
|
wanna try to save battery if all you're doing with that power use is waiting
|
|
instead of making a game actually do something.</li>
|
|
<li><strong>Can we do better?</strong> We can, but not yet. The better way to do things is to
|
|
use a BIOS call to put the CPU into low power mode until a VBlank interrupt
|
|
happens. However, we don't know about interrupts yet, and we don't know about
|
|
BIOS calls yet, so we'll do the basic thing for now and then upgrade later.</li>
|
|
</ul>
|
|
<p>So the way that display hardware actually displays each frame is that it moves a
|
|
tiny pointer left to right across each pixel row one pixel at a time. When it's
|
|
within the actual screen width (240px) it's drawing out those pixels. Then it
|
|
goes <em>past</em> the edge of the screen for 68px during a period known as the
|
|
"horizontal blank" (hblank). Then it starts on the next row and does that loop
|
|
over again. This happens for the whole screen height (160px) and then once again
|
|
it goes past the last row for another 68px into a "vertical blank" (vblank)
|
|
period.</p>
|
|
<ul>
|
|
<li>One pixel is 4 CPU cycles</li>
|
|
<li>HDraw is 240 pixels, HBlank is 68 pixels (1,232 cycles per full scanline)</li>
|
|
<li>VDraw is 150 scanlines, VBlank is 68 scanlines (280,896 cycles per full refresh)</li>
|
|
</ul>
|
|
<p>Now you may remember some stuff from the display control register section where
|
|
it was mentioned that some parts of memory are best accessed during vblank, and
|
|
also during hblank with a setting applied. These blanking periods are what was
|
|
being talked about. At other times if you attempt to access video or object
|
|
memory you (the CPU) might try touching the same memory that the display device
|
|
is trying to use, in which case you get bumped back a cycle so that the display
|
|
can finish what it's doing. Also, if you really insist on doing video memory
|
|
changes while the screen is being drawn then you might get some visual glitches.
|
|
If you can, just prepare all your changes ahead of time and then assign then all
|
|
quickly during the blank period.</p>
|
|
<p>So first we want a way to check the vcount value at all:</p>
|
|
<pre><pre class="playpen"><code class="language-rust">
|
|
# #![allow(unused_variables)]
|
|
#fn main() {
|
|
pub const VCOUNT: *mut u16 = 0x0400_0006 as *mut u16;
|
|
|
|
pub fn read_vcount() -> u16 {
|
|
unsafe { VCOUNT.read_volatile() }
|
|
}
|
|
#}</code></pre></pre>
|
|
<p>Then we want two little helper functions to wait until vblank and vdraw.</p>
|
|
<pre><pre class="playpen"><code class="language-rust">
|
|
# #![allow(unused_variables)]
|
|
#fn main() {
|
|
pub const SCREEN_HEIGHT: isize = 160;
|
|
|
|
pub fn wait_until_vblank() {
|
|
while read_vcount() < SCREEN_HEIGHT as u16 {}
|
|
}
|
|
|
|
pub fn wait_until_vdraw() {
|
|
while read_vcount() >= SCREEN_HEIGHT as u16 {}
|
|
}
|
|
#}</code></pre></pre>
|
|
<p>And... that's it. No special types to be made this time around, it's just a
|
|
number we read out of memory.</p>
|
|
<a class="header" href="#light_cycle" id="light_cycle"><h1>light_cycle</h1></a>
|
|
<p>Now let's make a game of "light_cycle" with our new knowledge.</p>
|
|
<a class="header" href="#gameplay" id="gameplay"><h2>Gameplay</h2></a>
|
|
<p><code>light_cycle</code> is pretty simple, and very obvious if you've ever seen Tron. The
|
|
player moves around the screen with a trail left behind them. They die if they
|
|
go off the screen or if they touch their own trail.</p>
|
|
<a class="header" href="#operations" id="operations"><h2>Operations</h2></a>
|
|
<p>We need some better drawing operations this time around.</p>
|
|
<pre><pre class="playpen"><code class="language-rust">
|
|
# #![allow(unused_variables)]
|
|
#fn main() {
|
|
pub unsafe fn mode3_clear_screen(color: u16) {
|
|
let color = color as u32;
|
|
let bulk_color = color << 16 | color;
|
|
let mut ptr = VRAM as *mut u32;
|
|
for _ in 0..SCREEN_HEIGHT {
|
|
for _ in 0..(SCREEN_WIDTH / 2) {
|
|
ptr.write_volatile(bulk_color);
|
|
ptr = ptr.offset(1);
|
|
}
|
|
}
|
|
}
|
|
|
|
pub unsafe fn mode3_draw_pixel(col: isize, row: isize, color: u16) {
|
|
(VRAM as *mut u16).offset(col + row * SCREEN_WIDTH).write_volatile(color);
|
|
}
|
|
|
|
pub unsafe fn mode3_read_pixel(col: isize, row: isize) -> u16 {
|
|
(VRAM as *mut u16).offset(col + row * SCREEN_WIDTH).read_volatile()
|
|
}
|
|
#}</code></pre></pre>
|
|
<p>The draw pixel and read pixel are both pretty obvious. What's new is the clear
|
|
screen operation. It changes the <code>u16</code> color into a <code>u32</code> and then packs the
|
|
value in twice. Then we write out <code>u32</code> values the whole way through screen
|
|
memory. This means we have to do less write operations overall, and so the
|
|
screen clear is twice as fast.</p>
|
|
<p>Now we just have to fill in the main function:</p>
|
|
<pre><pre class="playpen"><code class="language-rust">#[start]
|
|
fn main(_argc: isize, _argv: *const *const u8) -> isize {
|
|
unsafe {
|
|
DISPCNT.write_volatile(MODE3 | BG2);
|
|
}
|
|
|
|
let mut px = SCREEN_WIDTH / 2;
|
|
let mut py = SCREEN_HEIGHT / 2;
|
|
let mut color = rgb16(31, 0, 0);
|
|
|
|
loop {
|
|
// read the input for this frame
|
|
let this_frame_keys = read_key_input();
|
|
|
|
// adjust game state and wait for vblank
|
|
px += 2 * this_frame_keys.column_direction() as isize;
|
|
py += 2 * this_frame_keys.row_direction() as isize;
|
|
wait_until_vblank();
|
|
|
|
// draw the new game and wait until the next frame starts.
|
|
unsafe {
|
|
if px < 0 || py < 0 || px == SCREEN_WIDTH || py == SCREEN_HEIGHT {
|
|
// out of bounds, reset the screen and position.
|
|
mode3_clear_screen(0);
|
|
color = color.rotate_left(5);
|
|
px = SCREEN_WIDTH / 2;
|
|
py = SCREEN_HEIGHT / 2;
|
|
} else {
|
|
let color_here = mode3_read_pixel(px, py);
|
|
if color_here != 0 {
|
|
// crashed into our own line, reset the screen
|
|
mode3_clear_screen(0);
|
|
color = color.rotate_left(5);
|
|
} else {
|
|
// draw the new part of the line
|
|
mode3_draw_pixel(px, py, color);
|
|
mode3_draw_pixel(px, py + 1, color);
|
|
mode3_draw_pixel(px + 1, py, color);
|
|
mode3_draw_pixel(px + 1, py + 1, color);
|
|
}
|
|
}
|
|
}
|
|
wait_until_vdraw();
|
|
}
|
|
}
|
|
</code></pre></pre>
|
|
<p>Oh that's a lot more than before!</p>
|
|
<p>First we set Mode 3 and Background 2, we know about that.</p>
|
|
<p>Then we're going to store the player's x and y, along with a color value for
|
|
their light cycle. Then we enter the core loop.</p>
|
|
<p>We read the keys for input, and then do as much as we can without touching video
|
|
memory. Since we're using video memory as the place to store the player's light
|
|
trail, we can't do much, we just update their position and wait for vblank to
|
|
start. The player will be a 2x2 square, so the arrows will move you 2 pixels per
|
|
frame.</p>
|
|
<p>Once we're in vblank we check to see what kind of drawing we're doing. If the
|
|
player has gone out of bounds, we clear the screen, rotate their color, and then
|
|
reset their position. Why rotate the color? Just because it's fun to have
|
|
different colors.</p>
|
|
<p>Next, if the player is in bounds we read the video memory for their position. If
|
|
it's not black that means we've been here before and the player has crashed into
|
|
their own line. In this case, we reset the game without moving them to a new
|
|
location.</p>
|
|
<p>Finally, if the player is in bounds and they haven't crashed, we write their color into memory at this position.</p>
|
|
<p>Regardless of how it worked out, we hold here until vdraw starts before going to
|
|
the next loop.</p>
|
|
|
|
</main>
|
|
|
|
<nav class="nav-wrapper" aria-label="Page navigation">
|
|
<!-- Mobile navigation buttons -->
|
|
|
|
|
|
|
|
|
|
<div style="clear: both"></div>
|
|
</nav>
|
|
</div>
|
|
</div>
|
|
|
|
<nav class="nav-wide-wrapper" aria-label="Page navigation">
|
|
|
|
|
|
|
|
</nav>
|
|
|
|
</div>
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
<script src="elasticlunr.min.js" type="text/javascript" charset="utf-8"></script>
|
|
<script src="mark.min.js" type="text/javascript" charset="utf-8"></script>
|
|
<script src="searcher.js" type="text/javascript" charset="utf-8"></script>
|
|
|
|
|
|
<script src="clipboard.min.js" type="text/javascript" charset="utf-8"></script>
|
|
<script src="highlight.js" type="text/javascript" charset="utf-8"></script>
|
|
<script src="book.js" type="text/javascript" charset="utf-8"></script>
|
|
|
|
<!-- Custom JS scripts -->
|
|
|
|
|
|
|
|
|
|
<script type="text/javascript">
|
|
window.addEventListener('load', function() {
|
|
window.setTimeout(window.print, 100);
|
|
});
|
|
</script>
|
|
|
|
|
|
|
|
</body>
|
|
</html>
|