mlir/test/IR/custom-float-attr-roundtrip.mlir

   1 // RUN: mlir-opt %s -split-input-file -verify-diagnostics| FileCheck %s
   2
   3 // CHECK-LABEL: @test_enum_attr_roundtrip
   4 func.func @test_enum_attr_roundtrip() -> () {
   5   // CHECK: attr = #test.custom_float<"float" : 2.000000e+00>
   6   "test.op"() {attr = #test.custom_float<"float" : 2.>} : () -> ()
   7   // CHECK: attr = #test.custom_float<"double" : 2.000000e+00>
   8   "test.op"() {attr = #test.custom_float<"double" : 2.>} : () -> ()
   9    // CHECK: attr = #test.custom_float<"fp80" : 2.000000e+00>
  10   "test.op"() {attr = #test.custom_float<"fp80" : 2.>} : () -> ()
  11   // CHECK: attr = #test.custom_float<"float" : 0x7FC00000>
  12   "test.op"() {attr = #test.custom_float<"float" : 0x7FC00000>} : () -> ()
  13   // CHECK: attr = #test.custom_float<"double" : 0x7FF0000001000000>
  14   "test.op"() {attr = #test.custom_float<"double" : 0x7FF0000001000000>} : () -> ()
  15   // CHECK: attr = #test.custom_float<"fp80" : 0x7FFFC000000000100000>
  16   "test.op"() {attr = #test.custom_float<"fp80" : 0x7FFFC000000000100000>} : () -> ()
  17   return
  18 }
  19
  20 // -----
  21
  22 // Verify literal must be hex or float
  23
  24 // expected-error @below {{unexpected decimal integer literal for a floating point value}}
  25 // expected-note @below {{add a trailing dot to make the literal a float}}
  26 "test.op"() {attr = #test.custom_float<"float" : 42>} : () -> ()
  27
  28 // -----
  29
  30 // Integer value must be in the width of the floating point type
  31
  32 // expected-error @below {{hexadecimal float constant out of range for type}}
  33 "test.op"() {attr = #test.custom_float<"float" : 0x7FC000000>} : () -> ()
  34
  35
  36 // -----
  37
  38 // Integer value must be in the width of the floating point type
  39
  40 // expected-error @below {{hexadecimal float constant out of range for type}}
  41 "test.op"() {attr = #test.custom_float<"double" : 0x7FC000007FC0000000>} : () -> ()
  42
  43
  44 // -----
  45
  46 // Integer value must be in the width of the floating point type
  47
  48 // expected-error @below {{hexadecimal float constant out of range for type}}
  49 "test.op"() {attr = #test.custom_float<"fp80" : 0x7FC0000007FC0000007FC000000>} : () -> ()
  50
  51 // -----
  52
  53 // Value must be a floating point literal or integer literal
  54
  55 // expected-error @below {{expected floating point literal}}
  56 "test.op"() {attr = #test.custom_float<"float" : "blabla">} : () -> ()
  57