Why should I know this?

llvm.uadd.sat.i8 간단화 작업 (WIP) 본문

카테고리 없음

llvm.uadd.sat.i8 간단화 작업 (WIP)

die4taoam 2025. 11. 26. 15:56

https://alive2.llvm.org/ce/z/AE8Wid

 

Compiler Explorer - LLVM IR (alive-tv)

; Transform ; uadd_sat(X, Y) pred Z ; into ; (-1 pred Z) == true => (X >= ~Y) || ((X + Y) pred Z) ; == false => (X < ~Y) && ((X + Y) pred Z) ; Assume that (-1 pred Z) is true define i1 @src(i8 %x, i8 %c, i8 %c2) { %assume = icmp eq i8 -1, %c2 %assume.not =

alive2.llvm.org

 

Comments