Project

General

Profile

Actions

Bug #4398

open

Aspectator and C back-end should support GCC vector type

Added by Evgeny Novikov over 11 years ago. Updated almost 6 years ago.

Status:
Open
Priority:
High
Category:
Core
Start date:
07/28/2013
Due date:
% Done:

0%

Estimated time:
Detected in build:
svn
Platform:
Published in build:

Description

There are some issues related with unsupported GCC vector type on kvm drivers. They happen just for 3 drivers, that use "sse128_t"http://lxr.free-electrons.com/source/arch/x86/include/asm/kvm_emulate.h#L212 vector type.

Previously these drivers have led to segfault (#4390) when using specific aspect files, and have led to a failure of C-backend for any aspect file. At the moment Aspectator fails when it encounters it. Vector types should be supported in both Aspectator and C-backend.


Related issues 1 (0 open1 closed)

Related to C Instrumentation Framework - Bug #4390: arch/x86/kvm/emulate.c.prepared:912:1: internal compiler error: Segmentation faultClosedEvgeny Novikov07/26/2013

Actions
Actions #1

Updated by Evgeny Novikov about 10 years ago

  • Priority changed from High to Normal
Actions #2

Updated by Evgeny Novikov almost 9 years ago

  • Subject changed from Aspectator and C-backend should support GCC vector type to Aspectator and C back-end should support GCC vector type
  • Category set to Core
  • Priority changed from Normal to High
Actions #3

Updated by Ilya Shchepetkov over 7 years ago

The issue is still relevant.

Actions #4

Updated by Ilya Shchepetkov almost 6 years ago

Ilya Shchepetkov wrote:

The issue is still relevant.

It is as relevant today as it's ever been

Actions #5

Updated by Evgeny Novikov almost 6 years ago

It seems that to support this normally we need to do many things because of GCC operates with specific types internally rather than with, say, integers with corresponding attributes.

Suddenly, to avoid corresponding errors from CIF when dealing with source code of the Linux kernel it is enough to add the following command-line option:

-Dvector_size(x)=

This suppresses the only vector type that is used in the Linux kernel. Hopefully, the rest code does not use specific vector operations. Corresponding data is passed to inline assembler that is ignored.

Actions

Also available in: Atom PDF