add support for noundef metadata
MODIFY
llvm_util/llvm2alive.cpp
llvm_util/llvm2alive.cpp
@@ -1206,8 +1206,8 @@ public:
break;
}
- case LLVMContext::MD_tbaa:
- // skip this for now
+ case LLVMContext::MD_noundef:
+ BB->addInstr(make_unique<Assume>(i, Assume::WellDefined));
break;
// non-relevant for correctness

ADD
tests/alive-tv/noundef_metadata.srctgt.ll
+define i8 @src(ptr %p) {
+ %v = load i8, ptr %p, !noundef !{}
+ %r = freeze i8 %v
+ ret i8 %r
+}
+
+define i8 @tgt(ptr %p) {
+ %v = load i8, ptr %p, !noundef !{}
+ ret i8 %v
+}
+
+

add support for noundef metadata