1; RUN: opt -hexagon-loop-idiom < %s -mtriple=hexagon-unknown-unknown -S \ 2; RUN: | FileCheck %s 3 4target triple = "hexagon" 5 6; CHECK: define i64 @basic_pmpy 7; CHECK: llvm.hexagon.M4.pmpyw 8define i64 @basic_pmpy(i32 %P, i32 %Q) #0 { 9entry: 10 %conv = zext i32 %Q to i64 11 br label %for.body 12 13for.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 27for.end: ; preds = %for.body 28 %R.1.lcssa = phi i64 [ %xor.R.06, %for.body ] 29 ret i64 %R.1.lcssa 30} 31 32attributes #0 = { nounwind } 33 34