X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=test%2FAnalysis%2FDependenceAnalysis%2FSymbolicSIV.ll;h=297096ce135dccdccf6e70b30b705acabed0fe39;hb=01f25710148721f9fc2dece5eec17899ca414bcc;hp=183970d5562bd460de08da5bb278e19085133028;hpb=6ee74f52e987036ced56293d50580f8208b863f5;p=oota-llvm.git diff --git a/test/Analysis/DependenceAnalysis/SymbolicSIV.ll b/test/Analysis/DependenceAnalysis/SymbolicSIV.ll index 183970d5562..297096ce135 100644 --- a/test/Analysis/DependenceAnalysis/SymbolicSIV.ll +++ b/test/Analysis/DependenceAnalysis/SymbolicSIV.ll @@ -14,12 +14,12 @@ entry: %cmp1 = icmp eq i64 %n, 0 br i1 %cmp1, label %for.end, label %for.body.preheader -; CHECK: da analyze - consistent output [0]! +; CHECK: da analyze - none! ; CHECK: da analyze - none! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent input [0]! +; CHECK: da analyze - none! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent output [0]! +; CHECK: da analyze - none! for.body.preheader: ; preds = %entry br label %for.body @@ -59,12 +59,12 @@ entry: %cmp1 = icmp eq i64 %n, 0 br i1 %cmp1, label %for.end, label %for.body.preheader -; CHECK: da analyze - consistent output [0]! +; CHECK: da analyze - none! ; CHECK: da analyze - none! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent input [0]! +; CHECK: da analyze - none! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent output [0]! +; CHECK: da analyze - none! for.body.preheader: ; preds = %entry br label %for.body @@ -106,12 +106,12 @@ entry: %cmp1 = icmp eq i64 %n, 0 br i1 %cmp1, label %for.end, label %for.body.preheader -; CHECK: da analyze - consistent output [0]! +; CHECK: da analyze - none! ; CHECK: da analyze - none! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent input [0]! +; CHECK: da analyze - none! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent output [0]! +; CHECK: da analyze - none! for.body.preheader: ; preds = %entry br label %for.body @@ -151,12 +151,12 @@ entry: %cmp1 = icmp eq i64 %n, 0 br i1 %cmp1, label %for.end, label %for.body.preheader -; CHECK: da analyze - consistent output [0]! +; CHECK: da analyze - none! ; CHECK: da analyze - none! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent input [0]! +; CHECK: da analyze - none! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent output [0]! +; CHECK: da analyze - none! for.body.preheader: ; preds = %entry br label %for.body @@ -197,12 +197,12 @@ entry: %cmp1 = icmp eq i64 %n, 0 br i1 %cmp1, label %for.end, label %for.body.preheader -; CHECK: da analyze - consistent output [0]! +; CHECK: da analyze - none! ; CHECK: da analyze - none! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent input [0]! +; CHECK: da analyze - none! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent output [0]! +; CHECK: da analyze - none! for.body.preheader: ; preds = %entry br label %for.body @@ -242,12 +242,12 @@ entry: %cmp1 = icmp eq i64 %n, 0 br i1 %cmp1, label %for.end, label %for.body.preheader -; CHECK: da analyze - consistent output [0]! +; CHECK: da analyze - none! ; CHECK: da analyze - none! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent input [0]! +; CHECK: da analyze - none! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent output [0]! +; CHECK: da analyze - none! for.body.preheader: ; preds = %entry br label %for.body @@ -289,13 +289,13 @@ entry: %cmp1 = icmp eq i64 %n, 0 br i1 %cmp1, label %for.end, label %for.body.preheader -; CHECK: da analyze - consistent output [0]! +; CHECK: da analyze - none! ; CHECK: da analyze - flow [*|<] splitable! ; CHECK: da analyze - split level = 1, iteration = ((0 smax (-1 + (-1 * %n))) /u 2)! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent input [0]! +; CHECK: da analyze - none! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent output [0]! +; CHECK: da analyze - none! for.body.preheader: ; preds = %entry br label %for.body @@ -334,12 +334,12 @@ entry: %cmp1 = icmp eq i64 %n, 0 br i1 %cmp1, label %for.end, label %for.body.preheader -; CHECK: da analyze - consistent output [0]! +; CHECK: da analyze - none! ; CHECK: da analyze - none! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent input [0]! +; CHECK: da analyze - none! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent output [0]! +; CHECK: da analyze - none! for.body.preheader: ; preds = %entry br label %for.body @@ -383,12 +383,12 @@ entry: %cmp1 = icmp eq i64 %n, 0 br i1 %cmp1, label %for.end, label %for.body.preheader -; CHECK: da analyze - consistent output [0]! +; CHECK: da analyze - none! ; CHECK: da analyze - flow [<>]! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent input [0]! +; CHECK: da analyze - none! ; CHECK: da analyze - confused! -; CHECK: da analyze - consistent output [0]! +; CHECK: da analyze - none! for.body.preheader: ; preds = %entry br label %for.body