mirror of
https://github.com/RPCS3/llvm.git
synced 2025-01-09 21:50:50 +00:00
329c83f959
Without this test, you can just remove the code fixing the switch to the first constant in ResolvedUndefs in and everything pass. This test, instead, fails with an assertion if the code is removed. Found while refactoring SCCP to integrate undef in the solver. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@287731 91177308-0d34-0410-b5e6-96231b3b80d8
28 lines
564 B
LLVM
28 lines
564 B
LLVM
; RUN: opt -S -ipsccp < %s | FileCheck %s
|
|
|
|
declare void @foo()
|
|
declare void @goo()
|
|
declare void @patatino()
|
|
|
|
define void @test1(i32 %t) {
|
|
%choice = icmp eq i32 undef, -1
|
|
switch i1 %choice, label %first [i1 0, label %second
|
|
i1 1, label %third]
|
|
first:
|
|
call void @foo()
|
|
ret void
|
|
second:
|
|
call void @goo()
|
|
ret void
|
|
third:
|
|
call void @patatino()
|
|
ret void
|
|
}
|
|
|
|
; CHECK: define void @test1(i32 %t) {
|
|
; CHECK-NEXT: br label %second
|
|
; CHECK: second:
|
|
; CHECK-NEXT: call void @goo()
|
|
; CHECK-NEXT: ret void
|
|
; CHECK-NEXT: }
|