// RUN: tco %s | FileCheck %s

// Check that tco is working with a basic test.

func @_QQmain() {
  return
}

// CHECK: ; ModuleID = 'FIRModule'
// CHECK-LABEL: define void @_QQmain()
// CHECK:       ret void