MCPcopy Create free account

hub / github.com/AliveToolkit/alive2 / functions

Functions1,932 in github.com/AliveToolkit/alive2

↓ 2 callersFunctionmk_liveness_array
ir/memory.cpp:1425
↓ 2 callersFunctionmul_saturate
util/compiler.cpp:57
↓ 2 callersMethodnotImplies
smt/expr.cpp:1716
↓ 2 callersFunctionnow
util/stopwatch.cpp:11
↓ 2 callersMethodnumElementsExcludingPadding
ir/type.cpp:804
↓ 2 callersFunctionnum_ptrs
tools/transform.cpp:784
↓ 2 callersFunctionoptimize_ptrcmp
tools/transform.cpp:1669
↓ 2 callersMethodparseAND
(self)
tests/lit/lit/BooleanExpression.py:130
↓ 2 callersMethodparseNOT
(self)
tests/lit/lit/BooleanExpression.py:115
↓ 2 callersMethodparseOR
(self)
tests/lit/lit/BooleanExpression.py:140
↓ 2 callersMethodparse_command
(self)
tests/lit/lit/ShUtil.py:215
↓ 2 callersFunctionparse_fcmp_cond
llvm_util/llvm2alive.cpp:65
↓ 2 callersFunctionparse_fn
tools/alive_parser.cpp:1364
↓ 2 callersMethodparse_pipeline
(self)
tests/lit/lit/ShUtil.py:250
↓ 2 callersMethodpreprocess
tools/transform.cpp:1729
↓ 2 callersMethodprint
ir/memory.cpp:857
↓ 2 callersMethodprint
ir/function.cpp:862
↓ 2 callersMethodprint
ir/attrs.cpp:86
↓ 2 callersFunctionprintDot
tv/tv.cpp:93
↓ 2 callersFunctionprint_table
($table)
scripts/table.php:75
↓ 2 callersFunctionprocessLine
(ln)
tests/lit/lit/TestRunner.py:1737
↓ 2 callersFunctionprocessRedirects
Return the standard fds for cmd after applying redirects Returns the three standard file descriptors for the new child process. Each fd may
tests/lit/lit/TestRunner.py:573
↓ 2 callersMethodpropagatesPoison
ir/instr.cpp:139
↓ 2 callersFunctionread_test_times
(suite)
tests/lit/lit/TestTimes.py:4
↓ 2 callersFunctionredis_reply_string
cache/cache.cpp:14
↓ 2 callersFunctionremote_get
cache/cache.cpp:33
↓ 2 callersFunctionremote_set
cache/cache.cpp:56
↓ 2 callersMethodremoveBB
ir/function.cpp:234
↓ 2 callersFunctionremoveUnused
ir/function.cpp:399
↓ 2 callersFunctionremove_fifo
tools/alive-jobserver.cpp:23
↓ 2 callersFunctionremove_unreachable_bbs
tools/transform.cpp:1627
↓ 2 callersMethodrender
Replace each $-substitutions in the given template string with the corresponding terminal control string (if it's defined) or
tests/lit/lit/ProgressBar.py:163
↓ 2 callersMethodreplace
ir/state.cpp:1028
↓ 2 callersMethodreset
smt/solver.cpp:452
↓ 2 callersMethodreset_solver
smt/solver.cpp:279
↓ 2 callersFunctionreset_state
llvm_util/utils.cpp:517
↓ 2 callersFunctionreturns_nonlocal
tools/transform.cpp:901
↓ 2 callersMethodrewriteUndef
ir/state.cpp:1371
↓ 2 callersMethodroot
ir/fast_math.cpp:105
↓ 2 callersMethodround_up
smt/expr.cpp:1145
↓ 2 callersFunctionround_value
ir/instr.cpp:711
↓ 2 callersMethodrun
tv/tv.cpp:570
↓ 2 callersMethodrun
llvm_util/llvm2alive.cpp:1887
↓ 2 callersMethodrunOn
tv/tv.cpp:171
↓ 2 callersFunctionsafe_write
* wrapper for write() that correctly handles short writes */
util/parallel.cpp:162
↓ 2 callersFunctionsaveBitcode
tv/tv.cpp:133
↓ 2 callersMethodsdiv
smt/expr.cpp:747
↓ 2 callersFunctionsearch1
(path)
tests/lit/lit/discovery.py:38
↓ 2 callersMethodsetAlign
ir/instr.h:943
↓ 2 callersMethodsetApproximated
ir/instr.h:1186
↓ 2 callersMethodsetCanOnlyWrite
ir/attrs.cpp:235
↓ 2 callersMethodsetFPDenormal
ir/attrs.cpp:498
↓ 2 callersMethodsetNoAccess
ir/attrs.h:40
↓ 2 callersMethodsetNoAlias
ir/memory.cpp:780
↓ 2 callersMethodsetPtrCmpMode
ir/instr.h:473
↓ 2 callersMethodsetState
ir/memory.cpp:1968
↓ 2 callersMethodsetType
ir/function.h:126
↓ 2 callersFunctionset_memory_limit
smt/smt.cpp:65
↓ 2 callersFunctionset_query_timeout
smt/smt.cpp:46
↓ 2 callersFunctionset_random_seed
smt/smt.cpp:50
↓ 2 callersMethodshl_no_soverflow
smt/expr.cpp:1027
↓ 2 callersMethodshl_no_uoverflow
smt/expr.cpp:1031
↓ 2 callersFunctionshowStats
tv/tv.cpp:106
↓ 2 callersMethodsint2fp
smt/expr.cpp:2043
↓ 2 callersMethodsize
ir/function.h:40
↓ 2 callersMethodsmax
smt/expr.cpp:1135
↓ 2 callersMethodsmin
smt/expr.cpp:1131
↓ 2 callersFunctionsolver_print_queries
smt/solver.cpp:399
↓ 2 callersFunctionsolver_tactic_verbose
smt/solver.cpp:403
↓ 2 callersMethodsources
ir/instr.cpp:3093
↓ 2 callersMethodssub_sat
smt/expr.cpp:823
↓ 2 callersMethodsubst_var
smt/expr.cpp:2283
↓ 2 callersFunctionsym_exec
util/symexec.cpp:63
↓ 2 callersFunctionsym_exec_init
util/symexec.cpp:29
↓ 2 callersFunctionsym_exec_instr
util/symexec.cpp:13
↓ 2 callersMethodtoBV
ir/type.cpp:227
↓ 2 callersMethodtoGoal
smt/solver.cpp:107
↓ 2 callersMethodtoLogicalLocal
ir/pointer.cpp:966
↓ 2 callersFunctionto_hex
ir/constant.cpp:57
↓ 2 callersMethodtodata
todata() -> json-serializable data Convert this metric to content suitable for serializing in the JSON test output.
tests/lit/lit/Test.py:71
↓ 2 callersMethodtokenize
(string)
tests/lit/lit/BooleanExpression.py:54
↓ 2 callersFunctiontop_sort
ir/function.cpp:430
↓ 2 callersMethodumax
smt/expr.cpp:1127
↓ 2 callersFunctionumul_fix_helper
smt/expr.cpp:1002
↓ 2 callersMethodunroll
ir/function.cpp:578
↓ 2 callersFunctionupdateEnv
(env, args)
tests/lit/lit/TestRunner.py:300
↓ 2 callersFunctionusage
tools/alive-jobserver.cpp:117
↓ 2 callersFunctionvalueToBytes
ir/memory.cpp:591
↓ 2 callersMethodverify
tools/transform.cpp:1398
↓ 2 callersMethodwrites
ir/memory.cpp:1851
↓ 2 callersMethod~expr
smt/expr.cpp:118
↓ 1 callersMethodASVar
ir/type.cpp:666
↓ 1 callersMethodDL
llvm_util/llvm2alive.cpp:137
↓ 1 callersFunctionNopSemaphore
()
tests/lit/lit/worker.py:53
↓ 1 callersFunction_adapt_result
(result)
tests/lit/lit/worker.py:89
↓ 1 callersFunction_execute
(test, lit_config)
tests/lit/lit/worker.py:65
↓ 1 callersFunction_executeShCmd
(cmd, shenv, results, timeoutHelper)
tests/lit/lit/TestRunner.py:671
↓ 1 callersFunction_execute_test_handle_errors
(test, lit_config)
tests/lit/lit/worker.py:74
↓ 1 callersFunction_get_parallelism_semaphore
(test)
tests/lit/lit/worker.py:57
↓ 1 callersMethod_get_skip_reason
(self, test)
tests/lit/lit/reports.py:151
← previousnext →601–700 of 1,932, ranked by callers