From a114da2cc9f6caca4824582eea75ec91b8439cc7 Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Wed, 28 Aug 2019 22:51:21 +0200
Subject: merge upstream including fma fixes

---
 test/monniaux/BearSSL/mk/mkT0.cmd     | 32 --------------------------------
 test/monniaux/latency/latency.s       | 27 ---------------------------
 test/monniaux/predicated/predicated.s | 13 -------------
 3 files changed, 72 deletions(-)
 delete mode 100644 test/monniaux/BearSSL/mk/mkT0.cmd
 delete mode 100644 test/monniaux/latency/latency.s
 delete mode 100644 test/monniaux/predicated/predicated.s

(limited to 'test')

diff --git a/test/monniaux/BearSSL/mk/mkT0.cmd b/test/monniaux/BearSSL/mk/mkT0.cmd
deleted file mode 100644
index 98955625..00000000
--- a/test/monniaux/BearSSL/mk/mkT0.cmd
+++ /dev/null
@@ -1,32 +0,0 @@
-@echo off
-
-rem =====================================================================
-rem This script uses the command-line C# compiler csc.exe, which is
-rem provided with the .NET framework. We need framework 3.5 or later
-rem (some of the code uses features not available in the language version
-rem implemented in the compiler provided with framework 2.0.50727).
-rem =====================================================================
-
-if exist "%SystemRoot%\Microsoft.NET\Framework\v3.5\csc.exe" (
-	set CSC="%SystemRoot%\Microsoft.NET\Framework\v3.5\csc.exe"
-	goto do_compile
-)
-if exist "%SystemRoot%\Microsoft.NET\Framework\v4.0.30319\csc.exe" (
-	set CSC="%SystemRoot%\Microsoft.NET\Framework\v4.0.30319\csc.exe"
-	goto do_compile
-)
-if exist "%SystemRoot%\Microsoft.NET\Framework64\v3.5\csc.exe" (
-	set CSC="%SystemRoot%\Microsoft.NET\Framework64\v3.5\csc.exe"
-	goto do_compile
-)
-if exist "%SystemRoot%\Microsoft.NET\Framework64\v4.0.30319\csc.exe" (
-	set CSC="%SystemRoot%\Microsoft.NET\Framework64\v4.0.30319\csc.exe"
-	goto do_compile
-)
-
-echo C# compiler not found
-exit 1
-
-:do_compile
-%CSC% /nologo /out:T0Comp.exe /main:T0Comp /res:T0\kern.t0,t0-kernel T0\*.cs
-if %errorlevel% neq 0 exit /b %errorlevel%
diff --git a/test/monniaux/latency/latency.s b/test/monniaux/latency/latency.s
deleted file mode 100644
index 494f9f77..00000000
--- a/test/monniaux/latency/latency.s
+++ /dev/null
@@ -1,27 +0,0 @@
-# File generated by CompCert 3.4
-# Command line: -S latency.c
-	.text
-	.balign 2
-	.globl latency
-latency:
-	make    $r2 = 100
-;;
-	loopdo  $r2, .exitloop
-;;
-	lws	$r1 = 0[$r0]
-;;
-	addw	$r0 = $r0, 0
-;; 
-	addw	$r0 = $r0, 0
-;; 
-	addw	$r0 = $r0, 0
-;; 
-	addw	$r1 = $r1, 1
-;;
-	sw	0[$r0] = $r1
-;;
-.exitloop:	
-	ret	
-;;
-	.type	latency, @function
-	.size	latency, . - latency
diff --git a/test/monniaux/predicated/predicated.s b/test/monniaux/predicated/predicated.s
deleted file mode 100644
index f11606c2..00000000
--- a/test/monniaux/predicated/predicated.s
+++ /dev/null
@@ -1,13 +0,0 @@
-	.text
-	
-	.globl predicated_write
-predicated_write:
-	sd.wnez $r0? 8[$r1] = $r2
-	ret
-	;;
-
-	.globl predicated_read
-predicated_read:
-	ld.wnez $r1? $r0 = 8[$r2]
-	ret
-	;;
-- 
cgit