Testcase for PR2303.
authorDuncan Sands <baldrick@free.fr>
Sat, 10 May 2008 16:43:10 +0000 (16:43 +0000)
committerDuncan Sands <baldrick@free.fr>
Sat, 10 May 2008 16:43:10 +0000 (16:43 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@50951 91177308-0d34-0410-b5e6-96231b3b80d8

test/Transforms/InstCombine/2008-05-09-SinkOfInvoke.ll [new file with mode: 0644]

diff --git a/test/Transforms/InstCombine/2008-05-09-SinkOfInvoke.ll b/test/Transforms/InstCombine/2008-05-09-SinkOfInvoke.ll
new file mode 100644 (file)
index 0000000..4dd29a7
--- /dev/null
@@ -0,0 +1,33 @@
+; RUN: llvm-as < %s | opt -instcombine -disable-output
+; PR2303
+       %"struct.std::ctype<char>" = 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<char>"* %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            ; <i32*> [#uses=0]
+
+invcont:               ; preds = %entry
+       %tmp32 = invoke i32** @__ctype_toupper_loc( ) readnone 
+                       to label %invcont31 unwind label %lpad          ; <i32**> [#uses=0]
+
+invcont31:             ; preds = %invcont
+       %tmp38 = invoke i32** @__ctype_tolower_loc( ) readnone 
+                       to label %invcont37 unwind label %lpad          ; <i32**> [#uses=1]
+
+invcont37:             ; preds = %invcont31
+       %tmp39 = load i32** %tmp38, align 8             ; <i32*> [#uses=1]
+       %tmp41 = getelementptr %"struct.std::ctype<char>"* %this, i32 0, i32 4          ; <i32**> [#uses=1]
+       store i32* %tmp39, i32** %tmp41, align 8
+       ret void
+
+lpad:          ; preds = %invcont31, %invcont, %entry
+       unreachable
+}