Displaying 4 results from an estimated 4 matches for "select_cond".
2019 Jun 03
2
Question about a AA result and its use in Dependence Analysis
It seems the same bug is there if we do pointer swapping with selects. Do you agree? (see example below)
define void @f() {
entry:
%a1 = alloca float, align 4
%a2 = alloca float, align 4
br label %loop
end:
ret void
loop:
%phi = phi i32 [ 0, %entry ], [ 1, %loop ]
%select_cond = icmp eq i32 %phi, 0
%ptr1 = select i1 %select_cond, float* %a1, float* %a2
%ptr2 = select i1 %select_cond, float* %a2, float* %a1
store float 0.000000e+00, float* %ptr1, align 4
store float 1.000000e+00, float* %ptr2, align 4
br i1 %select_cond, label %end, label %loop
}
Alias Set Trac...
2019 Jun 03
2
Question about a AA result and its use in Dependence Analysis
...pping with selects. Do you
> agree? (see example below)
>
> define void @f() {
> entry:
> %a1 = alloca float, align 4
> %a2 = alloca float, align 4
> br label %loop
>
> end:
> ret void
>
> loop:
> %phi = phi i32 [ 0, %entry ], [ 1, %loop ]
> %select_cond = icmp eq i32 %phi, 0
> %ptr1 = select i1 %select_cond, float* %a1, float* %a2
> %ptr2 = select i1 %select_cond, float* %a2, float* %a1
> store float 0.000000e+00, float* %ptr1, align 4
> store float 1.000000e+00, float* %ptr2, align 4
> br i1 %select_cond, label %end, labe...
2019 Jun 05
2
Question about a AA result and its use in Dependence Analysis
...pendence
Analysis
It seems the same bug is there if we do pointer swapping with selects. Do you
agree? (see example below)
define void @f() {
entry:
%a1 = alloca float, align 4
%a2 = alloca float, align 4
br label %loop
end:
ret void
loop:
%phi = phi i32 [ 0, %entry ], [ 1, %loop ]
%select_cond = icmp eq i32 %phi, 0
%ptr1 = select i1 %select_cond, float* %a1, float* %a2
%ptr2 = select i1 %select_cond, float* %a2, float* %a1
store float 0.000000e+00, float* %ptr1, align 4
store float 1.000000e+00, float* %ptr2, align 4
br i1 %select_cond, label %end, label %loop
}
Alias Set Trac...
2019 Jun 01
2
Question about a AA result and its use in Dependence Analysis
Hi Johannes,
I followed your advice and got the same result: NoAlias and No dependence. Would you say AA is faulty for saying NoAlias or DA is faulty for saying no dependence? Or both?
(revised example below)
Thanks!
define float @f() {
entry:
%g = alloca float, align 4
%h = alloca float, align 4
br label %for.body
for.cond.cleanup: ; preds = %for.body