MCPcopy Create free account

hub / github.com/AliveToolkit/alive2 / functions

Functions1,932 in github.com/AliveToolkit/alive2

⨍ Functions 1,932◇ Types & classes 351
↓ 14 callersMethodgetInputs
ir/function.h:177
↓ 14 callersFunctiongetInt
ir/constant.cpp:229
↓ 14 callersFunctionllvm_type2alive
llvm_util/utils.cpp:117
↓ 14 callersMethodrelease
ir/pointer.h:95
↓ 14 callersMethodtoBVBool
smt/expr.cpp:1999
↓ 13 callersMethodcheckException
(self, expr, error)
tests/lit/lit/BooleanExpression.py:249
↓ 13 callersMethodenforceFloatOrVectorType
ir/type.cpp:201
↓ 13 callersFunctionerror
tools/alive_parser.cpp:29
↓ 13 callersMethodisIf
smt/expr.cpp:485
↓ 13 callersMethodnumElements
ir/type.cpp:788
↓ 13 callersMethodoperands
ir/instr.cpp:135
↓ 12 callersMethodencode
ir/attrs.cpp:424
↓ 12 callersMethodenforceVectorType
ir/type.cpp:153
↓ 12 callersMethodgetAsFloatType
ir/type.cpp:215
↓ 12 callersMethodhasAttribute
ir/value.h:128
↓ 12 callersMethodisBV
smt/expr.cpp:395
↓ 12 callersFunctionis_fncall_mem
ir/memory.cpp:77
↓ 12 callersMethodtargets
ir/function.cpp:89
↓ 12 callersMethodtrunc
ir/state_value.cpp:26
↓ 11 callersMethodResult
smt/solver.h:120
↓ 11 callersMethodaddIdx
ir/instr.cpp:2140
↓ 11 callersMethodblockSizeAligned
ir/pointer.cpp:333
↓ 11 callersMethodgetAlign
ir/instr.cpp:2339
↓ 11 callersMethodgetDummyValue
ir/type.cpp:300
↓ 11 callersFunctionisCast
ir/instr.cpp:5130
↓ 11 callersMethodisOne
smt/expr.cpp:425
↓ 11 callersMethodisUnsat
smt/solver.h:123
↓ 11 callersMethodnumLocals
ir/memory.cpp:921
↓ 11 callersMethodwarning
(self, message)
tests/lit/lit/LitConfig.py:235
↓ 10 callersMethodcanWrite
ir/state.cpp:38
↓ 10 callersMethodeval
smt/solver.cpp:314
↓ 10 callersMethodgetFreshNondetVar
ir/state.cpp:1351
↓ 10 callersMethodgetParent
ir/function.cpp:1197
↓ 10 callersMethodgetSourcePath
(self)
tests/lit/lit/Test.py:306
↓ 10 callersMethodgetValue
ir/pointer.cpp:268
↓ 10 callersFunctionhasLogicalBit
ir/pointer.cpp:15
↓ 10 callersMethodisFloatType
ir/type.cpp:97
↓ 10 callersFunctionmake_intconst
llvm_util/utils.cpp:244
↓ 10 callersMethodmayAlias
ir/memory.cpp:748
↓ 10 callersMethodnote
(self, message)
tests/lit/lit/LitConfig.py:231
↓ 10 callersFunctionto_bytes
Return the parameter as type 'bytes', possibly encoding it. In Python2, the 'bytes' type is the same as 'str'. In Python3, they are distinct.
tests/lit/lit/util.py:43
↓ 9 callersMethodadd_no_uoverflow
smt/expr.cpp:868
↓ 9 callersFunctionadd_saturate
util/compiler.cpp:51
↓ 9 callersFunctionalways_nowrite
bid: nonlocal block id
ir/memory.cpp:107
↓ 9 callersFunctionbits_ptr_byte_offset
ir/memory.cpp:152
↓ 9 callersFunctiondivide_up
util/compiler.cpp:74
↓ 9 callersMethodeat
(self)
tests/lit/lit/ShUtil.py:15
↓ 9 callersMethodgetAllocType
ir/pointer.cpp:755
↓ 9 callersFunctiongetIntOr
ir/constant.cpp:237
↓ 9 callersMethodisFailure
(self)
tests/lit/lit/Test.py:294
↓ 9 callersMethodisInf
smt/expr.cpp:1177
↓ 9 callersMethodisLogical
ir/pointer.cpp:191
↓ 9 callersMethodisPtr
ir/memory.cpp:296
↓ 9 callersMethodisSat
smt/solver.h:122
↓ 9 callersFunctionmk_block_if
ir/memory.cpp:112
↓ 9 callersMethodreset
smt/smt.cpp:21
↓ 9 callersMethodsge
smt/expr.cpp:1780
↓ 9 callersMethodsizeVar
ir/type.cpp:47
↓ 9 callersMethodurem
smt/expr.cpp:789
↓ 8 callersMethodaddInstrAt
ir/function.cpp:50
↓ 8 callersFunctionbb_dot_name
ir/function.cpp:983
↓ 8 callersFunctionbyte_has_ptr_bit
ir/memory.cpp:148
↓ 8 callersMethodend
smt/solver.cpp:342
↓ 8 callersMethodend
util/compiler.h:43
↓ 8 callersFunctionfm_poison
ir/instr.cpp:729
↓ 8 callersMethodgetAlignment
ir/value.h:98
↓ 8 callersMethodgetShortOffset
ir/pointer.cpp:259
↓ 8 callersFunctionhit_half_memory_limit
smt/smt.cpp:73
↓ 8 callersMethodisFPZero
smt/expr.cpp:1187
↓ 8 callersMethodisVoid
ir/type.cpp:121
↓ 8 callersFunctionmerge
smt/exprs.h:235
↓ 8 callersMethodnumNonlocals
ir/memory.cpp:925
↓ 8 callersFunctionparse_exceptions
llvm_util/llvm2alive.cpp:53
↓ 8 callersMethodprint
tools/transform.cpp:1964
↓ 8 callersFunctionraw_load
ir/memory.cpp:1138
↓ 8 callersMethodscalarSize
ir/type.cpp:51
↓ 8 callersMethodsle
smt/expr.cpp:1761
↓ 8 callersMethodunget
tools/alive_parser.cpp:126
↓ 7 callersMethodbegin
WARNING: the parent Model class has to be alive while iterators are in use.
smt/solver.h:54
↓ 7 callersMethodbegin
util/compiler.h:42
↓ 7 callersMethodcanOnlyWrite
ir/state.cpp:51
↓ 7 callersMethodcanRead
ir/state.cpp:33
↓ 7 callersMethoddomain
smt/exprs.h:175
↓ 7 callersMethodenforcePtrOrVectorType
ir/type.cpp:206
↓ 7 callersMethodfatal
(self, message)
tests/lit/lit/LitConfig.py:244
↓ 7 callersMethodgetFloat
ir/type.cpp:433
↓ 7 callersMethodgetGlobalVar
ir/function.cpp:250
↓ 7 callersMethodgetGlobalVars
ir/function.cpp:258
↓ 7 callersFunctionilog2
util/compiler.cpp:28
↓ 7 callersMethodisAggregateType
ir/type.cpp:117
↓ 7 callersMethodisInitializationPhase
ir/state.h:336
↓ 7 callersFunctionis_globalvar
If include_tgt is true, return true if bid is a global var existing in target only as well
ir/memory.cpp:49
↓ 7 callersFunctionis_neq
util/spaceship.h:14
↓ 7 callersFunctionis_power2
smt/expr.cpp:64
↓ 7 callersMethodlex
(self)
tests/lit/lit/ShUtil.py:204
↓ 7 callersMethodmaybe_eat
maybe_eat(c) - Consume the character c if it is the next character, returning True if a character was consumed.
tests/lit/lit/ShUtil.py:23
↓ 7 callersMethodnonptrValue
ir/memory.cpp:342
↓ 7 callersMethodrauw
ir/value.cpp:21
↓ 7 callersMethodsextOrTrunc
smt/expr.cpp:1852
↓ 7 callersFunctionsize_byte_number
ir/memory.cpp:137
← previousnext →101–200 of 1,932, ranked by callers