forked from plast-lab/cclyzer-souffle
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy path.functional-preds
220 lines (211 loc) · 9.49 KB
/
.functional-preds
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
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
type type_has_size
type type_has_unpadded_size
variable variable_has_type
constant constant_has_type
operand operand_has_type
instruction instruction_assigns_to
instruction instruction_returns_type
instruction next_instruction
instruction instruction_pos
instruction instruction_in_function
function function_alignment
function function_calling_convention
function function_gc
function function_linkage_type
function function_visibility
function function_pers_fn
function function_has_type
function function_has_name
function function_has_signature
function * function_param
add_instruction add_instruction_first_operand
add_instruction add_instruction_second_operand
sub_instruction sub_instruction_first_operand
sub_instruction sub_instruction_second_operand
mul_instruction mul_instruction_first_operand
mul_instruction mul_instruction_second_operand
sdiv_instruction sdiv_instruction_first_operand
sdiv_instruction sdiv_instruction_second_operand
srem_instruction srem_instruction_first_operand
srem_instruction srem_instruction_second_operand
udiv_instruction udiv_instruction_first_operand
udiv_instruction udiv_instruction_second_operand
urem_instruction urem_instruction_first_operand
urem_instruction urem_instruction_second_operand
fadd_instruction fadd_instruction_first_operand
fadd_instruction fadd_instruction_second_operand
fsub_instruction fsub_instruction_first_operand
fsub_instruction fsub_instruction_second_operand
fmul_instruction fmul_instruction_first_operand
fmul_instruction fmul_instruction_second_operand
fdiv_instruction fdiv_instruction_first_operand
fdiv_instruction fdiv_instruction_second_operand
frem_instruction frem_instruction_first_operand
frem_instruction frem_instruction_second_operand
and_instruction and_instruction_first_operand
and_instruction and_instruction_second_operand
or_instruction or_instruction_first_operand
or_instruction or_instruction_second_operand
xor_instruction xor_instruction_first_operand
xor_instruction xor_instruction_second_operand
ashr_instruction ashr_instruction_first_operand
ashr_instruction ashr_instruction_second_operand
lshr_instruction lshr_instruction_first_operand
lshr_instruction lshr_instruction_second_operand
shl_instruction shl_instruction_first_operand
shl_instruction shl_instruction_second_operand
icmp_instruction icmp_instruction_first_operand
icmp_instruction icmp_instruction_second_operand
icmp_instruction icmp_instruction_condition
fcmp_instruction fcmp_instruction_first_operand
fcmp_instruction fcmp_instruction_second_operand
fcmp_instruction fcmp_instruction_condition
bitcast_instruction bitcast_instruction_from_operand
bitcast_instruction bitcast_instruction_to_type
inttoptr_instruction inttoptr_instruction_from_operand
inttoptr_instruction inttoptr_instruction_to_type
ptrtoint_instruction ptrtoint_instruction_from_operand
ptrtoint_instruction ptrtoint_instruction_to_type
fpext_instruction fpext_instruction_from_operand
fpext_instruction fpext_instruction_to_type
sext_instruction sext_instruction_from_operand
sext_instruction sext_instruction_to_type
zext_instruction zext_instruction_from_operand
zext_instruction zext_instruction_to_type
fptosi_instruction fptosi_instruction_from_operand
fptosi_instruction fptosi_instruction_to_type
fptoui_instruction fptoui_instruction_from_operand
fptoui_instruction fptoui_instruction_to_type
sitofp_instruction sitofp_instruction_from_operand
sitofp_instruction sitofp_instruction_to_type
uitofp_instruction uitofp_instruction_from_operand
uitofp_instruction uitofp_instruction_to_type
trunc_instruction trunc_instruction_from_operand
trunc_instruction trunc_instruction_to_type
fptrunc_instruction fptrunc_instruction_from_operand
fptrunc_instruction fptrunc_instruction_to_type
load_instruction load_instruction_alignment
load_instruction load_instruction_ordering
load_instruction load_instruction_address
load_instruction load_instruction_address_ptr_type
store_instruction store_instruction_alignment
store_instruction store_instruction_ordering
store_instruction store_instruction_address
store_instruction store_instruction_address_ptr_type
store_instruction store_instruction_value
store_instruction store_instruction_value_type
fence_instruction fence_instruction_ordering
resume_instruction resume_instruction_operand
alloca_instruction alloca_instruction_alignment
alloca_instruction alloca_instruction_size
alloca_instruction alloca_instruction_type
va_arg_instruction va_arg_instruction_va_list
va_arg_instruction va_arg_instruction_type
br_cond_instruction br_cond_instruction_condition
br_cond_instruction br_cond_instruction_iftrue_label
br_cond_instruction br_cond_instruction_iffalse_label
br_uncond_instruction br_uncond_instruction_dest_label
indirectbr_instruction indirectbr_instruction_address
indirectbr_instruction * indirectbr_instruction_label
indirectbr_instruction indirectbr_instruction_nlabels
phi_instruction phi_instruction_type
phi_instruction phi_instruction_npairs
phi_instruction * phi_instruction_pair
switch_instruction switch_instruction_operand
switch_instruction switch_instruction_default_label
switch_instruction switch_instruction_ncases
switch_instruction * switch_instruction_case
ret_instruction ret_instruction_value
extractelement_instruction extractelement_instruction_base
extractelement_instruction extractelement_instruction_index
extractelement_instruction extractelement_instruction_type
insertelement_instruction insertelement_instruction_base
insertelement_instruction insertelement_instruction_index
insertelement_instruction insertelement_instruction_value
insertelement_instruction insertelement_instruction_type
shufflevector_instruction shufflevector_instruction_first_vector
shufflevector_instruction shufflevector_instruction_second_vector
shufflevector_instruction shufflevector_instruction_mask
shufflevector_instruction shufflevector_instruction_input_type
shufflevector_instruction shufflevector_instruction_element_type
shufflevector_instruction shufflevector_instruction_mask_type
getelementptr_instruction getelementptr_instruction_base
getelementptr_instruction getelementptr_instruction_base_type
getelementptr_instruction getelementptr_instruction_value_type
getelementptr_instruction getelementptr_instruction_nindices
getelementptr_instruction * getelementptr_instruction_index
getelementptr_instruction * getelementptr_instruction_interm_type
select_instruction select_instruction_first_operand
select_instruction select_instruction_second_operand
select_instruction select_instruction_condition
extractvalue_instruction extractvalue_instruction_base
extractvalue_instruction extractvalue_instruction_base_type
extractvalue_instruction extractvalue_instruction_value_type
extractvalue_instruction extractvalue_instruction_nindices
extractvalue_instruction * extractvalue_instruction_index
extractvalue_instruction * extractvalue_instruction_interm_type
insertvalue_instruction insertvalue_instruction_base
insertvalue_instruction insertvalue_instruction_base_type
insertvalue_instruction insertvalue_instruction_value
insertvalue_instruction insertvalue_instruction_value_type
insertvalue_instruction insertvalue_instruction_nindices
insertvalue_instruction * insertvalue_instruction_index
insertvalue_instruction * insertvalue_instruction_interm_type
atomicrmw_instruction atomicrmw_instruction_ordering
atomicrmw_instruction atomicrmw_instruction_address
atomicrmw_instruction atomicrmw_instruction_value
atomicrmw_instruction atomicrmw_instruction_operation
cmpxchg_instruction cmpxchg_instruction_address
cmpxchg_instruction cmpxchg_instruction_cmp_value
cmpxchg_instruction cmpxchg_instruction_new_value
cmpxchg_instruction cmpxchg_instruction_ordering
landingpad_instruction landingpad_instruction_pers_fn
landingpad_instruction landingpad_instruction_nclauses
landingpad_instruction * landingpad_instruction_clause
landingpad_instruction landingpad_instruction_type
call_instruction call_instruction_fn_operand
call_instruction call_instruction_fn_type
call_instruction call_instruction_return_type
call_instruction call_instruction_calling_convention
call_instruction * call_instruction_arg
invoke_instruction invoke_instruction_fn_operand
invoke_instruction invoke_instruction_fn_type
invoke_instruction invoke_instruction_return_type
invoke_instruction invoke_instruction_calling_convention
invoke_instruction invoke_instruction_normal_label
invoke_instruction invoke_instruction_exception_label
invoke_instruction * invoke_instruction_arg
vector_type vector_type_has_component
vector_type vector_type_has_size
array_type array_type_has_component
array_type array_type_has_size
pointer_type pointer_type_has_component
pointer_type pointer_type_has_addr_space
struct_type * struct_type_field
struct_type struct_type_nfields
struct_type * struct_type_field_offset
struct_type * struct_type_field_bit_offset
struct_type * struct_type_field_name_at_offset
struct_type * struct_type_inherits_at_offset
struct_type * struct_type_field_name
global_variable global_variable_has_type
global_variable global_variable_has_name
global_variable global_variable_has_unmangled_name
global_variable global_variable_has_linkage_type
global_variable global_variable_has_initializer
global_variable global_variable_has_visibility
global_variable global_variable_in_section
global_variable global_variable_in_threadlocal_mode
global_variable global_variable_aligned_to
alias alias_aliasee
alias alias_has_name
alias alias_has_type
alias alias_has_linkage_type
alias alias_has_visibility
basicblock basicblock_of_label
basicblock basicblock_first_instruction
basicblock basicblock_last_instruction
instruction instruction_in_basicblock
null void_type
null label_type
null metadata_type