openpower-isa.git
3 years agowhoops overlap of fv0-2 with sum/2/tmp, move further up
Luke Kenneth Casson Leighton [Tue, 15 Jun 2021 10:09:03 +0000 (11:09 +0100)]
whoops overlap of fv0-2 with sum/2/tmp, move further up

3 years agosigh bug in setvl, temporarily setting to 7 not 8
Luke Kenneth Casson Leighton [Mon, 14 Jun 2021 23:53:54 +0000 (00:53 +0100)]
sigh bug in setvl, temporarily setting to 7 not 8

3 years agonope, win = win2 + 31
Luke Kenneth Casson Leighton [Mon, 14 Jun 2021 23:40:21 +0000 (00:40 +0100)]
nope, win = win2 + 31

3 years agoguessing probably supposed to be 128 not 124
Luke Kenneth Casson Leighton [Mon, 14 Jun 2021 23:39:31 +0000 (00:39 +0100)]
guessing probably supposed to be 128 not 124

3 years agotmpsum2 probably needed to be fp3
Luke Kenneth Casson Leighton [Mon, 14 Jun 2021 23:37:09 +0000 (00:37 +0100)]
tmpsum2 probably needed to be fp3

3 years agotemporary move regs into range 0-31
Luke Kenneth Casson Leighton [Mon, 14 Jun 2021 22:00:24 +0000 (23:00 +0100)]
temporary move regs into range 0-31

3 years agorecognise setvl instruction during SVP64 translation
Luke Kenneth Casson Leighton [Mon, 14 Jun 2021 22:00:06 +0000 (23:00 +0100)]
recognise setvl instruction during SVP64 translation

3 years agowhoops forgot format-to-format conversion
Luke Kenneth Casson Leighton [Mon, 14 Jun 2021 21:49:59 +0000 (22:49 +0100)]
whoops forgot format-to-format conversion

3 years agoseries of text macro formats to look for: x.v, x.s (x)
Luke Kenneth Casson Leighton [Mon, 14 Jun 2021 21:46:57 +0000 (22:46 +0100)]
series of text macro formats to look for: x.v, x.s (x)

3 years agoadd basic "macro" (.set) support to SVP64Asm
Luke Kenneth Casson Leighton [Mon, 14 Jun 2021 21:36:16 +0000 (22:36 +0100)]
add basic "macro" (.set) support to SVP64Asm
also fix bug where immediate fields were not being translated

3 years agomp3_0 initial sv
Lauri Kasanen [Mon, 14 Jun 2021 12:25:12 +0000 (15:25 +0300)]
mp3_0 initial sv

3 years agoReorder mp3_0_basicsv back to the C loop style
Lauri Kasanen [Mon, 14 Jun 2021 11:53:40 +0000 (14:53 +0300)]
Reorder mp3_0_basicsv back to the C loop style

3 years agoUpdate mp3_1.gpr missed in b04990f79c
Lauri Kasanen [Mon, 14 Jun 2021 11:20:56 +0000 (14:20 +0300)]
Update mp3_1.gpr missed in b04990f79c

3 years agoadd some more comments in the mapreduce svp64 examples/unit tests
Luke Kenneth Casson Leighton [Wed, 9 Jun 2021 20:33:16 +0000 (21:33 +0100)]
add some more comments in the mapreduce svp64 examples/unit tests

3 years agoadd sv.fmuls/mr - mapreduce - FP multiply-single test
Luke Kenneth Casson Leighton [Wed, 9 Jun 2021 17:31:25 +0000 (18:31 +0100)]
add sv.fmuls/mr - mapreduce - FP multiply-single test

3 years agoadd first scalar mapreduce SVP64 example
Luke Kenneth Casson Leighton [Wed, 9 Jun 2021 17:19:40 +0000 (18:19 +0100)]
add first scalar mapreduce SVP64 example

3 years agoadd what might turn out to be only what is needed to support mapreduce
Luke Kenneth Casson Leighton [Wed, 9 Jun 2021 17:05:05 +0000 (18:05 +0100)]
add what might turn out to be only what is needed to support mapreduce
scalar mode

3 years agowhoops, carry-over during rounding picks MSB not LSB
Luke Kenneth Casson Leighton [Tue, 8 Jun 2021 16:33:16 +0000 (17:33 +0100)]
whoops, carry-over during rounding picks MSB not LSB

3 years agowhoops copy sign over on zero
Luke Kenneth Casson Leighton [Tue, 8 Jun 2021 16:13:45 +0000 (17:13 +0100)]
whoops copy sign over on zero

