1// RUN: tco %s | FileCheck %s
2
3// Check that tco is working with a basic test.
4
5func @_QQmain() {
6  return
7}
8
9// CHECK: ; ModuleID = 'FIRModule'
10// CHECK-LABEL: define void @_QQmain()
11// CHECK:       ret void
12