Bug 406465

Summary: arm64 instruction selector fails on "t0 = <expr>" where <expr> has type Ity_F16
Product: [Developer tools] valgrind Reporter: Julian Seward <jseward>
Component: vexAssignee: Julian Seward <jseward>
Status: REPORTED ---    
Severity: normal    
Priority: NOR    
Version First Reported In: 3.15 SVN   
Target Milestone: ---   
Platform: Other   
OS: Linux   
Latest Commit: Version Fixed/Implemented In:
Sentry Crash Report:
Attachments: Fix, I think

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