Page MenuHomePhabricator
Differential D46201 Diff 149977 test/Analysis/DependenceAnalysis/Preliminary.ll

Changeset View

Standalone View

View Options

test/Analysis/DependenceAnalysis/Preliminary.ll

Show First 20 Lines • Show All 51 Lines • ▼ Show 20 Line(s)
52;; *B++ = A[i + 3][j + 2][k + 1]; 52​;; *B++ = A[i + 3][j + 2][k + 1];
53 53​
54define void @p2(i64 %n, [100 x [100 x i64]]* %A, i64* %B) nounwind uwtable ssp { 54​define void @p2(i64 %n, [100 x [100 x i64]]* %A, i64* %B) nounwind uwtable ssp {
55entry: 55​entry:
56 %cmp10 = icmp sgt i64 %n, 0 56​ %cmp10 = icmp sgt i64 %n, 0
57 br i1 %cmp10, label %for.cond1.preheader.preheader, label %for.end26 57​ br i1 %cmp10, label %for.cond1.preheader.preheader, label %for.end26
58 58​
59; CHECK-LABEL: p2 59​; CHECK-LABEL: p2
60; CHECK: da analyze - output [* * *]! 60​; CHECK: da analyze - none!
61; CHECK: da analyze - flow [* *|<]! 61​; CHECK: da analyze - flow [* *|<]!
62; CHECK: da analyze - confused! 62​; CHECK: da analyze - confused!
63; CHECK: da analyze - input [* * *]! 63​; CHECK: da analyze - none!
64; CHECK: da analyze - confused! 64​; CHECK: da analyze - confused!
65; CHECK: da analyze - output [* * *]! 65​; CHECK: da analyze - none!
66 66​
67for.cond1.preheader.preheader: ; preds = %entry 67​for.cond1.preheader.preheader: ; preds = %entry
68 br label %for.cond1.preheader 68​ br label %for.cond1.preheader
69 69​
70for.cond1.preheader: ; preds = %for.cond1.preheader.preheader, %for.inc24 70​for.cond1.preheader: ; preds = %for.cond1.preheader.preheader, %for.inc24
71 %B.addr.012 = phi i64* [ %B.addr.1.lcssa, %for.inc24 ], [ %B, %for.cond1.preheader.preheader ] 71​ %B.addr.012 = phi i64* [ %B.addr.1.lcssa, %for.inc24 ], [ %B, %for.cond1.preheader.preheader ]
72 %i.011 = phi i64 [ %inc25, %for.inc24 ], [ 0, %for.cond1.preheader.preheader ] 72​ %i.011 = phi i64 [ %inc25, %for.inc24 ], [ 0, %for.cond1.preheader.preheader ]
73 %cmp26 = icmp sgt i64 %n, 0 73​ %cmp26 = icmp sgt i64 %n, 0
▲ Show 20 Lines • Show All 351 Lines • ▼ Show 20 Line(s)
425;; *B++ = A[i]; 425​;; *B++ = A[i];
426 426​
427define void @p4(i32* %A, i32* %B, i64 %n) nounwind uwtable ssp { 427​define void @p4(i32* %A, i32* %B, i64 %n) nounwind uwtable ssp {
428entry: 428​entry:
429 %cmp1 = icmp sgt i64 %n, 0 429​ %cmp1 = icmp sgt i64 %n, 0
430 br i1 %cmp1, label %for.body.preheader, label %for.end 430​ br i1 %cmp1, label %for.body.preheader, label %for.end
431 431​
432; CHECK-LABEL: p4 432​; CHECK-LABEL: p4
433; CHECK: da analyze - output [*]! 433​; CHECK: da analyze - none!
434; CHECK: da analyze - flow [*|<]! 434​; CHECK: da analyze - flow [*|<]!
435; CHECK: da analyze - confused! 435​; CHECK: da analyze - confused!
436; CHECK: da analyze - input [*]! 436​; CHECK: da analyze - none!
437; CHECK: da analyze - confused! 437​; CHECK: da analyze - confused!
438; CHECK: da analyze - none! 438​; CHECK: da analyze - none!
439 439​
440for.body.preheader: ; preds = %entry 440​for.body.preheader: ; preds = %entry
441 br label %for.body 441​ br label %for.body
442 442​
443for.body: ; preds = %for.body.preheader, %for.body 443​for.body: ; preds = %for.body.preheader, %for.body
444 %i.03 = phi i8 [ %inc, %for.body ], [ 0, %for.body.preheader ] 444​ %i.03 = phi i8 [ %inc, %for.body ], [ 0, %for.body.preheader ]
Show All 27 Lines
472;; *B++ = A[i]; 472​;; *B++ = A[i];
473 473​
474define void @p5(i32* %A, i32* %B, i64 %n) nounwind uwtable ssp { 474​define void @p5(i32* %A, i32* %B, i64 %n) nounwind uwtable ssp {
475entry: 475​entry:
476 %cmp1 = icmp sgt i64 %n, 0 476​ %cmp1 = icmp sgt i64 %n, 0
477 br i1 %cmp1, label %for.body.preheader, label %for.end 477​ br i1 %cmp1, label %for.body.preheader, label %for.end
478 478​
479; CHECK-LABEL: p5 479​; CHECK-LABEL: p5
480; CHECK: da analyze - output [*]! 480​; CHECK: da analyze - none!
481; CHECK: da analyze - flow [*|<]! 481​; CHECK: da analyze - flow [*|<]!
482; CHECK: da analyze - confused! 482​; CHECK: da analyze - confused!
483; CHECK: da analyze - input [*]! 483​; CHECK: da analyze - none!
484; CHECK: da analyze - confused! 484​; CHECK: da analyze - confused!
485; CHECK: da analyze - none! 485​; CHECK: da analyze - none!
486 486​
487for.body.preheader: ; preds = %entry 487​for.body.preheader: ; preds = %entry
488 br label %for.body 488​ br label %for.body
489 489​
490for.body: ; preds = %for.body.preheader, %for.body 490​for.body: ; preds = %for.body.preheader, %for.body
491 %i.03 = phi i16 [ %inc, %for.body ], [ 0, %for.body.preheader ] 491​ %i.03 = phi i16 [ %inc, %for.body ], [ 0, %for.body.preheader ]
▲ Show 20 Lines • Show All 220 Lines • Show Last 20 Lines