merge upstream including fma fixes

3 files changed, 0 insertions, 72 deletions

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
-	;;