<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<meta name="ProgId" content="Word.Document">
<meta name="Generator" content="Microsoft Word 15">
<meta name="Originator" content="Microsoft Word 15">
<link rel="File-List" href="cid:filelist.xml@01CEB748.5A5596D0"><!--[if gte mso 9]><xml>
<o:OfficeDocumentSettings>
<o:AllowPNG/>
</o:OfficeDocumentSettings>
</xml><![endif]--><link rel="themeData" href="~~themedata~~"><link rel="colorSchemeMapping" href="~~colorschememapping~~"><!--[if gte mso 9]><xml>
<w:WordDocument>
<w:SpellingState>Clean</w:SpellingState>
<w:TrackMoves/>
<w:TrackFormatting/>
<w:EnvelopeVis/>
<w:ValidateAgainstSchemas/>
<w:SaveIfXMLInvalid>false</w:SaveIfXMLInvalid>
<w:IgnoreMixedContent>false</w:IgnoreMixedContent>
<w:AlwaysShowPlaceholderText>false</w:AlwaysShowPlaceholderText>
<w:DoNotPromoteQF/>
<w:LidThemeOther>EN-GB</w:LidThemeOther>
<w:LidThemeAsian>X-NONE</w:LidThemeAsian>
<w:LidThemeComplexScript>X-NONE</w:LidThemeComplexScript>
<w:Compatibility>
<w:DoNotExpandShiftReturn/>
<w:BreakWrappedTables/>
<w:SplitPgBreakAndParaMark/>
<w:EnableOpenTypeKerning/>
</w:Compatibility>
<m:mathPr>
<m:mathFont m:val="Cambria Math"/>
<m:brkBin m:val="before"/>
<m:brkBinSub m:val="--"/>
<m:smallFrac m:val="off"/>
<m:dispDef/>
<m:lMargin m:val="0"/>
<m:rMargin m:val="0"/>
<m:defJc m:val="centerGroup"/>
<m:wrapIndent m:val="1440"/>
<m:intLim m:val="subSup"/>
<m:naryLim m:val="undOvr"/>
</m:mathPr></w:WordDocument>
</xml><![endif]--><!--[if gte mso 9]><xml>
<w:LatentStyles DefLockedState="false" DefUnhideWhenUsed="false" DefSemiHidden="false" DefQFormat="false" DefPriority="99" LatentStyleCount="371">
<w:LsdException Locked="false" Priority="0" QFormat="true" Name="Normal"/>
<w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 1"/>
<w:LsdException Locked="false" Priority="9" SemiHidden="true" UnhideWhenUsed="true" QFormat="true" Name="heading 2"/>
<w:LsdException Locked="false" Priority="9" SemiHidden="true" UnhideWhenUsed="true" QFormat="true" Name="heading 3"/>
<w:LsdException Locked="false" Priority="9" SemiHidden="true" UnhideWhenUsed="true" QFormat="true" Name="heading 4"/>
<w:LsdException Locked="false" Priority="9" SemiHidden="true" UnhideWhenUsed="true" QFormat="true" Name="heading 5"/>
<w:LsdException Locked="false" Priority="9" SemiHidden="true" UnhideWhenUsed="true" QFormat="true" Name="heading 6"/>
<w:LsdException Locked="false" Priority="9" SemiHidden="true" UnhideWhenUsed="true" QFormat="true" Name="heading 7"/>
<w:LsdException Locked="false" Priority="9" SemiHidden="true" UnhideWhenUsed="true" QFormat="true" Name="heading 8"/>
<w:LsdException Locked="false" Priority="9" SemiHidden="true" UnhideWhenUsed="true" QFormat="true" Name="heading 9"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="index 1"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="index 2"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="index 3"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="index 4"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="index 5"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="index 6"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="index 7"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="index 8"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="index 9"/>
<w:LsdException Locked="false" Priority="39" SemiHidden="true" UnhideWhenUsed="true" Name="toc 1"/>
<w:LsdException Locked="false" Priority="39" SemiHidden="true" UnhideWhenUsed="true" Name="toc 2"/>
<w:LsdException Locked="false" Priority="39" SemiHidden="true" UnhideWhenUsed="true" Name="toc 3"/>
<w:LsdException Locked="false" Priority="39" SemiHidden="true" UnhideWhenUsed="true" Name="toc 4"/>
<w:LsdException Locked="false" Priority="39" SemiHidden="true" UnhideWhenUsed="true" Name="toc 5"/>
<w:LsdException Locked="false" Priority="39" SemiHidden="true" UnhideWhenUsed="true" Name="toc 6"/>
<w:LsdException Locked="false" Priority="39" SemiHidden="true" UnhideWhenUsed="true" Name="toc 7"/>
<w:LsdException Locked="false" Priority="39" SemiHidden="true" UnhideWhenUsed="true" Name="toc 8"/>
<w:LsdException Locked="false" Priority="39" SemiHidden="true" UnhideWhenUsed="true" Name="toc 9"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Normal Indent"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="footnote text"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="annotation text"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="header"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="footer"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="index heading"/>
<w:LsdException Locked="false" Priority="35" SemiHidden="true" UnhideWhenUsed="true" QFormat="true" Name="caption"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="table of figures"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="envelope address"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="envelope return"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="footnote reference"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="annotation reference"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="line number"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="page number"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="endnote reference"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="endnote text"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="table of authorities"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="macro"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="toa heading"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="List"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="List Bullet"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="List Number"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="List 2"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="List 3"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="List 4"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="List 5"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="List Bullet 2"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="List Bullet 3"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="List Bullet 4"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="List Bullet 5"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="List Number 2"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="List Number 3"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="List Number 4"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="List Number 5"/>
<w:LsdException Locked="false" Priority="10" QFormat="true" Name="Title"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Closing"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Signature"/>
<w:LsdException Locked="false" Priority="1" SemiHidden="true" UnhideWhenUsed="true" Name="Default Paragraph Font"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Body Text"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Body Text Indent"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="List Continue"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="List Continue 2"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="List Continue 3"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="List Continue 4"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="List Continue 5"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Message Header"/>
<w:LsdException Locked="false" Priority="11" QFormat="true" Name="Subtitle"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Salutation"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Date"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Body Text First Indent"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Body Text First Indent 2"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Note Heading"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Body Text 2"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Body Text 3"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Body Text Indent 2"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Body Text Indent 3"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Block Text"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Hyperlink"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="FollowedHyperlink"/>
<w:LsdException Locked="false" Priority="22" QFormat="true" Name="Strong"/>
<w:LsdException Locked="false" Priority="20" QFormat="true" Name="Emphasis"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Document Map"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Plain Text"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="E-mail Signature"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="HTML Top of Form"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="HTML Bottom of Form"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Normal (Web)"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="HTML Acronym"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="HTML Address"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="HTML Cite"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="HTML Code"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="HTML Definition"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="HTML Keyboard"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="HTML Preformatted"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="HTML Sample"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="HTML Typewriter"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="HTML Variable"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Normal Table"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="annotation subject"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="No List"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Outline List 1"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Outline List 2"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Outline List 3"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Simple 1"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Simple 2"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Simple 3"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Classic 1"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Classic 2"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Classic 3"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Classic 4"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Colorful 1"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Colorful 2"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Colorful 3"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Columns 1"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Columns 2"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Columns 3"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Columns 4"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Columns 5"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Grid 1"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Grid 2"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Grid 3"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Grid 4"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Grid 5"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Grid 6"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Grid 7"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Grid 8"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table List 1"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table List 2"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table List 3"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table List 4"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table List 5"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table List 6"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table List 7"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table List 8"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table 3D effects 1"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table 3D effects 2"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table 3D effects 3"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Contemporary"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Elegant"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Professional"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Subtle 1"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Subtle 2"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Web 1"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Web 2"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Web 3"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Balloon Text"/>
<w:LsdException Locked="false" Priority="39" Name="Table Grid"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Theme"/>
<w:LsdException Locked="false" SemiHidden="true" Name="Placeholder Text"/>
<w:LsdException Locked="false" Priority="1" QFormat="true" Name="No Spacing"/>
<w:LsdException Locked="false" Priority="60" Name="Light Shading"/>
<w:LsdException Locked="false" Priority="61" Name="Light List"/>
<w:LsdException Locked="false" Priority="62" Name="Light Grid"/>
<w:LsdException Locked="false" Priority="63" Name="Medium Shading 1"/>
<w:LsdException Locked="false" Priority="64" Name="Medium Shading 2"/>
<w:LsdException Locked="false" Priority="65" Name="Medium List 1"/>
<w:LsdException Locked="false" Priority="66" Name="Medium List 2"/>
<w:LsdException Locked="false" Priority="67" Name="Medium Grid 1"/>
<w:LsdException Locked="false" Priority="68" Name="Medium Grid 2"/>
<w:LsdException Locked="false" Priority="69" Name="Medium Grid 3"/>
<w:LsdException Locked="false" Priority="70" Name="Dark List"/>
<w:LsdException Locked="false" Priority="71" Name="Colorful Shading"/>
<w:LsdException Locked="false" Priority="72" Name="Colorful List"/>
<w:LsdException Locked="false" Priority="73" Name="Colorful Grid"/>
<w:LsdException Locked="false" Priority="60" Name="Light Shading Accent 1"/>
<w:LsdException Locked="false" Priority="61" Name="Light List Accent 1"/>
<w:LsdException Locked="false" Priority="62" Name="Light Grid Accent 1"/>
<w:LsdException Locked="false" Priority="63" Name="Medium Shading 1 Accent 1"/>
<w:LsdException Locked="false" Priority="64" Name="Medium Shading 2 Accent 1"/>
<w:LsdException Locked="false" Priority="65" Name="Medium List 1 Accent 1"/>
<w:LsdException Locked="false" SemiHidden="true" Name="Revision"/>
<w:LsdException Locked="false" Priority="34" QFormat="true" Name="List Paragraph"/>
<w:LsdException Locked="false" Priority="29" QFormat="true" Name="Quote"/>
<w:LsdException Locked="false" Priority="30" QFormat="true" Name="Intense Quote"/>
<w:LsdException Locked="false" Priority="66" Name="Medium List 2 Accent 1"/>
<w:LsdException Locked="false" Priority="67" Name="Medium Grid 1 Accent 1"/>
<w:LsdException Locked="false" Priority="68" Name="Medium Grid 2 Accent 1"/>
<w:LsdException Locked="false" Priority="69" Name="Medium Grid 3 Accent 1"/>
<w:LsdException Locked="false" Priority="70" Name="Dark List Accent 1"/>
<w:LsdException Locked="false" Priority="71" Name="Colorful Shading Accent 1"/>
<w:LsdException Locked="false" Priority="72" Name="Colorful List Accent 1"/>
<w:LsdException Locked="false" Priority="73" Name="Colorful Grid Accent 1"/>
<w:LsdException Locked="false" Priority="60" Name="Light Shading Accent 2"/>
<w:LsdException Locked="false" Priority="61" Name="Light List Accent 2"/>
<w:LsdException Locked="false" Priority="62" Name="Light Grid Accent 2"/>
<w:LsdException Locked="false" Priority="63" Name="Medium Shading 1 Accent 2"/>
<w:LsdException Locked="false" Priority="64" Name="Medium Shading 2 Accent 2"/>
<w:LsdException Locked="false" Priority="65" Name="Medium List 1 Accent 2"/>
<w:LsdException Locked="false" Priority="66" Name="Medium List 2 Accent 2"/>
<w:LsdException Locked="false" Priority="67" Name="Medium Grid 1 Accent 2"/>
<w:LsdException Locked="false" Priority="68" Name="Medium Grid 2 Accent 2"/>
<w:LsdException Locked="false" Priority="69" Name="Medium Grid 3 Accent 2"/>
<w:LsdException Locked="false" Priority="70" Name="Dark List Accent 2"/>
<w:LsdException Locked="false" Priority="71" Name="Colorful Shading Accent 2"/>
<w:LsdException Locked="false" Priority="72" Name="Colorful List Accent 2"/>
<w:LsdException Locked="false" Priority="73" Name="Colorful Grid Accent 2"/>
<w:LsdException Locked="false" Priority="60" Name="Light Shading Accent 3"/>
<w:LsdException Locked="false" Priority="61" Name="Light List Accent 3"/>
<w:LsdException Locked="false" Priority="62" Name="Light Grid Accent 3"/>
<w:LsdException Locked="false" Priority="63" Name="Medium Shading 1 Accent 3"/>
<w:LsdException Locked="false" Priority="64" Name="Medium Shading 2 Accent 3"/>
<w:LsdException Locked="false" Priority="65" Name="Medium List 1 Accent 3"/>
<w:LsdException Locked="false" Priority="66" Name="Medium List 2 Accent 3"/>
<w:LsdException Locked="false" Priority="67" Name="Medium Grid 1 Accent 3"/>
<w:LsdException Locked="false" Priority="68" Name="Medium Grid 2 Accent 3"/>
<w:LsdException Locked="false" Priority="69" Name="Medium Grid 3 Accent 3"/>
<w:LsdException Locked="false" Priority="70" Name="Dark List Accent 3"/>
<w:LsdException Locked="false" Priority="71" Name="Colorful Shading Accent 3"/>
<w:LsdException Locked="false" Priority="72" Name="Colorful List Accent 3"/>
<w:LsdException Locked="false" Priority="73" Name="Colorful Grid Accent 3"/>
<w:LsdException Locked="false" Priority="60" Name="Light Shading Accent 4"/>
<w:LsdException Locked="false" Priority="61" Name="Light List Accent 4"/>
<w:LsdException Locked="false" Priority="62" Name="Light Grid Accent 4"/>
<w:LsdException Locked="false" Priority="63" Name="Medium Shading 1 Accent 4"/>
<w:LsdException Locked="false" Priority="64" Name="Medium Shading 2 Accent 4"/>
<w:LsdException Locked="false" Priority="65" Name="Medium List 1 Accent 4"/>
<w:LsdException Locked="false" Priority="66" Name="Medium List 2 Accent 4"/>
<w:LsdException Locked="false" Priority="67" Name="Medium Grid 1 Accent 4"/>
<w:LsdException Locked="false" Priority="68" Name="Medium Grid 2 Accent 4"/>
<w:LsdException Locked="false" Priority="69" Name="Medium Grid 3 Accent 4"/>
<w:LsdException Locked="false" Priority="70" Name="Dark List Accent 4"/>
<w:LsdException Locked="false" Priority="71" Name="Colorful Shading Accent 4"/>
<w:LsdException Locked="false" Priority="72" Name="Colorful List Accent 4"/>
<w:LsdException Locked="false" Priority="73" Name="Colorful Grid Accent 4"/>
<w:LsdException Locked="false" Priority="60" Name="Light Shading Accent 5"/>
<w:LsdException Locked="false" Priority="61" Name="Light List Accent 5"/>
<w:LsdException Locked="false" Priority="62" Name="Light Grid Accent 5"/>
<w:LsdException Locked="false" Priority="63" Name="Medium Shading 1 Accent 5"/>
<w:LsdException Locked="false" Priority="64" Name="Medium Shading 2 Accent 5"/>
<w:LsdException Locked="false" Priority="65" Name="Medium List 1 Accent 5"/>
<w:LsdException Locked="false" Priority="66" Name="Medium List 2 Accent 5"/>
<w:LsdException Locked="false" Priority="67" Name="Medium Grid 1 Accent 5"/>
<w:LsdException Locked="false" Priority="68" Name="Medium Grid 2 Accent 5"/>
<w:LsdException Locked="false" Priority="69" Name="Medium Grid 3 Accent 5"/>
<w:LsdException Locked="false" Priority="70" Name="Dark List Accent 5"/>
<w:LsdException Locked="false" Priority="71" Name="Colorful Shading Accent 5"/>
<w:LsdException Locked="false" Priority="72" Name="Colorful List Accent 5"/>
<w:LsdException Locked="false" Priority="73" Name="Colorful Grid Accent 5"/>
<w:LsdException Locked="false" Priority="60" Name="Light Shading Accent 6"/>
<w:LsdException Locked="false" Priority="61" Name="Light List Accent 6"/>
<w:LsdException Locked="false" Priority="62" Name="Light Grid Accent 6"/>
<w:LsdException Locked="false" Priority="63" Name="Medium Shading 1 Accent 6"/>
<w:LsdException Locked="false" Priority="64" Name="Medium Shading 2 Accent 6"/>
<w:LsdException Locked="false" Priority="65" Name="Medium List 1 Accent 6"/>
<w:LsdException Locked="false" Priority="66" Name="Medium List 2 Accent 6"/>
<w:LsdException Locked="false" Priority="67" Name="Medium Grid 1 Accent 6"/>
<w:LsdException Locked="false" Priority="68" Name="Medium Grid 2 Accent 6"/>
<w:LsdException Locked="false" Priority="69" Name="Medium Grid 3 Accent 6"/>
<w:LsdException Locked="false" Priority="70" Name="Dark List Accent 6"/>
<w:LsdException Locked="false" Priority="71" Name="Colorful Shading Accent 6"/>
<w:LsdException Locked="false" Priority="72" Name="Colorful List Accent 6"/>
<w:LsdException Locked="false" Priority="73" Name="Colorful Grid Accent 6"/>
<w:LsdException Locked="false" Priority="19" QFormat="true" Name="Subtle Emphasis"/>
<w:LsdException Locked="false" Priority="21" QFormat="true" Name="Intense Emphasis"/>
<w:LsdException Locked="false" Priority="31" QFormat="true" Name="Subtle Reference"/>
<w:LsdException Locked="false" Priority="32" QFormat="true" Name="Intense Reference"/>
<w:LsdException Locked="false" Priority="33" QFormat="true" Name="Book Title"/>
<w:LsdException Locked="false" Priority="37" SemiHidden="true" UnhideWhenUsed="true" Name="Bibliography"/>
<w:LsdException Locked="false" Priority="39" SemiHidden="true" UnhideWhenUsed="true" QFormat="true" Name="TOC Heading"/>
<w:LsdException Locked="false" Priority="41" Name="Plain Table 1"/>
<w:LsdException Locked="false" Priority="42" Name="Plain Table 2"/>
<w:LsdException Locked="false" Priority="43" Name="Plain Table 3"/>
<w:LsdException Locked="false" Priority="44" Name="Plain Table 4"/>
<w:LsdException Locked="false" Priority="45" Name="Plain Table 5"/>
<w:LsdException Locked="false" Priority="40" Name="Grid Table Light"/>
<w:LsdException Locked="false" Priority="46" Name="Grid Table 1 Light"/>
<w:LsdException Locked="false" Priority="47" Name="Grid Table 2"/>
<w:LsdException Locked="false" Priority="48" Name="Grid Table 3"/>
<w:LsdException Locked="false" Priority="49" Name="Grid Table 4"/>
<w:LsdException Locked="false" Priority="50" Name="Grid Table 5 Dark"/>
<w:LsdException Locked="false" Priority="51" Name="Grid Table 6 Colorful"/>
<w:LsdException Locked="false" Priority="52" Name="Grid Table 7 Colorful"/>
<w:LsdException Locked="false" Priority="46" Name="Grid Table 1 Light Accent 1"/>
<w:LsdException Locked="false" Priority="47" Name="Grid Table 2 Accent 1"/>
<w:LsdException Locked="false" Priority="48" Name="Grid Table 3 Accent 1"/>
<w:LsdException Locked="false" Priority="49" Name="Grid Table 4 Accent 1"/>
<w:LsdException Locked="false" Priority="50" Name="Grid Table 5 Dark Accent 1"/>
<w:LsdException Locked="false" Priority="51" Name="Grid Table 6 Colorful Accent 1"/>
<w:LsdException Locked="false" Priority="52" Name="Grid Table 7 Colorful Accent 1"/>
<w:LsdException Locked="false" Priority="46" Name="Grid Table 1 Light Accent 2"/>
<w:LsdException Locked="false" Priority="47" Name="Grid Table 2 Accent 2"/>
<w:LsdException Locked="false" Priority="48" Name="Grid Table 3 Accent 2"/>
<w:LsdException Locked="false" Priority="49" Name="Grid Table 4 Accent 2"/>
<w:LsdException Locked="false" Priority="50" Name="Grid Table 5 Dark Accent 2"/>
<w:LsdException Locked="false" Priority="51" Name="Grid Table 6 Colorful Accent 2"/>
<w:LsdException Locked="false" Priority="52" Name="Grid Table 7 Colorful Accent 2"/>
<w:LsdException Locked="false" Priority="46" Name="Grid Table 1 Light Accent 3"/>
<w:LsdException Locked="false" Priority="47" Name="Grid Table 2 Accent 3"/>
<w:LsdException Locked="false" Priority="48" Name="Grid Table 3 Accent 3"/>
<w:LsdException Locked="false" Priority="49" Name="Grid Table 4 Accent 3"/>
<w:LsdException Locked="false" Priority="50" Name="Grid Table 5 Dark Accent 3"/>
<w:LsdException Locked="false" Priority="51" Name="Grid Table 6 Colorful Accent 3"/>
<w:LsdException Locked="false" Priority="52" Name="Grid Table 7 Colorful Accent 3"/>
<w:LsdException Locked="false" Priority="46" Name="Grid Table 1 Light Accent 4"/>
<w:LsdException Locked="false" Priority="47" Name="Grid Table 2 Accent 4"/>
<w:LsdException Locked="false" Priority="48" Name="Grid Table 3 Accent 4"/>
<w:LsdException Locked="false" Priority="49" Name="Grid Table 4 Accent 4"/>
<w:LsdException Locked="false" Priority="50" Name="Grid Table 5 Dark Accent 4"/>
<w:LsdException Locked="false" Priority="51" Name="Grid Table 6 Colorful Accent 4"/>
<w:LsdException Locked="false" Priority="52" Name="Grid Table 7 Colorful Accent 4"/>
<w:LsdException Locked="false" Priority="46" Name="Grid Table 1 Light Accent 5"/>
<w:LsdException Locked="false" Priority="47" Name="Grid Table 2 Accent 5"/>
<w:LsdException Locked="false" Priority="48" Name="Grid Table 3 Accent 5"/>
<w:LsdException Locked="false" Priority="49" Name="Grid Table 4 Accent 5"/>
<w:LsdException Locked="false" Priority="50" Name="Grid Table 5 Dark Accent 5"/>
<w:LsdException Locked="false" Priority="51" Name="Grid Table 6 Colorful Accent 5"/>
<w:LsdException Locked="false" Priority="52" Name="Grid Table 7 Colorful Accent 5"/>
<w:LsdException Locked="false" Priority="46" Name="Grid Table 1 Light Accent 6"/>
<w:LsdException Locked="false" Priority="47" Name="Grid Table 2 Accent 6"/>
<w:LsdException Locked="false" Priority="48" Name="Grid Table 3 Accent 6"/>
<w:LsdException Locked="false" Priority="49" Name="Grid Table 4 Accent 6"/>
<w:LsdException Locked="false" Priority="50" Name="Grid Table 5 Dark Accent 6"/>
<w:LsdException Locked="false" Priority="51" Name="Grid Table 6 Colorful Accent 6"/>
<w:LsdException Locked="false" Priority="52" Name="Grid Table 7 Colorful Accent 6"/>
<w:LsdException Locked="false" Priority="46" Name="List Table 1 Light"/>
<w:LsdException Locked="false" Priority="47" Name="List Table 2"/>
<w:LsdException Locked="false" Priority="48" Name="List Table 3"/>
<w:LsdException Locked="false" Priority="49" Name="List Table 4"/>
<w:LsdException Locked="false" Priority="50" Name="List Table 5 Dark"/>
<w:LsdException Locked="false" Priority="51" Name="List Table 6 Colorful"/>
<w:LsdException Locked="false" Priority="52" Name="List Table 7 Colorful"/>
<w:LsdException Locked="false" Priority="46" Name="List Table 1 Light Accent 1"/>
<w:LsdException Locked="false" Priority="47" Name="List Table 2 Accent 1"/>
<w:LsdException Locked="false" Priority="48" Name="List Table 3 Accent 1"/>
<w:LsdException Locked="false" Priority="49" Name="List Table 4 Accent 1"/>
<w:LsdException Locked="false" Priority="50" Name="List Table 5 Dark Accent 1"/>
<w:LsdException Locked="false" Priority="51" Name="List Table 6 Colorful Accent 1"/>
<w:LsdException Locked="false" Priority="52" Name="List Table 7 Colorful Accent 1"/>
<w:LsdException Locked="false" Priority="46" Name="List Table 1 Light Accent 2"/>
<w:LsdException Locked="false" Priority="47" Name="List Table 2 Accent 2"/>
<w:LsdException Locked="false" Priority="48" Name="List Table 3 Accent 2"/>
<w:LsdException Locked="false" Priority="49" Name="List Table 4 Accent 2"/>
<w:LsdException Locked="false" Priority="50" Name="List Table 5 Dark Accent 2"/>
<w:LsdException Locked="false" Priority="51" Name="List Table 6 Colorful Accent 2"/>
<w:LsdException Locked="false" Priority="52" Name="List Table 7 Colorful Accent 2"/>
<w:LsdException Locked="false" Priority="46" Name="List Table 1 Light Accent 3"/>
<w:LsdException Locked="false" Priority="47" Name="List Table 2 Accent 3"/>
<w:LsdException Locked="false" Priority="48" Name="List Table 3 Accent 3"/>
<w:LsdException Locked="false" Priority="49" Name="List Table 4 Accent 3"/>
<w:LsdException Locked="false" Priority="50" Name="List Table 5 Dark Accent 3"/>
<w:LsdException Locked="false" Priority="51" Name="List Table 6 Colorful Accent 3"/>
<w:LsdException Locked="false" Priority="52" Name="List Table 7 Colorful Accent 3"/>
<w:LsdException Locked="false" Priority="46" Name="List Table 1 Light Accent 4"/>
<w:LsdException Locked="false" Priority="47" Name="List Table 2 Accent 4"/>
<w:LsdException Locked="false" Priority="48" Name="List Table 3 Accent 4"/>
<w:LsdException Locked="false" Priority="49" Name="List Table 4 Accent 4"/>
<w:LsdException Locked="false" Priority="50" Name="List Table 5 Dark Accent 4"/>
<w:LsdException Locked="false" Priority="51" Name="List Table 6 Colorful Accent 4"/>
<w:LsdException Locked="false" Priority="52" Name="List Table 7 Colorful Accent 4"/>
<w:LsdException Locked="false" Priority="46" Name="List Table 1 Light Accent 5"/>
<w:LsdException Locked="false" Priority="47" Name="List Table 2 Accent 5"/>
<w:LsdException Locked="false" Priority="48" Name="List Table 3 Accent 5"/>
<w:LsdException Locked="false" Priority="49" Name="List Table 4 Accent 5"/>
<w:LsdException Locked="false" Priority="50" Name="List Table 5 Dark Accent 5"/>
<w:LsdException Locked="false" Priority="51" Name="List Table 6 Colorful Accent 5"/>
<w:LsdException Locked="false" Priority="52" Name="List Table 7 Colorful Accent 5"/>
<w:LsdException Locked="false" Priority="46" Name="List Table 1 Light Accent 6"/>
<w:LsdException Locked="false" Priority="47" Name="List Table 2 Accent 6"/>
<w:LsdException Locked="false" Priority="48" Name="List Table 3 Accent 6"/>
<w:LsdException Locked="false" Priority="49" Name="List Table 4 Accent 6"/>
<w:LsdException Locked="false" Priority="50" Name="List Table 5 Dark Accent 6"/>
<w:LsdException Locked="false" Priority="51" Name="List Table 6 Colorful Accent 6"/>
<w:LsdException Locked="false" Priority="52" Name="List Table 7 Colorful Accent 6"/>
</w:LatentStyles>
</xml><![endif]--><style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;
mso-font-charset:1;
mso-generic-font-family:roman;
mso-font-format:other;
mso-font-pitch:variable;
mso-font-signature:0 0 0 0 0 0;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;
mso-font-charset:0;
mso-generic-font-family:swiss;
mso-font-pitch:variable;
mso-font-signature:-536870145 1073786111 1 0 415 0;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{mso-style-unhide:no;
mso-style-qformat:yes;
mso-style-parent:"";
margin:0cm;
margin-bottom:.0001pt;
mso-pagination:widow-orphan;
font-size:12.0pt;
font-family:"Times New Roman","serif";
mso-fareast-font-family:Calibri;
mso-fareast-theme-font:minor-latin;}
a:link, span.MsoHyperlink
{mso-style-noshow:yes;
mso-style-priority:99;
color:blue;
text-decoration:underline;
text-underline:single;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-noshow:yes;
mso-style-priority:99;
color:purple;
text-decoration:underline;
text-underline:single;}
p
{mso-style-noshow:yes;
mso-style-priority:99;
mso-margin-top-alt:auto;
margin-right:0cm;
mso-margin-bottom-alt:auto;
margin-left:0cm;
mso-pagination:widow-orphan;
font-size:12.0pt;
font-family:"Times New Roman","serif";
mso-fareast-font-family:Calibri;
mso-fareast-theme-font:minor-latin;}
span.EmailStyle18
{mso-style-type:personal-reply;
mso-style-noshow:yes;
mso-style-unhide:no;
mso-ansi-font-size:11.0pt;
mso-bidi-font-size:11.0pt;
font-family:"Calibri","sans-serif";
mso-ascii-font-family:Calibri;
mso-ascii-theme-font:minor-latin;
mso-fareast-font-family:Calibri;
mso-fareast-theme-font:minor-latin;
mso-hansi-font-family:Calibri;
mso-hansi-theme-font:minor-latin;
mso-bidi-font-family:"Times New Roman";
mso-bidi-theme-font:minor-bidi;
color:#1F497D;}
span.SpellE
{mso-style-name:"";
mso-spl-e:yes;}
.MsoChpDefault
{mso-style-type:export-only;
mso-default-props:yes;
font-family:"Calibri","sans-serif";
mso-ascii-font-family:Calibri;
mso-ascii-theme-font:minor-latin;
mso-fareast-font-family:Calibri;
mso-fareast-theme-font:minor-latin;
mso-hansi-font-family:Calibri;
mso-hansi-theme-font:minor-latin;
mso-bidi-font-family:"Times New Roman";
mso-bidi-theme-font:minor-bidi;
mso-fareast-language:EN-US;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:72.0pt 72.0pt 72.0pt 72.0pt;
mso-header-margin:36.0pt;
mso-footer-margin:36.0pt;
mso-paper-source:0;}
div.WordSection1
{page:WordSection1;}
--></style><!--[if gte mso 10]><style>/* Style Definitions */
table.MsoNormalTable
{mso-style-name:"Table Normal";
mso-tstyle-rowband-size:0;
mso-tstyle-colband-size:0;
mso-style-noshow:yes;
mso-style-priority:99;
mso-style-parent:"";
mso-padding-alt:0cm 5.4pt 0cm 5.4pt;
mso-para-margin:0cm;
mso-para-margin-bottom:.0001pt;
mso-pagination:widow-orphan;
font-size:11.0pt;
font-family:"Calibri","sans-serif";
mso-ascii-font-family:Calibri;
mso-ascii-theme-font:minor-latin;
mso-hansi-font-family:Calibri;
mso-hansi-theme-font:minor-latin;
mso-fareast-language:EN-US;}
</style><![endif]--><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang="EN-GB" link="blue" vlink="purple" style="tab-interval:36.0pt">
<div class="WordSection1">
<p class="MsoNormal" style="margin-left:36.0pt">If there are any technical objections to adding support for static data,
<span class="SpellE">i'm</span> all ears.<o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";mso-ascii-theme-font:minor-latin;mso-hansi-theme-font:minor-latin;mso-bidi-font-family:"Times New Roman";mso-bidi-theme-font:minor-bidi;color:#1F497D;mso-fareast-language:EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";mso-ascii-theme-font:minor-latin;mso-hansi-theme-font:minor-latin;mso-bidi-font-family:"Times New Roman";mso-bidi-theme-font:minor-bidi;color:#1F497D;mso-fareast-language:EN-US">There
can’t be any technical objections until there is a proposal on the table that has enough detail that someone could technically object to it!<span style="mso-spacerun:yes">
</span><span style="mso-spacerun:yes"> </span>A good place to start is with the intermediate language.<span style="mso-spacerun:yes">
</span>How would that change?<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";mso-ascii-theme-font:minor-latin;mso-hansi-theme-font:minor-latin;mso-bidi-font-family:"Times New Roman";mso-bidi-theme-font:minor-bidi;color:#1F497D;mso-fareast-language:EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";mso-ascii-theme-font:minor-latin;mso-hansi-theme-font:minor-latin;mso-bidi-font-family:"Times New Roman";mso-bidi-theme-font:minor-bidi;color:#1F497D;mso-fareast-language:EN-US">Simon<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";mso-ascii-theme-font:minor-latin;mso-hansi-theme-font:minor-latin;mso-bidi-font-family:"Times New Roman";mso-bidi-theme-font:minor-bidi;color:#1F497D;mso-fareast-language:EN-US"><o:p> </o:p></span></p>
<div style="border:none;border-left:solid blue 1.5pt;padding:0cm 0cm 0cm 4.0pt">
<div>
<div style="border:none;border-top:solid #E1E1E1 1.0pt;padding:3.0pt 0cm 0cm 0cm">
<p class="MsoNormal"><a name="_MailOriginal"><b><span lang="EN-US" style="font-size:11.0pt;font-family:"Calibri","sans-serif";mso-fareast-font-family:"Times New Roman";mso-ansi-language:EN-US">From:</span></b></a><span style="mso-bookmark:_MailOriginal"><span lang="EN-US" style="font-size:11.0pt;font-family:"Calibri","sans-serif";mso-fareast-font-family:"Times New Roman";mso-ansi-language:EN-US">
ghc-devs [mailto:ghc-devs-bounces@haskell.org] <b>On Behalf Of </b>Carter Schonwald<br>
<b>Sent:</b> 22 September 2013 03:55<br>
<b>To:</b> John Lato<br>
<b>Cc:</b> Simon Marlow; ghc-devs@haskell.org; Geoffrey Mainland<br>
<b>Subject:</b> Static Data Re: llvm<o:p></o:p></span></span></p>
</div>
</div>
<p class="MsoNormal"><span style="mso-bookmark:_MailOriginal"><o:p> </o:p></span></p>
<div>
<p class="MsoNormal"><span style="mso-bookmark:_MailOriginal">agreed on most of those points<o:p></o:p></span></p>
<div>
<p class="MsoNormal"><span style="mso-bookmark:_MailOriginal"><o:p> </o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="mso-bookmark:_MailOriginal"><o:p> </o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="mso-bookmark:_MailOriginal">@john, no, that would be deeply wrong and dangerous (i think), the way to have a global IORef is using unsafePerformIO, which is actually quite safe if you have a good reason for introducing a globally
visible shared reference. <o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="mso-bookmark:_MailOriginal"><o:p> </o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="mso-bookmark:_MailOriginal">theres probably a bunch of sublties, but the notion of compile time data that the code generator can safely use has a number of awesome applications. One other one would be the ability to have static
lookup arrays baked into the binary, rather than generated at runtime.<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="mso-bookmark:_MailOriginal"><o:p> </o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="mso-bookmark:_MailOriginal">I'll be at icfp tomorrow mid afternoon through at least the first half of the week, i'll pester the relevant folks for feedback and thoughts about this (sub)topic. <o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="mso-bookmark:_MailOriginal"><o:p> </o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="mso-bookmark:_MailOriginal">having static data would tie into a number of features i want in ghc and associated code gen, and I'm quite willing to pester and do the associated engineering to make sure static data, or some more
systematic feature thats more general. Good thing i'm decent at pestering and ok at engineering.<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="mso-bookmark:_MailOriginal"><o:p> </o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="mso-bookmark:_MailOriginal">If there are any technical objections to adding support for static data, i'm all ears.<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="mso-bookmark:_MailOriginal"> I'm quite willing to do the leg work to make it happen, but its something that will touch enough pieces of GHC's entire pipeline (lightly, but it will), that some collaborative thought on making
this feature work nicely would be great!<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="mso-bookmark:_MailOriginal"><o:p> </o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="mso-bookmark:_MailOriginal">cheers,<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="mso-bookmark:_MailOriginal">-Carter<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="mso-bookmark:_MailOriginal"> <o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal" style="margin-bottom:12.0pt"><span style="mso-bookmark:_MailOriginal"><o:p> </o:p></span></p>
<div>
<p class="MsoNormal"><span style="mso-bookmark:_MailOriginal">On Fri, Sep 20, 2013 at 6:05 PM, John Lato <</span><a href="mailto:jwlato@gmail.com" target="_blank"><span style="mso-bookmark:_MailOriginal">jwlato@gmail.com</span><span style="mso-bookmark:_MailOriginal"></span></a><span style="mso-bookmark:_MailOriginal">>
wrote:<o:p></o:p></span></p>
<blockquote style="border:none;border-left:solid #CCCCCC 1.0pt;mso-border-left-alt:solid #CCCCCC .75pt;padding:0cm 0cm 0cm 6.0pt;margin-left:4.8pt;margin-right:0cm">
<p><span style="mso-bookmark:_MailOriginal">@carter you're completely correct, typed template haskell would be very nice for this.
<o:p></o:p></span></p>
<p><span style="mso-bookmark:_MailOriginal">I think something like asStatic would be fine. It would be slightly annoying to not be able to use numeric literals, but it seems like a good first step at any rate.
<o:p></o:p></span></p>
<p><span style="mso-bookmark:_MailOriginal">It would probably be possible to generate a Static value at runtime via the ghc api. But perhaps not, I haven't played with the typed template haskell enough to know.
<o:p></o:p></span></p>
<p><span style="mso-bookmark:_MailOriginal">As to constructions like Static (IORef Int), that seems to capture the semantics of a global IORef, maybe it could be useful for that sort of application?
<o:p></o:p></span></p>
<div>
<div>
<div>
<p class="MsoNormal"><span style="mso-bookmark:_MailOriginal">On Sep 20, 2013 3:19 PM, "Carter Schonwald" <</span><a href="mailto:carter.schonwald@gmail.com" target="_blank"><span style="mso-bookmark:_MailOriginal">carter.schonwald@gmail.com</span><span style="mso-bookmark:_MailOriginal"></span></a><span style="mso-bookmark:_MailOriginal">>
wrote:<o:p></o:p></span></p>
<blockquote style="border:none;border-left:solid #CCCCCC 1.0pt;mso-border-left-alt:solid #CCCCCC .75pt;padding:0cm 0cm 0cm 6.0pt;margin-left:4.8pt;margin-right:0cm">
<div>
<p class="MsoNormal"><span style="mso-bookmark:_MailOriginal">@John, thats actually close to the sort of near term proposal i've been thinking of too!<o:p></o:p></span></p>
<div>
<p class="MsoNormal"><span style="mso-bookmark:_MailOriginal"><o:p> </o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="mso-bookmark:_MailOriginal">We could probably make it nicer by using the new typed template haskell (which geoff was/is also working on!). </span><a href="http://ghc.haskell.org/trac/ghc/blog/Template%20Haskell%20Proposal" target="_blank"><span style="mso-bookmark:_MailOriginal">http://ghc.haskell.org/trac/ghc/blog/Template%20Haskell%20Proposal</span><span style="mso-bookmark:_MailOriginal"></span></a><span style="mso-bookmark:_MailOriginal"><o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="mso-bookmark:_MailOriginal"><o:p> </o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="mso-bookmark:_MailOriginal">With typed template haskell, couldn't we have something like <o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="mso-bookmark:_MailOriginal"><o:p> </o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="mso-bookmark:_MailOriginal">asStatic :: alpha -> TExp (Static alpha),<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="mso-bookmark:_MailOriginal"><o:p> </o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="mso-bookmark:_MailOriginal">where asStatic is the only way to introduce terms with a type (Static alpha)? (ie: we could only introduce static values that are closed, at Th time, which would also prevent us from construction
a value of type (Static alpha) at runtime?)<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="mso-bookmark:_MailOriginal"><o:p> </o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="mso-bookmark:_MailOriginal">I think that would be enough to introduce the right compile time Static Data property. That would also probably capture the right notion of static for a number of other uses cases (I think. Probably
would need a type class constraint on alpha, to rule out crazy things like Static (IORef Int) or the like ). <o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="mso-bookmark:_MailOriginal"><o:p> </o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="mso-bookmark:_MailOriginal">we'd probably need to also have a fromStatic :: Static a -> a, too.<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="mso-bookmark:_MailOriginal"><o:p> </o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="mso-bookmark:_MailOriginal">But you're absolutely right, with a teeny bit of work, we could have at least a near term work around like that. Theres probably some subtlties i'm overlooking though<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="mso-bookmark:_MailOriginal"><o:p> </o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="mso-bookmark:_MailOriginal"><o:p> </o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="mso-bookmark:_MailOriginal"><o:p> </o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="mso-bookmark:_MailOriginal"><o:p> </o:p></span></p>
</div>
</div>
<div>
<p class="MsoNormal" style="margin-bottom:12.0pt"><span style="mso-bookmark:_MailOriginal"><o:p> </o:p></span></p>
<div>
<p class="MsoNormal"><span style="mso-bookmark:_MailOriginal">On Fri, Sep 20, 2013 at 2:09 PM, John Lato <</span><a href="mailto:jwlato@gmail.com" target="_blank"><span style="mso-bookmark:_MailOriginal">jwlato@gmail.com</span><span style="mso-bookmark:_MailOriginal"></span></a><span style="mso-bookmark:_MailOriginal">>
wrote:<o:p></o:p></span></p>
<blockquote style="border:none;border-left:solid #CCCCCC 1.0pt;mso-border-left-alt:solid #CCCCCC .75pt;padding:0cm 0cm 0cm 6.0pt;margin-left:4.8pt;margin-right:0cm">
<p><span style="mso-bookmark:_MailOriginal">I think Geoffrey's suggestion is workable, but I wouldn't like it so much. The difficulty is that if you aren't aware of it, it's possible to build up a large system that you discover is unworkable the first time
you try to compile it. <o:p></o:p></span></p>
<p><span style="mso-bookmark:_MailOriginal">In that sense it's not too different from Template Haskell staging restrictions, which IIRC exist to deal with exactly this problem.
<o:p></o:p></span></p>
<p><span style="mso-bookmark:_MailOriginal">As the necessity of compile-time constants has shown up at least twice, a more principled solution is worth investigating.
<o:p></o:p></span></p>
<p><span style="mso-bookmark:_MailOriginal">In the meantime, a horrible hack would be something like:<o:p></o:p></span></p>
<p><span style="mso-bookmark:_MailOriginal"> newtype CStatic v = CStatic ExpQ<br>
instance Num a => Num ( CStatic a) where<br>
fromInteger x = [| x |]<o:p></o:p></span></p>
<p><span style="mso-bookmark:_MailOriginal">and then the value could be spliced at the call site. Staging restrictions would ensure it's available at compile time. I guess the instance decl needs Lift too.
<o:p></o:p></span></p>
<p><span style="mso-bookmark:_MailOriginal">Downsides are general hideous-ness, misleading error messages, and the necessity for compiling with template haskell. But you'd get an error if s value isn't a compile-time constant. (Please don't put this in ghc,
but it's not so bad as a separate lib).<o:p></o:p></span></p>
<p><span style="mso-bookmark:_MailOriginal">John L.<o:p></o:p></span></p>
<div>
<div>
<div>
<p class="MsoNormal"><span style="mso-bookmark:_MailOriginal">On Sep 19, 2013 3:44 PM, "Geoffrey Mainland" <</span><a href="mailto:mainland@apeiron.net" target="_blank"><span style="mso-bookmark:_MailOriginal">mainland@apeiron.net</span><span style="mso-bookmark:_MailOriginal"></span></a><span style="mso-bookmark:_MailOriginal">>
wrote:<o:p></o:p></span></p>
</div>
</div>
<blockquote style="border:none;border-left:solid #CCCCCC 1.0pt;mso-border-left-alt:solid #CCCCCC .75pt;padding:0cm 0cm 0cm 6.0pt;margin-left:4.8pt;margin-right:0cm">
<div>
<div>
<p class="MsoNormal" style="margin-bottom:12.0pt"><span style="mso-bookmark:_MailOriginal">If you pass a constant, unboxed value to a primop, I assume GHC won't<br>
ever bind the argument to a value. So although we have no way to enforce<br>
"static const argument" in the type system, if this is a valuable (and<br>
experts-only?) operation, I'm not sure it matters that much if the user<br>
gets an error at code-generation time complaining about non-const arguments.<br>
<br>
Another way to look at it: if we wait until someone enhances the type<br>
system to support the notion of static arguments, we will likely never<br>
have a bit shuffle primitive.<br>
<br>
The other option would be to fall back on a different implementation if<br>
we saw a non-constant argument. I think that would actually be worse<br>
than erroring out, but I'm sure others would disagree.<br>
<br>
Geoff<br>
<br>
On 09/19/2013 11:42 AM, Carter Schonwald wrote:<br>
> tldr; we can't express / expose the LLVM shuffleVector intrinsic in a<br>
> type safe way that will correctly interact with the static argument<br>
> requirement for associated code generation.<br>
><br>
><br>
><br>
><br>
> On Thu, Sep 19, 2013 at 12:40 AM, Carter Schonwald<br>
> <</span><a href="mailto:carter.schonwald@gmail.com" target="_blank"><span style="mso-bookmark:_MailOriginal">carter.schonwald@gmail.com</span><span style="mso-bookmark:_MailOriginal"></span></a><span style="mso-bookmark:_MailOriginal"> <mailto:</span><a href="mailto:carter.schonwald@gmail.com" target="_blank"><span style="mso-bookmark:_MailOriginal">carter.schonwald@gmail.com</span><span style="mso-bookmark:_MailOriginal"></span></a><span style="mso-bookmark:_MailOriginal">>>
wrote:<br>
><br>
> yup, i hit a gap in what we can currently express in haskell<br>
> types. We don't have a way of expressing static data! I actually<br>
> put ticket on trac noting<br>
> this. </span><a href="http://ghc.haskell.org/trac/ghc/ticket/8107" target="_blank"><span style="mso-bookmark:_MailOriginal">http://ghc.haskell.org/trac/ghc/ticket/8107</span><span style="mso-bookmark:_MailOriginal"></span></a><span style="mso-bookmark:_MailOriginal"><br>
> (note that when i was initially writing the ticket, i incorrectly<br>
> thought the int# arg to ghc's prefetch was the locality level<br>
> rather than a byte offset)<br>
><br>
> Currently GHC has no way of expressing "this argument needs to be<br>
> a static compile/codegen time constant" in surface haskell or<br>
> core! This means we could at best provide a suite of special cased<br>
> operations. (eg: we could provide the inter-lane shuffle for<br>
> swapping halves of YMM registers, and the miniature analogue for<br>
> XMM), but that would really be missing the point: being able to<br>
> write complex algorithms that can work completely in registers!<br>
><br>
> the vast majority of the simd shuffle operations have certain<br>
> arguments that need to be compile time static values that are used<br>
> in the actual code generation. The llvm data model doesn't express<br>
> this constraint. This invariant failure was also hit internally<br>
> recently via a bug in how GHC generated code for llvm's<br>
> memcopy! </span><a href="http://ghc.haskell.org/trac/ghc/ticket/8131" target="_blank"><span style="mso-bookmark:_MailOriginal">http://ghc.haskell.org/trac/ghc/ticket/8131</span><span style="mso-bookmark:_MailOriginal"></span></a><span style="mso-bookmark:_MailOriginal"><br>
><br>
> If we could express llvm'sshuffleVector<br>
> <</span><a href="http://llvm.org/docs/LangRef.html#shufflevector-instruction" target="_blank"><span style="mso-bookmark:_MailOriginal">http://llvm.org/docs/LangRef.html#shufflevector-instruction</span><span style="mso-bookmark:_MailOriginal"></span></a><span style="mso-bookmark:_MailOriginal">><br>
> intrinsic in a type safe way, then we could express any of them. I<br>
> would be over the moon if we could expose an operation like<br>
> shuffleVector, but I dont' think GHC currently can express it in a<br>
> type safe way that won't make LLVM vomit.<br>
><br>
> I want simd shuffle, but i don't see how to give the fully general<br>
> shuffle operations in type safe ways with ghc currently. We need<br>
> to add support for some notion of static data first! If theres a<br>
> way, i'm all for it, but I don't see such a way.<br>
><br>
> I hope that answers your question. that seems to be a deep enough<br>
> issue that theres no way to resolve it with simple engineering in<br>
> the next few weeks.<br>
><br>
> -Carter<br>
><br>
><br>
><br>
><br>
> On Wed, Sep 18, 2013 at 9:41 PM, Geoffrey Mainland<br>
> <</span><a href="mailto:mainland@apeiron.net" target="_blank"><span style="mso-bookmark:_MailOriginal">mainland@apeiron.net</span><span style="mso-bookmark:_MailOriginal"></span></a><span style="mso-bookmark:_MailOriginal"> <mailto:</span><a href="mailto:mainland@apeiron.net" target="_blank"><span style="mso-bookmark:_MailOriginal">mainland@apeiron.net</span><span style="mso-bookmark:_MailOriginal"></span></a><span style="mso-bookmark:_MailOriginal">>>
wrote:<br>
><br>
> On 09/18/2013 04:49 PM, Carter Schonwald wrote:<br>
> > I've some thoughts on how to have a better solution, but<br>
> they are<br>
> > feasible only on a time scale suitable for 7.10, and not for<br>
> 7.8.<br>
> ><br>
> > a hacky solution we could do for 7.8 perhaps is have a<br>
> warning that<br>
> > works as follows:<br>
> ><br>
> > either<br>
> > a)<br>
> > throw a warning on functions that use the SIMD primops, if that<br>
> > function is being exported by a module, and that function<br>
> isn't marked<br>
> > NOINLINE ? Theres probably a few subtleties to it, and this<br>
> is just a<br>
> > naive idea<br>
> That wouldn't inform the consumers of a module. And for a<br>
> library like<br>
> vector, we definitely want to export unfoldings for code that<br>
> contains<br>
> SIMD primops. That's the only way to get good code out of the<br>
> library!<br>
> > b) somehow put both the -fllvm and -fasm core for inlineable<br>
> functions<br>
> > in the .hi file? (this one prevents the most problems, but<br>
> is probably<br>
> > the most complex work around we could do).<br>
> The problem being that there *is* no -fasm code...because the NCG<br>
> doesn't support SIMD operations. Unless we added a mechanism<br>
> to have two<br>
> completely different, but simultaneous, definitions for a<br>
> function, one<br>
> for -fasm and one for -fllvm. But that would be a lot of work and<br>
> couldn't be done for 7.8.<br>
> ><br>
> ><br>
> > its worth noting that the LLVM simd in 7.8, either way,<br>
> won't support<br>
> > simd shuffles, which will seriously curtail its general utility,<br>
> > either way.<br>
><br>
> You told me you would send me example use cases, type<br>
> signatures, etc.<br>
> Did I miss an email? If this is very important to you, was there a<br>
> particular difficulty you had implementing these primops?<br>
><br>
> > On Wed, Sep 18, 2013 at 4:22 PM, Simon Marlow<br>
> <</span><a href="mailto:marlowsd@gmail.com" target="_blank"><span style="mso-bookmark:_MailOriginal">marlowsd@gmail.com</span><span style="mso-bookmark:_MailOriginal"></span></a><span style="mso-bookmark:_MailOriginal"> <mailto:</span><a href="mailto:marlowsd@gmail.com" target="_blank"><span style="mso-bookmark:_MailOriginal">marlowsd@gmail.com</span><span style="mso-bookmark:_MailOriginal"></span></a><span style="mso-bookmark:_MailOriginal">><br>
> > <mailto:</span><a href="mailto:marlowsd@gmail.com" target="_blank"><span style="mso-bookmark:_MailOriginal">marlowsd@gmail.com</span><span style="mso-bookmark:_MailOriginal"></span></a><span style="mso-bookmark:_MailOriginal"> <mailto:</span><a href="mailto:marlowsd@gmail.com" target="_blank"><span style="mso-bookmark:_MailOriginal">marlowsd@gmail.com</span><span style="mso-bookmark:_MailOriginal"></span></a><span style="mso-bookmark:_MailOriginal">>>>
wrote:<br>
> ><br>
> > On 18/09/13 20:01, Geoffrey Mainland wrote:<br>
> ><br>
> > We did discuss this, but you may not have been present.<br>
> ><br>
> > If LLVM-only primops show up in a non-LLVM codegen,<br>
> a "sorry"<br>
> > error is<br>
> > reported telling the user that they need to compile with<br>
> > "-fllvm". Yes,<br>
> > this is not a fantastic solution. Options I see:<br>
> ><br>
> > 1) Live with the error message.<br>
> > 2) Remove all SIMD support until the NCG catches up.<br>
> > 3) Figure out a mechanism that avoids inlining any<br>
> code containing<br>
> > LLVM-only primops when we're not using the LLVM back<br>
> end.<br>
> ><br>
> > Maybe you can think of another solution?<br>
> ><br>
> ><br>
> > Those are the three unsatisfactory solutions that I know<br>
> of. Even<br>
> > if we did (3), the user still wants to know when that is<br>
> happening<br>
> > because they're getting less good code, so you'd want a<br>
> warning.<br>
> ><br>
> > One thing we might try to do is automatically enable<br>
> -fllvm when<br>
> > the compilation would otherwise fail. If LLVM isn't<br>
> installed and<br>
> > the compilation still fails, it's no worse than failing<br>
> to compile<br>
> > the module with the sorry error.<br>
> ><br>
> > Simon<br>
> ><br>
> ><br>
> ><br>
> > Geoff<br>
> ><br>
> > On 09/18/2013 02:54 PM, Simon Marlow wrote:<br>
> ><br>
> > This is slightly problematic. What if we have a<br>
> wonderful<br>
> > SIMD-enabled vector library that we compile with<br>
> -fllvm,<br>
> > and then use<br>
> > it in a program that isn't compiled with -fllvm,<br>
> and some<br>
> > of the<br>
> > wonderful SIMD-enabled functions get inlined?<br>
> Presumably<br>
> > we get a<br>
> > panic in the NCG.<br>
> ><br>
> > Did we discuss this before? I have vague<br>
> memories, but<br>
> > don't remember<br>
> > what the outcome was.<br>
> ><br>
> > Cheers,<br>
> > Simon<br>
> ><br>
> > On 12/09/13 03:10, Geoffrey Mainland wrote:<br>
> ><br>
> > We support compiling some code with -fllvm<br>
> and some<br>
> > not in the same<br>
> > executable. Otherwise how could users of the<br>
> Haskell<br>
> > Platform link their<br>
> > -fllvm-compiled code with<br>
> native-codegen-compiled<br>
> > libraries like<br>
> > base, etc.?<br>
> ><br>
> > In other words, the LLVM and native back<br>
> ends use the<br>
> > same calling<br>
> > convention. With my SIMD work, they still<br>
> use the same<br>
> > calling<br>
> > conventions, but the native codegen can<br>
> never generate<br>
> > code that uses<br>
> > SIMD instructions.<br>
> ><br>
> > Geoff<br>
> ><br>
> > On 09/11/2013 10:03 PM, Johan Tibell wrote:<br>
> ><br>
> > OK. But that doesn't create a problem<br>
> for the code<br>
> > we output with the<br>
> > LLVM backend, no? Or do we support<br>
> compiling some<br>
> > code with -fllvm and<br>
> > some not in the same executable?<br>
> ><br>
> ><br>
> > On Wed, Sep 11, 2013 at 6:56 PM,<br>
> Geoffrey Mainland<br>
> > <</span><a href="mailto:mainland@apeiron.net" target="_blank"><span style="mso-bookmark:_MailOriginal">mainland@apeiron.net</span><span style="mso-bookmark:_MailOriginal"></span></a><span style="mso-bookmark:_MailOriginal"><br>
> <mailto:</span><a href="mailto:mainland@apeiron.net" target="_blank"><span style="mso-bookmark:_MailOriginal">mainland@apeiron.net</span><span style="mso-bookmark:_MailOriginal"></span></a><span style="mso-bookmark:_MailOriginal">><br>
> > <mailto:</span><a href="mailto:mainland@apeiron.net" target="_blank"><span style="mso-bookmark:_MailOriginal">mainland@apeiron.net</span><span style="mso-bookmark:_MailOriginal"></span></a><span style="mso-bookmark:_MailOriginal"><br>
> <mailto:</span><a href="mailto:mainland@apeiron.net" target="_blank"><span style="mso-bookmark:_MailOriginal">mainland@apeiron.net</span><span style="mso-bookmark:_MailOriginal"></span></a><span style="mso-bookmark:_MailOriginal">>><br>
> > <mailto:</span><a href="mailto:mainland@apeiron.net" target="_blank"><span style="mso-bookmark:_MailOriginal">mainland@apeiron.net</span><span style="mso-bookmark:_MailOriginal"></span></a><span style="mso-bookmark:_MailOriginal"><br>
> <mailto:</span><a href="mailto:mainland@apeiron.net" target="_blank"><span style="mso-bookmark:_MailOriginal">mainland@apeiron.net</span><span style="mso-bookmark:_MailOriginal"></span></a><span style="mso-bookmark:_MailOriginal">><br>
> > <mailto:</span><a href="mailto:mainland@apeiron.net" target="_blank"><span style="mso-bookmark:_MailOriginal">mainland@apeiron.net</span><span style="mso-bookmark:_MailOriginal"></span></a><span style="mso-bookmark:_MailOriginal"><br>
> <mailto:</span><a href="mailto:mainland@apeiron.net" target="_blank"><span style="mso-bookmark:_MailOriginal">mainland@apeiron.net</span><span style="mso-bookmark:_MailOriginal"></span></a><span style="mso-bookmark:_MailOriginal">>>>> wrote:<br>
> ><br>
> > We definitely have interop between the<br>
> > native codegen and the LLVM<br>
> > back<br>
> > end now. Otherwise anyone who<br>
> wanted to use<br>
> > the LLVM back end<br>
> > would have<br>
> > to build GHC themselves. Interop<br>
> means that<br>
> > users can install the<br>
> > Haskell Platform and still use<br>
> -fllvm when<br>
> > it makes a performance<br>
> > difference.<br>
> ><br>
> > Geoff<br>
> ><br>
> > On 09/11/2013 07:59 PM, Johan<br>
> Tibell wrote:<br>
> > > Do nothing different than you're<br>
> doing for<br>
> > 7.8, we can sort<br>
> > it out<br>
> > > later. Just put a comment on the<br>
> primops<br>
> > saying they're<br>
> > LLVM-only. See<br>
> > > e.g.<br>
> > ><br>
> > ><br>
> > ><br>
> ><br>
> ><br>
> </span><a href="https://github.com/ghc/ghc/blob/master/compiler/prelude/primops.txt.pp#L181" target="_blank"><span style="mso-bookmark:_MailOriginal">https://github.com/ghc/ghc/blob/master/compiler/prelude/primops.txt.pp#L181</span><span style="mso-bookmark:_MailOriginal"></span></a><span style="mso-bookmark:_MailOriginal"><br>
> > ><br>
> > > for an example how to add docs<br>
> to primops.<br>
> > ><br>
> > > I don't think we need interop<br>
> between the<br>
> > native and the LLVM<br>
> > > backends. We don't have that now<br>
> do we<br>
> > (i.e. they use different<br>
> > > calling conventions).<br>
> > ><br>
> > ><br>
> > ><br>
> > > On Wed, Sep 11, 2013 at 4:51 PM,<br>
> Geoffrey<br>
> > Mainland<br>
> > > <</span><a href="mailto:mainland@apeiron.net" target="_blank"><span style="mso-bookmark:_MailOriginal">mainland@apeiron.net</span><span style="mso-bookmark:_MailOriginal"></span></a><span style="mso-bookmark:_MailOriginal"><br>
> <mailto:</span><a href="mailto:mainland@apeiron.net" target="_blank"><span style="mso-bookmark:_MailOriginal">mainland@apeiron.net</span><span style="mso-bookmark:_MailOriginal"></span></a><span style="mso-bookmark:_MailOriginal">><br>
> > <mailto:</span><a href="mailto:mainland@apeiron.net" target="_blank"><span style="mso-bookmark:_MailOriginal">mainland@apeiron.net</span><span style="mso-bookmark:_MailOriginal"></span></a><span style="mso-bookmark:_MailOriginal"><br>
> <mailto:</span><a href="mailto:mainland@apeiron.net" target="_blank"><span style="mso-bookmark:_MailOriginal">mainland@apeiron.net</span><span style="mso-bookmark:_MailOriginal"></span></a><span style="mso-bookmark:_MailOriginal">>><br>
> > <mailto:</span><a href="mailto:mainland@apeiron.net" target="_blank"><span style="mso-bookmark:_MailOriginal">mainland@apeiron.net</span><span style="mso-bookmark:_MailOriginal"></span></a><span style="mso-bookmark:_MailOriginal"><br>
> <mailto:</span><a href="mailto:mainland@apeiron.net" target="_blank"><span style="mso-bookmark:_MailOriginal">mainland@apeiron.net</span><span style="mso-bookmark:_MailOriginal"></span></a><span style="mso-bookmark:_MailOriginal">><br>
> > <mailto:</span><a href="mailto:mainland@apeiron.net" target="_blank"><span style="mso-bookmark:_MailOriginal">mainland@apeiron.net</span><span style="mso-bookmark:_MailOriginal"></span></a><span style="mso-bookmark:_MailOriginal"><br>
> <mailto:</span><a href="mailto:mainland@apeiron.net" target="_blank"><span style="mso-bookmark:_MailOriginal">mainland@apeiron.net</span><span style="mso-bookmark:_MailOriginal"></span></a><span style="mso-bookmark:_MailOriginal">>>><br>
> > <mailto:</span><a href="mailto:mainland@apeiron.net" target="_blank"><span style="mso-bookmark:_MailOriginal">mainland@apeiron.net</span><span style="mso-bookmark:_MailOriginal"></span></a><span style="mso-bookmark:_MailOriginal"><br>
> <mailto:</span><a href="mailto:mainland@apeiron.net" target="_blank"><span style="mso-bookmark:_MailOriginal">mainland@apeiron.net</span><span style="mso-bookmark:_MailOriginal"></span></a><span style="mso-bookmark:_MailOriginal">><br>
> > <mailto:</span><a href="mailto:mainland@apeiron.net" target="_blank"><span style="mso-bookmark:_MailOriginal">mainland@apeiron.net</span><span style="mso-bookmark:_MailOriginal"></span></a><span style="mso-bookmark:_MailOriginal"><br>
> <mailto:</span><a href="mailto:mainland@apeiron.net" target="_blank"><span style="mso-bookmark:_MailOriginal">mainland@apeiron.net</span><span style="mso-bookmark:_MailOriginal"></span></a><span style="mso-bookmark:_MailOriginal">>><br>
> > <mailto:</span><a href="mailto:mainland@apeiron.net" target="_blank"><span style="mso-bookmark:_MailOriginal">mainland@apeiron.net</span><span style="mso-bookmark:_MailOriginal"></span></a><span style="mso-bookmark:_MailOriginal"><br>
> <mailto:</span><a href="mailto:mainland@apeiron.net" target="_blank"><span style="mso-bookmark:_MailOriginal">mainland@apeiron.net</span><span style="mso-bookmark:_MailOriginal"></span></a><span style="mso-bookmark:_MailOriginal">><br>
> > <mailto:</span><a href="mailto:mainland@apeiron.net" target="_blank"><span style="mso-bookmark:_MailOriginal">mainland@apeiron.net</span><span style="mso-bookmark:_MailOriginal"></span></a><span style="mso-bookmark:_MailOriginal"><br>
> <mailto:</span><a href="mailto:mainland@apeiron.net" target="_blank"><span style="mso-bookmark:_MailOriginal">mainland@apeiron.net</span><span style="mso-bookmark:_MailOriginal"></span></a><span style="mso-bookmark:_MailOriginal">>>>>><br>
> > wrote:<br>
> > ><br>
> > > On 09/11/2013 07:44 PM,<br>
> Johan Tibell<br>
> > wrote:<br>
> > > > On Wed, Sep 11, 2013 at<br>
> 4:40 PM,<br>
> > Geoffrey Mainland<br>
> > > <</span><a href="mailto:mainland@apeiron.net" target="_blank"><span style="mso-bookmark:_MailOriginal">mainland@apeiron.net</span><span style="mso-bookmark:_MailOriginal"></span></a><span style="mso-bookmark:_MailOriginal"><br>
> <mailto:</span><a href="mailto:mainland@apeiron.net" target="_blank"><span style="mso-bookmark:_MailOriginal">mainland@apeiron.net</span><span style="mso-bookmark:_MailOriginal"></span></a><span style="mso-bookmark:_MailOriginal">><br>
> > <mailto:</span><a href="mailto:mainland@apeiron.net" target="_blank"><span style="mso-bookmark:_MailOriginal">mainland@apeiron.net</span><span style="mso-bookmark:_MailOriginal"></span></a><span style="mso-bookmark:_MailOriginal"><br>
> <mailto:</span><a href="mailto:mainland@apeiron.net" target="_blank"><span style="mso-bookmark:_MailOriginal">mainland@apeiron.net</span><span style="mso-bookmark:_MailOriginal"></span></a><span style="mso-bookmark:_MailOriginal">>><br>
> > <mailto:</span><a href="mailto:mainland@apeiron.net" target="_blank"><span style="mso-bookmark:_MailOriginal">mainland@apeiron.net</span><span style="mso-bookmark:_MailOriginal"></span></a><span style="mso-bookmark:_MailOriginal"><br>
> <mailto:</span><a href="mailto:mainland@apeiron.net" target="_blank"><span style="mso-bookmark:_MailOriginal">mainland@apeiron.net</span><span style="mso-bookmark:_MailOriginal"></span></a><span style="mso-bookmark:_MailOriginal">><br>
> > <mailto:</span><a href="mailto:mainland@apeiron.net" target="_blank"><span style="mso-bookmark:_MailOriginal">mainland@apeiron.net</span><span style="mso-bookmark:_MailOriginal"></span></a><span style="mso-bookmark:_MailOriginal"><br>
> <mailto:</span><a href="mailto:mainland@apeiron.net" target="_blank"><span style="mso-bookmark:_MailOriginal">mainland@apeiron.net</span><span style="mso-bookmark:_MailOriginal"></span></a><span style="mso-bookmark:_MailOriginal">>>><br>
> > <mailto:</span><a href="mailto:mainland@apeiron.net" target="_blank"><span style="mso-bookmark:_MailOriginal">mainland@apeiron.net</span><span style="mso-bookmark:_MailOriginal"></span></a><span style="mso-bookmark:_MailOriginal"><br>
> <mailto:</span><a href="mailto:mainland@apeiron.net" target="_blank"><span style="mso-bookmark:_MailOriginal">mainland@apeiron.net</span><span style="mso-bookmark:_MailOriginal"></span></a><span style="mso-bookmark:_MailOriginal">><br>
> > <mailto:</span><a href="mailto:mainland@apeiron.net" target="_blank"><span style="mso-bookmark:_MailOriginal">mainland@apeiron.net</span><span style="mso-bookmark:_MailOriginal"></span></a><span style="mso-bookmark:_MailOriginal"><br>
> <mailto:</span><a href="mailto:mainland@apeiron.net" target="_blank"><span style="mso-bookmark:_MailOriginal">mainland@apeiron.net</span><span style="mso-bookmark:_MailOriginal"></span></a><span style="mso-bookmark:_MailOriginal">>><br>
> > <mailto:</span><a href="mailto:mainland@apeiron.net" target="_blank"><span style="mso-bookmark:_MailOriginal">mainland@apeiron.net</span><span style="mso-bookmark:_MailOriginal"></span></a><span style="mso-bookmark:_MailOriginal"><br>
> <mailto:</span><a href="mailto:mainland@apeiron.net" target="_blank"><span style="mso-bookmark:_MailOriginal">mainland@apeiron.net</span><span style="mso-bookmark:_MailOriginal"></span></a><span style="mso-bookmark:_MailOriginal">><br>
> > <mailto:</span><a href="mailto:mainland@apeiron.net" target="_blank"><span style="mso-bookmark:_MailOriginal">mainland@apeiron.net</span><span style="mso-bookmark:_MailOriginal"></span></a><span style="mso-bookmark:_MailOriginal"><br>
> <mailto:</span><a href="mailto:mainland@apeiron.net" target="_blank"><span style="mso-bookmark:_MailOriginal">mainland@apeiron.net</span><span style="mso-bookmark:_MailOriginal"></span></a><span style="mso-bookmark:_MailOriginal">>>>>><br>
> > wrote:<br>
> > > > > Do you mean we need a<br>
> reasonable<br>
> > emulation of the SIMD<br>
> > primops for<br>
> > > > > the native codegen?<br>
> > > ><br>
> > > > Yes. Reasonable in the<br>
> sense that it<br>
> > computes the right<br>
> > result.<br>
> > > I can<br>
> > > > see that some code might<br>
> still want<br>
> > to #ifdef (if the<br>
> > fallback isn't<br>
> > > > fast enough).<br>
> > ><br>
> > > Two implications of this<br>
> requirement:<br>
> > ><br>
> > > 1) There will not be SIMD in<br>
> 7.8. I<br>
> > just don't have the<br>
> > time. In fact,<br>
> > > what SIMD support is there<br>
> already<br>
> > will have to be<br>
> > removed if we<br>
> > > cannot<br>
> > > live with LLVM-only SIMD<br>
> primops.<br>
> > ><br>
> > > 2) If we also require<br>
> interop between<br>
> > the LLVM back-end and<br>
> > the native<br>
> > > codegen, then we cannot pass<br>
> any SIMD<br>
> > vectors in<br>
> > registers---they all<br>
> > > must be passed on the stack.<br>
> > ><br>
> > > My plan, as discussed with<br>
> Simon PJ,<br>
> > is to not support SIMD<br>
> > primops at<br>
> > > all with the native codegen.<br>
> If there<br>
> > is a strong feeling<br>
> > that<br>
> > > this *is<br>
> > > not* the way to go, the I<br>
> need to know<br>
> > ASAP.<br>
> > ><br>
> > > Geoff<br>
> > ><br>
> > ><br>
> > ><br>
> ><br>
> ><br>
> ><br>
> ><br>
> ><br>
> ><br>
> ><br>
><br>
><br>
><o:p></o:p></span></p>
</div>
</div>
<p class="MsoNormal"><span style="mso-bookmark:_MailOriginal">_______________________________________________<br>
ghc-devs mailing list<br>
</span><a href="mailto:ghc-devs@haskell.org" target="_blank"><span style="mso-bookmark:_MailOriginal">ghc-devs@haskell.org</span><span style="mso-bookmark:_MailOriginal"></span></a><span style="mso-bookmark:_MailOriginal"><br>
</span><a href="http://www.haskell.org/mailman/listinfo/ghc-devs" target="_blank"><span style="mso-bookmark:_MailOriginal">http://www.haskell.org/mailman/listinfo/ghc-devs</span><span style="mso-bookmark:_MailOriginal"></span></a><span style="mso-bookmark:_MailOriginal"><o:p></o:p></span></p>
</blockquote>
</div>
</blockquote>
</div>
<p class="MsoNormal"><span style="mso-bookmark:_MailOriginal"><o:p> </o:p></span></p>
</div>
</blockquote>
</div>
</div>
</div>
</blockquote>
</div>
<span style="mso-bookmark:_MailOriginal"></span>
<p class="MsoNormal"><o:p> </o:p></p>
</div>
</div>
</div>
</div>
</body>
</html>