This is the mail archive of the libc-alpha@sourceware.org mailing list for the glibc project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

MPX ABI extension

From: Ilya Enkovich <enkovich dot gnu at gmail dot com>
To: GNU C Library <libc-alpha at sourceware dot org>, GCC Development <gcc at gcc dot gnu dot org>, Binutils <binutils at sourceware dot org>
Cc: "Melik-Adamyan, Areg" <areg dot melik-adamyan at intel dot com>, "Girkar, Milind" <milind dot girkar at intel dot com>, Vyacheslav P <vyacheslav dot p dot zakharin at intel dot com>, "Kreitzer, David L" <david dot l dot kreitzer at intel dot com>, "H.J. Lu" <hjl dot tools at gmail dot com>
Date: Mon, 26 Aug 2013 19:12:48 +0400
Subject: MPX ABI extension
Authentication-results: sourceware.org; auth=none

Hi,

Here is a patch to extend x86-64 psABI to support MPX [1].

A short description of changes:
 - There are 4 bound registers (bnd0-bnd3) added; all of them are caller-save
 - When we pass (return) pointer on register, we use the next
available bound register to pass (return) bounds
 - If there is no free bound register, use bounds table with special address
 - When pointer is passed on stack, bounds table is used to pass bounds
 - For vararg functions pass bounds for each arg ignoring its type; it
allows to avoid problem of bounds mismatch when caller and callee use
different types to pass/get arg.

[1] http://software.intel.com/sites/default/files/319433-015.pdf

Thanks,
Ilya

Attachment: MPX-ABI.patch
Description: Binary data

Follow-Ups:
- Re: MPX ABI extension
  - From: Kalle Olavi Niemitalo

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]