ALL/.ivl at master · savitro/ALL · GitHub

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
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82

function dbg-build(){
    FILE="$1"
    shift
    $LOC/build.py
    ${CXX:-g++} ${CXXPRE:-} -DIVL_LOCAL -DIVL_DBG_MODE -O0 -g -ggdb -rdynamic -fsanitize=address,undefined -ldl -no-pie -fno-pie -std=c++${CXXVER:-20} -I"$LOC/build/include" -I"$LOC/build/default_include" $FILE.cpp -o $FILE ${CXXPOST:-}
}

function build(){
    $LOC/build.py "$@"
    # old impl
    # FILE="$1"
    # shift
    # ${CXX:-g++} ${CXXPRE:-} -DIVL_LOCAL -O3 -g1 -std=c++${CXXVER:-23} -I"$LOC/build/include" -I"$LOC/build/default_include" $FILE.cpp -o $FILE ${CXXPOST:-}
}

function build2(){
    $LOC/bootstrap.sh "$@"
}

function render(){
    $LOC/build.py
    $LOC/render-includes/renderer.sh -c "${CXX:-g++}" -e "-I $LOC/build/include -I $LOC/build/default_include" $1.cpp > $1.rendered.cpp
}

# `cargo install cce` needed
function refl-build(){
    render "$1"
    cce compile edg-experimental-reflection "$1.rendered.cpp" -- --max_depth_constexpr_call=1000000
}

function cc-build(){
    render "$1"
    $LOC/ivl/edg-reflection/cc/callme $1.rendered.cpp --max_depth_constexpr_call=1000000
}

function bloom-build(){
    render "$1"
    cce compile clang_bb_p2996 "$1.rendered.cpp"
}

function list-dir(){
    ls -lahnAB --color=always "${1:-.}" | grep -v rendered
}

function cf-submit(){
    if [ "$LOC/ivl/cf" != "$(dirname "$(pwd)")" ]
    then
        echo "[IVL] ERR: cf-submit: wrong pwd"
        exit 1
    fi

    FILE="$1"
    shift
    render "$FILE"

    $LOC/ivl/cf/submit.py "$(basename "$(pwd)")" "$FILE"
}

ivl_add_command "dbg-build" "LOC=\"$IVL_DOT_LOCATION\" dbg-build"

ivl_add_command "build" "LOC=\"$IVL_DOT_LOCATION\" build"
ivl_add_command "build2" "LOC=\"$IVL_DOT_LOCATION\" build2"

ivl_add_command "render" "LOC=\"$IVL_DOT_LOCATION\" render"

# `cargo install cce` needed
ivl_add_command "refl-build" "LOC=\"$IVL_DOT_LOCATION\" refl-build"
ivl_add_command "cc-build" "LOC=\"$IVL_DOT_LOCATION\" cc-build"
ivl_add_command "bloom-build" "LOC=\"$IVL_DOT_LOCATION\" bloom-build"

ivl_add_command "ls" "LOC=\"$IVL_DOT_LOCATION\" list-dir"

ivl_add_command "cf-submit" "LOC=\"$IVL_DOT_LOCATION\" cf-submit"

# function run(){
#     PROG="$1"
#     shift
#     "$LOC/build/$PROG" "$@"
# }

# ivl_add_command "run" "$IVL_DOT_LOCATION/run-everything.sh"