MCPcopy Create free account

hub / github.com/AliveToolkit/alive2 / functions

Functions1,932 in github.com/AliveToolkit/alive2

⨍ Functions 1,932◇ Types & classes 351
↓ 7 callersMethodzext
smt/expr.cpp:1842
↓ 6 callersFunction_caching_re_compile
(r)
tests/lit/lit/TestRunner.py:1420
↓ 6 callersMethodaddValue
ir/instr.cpp:3069
↓ 6 callersMethodadd_no_soverflow
smt/expr.cpp:853
↓ 6 callersMethodashr
smt/expr.cpp:931
↓ 6 callersFunctionbit_width
util/compiler.cpp:20
↓ 6 callersMethodcanOnlyRead
ir/state.cpp:43
↓ 6 callersFunctioncheck_can_load
ir/instr.cpp:2473
↓ 6 callersFunctioncheck_expr
smt/solver.cpp:533
↓ 6 callersMethoddelInstr
ir/function.cpp:63
↓ 6 callersMethoddoesApproximation
ir/state.cpp:1339
↓ 6 callersMethoddup
ir/instr.cpp:598
↓ 6 callersMethodenforceVectorTypeEquiv
ir/type.cpp:172
↓ 6 callersMethodexec
tools/transform.cpp:1376
↓ 6 callersMethodforceCastToInt
ir/memory.cpp:404
↓ 6 callersMethodgetValue
(self)
tests/lit/lit/TestRunner.py:1921
↓ 6 callersFunctionhasPtr
ir/type.cpp:1481
↓ 6 callersFunctionilog2_ceil
util/compiler.cpp:32
↓ 6 callersMethodisLoad
smt/expr.cpp:563
↓ 6 callersMethodisPoison
ir/memory.cpp:359
↓ 6 callersMethodload
ir/memory.cpp:1154
↓ 6 callersMethodlookup
smt/exprs.cpp:264
↓ 6 callersFunctionmkBVSort
smt/expr.cpp:39
↓ 6 callersMethodmul_no_uoverflow
smt/expr.cpp:902
↓ 6 callersMethodnp_bits
ir/type.cpp:27
↓ 6 callersFunctionparse_rounding
llvm_util/llvm2alive.cpp:38
↓ 6 callersMethodprint
ir/type.cpp:327
↓ 6 callersMethodquote
(self, token)
tests/lit/lit/BooleanExpression.py:68
↓ 6 callersMethodround
smt/expr.cpp:1328
↓ 6 callersFunctionround_up
util/compiler.cpp:78
↓ 6 callersMethodsetCanOnlyRead
ir/attrs.cpp:228
↓ 6 callersMethodsetMayAlias
ir/memory.cpp:770
↓ 6 callersMethodsetMayAliasUpTo
ir/memory.cpp:774
↓ 6 callersFunctiontest
()
tests/lit/lit/ProgressBar.py:317
↓ 6 callersFunctiontoString
tv/tv.cpp:100
↓ 6 callersFunctionto_unicode
Return the parameter as type which supports unicode, possibly decoding it. In Python2, this is the unicode type. In Python3 it's the str type
tests/lit/lit/util.py:99
↓ 6 callersMethodunionWith
ir/memory.cpp:795
↓ 6 callersMethodzextOrTrunc
smt/expr.cpp:1857
↓ 5 callersMethod_tigetstr
(self, cap_name)
tests/lit/lit/ProgressBar.py:150
↓ 5 callersMethodaddInput
ir/function.cpp:287
↓ 5 callersMethodaddPredicate
ir/function.cpp:275
↓ 5 callersMethodaddQuantVar
ir/state.cpp:1343
↓ 5 callersMethodcanReadSomething
ir/state.cpp:59
↓ 5 callersMethodceil
smt/expr.cpp:1320
↓ 5 callersFunctioncheck_can_store
ir/instr.cpp:2494
↓ 5 callersFunctione
tests/clang-tv/issue579.c:4
↓ 5 callersMethodencode
(value, nonpoison, UB)
ir/instr.cpp:57
↓ 5 callersMethodenforceFloatType
ir/type.cpp:145
↓ 5 callersMethodenforceVectorTypeIff
ir/type.cpp:157
↓ 5 callersFunctioneval
tools/alive-exec.cpp:43
↓ 5 callersMethodfloat2BV
smt/expr.cpp:2004
↓ 5 callersMethodfoge
smt/expr.cpp:1342
↓ 5 callersMethodfole
smt/expr.cpp:1350
↓ 5 callersMethodgetLogAddress
ir/pointer.cpp:310
↓ 5 callersMethodgetOffsetSizet
ir/pointer.cpp:254
↓ 5 callersMethodgetUInt
smt/solver.cpp:320
↓ 5 callersMethodget_location
Get a phrase describing the line or range of lines so far included by this directive and any line continuations.
tests/lit/lit/TestRunner.py:1469
↓ 5 callersMethodignore
ir/attrs.h:217
↓ 5 callersFunctionintersect_set
ir/state.cpp:96
↓ 5 callersMethodisAligned
ir/pointer.cpp:479
↓ 5 callersMethodisAsmMode
ir/state.cpp:695
↓ 5 callersMethodisAsmMode
ir/memory.cpp:394
↓ 5 callersMethodisBasedOnArg
ir/pointer.cpp:913
↓ 5 callersMethodisDefault
ir/attrs.h:205
↓ 5 callersMethodisNocapture
ir/pointer.cpp:888
↓ 5 callersFunctionisNonPtrVector
ir/type.cpp:1494
↓ 5 callersMethodisNot
smt/expr.cpp:526
↓ 5 callersFunctionis_unsupported_pass
tv/tv.cpp:520
↓ 5 callersFunctionllvm2alive
llvm_util/llvm2alive.cpp:2128
↓ 5 callersMethodnumMayAlias
ir/memory.cpp:765
↓ 5 callersFunctionpadding_nonptr_byte
ir/memory.cpp:162
↓ 5 callersFunctionparse_fast_math
tools/alive_parser.cpp:644
↓ 5 callersMethodrauw
ir/function.cpp:113
↓ 5 callersMethodraw_load
ir/memory.cpp:1149
↓ 5 callersFunctionrunTVPass
tv/tv.cpp:654
↓ 5 callersFunctionsimplify
do simple rewrites that cover the common cases
smt/exprs.cpp:100
↓ 5 callersMethodsimplify
smt/expr.cpp:2218
↓ 5 callersMethodsubst
ir/state_value.cpp:75
↓ 5 callersMethodsubst
smt/expr.cpp:2252
↓ 5 callersMethodtoString
ir/type.cpp:287
↓ 5 callersMethodudiv
smt/expr.cpp:763
↓ 4 callersMethod_tparm
(self, arg, index)
tests/lit/lit/ProgressBar.py:145
↓ 4 callersMethod_write_message
(self, kind, message)
tests/lit/lit/LitConfig.py:205
↓ 4 callersMethodaccept
(self, t)
tests/lit/lit/BooleanExpression.py:74
↓ 4 callersMethodaddArg
ir/instr.cpp:2428
↓ 4 callersMethodall_codes
()
tests/lit/lit/Test.py:18
↓ 4 callersMethodalloc
ir/memory.cpp:2138
↓ 4 callersFunctionany_fp_zero
ir/instr.cpp:655
↓ 4 callersMethodbegin
smt/exprs.h:147
↓ 4 callersMethodbyteNumber
ir/memory.cpp:354
↓ 4 callersMethodcanAccess
format ..rw..
ir/state.cpp:28
↓ 4 callersMethodcanWriteSomething
ir/state.cpp:67
↓ 4 callersFunctiondiv_ub
ir/instr.cpp:207
↓ 4 callersMethodend
ir/function.h:258
↓ 4 callersFunctionexec
tools/alive-exec.cpp:48
↓ 4 callersMethodfadd
smt/expr.cpp:1229
↓ 4 callersMethodfneg
smt/expr.cpp:1262
↓ 4 callersMethodfree
ir/memory.cpp:2250
↓ 4 callersMethodfromInt
ir/type.cpp:254
↓ 4 callersMethodgetAttrs
ir/pointer.cpp:264
← previousnext →201–300 of 1,932, ranked by callers