Machine Dependence of Liveness Analysis

Hi Y’all,

Could someone explain to me why liveness-analysis is target dependent? In particular, what is an example of a set of llvm instructions, that would have different liveness properties (in llvm terms), depending on the target architecture?

This is inspired by the following post: