
Reference: https://en.cppreference.com/w/c/numeric/math/nan
The logic is copied from clang frontend:
1d2b2d29d7/clang/lib/AST/ExprConstant.cpp (L14741-L14777)
---------
Co-authored-by: Nikita Popov <github@npopov.com>
33 lines
966 B
LLVM
33 lines
966 B
LLVM
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5
|
|
; RUN: opt < %s -passes=instcombine -S | FileCheck %s
|
|
|
|
@empty = private unnamed_addr constant [1 x i8] zeroinitializer, align 1
|
|
@dec = private unnamed_addr constant [2 x i8] c"1\00", align 1
|
|
@hex = private unnamed_addr constant [4 x i8] c"0xf\00", align 1
|
|
|
|
define x86_fp80 @nanl_empty() {
|
|
; CHECK-LABEL: define x86_fp80 @nanl_empty() {
|
|
; CHECK-NEXT: ret x86_fp80 0xK7FFFC000000000000000
|
|
;
|
|
%res = call x86_fp80 @nanl(ptr @empty)
|
|
ret x86_fp80 %res
|
|
}
|
|
|
|
define x86_fp80 @nanl_dec() {
|
|
; CHECK-LABEL: define x86_fp80 @nanl_dec() {
|
|
; CHECK-NEXT: ret x86_fp80 0xK7FFFC000000000000001
|
|
;
|
|
%res = call x86_fp80 @nanl(ptr @dec)
|
|
ret x86_fp80 %res
|
|
}
|
|
|
|
define x86_fp80 @nanl_hex() {
|
|
; CHECK-LABEL: define x86_fp80 @nanl_hex() {
|
|
; CHECK-NEXT: ret x86_fp80 0xK7FFFC00000000000000F
|
|
;
|
|
%res = call x86_fp80 @nanl(ptr @hex)
|
|
ret x86_fp80 %res
|
|
}
|
|
|
|
declare x86_fp80 @nanl(ptr)
|