3 years agoexponent bitwidth in DOUBLE2SINGLE needs to be 11 bits not 12
Luke Kenneth Casson Leighton [Tue, 8 Jun 2021 12:54:18 +0000 (13:54 +0100)]
exponent bitwidth in DOUBLE2SINGLE needs to be 11 bits not 12

3 years agouse new auto-generated DOUBLE2SINGLE from isafunctions pseudocode in FPMUL32
Luke Kenneth Casson Leighton [Tue, 8 Jun 2021 12:12:40 +0000 (13:12 +0100)]
use new auto-generated DOUBLE2SINGLE from isafunctions pseudocode in FPMUL32

3 years agoadd detection of function parameters in parser
Luke Kenneth Casson Leighton [Tue, 8 Jun 2021 12:11:18 +0000 (13:11 +0100)]
add detection of function parameters in parser
and stop assuming they are uninitialised variables (auto-assigned)
when slices are used

3 years agoadd better debug logs and asserts for SelectableInt slice
Luke Kenneth Casson Leighton [Tue, 8 Jun 2021 12:09:01 +0000 (13:09 +0100)]
add better debug logs and asserts for SelectableInt slice

3 years agoadd support in pyparser for negative numbers
Luke Kenneth Casson Leighton [Tue, 8 Jun 2021 12:08:18 +0000 (13:08 +0100)]
add support in pyparser for negative numbers

3 years agowhoops fraction in fpfromint off-by-one
Luke Kenneth Casson Leighton [Mon, 7 Jun 2021 12:24:03 +0000 (13:24 +0100)]
whoops fraction in fpfromint off-by-one

3 years agowhoops, in1_isvec and dec_bi are optional
Luke Kenneth Casson Leighton [Thu, 3 Jun 2021 12:02:34 +0000 (13:02 +0100)]
whoops, in1_isvec and dec_bi are optional

3 years agofmuls test showing rounding error against qemu
Luke Kenneth Casson Leighton [Wed, 2 Jun 2021 20:43:30 +0000 (21:43 +0100)]
fmuls test showing rounding error against qemu

3 years agofound FP single-conversion error, from the pseudocode, incorrectly
Luke Kenneth Casson Leighton [Wed, 2 Jun 2021 13:34:52 +0000 (14:34 +0100)]
found FP single-conversion error, from the pseudocode, incorrectly
translated to python by hand.  really should replace it with actual
pseudocode

3 years agomove mp3 test params slightly higher up so as not to clash with qemu BIOS
Luke Kenneth Casson Leighton [Wed, 2 Jun 2021 12:35:55 +0000 (13:35 +0100)]
move mp3 test params slightly higher up so as not to clash with qemu BIOS

3 years agoadd commented-out debug prints
Luke Kenneth Casson Leighton [Wed, 2 Jun 2021 12:33:31 +0000 (13:33 +0100)]
add commented-out debug prints

3 years agowhoops sorting SPRs, stop that for now
Luke Kenneth Casson Leighton [Wed, 2 Jun 2021 12:33:17 +0000 (13:33 +0100)]
whoops sorting SPRs, stop that for now

3 years agoget qemu FP regs correctly
Luke Kenneth Casson Leighton [Wed, 2 Jun 2021 12:32:51 +0000 (13:32 +0100)]
get qemu FP regs correctly

3 years agoFP basic qemu sim, testing fadds loads and stores
Luke Kenneth Casson Leighton [Wed, 2 Jun 2021 12:31:29 +0000 (13:31 +0100)]
FP basic qemu sim, testing fadds loads and stores

3 years agoappears that the FP operation takes place at full 64-bit precision
Luke Kenneth Casson Leighton [Wed, 2 Jun 2021 12:23:44 +0000 (13:23 +0100)]
appears that the FP operation takes place at full 64-bit precision
then is truncated afterwards to 32-bit, then converted to fit into 64

3 years agowhoops missing argument
Luke Kenneth Casson Leighton [Tue, 1 Jun 2021 13:42:39 +0000 (14:42 +0100)]
whoops missing argument

3 years agomove spot-check mem compare to a function
Luke Kenneth Casson Leighton [Tue, 1 Jun 2021 13:41:15 +0000 (14:41 +0100)]
move spot-check mem compare to a function
use for further debugging by checking a corrupted address

3 years agocheck both LD and ST in qemu compare
Luke Kenneth Casson Leighton [Tue, 1 Jun 2021 13:32:43 +0000 (14:32 +0100)]
check both LD and ST in qemu compare

