From: Stephane Glondu <steph@glondu.net>
Date: Sun, 16 Aug 2015 20:59:14 +0200
Subject: Add a .file directive to generated .s files

When no .file directive is given, the toolchain records the filename
of the .o file, which is sometimes random, making generated objects
non-deterministic.

We use Location.input_name for adding .file directives to assembly
files. Note: when the file is preprocessed, this reference holds the
name of the temporary file. Hence, files compiled with -pp are still
not deterministic.

Bug-Debian: https://bugs.debian.org/795784
Bug-Debian: https://bugs.debian.org/796336
---
 asmcomp/amd64/emit.mlp | 1 +
 asmcomp/arm/emit.mlp   | 1 +
 asmcomp/arm64/emit.mlp | 1 +
 asmcomp/i386/emit.mlp  | 1 +
 asmcomp/power/emit.mlp | 1 +
 asmcomp/sparc/emit.mlp | 1 +
 6 files changed, 6 insertions(+)

diff --git a/asmcomp/amd64/emit.mlp b/asmcomp/amd64/emit.mlp
index d56d0f5..4d7aa30 100644
--- a/asmcomp/amd64/emit.mlp
+++ b/asmcomp/amd64/emit.mlp
@@ -794,6 +794,7 @@ let data l =
 let begin_assembly() =
   reset_debug_info();                   (* PR#56</td></tr></table>
<table class='tabs'><tr><td>
<a href='/guix/about/'>about</a><a href='/guix/'>summary</a><a href='/guix/refs/?id=c2edd382ba0325fdb7b74393856c6826b824f1f1'>refs</a><a href='/guix/log/gnu/packages'>log</a><a href='/guix/tree/gnu/packages?id=c2edd382ba0325fdb7b74393856c6826b824f1f1'>tree</a><a href='/guix/commit/gnu/packages?id=c2edd382ba0325fdb7b74393856c6826b824f1f1'>commit</a><a class='active' href='/guix/diff/gnu/packages?id=c2edd382ba0325fdb7b74393856c6826b824f1f1&amp;id2=0595c62f0da775060c909ace97f05c4b86b6a7be'>diff</a></td><td class='form'><form class='right' method='get' action='/guix/log/gnu/packages'>
<input type='hidden' name='id' value='c2edd382ba0325fdb7b74393856c6826b824f1f1'/><input type='hidden' name='id2' value='0595c62f0da775060c909ace97f05c4b86b6a7be'/><select name='qt'>
<option value='grep'>log msg</option>
<option value='author'>author</option>
<option value='committer'>committer</option>
<option value='range'>range</option>
</select>
<input class='txt' type='search' size='10' name='q' value=''/>
<input type='submit' value='search'/>
</form>
</td></tr></table>
<div class='path'>path: <a href='/guix/diff/?id=c2edd382ba0325fdb7b74393856c6826b824f1f1&amp;id2=0595c62f0da775060c909ace97f05c4b86b6a7be'>root</a>/<a href='/guix/diff/gnu?id=c2edd382ba0325fdb7b74393856c6826b824f1f1&amp;id2=0595c62f0da775060c909ace97f05c4b86b6a7be'>gnu</a>/<a href='/guix/diff/gnu/packages?id=c2edd382ba0325fdb7b74393856c6826b824f1f1&amp;id2=0595c62f0da775060c909ace97f05c4b86b6a7be'>packages</a></div><div class='content'><div class='cgit-panel'><b>diff options</b><form method='get'><input type='hidden' name='id' value='c2edd382ba0325fdb7b74393856c6826b824f1f1'/><input type='hidden' name='id2' value='0595c62f0da775060c909ace97f05c4b86b6a7be'/><table><tr><td colspan='2'/></tr><tr><td class='label'>context:</td><td class='ctrl'><select name='context' onchange='this.form.submit();'><option value='1'>1</option><option value='2'>2</option><option value='3' selected='selected'>3</option><option value='4'>4</option><option value='5'>5</option><option value='6'>6</option><option value='7'>7</option><option value='8'>8</option><option value='9'>9</option><option value='10'>10</option><option value='15'>15</option><option value='20'>20</option><option value='25'>25</option><option value='30'>30</option><option value='35'>35</option><option value='40'>40</option></select></td></tr><tr><