; RUN: opt < %s -verify -S | grep noimplicitfloat
define void @f() noimplicitfloat {
}