llvm/test/Transforms/InstSimplify/ConstProp/fpclassify.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -instsimplify -S | FileCheck %s
   3
   4 define i1 @isnan_01() {
   5 ; CHECK-LABEL: @isnan_01(
   6 ; CHECK-NEXT:  entry:
   7 ; CHECK-NEXT:    ret i1 true
   8 ;
   9 entry:
  10   %0 = tail call i1 @llvm.isnan.f32(float 0x7FF8000000000000)
  11   ret i1 %0
  12 }
  13
  14 define i1 @isnan_02() {
  15 ; CHECK-LABEL: @isnan_02(
  16 ; CHECK-NEXT:  entry:
  17 ; CHECK-NEXT:    ret i1 false
  18 ;
  19 entry:
  20   %0 = tail call i1 @llvm.isnan.f32(float 0x7FF0000000000000)
  21   ret i1 %0
  22 }
  23
  24 define <4 x i1> @isnan_03() {
  25 ; CHECK-LABEL: @isnan_03(
  26 ; CHECK-NEXT:  entry:
  27 ; CHECK-NEXT:    ret <4 x i1> <i1 true, i1 false, i1 false, i1 true>
  28 ;
  29 entry:
  30   %0 = tail call <4 x i1> @llvm.isnan.v4f32(<4 x float><float 0x7FF8000000000000, float 0x7FF0000000000000, float 1.0, float 0xFFF8000000000000>)
  31   ret <4 x i1> %0
  32 }
  33
  34 declare i1 @llvm.isnan.f32(float)
  35 declare <4 x i1> @llvm.isnan.v4f32(<4 x float>)