`thumb2` consistent `it` conditional lifting

[w1282]

What is the feature you'd like to have?
It would be nice if the lifting strategy for the thumb2 it instruction could be changed in a way that causes the higher-level ILs to reduce the conditional into a more readable if/else format.

For example, right now

cmp r0, #1
it ne
movs r0, #3
bne #_exit_label
// code being protected from cases where `r0 != 1`

is lifted to HLIL as...

bool cond:0_1 = r0 != 1
if (r0 != 1)
    r0 = 3
if (not(cond:0_1))
    // code being protected from cases where `r0 != 1`
return

instead of the more readable

if (r0 != 1)
    result = 3
else
    // useful code being protected from cases where `r0 != 1`
return

Is your feature request related to a problem?
Readability

[w1282]

Similar issues appear for other (maybe all?) conditions. Below is an example of it hi

adds r3, #3
it hi
  movs r5, #2
  add r6, pc
  add r7, sp, #8 {var_28}
bhi #_exit_label

which lifts to

bool z = r3 == -2
bool c = r3 -1 u>= -3

if (not(z) && not(c))
    r5 = 2
if (z || c)
    // do things
    r5 = 0
return r5

[w1282]

Adding notes for a tangential potential feature upgrade:

In cases where an it instruction is immediately followed by a beq or bne instruction the IL will emit back-to-back conditional scopes that could be coalesced.

For example

 cmp     r3, #0x81
  it     ne
movs     r0, #0
 beq     #target_label
 add     r7, r7, #0x174
 mov     sp, r7
 pop     {r4, r5, r6, ...}

Is lifted into two if-statements, one for the initial cmp / it and then the second for cmp / beq

HLIL

if (my_var != 0x81)
    result = 0

if (my_var != 0x81)
    return result