blob: ad8b4a460cc0167b63142eb900c24d7463e7d4f8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
; This is a basic sanity check for constant propagation. The add instruction
; and phi instruction should be eliminated.
; RUN: opt < %s -sccp -S | not grep phi
; RUN: opt < %s -sccp -S | not grep add
define i128 @test(i1 %B) {
br i1 %B, label %BB1, label %BB2
BB1:
%Val = add i128 0, 1
br label %BB3
BB2:
br label %BB3
BB3:
%Ret = phi i128 [%Val, %BB1], [1, %BB2]
ret i128 %Ret
}
|
