; RUN: opt -S < %s | FileCheck %s

declare void @foo()

define void @check_lines_1() {
  ret void
}

; UTC_ARGS: --disable

; A check line that would not be auto generated.
; CHECK: define void @no_check_lines() {
define void @no_check_lines() {
  ret void
}

; UTC_ARGS: --enable

define void @check_lines_2() {
  ret void
}

define void @scrub() {
  call void @foo() readnone
  ret void
}

define i32 @signature(i32 %arg) {
  ret i32 %arg
}