On 4 February 2015 at 14:20, Oliver Stannard <oliver.stannard at arm.com> wrote: > It looks to me as if the main point of the test is checking the details of > the memcpy call inside f, so that loosening the CHECK-LABEL to permit f to > return i64 should not defeat the test's actual purpose? +1 --renato