+
+ emit' (GETFIELD x) = do
+ pop eax -- this pointer
+ -- like: 099db064 ff b0 e4 14 00 00 pushl 5348(%eax)
+ trapaddr <- emitSigIllTrap 6
+ let patcher reip = do
+ let (cname, fname) = buildFieldOffset cls x
+ offset <- liftIO $ fromIntegral <$> getFieldOffset cname fname
+ push32RelEax (Disp offset) -- get field
+ return reip
+ return $ Just (trapaddr, ObjectField patcher)
+ emit' (PUTFIELD x) = do
+ pop ebx -- value to write
+ pop eax -- this pointer
+ -- like: 4581fc6b 89 98 30 7b 00 00 movl %ebx,31536(%eax)
+ trapaddr <- emitSigIllTrap 6
+ let patcher reip = do
+ let (cname, fname) = buildFieldOffset cls x
+ offset <- liftIO $ fromIntegral <$> getFieldOffset cname fname
+ mov32RelEbxEax (Disp offset) -- set field
+ return reip
+ return $ Just (trapaddr, ObjectField patcher)
+