<html>

  <head>

    <meta http-equiv="content-type" content="text/html; charset=ISO-8859-1">

  </head>

  <body text="#000000" bgcolor="#FFFFFF">

    <font face="monospace">Hello. <br>

      <br>

      This tightens up the encoding description for ARM post-indexed ldr

      instructions. All instructions in this class have bit 4 cleared.

      It turns out that there is a test case for this, but it was marked

      XFAIL.<br>

      <br>

      Regards,<br>

      Mihai<br>

    </font>

  </body>

</html>