define double @f(i32 %x) {
  ret double poison
}