81 lines · plain
1// RUN: mlir-translate -mlir-to-llvmir -split-input-file %s | FileCheck %s2 3// CHECK-LABEL: define void @no_infs_fp_math_func_true()4// CHECK-SAME: #[[ATTRS:[0-9]+]]5llvm.func @no_infs_fp_math_func_true() attributes {no_infs_fp_math = true} {6 llvm.return7}8// CHECK: attributes #[[ATTRS]] = { "no-infs-fp-math"="true" }9 10// -----11 12// CHECK-LABEL: define void @no_infs_fp_math_func_false()13// CHECK-SAME: #[[ATTRS:[0-9]+]]14llvm.func @no_infs_fp_math_func_false() attributes {no_infs_fp_math = false} {15 llvm.return16}17// CHECK: attributes #[[ATTRS]] = { "no-infs-fp-math"="false" }18 19// -----20 21// CHECK-LABEL: define void @no_nans_fp_math_func_true()22// CHECK-SAME: #[[ATTRS:[0-9]+]]23llvm.func @no_nans_fp_math_func_true() attributes {no_nans_fp_math = true} {24 llvm.return25}26// CHECK: attributes #[[ATTRS]] = { "no-nans-fp-math"="true" }27 28// -----29 30// CHECK-LABEL: define void @no_nans_fp_math_func_false()31// CHECK-SAME: #[[ATTRS:[0-9]+]]32llvm.func @no_nans_fp_math_func_false() attributes {no_nans_fp_math = false} {33 llvm.return34}35// CHECK: attributes #[[ATTRS]] = { "no-nans-fp-math"="false" }36 37// -----38 39// CHECK-LABEL: define void @no_signed_zeros_fp_math_func_true()40// CHECK-SAME: #[[ATTRS:[0-9]+]]41llvm.func @no_signed_zeros_fp_math_func_true() attributes {no_signed_zeros_fp_math = true} {42 llvm.return43}44// CHECK: attributes #[[ATTRS]] = { "no-signed-zeros-fp-math"="true" }45 46// -----47 48// CHECK-LABEL: define void @no_signed_zeros_fp_math_func_false()49// CHECK-SAME: #[[ATTRS:[0-9]+]]50llvm.func @no_signed_zeros_fp_math_func_false() attributes {no_signed_zeros_fp_math = false} {51 llvm.return52}53// CHECK: attributes #[[ATTRS]] = { "no-signed-zeros-fp-math"="false" }54 55// -----56 57// CHECK-LABEL: define void @denormal_fp_math_func_ieee()58// CHECK-SAME: #[[ATTRS:[0-9]+]]59llvm.func @denormal_fp_math_func_ieee() attributes {denormal_fp_math = "ieee"} {60 llvm.return61}62// CHECK: attributes #[[ATTRS]] = { "denormal-fp-math"="ieee" }63 64// -----65 66// CHECK-LABEL: define void @denormal_fp_math_f32_func_preserve_sign()67// CHECK-SAME: #[[ATTRS:[0-9]+]]68llvm.func @denormal_fp_math_f32_func_preserve_sign() attributes {denormal_fp_math_f32 = "preserve-sign"} {69 llvm.return70}71// CHECK: attributes #[[ATTRS]] = { "denormal-fp-math-f32"="preserve-sign" }72 73// -----74 75// CHECK-LABEL: define void @fp_contract_func_fast()76// CHECK-SAME: #[[ATTRS:[0-9]+]]77llvm.func @fp_contract_func_fast() attributes {fp_contract = "fast"} {78 llvm.return79}80// CHECK: attributes #[[ATTRS]] = { "fp-contract"="fast" }81