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