llvm/test/CodeGen/X86/float-to-arbitrary-fp-error.ll

; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 6
; RUN: split-file %s %t
; RUN: not llc < %t/float8e4m3.ll -mtriple=x86_64-unknown-unknown 2>&1 | FileCheck %s --check-prefix=E4M3
; RUN: not llc < %t/float8e3m4.ll -mtriple=x86_64-unknown-unknown 2>&1 | FileCheck %s --check-prefix=E3M4
; RUN: not llc < %t/float8e5m2fnuz.ll -mtriple=x86_64-unknown-unknown 2>&1 | FileCheck %s --check-prefix=E5M2FNUZ
; RUN: not llc < %t/float8e4m3fnuz.ll -mtriple=x86_64-unknown-unknown 2>&1 | FileCheck %s --check-prefix=E4M3FNUZ
; RUN: not llc < %t/float8e4m3b11fnuz.ll -mtriple=x86_64-unknown-unknown 2>&1 | FileCheck %s --check-prefix=E4M3B11FNUZ
; RUN: not llc < %t/float8e8m0fnu.ll -mtriple=x86_64-unknown-unknown 2>&1 | FileCheck %s --check-prefix=E8M0FNU

; Test that llvm.convert.to.arbitrary.fp emits an error for formats that pass
; verifier validation but are not yet implemented in SelectionDAGBuilder.

;--- float8e4m3.ll
; E4M3: error: convert_to_arbitrary_fp: not implemented format 'Float8E4M3'

declare i8 @llvm.convert.to.arbitrary.fp.i8.f32(float, metadata, metadata, i1)

define i8 @to_f8e4m3(float %v) {
  %r = call i8 @llvm.convert.to.arbitrary.fp.i8.f32(
      float %v, metadata !"Float8E4M3", metadata !"round.tonearest", i1 false)
  ret i8 %r
}

;--- float8e3m4.ll
; E3M4: error: convert_to_arbitrary_fp: not implemented format 'Float8E3M4'

declare i8 @llvm.convert.to.arbitrary.fp.i8.f32(float, metadata, metadata, i1)

define i8 @to_f8e3m4(float %v) {
  %r = call i8 @llvm.convert.to.arbitrary.fp.i8.f32(
      float %v, metadata !"Float8E3M4", metadata !"round.tonearest", i1 false)
  ret i8 %r
}

;--- float8e5m2fnuz.ll
; E5M2FNUZ: error: convert_to_arbitrary_fp: not implemented format 'Float8E5M2FNUZ'

declare i8 @llvm.convert.to.arbitrary.fp.i8.f32(float, metadata, metadata, i1)

define i8 @to_f8e5m2fnuz(float %v) {
  %r = call i8 @llvm.convert.to.arbitrary.fp.i8.f32(
      float %v, metadata !"Float8E5M2FNUZ", metadata !"round.tonearest", i1 false)
  ret i8 %r
}

;--- float8e4m3fnuz.ll
; E4M3FNUZ: error: convert_to_arbitrary_fp: not implemented format 'Float8E4M3FNUZ'

declare i8 @llvm.convert.to.arbitrary.fp.i8.f32(float, metadata, metadata, i1)

define i8 @to_f8e4m3fnuz(float %v) {
  %r = call i8 @llvm.convert.to.arbitrary.fp.i8.f32(
      float %v, metadata !"Float8E4M3FNUZ", metadata !"round.tonearest", i1 false)
  ret i8 %r
}

;--- float8e4m3b11fnuz.ll
; E4M3B11FNUZ: error: convert_to_arbitrary_fp: not implemented format 'Float8E4M3B11FNUZ'

declare i8 @llvm.convert.to.arbitrary.fp.i8.f32(float, metadata, metadata, i1)

define i8 @to_f8e4m3b11fnuz(float %v) {
  %r = call i8 @llvm.convert.to.arbitrary.fp.i8.f32(
      float %v, metadata !"Float8E4M3B11FNUZ", metadata !"round.tonearest", i1 false)
  ret i8 %r
}

;--- float8e8m0fnu.ll
; E8M0FNU: error: convert_to_arbitrary_fp: not implemented format 'Float8E8M0FNU'

declare i8 @llvm.convert.to.arbitrary.fp.i8.f32(float, metadata, metadata, i1)

define i8 @to_f8e8m0fnu(float %v) {
  %r = call i8 @llvm.convert.to.arbitrary.fp.i8.f32(
      float %v, metadata !"Float8E8M0FNU", metadata !"round.tonearest", i1 false)
  ret i8 %r
}