blob: b826eb3a57e367aa161a061b27cf0e6b65a5ac1d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
|
#!/usr/bin/env bash
SCRIPT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )"
set -xe
SAIL_DIR=${SAIL_RISCV_DIR:-${HOME}/cheri/sail/}
if [ ! -e "${SAIL_DIR}/sail" ]; then
echo "Must set SAIL_DIR"
exit 1
#else
# SAIL_DIR=$(dirname $(command -v sail))
fi
SAIL_RISCV_DIR=${SAIL_RISCV_DIR:-${HOME}/cheri/sail-cheri-riscv/}
if [ ! -e "$SAIL_RISCV_DIR" ]; then
echo "Must set SAIL_RISCV_DIR"
exit 1
fi
sail_pre_srcs="sail-riscv/model/prelude.sail sail-riscv/model/prelude_mapping.sail"
sail128_srcs="$sail_pre_srcs sail-riscv/model/riscv_xlen64.sail sail-riscv/model/riscv_flen_D.sail src/cheri_prelude.sail src/cheri_types.sail src/cheri_prelude_128.sail src/cheri_cap_common.sail"
sail64_srcs="$sail_pre_srcs sail-riscv/model/riscv_xlen32.sail sail-riscv/model/riscv_flen_F.sail src/cheri_prelude.sail src/cheri_types.sail src/cheri_prelude_64.sail src/cheri_cap_common.sail"
output_dir=${SCRIPT_DIR}
keep_required_functions=(-c_preserve capToBits
-c_preserve capToMemBits
-c_preserve capBitsToCapability
-c_preserve memBitsToCapability
-c_preserve fastRepCheck
-c_preserve setCapBounds
-c_preserve getCapBounds
-c_preserve getCapFlags
-c_preserve setCapPerms
-c_preserve capToString
-c_preserve getRepresentableLength
-c_preserve getRepresentableAlignmentMask)
cd "$SAIL_RISCV_DIR"
# -c_no_rts
"${SAIL_DIR}/sail" -c -c_no_main -c_prefix sailgen_ -c_specialize "${keep_required_functions[@]}" -verbose=2 -o "$output_dir/sail_compression_128" $sail128_srcs "$output_dir/compression_test.sail" -static
"${SAIL_DIR}/sail" -c -c_no_main -c_prefix sailgen_ -c_specialize "${keep_required_functions[@]}" -verbose=2 -o "$output_dir/sail_compression_64" $sail64_srcs "$output_dir/compression_test.sail" -static
cd "$output_dir"
for i in sail.h sail.c sail_failure.c sail_failure.h; do
cp "${SAIL_DIR}/lib/${i}" .
done
|
