When computing demanded bits for Instruction::Trunc's operands, for
some cases, such as shift, remainder and selection, we cannot blindly
say these operands have the same live bits as the trunc instruction itself.
To be conservative, we can add a whitelist of instructions that are
always truncation friendly.