xref: /llvm-project/llvm/test/Transforms/Inline/ARM/loop-noinline.ll (revision 151602c7a9935558ca671b35359989b261045db0)
1; RUN: opt -passes=inline %s -S | FileCheck %s
2
3target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n32-S64"
4target triple = "thumbv7m-arm-none-eabi"
5
6; Check we don't inline loops at -Oz. They tend to be larger than we
7; expect.
8
9; CHECK: define ptr @H
10@digits = constant [16 x i8] c"0123456789ABCDEF", align 1
11define ptr @H(ptr %p, i32 %val, i32 %num) #0 {
12entry:
13  br label %do.body
14
15do.body:                                          ; preds = %do.body, %entry
16  %p.addr.0 = phi ptr [ %p, %entry ], [ %incdec.ptr, %do.body ]
17  %val.addr.0 = phi i32 [ %val, %entry ], [ %shl, %do.body ]
18  %num.addr.0 = phi i32 [ %num, %entry ], [ %dec, %do.body ]
19  %shr = lshr i32 %val.addr.0, 28
20  %arrayidx = getelementptr inbounds [16 x i8], ptr @digits, i32 0, i32 %shr
21  %0 = load i8, ptr %arrayidx, align 1
22  %incdec.ptr = getelementptr inbounds i8, ptr %p.addr.0, i32 1
23  store i8 %0, ptr %p.addr.0, align 1
24  %shl = shl i32 %val.addr.0, 4
25  %dec = add i32 %num.addr.0, -1
26  %tobool = icmp eq i32 %dec, 0
27  br i1 %tobool, label %do.end, label %do.body
28
29do.end:                                           ; preds = %do.body
30  %scevgep = getelementptr i8, ptr %p, i32 %num
31  ret ptr %scevgep
32}
33
34define nonnull ptr @call1(ptr %p, i32 %val, i32 %num) #0 {
35entry:
36; CHECK: tail call ptr @H
37  %call = tail call ptr @H(ptr %p, i32 %val, i32 %num) #0
38  ret ptr %call
39}
40
41define nonnull ptr @call2(ptr %p, i32 %val) #0 {
42entry:
43; CHECK: tail call ptr @H
44  %call = tail call ptr @H(ptr %p, i32 %val, i32 32) #0
45  ret ptr %call
46}
47
48attributes #0 = { minsize optsize }
49
50