Florian Hahn | 1ac72a0 | 2020-07-09 17:29:19 +0100 | [diff] [blame] | 1 | ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py |
Florian Hahn | 599955e | 2020-08-02 22:04:44 +0100 | [diff] [blame] | 2 | ; RUN: opt < %s -ipsccp -deadargelim -S | FileCheck %s |
Johannes Doerfert | af52d5a | 2019-11-01 23:36:41 -0500 | [diff] [blame] | 3 | |
| 4 | ; CHECK-NOT: %X |
| 5 | |
Eric Christopher | cee313d | 2019-04-17 04:52:47 +0000 | [diff] [blame] | 6 | define internal i32 @foo(i32 %X) { |
Florian Hahn | 1ac72a0 | 2020-07-09 17:29:19 +0100 | [diff] [blame] | 7 | ; 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 Christopher | cee313d | 2019-04-17 04:52:47 +0000 | [diff] [blame] | 15 | } |
| 16 | |
| 17 | define void @bar() { |
Florian Hahn | 1ac72a0 | 2020-07-09 17:29:19 +0100 | [diff] [blame] | 18 | ; 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 Christopher | cee313d | 2019-04-17 04:52:47 +0000 | [diff] [blame] | 24 | } |
| 25 | |