4f42deb5f4
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>
81 lines
2.0 KiB
LLVM
81 lines
2.0 KiB
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 double @nan_empty() {
|
|
; CHECK-LABEL: define double @nan_empty() {
|
|
; CHECK-NEXT: ret double 0x7FF8000000000000
|
|
;
|
|
%res = call double @nan(ptr @empty)
|
|
ret double %res
|
|
}
|
|
|
|
define double @nan_dec() {
|
|
; CHECK-LABEL: define double @nan_dec() {
|
|
; CHECK-NEXT: ret double 0x7FF8000000000001
|
|
;
|
|
%res = call double @nan(ptr @dec)
|
|
ret double %res
|
|
}
|
|
|
|
define double @nan_hex() {
|
|
; CHECK-LABEL: define double @nan_hex() {
|
|
; CHECK-NEXT: ret double 0x7FF800000000000F
|
|
;
|
|
%res = call double @nan(ptr @hex)
|
|
ret double %res
|
|
}
|
|
|
|
define float @nanf_empty() {
|
|
; CHECK-LABEL: define float @nanf_empty() {
|
|
; CHECK-NEXT: ret float 0x7FF8000000000000
|
|
;
|
|
%res = call float @nanf(ptr @empty)
|
|
ret float %res
|
|
}
|
|
|
|
; nagative tests
|
|
|
|
define double @nan_poison() {
|
|
; CHECK-LABEL: define double @nan_poison() {
|
|
; CHECK-NEXT: [[RES:%.*]] = call double @nan(ptr poison)
|
|
; CHECK-NEXT: ret double [[RES]]
|
|
;
|
|
%res = call double @nan(ptr poison)
|
|
ret double %res
|
|
}
|
|
|
|
define double @nan_undef() {
|
|
; CHECK-LABEL: define double @nan_undef() {
|
|
; CHECK-NEXT: [[RES:%.*]] = call double @nan(ptr undef)
|
|
; CHECK-NEXT: ret double [[RES]]
|
|
;
|
|
%res = call double @nan(ptr undef)
|
|
ret double %res
|
|
}
|
|
|
|
define double @nan_null() {
|
|
; CHECK-LABEL: define double @nan_null() {
|
|
; CHECK-NEXT: [[RES:%.*]] = call double @nan(ptr null)
|
|
; CHECK-NEXT: ret double [[RES]]
|
|
;
|
|
%res = call double @nan(ptr null)
|
|
ret double %res
|
|
}
|
|
|
|
define double @nan_non_constant(ptr %x) {
|
|
; CHECK-LABEL: define double @nan_non_constant(
|
|
; CHECK-SAME: ptr [[X:%.*]]) {
|
|
; CHECK-NEXT: [[RES:%.*]] = call double @nan(ptr [[X]])
|
|
; CHECK-NEXT: ret double [[RES]]
|
|
;
|
|
%res = call double @nan(ptr %x)
|
|
ret double %res
|
|
}
|
|
|
|
declare float @nanf(ptr)
|
|
declare double @nan(ptr)
|