補足説明

今回の帰結節は「仮定法過去完了」になっておりますので、その条件節である前の部分は必ず「過去完了形」になっていなければならないのです。
従って①以外は全て「文法的に」「英文として成り立たない」のです。
②の分詞構文に関して「仮定法過去完了の条件節としてのifを省く分詞構文」は、実際にはほとんど使われることはありません。
仮に今回の場合、理屈として②は Having left となるでしょう。