1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
|
; 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)
|
