Class Test

r0 := <receiver object>
r1 := load(r0 + <offset-of-class-in-object>)
if (r1 == <address-of-expected-class>) {
  <method inlining>}
else {
  r2 := load(r1 + <offset-of-method-in-class>);
  call r2
}