llvm/test/CodeGen/Hexagon/loop-idiom/pmpy.ll

   1 ; RUN: opt -hexagon-loop-idiom < %s -mtriple=hexagon-unknown-unknown -S \
   2 ; RUN:  | FileCheck %s
   3
   4 target triple = "hexagon"
   5
   6 ; CHECK: define i64 @basic_pmpy
   7 ; CHECK: llvm.hexagon.M4.pmpyw
   8 define i64 @basic_pmpy(i32 %P, i32 %Q) #0 {
   9 entry:
  10   %conv = zext i32 %Q to i64
  11   br label %for.body
  12
  13 for.body:                                         ; preds = %entry, %for.body
  14   %i.07 = phi i32 [ 0, %entry ], [ %inc, %for.body ]
  15   %R.06 = phi i64 [ 0, %entry ], [ %xor.R.06, %for.body ]
  16   %shl = shl i32 1, %i.07
  17   %and = and i32 %shl, %P
  18   %tobool = icmp eq i32 %and, 0
  19   %sh_prom = zext i32 %i.07 to i64
  20   %shl1 = shl i64 %conv, %sh_prom
  21   %xor = xor i64 %shl1, %R.06
  22   %xor.R.06 = select i1 %tobool, i64 %R.06, i64 %xor
  23   %inc = add nuw nsw i32 %i.07, 1
  24   %exitcond = icmp ne i32 %inc, 32
  25   br i1 %exitcond, label %for.body, label %for.end
  26
  27 for.end:                                          ; preds = %for.body
  28   %R.1.lcssa = phi i64 [ %xor.R.06, %for.body ]
  29   ret i64 %R.1.lcssa
  30 }
  31
  32 attributes #0 = { nounwind }
  33