ruige/eb001
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

增强查找工具的功能

Browse Source
This commit is contained in:
bacon
2025-02-28 09:07:59 +08:00
parent 9937485831
commit 699786b7d1
3 changed files with 30 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

34
tb/sw/src/check_custom_ins.py
View File

@@ -7,8 +7,8 @@ import re
def search_custom_inst(logfile, opcode, funct, xd = 0, xs1 = 0, xs2 = 0, xd_filter = 0, xs1_filter = 0, xs2_filter = 0):
lines = logfile.readlines()
def search_custom_inst(logdata, opcode, funct, xd = 0, xs1 = 0, xs2 = 0, xd_filter = 0, xs1_filter = 0, xs2_filter = 0):
lines = logdata
funct3 = 0
if xd != 0:
funct3 = funct3 | 0x4
@@ -33,24 +33,46 @@ def search_custom_inst(logfile, opcode, funct, xd = 0, xs1 = 0, xs2 = 0, xd_filt
ins_funct3 = (inst >> 12) & 0x7
if (ins_funct == funct) and (funct3 == ins_funct3):
outline = line.rstrip()
if (xs1 != 0) and ((rreg1_val & xs1_filter) != 0):
if (xs1 != 0) and ((rreg1_val & xs1_filter) == xs1_filter):
print(outline)
if (xd != 0) and ((wreg_val & xd_filter) != 0):
if (xd != 0) and ((wreg_val & xd_filter) == xd_filter):
print(outline)
if (xs2 != 0) and ((rreg2_val & xs2_filter) != 0):
if (xs2 != 0) and ((rreg2_val & xs2_filter) == xs2_filter):
print(outline)
else:
pass
def get_bit_pos(val):
bits_pos = list()
val = val & 0xffffffff
for i in range(32):
if (val & (1 << i)) != 0:
bits_pos.insert(0, i)
return bits_pos
if __name__ == '__main__':
path = sys.argv[0]
path = path.split('/')[0:-1]
path = '/'.join(path)
logfile_path = path + '/../build/cpu1_log.txt'
if len(sys.argv) > 1:
logfile_path = sys.argv[1]
print(logfile_path)
with open(logfile_path, 'rt') as logfile:
search_custom_inst(logfile, 0xb, 0x17, xs1=1, xs1_filter=(1<<7))
logdata = logfile.readlines()
filter = 1<<7
print(f'custom0-ins: clear roccs int flag, bit filter:', get_bit_pos(filter))
search_custom_inst(logdata, 0xb, 0x17, xs1=1, xs1_filter=filter)
'''
filter = (1<<10) | (1 << 7) | (1 << 2) | (1 << 1)
print('custom0-ins: clear roccs int flag, bit filter:', get_bit_pos(filter))
search_custom_inst(logdata, 0xb, 0x17, xs1=1, xs1_filter=filter)
'''
logfile.close()