[llvm-commits] [poolalloc] r137594 - in /poolalloc/trunk/test/type_checks/regression: ./ dg.exp nomain.ll

[Will Dietz]

Author: wdietz2
Date: Sun Aug 14 19:18:41 2011
New Revision: 137594

URL: http://llvm.org/viewvc/llvm-project?rev=137594&view=rev
Log:
Add type_checks regression test folder, and first candidate: nomain

nomain verifies that type_checks rejects programs without a main.
  Mostly I want this functionality fixed one way or the other, so asserting
  it with a test here.

Added:
    poolalloc/trunk/test/type_checks/regression/
    poolalloc/trunk/test/type_checks/regression/dg.exp
    poolalloc/trunk/test/type_checks/regression/nomain.ll

Added: poolalloc/trunk/test/type_checks/regression/dg.exp
URL: http://llvm.org/viewvc/llvm-project/poolalloc/trunk/test/type_checks/regression/dg.exp?rev=137594&view=auto
==============================================================================
--- poolalloc/trunk/test/type_checks/regression/dg.exp (added)
+++ poolalloc/trunk/test/type_checks/regression/dg.exp Sun Aug 14 19:18:41 2011
@@ -0,0 +1,3 @@
+load_lib llvm.exp
+
+RunLLVMTests [lsort [glob -nocomplain $srcdir/$subdir/*.{ll,c,cpp}]]

Added: poolalloc/trunk/test/type_checks/regression/nomain.ll
URL: http://llvm.org/viewvc/llvm-project/poolalloc/trunk/test/type_checks/regression/nomain.ll?rev=137594&view=auto
==============================================================================
--- poolalloc/trunk/test/type_checks/regression/nomain.ll (added)
+++ poolalloc/trunk/test/type_checks/regression/nomain.ll Sun Aug 14 19:18:41 2011
@@ -0,0 +1,11 @@
+; ModuleID = 'bugpoint-reduced-simplified.bc'
+; Typechecks should fail, since we don't have a main.
+; RUN: not adsaopt -internalize -mem2reg -typechecks %s 2> %t.err >/dev/null
+; RUN: grep "Assertion.*No main function found" %t.err
+target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64"
+target triple = "x86_64-unknown-linux-gnu"
+
+define void @fmtfp() nounwind uwtable {
+entry:
+  unreachable
+}