some sparc code

y = (x = x + 3) + 4

CIIR?
\#y <- +[int] ( { t1 = #x, t2 = 3
                 #x <- +[int](t1, t2)
                 } t1
              , { t2 = 4
 
                } t2 )

ld    [%fp - 0x4], %o0	! %fp - 0x4 is addr of x
add   %o0, 3, %o0
st    %o0, [%fp - 0x4]
ld    [%fp - 0x4], %o1
add   %o2, 4, %o3	! y = %o3