1 /*
2 * Support file for nvptx in newlib.
3 * Copyright (c) 2016-2018 Mentor Graphics.
4 *
5 * The authors hereby grant permission to use, copy, modify, distribute,
6 * and license this software and its documentation for any purpose, provided
7 * that existing copyright notices are retained in all copies and that this
8 * notice is included verbatim in any distributions. No written agreement,
9 * license, or royalty fee is required for any of the authorized uses.
10 * Modifications to this software may be copyrighted by their authors
11 * and need not follow the licensing terms described here, provided that
12 * the new terms are clearly indicated on the first page of each file where
13 * they apply.
14 */
15
16 #include <picolibc.h>
17
18 #include <stdlib.h>
19
20 /* The CUDA-provided free. */
21 void sys_free (void *) __asm__ ("free");
22
23 /* The user-visible free (renamed by compiler). */
free(void * ptr)24 void free (void *ptr)
25 {
26 if (ptr)
27 sys_free ((long long *)ptr - 1);
28 }
29
