141 lines
3.8 KiB
LLVM
141 lines
3.8 KiB
LLVM
; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
|
|
; RUN: llc --mtriple=loongarch32 --filetype=obj --verify-machineinstrs < %s \
|
|
; RUN: -o /dev/null 2>&1
|
|
; RUN: llc --mtriple=loongarch64 --filetype=obj --verify-machineinstrs < %s \
|
|
; RUN: -o /dev/null 2>&1
|
|
; RUN: llc --mtriple=loongarch32 --verify-machineinstrs < %s | FileCheck %s --check-prefix=LA32
|
|
; RUN: llc --mtriple=loongarch64 --verify-machineinstrs < %s | FileCheck %s --check-prefix=LA64
|
|
|
|
define i32 @relax_b18(i32 signext %a, i32 signext %b) {
|
|
; LA32-LABEL: relax_b18:
|
|
; LA32: # %bb.0:
|
|
; LA32-NEXT: beq $a0, $a1, .LBB0_1
|
|
; LA32-NEXT: b .LBB0_2
|
|
; LA32-NEXT: .LBB0_1: # %iftrue
|
|
; LA32-NEXT: #APP
|
|
; LA32-NEXT: .space 1048576
|
|
; LA32-NEXT: #NO_APP
|
|
; LA32-NEXT: ori $a0, $zero, 1
|
|
; LA32-NEXT: ret
|
|
; LA32-NEXT: .LBB0_2: # %iffalse
|
|
; LA32-NEXT: move $a0, $zero
|
|
; LA32-NEXT: ret
|
|
;
|
|
; LA64-LABEL: relax_b18:
|
|
; LA64: # %bb.0:
|
|
; LA64-NEXT: beq $a0, $a1, .LBB0_1
|
|
; LA64-NEXT: b .LBB0_2
|
|
; LA64-NEXT: .LBB0_1: # %iftrue
|
|
; LA64-NEXT: #APP
|
|
; LA64-NEXT: .space 1048576
|
|
; LA64-NEXT: #NO_APP
|
|
; LA64-NEXT: ori $a0, $zero, 1
|
|
; LA64-NEXT: ret
|
|
; LA64-NEXT: .LBB0_2: # %iffalse
|
|
; LA64-NEXT: move $a0, $zero
|
|
; LA64-NEXT: ret
|
|
%cond = icmp eq i32 %a, %b
|
|
br i1 %cond, label %iftrue, label %iffalse
|
|
|
|
iftrue:
|
|
call void asm sideeffect ".space 1048576", ""()
|
|
ret i32 1
|
|
|
|
iffalse:
|
|
ret i32 0
|
|
}
|
|
|
|
define i32 @relax_b23(i1 %a) {
|
|
; LA32-LABEL: relax_b23:
|
|
; LA32: # %bb.0:
|
|
; LA32-NEXT: andi $a0, $a0, 1
|
|
; LA32-NEXT: bnez $a0, .LBB1_1
|
|
; LA32-NEXT: b .LBB1_2
|
|
; LA32-NEXT: .LBB1_1: # %iftrue
|
|
; LA32-NEXT: #APP
|
|
; LA32-NEXT: .space 16777216
|
|
; LA32-NEXT: #NO_APP
|
|
; LA32-NEXT: ori $a0, $zero, 1
|
|
; LA32-NEXT: ret
|
|
; LA32-NEXT: .LBB1_2: # %iffalse
|
|
; LA32-NEXT: move $a0, $zero
|
|
; LA32-NEXT: ret
|
|
;
|
|
; LA64-LABEL: relax_b23:
|
|
; LA64: # %bb.0:
|
|
; LA64-NEXT: andi $a0, $a0, 1
|
|
; LA64-NEXT: bnez $a0, .LBB1_1
|
|
; LA64-NEXT: b .LBB1_2
|
|
; LA64-NEXT: .LBB1_1: # %iftrue
|
|
; LA64-NEXT: #APP
|
|
; LA64-NEXT: .space 16777216
|
|
; LA64-NEXT: #NO_APP
|
|
; LA64-NEXT: ori $a0, $zero, 1
|
|
; LA64-NEXT: ret
|
|
; LA64-NEXT: .LBB1_2: # %iffalse
|
|
; LA64-NEXT: move $a0, $zero
|
|
; LA64-NEXT: ret
|
|
br i1 %a, label %iftrue, label %iffalse
|
|
|
|
iftrue:
|
|
call void asm sideeffect ".space 16777216", ""()
|
|
ret i32 1
|
|
|
|
iffalse:
|
|
ret i32 0
|
|
}
|
|
|
|
define i32 @relax_b28(i1 %a) {
|
|
; LA32-LABEL: relax_b28:
|
|
; LA32: # %bb.0:
|
|
; LA32-NEXT: addi.w $sp, $sp, -16
|
|
; LA32-NEXT: .cfi_def_cfa_offset 16
|
|
; LA32-NEXT: andi $a0, $a0, 1
|
|
; LA32-NEXT: bnez $a0, .LBB2_1
|
|
; LA32-NEXT: # %bb.3:
|
|
; LA32-NEXT: pcalau12i $a0, %pc_hi20(.LBB2_2)
|
|
; LA32-NEXT: addi.w $a0, $a0, %pc_lo12(.LBB2_2)
|
|
; LA32-NEXT: jr $a0
|
|
; LA32-NEXT: .LBB2_1: # %iftrue
|
|
; LA32-NEXT: #APP
|
|
; LA32-NEXT: .space 536870912
|
|
; LA32-NEXT: #NO_APP
|
|
; LA32-NEXT: ori $a0, $zero, 1
|
|
; LA32-NEXT: addi.w $sp, $sp, 16
|
|
; LA32-NEXT: ret
|
|
; LA32-NEXT: .LBB2_2: # %iffalse
|
|
; LA32-NEXT: move $a0, $zero
|
|
; LA32-NEXT: addi.w $sp, $sp, 16
|
|
; LA32-NEXT: ret
|
|
;
|
|
; LA64-LABEL: relax_b28:
|
|
; LA64: # %bb.0:
|
|
; LA64-NEXT: addi.d $sp, $sp, -16
|
|
; LA64-NEXT: .cfi_def_cfa_offset 16
|
|
; LA64-NEXT: andi $a0, $a0, 1
|
|
; LA64-NEXT: bnez $a0, .LBB2_1
|
|
; LA64-NEXT: # %bb.3:
|
|
; LA64-NEXT: pcalau12i $a0, %pc_hi20(.LBB2_2)
|
|
; LA64-NEXT: addi.d $a0, $a0, %pc_lo12(.LBB2_2)
|
|
; LA64-NEXT: jr $a0
|
|
; LA64-NEXT: .LBB2_1: # %iftrue
|
|
; LA64-NEXT: #APP
|
|
; LA64-NEXT: .space 536870912
|
|
; LA64-NEXT: #NO_APP
|
|
; LA64-NEXT: ori $a0, $zero, 1
|
|
; LA64-NEXT: addi.d $sp, $sp, 16
|
|
; LA64-NEXT: ret
|
|
; LA64-NEXT: .LBB2_2: # %iffalse
|
|
; LA64-NEXT: move $a0, $zero
|
|
; LA64-NEXT: addi.d $sp, $sp, 16
|
|
; LA64-NEXT: ret
|
|
br i1 %a, label %iftrue, label %iffalse
|
|
|
|
iftrue:
|
|
call void asm sideeffect ".space 536870912", ""()
|
|
ret i32 1
|
|
|
|
iffalse:
|
|
ret i32 0
|
|
}
|