March 2013 - jhc - Haskell.org

Re: [jhc] [BUG] Poke should use volatile.
by Kiwamu Okabe 07 Mar '13

07 Mar '13

Hi Henning. I don't know detail of C language... On Thu, Mar 7, 2013 at 9:07 PM, Henning Thielemann <lemming(a)henning-thielemann.de> wrote: > Yes - at least this is the expected semantics of the IO monad. > Unless someone has written a RULE that removes the duplicate peek. However, > I think this is generally not a good idea, since even regular memory can be > modified by a concurrent thread. So clear. Thank's a lot. -- Kiwamu Okabe

1 0

[BUG] Poke should use volatile.
by Kiwamu Okabe 07 Mar '13

07 Mar '13

Hi. I think poke function should use volatile on C language side. If not, the code created with jhc cannot write raw memory. diff --git a/src/C/FromGrin2.hs b/src/C/FromGrin2.hs index 46e1a08..d4508bd 100644 --- a/src/C/FromGrin2.hs +++ b/src/C/FromGrin2.hs @@ -712,7 +712,7 @@ convertPrim p vs ty | (Poke t) <- p, [v,x] <- vs = do v' <- convertVal v x' <- convertVal x - return $ expressionRaw ("*((" <> (opTyToC' t) <+> "*)" <> (parens $ renderG v') <> text ") = " <> renderG x') + return $ expressionRaw ("*((volatile " <> (opTyToC' t) <+> "*)" <> (parens $ renderG v') <> text ") = " <> renderG x') | (AddrOf _ t) <- p, [] <- vs = do rt <- convertTypes ty return . cast rt $ expressionRaw ('&':unpackPS t) I found it when use jhc to program Cortex-M3. https://gitorious.org/metasepi/demo-cortex-m3 Regards, -- Kiwamu Okabe

2 11

ANNOUNCE: Start Ajhc project with forking jhc.
by Kiwamu Okabe 06 Mar '13

06 Mar '13

Hi all. I am a user of jhc Haskell compiler. Jhc can compile Haskell code to micro arch such as Cortex-M3. I have written LED blinking demo for Cortex-M3 with jhc. Very fun! https://github.com/ajhc/demo-cortex-m3 http://www.youtube.com/watch?v=3R9sogReVHg And I created many patches for jhc. But...I think that the upstream author of jhc, John Meacham, can't pull the contribution speedy, because he is too busy. It's difficult that maintain many patches without any repositories, for me. Then, I have decided to fork jhc, named Ajhc. # pain full... http://ajhc.github.com/ I will feedback Ajhc's big changes to jhc mailing list. Or I am so happy if John joins Ajhc project. Regards, -- Kiwamu Okabe

2 2