ignore TBAA metadata
MODIFY
llvm_util/llvm2alive.cpp
llvm_util/llvm2alive.cpp
@@ -577,6 +577,11 @@ public:
BB->addInstr(make_unique<Assume>(*range, true));
break;
}
+
+ case LLVMContext::MD_tbaa:
+ // skip this for now
+ break;
+
default:
*out << "ERROR: Unsupported metadata: " << ID << '\n';
return false;

MODIFY
scripts/opt-alive.sh
scripts/opt-alive.sh
set -e
# IPO passes aren't supported ATM
-PASSES="argpromotion deadargelim hotcoldsplit inline ipconstprop ipsccp mergefunc partial-inliner -Os -O2 -O3"
+PASSES="argpromotion deadargelim hotcoldsplit inline ipconstprop ipsccp mergefunc partial-inliner tbaa -Os -O2 -O3"
TV="-tv"
for p in $PASSES; do

ignore TBAA metadata (#168)