Searched refs:exprt (Results 1 – 4 of 4) sorted by relevance
63 WriteoutInstruction(Instruction::exprt, value), in ExportInstruction()73 assert(lhs.type() == exprt); in is_equal_to()
73 exprt, enumerator
166 case Instruction::exprt: in emit()
1546 Export exprt; in addExportInfo() local1547 exprt.name = atom->name(); in addExportInfo()1548 exprt.offset = _atomToAddress[atom] - _ctx.baseAddress(); in addExportInfo()1549 exprt.kind = EXPORT_SYMBOL_FLAGS_KIND_REGULAR; in addExportInfo()1551 exprt.flags = EXPORT_SYMBOL_FLAGS_WEAK_DEFINITION; in addExportInfo()1553 exprt.flags = 0; in addExportInfo()1554 exprt.otherOffset = 0; in addExportInfo()1555 exprt.otherName = StringRef(); in addExportInfo()1556 nFile.exportInfo.push_back(exprt); in addExportInfo()