1// RUN: tco --target=x86_64-unknown-linux-gnu %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