1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
; modify_value will be inlined into main. With just the inliner pass, at most
; some trivial DCE would happen, which in this case doesn't modify post-inlined
; main much.
; In contrast, with the full set of module inliner-related passes, at the end of
; inlining (incl. function cleanups ran after inlining), main will be reduced to
; a 'ret 10'
;
; RUN: opt -passes=inline -S < %s | FileCheck %s --check-prefix=INLINE --check-prefix=CHECK
; RUN: opt -passes=inliner-wrapper -S < %s | FileCheck %s --check-prefix=INLINE --check-prefix=CHECK
; RUN: opt -passes=scc-oz-module-inliner -S < %s | FileCheck %s --check-prefix=MODULE --check-prefix=CHECK
define void @modify_value({i32, float}* %v) {
%f = getelementptr { i32, float }, { i32, float }* %v, i64 0, i32 0
store i32 10, i32* %f
ret void
}
define i32 @main() {
%my_val = alloca {i32, float}
call void @modify_value({i32, float}* %my_val)
%f = getelementptr { i32, float }, { i32, float }* %my_val, i64 0, i32 0
%ret = load i32, i32* %f
ret i32 %ret
}
; CHECK-LABEL: @main
; INLINE-NEXT: %my_val = alloca
; MODULE-NEXT: ret i32 10
|
