; 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)