TriCore disassembly seams to be wrong

[gmgunderground]

Can someone explane the disassembly ? I think it's completely wrong or completely foolish .

The following code

iVar1 = ((int)(char)(BYTE_60005196 & 0x3f) << 0x1a) >> 0x1a;
return (0x1 << iVar1) * (uint)(-0x1 < iVar1) + (0x1U >> -iVar1) * (uint)(-0x1 >= iVar1);

should be

iVar1  =  (* (byte *)BYTE_60005196) << 1;
return ivar1;

[GhidorahRex]

the SH D[c], D[a], D[b] instruction takes D[a] and shifts it by D[b] where the shift is a signed number which can be positive or negative. So it should be d2 = d15 << d2 or iVar1 = 1 << (* (byte *) BYTE_6005196) without knowing whether the shift is positive or negative, we can't be sure about whether the shift is left or right.

The iVar1 = ((int)(char)(BYTE_60005196 & 0x3f) << 0x1a) >> 0x1a; is messy. The pcode for the shift instruction is using a pair of shifts to mask off the upper bits of the shift amount.