examples, wips

Author: aqjune

llvm_util/llvm2alive.cpp

@@ -734,7 +734,8 @@ class llvm2alive_ : public llvm::InstVisitor<llvm2alive_, unique_ptr<Instr>> {
   // 2: unknown
   unsigned lifetime_type(llvm::IntrinsicInst &i) {
     llvm::SmallVector<const llvm::Value *> Objs;
-    // TODO: should check offset
+    // WIP: should check offset
+    // WIP: should check double lifetime.start
     llvm::getUnderlyingObjects(i.getOperand(1), Objs);
     auto is_local = llvm::all_of(Objs, [](const llvm::Value *V) {
       return llvm::isa<llvm::AllocaInst>(V);

tests/alive-tv/lifetime/issue433-local.srctgt.ll

@@ -0,0 +1,25 @@
+define i8 @src() {
+entry:
+    %p = alloca i8
+    call void @llvm.lifetime.start.p0i8(i64 1, i8* %p)
+    store i8 1, i8* %p
+    call void @llvm.lifetime.start.p0i8(i64 1, i8* %p)
+    %v = load i8, i8* %p
+    call void @llvm.lifetime.end.p0i8(i64 1, i8* %p)
+    ret i8 %v
+}
+
+define i8 @tgt() {
+  %p = alloca i8, align 1
+  call void @llvm.lifetime.start.p0i8(i64 1, i8* %p)
+  store i8 1, i8* %p, align 1
+  call void @llvm.lifetime.start.p0i8(i64 1, i8* %p)
+  call void @llvm.lifetime.end.p0i8(i64 1, i8* %p)
+  ret i8 undef
+}
+
+declare void @llvm.lifetime.start.p0i8(i64, i8*)
+declare void @llvm.lifetime.end.p0i8(i64, i8*)
+
+; WIP: deal with the second lifetime.start
+; ERROR: Target's return value is more undefined

tests/alive-tv/lifetime/issue433-nonlocal.srctgt.ll

@@ -0,0 +1,23 @@
+define i8 @src(i8* %p) {
+entry:
+    call void @llvm.lifetime.start.p0i8(i64 1, i8* %p)
+    store i8 1, i8* %p
+    call void @llvm.lifetime.start.p0i8(i64 1, i8* %p)
+    %v = load i8, i8* %p
+    call void @llvm.lifetime.end.p0i8(i64 1, i8* %p)
+    ret i8 %v
+}
+
+define i8 @tgt(i8* %p) {
+  call void @llvm.lifetime.start.p0i8(i64 1, i8* %p)
+  store i8 1, i8* %p, align 1
+  call void @llvm.lifetime.start.p0i8(i64 1, i8* %p)
+  call void @llvm.lifetime.end.p0i8(i64 1, i8* %p)
+  ret i8 undef
+}
+
+declare void @llvm.lifetime.start.p0i8(i64, i8*)
+declare void @llvm.lifetime.end.p0i8(i64, i8*)
+
+; WIP: deal with the second lifetime.start
+; ERROR: Target's return value is more undefined