Yingwei Zheng 4f42deb5f4
[SimplifyLibCalls] Constant fold nan libcall (#101459)
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>
2024-08-01 17:24:48 +08:00

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)