llvm/test/Transforms/SimplifyCFG/X86/combine-parallel-mem-md.ll

   1 ; RUN: opt -passes=simplifycfg -simplifycfg-require-and-preserve-domtree=1 -S < %s | FileCheck %s
   2 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
   3 target triple = "x86_64-unknown-linux-gnu"
   4
   5 ; Function Attrs: norecurse nounwind uwtable
   6 define void @Test(ptr nocapture %res, ptr nocapture readnone %c, ptr nocapture readonly %d, ptr nocapture readonly %p) #0 {
   7 entry:
   8   br label %for.body
   9
  10 ; CHECK-LABEL: @Test
  11 ; CHECK: load i32, ptr {{.*}}, align 4, !llvm.access.group !0
  12 ; CHECK: load i32, ptr {{.*}}, align 4, !llvm.access.group !0
  13 ; CHECK: store i32 {{.*}}, align 4, !llvm.access.group !0
  14 ; CHECK-NOT: load
  15 ; CHECK-NOT: store
  16
  17 for.body:                                         ; preds = %cond.end, %entry
  18   %indvars.iv = phi i64 [ 0, %entry ], [ %indvars.iv.next, %cond.end ]
  19   %arrayidx = getelementptr inbounds i32, ptr %p, i64 %indvars.iv
  20   %0 = load i32, ptr %arrayidx, align 4, !llvm.access.group !10
  21   %cmp1 = icmp eq i32 %0, 0
  22   br i1 %cmp1, label %cond.true, label %cond.false
  23
  24 cond.false:                                       ; preds = %for.body
  25   %arrayidx3 = getelementptr inbounds i32, ptr %res, i64 %indvars.iv
  26   %v = load i32, ptr %arrayidx3, align 4, !llvm.access.group !10
  27   %arrayidx7 = getelementptr inbounds i32, ptr %d, i64 %indvars.iv
  28   %1 = load i32, ptr %arrayidx7, align 4, !llvm.access.group !10
  29   %add = add nsw i32 %1, %v
  30   br label %cond.end
  31
  32 cond.true:                                       ; preds = %for.body
  33   %arrayidx4 = getelementptr inbounds i32, ptr %res, i64 %indvars.iv
  34   %w = load i32, ptr %arrayidx4, align 4, !llvm.access.group !10
  35   %arrayidx8 = getelementptr inbounds i32, ptr %d, i64 %indvars.iv
  36   %2 = load i32, ptr %arrayidx8, align 4, !llvm.access.group !10
  37   %add2 = add nsw i32 %2, %w
  38   br label %cond.end
  39
  40 cond.end:                                         ; preds = %for.body, %cond.false
  41   %cond = phi i32 [ %add, %cond.false ], [ %add2, %cond.true ]
  42   %arrayidx9 = getelementptr inbounds i32, ptr %res, i64 %indvars.iv
  43   store i32 %cond, ptr %arrayidx9, align 4, !llvm.access.group !10
  44   %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  45   %exitcond = icmp eq i64 %indvars.iv.next, 16
  46   br i1 %exitcond, label %for.end, label %for.body, !llvm.loop !0
  47
  48 for.end:                                          ; preds = %cond.end
  49   ret void
  50 }
  51
  52 attributes #0 = { norecurse nounwind uwtable }
  53
  54 !0 = distinct !{!0, !1, !{!"llvm.loop.parallel_accesses", !10}}
  55 !1 = !{!"llvm.loop.vectorize.enable", i1 true}
  56 !10 = distinct !{}