I've started reading Construction of Thinned Gated Single-Assignment Form by Paul Havlak, because I hear this SSA form is way underrated.
It uses a crazy archaic 3-way IF from Fortran as a motivating example:
IF (I) 10, 20, 30
This goes to 10/20/30 based on i being +ve/-ve/0!