목록LLVM-STUDY/ALIVE2 (3)

Why should I know this?

[TODO] Alive: Provably Correct InstCombine Optimizations

https://youtu.be/iV5jBtE35r4?si=DrrIq7UaO-bJSlZb 이걸 왜 못봤어나 싶다.
LLVM-STUDY/ALIVE2 2024. 1. 14. 20:55
alive2 관련 궁금한거

@a = external global i32 define i1 @src(ptr %ptr) { entry: %first1 = getelementptr inbounds i8, ptr %ptr, i32 -2 %last1 = getelementptr inbounds i8, ptr %ptr, i32 48 %last2 = getelementptr inbounds i8, ptr %last1, i32 -6 %cmp = icmp slt ptr %first1, %last2 ret i1 %cmp } => 비교 define i1 @tgt(ptr %ptr) { %0: ret i1 1 } Transformation doesn't verify! define i1 @tgt(ptr %ptr) { %0: ret i1 0 } Transf..
LLVM-STUDY/ALIVE2 2023. 6. 11. 03:08
ALIVE2 - 관련 내용 모음

LLVM PASS의 에러 검출 목적의 SOLVER 활용 https://llvm.org/devmtg/2020-09/slides/Lee-UndefPoison.pdf 발췌 -- 19. DSEPass ---------------------------------------- define i32 @test_captured_after_load_same_bb_2_clobbered_later(ptr %in.ptr) { %0: %a = alloca i64 4, align 4 store i32 55, ptr %a, align 4 %in.lv.1 = load ptr, ptr %in.ptr, align 2 %in.lv.2 = load i32, ptr %in.lv.1, align 2 call void @escape_writeon..
LLVM-STUDY/ALIVE2 2023. 5. 29. 14:53
Prev 1 Next