63 lines · plain
1; RUN: llvm-as < %s | llvm-dis | FileCheck %s --check-prefix=ASSEM-DISASS2; RUN: opt < %s -O3 -S | FileCheck %s --check-prefix=OPT3; RUN: verify-uselistorder %s4; Basic smoke tests for bfloat type.5 6define bfloat @check_bfloat(bfloat %A) {7; ASSEM-DISASS: ret bfloat %A8 ret bfloat %A9}10 11define bfloat @check_bfloat_literal() {12; ASSEM-DISASS: ret bfloat 0xR314913 ret bfloat 0xR314914}15 16define <4 x bfloat> @check_fixed_vector() {17; ASSEM-DISASS: ret <4 x bfloat> %tmp18 %tmp = fadd <4 x bfloat> undef, undef19 ret <4 x bfloat> %tmp20}21 22define <vscale x 4 x bfloat> @check_vector() {23; ASSEM-DISASS: ret <vscale x 4 x bfloat> %tmp24 %tmp = fadd <vscale x 4 x bfloat> undef, undef25 ret <vscale x 4 x bfloat> %tmp26}27 28define bfloat @check_bfloat_constprop() {29 %tmp = fadd bfloat 0xR40C0, 0xR40C030; OPT: 0xR414031 ret bfloat %tmp32}33 34define float @check_bfloat_convert() {35 %tmp = fpext bfloat 0xR4C8D to float36; OPT: 0x4191A0000000000037 ret float %tmp38}39 40; ASSEM-DISASS-LABEL @snan_bfloat41define bfloat @snan_bfloat() {42; ASSEM-DISASS: ret bfloat 0xR7F8143 ret bfloat 0xR7F8144}45 46; ASSEM-DISASS-LABEL @qnan_bfloat47define bfloat @qnan_bfloat() {48; ASSEM-DISASS: ret bfloat 0xR7FC049 ret bfloat 0xR7FC050}51 52; ASSEM-DISASS-LABEL @pos_inf_bfloat53define bfloat @pos_inf_bfloat() {54; ASSEM-DISASS: ret bfloat 0xR7F8055 ret bfloat 0xR7F8056}57 58; ASSEM-DISASS-LABEL @neg_inf_bfloat59define bfloat @neg_inf_bfloat() {60; ASSEM-DISASS: ret bfloat 0xRFF8061 ret bfloat 0xRFF8062}63