blob: e4f5f1d240e7c8ae09cad6d23dbd58bd5cb0d7bb [file] [log] [blame]
Florian Hahn1ac72a02020-07-09 17:29:19 +01001; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
Florian Hahn599955e2020-08-02 22:04:44 +01002; RUN: opt < %s -ipsccp -deadargelim -S | FileCheck %s
Johannes Doerfertaf52d5a2019-11-01 23:36:41 -05003
4; CHECK-NOT: %X
5
Eric Christophercee313d2019-04-17 04:52:47 +00006define internal i32 @foo(i32 %X) {
Florian Hahn1ac72a02020-07-09 17:29:19 +01007; CHECK-LABEL: @foo(
8; CHECK-NEXT: [[Y:%.*]] = call i32 @foo()
9; CHECK-NEXT: [[Z:%.*]] = add i32 [[Y]], 1
10; CHECK-NEXT: ret i32 [[Z]]
11;
12 %Y = call i32 @foo( i32 %X ) ; <i32> [#uses=1]
13 %Z = add i32 %Y, 1 ; <i32> [#uses=1]
14 ret i32 %Z
Eric Christophercee313d2019-04-17 04:52:47 +000015}
16
17define void @bar() {
Florian Hahn1ac72a02020-07-09 17:29:19 +010018; CHECK-LABEL: @bar(
19; CHECK-NEXT: [[TMP1:%.*]] = call i32 @foo()
20; CHECK-NEXT: ret void
21;
22 call i32 @foo( i32 17 ) ; <i32>:1 [#uses=0]
23 ret void
Eric Christophercee313d2019-04-17 04:52:47 +000024}
25