TODO: detect potential UBs #64
Description
From my observation, a lot of << operations are performed on (possibly) negative integers which is undefined behavior in C (apparently this also includes s8 and s16 because of integer promotion).
This kind of UB should be eliminated as long as multiplication also matches the vanilla assembly code.