testing is needed for the shift-and-add instructions
1. Reverted these two commits which restore switch statement. https://git.libre-soc.org/?p=openpower-isa.git;a=commitdiff;h=24c996e6b104ae2229ff9acf82e83860ecb26e84 https://git.libre-soc.org/?p=openpower-isa.git;a=commitdiff;h=e2c3ba9ca73f0775ba75e8447789b92ed01112b8 2. Adjusted the pseudocode so that it avoids the overflow (sm is 2-bit, adding 1 to sm=0x3 wil yield sm=0x0). https://git.libre-soc.org/?p=openpower-isa.git;a=commitdiff;h=50eb051ab3b916aab443ea3484a02b00e5a143d0 3. Supported the concatenation for variables deep inside selectable integers (logically this should've been the first). https://git.libre-soc.org/?p=openpower-isa.git;a=commitdiff;h=0389a26f6d725335ee1e3d920dc9e87861bff1d6 4. Provided the tests for shadd/shadduw. https://git.libre-soc.org/?p=openpower-isa.git;a=commitdiff;h=30e18452e6988016e823cd9b9b6fc4b2d4fa1b57
I consider this done, unless there is shaddsw needed too.