[DAGCombiner] Add target hook function to decide folding (mul (add x, c1), c2)
[llvm-project.git] / llvm / test / Transforms / Inline / basictest.ll
blobf34ed08411326f43e26a4d67c3e07006eb72471b
1 ; RUN: opt < %s -inline -sroa -S | FileCheck %s
2 ; RUN: opt < %s -passes='cgscc(inline,function(sroa))' -S | FileCheck %s
3 target datalayout = "E-p:64:64:64-a0:0:8-f32:32:32-f64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-v64:64:64-v128:128:128"
5 define i32 @test1f(i32 %i) {
6         ret i32 %i
9 define i32 @test1(i32 %W) {
10         %X = call i32 @test1f(i32 7)
11         %Y = add i32 %X, %W
12         ret i32 %Y
13 ; CHECK-LABEL: @test1(
14 ; CHECK-NEXT: %Y = add i32 7, %W
15 ; CHECK-NEXT: ret i32 %Y
20 ; rdar://7339069
22 %T = type { i32, i32 }
24 ; CHECK-NOT: @test2f(
25 define internal %T* @test2f(i1 %cond, %T* %P) {
26   br i1 %cond, label %T, label %F
27   
29   %A = getelementptr %T, %T* %P, i32 0, i32 0
30   store i32 42, i32* %A
31   ret %T* %P
32   
34   ret %T* %P
37 define i32 @test2(i1 %cond) {
38   %A = alloca %T
39   
40   %B = call %T* @test2f(i1 %cond, %T* %A)
41   %C = getelementptr %T, %T* %B, i32 0, i32 0
42   %D = load i32, i32* %C
43   ret i32 %D
44   
45 ; CHECK-LABEL: @test2(
46 ; CHECK-NOT: = alloca
47 ; CHECK: ret i32
50 declare void @barrier() noduplicate
52 define internal i32 @f() {
53   call void @barrier() noduplicate
54   ret i32 1
57 define i32 @g() {
58   call void @barrier() noduplicate
59   ret i32 2
62 define internal i32 @h() {
63   call void @barrier() noduplicate
64   ret i32 3
67 define i32 @test3() {
68   %b = call i32 @f()
69   ret i32 %b
72 ; The call to @f cannot be inlined as there is another callsite
73 ; calling @f, and @f contains a noduplicate call.
75 ; The call to @g cannot be inlined as it has external linkage.
77 ; The call to @h *can* be inlined.
79 ; CHECK-LABEL: @test(
80 define i32 @test() {
81 ; CHECK: call i32 @f()
82   %a = call i32 @f()
83 ; CHECK: call i32 @g()
84   %b = call i32 @g()
85 ; CHECK-NOT: call i32 @h()
86   %c = call i32 @h()
88   %d = add i32 %a, %b
89   %e = add i32 %d, %c
91   ret i32 %e
92 ; CHECK: }
95 ; Inliner shouldn't delete calls it can't inline, even if they're trivially dead
96 ; CHECK-LABEL: @outer4(
97 define void @outer4(void ()* %inner4) {
98 entry:
99 ; CHECK: call void %inner4()
100   call void %inner4() nounwind readnone
101   ret void
104 declare void @inner5_inner()
106 define void @inner5(void ()* %x) {
107   call void %x() nounwind readnone
108   ret void
111 ; Inliner shouldn't delete calls it can't inline, even if they're trivially dead and temporarily indirect
112 ; CHECK-LABEL: @outer5(
113 define void @outer5() {
114 ; CHECK: call void @inner5_inner(
115   call void @inner5(void ()* @inner5_inner)
116   ret void