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
|
// RUN: %clang_cc1 -triple x86_64-unknown-linux-gnu -emit-llvm < %s | FileCheck %s
int isalnum(int);
int isalpha(int);
int isblank(int);
int iscntrl(int);
int isdigit(int);
int isgraph(int);
int islower(int);
int isprint(int);
int ispunct(int);
int isspace(int);
int isupper(int);
int isxdigit(int);
int tolower(int);
int toupper(int);
void test(int x) {
// CHECK: call i32 @isalnum(i32 noundef {{%[0-9]+}}) [[NUW_RO_CALL:#[0-9]+]]
(void)isalnum(x);
// CHECK: call i32 @isalpha(i32 noundef {{%[0-9]+}}) [[NUW_RO_CALL:#[0-9]+]]
(void)isalpha(x);
// CHECK: call i32 @isblank(i32 noundef {{%[0-9]+}}) [[NUW_RO_CALL:#[0-9]+]]
(void)isblank(x);
// CHECK: call i32 @iscntrl(i32 noundef {{%[0-9]+}}) [[NUW_RO_CALL:#[0-9]+]]
(void)iscntrl(x);
// CHECK: call i32 @isdigit(i32 noundef {{%[0-9]+}}) [[NUW_RO_CALL:#[0-9]+]]
(void)isdigit(x);
// CHECK: call i32 @isgraph(i32 noundef {{%[0-9]+}}) [[NUW_RO_CALL:#[0-9]+]]
(void)isgraph(x);
// CHECK: call i32 @islower(i32 noundef {{%[0-9]+}}) [[NUW_RO_CALL:#[0-9]+]]
(void)islower(x);
// CHECK: call i32 @isprint(i32 noundef {{%[0-9]+}}) [[NUW_RO_CALL:#[0-9]+]]
(void)isprint(x);
// CHECK: call i32 @ispunct(i32 noundef {{%[0-9]+}}) [[NUW_RO_CALL:#[0-9]+]]
(void)ispunct(x);
// CHECK: call i32 @isspace(i32 noundef {{%[0-9]+}}) [[NUW_RO_CALL:#[0-9]+]]
(void)isspace(x);
// CHECK: call i32 @isupper(i32 noundef {{%[0-9]+}}) [[NUW_RO_CALL:#[0-9]+]]
(void)isupper(x);
// CHECK: call i32 @isxdigit(i32 noundef {{%[0-9]+}}) [[NUW_RO_CALL:#[0-9]+]]
(void)isxdigit(x);
// CHECK: call i32 @tolower(i32 noundef {{%[0-9]+}}) [[NUW_RO_CALL:#[0-9]+]]
(void)tolower(x);
// CHECK: call i32 @toupper(i32 noundef {{%[0-9]+}}) [[NUW_RO_CALL:#[0-9]+]]
(void)toupper(x);
}
// CHECK: declare i32 @isalnum(i32 noundef) [[NUW_RO:#[0-9]+]]
// CHECK: declare i32 @isalpha(i32 noundef) [[NUW_RO:#[0-9]+]]
// CHECK: declare i32 @isblank(i32 noundef) [[NUW_RO:#[0-9]+]]
// CHECK: declare i32 @iscntrl(i32 noundef) [[NUW_RO:#[0-9]+]]
// CHECK: declare i32 @isdigit(i32 noundef) [[NUW_RO:#[0-9]+]]
// CHECK: declare i32 @isgraph(i32 noundef) [[NUW_RO:#[0-9]+]]
// CHECK: declare i32 @islower(i32 noundef) [[NUW_RO:#[0-9]+]]
// CHECK: declare i32 @isprint(i32 noundef) [[NUW_RO:#[0-9]+]]
// CHECK: declare i32 @ispunct(i32 noundef) [[NUW_RO:#[0-9]+]]
// CHECK: declare i32 @isspace(i32 noundef) [[NUW_RO:#[0-9]+]]
// CHECK: declare i32 @isupper(i32 noundef) [[NUW_RO:#[0-9]+]]
// CHECK: declare i32 @isxdigit(i32 noundef) [[NUW_RO:#[0-9]+]]
// CHECK: declare i32 @tolower(i32 noundef) [[NUW_RO:#[0-9]+]]
// CHECK: declare i32 @toupper(i32 noundef) [[NUW_RO:#[0-9]+]]
// CHECK: attributes [[NUW_RO]] = { nounwind willreturn memory(read){{.*}} }
// CHECK: attributes [[NUW_RO_CALL]] = { nounwind willreturn memory(read) }
|
