maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity
llvm-project/polly/test/IstAstInfo/alias_checks_with_empty_con...

Ignoring revisions in .git-blame-ignore-revs. Click here to bypass and see the normal blame view.

69 lines
2.3 KiB
LLVM
Raw Normal View History

[IslAst] Do not assert in case of empty min/max alias locations In certain situations, the context in the isl_ast_build could result for the min/max locations of our alias sets to become empty, which would cause an internal error in isl, which is then unable to derive a value for these expressions. Check these conditions before code generating expressions and instead assume that alias check succeeded. This is valid, as the corresponding memory accesses will not be executed under any valid context. This fixed llvm.org/PR34432. Thanks to Qirun Zhang for reporting. llvm-svn: 312455
2017-09-04 03:47:19 +08:00
; RUN: opt %loadPolly -polly-ast -analyze < %s \
; RUN: | FileCheck %s
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"
@global = external local_unnamed_addr global i32, align 4
@global.1 = external local_unnamed_addr global i32, align 4
define void @hoge() local_unnamed_addr {
bb:
%tmp = alloca i8, align 8
br label %bb1
bb1: ; preds = %bb19, %bb
%tmp2 = phi i32 [ undef, %bb ], [ %tmp5, %bb19 ]
%tmp3 = phi i32* [ @global, %bb ], [ %tmp20, %bb19 ]
%tmp4 = icmp ugt i32 %tmp2, 5
%tmp5 = select i1 %tmp4, i32 %tmp2, i32 5
br label %bb6
bb6: ; preds = %bb1
br label %bb7
bb7: ; preds = %bb10, %bb6
%tmp8 = phi i8 [ 7, %bb6 ], [ %tmp11, %bb10 ]
store i32 2, i32* %tmp3, align 4
%tmp9 = load i8, i8* %tmp, align 8
br label %bb10
bb10: ; preds = %bb7
store i32 undef, i32* @global.1, align 4
%tmp11 = add nuw nsw i8 %tmp8, 1
%tmp12 = icmp eq i8 %tmp11, 72
br i1 %tmp12, label %bb13, label %bb7
bb13: ; preds = %bb10
%tmp14 = icmp eq i32 %tmp5, 0
br i1 %tmp14, label %bb15, label %bb16
bb15: ; preds = %bb13
store i8 0, i8* %tmp, align 8
br label %bb16
bb16: ; preds = %bb15, %bb13
br label %bb17
bb17: ; preds = %bb16
br i1 undef, label %bb19, label %bb18
bb18: ; preds = %bb17
br label %bb19
bb19: ; preds = %bb18, %bb17
%tmp20 = phi i32* [ %tmp3, %bb17 ], [ bitcast (void ()* @hoge to i32*), %bb18 ]
br label %bb1
}
[Polly] Update isl to isl-0.23-61-g24e8cd12. This fixes llvm.org/PR48554 Some test cases had to be updated because the hash function for union_maps have been changed which affects the output order.
2021-01-20 00:28:43 +08:00
; CHECK: if (1 && (&MemRef_tmp3[1] <= &MemRef_global_1[0] || &MemRef_global_1[1] <= &MemRef_tmp3[0]) && (&MemRef_tmp[1] <= &MemRef_global_1[0] || &MemRef_global_1[1] <= &MemRef_tmp[0]) && (&MemRef_tmp[1] <= &MemRef_tmp3[0] || &MemRef_tmp3[1] <= &MemRef_tmp[0]))
[IslAst] Do not assert in case of empty min/max alias locations In certain situations, the context in the isl_ast_build could result for the min/max locations of our alias sets to become empty, which would cause an internal error in isl, which is then unable to derive a value for these expressions. Check these conditions before code generating expressions and instead assume that alias check succeeded. This is valid, as the corresponding memory accesses will not be executed under any valid context. This fixed llvm.org/PR34432. Thanks to Qirun Zhang for reporting. llvm-svn: 312455
2017-09-04 03:47:19 +08:00
[polly] Unbreak buildbot. The test failed since commit bc10888dc "DomTree: Make PostDomTree indifferent to block successors swap" which is a re-commit of c35585e20 "DomTree: Make PostDomTree immune to block successors swap"
2020-08-07 10:07:29 +08:00
; CHECK: for (int c0 = 0; c0 <= 64; c0 += 1) {
[IslAst] Do not assert in case of empty min/max alias locations In certain situations, the context in the isl_ast_build could result for the min/max locations of our alias sets to become empty, which would cause an internal error in isl, which is then unable to derive a value for these expressions. Check these conditions before code generating expressions and instead assume that alias check succeeded. This is valid, as the corresponding memory accesses will not be executed under any valid context. This fixed llvm.org/PR34432. Thanks to Qirun Zhang for reporting. llvm-svn: 312455
2017-09-04 03:47:19 +08:00
; CHECK-NEXT: Stmt_bb7(c0);
; CHECK-NEXT: Stmt_bb10(c0);
; CHECK-NEXT: }
; CHECK: else
; CHECK-NEXT: { /* original code */ }