diff options
Diffstat (limited to 'test/Verifier')
| -rw-r--r-- | test/Verifier/2002-04-13-RetTypes.ll | 2 | ||||
| -rw-r--r-- | test/Verifier/2002-11-05-GetelementptrPointers.ll | 2 | ||||
| -rw-r--r-- | test/Verifier/2003-11-21-FunctionReturningStructure.ll | 2 | ||||
| -rw-r--r-- | test/Verifier/2004-05-21-SwitchConstantMismatch.ll | 2 | ||||
| -rw-r--r-- | test/Verifier/AmbiguousPhi.ll | 2 | ||||
| -rw-r--r-- | test/Verifier/PhiGrouping.ll | 2 | ||||
| -rw-r--r-- | test/Verifier/SelfReferential.ll | 2 |
7 files changed, 14 insertions, 0 deletions
diff --git a/test/Verifier/2002-04-13-RetTypes.ll b/test/Verifier/2002-04-13-RetTypes.ll index fe8d624123..1ebed17a02 100644 --- a/test/Verifier/2002-04-13-RetTypes.ll +++ b/test/Verifier/2002-04-13-RetTypes.ll @@ -1,3 +1,5 @@ +; RUN: not llvm-as -f %s -o /dev/null + ; Verify the the operand type of the ret instructions in a function match the ; delcared return type of the function they live in. ; diff --git a/test/Verifier/2002-11-05-GetelementptrPointers.ll b/test/Verifier/2002-11-05-GetelementptrPointers.ll index 067623c5ba..db3f766a73 100644 --- a/test/Verifier/2002-11-05-GetelementptrPointers.ll +++ b/test/Verifier/2002-11-05-GetelementptrPointers.ll @@ -1,3 +1,5 @@ +; RUN: not llvm-as -f %s -o /dev/null + ; This testcase is invalid because we are indexing into a pointer that is ; contained WITHIN a structure. diff --git a/test/Verifier/2003-11-21-FunctionReturningStructure.ll b/test/Verifier/2003-11-21-FunctionReturningStructure.ll index dc7d39e5c4..e1d3ba82f7 100644 --- a/test/Verifier/2003-11-21-FunctionReturningStructure.ll +++ b/test/Verifier/2003-11-21-FunctionReturningStructure.ll @@ -1,3 +1,5 @@ +; RUN: not llvm-as -f %s -o /dev/null + %T = type { int } diff --git a/test/Verifier/2004-05-21-SwitchConstantMismatch.ll b/test/Verifier/2004-05-21-SwitchConstantMismatch.ll index b5fa4895bb..e965c6dac9 100644 --- a/test/Verifier/2004-05-21-SwitchConstantMismatch.ll +++ b/test/Verifier/2004-05-21-SwitchConstantMismatch.ll @@ -1,3 +1,5 @@ +; RUN: not llvm-as -f %s -o /dev/null + int %main() { diff --git a/test/Verifier/AmbiguousPhi.ll b/test/Verifier/AmbiguousPhi.ll index 7da71b0516..f64ec3fd77 100644 --- a/test/Verifier/AmbiguousPhi.ll +++ b/test/Verifier/AmbiguousPhi.ll @@ -1,3 +1,5 @@ +; RUN: not llvm-as -f %s -o /dev/null + int "test"(int %i, int %j, bool %c) { diff --git a/test/Verifier/PhiGrouping.ll b/test/Verifier/PhiGrouping.ll index 71fbb1c4e5..aa1203b73a 100644 --- a/test/Verifier/PhiGrouping.ll +++ b/test/Verifier/PhiGrouping.ll @@ -1,3 +1,5 @@ +; RUN: not llvm-as -f %s -o /dev/null + int "test"(int %i, int %j, bool %c) { diff --git a/test/Verifier/SelfReferential.ll b/test/Verifier/SelfReferential.ll index 54fb018f2d..1f7b837b32 100644 --- a/test/Verifier/SelfReferential.ll +++ b/test/Verifier/SelfReferential.ll @@ -1,3 +1,5 @@ +; RUN: not llvm-as -f %s -o /dev/null + ; Test that self referential instructions are not allowed implementation |