mirror of
https://github.com/RPCSX/llvm.git
synced 2026-01-31 01:05:23 +01:00
e365f8338a
1.Fix pessimized case in FIXME. 2.Add tests for it. 3.The canonicalisation on shifts results in different sequence for tests of machine-licm.Correct some check lines. Differential Revision: https://reviews.llvm.org/D27916 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@290410 91177308-0d34-0410-b5e6-96231b3b80d8
32 lines
838 B
LLVM
32 lines
838 B
LLVM
; RUN: llc -mtriple=armv7-linux-gnueabihf %s -o - | FileCheck %s
|
|
|
|
@array = weak global [4 x i32] zeroinitializer
|
|
|
|
define i32 @test_lshr_and1(i32 %x) {
|
|
entry:
|
|
;CHECK-LABLE: test_lshr_and1:
|
|
;CHECK: movw r1, :lower16:array
|
|
;CHECK-NEXT: and r0, r0, #12
|
|
;CHECK-NEXT: movt r1, :upper16:array
|
|
;CHECK-NEXT: ldr r0, [r1, r0]
|
|
;CHECK-NEXT: bx lr
|
|
%tmp2 = lshr i32 %x, 2
|
|
%tmp3 = and i32 %tmp2, 3
|
|
%tmp4 = getelementptr [4 x i32], [4 x i32]* @array, i32 0, i32 %tmp3
|
|
%tmp5 = load i32, i32* %tmp4, align 4
|
|
ret i32 %tmp5
|
|
}
|
|
define i32 @test_lshr_and2(i32 %x) {
|
|
entry:
|
|
;CHECK-LABLE: test_lshr_and2:
|
|
;CHECK: ubfx r0, r0, #1, #15
|
|
;CHECK-NEXT: add r0, r0, r0
|
|
;CHECK-NEXT: bx lr
|
|
%a = and i32 %x, 65534
|
|
%b = lshr i32 %a, 1
|
|
%c = and i32 %x, 65535
|
|
%d = lshr i32 %c, 1
|
|
%e = add i32 %b, %d
|
|
ret i32 %e
|
|
}
|