; RUN: llvm-as < %s | llvm-dis | FileCheck %s --check-prefix=ASSEM-DISASS
; RUN: opt < %s -O3 -S | FileCheck %s --check-prefix=OPT
; RUN: verify-uselistorder %s
; Basic smoke tests for bfloat type.

define bfloat @check_bfloat(bfloat %A) {
; ASSEM-DISASS: ret bfloat %A
    ret bfloat %A
}

define bfloat @check_bfloat_literal() {
; ASSEM-DISASS: ret bfloat 0xR3149
    ret bfloat 0xR3149
}

define <4 x bfloat> @check_fixed_vector() {
; ASSEM-DISASS: ret <4 x bfloat> %tmp
  %tmp = fadd <4 x bfloat> undef, undef
  ret <4 x bfloat> %tmp
}

define <vscale x 4 x bfloat> @check_vector() {
; ASSEM-DISASS: ret <vscale x 4 x bfloat> %tmp
  %tmp = fadd <vscale x 4 x bfloat> undef, undef
  ret <vscale x 4 x bfloat> %tmp
}

define bfloat @check_bfloat_constprop() {
  %tmp = fadd bfloat 0xR40C0, 0xR40C0
; OPT: 0xR4140
  ret bfloat %tmp
}

define float @check_bfloat_convert() {
  %tmp = fpext bfloat 0xR4C8D to float
; OPT: 0x4191A00000000000
  ret float %tmp
}