mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-12-13 20:32:21 +00:00
New EarlyCSE tests for CSE-ing across commutativity.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@165510 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
parent
39285ab6dd
commit
440ae6800e
66
test/Transforms/EarlyCSE/commute.ll
Normal file
66
test/Transforms/EarlyCSE/commute.ll
Normal file
@ -0,0 +1,66 @@
|
||||
; RUN: opt < %s -S -early-cse | FileCheck %s
|
||||
|
||||
; CHECK: @test1
|
||||
define void @test1(float %A, float %B, float* %PA, float* %PB) {
|
||||
; CHECK-NEXT: fadd
|
||||
; CHECK-NEXT: store
|
||||
; CHECK-NEXT: store
|
||||
; CHECK-NEXT: ret
|
||||
%C = fadd float %A, %B
|
||||
store float %C, float* %PA
|
||||
%D = fadd float %B, %A
|
||||
store float %D, float* %PB
|
||||
ret void
|
||||
}
|
||||
|
||||
; CHECK: @test2
|
||||
define void @test2(float %A, float %B, i1* %PA, i1* %PB) {
|
||||
; CHECK-NEXT: fcmp
|
||||
; CHECK-NEXT: store
|
||||
; CHECK-NEXT: store
|
||||
; CHECK-NEXT: ret
|
||||
%C = fcmp eq float %A, %B
|
||||
store i1 %C, i1* %PA
|
||||
%D = fcmp eq float %B, %A
|
||||
store i1 %D, i1* %PB
|
||||
ret void
|
||||
}
|
||||
|
||||
; CHECK: @test3
|
||||
define void @test3(float %A, float %B, i1* %PA, i1* %PB) {
|
||||
; CHECK-NEXT: fcmp
|
||||
; CHECK-NEXT: store
|
||||
; CHECK-NEXT: store
|
||||
; CHECK-NEXT: ret
|
||||
%C = fcmp uge float %A, %B
|
||||
store i1 %C, i1* %PA
|
||||
%D = fcmp ule float %B, %A
|
||||
store i1 %D, i1* %PB
|
||||
ret void
|
||||
}
|
||||
|
||||
; CHECK: @test4
|
||||
define void @test4(i32 %A, i32 %B, i1* %PA, i1* %PB) {
|
||||
; CHECK-NEXT: icmp
|
||||
; CHECK-NEXT: store
|
||||
; CHECK-NEXT: store
|
||||
; CHECK-NEXT: ret
|
||||
%C = icmp eq i32 %A, %B
|
||||
store i1 %C, i1* %PA
|
||||
%D = icmp eq i32 %B, %A
|
||||
store i1 %D, i1* %PB
|
||||
ret void
|
||||
}
|
||||
|
||||
; CHECK: @test5
|
||||
define void @test5(i32 %A, i32 %B, i1* %PA, i1* %PB) {
|
||||
; CHECK-NEXT: icmp
|
||||
; CHECK-NEXT: store
|
||||
; CHECK-NEXT: store
|
||||
; CHECK-NEXT: ret
|
||||
%C = icmp sgt i32 %A, %B
|
||||
store i1 %C, i1* %PA
|
||||
%D = icmp slt i32 %B, %A
|
||||
store i1 %D, i1* %PB
|
||||
ret void
|
||||
}
|
Loading…
Reference in New Issue
Block a user