diff --git a/llvm/test/Transforms/InstCombine/2008-05-09-SinkOfInvoke.ll b/llvm/test/Transforms/InstCombine/2008-05-09-SinkOfInvoke.ll new file mode 100644 index 000000000000..4dd29a79cd7d --- /dev/null +++ b/llvm/test/Transforms/InstCombine/2008-05-09-SinkOfInvoke.ll @@ -0,0 +1,33 @@ +; RUN: llvm-as < %s | opt -instcombine -disable-output +; PR2303 + %"struct.std::ctype" = type { %"struct.std::locale::facet", i32*, i8, i32*, i32*, i16*, i8, [256 x i8], [256 x i8], i8 } + %"struct.std::locale::facet" = type { i32 (...)**, i32 } + +declare i32* @_ZNSt6locale5facet15_S_get_c_localeEv() + +declare i32** @__ctype_toupper_loc() readnone + +declare i32** @__ctype_tolower_loc() readnone + +define void @_ZNSt5ctypeIcEC2EPiPKtbm(%"struct.std::ctype"* %this, i32* %unnamed_arg, i16* %__table, i8 zeroext %__del, i64 %__refs) { +entry: + %tmp8 = invoke i32* @_ZNSt6locale5facet15_S_get_c_localeEv( ) + to label %invcont unwind label %lpad ; [#uses=0] + +invcont: ; preds = %entry + %tmp32 = invoke i32** @__ctype_toupper_loc( ) readnone + to label %invcont31 unwind label %lpad ; [#uses=0] + +invcont31: ; preds = %invcont + %tmp38 = invoke i32** @__ctype_tolower_loc( ) readnone + to label %invcont37 unwind label %lpad ; [#uses=1] + +invcont37: ; preds = %invcont31 + %tmp39 = load i32** %tmp38, align 8 ; [#uses=1] + %tmp41 = getelementptr %"struct.std::ctype"* %this, i32 0, i32 4 ; [#uses=1] + store i32* %tmp39, i32** %tmp41, align 8 + ret void + +lpad: ; preds = %invcont31, %invcont, %entry + unreachable +}