target-ppc: change DCR helpers to target_long arguments
commit95ff895f79c75ba13b63a3408d3b8a49791179c6
authorAurelien Jarno <aurelien@aurel32.net>
Sat, 6 Feb 2010 15:59:11 +0000 (6 16:59 +0100)
committerAurelien Jarno <aurelien@aurel32.net>
Sat, 6 Feb 2010 16:14:24 +0000 (6 17:14 +0100)
tree2af30bf2bb7a7756080aa6743d284bdca304673d
parent8f9db67c84475cd440edcec120bc1826473bf744
target-ppc: change DCR helpers to target_long arguments

The recent transition to always have the DCR helper functions take 32 bit
values broke the PPC64 target, as target_long became 64 bits there.

This patch changes DCR helpers to target_long arguments, and cast the values
to 32 bit when needed.

Fixes PPC64 build with --enable-debug-tcg

Based on a patch from Alexander Graf <agraf@suse.de>
Reported-by: Stefan Weil <weil@mail.berlios.de>
Signed-off-by: Aurelien Jarno <aurelien@aurel32.net>
target-ppc/helper.h
target-ppc/op_helper.c