mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-11-24 03:33:20 +01:00
280 lines
6.9 KiB
LLVM
280 lines
6.9 KiB
LLVM
; RUN: llvm-as < %s | \
|
|
; RUN: opt -predsimplify -instcombine -simplifycfg | llvm-dis > %t
|
|
; RUN: grep -v declare %t | not grep fail
|
|
; RUN: grep -v declare %t | grep pass | count 4
|
|
|
|
|
|
define void @test1(i32 %x) {
|
|
entry:
|
|
%A = icmp eq i32 %x, 0 ; <i1> [#uses=1]
|
|
br i1 %A, label %then.1, label %else.1
|
|
then.1: ; preds = %entry
|
|
%B = icmp eq i32 %x, 1 ; <i1> [#uses=1]
|
|
br i1 %B, label %then.2, label %else.1
|
|
then.2: ; preds = %then.1
|
|
call void (...)* @fail( )
|
|
ret void
|
|
else.1: ; preds = %then.1, %entry
|
|
ret void
|
|
}
|
|
|
|
define void @test2(i32 %x) {
|
|
entry:
|
|
%A = icmp eq i32 %x, 0 ; <i1> [#uses=1]
|
|
%B = icmp eq i32 %x, 1 ; <i1> [#uses=1]
|
|
br i1 %A, label %then.1, label %else.1
|
|
then.1: ; preds = %entry
|
|
br i1 %B, label %then.2, label %else.1
|
|
then.2: ; preds = %then.1
|
|
call void (...)* @fail( )
|
|
ret void
|
|
else.1: ; preds = %then.1, %entry
|
|
ret void
|
|
}
|
|
|
|
define void @test3(i32 %x) {
|
|
entry:
|
|
%A = icmp eq i32 %x, 0 ; <i1> [#uses=1]
|
|
%B = icmp eq i32 %x, 1 ; <i1> [#uses=1]
|
|
br i1 %A, label %then.1, label %else.1
|
|
then.1: ; preds = %entry
|
|
br i1 %B, label %then.2, label %else.1
|
|
then.2: ; preds = %then.1
|
|
call void (...)* @fail( )
|
|
ret void
|
|
else.1: ; preds = %then.1, %entry
|
|
ret void
|
|
}
|
|
|
|
define void @test4(i32 %x, i32 %y) {
|
|
entry:
|
|
%A = icmp eq i32 %x, 0 ; <i1> [#uses=1]
|
|
%B = icmp eq i32 %y, 0 ; <i1> [#uses=1]
|
|
%C = and i1 %A, %B ; <i1> [#uses=1]
|
|
br i1 %C, label %then.1, label %else.1
|
|
then.1: ; preds = %entry
|
|
%D = icmp eq i32 %x, 0 ; <i1> [#uses=1]
|
|
br i1 %D, label %then.2, label %else.2
|
|
then.2: ; preds = %then.1
|
|
%E = icmp eq i32 %y, 0 ; <i1> [#uses=1]
|
|
br i1 %E, label %else.1, label %else.2
|
|
else.1: ; preds = %then.2, %entry
|
|
ret void
|
|
else.2: ; preds = %then.2, %then.1
|
|
call void (...)* @fail( )
|
|
ret void
|
|
}
|
|
|
|
define void @test5(i32 %x) {
|
|
entry:
|
|
%A = icmp eq i32 %x, 0 ; <i1> [#uses=1]
|
|
br i1 %A, label %then.1, label %else.1
|
|
then.1: ; preds = %else.1, %entry
|
|
ret void
|
|
then.2: ; preds = %else.1
|
|
call void (...)* @fail( )
|
|
ret void
|
|
else.1: ; preds = %entry
|
|
%B = icmp eq i32 %x, 0 ; <i1> [#uses=1]
|
|
br i1 %B, label %then.2, label %then.1
|
|
}
|
|
|
|
define void @test6(i32 %x, i32 %y) {
|
|
entry:
|
|
%A = icmp eq i32 %x, 0 ; <i1> [#uses=1]
|
|
%B = icmp eq i32 %y, 0 ; <i1> [#uses=1]
|
|
%C = or i1 %A, %B ; <i1> [#uses=1]
|
|
br i1 %C, label %then.1, label %else.1
|
|
then.1: ; preds = %else.2, %entry
|
|
ret void
|
|
then.2: ; preds = %else.2, %else.1
|
|
call void (...)* @fail( )
|
|
ret void
|
|
else.1: ; preds = %entry
|
|
%D = icmp eq i32 %x, 0 ; <i1> [#uses=1]
|
|
br i1 %D, label %then.2, label %else.2
|
|
else.2: ; preds = %else.1
|
|
%E = icmp ne i32 %y, 0 ; <i1> [#uses=1]
|
|
br i1 %E, label %then.1, label %then.2
|
|
}
|
|
|
|
define void @test7(i32 %x) {
|
|
entry:
|
|
%A = icmp ne i32 %x, 0 ; <i1> [#uses=1]
|
|
%B = xor i1 %A, true ; <i1> [#uses=1]
|
|
br i1 %B, label %then.1, label %else.1
|
|
then.1: ; preds = %entry
|
|
%C = icmp eq i32 %x, 1 ; <i1> [#uses=1]
|
|
br i1 %C, label %then.2, label %else.1
|
|
then.2: ; preds = %then.1
|
|
call void (...)* @fail( )
|
|
ret void
|
|
else.1: ; preds = %then.1, %entry
|
|
ret void
|
|
}
|
|
|
|
define void @test8(i32 %x) {
|
|
entry:
|
|
%A = add i32 %x, 1 ; <i32> [#uses=1]
|
|
%B = icmp eq i32 %x, 0 ; <i1> [#uses=1]
|
|
br i1 %B, label %then.1, label %then.2
|
|
then.1: ; preds = %entry
|
|
%C = icmp eq i32 %A, 1 ; <i1> [#uses=1]
|
|
br i1 %C, label %then.2, label %else.2
|
|
then.2: ; preds = %then.1, %entry
|
|
ret void
|
|
else.2: ; preds = %then.1
|
|
call void (...)* @fail( )
|
|
ret void
|
|
}
|
|
|
|
define void @test9(i32 %y, i32 %z) {
|
|
entry:
|
|
%x = add i32 %y, %z ; <i32> [#uses=1]
|
|
%A = icmp eq i32 %y, 3 ; <i1> [#uses=1]
|
|
%B = icmp eq i32 %z, 5 ; <i1> [#uses=1]
|
|
%C = and i1 %A, %B ; <i1> [#uses=1]
|
|
br i1 %C, label %cond_true, label %return
|
|
cond_true: ; preds = %entry
|
|
%D = icmp eq i32 %x, 8 ; <i1> [#uses=1]
|
|
br i1 %D, label %then, label %oops
|
|
then: ; preds = %cond_true
|
|
call void (...)* @pass( )
|
|
ret void
|
|
oops: ; preds = %cond_true
|
|
call void (...)* @fail( )
|
|
ret void
|
|
return: ; preds = %entry
|
|
ret void
|
|
}
|
|
|
|
define void @test10() {
|
|
entry:
|
|
%A = alloca i32 ; <i32*> [#uses=1]
|
|
%B = icmp eq i32* %A, null ; <i1> [#uses=1]
|
|
br i1 %B, label %cond_true, label %cond_false
|
|
cond_true: ; preds = %entry
|
|
call void (...)* @fail( )
|
|
ret void
|
|
cond_false: ; preds = %entry
|
|
call void (...)* @pass( )
|
|
ret void
|
|
}
|
|
|
|
define void @switch1(i32 %x) {
|
|
entry:
|
|
%A = icmp eq i32 %x, 10 ; <i1> [#uses=1]
|
|
br i1 %A, label %return, label %cond_false
|
|
cond_false: ; preds = %entry
|
|
switch i32 %x, label %return [
|
|
i32 9, label %then1
|
|
i32 10, label %then2
|
|
]
|
|
then1: ; preds = %cond_false
|
|
call void (...)* @pass( )
|
|
ret void
|
|
then2: ; preds = %cond_false
|
|
call void (...)* @fail( )
|
|
ret void
|
|
return: ; preds = %cond_false, %entry
|
|
ret void
|
|
}
|
|
|
|
define void @switch2(i32 %x) {
|
|
entry:
|
|
%A = icmp eq i32 %x, 10 ; <i1> [#uses=1]
|
|
br i1 %A, label %return, label %cond_false
|
|
cond_false: ; preds = %entry
|
|
switch i32 %x, label %return [
|
|
i32 8, label %then1
|
|
i32 9, label %then1
|
|
i32 10, label %then1
|
|
]
|
|
then1: ; preds = %cond_false, %cond_false, %cond_false
|
|
%B = icmp ne i32 %x, 8 ; <i1> [#uses=1]
|
|
br i1 %B, label %then2, label %return
|
|
then2: ; preds = %then1
|
|
call void (...)* @pass( )
|
|
ret void
|
|
return: ; preds = %then1, %cond_false, %entry
|
|
ret void
|
|
}
|
|
|
|
define void @switch3(i32 %x) {
|
|
entry:
|
|
%A = icmp eq i32 %x, 10 ; <i1> [#uses=1]
|
|
br i1 %A, label %return, label %cond_false
|
|
cond_false: ; preds = %entry
|
|
switch i32 %x, label %return [
|
|
i32 9, label %then1
|
|
i32 10, label %then1
|
|
]
|
|
then1: ; preds = %cond_false, %cond_false
|
|
%B = icmp eq i32 %x, 9 ; <i1> [#uses=1]
|
|
br i1 %B, label %return, label %oops
|
|
oops: ; preds = %then1
|
|
call void (...)* @fail( )
|
|
ret void
|
|
return: ; preds = %then1, %cond_false, %entry
|
|
ret void
|
|
}
|
|
|
|
define void @switch4(i32 %x) {
|
|
entry:
|
|
%A = icmp eq i32 %x, 10 ; <i1> [#uses=1]
|
|
br i1 %A, label %then1, label %cond_false
|
|
cond_false: ; preds = %entry
|
|
switch i32 %x, label %default [
|
|
i32 9, label %then1
|
|
i32 10, label %then2
|
|
]
|
|
then1: ; preds = %default, %cond_false, %entry
|
|
ret void
|
|
then2: ; preds = %cond_false
|
|
ret void
|
|
default: ; preds = %cond_false
|
|
%B = icmp eq i32 %x, 9 ; <i1> [#uses=1]
|
|
br i1 %B, label %oops, label %then1
|
|
oops: ; preds = %default
|
|
call void (...)* @fail( )
|
|
ret void
|
|
}
|
|
|
|
define void @select1(i32 %x) {
|
|
entry:
|
|
%A = icmp eq i32 %x, 10 ; <i1> [#uses=3]
|
|
%B = select i1 %A, i32 1, i32 2 ; <i32> [#uses=1]
|
|
%C = icmp eq i32 %B, 1 ; <i1> [#uses=1]
|
|
br i1 %C, label %then, label %else
|
|
then: ; preds = %entry
|
|
br i1 %A, label %return, label %oops
|
|
else: ; preds = %entry
|
|
br i1 %A, label %oops, label %return
|
|
oops: ; preds = %else, %then
|
|
call void (...)* @fail( )
|
|
ret void
|
|
return: ; preds = %else, %then
|
|
ret void
|
|
}
|
|
|
|
define void @select2(i32 %x) {
|
|
entry:
|
|
%A = icmp eq i32 %x, 10 ; <i1> [#uses=2]
|
|
%B = select i1 %A, i32 1, i32 2 ; <i32> [#uses=1]
|
|
%C = icmp eq i32 %B, 1 ; <i1> [#uses=2]
|
|
br i1 %A, label %then, label %else
|
|
then: ; preds = %entry
|
|
br i1 %C, label %return, label %oops
|
|
else: ; preds = %entry
|
|
br i1 %C, label %oops, label %return
|
|
oops: ; preds = %else, %then
|
|
call void (...)* @fail( )
|
|
ret void
|
|
return: ; preds = %else, %then
|
|
ret void
|
|
}
|
|
|
|
declare void @fail(...)
|
|
|
|
declare void @pass(...)
|