From 77d38c9f8a1ae1a678d49bd93f79792202cdcd23 Mon Sep 17 00:00:00 2001 From: David Monniaux Date: Tue, 28 May 2019 16:13:07 +0200 Subject: use /usr/bin/env bash --- test/monniaux/generate_makefiles.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/test/monniaux/generate_makefiles.sh b/test/monniaux/generate_makefiles.sh index 1c05538f..ecbbdf4d 100755 --- a/test/monniaux/generate_makefiles.sh +++ b/test/monniaux/generate_makefiles.sh @@ -1,4 +1,4 @@ -#!/usr/bin/bash +#!/usr/bin/env bash source benches.sh -- cgit From a70060e414a2cc0b162a67f463308d896efcdfab Mon Sep 17 00:00:00 2001 From: Cyril SIX Date: Tue, 28 May 2019 18:06:40 +0200 Subject: Added rm clock.o and stuff --- test/monniaux/clean_benches.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/test/monniaux/clean_benches.sh b/test/monniaux/clean_benches.sh index d246e110..c0a87ff9 100755 --- a/test/monniaux/clean_benches.sh +++ b/test/monniaux/clean_benches.sh @@ -5,3 +5,4 @@ rm -f commands.txt for bench in $benches; do (cd $bench && make clean) done +rm -f *.o -- cgit From b557706f77ca4cf0721dfb4d911207a2fae12411 Mon Sep 17 00:00:00 2001 From: David Monniaux Date: Wed, 29 May 2019 06:38:53 +0200 Subject: error in the classification of Srsw --- mppa_k1c/PostpassSchedulingOracle.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/mppa_k1c/PostpassSchedulingOracle.ml b/mppa_k1c/PostpassSchedulingOracle.ml index 9067f8e1..7015fd5f 100644 --- a/mppa_k1c/PostpassSchedulingOracle.ml +++ b/mppa_k1c/PostpassSchedulingOracle.ml @@ -603,9 +603,9 @@ let rec_to_usage r = | Some U27L5 | Some U27L10 -> mau_x | Some E27U27L10 -> mau_y) | Nop -> alu_nop - | Sraw | Srlw | Srsw | Sllw | Srad | Srld | Slld -> (match encoding with None | Some U6 -> alu_tiny | _ -> raise InvalidEncoding) + | Sraw | Srlw | Sllw | Srad | Srld | Slld -> (match encoding with None | Some U6 -> alu_tiny | _ -> raise InvalidEncoding) (* TODO: check *) - | Srsd | Rorw -> (match encoding with None | Some U6 -> alu_lite | _ -> raise InvalidEncoding) + | Srsw | Srsd | Rorw -> (match encoding with None | Some U6 -> alu_lite | _ -> raise InvalidEncoding) | Extfz | Extfs | Insf -> (match encoding with None -> alu_lite | _ -> raise InvalidEncoding) | Fixeduwz | Fixedwz | Floatwz | Floatuwz | Fixeddz | Fixedudz | Floatdz | Floatudz -> mau | Lbs | Lbz | Lhs | Lhz | Lws | Ld | Lq | Lo -> -- cgit