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