MCPcopy Create free account

hub / github.com/AliveToolkit/alive2 / functions

Functions1,932 in github.com/AliveToolkit/alive2

⨍ Functions 1,932◇ Types & classes 351
↓ 4 callersMethodgetDummyFloat
ir/type.cpp:420
↓ 4 callersMethodgetTypeConstraints
ir/type.cpp:304
↓ 4 callersMethodgetUsers
ir/function.cpp:378
↓ 4 callersFunctionget_bool
smt/expr.cpp:1390
↓ 4 callersFunctionget_fncallmem_bid
Return true if bid is the nonlocal block used to encode function calls' side effects
ir/memory.cpp:72
↓ 4 callersFunctionget_random_str
util/random.cpp:24
↓ 4 callersFunctionget_run_tests
0: test name, 1: ok with undef?, 2: stderr hash, 3: log hash, 4: error reason
web/index.php:164
↓ 4 callersFunctionhandle_subnormal
ir/instr.cpp:675
↓ 4 callersFunctionid_check
(fn, cmd, args)
tests/lit/lit/formats/alive2test.py:17
↓ 4 callersMethodinferImpliedAttributes
ir/attrs.cpp:453
↓ 4 callersMethodisAnd
smt/expr.cpp:522
↓ 4 callersMethodisByval
ir/pointer.cpp:879
↓ 4 callersMethodisConcat
smt/expr.cpp:489
↓ 4 callersMethodisFloat
ir/type.cpp:60
↓ 4 callersMethodisHeapAllocated
ir/pointer.cpp:769
↓ 4 callersMethodisNone
ir/attrs.h:195
↓ 4 callersMethodisTrue
smt/exprs.h:37
↓ 4 callersMethodisUndef
ir/state.cpp:687
↓ 4 callersFunctionis_constglb
ir/memory.cpp:55
↓ 4 callersMethodload
smt/expr.cpp:2099
↓ 4 callersMethodlook
(self)
tests/lit/lit/ShUtil.py:209
↓ 4 callersMethodmin_leading_zeros
smt/expr.cpp:647
↓ 4 callersFunctionmkdir
(path)
tests/lit/lit/util.py:149
↓ 4 callersMethodmul_no_soverflow
smt/expr.cpp:897
↓ 4 callersMethodneeds_continuation
(self)
tests/lit/lit/TestRunner.py:1540
↓ 4 callersMethodnumStoredBits
ir/memory.cpp:349
↓ 4 callersMethodobservesAddr
ir/memory.cpp:2876
↓ 4 callersFunctionoptimize_module
llvm_util/llvm_optimizer.cpp:12
↓ 4 callersFunctionparse_fn_tailcall
llvm_util/utils.cpp:550
↓ 4 callersMethodpeek
tools/alive_parser.cpp:103
↓ 4 callersMethodpoisonImpliesUB
ir/attrs.cpp:335
↓ 4 callersMethodprintHexadecimal
smt/expr.cpp:2445
↓ 4 callersFunctionprintOnlyIn
(basedir, path, name)
tests/lit/lit/builtin_commands/diff.py:156
↓ 4 callersMethodprintUnsigned
smt/expr.cpp:2432
↓ 4 callersMethodptrNonpoison
ir/memory.cpp:300
↓ 4 callersMethodrefined
ir/memory.cpp:408
↓ 4 callersMethodrefinedBy
ir/state.cpp:75
↓ 4 callersMethodreturnVal
ir/state.h:361
↓ 4 callersFunctionreturns_local
tools/transform.cpp:791
↓ 4 callersFunctionsearch
(path)
tests/lit/lit/discovery.py:74
↓ 4 callersMethodsetCanOnlyAccess
ir/attrs.cpp:252
↓ 4 callersMethodsimplify
ir/state_value.cpp:99
↓ 4 callersFunctionskip_null
ir/memory.cpp:43
↓ 4 callersMethodslt
smt/expr.cpp:1768
↓ 4 callersMethodsmtOf
ir/fast_math.cpp:203
↓ 4 callersFunctionsolver_print_stats
smt/solver.cpp:551
↓ 4 callersMethodstartBB
ir/state.cpp:772
↓ 4 callersFunctionstore_bv
ir/memory.cpp:207
↓ 4 callersFunctionstore_log
($txt)
scripts/gen-dashboard.php:92
↓ 4 callersFunctionsub_byte_bits
ir/memory.cpp:144
↓ 4 callersMethodsubst_simplify
smt/expr.cpp:2270
↓ 4 callersMethodtimeoutReached
(self)
tests/lit/lit/TestRunner.py:161
↓ 4 callersMethodtrunc
smt/expr.cpp:1848
↓ 4 callersMethoduint2fp
smt/expr.cpp:2049
↓ 4 callersMethodupdate
(self, test)
tests/lit/lit/display.py:94
↓ 4 callersMethodvars
ir/state_value.cpp:71
↓ 4 callersMethodvars
smt/expr.cpp:2303
↓ 3 callersFunction_error
(desc, *args)
tests/lit/lit/cl_arguments.py:374
↓ 3 callersFunctiona
TEST-ARGS: -O3 -mllvm -tv-tgt-unroll=2 -mllvm -tv-src-unroll=2
tests/clang-tv/issue569.cpp:2
↓ 3 callersMethodabs
smt/expr.cpp:1139
↓ 3 callersMethodactive
(self)
tests/lit/lit/TestRunner.py:125
↓ 3 callersMethodadd
smt/exprs.h:162
↓ 3 callersMethodadd
smt/solver.cpp:418
↓ 3 callersMethodaddJump
ir/state.cpp:833
↓ 3 callersMethodaddUndef
ir/function.cpp:279
↓ 3 callersMethodaddUndefVar
ir/state.cpp:1361
↓ 3 callersFunctionadd_identifier
llvm_util/utils.cpp:474
↓ 3 callersFunctionadd_token
tools/alive-jobserver.cpp:35
↓ 3 callersFunctionadd_users
ir/function.cpp:360
↓ 3 callersFunctionalign_ge_size
ir/memory.cpp:176
↓ 3 callersFunctionaligned_alloc_size
tools/transform.cpp:971
↓ 3 callersFunctionall_leaf_ptrs
ir/memory.cpp:888
↓ 3 callersFunctionattr_to_bitvec
ir/pointer.cpp:53
↓ 3 callersMethodblockSizeAlignedOffsetT
ir/pointer.cpp:341
↓ 3 callersMethodblockSizeOffsetT
ir/pointer.cpp:328
↓ 3 callersFunctionbuildPdbgCommand
(msg, cmd)
tests/lit/lit/TestRunner.py:74
↓ 3 callersMethodcanWriteAnything
ir/attrs.cpp:198
↓ 3 callersMethodcheck
smt/solver.cpp:470
↓ 3 callersFunctionchooseConfigFileFromDir
(dir, config_names)
tests/lit/lit/discovery.py:13
↓ 3 callersMethodcleanup
ir/state.cpp:714
↓ 3 callersMethodcompareFunctions
llvm_util/compare.cpp:99
↓ 3 callersFunctioncompare_iterators
util/spaceship.h:61
↓ 3 callersFunctiondirContainsTestSuite
(path, lit_config)
tests/lit/lit/discovery.py:21
↓ 3 callersFunctiondisjoint
Assumes that both begin + len don't overflow
ir/memory.cpp:187
↓ 3 callersFunctionencode_undef_refinement
Returns negation of refinement
tools/transform.cpp:471
↓ 3 callersMethodenforceAggregateType
ir/type.cpp:141
↓ 3 callersMethodenforceScalarOrVectorType
ir/type.cpp:181
↓ 3 callersFunctionensure_varargs_ptr
ir/instr.cpp:4808
↓ 3 callersMethodexec
smt/solver.cpp:175
↓ 3 callersFunctionexpand_glob_expressions
(args, cwd)
tests/lit/lit/TestRunner.py:219
↓ 3 callersFunctionf
tests/clang-tv/quiet.c:3
↓ 3 callersMethodfabs
smt/expr.cpp:1254
↓ 3 callersMethodfactor
smt/exprs.cpp:195
↓ 3 callersMethodfdiv
smt/expr.cpp:1244
↓ 3 callersFunctionfindFunction
llvm_util/utils.cpp:545
↓ 3 callersMethodfmul
smt/expr.cpp:1239
↓ 3 callersMethodfoeq
smt/expr.cpp:1334
↓ 3 callersFunctionformatOutput
(title, data, limit=None)
tests/lit/lit/TestRunner.py:1008
↓ 3 callersFunctionformat_date
($ts)
web/index.php:143
↓ 3 callersMethodgetConstants
ir/function.h:155
← previousnext →301–400 of 1,932, ranked by callers