<div class="gmail_quote">On 21 April 2012 01:17, Andrej Mitrovic <span dir="ltr"><<a href="mailto:andrej.mitrovich@gmail.com">andrej.mitrovich@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div class="im">On 4/20/12, Manu <<a href="mailto:turkeyman@gmail.com">turkeyman@gmail.com</a>> wrote:<br>
> I need to clarify some things that have confused me a few times.<br>
<br>
</div>When in doubt you can either do a few write calls:<br></blockquote><div><br></div><div>Sure, but as I'm trying to say, I'm already suspicious the compiler isn't doing the 'right' thing in the first place... I want to rather know what the word is, ie, the conceptual definition.</div>
<div><br></div><div><br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">import std.stdio;<br>
import std.concurrency;<br>
<br>
struct FooStruct<br>
{<br>
    static int FooX;<br>
    __gshared int FooY;<br>
}<br>
<br>
void test()<br>
{<br>
    writeln(FooStruct.FooX);<br>
    writeln(FooStruct.FooY);<br>
}<br>
<br>
void main()<br>
{<br>
    writeln(FooStruct.FooX);<br>
    writeln(FooStruct.FooY);<br>
    FooStruct.FooX = 1;<br>
    FooStruct.FooY = 1;<br>
<br>
    spawn(&test);<br>
}<br>
<br>
Or better yet look at the disassembly:<br>
<br>
Here's FooX:<br>
SECTION .tls$   align=16 noexecute                      ; section number 8, data<br>
_D4test9FooStruct4FooXi:                                ; dword<br>
        dd 00000000H                                    ; 0000 _ 0<br>
<br>
Here's how it's loaded:<br>
mov     eax, dword [__tls_index]                ; 0003 _ A1, 00000000(segrel)<br>
mov     ecx, dword [fs:__tls_array]             ; 0008 _ 64: 8B. 0D,<br>
00000000(segrel)<br>
mov     edx, dword [ecx+eax*4]                  ; 000F _ 8B. 14 81<br>
mov     eax, dword [_D4test9FooStruct4FooXi+edx]; 0012 _ 8B. 82, 00000000<br>
<br>
And here's FooY:<br>
SECTION .BSS    align=16 noexecute                      ; section number 4, bss<br>
_D4test9FooStruct4FooYi:                                ; dword<br>
        resd    1                                       ; 0004<br>
<br>
And here's how it's loaded (notice the lack of having to calculate the<br>
address based on TLS:<br>
mov     eax, dword [_D4test9FooStruct4FooYi]    ; 001D _ A1, 00000004(segrel)<br>
<br>
Adding static before __gshared doesn't seem to have any effect. DMD<br>
ignores a lot of nonsense keyword combinations. Maybe this will<br>
improve one day..<br>
</blockquote><div> </div><div>Right, this is precisely what I expect, and apparently the compiler knows enough about that variable that even when addressing an alias at compile time, it can still generate the appropriate TLS code. So that shows that TLS is not a problem for compile time addressing, it is only important that it is statically addressable.</div>
<div>So... back to my bug that Walter rejected, I don't understand the problem?</div></div>