llvm/test/CodeGen/Hexagon/bank-conflict.mir

   1 # RUN: llc -march=hexagon -run-pass post-RA-sched %s -o - | FileCheck %s
   2
   3 # Test that the Post RA scheduler does not schedule back-to-back loads
   4 # when there is another instruction to schedule. The scheduler avoids
   5 # the back-to-back loads to reduce potential bank conflicts.
   6
   7 # CHECK: = L2_loadrigp
   8 # CHECK: = A2_tfr
   9 # CHECK: = L2_loadrigp
  10
  11 # CHECK: = L4_loadri_rr
  12 # CHECK: = S2_tstbit_i
  13 # CHECK: = L4_loadri_rr
  14
  15 --- |
  16   %s.0 = type { [24 x i32], [24 x i32], [24 x i32], [24 x i32], [24 x i32], [24 x i32], [24 x i32], [24 x i32], [24 x i32], [24 x i32], [24 x i32], [24 x i32], [24 x i32], [24 x i32], [24 x i32], [24 x i32], [24 x i32], [3 x i32], [24 x i32], [8 x %s.1], [5 x i32] }
  17   %s.1 = type { i32, i32 }
  18
  19   @g0 = global i64 0
  20   @g1 = global i64 0
  21   @g2 = global i32 0
  22   @g3 = global i32 0
  23   @g4 = global i8 0
  24
  25   declare i32 @llvm.hexagon.S2.cl0(i32) #0
  26   declare i32 @llvm.hexagon.S2.setbit.r(i32, i32) #0
  27   declare i64 @llvm.hexagon.M2.vmpy2s.s0(i32, i32) #0
  28   declare i64 @llvm.hexagon.M2.vmac2s.s0(i64, i32, i32) #0
  29   declare i64 @llvm.hexagon.A2.vaddws(i64, i64) #0
  30   declare i32 @llvm.hexagon.A4.modwrapu(i32, i32) #0
  31
  32   define void @f0(i32 %a0) {
  33   b0:
  34     %v0 = bitcast ptr inttoptr (i32 -121502345 to ptr) to ptr
  35     br label %b1
  36
  37   b1:                                               ; preds = %b5, %b0
  38     %v1 = phi i32 [ 0, %b0 ], [ %v28, %b5 ]
  39     %v2 = phi i32 [ 0, %b0 ], [ %v27, %b5 ]
  40     %v3 = load i32, ptr @g2, align 4
  41     %v4 = load i32, ptr @g3, align 8
  42     %v5 = and i32 %v4, %v3
  43     %v6 = getelementptr [10 x %s.0], ptr %v0, i32 0, i32 %v2
  44     %v8 = getelementptr %s.0, ptr %v6, i32 0, i32 12
  45     %v9 = getelementptr %s.0, ptr %v6, i32 0, i32 13
  46     br label %b2
  47
  48   b2:                                               ; preds = %b4, %b1
  49     %v10 = phi i64 [ %v24, %b4 ], [ 0, %b1 ]
  50     %v11 = phi i32 [ %v13, %b4 ], [ %v5, %b1 ]
  51     %v12 = tail call i32 @llvm.hexagon.S2.cl0(i32 %v11)
  52     %v13 = tail call i32 @llvm.hexagon.S2.setbit.r(i32 %v11, i32 %v12)
  53     %v14 = getelementptr [24 x i32], ptr %v8, i32 0, i32 %v12
  54     %v15 = load i32, ptr %v14, align 4
  55     %v16 = tail call i64 @llvm.hexagon.M2.vmpy2s.s0(i32 %v15, i32 %v15)
  56     %v17 = getelementptr [24 x i32], ptr %v9, i32 0, i32 %v12
  57     %v18 = load i32, ptr %v17, align 4
  58     %v19 = tail call i64 @llvm.hexagon.M2.vmac2s.s0(i64 %v16, i32 %v18, i32 %v18)
  59     %v20 = load i8, ptr @g4, align 1
  60     %v21 = and i8 %v20, 1
  61     %v22 = icmp eq i8 %v21, 0
  62     br i1 %v22, label %b3, label %b4
  63
  64   b3:                                               ; preds = %b2
  65     %v23 = tail call i64 @llvm.hexagon.A2.vaddws(i64 %v10, i64 %v19)
  66     store i64 %v23, ptr @g0, align 8
  67     br label %b4
  68
  69   b4:                                               ; preds = %b3, %b2
  70     %v24 = phi i64 [ %v23, %b3 ], [ %v10, %b2 ]
  71     %v25 = icmp eq i32 %v13, 0
  72     br i1 %v25, label %b5, label %b2
  73
  74   b5:                                               ; preds = %b4
  75     %v26 = add i32 %v2, 1
  76     %v27 = tail call i32 @llvm.hexagon.A4.modwrapu(i32 %v26, i32 10)
  77     %v28 = add i32 %v1, 1
  78     %v29 = icmp eq i32 %v28, %a0
  79     br i1 %v29, label %b6, label %b1
  80
  81   b6:                                               ; preds = %b5
  82     store i64 %v19, ptr @g1, align 8
  83     ret void
  84   }
  85
  86   attributes #0 = { nounwind readnone }
  87
  88 ...
  89 ---
  90 name:            f0
  91 alignment:       16
  92 tracksRegLiveness: true
  93 registers:
  94 liveins:
  95   - { reg: '$r0', virtual-reg: '' }
  96 fixedStack:
  97 stack:
  98 constants:
  99 body:             |
 100   bb.0:
 101     successors: %bb.1(0x80000000)
 102     liveins: $r0:0x00000001
 103
 104     $r3 = A2_tfrsi 0
 105     $r2 = A2_tfrsi -121502345
 106     $r4 = A2_tfrsi 10
 107     J2_loop0r %bb.1, killed $r0, implicit-def $lc0, implicit-def $sa0, implicit-def $usr
 108
 109   bb.1 (machine-block-address-taken):
 110     successors: %bb.2(0x80000000)
 111     liveins: $lc0:0x00000004, $r2:0x00000001, $r3:0x00000001, $r4:0x00000001, $sa0:0x00000004
 112
 113     $r5 = M2_mpysip $r3, 1824
 114     $r7 = L2_loadrigp @g2, implicit $gp :: (dereferenceable load (s32) from @g2)
 115     $r8 = L2_loadrigp @g3, implicit killed $gp :: (dereferenceable load (s32) from @g3, align 8)
 116     $r6 = A2_tfr $r5
 117     $r7 = A2_and killed $r8, killed $r7
 118     $r5 = M2_accii killed $r5, $r2, 1248
 119     $r6 = M2_accii killed $r6, $r2, 1152
 120     $d0 = A2_tfrpi 0
 121
 122   bb.2:
 123     successors: %bb.3(0x04000000), %bb.2(0x7c000000)
 124     liveins: $lc0:0x00000004, $r0:0x00000001, $r1:0x00000001, $r2:0x00000001, $r3:0x00000001, $r4:0x00000001, $r5:0x00000001, $r6:0x00000001, $r7:0x00000001, $sa0:0x00000004
 125
 126     $r8 = S2_cl0 $r7
 127     $r12 = L2_loadrubgp @g4, implicit $gp :: (dereferenceable load (s8) from @g4)
 128     $r7 = S2_setbit_r killed $r7, $r8
 129     $r9 = L4_loadri_rr $r6, $r8, 2 :: (load (s32) from %ir.v14)
 130     $r13 = L4_loadri_rr $r5, killed $r8, 2 :: (load (s32) from %ir.v17)
 131     $d4 = M2_vmpy2s_s0 killed $r9, $r9, implicit-def dead $usr_ovf
 132     $p0 = S2_tstbit_i killed $r12, 0
 133     $d4 = M2_vmac2s_s0 killed $d4, killed $r13, $r13, implicit-def dead $usr_ovf
 134     $p1 = C2_cmpeqi $r7, 0
 135     $d6 = A2_vaddws $d0, $d4, implicit-def dead $usr_ovf
 136     $d0 = A2_tfrpt $p0, killed $d0, implicit $d0
 137     S4_pstorerdf_abs $p0, @g0, $d6, implicit killed $gp :: (store (s64) into @g0)
 138     $d0 = A2_tfrpf killed $p0, killed $d6, implicit killed $d0
 139     J2_jumpf killed $p1, %bb.2, implicit-def dead $pc
 140
 141   bb.3:
 142     successors: %bb.4(0x04000000), %bb.1(0x7c000000)
 143     liveins: $lc0:0x00000004, $r2:0x00000001, $r3:0x00000001, $r4:0x00000001, $r8:0x00000001, $r9:0x00000001, $sa0:0x00000004
 144
 145     $r3 = A2_addi killed $r3, 1
 146     $r3 = A4_modwrapu killed $r3, $r4
 147     ENDLOOP0 %bb.1, implicit-def $pc, implicit-def $lc0, implicit $sa0, implicit $lc0
 148
 149   bb.4:
 150     liveins: $r8:0x00000001, $r9:0x00000001
 151
 152     S2_storerdgp @g1, killed $d4, implicit killed $gp :: (store (s64) into @g1)
 153     PS_jmpret killed $r31, implicit-def dead $pc
 154 ...
 155