| ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --scrub-attributes |
| ; RUN: opt -S < %s | FileCheck %s |
| |
| declare void @foo() |
| |
| define void @check_lines_1() { |
| ; CHECK-LABEL: define {{[^@]+}}@check_lines_1() { |
| ; CHECK-NEXT: ret void |
| ; |
| 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() { |
| ; CHECK-LABEL: define {{[^@]+}}@check_lines_2() { |
| ; CHECK-NEXT: ret void |
| ; |
| ret void |
| } |
| |
| define void @scrub() { |
| ; CHECK-LABEL: define {{[^@]+}}@scrub() { |
| ; CHECK-NEXT: call void @foo() |
| ; CHECK-NEXT: ret void |
| ; |
| call void @foo() readnone |
| ret void |
| } |
| |
| define i32 @signature(i32 %arg) { |
| ; CHECK-LABEL: define {{[^@]+}}@signature |
| ; CHECK-SAME: (i32 [[ARG:%.*]]) { |
| ; CHECK-NEXT: ret i32 [[ARG]] |
| ; |
| ret i32 %arg |
| } |