arm64 front end: add support for 'dc civac', handling it the same as 'dc cvau'.
commitc82d35f6d67ed34cf20d79f90a7400bd7f83ebad
authorJulian Seward <jseward@acm.org>
Wed, 22 Jan 2020 10:21:53 +0000 (22 11:21 +0100)
committerJulian Seward <jseward@acm.org>
Wed, 22 Jan 2020 10:21:53 +0000 (22 11:21 +0100)
treedcba959e97520eb209e1bfb26f3f1550a2410f6a
parentdad7f1d7174d2e5e4bc16eac09653c55ab6eb7e5
arm64 front end: add support for 'dc civac', handling it the same as 'dc cvau'.

This partially fixes #412377.
VEX/priv/guest_arm64_toIR.c