llvm/test/Transforms/LoopInterchange/pr43176-move-to-new-latch.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -passes=loop-interchange -cache-line-size=64 -pass-remarks-missed='loop-interchange' -pass-remarks-output=%t -S
   3 ; RUN: FileCheck --input-file=%t %s
   4
   5 @b = external dso_local global [5 x i32], align 16
   6
   7 ;; Not profitable to interchange, because the access is invariant to j loop.
   8 ;;
   9 ;;  for(int i=0;i<4;i++) {
  10 ;;    for(int j=1;j<4;j++) {
  11 ;;      b[i] = ....
  12 ;;    }
  13 ;; }
  14
  15 ; CHECK: --- !Missed
  16 ; CHECK-NEXT: Pass:            loop-interchange
  17 ; CHECK-NEXT: Name:            InterchangeNotProfitable
  18 ; CHECK-NEXT: Function:        test1
  19 ; CHECK-NEXT: Args:
  20 ; CHECK-NEXT:  - String:          Interchanging loops is not considered to improve cache locality nor vectorization.
  21
  22 define void @test1() {
  23 entry:
  24   br label %for.body
  25
  26 for.body:                                         ; preds = %for.inc3, %entry
  27   %inc41 = phi i32 [ %inc4, %for.inc3 ], [ undef, %entry ]
  28   br label %for.body2
  29
  30 for.body2:                                        ; preds = %for.inc, %for.body
  31   %lsr.iv = phi i32 [ %lsr.iv.next, %for.inc ], [ 1, %for.body ]
  32   br label %for.inc
  33
  34 for.inc:                                          ; preds = %for.body2
  35   %idxprom = sext i32 %inc41 to i64
  36   %arrayidx = getelementptr inbounds [5 x i32], ptr @b, i64 0, i64 %idxprom
  37   %0 = load i32, ptr %arrayidx, align 4
  38   store i32 undef, ptr %arrayidx, align 4
  39   %cmp = icmp slt i32 %lsr.iv, 4
  40   %lsr.iv.next = add nuw nsw i32 %lsr.iv, 1
  41   br i1 %cmp, label %for.body2, label %for.cond1.for.end_crit_edge
  42
  43 for.cond1.for.end_crit_edge:                      ; preds = %for.inc
  44   br label %for.inc3
  45
  46 for.inc3:                                         ; preds = %for.cond1.for.end_crit_edge
  47   %inc4 = add nsw i32 %inc41, 1
  48   br i1 false, label %for.body, label %for.cond.for.end5_crit_edge
  49
  50 for.cond.for.end5_crit_edge:                      ; preds = %for.inc3
  51   ret void
  52 }
  53
  54
  55 ; CHECK: --- !Missed
  56 ; CHECK-NEXT: Pass:            loop-interchange
  57 ; CHECK-NEXT: Name:            InterchangeNotProfitable
  58 ; CHECK-NEXT: Function:        test2
  59 ; CHECK-NEXT: Args:
  60 ; CHECK-NEXT:  - String:          Interchanging loops is not considered to improve cache locality nor vectorization.
  61
  62 define void @test2() {
  63 entry:
  64   br label %for.body
  65
  66 for.body:                                         ; preds = %for.inc3, %entry
  67   %inc41 = phi i32 [ %inc4, %for.inc3 ], [ undef, %entry ]
  68   br label %for.body2
  69
  70 for.body2:                                        ; preds = %for.inc, %for.body
  71   %lsr.iv = phi i32 [ %lsr.iv.next, %for.inc ], [ 1, %for.body ]
  72   br label %for.inc
  73
  74 for.inc:                                          ; preds = %for.body2
  75   %idxprom = sext i32 %inc41 to i64
  76   %arrayidx = getelementptr inbounds [5 x i32], ptr @b, i64 0, i64 %idxprom
  77   %0 = load i32, ptr %arrayidx, align 4
  78   %cmp = icmp slt i32 %lsr.iv, 4
  79   %cmp.zext = zext i1 %cmp to i32
  80   store i32 %cmp.zext, ptr %arrayidx, align 4
  81   %lsr.iv.next = add nuw nsw i32 %lsr.iv, 1
  82   br i1 %cmp, label %for.body2, label %for.cond1.for.end_crit_edge
  83
  84 for.cond1.for.end_crit_edge:                      ; preds = %for.inc
  85   br label %for.inc3
  86
  87 for.inc3:                                         ; preds = %for.cond1.for.end_crit_edge
  88   %inc4 = add nsw i32 %inc41, 1
  89   br i1 false, label %for.body, label %for.cond.for.end5_crit_edge
  90
  91 for.cond.for.end5_crit_edge:                      ; preds = %for.inc3
  92   ret void
  93 }