3 years agobizarre, GPR 3 is set by qemu to non-zero at startup.
Luke Kenneth Casson Leighton [Tue, 1 Jun 2021 13:21:13 +0000 (14:21 +0100)]
bizarre, GPR 3 is set by qemu to non-zero at startup.
clear all GPRs: set to zero

3 years agowhoops start basic sim from 0x20000000
Luke Kenneth Casson Leighton [Tue, 1 Jun 2021 13:16:41 +0000 (14:16 +0100)]
whoops start basic sim from 0x20000000

3 years agobit more memdump debugging on qemu sim
Luke Kenneth Casson Leighton [Tue, 1 Jun 2021 13:12:49 +0000 (14:12 +0100)]
bit more memdump debugging on qemu sim

3 years agocomment cleanup, record last LD/ST address in simulator
Luke Kenneth Casson Leighton [Tue, 1 Jun 2021 11:55:39 +0000 (12:55 +0100)]
comment cleanup, record last LD/ST address in simulator
for checking with a snapshop on memory operations

3 years agowhoops crank down the debug level
Luke Kenneth Casson Leighton [Tue, 1 Jun 2021 10:40:12 +0000 (11:40 +0100)]
whoops crank down the debug level

3 years agosorting out qemu co-simulation to read/write FP regs
Luke Kenneth Casson Leighton [Tue, 1 Jun 2021 02:59:34 +0000 (03:59 +0100)]
sorting out qemu co-simulation to read/write FP regs

3 years agoadd "normal" element-strided LD/ST decode/support to ISACaller
Luke Kenneth Casson Leighton [Sun, 30 May 2021 11:40:08 +0000 (12:40 +0100)]
add "normal" element-strided LD/ST decode/support to ISACaller

3 years agocomments
Luke Kenneth Casson Leighton [Sat, 29 May 2021 19:17:49 +0000 (20:17 +0100)]
comments

3 years agoadd unit-strided LD/ST ISACaller SVP64 unit test
Luke Kenneth Casson Leighton [Sat, 29 May 2021 19:12:18 +0000 (20:12 +0100)]
add unit-strided LD/ST ISACaller SVP64 unit test

3 years agoinitialise SVP64 ld/st mode decoding in PowerDecoder2
Luke Kenneth Casson Leighton [Sat, 29 May 2021 17:42:19 +0000 (18:42 +0100)]
initialise SVP64 ld/st mode decoding in PowerDecoder2

3 years agocomments
Luke Kenneth Casson Leighton [Sat, 29 May 2021 17:19:15 +0000 (18:19 +0100)]
comments

3 years agoextract LDST mode from SVP64 RM
Luke Kenneth Casson Leighton [Sat, 29 May 2021 17:13:56 +0000 (18:13 +0100)]
extract LDST mode from SVP64 RM

3 years agocan't stand python 'format'
Luke Kenneth Casson Leighton [Sat, 29 May 2021 15:25:02 +0000 (16:25 +0100)]
can't stand python 'format'

3 years agodump memory from qemu in pypowersim
Luke Kenneth Casson Leighton [Sat, 29 May 2021 15:13:15 +0000 (16:13 +0100)]
dump memory from qemu in pypowersim

3 years agoadd SVP64 RM LDST mode enum
Luke Kenneth Casson Leighton [Fri, 28 May 2021 17:45:40 +0000 (18:45 +0100)]
add SVP64 RM LDST mode enum

3 years agoBegin on SV for mp3_0
Lauri Kasanen [Fri, 28 May 2021 16:26:50 +0000 (19:26 +0300)]
Begin on SV for mp3_0

3 years agoprint out offset for load address in hex
Luke Kenneth Casson Leighton [Fri, 28 May 2021 13:35:44 +0000 (14:35 +0100)]
print out offset for load address in hex

3 years agoprobably got MSR.FP bit set... maybe
Luke Kenneth Casson Leighton [Fri, 28 May 2021 12:55:42 +0000 (13:55 +0100)]
probably got MSR.FP bit set... maybe

3 years agoadd quick stfd test to make sure MSR.FP is set
Luke Kenneth Casson Leighton [Fri, 28 May 2021 12:55:26 +0000 (13:55 +0100)]
add quick stfd test to make sure MSR.FP is set

3 years agoCorrect mp3_1 dump size
Lauri Kasanen [Fri, 28 May 2021 11:42:25 +0000 (14:42 +0300)]
Correct mp3_1 dump size

