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

}

Transformation doesn't verify!

 

참/거짓 둘 중 하나지만 판정은 못하는 것으로 보인다.

다음의 경우는 판정 가능하다

 

----------------------------------------

define i1 @src(ptr %ptr) {

%entry:

%first1 = gep inbounds ptr %ptr, 1 x i32 4294967294

%last1 = gep inbounds ptr %ptr, 1 x i32 48

%last2 = gep inbounds ptr %last1, 1 x i32 4294967290

%cmp = icmp ult ptr %first1, %last2, offsetonly

ret i1 %cmp

}

=>

define i1 @tgt(ptr %ptr) {

%0:

ret i1 1

}

Transformation seems to be correct!

무슨차이가 있는걸까?