llvm/llvm/test/Other/2009-06-05-no-implicit-float.ll

; RUN: opt < %s -passes=verify -S | grep noimplicitfloat
declare void @f() noimplicitfloat