[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / Transforms / PGOProfile / noreturncall.ll
blob4470285e1edbf00fa0a4259e07a731e7cfeccd8e
1 ; RUN: llvm-profdata merge %S/Inputs/noreturncall.proftext -o %t.profdata
2 ; RUN: opt < %s -pgo-instr-use -pgo-test-profile-file=%t.profdata -S | FileCheck %s --check-prefix=USE
3 ; RUN: opt < %s -passes=pgo-instr-use -pgo-test-profile-file=%t.profdata -S | FileCheck %s --check-prefix=USE
4 ; REQUIRES: asserts
6 target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
7 target triple = "x86_64-unknown-linux-gnu"
9 declare i32 @bar0(i32)
11 define i32 @bar2(i32 %i) {
12 entry:
13   unreachable
16 define i32 @foo(i32 %i, i32 %j, i32 %k) {
17 entry:
18   %cmp = icmp slt i32 %i, 999
19   br i1 %cmp, label %if.then, label %if.end
20 ; USE: br i1 %cmp, label %if.then, label %if.end
21 ; USE-SAME: !prof ![[BW_ENTRY:[0-9]+]]
23 if.then:
24   %call = call i32 @bar0(i32 %i)
25   br label %if.end
27 if.end:
28   %ret.0 = phi i32 [ %call, %if.then ], [ 0, %entry ]
29   %cmp1 = icmp sgt i32 %j, 1000
30   %cmp3 = icmp sgt i32 %k, 99
31   %or.cond = and i1 %cmp1, %cmp3
32   br i1 %or.cond, label %if.then4, label %if.end7
33 ; USE: br i1 %or.cond, label %if.then4, label %if.end7
34 ; USE-SAME: !prof ![[BW_IF:[0-9]+]]
36 if.then4:
37   %call5 = call i32 @bar2(i32 undef)
38   br label %if.end7
40 if.end7:
41   %mul = mul nsw i32 %ret.0, %ret.0
42   ret i32 %mul
44 ; USE: ![[BW_ENTRY]] = !{!"branch_weights", i32 21, i32 0}
45 ; USE: ![[BW_IF]] = !{!"branch_weights", i32 0, i32 21}