Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Dr. Michael Petter
LLVM-abstractinterpretation
Commits
c883ba2d
Commit
c883ba2d
authored
Nov 16, 2021
by
Administrator
Browse files
correct clang/opt version to be used for sample generation
parent
156593d3
Changes
1
Hide whitespace changes
Inline
Side-by-side
CMakeLists.txt
View file @
c883ba2d
...
...
@@ -319,8 +319,8 @@ if (APPLE)
foreach
(
src
${
SAMPLES
}
)
add_custom_command
(
OUTPUT
${
CMAKE_SOURCE_DIR
}
/output/
${
src
}
.ll
COMMAND clang --sysroot
${
CMAKE_OSX_SYSROOT
}
-O0 -emit-llvm
${
CMAKE_SOURCE_DIR
}
/samples/
${
src
}
.c -Xclang -disable-O0-optnone -c -o
${
CMAKE_SOURCE_DIR
}
/output/
${
src
}
.bc
COMMAND opt -S -mem2reg
${
CMAKE_SOURCE_DIR
}
/output/
${
src
}
.bc -o
${
CMAKE_SOURCE_DIR
}
/output/
${
src
}
.ll
COMMAND
${
PATH_TO_LLVM
}
/bin/
clang --sysroot
${
CMAKE_OSX_SYSROOT
}
-O0 -emit-llvm
${
CMAKE_SOURCE_DIR
}
/samples/
${
src
}
.c -Xclang -disable-O0-optnone -c -o
${
CMAKE_SOURCE_DIR
}
/output/
${
src
}
.bc
COMMAND
${
PATH_TO_LLVM
}
/bin/
opt -S -mem2reg
${
CMAKE_SOURCE_DIR
}
/output/
${
src
}
.bc -o
${
CMAKE_SOURCE_DIR
}
/output/
${
src
}
.ll
DEPENDS clang opt
${
CMAKE_SOURCE_DIR
}
/samples/
${
src
}
.c
COMMENT
"Generating LLVM IR for example
${
src
}
.c"
)
...
...
@@ -329,8 +329,8 @@ endforeach(src)
foreach
(
src
${
CPPSAMPLES
}
)
add_custom_command
(
OUTPUT
${
CMAKE_SOURCE_DIR
}
/output/
${
src
}
.ll
COMMAND clang++ --sysroot
${
CMAKE_OSX_SYSROOT
}
-O0 -emit-llvm
${
CMAKE_SOURCE_DIR
}
/samples/
${
src
}
.cpp -Xclang -disable-O0-optnone -c -o
${
CMAKE_SOURCE_DIR
}
/output/
${
src
}
.bc
COMMAND opt -S -mem2reg
${
CMAKE_SOURCE_DIR
}
/output/
${
src
}
.bc -o
${
CMAKE_SOURCE_DIR
}
/output/
${
src
}
.ll
COMMAND
${
PATH_TO_LLVM
}
/bin/
clang++ --sysroot
${
CMAKE_OSX_SYSROOT
}
-O0 -emit-llvm
${
CMAKE_SOURCE_DIR
}
/samples/
${
src
}
.cpp -Xclang -disable-O0-optnone -c -o
${
CMAKE_SOURCE_DIR
}
/output/
${
src
}
.bc
COMMAND
${
PATH_TO_LLVM
}
/bin/
opt -S -mem2reg
${
CMAKE_SOURCE_DIR
}
/output/
${
src
}
.bc -o
${
CMAKE_SOURCE_DIR
}
/output/
${
src
}
.ll
DEPENDS clang opt
${
CMAKE_SOURCE_DIR
}
/samples/
${
src
}
.cpp
COMMENT
"Generating LLVM IR for example
${
src
}
.cpp"
)
...
...
@@ -341,8 +341,8 @@ else()
foreach
(
src
${
SAMPLES
}
)
add_custom_command
(
OUTPUT
${
CMAKE_SOURCE_DIR
}
/output/
${
src
}
.ll
COMMAND clang -O0 -emit-llvm
${
CMAKE_SOURCE_DIR
}
/samples/
${
src
}
.c -Xclang -disable-O0-optnone -c -o
${
CMAKE_SOURCE_DIR
}
/output/
${
src
}
.bc
COMMAND opt -S -mem2reg
${
CMAKE_SOURCE_DIR
}
/output/
${
src
}
.bc -o
${
CMAKE_SOURCE_DIR
}
/output/
${
src
}
.ll
COMMAND
${
PATH_TO_LLVM
}
/bin/
clang -O0 -emit-llvm
${
CMAKE_SOURCE_DIR
}
/samples/
${
src
}
.c -Xclang -disable-O0-optnone -c -o
${
CMAKE_SOURCE_DIR
}
/output/
${
src
}
.bc
COMMAND
${
PATH_TO_LLVM
}
/bin/
opt -S -mem2reg
${
CMAKE_SOURCE_DIR
}
/output/
${
src
}
.bc -o
${
CMAKE_SOURCE_DIR
}
/output/
${
src
}
.ll
DEPENDS clang opt
${
CMAKE_SOURCE_DIR
}
/samples/
${
src
}
.c
COMMENT
"Generating LLVM IR for example
${
src
}
.c"
)
...
...
@@ -351,8 +351,8 @@ endforeach(src)
foreach
(
src
${
CPPSAMPLES
}
)
add_custom_command
(
OUTPUT
${
CMAKE_SOURCE_DIR
}
/output/
${
src
}
.ll
COMMAND clang++ -O0 -emit-llvm
${
CMAKE_SOURCE_DIR
}
/samples/
${
src
}
.cpp -Xclang -disable-O0-optnone -c -o
${
CMAKE_SOURCE_DIR
}
/output/
${
src
}
.bc
COMMAND opt -S -mem2reg
${
CMAKE_SOURCE_DIR
}
/output/
${
src
}
.bc -o
${
CMAKE_SOURCE_DIR
}
/output/
${
src
}
.ll
COMMAND
${
PATH_TO_LLVM
}
/bin/
clang++ -O0 -emit-llvm
${
CMAKE_SOURCE_DIR
}
/samples/
${
src
}
.cpp -Xclang -disable-O0-optnone -c -o
${
CMAKE_SOURCE_DIR
}
/output/
${
src
}
.bc
COMMAND
${
PATH_TO_LLVM
}
/bin/
opt -S -mem2reg
${
CMAKE_SOURCE_DIR
}
/output/
${
src
}
.bc -o
${
CMAKE_SOURCE_DIR
}
/output/
${
src
}
.ll
DEPENDS clang opt
${
CMAKE_SOURCE_DIR
}
/samples/
${
src
}
.cpp
COMMENT
"Generating LLVM IR for example
${
src
}
.cpp"
)
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment