AST:ARM: add lifting support for LDMIB

[sipma]

test case: malloc_overflow_work_O2_lifting_bug_report_04_19

[sipma]

Support for LDMIB was added in commit 47f987f.

The lifting for test case malloc_overflow_work_O2_lifting_bug_report_04_19 is now:

int malloc_overflow_work(char * user_index) {
  struct malloc_overflow_buf * buf;
  struct malloc_overflow_entry * entry;
  int idx;
  struct malloc_overflow_entry * rtn_malloc_overflow_inner__0;
  int ssa_R3_2;
  int ssa_R2_1;

  buf = malloc(12); // 0x10c8c, BL
  if ((buf == 0)) {
    return 1;
  } else {
    entry = calloc(20, 12); // 0x10ca0, BL
    buf->entries = entry; // 0x10ca8, STR
    if ((entry == 0)) {
      free(buf); // 0x10d0c, BL
      return 1;
    } else {
      buf->size = 20; // 0x10cb8, STR
      idx = atoi(user_index); // 0x10cbc, BL
      rtn_malloc_overflow_inner__0 = malloc_overflow_inner(buf, idx, 10, 15); // 0x10cd4, BL
      ssa_R2_1 = rtn_malloc_overflow_inner__0->val1; // 0x10cdc, LDMIB
      ssa_R3_2 = rtn_malloc_overflow_inner__0->val2; // 0x10cdc, LDMIB
      printf("new entry %d: %d %d", idx, ssa_R2_1, ssa_R3_2); // 0x10ce4, BL
      free(entry); // 0x10cec, BL
      free(buf); // 0x10cf4, BL
      return 0;
    } // if 
  } // if 
}

It required removing the register-variable introduction for entries from the userdata:

-          {
-            "iaddr": "0x10cdc",
-            "mods": [
-              "ptrto"
-            ],
-            "name": "entries",
-            "register": "",
-            "typename": "malloc_overflow_ENTRY"
           }

because of current lack of support in the register-variable introductions for the assignment of multiple registers by a single instruction.

[sipma]

A new issue was filed to address the lack of support for multiple-register variable introductions: #220.