; Trivial test of a trivial function.

; RUN: %llvm2ice --verbose inst %s | FileCheck %s
; RUN: %llvm2ice --verbose none %s | FileCheck --check-prefix=ERRORS %s
; RUN: %llvm2iceinsts %s | %szdiff %s | FileCheck --check-prefix=DUMP %s
; RUN: %llvm2iceinsts --pnacl %s | %szdiff %s \
; RUN:                           | FileCheck --check-prefix=DUMP %s

define void @foo() {
; CHECK: define void @foo()
entry:
  ret void
; CHECK: entry
; CHECK-NEXT: ret void
}

; ERRORS-NOT: ICE translation error
; DUMP-NOT: SZ