Merge pull request #626 from OpenVADL/fix/edn

sys/aarch64: Fix SMADDL instruction

Author: AndreasKrall

sys/aarch64/aarch64.vadl

@@ -475,7 +475,7 @@ instruction set architecture AArch64Base = {
 
   model MulAddSubLongInstr (i: InstrWithFunct, type: Id): IsaDefs = {
     instruction $i.id: MulAddSubFormat =
-      X(rd) := VADL::$i.funct (X(ra), $WXReg(WSize)(rn) *# $WXReg(WSize)(rm))
+      X(rd) := VADL::$i.funct (X(ra), $WXReg(WSize)(rn) as $type *# $WXReg(WSize)(rm) as $type)
     encoding $i.id = { op = $i.opcode, sf = SF::XSize }
     assembly $i.id = ($i.mnemo, ' ', XSize(rd), ', ', WSize(rn), ', ', WSize(rm), ', ', XSize(ra))
     }

vadl/test/resources/embench/build_virt-iss-a64.sh

@@ -5,5 +5,4 @@ cd $(realpath $(dirname "$0"))
 CFLAGS="-march=armv8-a -g -mstrict-align"
 # benchmarks that use floating point types must be excluded
 FLOATEXCL="cubic,nbody,minver,st,statemate,ud,wikisort"
-NOTWORKING=",edn"
-./build_all.py --cc aarch64-none-elf-gcc --arch aarch64 --chip generic --board virt-iss --clean --cflags "$CFLAGS" --exclude "$FLOATEXCL$NOTWORKING" "$@"
+./build_all.py --cc aarch64-none-elf-gcc --arch aarch64 --chip generic --board virt-iss --clean --cflags "$CFLAGS" --exclude "$FLOATEXCL" "$@"