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