This commit is contained in:
nora 2023-05-30 17:00:14 +02:00
parent 746b6d292e
commit b0c723f2c2

View file

@ -4,11 +4,13 @@ set -eu
# rustc code.rs --crate-name ll -Zmir-enable-passes=-ConstProp --emit llvm-ir -Cno-prepopulate-passes --crate-type=lib
clang $1 helper.c -O1 -o good
clang $1 helper.c -O2 -o bad
d=$(mktemp -d)
bad=$(./bad)
good=$(./good)
clang $1 helper.c -O1 -o "$d/good"
clang $1 helper.c -O2 -o "$d/bad"
bad=$("$d/bad")
good=$("$d/good")
if [ "$good" != "$bad" ]; then
echo "MISCOMPILATION"