xref: /minix3/minix/lib/libsys/sef_llvm.c (revision 7c48de6cc4c6d56f2277d378dba01dbac8a8c3b9)
1d196e2c3SCristiano Giuffrida #include "syslib.h"
2d196e2c3SCristiano Giuffrida #include <assert.h>
3d196e2c3SCristiano Giuffrida #include <unistd.h>
4162b8995SCristiano Giuffrida #include <sys/mman.h>
5d196e2c3SCristiano Giuffrida #include <minix/sysutil.h>
6d196e2c3SCristiano Giuffrida 
7d196e2c3SCristiano Giuffrida /* Stack refs definitions. */
8d196e2c3SCristiano Giuffrida extern char **environ;
9d196e2c3SCristiano Giuffrida extern char **env_argv;
10d196e2c3SCristiano Giuffrida extern int env_argc;
11d196e2c3SCristiano Giuffrida 
12d196e2c3SCristiano Giuffrida #define sef_llvm_stack_refs_save_one(P, T, R) { *((T*)P) = R; P += sizeof(T); }
13d196e2c3SCristiano Giuffrida #define sef_llvm_stack_refs_restore_one(P, T, R) { R = *((T*)P); P += sizeof(T); }
14d196e2c3SCristiano Giuffrida 
15d196e2c3SCristiano Giuffrida /*===========================================================================*
16d196e2c3SCristiano Giuffrida  *      	              sef_llvm_magic_enabled                         *
17d196e2c3SCristiano Giuffrida  *===========================================================================*/
sef_llvm_magic_enabled(void)18*7c48de6cSDavid van Moolenbroek int sef_llvm_magic_enabled(void)
19d196e2c3SCristiano Giuffrida {
20*7c48de6cSDavid van Moolenbroek     extern void __attribute__((weak)) magic_init(void);
21d196e2c3SCristiano Giuffrida     if (!magic_init)
22d196e2c3SCristiano Giuffrida         return 0;
23d196e2c3SCristiano Giuffrida     return 1;
24d196e2c3SCristiano Giuffrida }
25d196e2c3SCristiano Giuffrida 
26d196e2c3SCristiano Giuffrida /*===========================================================================*
27d196e2c3SCristiano Giuffrida  *      	                sef_llvm_real_brk                            *
28d196e2c3SCristiano Giuffrida  *===========================================================================*/
sef_llvm_real_brk(char * newbrk)29d196e2c3SCristiano Giuffrida int sef_llvm_real_brk(char *newbrk)
30d196e2c3SCristiano Giuffrida {
31d196e2c3SCristiano Giuffrida     extern int __attribute__((weak)) _magic_real_brk(char*);
32d196e2c3SCristiano Giuffrida     if (!_magic_real_brk)
33d196e2c3SCristiano Giuffrida         return brk(newbrk);
34d196e2c3SCristiano Giuffrida     return _magic_real_brk(newbrk);
35d196e2c3SCristiano Giuffrida }
36d196e2c3SCristiano Giuffrida 
37d196e2c3SCristiano Giuffrida /*===========================================================================*
38d196e2c3SCristiano Giuffrida  *      	              sef_llvm_state_cleanup                         *
39d196e2c3SCristiano Giuffrida  *===========================================================================*/
sef_llvm_state_cleanup(void)40*7c48de6cSDavid van Moolenbroek int sef_llvm_state_cleanup(void)
41d196e2c3SCristiano Giuffrida {
42d196e2c3SCristiano Giuffrida     return OK;
43d196e2c3SCristiano Giuffrida }
44d196e2c3SCristiano Giuffrida 
45d196e2c3SCristiano Giuffrida /*===========================================================================*
46d196e2c3SCristiano Giuffrida  *      	                sef_llvm_dump_eval                           *
47d196e2c3SCristiano Giuffrida  *===========================================================================*/
sef_llvm_dump_eval(char * expr)48d196e2c3SCristiano Giuffrida void sef_llvm_dump_eval(char *expr)
49d196e2c3SCristiano Giuffrida {
50d196e2c3SCristiano Giuffrida     extern void __attribute__((weak)) _magic_dump_eval_bool(char*);
51d196e2c3SCristiano Giuffrida     if (!_magic_dump_eval_bool)
52d196e2c3SCristiano Giuffrida         return;
53d196e2c3SCristiano Giuffrida     return _magic_dump_eval_bool(expr);
54d196e2c3SCristiano Giuffrida }
55d196e2c3SCristiano Giuffrida 
56d196e2c3SCristiano Giuffrida /*===========================================================================*
57d196e2c3SCristiano Giuffrida  *      	               sef_llvm_eval_bool                            *
58d196e2c3SCristiano Giuffrida  *===========================================================================*/
sef_llvm_eval_bool(char * expr,char * result)59d196e2c3SCristiano Giuffrida int sef_llvm_eval_bool(char *expr, char *result)
60d196e2c3SCristiano Giuffrida {
61d196e2c3SCristiano Giuffrida     extern int __attribute__((weak)) magic_eval_bool(char*, char*);
62d196e2c3SCristiano Giuffrida     if (!magic_eval_bool)
63d196e2c3SCristiano Giuffrida         return 0;
64d196e2c3SCristiano Giuffrida     return magic_eval_bool(expr, result);
65d196e2c3SCristiano Giuffrida }
66d196e2c3SCristiano Giuffrida 
67d196e2c3SCristiano Giuffrida /*===========================================================================*
68d196e2c3SCristiano Giuffrida  *      	            sef_llvm_state_table_addr                        *
69d196e2c3SCristiano Giuffrida  *===========================================================================*/
sef_llvm_state_table_addr(void)70*7c48de6cSDavid van Moolenbroek void *sef_llvm_state_table_addr(void)
71d196e2c3SCristiano Giuffrida {
72d196e2c3SCristiano Giuffrida     extern void* __attribute__((weak)) _magic_vars_addr(void);
73d196e2c3SCristiano Giuffrida     if (!_magic_vars_addr)
74d196e2c3SCristiano Giuffrida         return NULL;
75d196e2c3SCristiano Giuffrida     return _magic_vars_addr();
76d196e2c3SCristiano Giuffrida }
77d196e2c3SCristiano Giuffrida 
78d196e2c3SCristiano Giuffrida /*===========================================================================*
79d196e2c3SCristiano Giuffrida  *      	            sef_llvm_state_table_size                        *
80d196e2c3SCristiano Giuffrida  *===========================================================================*/
sef_llvm_state_table_size(void)81*7c48de6cSDavid van Moolenbroek size_t sef_llvm_state_table_size(void)
82d196e2c3SCristiano Giuffrida {
83d196e2c3SCristiano Giuffrida     extern size_t __attribute__((weak)) _magic_vars_size(void);
84d196e2c3SCristiano Giuffrida     if (!_magic_vars_size)
85d196e2c3SCristiano Giuffrida         return 0;
86d196e2c3SCristiano Giuffrida     return _magic_vars_size();
87d196e2c3SCristiano Giuffrida }
88d196e2c3SCristiano Giuffrida 
89d196e2c3SCristiano Giuffrida /*===========================================================================*
90d196e2c3SCristiano Giuffrida  *      	            sef_llvm_stack_refs_save                         *
91d196e2c3SCristiano Giuffrida  *===========================================================================*/
sef_llvm_stack_refs_save(char * stack_buff)92d196e2c3SCristiano Giuffrida void sef_llvm_stack_refs_save(char *stack_buff)
93d196e2c3SCristiano Giuffrida {
94d196e2c3SCristiano Giuffrida     extern void __attribute__((weak)) st_stack_refs_save_restore(char*, int);
95d196e2c3SCristiano Giuffrida     char *p = stack_buff;
96d196e2c3SCristiano Giuffrida 
97d196e2c3SCristiano Giuffrida     sef_llvm_stack_refs_save_one(p, char**, environ);
98d196e2c3SCristiano Giuffrida     sef_llvm_stack_refs_save_one(p, char**, env_argv);
99d196e2c3SCristiano Giuffrida     sef_llvm_stack_refs_save_one(p, int, env_argc);
100d196e2c3SCristiano Giuffrida 
101d196e2c3SCristiano Giuffrida     if (st_stack_refs_save_restore)
102d196e2c3SCristiano Giuffrida         st_stack_refs_save_restore(p, 1);
103d196e2c3SCristiano Giuffrida }
104d196e2c3SCristiano Giuffrida 
105d196e2c3SCristiano Giuffrida /*===========================================================================*
106d196e2c3SCristiano Giuffrida  *      	           sef_llvm_stack_refs_restore                       *
107d196e2c3SCristiano Giuffrida  *===========================================================================*/
sef_llvm_stack_refs_restore(char * stack_buff)108d196e2c3SCristiano Giuffrida void sef_llvm_stack_refs_restore(char *stack_buff)
109d196e2c3SCristiano Giuffrida {
110d196e2c3SCristiano Giuffrida     extern void __attribute__((weak)) st_stack_refs_save_restore(char*, int);
111d196e2c3SCristiano Giuffrida     char *p = stack_buff;
112d196e2c3SCristiano Giuffrida 
113d196e2c3SCristiano Giuffrida     sef_llvm_stack_refs_restore_one(p, char**, environ);
114d196e2c3SCristiano Giuffrida     sef_llvm_stack_refs_restore_one(p, char**, env_argv);
115d196e2c3SCristiano Giuffrida     sef_llvm_stack_refs_restore_one(p, int, env_argc);
116d196e2c3SCristiano Giuffrida 
117d196e2c3SCristiano Giuffrida     if (st_stack_refs_save_restore)
118d196e2c3SCristiano Giuffrida         st_stack_refs_save_restore(p, 0);
119d196e2c3SCristiano Giuffrida }
120d196e2c3SCristiano Giuffrida 
121d196e2c3SCristiano Giuffrida /*===========================================================================*
122d196e2c3SCristiano Giuffrida  *      	            sef_llvm_state_transfer                          *
123d196e2c3SCristiano Giuffrida  *===========================================================================*/
sef_llvm_state_transfer(sef_init_info_t * info)124d196e2c3SCristiano Giuffrida int sef_llvm_state_transfer(sef_init_info_t *info)
125d196e2c3SCristiano Giuffrida {
126d196e2c3SCristiano Giuffrida     extern int __attribute__((weak)) _magic_state_transfer(sef_init_info_t *info);
127d196e2c3SCristiano Giuffrida     if (!_magic_state_transfer)
128d196e2c3SCristiano Giuffrida         return ENOSYS;
129d196e2c3SCristiano Giuffrida     return _magic_state_transfer(info);
130d196e2c3SCristiano Giuffrida }
131d196e2c3SCristiano Giuffrida 
132d196e2c3SCristiano Giuffrida /*===========================================================================*
133162b8995SCristiano Giuffrida  *      	        sef_llvm_add_special_mem_region                      *
134162b8995SCristiano Giuffrida  *===========================================================================*/
sef_llvm_add_special_mem_region(void * addr,size_t len,const char * name)135162b8995SCristiano Giuffrida int sef_llvm_add_special_mem_region(void *addr, size_t len, const char* name)
136162b8995SCristiano Giuffrida {
137162b8995SCristiano Giuffrida     extern int __attribute__((weak)) st_add_special_mmapped_region(void *addr,
138*7c48de6cSDavid van Moolenbroek         size_t len, const char* name);
139162b8995SCristiano Giuffrida     if (!st_add_special_mmapped_region)
140162b8995SCristiano Giuffrida         return 0;
141*7c48de6cSDavid van Moolenbroek     return st_add_special_mmapped_region(addr, len, name);
142162b8995SCristiano Giuffrida }
143162b8995SCristiano Giuffrida 
144162b8995SCristiano Giuffrida /*===========================================================================*
145162b8995SCristiano Giuffrida  *      	    sef_llvm_del_special_mem_region_by_addr                  *
146162b8995SCristiano Giuffrida  *===========================================================================*/
sef_llvm_del_special_mem_region_by_addr(void * addr)147162b8995SCristiano Giuffrida int sef_llvm_del_special_mem_region_by_addr(void *addr)
148162b8995SCristiano Giuffrida {
149162b8995SCristiano Giuffrida     extern int __attribute__((weak)) st_del_special_mmapped_region_by_addr(
150162b8995SCristiano Giuffrida         void *addr);
151162b8995SCristiano Giuffrida     if (!st_del_special_mmapped_region_by_addr)
152162b8995SCristiano Giuffrida         return 0;
153162b8995SCristiano Giuffrida     return st_del_special_mmapped_region_by_addr(addr);
154162b8995SCristiano Giuffrida }
155162b8995SCristiano Giuffrida 
156162b8995SCristiano Giuffrida /*===========================================================================*
1572b641b28SCristiano Giuffrida  *				sef_llvm_ds_st_init			     *
1582b641b28SCristiano Giuffrida  *===========================================================================*/
sef_llvm_ds_st_init(void)1592b641b28SCristiano Giuffrida void sef_llvm_ds_st_init(void)
1602b641b28SCristiano Giuffrida {
1612b641b28SCristiano Giuffrida     extern void __attribute__((weak)) _magic_ds_st_init(void);
1622b641b28SCristiano Giuffrida     if (!_magic_ds_st_init)
1632b641b28SCristiano Giuffrida         return;
1642b641b28SCristiano Giuffrida     _magic_ds_st_init();
1652b641b28SCristiano Giuffrida }
1662b641b28SCristiano Giuffrida 
1672b641b28SCristiano Giuffrida /*===========================================================================*
1685c8eb53dSCristiano Giuffrida  *				sef_llvm_ac_mmap			     *
1695c8eb53dSCristiano Giuffrida  *===========================================================================*/
sef_llvm_ac_mmap(void * buf,size_t len,int prot,int flags,int fd,off_t offset)1705c8eb53dSCristiano Giuffrida void* sef_llvm_ac_mmap(void *buf, size_t len, int prot, int flags, int fd,
1715c8eb53dSCristiano Giuffrida 	off_t offset)
1725c8eb53dSCristiano Giuffrida {
1735c8eb53dSCristiano Giuffrida     int r;
1745c8eb53dSCristiano Giuffrida     extern void* __attribute__((weak))
1755c8eb53dSCristiano Giuffrida        _magic_real_mmap(void*, size_t, int, int, int, off_t);
1765c8eb53dSCristiano Giuffrida     if (!_magic_real_mmap)
1775c8eb53dSCristiano Giuffrida         return mmap(buf, len, prot, flags, fd, offset);
1785c8eb53dSCristiano Giuffrida 
1795c8eb53dSCristiano Giuffrida     /* Avoid regular dsentries for non-relocatable regions (e.g., DMA buffers).
1805c8eb53dSCristiano Giuffrida      */
1815c8eb53dSCristiano Giuffrida     buf = _magic_real_mmap(buf, len, prot, flags, fd, offset);
1825c8eb53dSCristiano Giuffrida     if(buf == MAP_FAILED)
1835c8eb53dSCristiano Giuffrida         return buf;
1845c8eb53dSCristiano Giuffrida     r = sef_llvm_add_special_mem_region(buf, len, NULL);
1855c8eb53dSCristiano Giuffrida     if(r < 0)
1865c8eb53dSCristiano Giuffrida         printf("sef_llvm_add_special_mem_region failed: %d\n", r);
1875c8eb53dSCristiano Giuffrida     return buf;
1885c8eb53dSCristiano Giuffrida }
1895c8eb53dSCristiano Giuffrida 
1905c8eb53dSCristiano Giuffrida /*===========================================================================*
1915c8eb53dSCristiano Giuffrida  *				sef_llvm_ac_munmap			     *
1925c8eb53dSCristiano Giuffrida  *===========================================================================*/
sef_llvm_ac_munmap(void * buf,size_t len)1935c8eb53dSCristiano Giuffrida int sef_llvm_ac_munmap(void *buf, size_t len)
1945c8eb53dSCristiano Giuffrida {
1955c8eb53dSCristiano Giuffrida     int r;
1965c8eb53dSCristiano Giuffrida     extern int __attribute__((weak)) _magic_real_munmap(void*, size_t);
1975c8eb53dSCristiano Giuffrida     if (!_magic_real_munmap)
1985c8eb53dSCristiano Giuffrida         return munmap(buf, len);
1995c8eb53dSCristiano Giuffrida 
2005c8eb53dSCristiano Giuffrida     if ((r = _magic_real_munmap(buf, len)) != 0)
2015c8eb53dSCristiano Giuffrida         return r;
2025c8eb53dSCristiano Giuffrida     if ((r = sef_llvm_del_special_mem_region_by_addr(buf)) < 0)
2035c8eb53dSCristiano Giuffrida         printf("sef_llvm_del_special_mem_region_by_addr failed: %d\n", r);
2045c8eb53dSCristiano Giuffrida     return 0;
2055c8eb53dSCristiano Giuffrida }
2065c8eb53dSCristiano Giuffrida 
2075c8eb53dSCristiano Giuffrida /*===========================================================================*
208d196e2c3SCristiano Giuffrida  *      	             sef_llvm_ltckpt_enabled                         *
209d196e2c3SCristiano Giuffrida  *===========================================================================*/
sef_llvm_ltckpt_enabled(void)210*7c48de6cSDavid van Moolenbroek int sef_llvm_ltckpt_enabled(void)
211d196e2c3SCristiano Giuffrida {
21243065aa3SCristiano Giuffrida     extern int __attribute__((weak)) ltckpt_mechanism_enabled(void);
21343065aa3SCristiano Giuffrida     if (!sef_llvm_get_ltckpt_offset() || !ltckpt_mechanism_enabled())
214d196e2c3SCristiano Giuffrida         return 0;
215d196e2c3SCristiano Giuffrida     return 1;
216d196e2c3SCristiano Giuffrida }
217d196e2c3SCristiano Giuffrida 
218d196e2c3SCristiano Giuffrida /*===========================================================================*
219d196e2c3SCristiano Giuffrida  *      	            sef_llvm_ltckpt_get_offset                       *
220d196e2c3SCristiano Giuffrida  *===========================================================================*/
sef_llvm_get_ltckpt_offset(void)221*7c48de6cSDavid van Moolenbroek int sef_llvm_get_ltckpt_offset(void)
222d196e2c3SCristiano Giuffrida {
223*7c48de6cSDavid van Moolenbroek     extern int __attribute__((weak)) ltckpt_get_offset(void);
224d196e2c3SCristiano Giuffrida     if (!ltckpt_get_offset)
225d196e2c3SCristiano Giuffrida         return 0;
226d196e2c3SCristiano Giuffrida     return ltckpt_get_offset();
227d196e2c3SCristiano Giuffrida }
228d196e2c3SCristiano Giuffrida 
22943065aa3SCristiano Giuffrida /*===========================================================================*
23043065aa3SCristiano Giuffrida  *      	             sef_llvm_ltckpt_restart                         *
23143065aa3SCristiano Giuffrida  *===========================================================================*/
sef_llvm_ltckpt_restart(int type,sef_init_info_t * info)23243065aa3SCristiano Giuffrida int sef_llvm_ltckpt_restart(int type, sef_init_info_t *info)
23343065aa3SCristiano Giuffrida {
23443065aa3SCristiano Giuffrida     extern int __attribute__((weak)) ltckpt_restart(void *);
23543065aa3SCristiano Giuffrida 
23643065aa3SCristiano Giuffrida     if(!sef_llvm_ltckpt_enabled())
23743065aa3SCristiano Giuffrida         return sef_cb_init_identity_state_transfer(type, info);
23843065aa3SCristiano Giuffrida 
23943065aa3SCristiano Giuffrida     assert(ltckpt_restart);
24043065aa3SCristiano Giuffrida     return ltckpt_restart(info);
24143065aa3SCristiano Giuffrida }
242