[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / Hexagon / always-ext.ll
blob4b2c915333c440b8b590d3637188816be730c6aa
1 ; RUN: llc -march=hexagon < %s | FileCheck %s
3 ; Check that we don't generate an invalid packet with too many instructions
4 ; due to a store that has a must-extend operand.
6 ; CHECK: CuSuiteAdd.exit.us
7 ; CHECK: {
8 ; CHECK-NOT: call abort
9 ; CHECK: memw(##0)
10 ; CHECK: memw(r{{[0-9+]}}<<#2+##4)
11 ; CHECK: }
13 %struct.CuTest.1.28.31.37.40.43.52.55.67.85.111 = type { i8*, void (%struct.CuTest.1.28.31.37.40.43.52.55.67.85.111*)*, i32, i32, i8*, [23 x i32]* }
14 %struct.CuSuite.2.29.32.38.41.44.53.56.68.86.112 = type { i32, [1024 x %struct.CuTest.1.28.31.37.40.43.52.55.67.85.111*], i32 }
16 @__func__.CuSuiteAdd = external unnamed_addr constant [11 x i8], align 8
17 @.str24 = external unnamed_addr constant [140 x i8], align 8
19 declare void @_Assert()
21 define void @CuSuiteAddSuite() nounwind {
22 entry:
23   br i1 undef, label %for.body.us, label %for.end
25 for.body.us:                                      ; preds = %entry
26   %0 = load %struct.CuTest.1.28.31.37.40.43.52.55.67.85.111*, %struct.CuTest.1.28.31.37.40.43.52.55.67.85.111** null, align 4
27   %1 = load i32, i32* undef, align 4
28   %cmp.i.us = icmp slt i32 %1, 1024
29   br i1 %cmp.i.us, label %CuSuiteAdd.exit.us, label %cond.false6.i.us
31 cond.false6.i.us:                                 ; preds = %for.body.us
32   tail call void @_Assert() nounwind
33   unreachable
35 CuSuiteAdd.exit.us:                               ; preds = %for.body.us
36   %arrayidx.i.us = getelementptr inbounds %struct.CuSuite.2.29.32.38.41.44.53.56.68.86.112, %struct.CuSuite.2.29.32.38.41.44.53.56.68.86.112* null, i32 0, i32 1, i32 %1
37   store %struct.CuTest.1.28.31.37.40.43.52.55.67.85.111* %0, %struct.CuTest.1.28.31.37.40.43.52.55.67.85.111** %arrayidx.i.us, align 4
38   call void @llvm.trap()
39   unreachable
41 for.end:                                          ; preds = %entry
42   ret void
45 declare void @llvm.trap() noreturn nounwind