3 years agoAdd 16kb stack space (total 20kb before it hits vecs at 0x3000)
Lauri Kasanen [Fri, 28 May 2021 11:41:35 +0000 (14:41 +0300)]
Add 16kb stack space (total 20kb before it hits vecs at 0x3000)

3 years agoUndo qemu address changes
Lauri Kasanen [Fri, 28 May 2021 11:41:08 +0000 (14:41 +0300)]
Undo qemu address changes

3 years agoincrease RAM sizes for media memmap
Luke Kenneth Casson Leighton [Thu, 27 May 2021 18:05:13 +0000 (19:05 +0100)]
increase RAM sizes for media memmap

3 years agomoving stack and parameters higher up for media test
Luke Kenneth Casson Leighton [Thu, 27 May 2021 17:59:37 +0000 (18:59 +0100)]
moving stack and parameters higher up for media test

3 years agomove stack pointer higher up to keep qemu happier in audio tests
Luke Kenneth Casson Leighton [Thu, 27 May 2021 17:44:31 +0000 (18:44 +0100)]
move stack pointer higher up to keep qemu happier in audio tests

3 years agomove SPR set to qemu.py
Luke Kenneth Casson Leighton [Thu, 27 May 2021 17:43:43 +0000 (18:43 +0100)]
move SPR set to qemu.py

3 years agodebug print qemu and simulator LR
Luke Kenneth Casson Leighton [Thu, 27 May 2021 17:37:38 +0000 (18:37 +0100)]
debug print qemu and simulator LR

3 years agoset SPRs inside qemu run_program
Luke Kenneth Casson Leighton [Thu, 27 May 2021 17:32:07 +0000 (18:32 +0100)]
set SPRs inside qemu run_program

3 years agoadd disassembly dump and set_lr to qemu
Luke Kenneth Casson Leighton [Thu, 27 May 2021 17:25:50 +0000 (18:25 +0100)]
add disassembly dump and set_lr to qemu

3 years agohex dump debug
Luke Kenneth Casson Leighton [Thu, 27 May 2021 17:08:37 +0000 (18:08 +0100)]
hex dump debug

3 years agoskip step, program pointing at correct location already
Luke Kenneth Casson Leighton [Thu, 27 May 2021 17:08:29 +0000 (18:08 +0100)]
skip step, program pointing at correct location already

3 years agowhoops yield in setup_one ISACaller
Luke Kenneth Casson Leighton [Thu, 27 May 2021 17:08:12 +0000 (18:08 +0100)]
whoops yield in setup_one ISACaller

3 years agospeed up bytes upload in qemu.py
Luke Kenneth Casson Leighton [Thu, 27 May 2021 16:13:41 +0000 (17:13 +0100)]
speed up bytes upload in qemu.py

3 years agoset PC in pypowersim
Luke Kenneth Casson Leighton [Thu, 27 May 2021 11:26:13 +0000 (12:26 +0100)]
set PC in pypowersim

3 years agopass output dump argument to shell script for audio tests
Luke Kenneth Casson Leighton [Thu, 27 May 2021 11:24:13 +0000 (12:24 +0100)]
pass output dump argument to shell script for audio tests

3 years agoget full qemu list of registers, on each cycle, saves time
Luke Kenneth Casson Leighton [Thu, 27 May 2021 11:15:19 +0000 (12:15 +0100)]
get full qemu list of registers, on each cycle, saves time

3 years agoreport log expected different qemu values rather than all of them
Luke Kenneth Casson Leighton [Thu, 27 May 2021 10:35:11 +0000 (11:35 +0100)]
report log expected different qemu values rather than all of them

3 years agowhoops inverted logic on qemu endian set
Luke Kenneth Casson Leighton [Thu, 27 May 2021 10:30:37 +0000 (11:30 +0100)]
whoops inverted logic on qemu endian set

3 years agoadd setting of qemu GPRs/FPRs in pypowersim
Luke Kenneth Casson Leighton [Thu, 27 May 2021 10:28:38 +0000 (11:28 +0100)]
add setting of qemu GPRs/FPRs in pypowersim

3 years agoslightly messy: qemu goes haywire at the last instruction.
Luke Kenneth Casson Leighton [Thu, 27 May 2021 10:20:05 +0000 (11:20 +0100)]
slightly messy: qemu goes haywire at the last instruction.
reset bigendian to sane value

3 years agooops syntax error
Luke Kenneth Casson Leighton [Thu, 27 May 2021 09:06:37 +0000 (10:06 +0100)]
oops syntax error

