llvm-project/llvm/test/CodeGen/AArch64/machine-combiner-transient.ll
Harvin Iriawan db158c7c83 [AArch64] Update generic sched model to A510
Refresh of the generic scheduling model to use A510 instead of A55.
  Main benefits are to the little core, and introducing SVE scheduling information.
  Changes tested on various OoO cores, no performance degradation is seen.

  Differential Revision: https://reviews.llvm.org/D156799
2023-08-21 12:25:15 +01:00

47 lines
1.3 KiB
LLVM

; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
; RUN: llc -mtriple=aarch64-linux-gnu %s -o - | FileCheck %s
; When lowering the LLVM IR to MIR, transient COPY instructions are generated
; to copy parameters from physical registers to virtual registers. Wrong
; handling of transient instructions in MachineCombiner can fail the forllowing
; transformation.
; A - (B + C) ==> (A - B) - C
; 32 bit version.
define i32 @test1(i32 %a, i32 %b, i32 %c) {
; CHECK-LABEL: test1:
; CHECK: // %bb.0: // %entry
; CHECK-NEXT: eor w8, w1, w0, lsl #8
; CHECK-NEXT: sub w9, w2, w0
; CHECK-NEXT: sub w9, w9, w8
; CHECK-NEXT: eor w0, w9, w8, asr #13
; CHECK-NEXT: ret
entry:
%shl = shl i32 %a, 8
%xor = xor i32 %shl, %b
%add = add i32 %xor, %a
%sub = sub i32 %c, %add
%shr = ashr i32 %xor, 13
%xor2 = xor i32 %sub, %shr
ret i32 %xor2
}
; 64 bit version.
define i64 @test2(i64 %a, i64 %b, i64 %c) {
; CHECK-LABEL: test2:
; CHECK: // %bb.0: // %entry
; CHECK-NEXT: eor x8, x1, x0, lsl #8
; CHECK-NEXT: sub x9, x2, x0
; CHECK-NEXT: sub x9, x9, x8
; CHECK-NEXT: eor x0, x9, x8, asr #13
; CHECK-NEXT: ret
entry:
%shl = shl i64 %a, 8
%xor = xor i64 %shl, %b
%add = add i64 %xor, %a
%sub = sub i64 %c, %add
%shr = ashr i64 %xor, 13
%xor2 = xor i64 %sub, %shr
ret i64 %xor2
}