llvm/test/CodeGen/Hexagon/bit-loop.ll

   1 ; RUN: llc -march=hexagon < %s | FileCheck %s
   2 ; CHECK-DAG: memh(r{{[0-9]+}}+#0) = r{{[0-9]+}}
   3 ; CHECK-DAG: memh(r{{[0-9]+}}+#2) = r{{[0-9]+}}.h
   4 ; CHECK-DAG: memh(r{{[0-9]+}}+#4) = r{{[0-9]+}}
   5 ; CHECK-DAG: memh(r{{[0-9]+}}+#6) = r{{[0-9]+}}.h
   6
   7 target triple = "hexagon"
   8
   9 ; Function Attrs: nounwind
  10 define void @foo(ptr nocapture readonly %r64, i16 zeroext %n, i16 zeroext %s, ptr nocapture %p64) #0 {
  11 entry:
  12   %conv = zext i16 %n to i32
  13   %cmp = icmp eq i16 %n, 0
  14   br i1 %cmp, label %for.end, label %for.body.preheader
  15
  16 for.body.preheader:                               ; preds = %entry
  17   %0 = load i64, ptr %r64, align 8, !tbaa !1
  18   %v.sroa.0.0.extract.trunc = trunc i64 %0 to i16
  19   %v.sroa.4.0.extract.shift = lshr i64 %0, 16
  20   %v.sroa.4.0.extract.trunc = trunc i64 %v.sroa.4.0.extract.shift to i16
  21   %v.sroa.5.0.extract.shift = lshr i64 %0, 32
  22   %v.sroa.5.0.extract.trunc = trunc i64 %v.sroa.5.0.extract.shift to i16
  23   %v.sroa.6.0.extract.shift = lshr i64 %0, 48
  24   %v.sroa.6.0.extract.trunc = trunc i64 %v.sroa.6.0.extract.shift to i16
  25   %conv2 = zext i16 %s to i32
  26   %add.ptr = getelementptr inbounds i16, ptr %p64, i32 %conv2
  27   %add.ptr.sum = add nuw nsw i32 %conv2, 1
  28   %add.ptr3 = getelementptr inbounds i16, ptr %p64, i32 %add.ptr.sum
  29   %add.ptr.sum50 = add nuw nsw i32 %conv2, 2
  30   %add.ptr4 = getelementptr inbounds i16, ptr %p64, i32 %add.ptr.sum50
  31   %add.ptr.sum51 = add nuw nsw i32 %conv2, 3
  32   %add.ptr5 = getelementptr inbounds i16, ptr %p64, i32 %add.ptr.sum51
  33   br label %for.body
  34
  35 for.body:                                         ; preds = %for.body.preheader, %for.body
  36   %add.ptr11.phi = phi ptr [ %add.ptr11.inc, %for.body ], [ %add.ptr, %for.body.preheader ]
  37   %add.ptr16.phi = phi ptr [ %add.ptr16.inc, %for.body ], [ %add.ptr3, %for.body.preheader ]
  38   %add.ptr21.phi = phi ptr [ %add.ptr21.inc, %for.body ], [ %add.ptr4, %for.body.preheader ]
  39   %add.ptr26.phi = phi ptr [ %add.ptr26.inc, %for.body ], [ %add.ptr5, %for.body.preheader ]
  40   %i.058.pmt = phi i32 [ %inc.pmt, %for.body ], [ 0, %for.body.preheader ]
  41   %v.sroa.0.157 = phi i16 [ %v.sroa.0.0.extract.trunc34, %for.body ], [ %v.sroa.0.0.extract.trunc, %for.body.preheader ]
  42   %v.sroa.4.156 = phi i16 [ %v.sroa.4.0.extract.trunc36, %for.body ], [ %v.sroa.4.0.extract.trunc, %for.body.preheader ]
  43   %v.sroa.5.155 = phi i16 [ %v.sroa.5.0.extract.trunc38, %for.body ], [ %v.sroa.5.0.extract.trunc, %for.body.preheader ]
  44   %v.sroa.6.154 = phi i16 [ %v.sroa.6.0.extract.trunc40, %for.body ], [ %v.sroa.6.0.extract.trunc, %for.body.preheader ]
  45   %q64.153.pn = phi ptr [ %q64.153, %for.body ], [ %r64, %for.body.preheader ]
  46   %q64.153 = getelementptr inbounds i64, ptr %q64.153.pn, i32 1
  47   store i16 %v.sroa.0.157, ptr %add.ptr11.phi, align 2, !tbaa !5
  48   store i16 %v.sroa.4.156, ptr %add.ptr16.phi, align 2, !tbaa !5
  49   store i16 %v.sroa.5.155, ptr %add.ptr21.phi, align 2, !tbaa !5
  50   store i16 %v.sroa.6.154, ptr %add.ptr26.phi, align 2, !tbaa !5
  51   %1 = load i64, ptr %q64.153, align 8, !tbaa !1
  52   %v.sroa.0.0.extract.trunc34 = trunc i64 %1 to i16
  53   %v.sroa.4.0.extract.shift35 = lshr i64 %1, 16
  54   %v.sroa.4.0.extract.trunc36 = trunc i64 %v.sroa.4.0.extract.shift35 to i16
  55   %v.sroa.5.0.extract.shift37 = lshr i64 %1, 32
  56   %v.sroa.5.0.extract.trunc38 = trunc i64 %v.sroa.5.0.extract.shift37 to i16
  57   %v.sroa.6.0.extract.shift39 = lshr i64 %1, 48
  58   %v.sroa.6.0.extract.trunc40 = trunc i64 %v.sroa.6.0.extract.shift39 to i16
  59   %inc.pmt = add i32 %i.058.pmt, 1
  60   %cmp8 = icmp slt i32 %inc.pmt, %conv
  61   %add.ptr11.inc = getelementptr i16, ptr %add.ptr11.phi, i32 4
  62   %add.ptr16.inc = getelementptr i16, ptr %add.ptr16.phi, i32 4
  63   %add.ptr21.inc = getelementptr i16, ptr %add.ptr21.phi, i32 4
  64   %add.ptr26.inc = getelementptr i16, ptr %add.ptr26.phi, i32 4
  65   br i1 %cmp8, label %for.body, label %for.end
  66
  67 for.end:                                          ; preds = %for.body, %entry
  68   ret void
  69 }
  70
  71 attributes #0 = { nounwind }
  72
  73 !1 = !{!2, !2, i64 0}
  74 !2 = !{!"long long", !3, i64 0}
  75 !3 = !{!"omnipotent char", !4, i64 0}
  76 !4 = !{!"Simple C/C++ TBAA"}
  77 !5 = !{!6, !6, i64 0}
  78 !6 = !{!"short", !3, i64 0}