From 4e95b36b6de034425570f0fc583ddd004699df3c Mon Sep 17 00:00:00 2001 From: David Bolvansky Date: Sun, 9 Jun 2019 14:56:46 +0000 Subject: [PATCH] [NFC] Added test from PR42084 for D63058 llvm-svn: 362906 --- .../Inline/inline_negative_result.ll | 66 +++++++++++++++++++ 1 file changed, 66 insertions(+) create mode 100644 llvm/test/Transforms/Inline/inline_negative_result.ll diff --git a/llvm/test/Transforms/Inline/inline_negative_result.ll b/llvm/test/Transforms/Inline/inline_negative_result.ll new file mode 100644 index 000000000000..8dd185ca6d35 --- /dev/null +++ b/llvm/test/Transforms/Inline/inline_negative_result.ll @@ -0,0 +1,66 @@ +; NOTE: Assertions have been autogenerated by utils/update_test_checks.py +; RUN: opt < %s -inline -S | FileCheck %s + +; PR42084 + +define internal fastcc void @func4() { +; CHECK-LABEL: @func4( +; CHECK-NEXT: entry: +; CHECK-NEXT: br label [[FOR_COND:%.*]] +; CHECK: for.cond: +; CHECK-NEXT: tail call void (...) @g() +; CHECK-NEXT: br label [[FOR_COND]] +; +entry: + br label %for.cond + +for.cond: + tail call void (...) @g() + br label %for.cond +} + +define internal fastcc void @func3() { +; CHECK-LABEL: @func3( +; CHECK-NEXT: entry: +; CHECK-NEXT: tail call fastcc void @func4() +; CHECK-NEXT: unreachable +; +entry: + tail call fastcc void @func4() + unreachable +} + +define internal fastcc void @func2() { +; CHECK-LABEL: @func2( +; CHECK-NEXT: entry: +; CHECK-NEXT: tail call fastcc void @func3() +; CHECK-NEXT: unreachable +; +entry: + tail call fastcc void @func3() + unreachable +} + +define internal fastcc void @func1() { +; CHECK-LABEL: @func1( +; CHECK-NEXT: entry: +; CHECK-NEXT: tail call fastcc void @func2() +; CHECK-NEXT: unreachable +; +entry: + tail call fastcc void @func2() + unreachable +} + +define i32 @main() { +; CHECK-LABEL: @main( +; CHECK-NEXT: entry: +; CHECK-NEXT: tail call fastcc void @func1() +; CHECK-NEXT: unreachable +; +entry: + tail call fastcc void @func1() + unreachable +} + +declare void @g(...)