Bug 406465 - arm64 instruction selector fails on "t0 = <expr>" where <expr> has type Ity_F16
Summary: arm64 instruction selector fails on "t0 = <expr>" where <expr> has type Ity_F16
Status: REPORTED
Alias: None
Product: valgrind
Classification: Developer tools
Component: vex (other bugs)
Version First Reported In: 3.15 SVN
Platform: Other Linux
: NOR normal
Target Milestone: ---
Assignee: Julian Seward
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2019-04-12 12:16 UTC by Julian Seward
Modified: 2019-04-13 10:33 UTC (History)
0 users

See Also:
Latest Commit:
Version Fixed/Implemented In:
Sentry Crash Report:


Attachments
Fix, I think (1.05 KB, text/plain)
2019-04-12 12:34 UTC, Julian Seward
Details

Note You need to log in before you can comment on or make changes to this bug.
Description Julian Seward 2019-04-12 12:16:00 UTC
int main ( void ) {
   __asm__ __volatile__("fcvtl v11.4s, v29.4h":::"cc","memory");
}

[..]

./vg-in-place --track-origins=yes ./badness

[..]

t0 = GET:F16(784)
vex: the `impossible' happened:
   iselStmt
Comment 1 Julian Seward 2019-04-12 12:34:05 UTC
Created attachment 119373 [details]
Fix, I think