1; RUN: llvm-as < %s | llvm-dis - | FileCheck %s 2 3; CHECK: define void @f() section "foo_section" 4; CHECK-NOT: "implicit-section-name" 5 6define void @f() "implicit-section-name"="foo_section" { 7 ret void 8} 9