The summary says it all
This is tested by this testcase: test/Regression/Transforms/LoopSimplify/single-backedge.ll
This has now been implemented. http://mail.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20031006/007988.html