; RUN: mlir-translate -import-llvm -split-input-file %s | FileCheck %s

; CHECK-LABEL: llvm.func @reciprocal_estimates()
; CHECK-SAME: reciprocal_estimates = "all"
define void @reciprocal_estimates() #0 {
  ret void
}

attributes #0 = { "reciprocal-estimates" = "all" }