[InstCombine] Signed saturation patterns
[llvm-core.git] / test / Transforms / PGOProfile / select2.ll
blobe95d00b248f44a31a23ef0d65892fbead175a17d
1 ; RUN: llvm-profdata merge %S/Inputs/select2.proftext -o %t.profdata
2 ; RUN: opt < %s -pgo-instr-use -pgo-test-profile-file=%t.profdata -pgo-instr-select=true -S | FileCheck %s --check-prefix=USE
3 ; RUN: opt < %s -passes=pgo-instr-use -pgo-test-profile-file=%t.profdata -pgo-instr-select=true -S | FileCheck %s --check-prefix=USE
5 target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
6 target triple = "x86_64-unknown-linux-gnu"
8 define i32 @foo(i32 %n) {
9 ;USE: define i32 @foo(i32 %n) !prof ![[ENTRY_COUNT:[0-9]+]] {
10 entry:
11   br label %for.cond
13 for.cond:
14   %i.0 = phi i32 [ 0, %entry ], [ %inc, %for.inc ]
15   %sum.0 = phi i32 [ 0, %entry ], [ %add, %for.inc ]
16   %cmp = icmp slt i32 %i.0, %n
17   br i1 %cmp, label %for.body, label %for.end
18 ;USE:  br i1 %cmp, label %for.body, label %for.end, !prof ![[BW_FOR_BR:[0-9]+]]
20 for.body:
21   %cmp1 = icmp sgt i32 %sum.0, 10
22   %cond = select i1 %cmp1, i32 20, i32 -10
23 ;USE:  %cond = select i1 %cmp1, i32 20, i32 -10, !prof ![[BW_FOR_SELECT:[0-9]+]]
24   %add = add nsw i32 %sum.0, %cond
25   br label %for.inc
27 for.inc:
28   %inc = add nsw i32 %i.0, 1
29   br label %for.cond
31 for.end:
32   ret i32 %sum.0
35 ;USE: ![[ENTRY_COUNT]] = !{!"function_entry_count", i64 3}
36 ;USE: ![[BW_FOR_BR]] = !{!"branch_weights", i32 800, i32 3}
37 ;USE: ![[BW_FOR_SELECT]] = !{!"branch_weights", i32 300, i32 500}