3 years agoadd qemu gpr/fpr set/get
Luke Kenneth Casson Leighton [Thu, 27 May 2021 09:04:50 +0000 (10:04 +0100)]
add qemu gpr/fpr set/get

3 years agocreate a register cache for qemu machine interface, very slow
Luke Kenneth Casson Leighton [Thu, 27 May 2021 08:59:53 +0000 (09:59 +0100)]
create a register cache for qemu machine interface, very slow

3 years agoget qemu operational single-step mode, use in pypowersim
Luke Kenneth Casson Leighton [Thu, 27 May 2021 08:51:05 +0000 (09:51 +0100)]
get qemu operational single-step mode, use in pypowersim

3 years agoQoL tuning
Lauri Kasanen [Wed, 26 May 2021 08:56:43 +0000 (11:56 +0300)]
QoL tuning

3 years agoMissed semicolon
Lauri Kasanen [Wed, 26 May 2021 08:50:10 +0000 (11:50 +0300)]
Missed semicolon

3 years agoDedup them via scripts
Lauri Kasanen [Wed, 26 May 2021 08:49:03 +0000 (11:49 +0300)]
Dedup them via scripts

3 years agoFill in first mp3_1 incantation
Lauri Kasanen [Wed, 26 May 2021 08:39:11 +0000 (11:39 +0300)]
Fill in first mp3_1 incantation

3 years agoFill in all mp3_0 runs, move the spr to a common file
Lauri Kasanen [Wed, 26 May 2021 08:31:41 +0000 (11:31 +0300)]
Fill in all mp3_0 runs, move the spr to a common file

3 years agoUndo log in mem dump
Lauri Kasanen [Wed, 26 May 2021 08:21:58 +0000 (11:21 +0300)]
Undo log in mem dump

3 years agoUse log in decoder/*
Lauri Kasanen [Wed, 26 May 2021 08:21:30 +0000 (11:21 +0300)]
Use log in decoder/*

3 years agoUndo log in isa/caller reg dump
Lauri Kasanen [Wed, 26 May 2021 08:14:14 +0000 (11:14 +0300)]
Undo log in isa/caller reg dump

3 years agoUse log in isa/mem
Lauri Kasanen [Wed, 26 May 2021 08:11:43 +0000 (11:11 +0300)]
Use log in isa/mem

3 years agoextracting memory for dump must be big-endian ordered
Luke Kenneth Casson Leighton [Tue, 25 May 2021 13:32:53 +0000 (14:32 +0100)]
extracting memory for dump must be big-endian ordered

3 years agoadd loading of data and output dump of samples to mp3 pypowersim example
Luke Kenneth Casson Leighton [Tue, 25 May 2021 13:09:50 +0000 (14:09 +0100)]
add loading of data and output dump of samples to mp3 pypowersim example

3 years agowhoops two options "-l", rename one "-a" for "assembly listing"
Luke Kenneth Casson Leighton [Tue, 25 May 2021 13:09:05 +0000 (14:09 +0100)]
whoops two options "-l", rename one "-a" for "assembly listing"

3 years agoallow comments in SPR / GPR / FPR files
Luke Kenneth Casson Leighton [Tue, 25 May 2021 13:02:38 +0000 (14:02 +0100)]
allow comments in SPR / GPR / FPR files

3 years agoUse log in pypowersim, add counter TODO in help
Lauri Kasanen [Tue, 25 May 2021 12:57:52 +0000 (15:57 +0300)]
Use log in pypowersim, add counter TODO in help

3 years agoSwitch to log in decoder/helpers
Lauri Kasanen [Tue, 25 May 2021 12:43:15 +0000 (15:43 +0300)]
Switch to log in decoder/helpers

3 years agoSwitch to log in isa/caller
Lauri Kasanen [Tue, 25 May 2021 12:39:49 +0000 (15:39 +0300)]
Switch to log in isa/caller

3 years agomore notes on pypowersim
Luke Kenneth Casson Leighton [Tue, 25 May 2021 10:29:16 +0000 (11:29 +0100)]
more notes on pypowersim

3 years agoadd dump-out option to pypowersim
Luke Kenneth Casson Leighton [Tue, 25 May 2021 10:21:08 +0000 (11:21 +0100)]
add dump-out option to pypowersim

3 years agoadd add setting of LR so that code jumps outside of executable range when done
Luke Kenneth Casson Leighton [Tue, 25 May 2021 09:41:12 +0000 (10:41 +0100)]
add add setting of LR so that code jumps outside of executable range when done