llvm/test/CodeGen/AMDGPU/known-never-nan.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc -mtriple=amdgcn-amd-amdhsa -mcpu=gfx1010 -verify-machineinstrs < %s | FileCheck %s
   3
   4 define half @known_nnan_extract_vector_elt(float %a, float %b, i32 %idx, half %c) {
   5 ; CHECK-LABEL: known_nnan_extract_vector_elt:
   6 ; CHECK:       ; %bb.0:
   7 ; CHECK-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
   8 ; CHECK-NEXT:    v_cvt_pkrtz_f16_f32_e32 v0, v0, v1
   9 ; CHECK-NEXT:    v_lshlrev_b32_e32 v1, 4, v2
  10 ; CHECK-NEXT:    v_add_f16_e32 v2, 1.0, v3
  11 ; CHECK-NEXT:    v_lshrrev_b32_e32 v0, v1, v0
  12 ; CHECK-NEXT:    v_cmp_lt_f16_e32 vcc_lo, v0, v2
  13 ; CHECK-NEXT:    v_cndmask_b32_e32 v0, v2, v0, vcc_lo
  14 ; CHECK-NEXT:    s_setpc_b64 s[30:31]
  15   %cvt = call nnan <2 x half> @llvm.amdgcn.cvt.pkrtz(float %a, float %b)
  16   %extract = extractelement <2 x half> %cvt, i32 %idx
  17   %canon = call half @llvm.canonicalize.f16(half %extract)
  18   %nnan.c = fadd nnan nsz half %c, 1.0
  19   %cmp = fcmp olt half %extract, %nnan.c
  20   %select = select i1 %cmp, half %extract, half %nnan.c
  21   ret half %select
  22 }
  23
  24 ; should not emit v_max
  25 define float @fma_not_fmaxnm_maybe_nan(i32 %i1, i32 %i2, i32 %i3) #0 {
  26 ; CHECK-LABEL: fma_not_fmaxnm_maybe_nan:
  27 ; CHECK:       ; %bb.0:
  28 ; CHECK-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
  29 ; CHECK-NEXT:    v_cvt_f32_u32_e32 v0, v0
  30 ; CHECK-NEXT:    v_cvt_f32_u32_e32 v1, v1
  31 ; CHECK-NEXT:    v_fmaak_f32 v0, v1, v0, 0xff800000
  32 ; CHECK-NEXT:    v_cmp_nge_f32_e32 vcc_lo, 0xff800000, v0
  33 ; CHECK-NEXT:    v_cndmask_b32_e32 v0, 0xff800000, v0, vcc_lo
  34 ; CHECK-NEXT:    s_setpc_b64 s[30:31]
  35   %f1 = uitofp i32 %i1 to float
  36   %f2 = uitofp i32 %i2 to float
  37   %f3 = uitofp i32 %i2 to float
  38   %fma = tail call float @llvm.fma.f32(float %f2, float %f1, float 0xfff0000000000000)
  39   %cmp = fcmp ugt float %fma, 0xfff0000000000000
  40   %val = select i1 %cmp, float %fma, float 0xfff0000000000000
  41   ret float %val
  42 }
  43
  44 declare float @llvm.fma.f32(float, float, float) nounwind readnone
  45 declare float @llvm.amdgcn.fmad.ftz.f32(float, float, float)
  46
  47 declare <2 x half> @llvm.amdgcn.cvt.pkrtz(float, float)
  48 declare half @llvm.canonicalize.f16(half)
  49
  50 attributes #0 = { nounwind "no-signed-zeros-fp-math"="true" "target-features"="+mad-mac-f32-insts" }