Displaying 2 results from an estimated 2 matches for "y_postcondition".
2014 Dec 26
3
[LLVMdev] Correct usage of `llvm.assume` for loop vectorization alignment?
...mentptr %u8XY* %0, i64 0, i32 6, i64 %y
%15 = load i8* %14, align 1, !llvm.mem.parallel_loop_access !1
%.lobit = lshr i8 %15, 7
%16 = getelementptr %u8XY* %3, i64 0, i32 6, i64 %y
store i8 %.lobit, i8* %16, align 1, !llvm.mem.parallel_loop_access !1
%y_increment = add nuw nsw i64 %y, 1
%y_postcondition = icmp eq i64 %y_increment, %13
br i1 %y_postcondition, label %y_exit, label %x_body, !llvm.loop !2
y_exit: ; preds = %x_body
ret %u8XY* %3
}
attributes #0 = { noduplicate nounwind readonly }
attributes #1 = { nounwind }
!0 = !{i32 1, i32 -1}
!1 = !{...
2015 Mar 19
2
[LLVMdev] [LV] possible `vector.memcheck` regression when using `llvm.loop` and `llvm.mem.parallel_loop_access`
Adam,
Please find the attached test case (run with ToT opt -O3). As you can see,
`y_body` successfully is vectorized, though %33 and %46 are deemed MayAlias
despite their exclusive use in loads ands stores marked with
`llvm.mem.parallel_loop_access`.
Many Thanks,
Josh
On Thu, Mar 19, 2015 at 12:55 PM, Adam Nemet <anemet at apple.com> wrote:
>
> > On Mar 19, 2015, at 9:43 AM,