diff options
| author | Chris Lattner <sabre@nondot.org> | 2002-05-24 21:27:41 +0000 |
|---|---|---|
| committer | Chris Lattner <sabre@nondot.org> | 2002-05-24 21:27:41 +0000 |
| commit | b9e7186ade7f735c07de57041659b1b40af30b15 (patch) | |
| tree | 281ce7affc8ff80cac93a6bcd3aab6f82a4d3f4f /llvm/test/Regression/Transforms | |
| parent | a17c1f173539ad84701a5fc903aba2ee49f3ad59 (diff) | |
| download | bcm5719-llvm-b9e7186ade7f735c07de57041659b1b40af30b15.tar.gz bcm5719-llvm-b9e7186ade7f735c07de57041659b1b40af30b15.zip | |
Testcases to show what -funcresolve does.
llvm-svn: 2744
Diffstat (limited to 'llvm/test/Regression/Transforms')
4 files changed, 70 insertions, 0 deletions
diff --git a/llvm/test/Regression/Transforms/FunctionResolve/Makefile b/llvm/test/Regression/Transforms/FunctionResolve/Makefile new file mode 100644 index 00000000000..91acd4d481b --- /dev/null +++ b/llvm/test/Regression/Transforms/FunctionResolve/Makefile @@ -0,0 +1,10 @@ + +LEVEL = ../../../.. +include $(LEVEL)/test/Makefile.tests + +TESTS := $(wildcard *.ll) + +all:: $(addprefix Output/, $(TESTS:%.ll=%.ll.out)) + +Output/%.ll.out: %.ll Output/.dir $(LOPT) + -$(TESTRUNR) $< diff --git a/llvm/test/Regression/Transforms/FunctionResolve/basictest.ll b/llvm/test/Regression/Transforms/FunctionResolve/basictest.ll new file mode 100644 index 00000000000..c21142d4530 --- /dev/null +++ b/llvm/test/Regression/Transforms/FunctionResolve/basictest.ll @@ -0,0 +1,15 @@ +; RUN: if as < %s | opt -funcresolve | dis | grep '\.\.\.' | grep call +; RUN: then exit 1 +; RUN: else exit 0 +; RUN: fi + +declare int %foo(...) + +int %foo(int %x, float %y) { + ret int %x +} + +int %bar() { + %x = call int(...)* %foo(double 12.5, int 48) + ret int %x +} diff --git a/llvm/test/Regression/Transforms/FunctionResolve/retmismatch1.ll b/llvm/test/Regression/Transforms/FunctionResolve/retmismatch1.ll new file mode 100644 index 00000000000..7cd055dc649 --- /dev/null +++ b/llvm/test/Regression/Transforms/FunctionResolve/retmismatch1.ll @@ -0,0 +1,22 @@ +; This shows where the function is called with the prototype indicating a +; return type exists, but it really doesn't. +; RUN: if as < %s | opt -funcresolve +; RUN: then echo "opt ok" +; RUN: else exit 1 # Make sure opt doesn't abort! +; RUN: fi +; +; RUN: if as < %s | opt -funcresolve | dis | grep '\.\.\.' | grep call +; RUN: then exit 1 +; RUN: else exit 0 +; RUN: fi + +declare int %foo(...) + +void %foo(int %x, float %y) { + ret void +} + +int %bar() { + %x = call int(...)* %foo(double 12.5, int 48) + ret int %x +} diff --git a/llvm/test/Regression/Transforms/FunctionResolve/retmismatch2.ll b/llvm/test/Regression/Transforms/FunctionResolve/retmismatch2.ll new file mode 100644 index 00000000000..606f92f7dd4 --- /dev/null +++ b/llvm/test/Regression/Transforms/FunctionResolve/retmismatch2.ll @@ -0,0 +1,23 @@ +; This shows where the function is called with the prototype indicating a +; return type doesn't exists, but it really does. +; +; RUN: if as < %s | opt -funcresolve +; RUN: then echo "opt ok" +; RUN: else exit 1 # Make sure opt doesn't abort! +; RUN: fi +; +; RUN: if as < %s | opt -funcresolve | dis | grep '\.\.\.' | grep call +; RUN: then exit 1 +; RUN: else exit 0 +; RUN: fi + +declare void %foo(...) + +int %foo(int %x, float %y) { + ret int %x +} + +int %bar() { + call void (...)* %foo(double 12.5, int 48) + ret int 6 +} |
