test/CodeGen/X86/atomic-dagsched.ll

   1 ; RUN: llc < %s -march=x86-64 -mcpu=corei7 -verify-machineinstrs | FileCheck %s
   2
   3 define void @test(i8** %a, i64* %b, i64 %c, i64 %d) nounwind {
   4 entry:
   5   %ptrtoarg4 = load i8** %a, align 8
   6   %brglist1 = getelementptr i8** %a, i64 1
   7   %ptrtoarg25 = load i8** %brglist1, align 8
   8   %0 = load i64* %b, align 8
   9   %1 = mul i64 %0, 4
  10   %scevgep = getelementptr i8* %ptrtoarg25, i64 %1
  11   %2 = mul i64 %d, 4
  12   br label %loop.cond
  13
  14 loop.cond:                                        ; preds = %test.exit, %entry
  15   %asr.iv6 = phi i8* [ %29, %test.exit ], [ %scevgep, %entry ]
  16   %iv = phi i64 [ %0, %entry ], [ %28, %test.exit ]
  17   %3 = icmp eq i64 %iv, %c
  18   br i1 %3, label %return, label %loop
  19
  20 loop:                                             ; preds = %loop.cond
  21   %4 = load i64* addrspace(256)* inttoptr (i64 264 to i64* addrspace(256)*), align 8
  22   %5 = load i64* %4, align 8
  23   %vector.size.i = ashr i64 %5, 3
  24   %num.vector.wi.i = shl i64 %vector.size.i, 3
  25   %6 = icmp eq i64 %vector.size.i, 0
  26   br i1 %6, label %scalarIf.i, label %dim_0_vector_pre_head.i
  27
  28 dim_0_vector_pre_head.i:                          ; preds = %loop
  29   %7 = trunc i64 %5 to i32
  30   %tempvector_func.i = insertelement <8 x i32> undef, i32 %7, i32 0
  31   %vectorvector_func.i = shufflevector <8 x i32> %tempvector_func.i, <8 x i32> undef, <8 x i32> zeroinitializer
  32   br label %vector_kernel_entry.i
  33
  34 vector_kernel_entry.i:                            ; preds = %vector_kernel_entry.i, %dim_0_vector_pre_head.i
  35   %asr.iv9 = phi i8* [ %scevgep10, %vector_kernel_entry.i ], [ %asr.iv6, %dim_0_vector_pre_head.i ]
  36   %asr.iv = phi i64 [ %asr.iv.next, %vector_kernel_entry.i ], [ %vector.size.i, %dim_0_vector_pre_head.i ]
  37   %8 = addrspacecast i8* %ptrtoarg4 to i32 addrspace(1)*
  38   %asr.iv911 = addrspacecast i8* %asr.iv9 to <8 x i32> addrspace(1)*
  39   %9 = load <8 x i32> addrspace(1)* %asr.iv911, align 4
  40   %extract8vector_func.i = extractelement <8 x i32> %9, i32 0
  41   %extract9vector_func.i = extractelement <8 x i32> %9, i32 1
  42   %extract10vector_func.i = extractelement <8 x i32> %9, i32 2
  43   %extract11vector_func.i = extractelement <8 x i32> %9, i32 3
  44   %extract12vector_func.i = extractelement <8 x i32> %9, i32 4
  45   %extract13vector_func.i = extractelement <8 x i32> %9, i32 5
  46   %extract14vector_func.i = extractelement <8 x i32> %9, i32 6
  47   %extract15vector_func.i = extractelement <8 x i32> %9, i32 7
  48   %10 = atomicrmw min i32 addrspace(1)* %8, i32 %extract8vector_func.i seq_cst
  49   %11 = atomicrmw min i32 addrspace(1)* %8, i32 %extract9vector_func.i seq_cst
  50   %12 = atomicrmw min i32 addrspace(1)* %8, i32 %extract10vector_func.i seq_cst
  51   %13 = atomicrmw min i32 addrspace(1)* %8, i32 %extract11vector_func.i seq_cst
  52   %14 = atomicrmw min i32 addrspace(1)* %8, i32 %extract12vector_func.i seq_cst
  53   %15 = atomicrmw min i32 addrspace(1)* %8, i32 %extract13vector_func.i seq_cst
  54   %16 = atomicrmw min i32 addrspace(1)* %8, i32 %extract14vector_func.i seq_cst
  55   %17 = atomicrmw min i32 addrspace(1)* %8, i32 %extract15vector_func.i seq_cst
  56   store <8 x i32> %vectorvector_func.i, <8 x i32> addrspace(1)* %asr.iv911, align 4
  57   %asr.iv.next = add i64 %asr.iv, -1
  58   %scevgep10 = getelementptr i8* %asr.iv9, i64 32
  59   %dim_0_vector_cmp.to.max.i = icmp eq i64 %asr.iv.next, 0
  60   br i1 %dim_0_vector_cmp.to.max.i, label %scalarIf.i, label %vector_kernel_entry.i
  61
  62 scalarIf.i:                                       ; preds = %vector_kernel_entry.i, %loop
  63   %exec_wi.i = phi i64 [ 0, %loop ], [ %num.vector.wi.i, %vector_kernel_entry.i ]
  64   %18 = icmp eq i64 %exec_wi.i, %5
  65   br i1 %18, label %test.exit, label %dim_0_pre_head.i
  66
  67 dim_0_pre_head.i:                                 ; preds = %scalarIf.i
  68   %19 = load i64* addrspace(256)* inttoptr (i64 264 to i64* addrspace(256)*), align 8
  69   %20 = load i64* %19, align 8
  70   %21 = trunc i64 %20 to i32
  71   %22 = mul i64 %vector.size.i, 8
  72   br label %scalar_kernel_entry.i
  73
  74 scalar_kernel_entry.i:                            ; preds = %scalar_kernel_entry.i, %dim_0_pre_head.i
  75   %asr.iv12 = phi i64 [ %asr.iv.next13, %scalar_kernel_entry.i ], [ %22, %dim_0_pre_head.i ]
  76   %23 = addrspacecast i8* %asr.iv6 to i32 addrspace(1)*
  77   %24 = addrspacecast i8* %ptrtoarg4 to i32 addrspace(1)*
  78   %scevgep16 = getelementptr i32 addrspace(1)* %23, i64 %asr.iv12
  79   %25 = load i32 addrspace(1)* %scevgep16, align 4
  80   %26 = atomicrmw min i32 addrspace(1)* %24, i32 %25 seq_cst
  81   %scevgep15 = getelementptr i32 addrspace(1)* %23, i64 %asr.iv12
  82   store i32 %21, i32 addrspace(1)* %scevgep15, align 4
  83   %asr.iv.next13 = add i64 %asr.iv12, 1
  84   %dim_0_cmp.to.max.i = icmp eq i64 %5, %asr.iv.next13
  85   br i1 %dim_0_cmp.to.max.i, label %test.exit, label %scalar_kernel_entry.i
  86
  87 test.exit:                     ; preds = %scalar_kernel_entry.i, %scalarIf.i
  88   %27 = bitcast i8* %asr.iv6 to i1*
  89   %28 = add i64 %iv, %d
  90   store i64 %28, i64* %b, align 8
  91   %scevgep8 = getelementptr i1* %27, i64 %2
  92   %29 = bitcast i1* %scevgep8 to i8*
  93   br label %loop.cond
  94
  95 return:                                           ; preds = %loop.cond
  96   store i64 %0, i64* %b, align 8
  97   ret void
  98 }
  99
 100 ; CHECK: test
 101 ; CHECK: decq
 102 ; CHECK-NOT: cmpxchgl
 103 ; CHECK: jne
 104 ; CHECK: ret