[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / Hexagon / honor-optsize.ll
blob1e30d22b3e0077717b0a047be9ef72534316ff9f
1 ; RUN: llc -march=hexagon -O3 < %s | FileCheck %s
3 target triple = "hexagon"
5 ; CHECK: f0:
6 ; CHECK:   call __save_r16_through_r21
7 ; CHECK:   .size        f0
8 define i32 @f0(i8* nocapture %a0) #0 {
9 b0:
10   %v0 = tail call i32 bitcast (i32 (...)* @f1 to i32 ()*)() #0
11   %v1 = tail call i32 bitcast (i32 (...)* @f1 to i32 ()*)() #0
12   %v2 = tail call i32 bitcast (i32 (...)* @f1 to i32 ()*)() #0
13   %v3 = tail call i32 bitcast (i32 (...)* @f1 to i32 ()*)() #0
14   %v4 = load i8, i8* %a0, align 1
15   %v5 = icmp eq i8 %v4, 0
16   br i1 %v5, label %b4, label %b1
18 b1:                                               ; preds = %b0
19   br label %b2
21 b2:                                               ; preds = %b2, %b1
22   %v6 = phi i32 [ %v10, %b2 ], [ 0, %b1 ]
23   %v7 = phi i32 [ %v2, %b2 ], [ %v1, %b1 ]
24   %v8 = phi i32 [ %v7, %b2 ], [ %v0, %b1 ]
25   %v9 = tail call i32 bitcast (i32 (...)* @f1 to i32 ()*)() #0
26   %v10 = add nsw i32 %v6, %v8
27   %v11 = tail call i32 bitcast (i32 (...)* @f1 to i32 ()*)() #0
28   %v12 = load i8, i8* %a0, align 1
29   %v13 = icmp eq i8 %v12, 0
30   br i1 %v13, label %b3, label %b2
32 b3:                                               ; preds = %b2
33   br label %b4
35 b4:                                               ; preds = %b3, %b0
36   %v14 = phi i32 [ 0, %b0 ], [ %v10, %b3 ]
37   ret i32 %v14
40 ; Function Attrs: nounwind optsize
41 declare i32 @f1(...) #0
43 attributes #0 = { nounwind optsize }