1 ; RUN: llc -march=hexagon -mcpu=hexagonv4 < %s | FileCheck %s
2 ; Check that the packetizer generates valid packets with constant
3 ; extended add and base+offset store instructions.
6 ; CHECK-NEXT: r{{[0-9]+}}{{ *}}={{ *}}add(r{{[0-9]+}}, ##{{[0-9]+}})
7 ; CHECK-NEXT: memw(r{{[0-9]+}}+{{ *}}##{{[0-9]+}}){{ *}}={{ *}}r{{[0-9]+}}.new
10 define i32 @test(i32* nocapture %a, i32* nocapture %b, i32 %c) nounwind {
12 %add = add nsw i32 %c, 200002
13 %0 = load i32* %a, align 4
14 %add1 = add nsw i32 %0, 200000
15 %arrayidx2 = getelementptr inbounds i32* %a, i32 3000
16 store i32 %add1, i32* %arrayidx2, align 4
17 %1 = load i32* %b, align 4
18 %add4 = add nsw i32 %1, 200001
19 %arrayidx5 = getelementptr inbounds i32* %a, i32 1
20 store i32 %add4, i32* %arrayidx5, align 4
21 %arrayidx7 = getelementptr inbounds i32* %b, i32 1
22 %2 = load i32* %arrayidx7, align 4
23 %cmp = icmp sgt i32 %add4, %2
24 br i1 %cmp, label %if.then, label %if.else
26 if.then: ; preds = %entry
27 %arrayidx8 = getelementptr inbounds i32* %a, i32 2
28 %3 = load i32* %arrayidx8, align 4
29 %arrayidx9 = getelementptr inbounds i32* %b, i32 2000
30 %4 = load i32* %arrayidx9, align 4
31 %sub = sub nsw i32 %3, %4
32 %arrayidx10 = getelementptr inbounds i32* %a, i32 4000
33 store i32 %sub, i32* %arrayidx10, align 4
36 if.else: ; preds = %entry
37 %arrayidx11 = getelementptr inbounds i32* %b, i32 3200
38 store i32 %add, i32* %arrayidx11, align 4
41 if.end: ; preds = %if.else, %if.then