tree dac88d37efe90f26daeee4349510affda4b155f9
parent 1d1f63013539bccc877899116cccf106d318b04a
author Richard Henderson <rth@twiddle.net> 1347231857 -0700
committer Richard Henderson <rth@twiddle.net> 1357417125 -0800

target-s390: Use uint64_to_float128

Signed-off-by: Richard Henderson <rth@twiddle.net>