mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-12-21 00:32:23 +00:00
b20955f319
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@117712 91177308-0d34-0410-b5e6-96231b3b80d8
82 lines
1.8 KiB
LLVM
82 lines
1.8 KiB
LLVM
; RUN: opt < %s -correlated-propagation -S | FileCheck %s
|
|
; PR2581
|
|
|
|
; CHECK: @test1
|
|
define i32 @test1(i1 %C) nounwind {
|
|
br i1 %C, label %exit, label %body
|
|
|
|
body: ; preds = %0
|
|
; CHECK-NOT: select
|
|
%A = select i1 %C, i32 10, i32 11 ; <i32> [#uses=1]
|
|
; CHECK: ret i32 11
|
|
ret i32 %A
|
|
|
|
exit: ; preds = %0
|
|
; CHECK: ret i32 10
|
|
ret i32 10
|
|
}
|
|
|
|
; PR4420
|
|
declare i1 @ext()
|
|
; CHECK: @test2
|
|
define i1 @test2() {
|
|
entry:
|
|
%cond = tail call i1 @ext() ; <i1> [#uses=2]
|
|
br i1 %cond, label %bb1, label %bb2
|
|
|
|
bb1: ; preds = %entry
|
|
%cond2 = tail call i1 @ext() ; <i1> [#uses=1]
|
|
br i1 %cond2, label %bb3, label %bb2
|
|
|
|
bb2: ; preds = %bb1, %entry
|
|
; CHECK-NOT: phi i1
|
|
%cond_merge = phi i1 [ %cond, %entry ], [ false, %bb1 ] ; <i1> [#uses=1]
|
|
; CHECK: ret i1 false
|
|
ret i1 %cond_merge
|
|
|
|
bb3: ; preds = %bb1
|
|
%res = tail call i1 @ext() ; <i1> [#uses=1]
|
|
; CHECK: ret i1 %res
|
|
ret i1 %res
|
|
}
|
|
|
|
; PR4855
|
|
@gv = internal constant i8 7
|
|
; CHECK: @test3
|
|
define i8 @test3(i8* %a) nounwind {
|
|
entry:
|
|
%cond = icmp eq i8* %a, @gv
|
|
br i1 %cond, label %bb2, label %bb
|
|
|
|
bb: ; preds = %entry
|
|
ret i8 0
|
|
|
|
bb2: ; preds = %entry
|
|
; CHECK: %should_be_const = load i8* @gv
|
|
%should_be_const = load i8* %a
|
|
ret i8 %should_be_const
|
|
}
|
|
|
|
; PR1757
|
|
; CHECK: @test4
|
|
define i32 @test4(i32) {
|
|
EntryBlock:
|
|
; CHECK: icmp sgt i32 %0, 2
|
|
%.demorgan = icmp sgt i32 %0, 2
|
|
br i1 %.demorgan, label %GreaterThanTwo, label %LessThanOrEqualToTwo
|
|
|
|
GreaterThanTwo:
|
|
; CHECK-NOT: icmp eq i32 %0, 2
|
|
icmp eq i32 %0, 2
|
|
; CHECK: br i1 false
|
|
br i1 %1, label %Impossible, label %NotTwoAndGreaterThanTwo
|
|
|
|
NotTwoAndGreaterThanTwo:
|
|
ret i32 2
|
|
|
|
Impossible:
|
|
ret i32 1
|
|
|
|
LessThanOrEqualToTwo:
|
|
ret i32 0
|
|
} |