llvm-6502/test/Transforms/PredicateSimplifier/predsimplify.ll

280 lines
6.9 KiB
LLVM
Raw Normal View History

; 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(...)