This is an archive of the discontinued LLVM Phabricator instance.

Differential D147454

[NFC] Update CodeGen/*/nomerge.ll tests with utils/update_llc_test_checks.py.
ClosedPublic

Authored by zequanwu on Apr 3 2023, 10:02 AM.

Details

Reviewers
jrtc27
nemanjai
Commits
rG321d02cc6b6a: [NFC] Update CodeGen/*/nomerge.ll tests with utils/update_llc_test_checks.py.
Summary

Precommit this patch for better diff view on D146749.

Diff Detail

Event Timeline

zequanwu created this revision.Apr 3 2023, 10:02 AM
Herald added a project: Restricted Project. · View Herald TranscriptApr 3 2023, 10:02 AM
Herald added subscribers: luke, frasercrmck, luismarques and 20 others. · View Herald Transcript
zequanwu requested review of this revision.Apr 3 2023, 10:02 AM
Herald added a project: Restricted Project. · View Herald TranscriptApr 3 2023, 10:02 AM
Herald added subscribers: llvm-commits, • pcwang-thead, MaskRay. · View Herald Transcript
Harbormaster completed remote builds in B223388: Diff 510544.Apr 3 2023, 10:43 AM
nemanjai accepted this revision.Apr 3 2023, 4:03 PM

LGTM.

This revision is now accepted and ready to land.Apr 3 2023, 4:03 PM
This revision was landed with ongoing or failed builds.Apr 3 2023, 4:52 PM
Closed by commit rG321d02cc6b6a: [NFC] Update CodeGen/*/nomerge.ll tests with utils/update_llc_test_checks.py. (authored by zequanwu). · Explain Why
This revision was automatically updated to reflect the committed changes.
zequanwu added a commit: rG321d02cc6b6a: [NFC] Update CodeGen/*/nomerge.ll tests with utils/update_llc_test_checks.py..

Revision Contents

PathSize
llvm/
test/
CodeGen/
AArch64/
29 lines
ARM/
51 lines
LoongArch/
52 lines
PowerPC/
67 lines
RISCV/
52 lines
SystemZ/
50 lines
X86/
51 lines

Diff 510646

llvm/test/CodeGen/AArch64/nomerge.ll

; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
; RUN: llc < %s -mtriple=aarch64 -o - | FileCheck %s ; RUN: llc < %s -mtriple=aarch64 -o - | FileCheck %s
define void @foo(i32 %i) uwtable { define void @foo(i32 %i) nounwind {
; CHECK-LABEL: foo: ; CHECK-LABEL: foo:
; CHECK: // %bb.0: // %entry ; CHECK: // %bb.0: // %entry
; CHECK-NEXT: str x30, [sp, #-16]! // 8-byte Folded Spill ; CHECK-NEXT: str x30, [sp, #-16]! // 8-byte Folded Spill
; CHECK-NEXT: .cfi_def_cfa_offset 16
; CHECK-NEXT: .cfi_offset w30, -16
; CHECK-NEXT: .cfi_remember_state
; CHECK-NEXT: cmp w0, #7 ; CHECK-NEXT: cmp w0, #7
; CHECK-NEXT: b.eq .LBB0_3 ; CHECK-NEXT: b.eq .LBB0_3
; CHECK-NEXT: // %bb.1: // %entry ; CHECK-NEXT: // %bb.1: // %entry
; CHECK-NEXT: cmp w0, #5 ; CHECK-NEXT: cmp w0, #5
; CHECK-NEXT: b.ne .LBB0_4 ; CHECK-NEXT: b.ne .LBB0_4
; CHECK-NEXT: // %bb.2: // %if.then ; CHECK-NEXT: // %bb.2: // %if.then
; CHECK-NEXT: bl bar ; CHECK-NEXT: bl bar
; CHECK-NEXT: ldr x30, [sp], #16 // 8-byte Folded Reload ; CHECK-NEXT: ldr x30, [sp], #16 // 8-byte Folded Reload
; CHECK-NEXT: .cfi_def_cfa_offset 0
; CHECK-NEXT: .cfi_restore w30
; CHECK-NEXT: b bar ; CHECK-NEXT: b bar
; CHECK-NEXT: .LBB0_3: // %if.then2 ; CHECK-NEXT: .LBB0_3: // %if.then2
; CHECK-NEXT: .cfi_restore_state
; CHECK-NEXT: bl bar ; CHECK-NEXT: bl bar
; CHECK-NEXT: .LBB0_4: // %if.end3 ; CHECK-NEXT: .LBB0_4: // %if.end3
; CHECK-NEXT: ldr x30, [sp], #16 // 8-byte Folded Reload ; CHECK-NEXT: ldr x30, [sp], #16 // 8-byte Folded Reload
; CHECK-NEXT: .cfi_def_cfa_offset 0
; CHECK-NEXT: .cfi_restore w30
; CHECK-NEXT: b bar ; CHECK-NEXT: b bar
entry: entry:
switch i32 %i, label %if.end3 [ switch i32 %i, label %if.end3 [
i32 5, label %if.then i32 5, label %if.then
i32 7, label %if.then2 i32 7, label %if.then2
] ]
if.then: if.then:
tail call void @bar() #0 tail call void @bar() #0
br label %if.end3 br label %if.end3
if.then2: if.then2:
tail call void @bar() #0 tail call void @bar() #0
br label %if.end3 br label %if.end3
if.end3: if.end3:
tail call void @bar() #0 tail call void @bar() #0
ret void ret void
} }
define void @foo_tail(i1 %i) nounwind {
; CHECK-LABEL: foo_tail:
; CHECK: // %bb.0: // %entry
; CHECK-NEXT: b bar
entry:
br i1 %i, label %if.then, label %if.else
if.then:
tail call void @bar() #0
br label %if.end
if.else:
tail call void @bar() #0
br label %if.end
if.end:
ret void
}
declare void @bar() declare void @bar()
attributes #0 = { nomerge } attributes #0 = { nomerge }

llvm/test/CodeGen/ARM/nomerge.ll

; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 2
; RUN: llc < %s -mtriple=arm -o - | FileCheck %s ; RUN: llc < %s -mtriple=arm -o - | FileCheck %s
define void @foo(i32 %i) { define void @foo(i32 %i) nounwind {
; CHECK-LABEL: foo:
; CHECK: @ %bb.0: @ %entry
; CHECK-NEXT: push {r11, lr}
; CHECK-NEXT: cmp r0, #7
; CHECK-NEXT: beq .LBB0_3
; CHECK-NEXT: @ %bb.1: @ %entry
; CHECK-NEXT: cmp r0, #5
; CHECK-NEXT: bne .LBB0_4
; CHECK-NEXT: @ %bb.2: @ %if.then
; CHECK-NEXT: bl bar
; CHECK-NEXT: pop {r11, lr}
; CHECK-NEXT: b bar
; CHECK-NEXT: .LBB0_3: @ %if.then2
; CHECK-NEXT: bl bar
; CHECK-NEXT: .LBB0_4: @ %if.end3
; CHECK-NEXT: pop {r11, lr}
; CHECK-NEXT: b bar
entry: entry:
switch i32 %i, label %if.end3 [ switch i32 %i, label %if.end3 [
i32 5, label %if.then i32 5, label %if.then
i32 7, label %if.then2 i32 7, label %if.then2
] ]
if.then: if.then:
tail call void @bar() #0 tail call void @bar() #0
br label %if.end3 br label %if.end3
if.then2: if.then2:
tail call void @bar() #0 tail call void @bar() #0
br label %if.end3 br label %if.end3
if.end3: if.end3:
tail call void @bar() #0 tail call void @bar() #0
ret void ret void
} }
define void @foo_tail(i1 %i) nounwind {
; CHECK-LABEL: foo_tail:
; CHECK: @ %bb.0: @ %entry
; CHECK-NEXT: tst r0, #1
; CHECK-NEXT: b bar
entry:
br i1 %i, label %if.then, label %if.else
if.then:
tail call void @bar() #0
br label %if.end
if.else:
tail call void @bar() #0
br label %if.end
if.end:
ret void
}
declare void @bar() declare void @bar()
attributes #0 = { nomerge } attributes #0 = { nomerge }
; CHECK-LABEL: foo:
; CHECK: @ %bb.0: @ %entry
; CHECK: @ %bb.1: @ %entry
; CHECK: @ %bb.2: @ %if.then
; CHECK-NEXT: bl bar
; CHECK: b bar
; CHECK: .LBB0_3: @ %if.then2
; CHECK-NEXT: bl bar
; CHECK: .LBB0_4: @ %if.end3
; CHECK: b bar

llvm/test/CodeGen/LoongArch/nomerge.ll

; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 2
; RUN: llc --mtriple=loongarch64 < %s | FileCheck %s ; RUN: llc --mtriple=loongarch64 < %s | FileCheck %s
define void @foo(i32 %i) { define void @foo(i32 %i) nounwind {
; CHECK-LABEL: foo:
; CHECK: # %bb.0: # %entry
; CHECK-NEXT: addi.d $sp, $sp, -16
; CHECK-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill
; CHECK-NEXT: bstrpick.d $a0, $a0, 31, 0
; CHECK-NEXT: ori $a1, $zero, 7
; CHECK-NEXT: beq $a0, $a1, .LBB0_3
; CHECK-NEXT: # %bb.1: # %entry
; CHECK-NEXT: ori $a1, $zero, 5
; CHECK-NEXT: bne $a0, $a1, .LBB0_4
; CHECK-NEXT: # %bb.2: # %if.then
; CHECK-NEXT: bl %plt(bar)
; CHECK-NEXT: b .LBB0_4
; CHECK-NEXT: .LBB0_3: # %if.then2
; CHECK-NEXT: bl %plt(bar)
; CHECK-NEXT: .LBB0_4: # %if.end3
; CHECK-NEXT: ld.d $ra, $sp, 8 # 8-byte Folded Reload
; CHECK-NEXT: addi.d $sp, $sp, 16
; CHECK-NEXT: b %plt(bar)
entry: entry:
switch i32 %i, label %if.end3 [ switch i32 %i, label %if.end3 [
i32 5, label %if.then i32 5, label %if.then
i32 7, label %if.then2 i32 7, label %if.then2
] ]
if.then: if.then:
tail call void @bar() #0 tail call void @bar() #0
br label %if.end3 br label %if.end3
if.then2: if.then2:
tail call void @bar() #0 tail call void @bar() #0
br label %if.end3 br label %if.end3
if.end3: if.end3:
tail call void @bar() #0 tail call void @bar() #0
ret void ret void
} }
define void @foo_tail(i1 %i) nounwind {
; CHECK-LABEL: foo_tail:
; CHECK: # %bb.0: # %entry
; CHECK-NEXT: andi $a0, $a0, 1
; CHECK-NEXT: b %plt(bar)
entry:
br i1 %i, label %if.then, label %if.else
if.then:
tail call void @bar() #0
br label %if.end
if.else:
tail call void @bar() #0
br label %if.end
if.end:
ret void
}
declare void @bar() declare void @bar()
attributes #0 = { nomerge } attributes #0 = { nomerge }
; CHECK-LABEL: foo:
; CHECK: # %bb.0: # %entry
; CHECK: # %bb.1: # %entry
; CHECK: # %bb.2: # %if.then
; CHECK-NEXT: bl %plt(bar)
; CHECK: .LBB0_3: # %if.then2
; CHECK-NEXT: bl %plt(bar)
; CHECK: .LBB0_4: # %if.end3
; CHECK: b %plt(bar)

llvm/test/CodeGen/PowerPC/nomerge.ll

; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 2
; RUN: llc < %s -mtriple=powerpc -o - | FileCheck %s ; RUN: llc < %s -mtriple=powerpc -o - | FileCheck %s
define void @foo(i32 %i) { define void @foo(i32 %i) nounwind {
; CHECK-LABEL: foo:
; CHECK: # %bb.0: # %entry
; CHECK-NEXT: mflr 0
; CHECK-NEXT: stwu 1, -16(1)
; CHECK-NEXT: cmplwi 3, 7
; CHECK-NEXT: stw 0, 20(1)
; CHECK-NEXT: beq 0, .LBB0_3
; CHECK-NEXT: # %bb.1: # %entry
; CHECK-NEXT: cmplwi 3, 5
; CHECK-NEXT: bne 0, .LBB0_4
; CHECK-NEXT: # %bb.2: # %if.then
; CHECK-NEXT: bl bar
; CHECK-NEXT: b .LBB0_4
; CHECK-NEXT: .LBB0_3: # %if.then2
; CHECK-NEXT: bl bar
; CHECK-NEXT: .LBB0_4: # %if.end3
; CHECK-NEXT: bl bar
; CHECK-NEXT: lwz 0, 20(1)
; CHECK-NEXT: addi 1, 1, 16
; CHECK-NEXT: mtlr 0
; CHECK-NEXT: blr
entry: entry:
switch i32 %i, label %if.end3 [ switch i32 %i, label %if.end3 [
i32 5, label %if.then i32 5, label %if.then
i32 7, label %if.then2 i32 7, label %if.then2
] ]
if.then: if.then:
tail call void @bar() #0 tail call void @bar() #0
br label %if.end3 br label %if.end3
if.then2: if.then2:
tail call void @bar() #0 tail call void @bar() #0
br label %if.end3 br label %if.end3
if.end3: if.end3:
tail call void @bar() #0 tail call void @bar() #0
ret void ret void
} }
declare void @bar() define void @foo_tail(i1 %i) nounwind {
; CHECK-LABEL: foo_tail:
attributes #0 = { nomerge }
; CHECK-LABEL: foo:
; CHECK: # %bb.0: # %entry ; CHECK: # %bb.0: # %entry
; CHECK: # %bb.1: # %entry ; CHECK-NEXT: mflr 0
; CHECK: # %bb.2: # %if.then ; CHECK-NEXT: stwu 1, -16(1)
; CHECK-NEXT: bl bar ; CHECK-NEXT: andi. 3, 3, 1
; CHECK: .LBB0_3: # %if.then2 ; CHECK-NEXT: stw 0, 20(1)
; CHECK-NEXT: bc 4, 1, .LBB1_2
; CHECK-NEXT: # %bb.1: # %if.then
; CHECK-NEXT: bl bar ; CHECK-NEXT: bl bar
; CHECK: .LBB0_4: # %if.end3 ; CHECK-NEXT: b .LBB1_3
; CHECK-NEXT: .LBB1_2: # %if.else
; CHECK-NEXT: bl bar ; CHECK-NEXT: bl bar
; CHECK-NEXT: .LBB1_3: # %if.end
; CHECK-NEXT: lwz 0, 20(1)
; CHECK-NEXT: addi 1, 1, 16
; CHECK-NEXT: mtlr 0
; CHECK-NEXT: blr
entry:
br i1 %i, label %if.then, label %if.else
if.then:
tail call void @bar() #0
br label %if.end
if.else:
tail call void @bar() #0
br label %if.end
if.end:
ret void
}
declare void @bar()
attributes #0 = { nomerge }

llvm/test/CodeGen/RISCV/nomerge.ll

; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 2
; RUN: llc < %s -mtriple=riscv64 -o - | FileCheck %s ; RUN: llc < %s -mtriple=riscv64 -o - | FileCheck %s
define void @foo(i32 %i) { define void @foo(i32 %i) nounwind {
; CHECK-LABEL: foo:
; CHECK: # %bb.0: # %entry
; CHECK-NEXT: addi sp, sp, -16
; CHECK-NEXT: sd ra, 8(sp) # 8-byte Folded Spill
; CHECK-NEXT: sext.w a0, a0
; CHECK-NEXT: li a1, 7
; CHECK-NEXT: beq a0, a1, .LBB0_3
; CHECK-NEXT: # %bb.1: # %entry
; CHECK-NEXT: li a1, 5
; CHECK-NEXT: bne a0, a1, .LBB0_4
; CHECK-NEXT: # %bb.2: # %if.then
; CHECK-NEXT: call bar@plt
; CHECK-NEXT: j .LBB0_4
; CHECK-NEXT: .LBB0_3: # %if.then2
; CHECK-NEXT: call bar@plt
; CHECK-NEXT: .LBB0_4: # %if.end3
; CHECK-NEXT: ld ra, 8(sp) # 8-byte Folded Reload
; CHECK-NEXT: addi sp, sp, 16
; CHECK-NEXT: tail bar@plt
entry: entry:
switch i32 %i, label %if.end3 [ switch i32 %i, label %if.end3 [
i32 5, label %if.then i32 5, label %if.then
i32 7, label %if.then2 i32 7, label %if.then2
] ]
if.then: if.then:
tail call void @bar() #0 tail call void @bar() #0
br label %if.end3 br label %if.end3
if.then2: if.then2:
tail call void @bar() #0 tail call void @bar() #0
br label %if.end3 br label %if.end3
if.end3: if.end3:
tail call void @bar() #0 tail call void @bar() #0
ret void ret void
} }
define void @foo_tail(i1 %i) nounwind {
; CHECK-LABEL: foo_tail:
; CHECK: # %bb.0: # %entry
; CHECK-NEXT: andi a0, a0, 1
; CHECK-NEXT: tail bar@plt
entry:
br i1 %i, label %if.then, label %if.else
if.then:
tail call void @bar() #0
br label %if.end
if.else:
tail call void @bar() #0
br label %if.end
if.end:
ret void
}
declare void @bar() declare void @bar()
attributes #0 = { nomerge } attributes #0 = { nomerge }
; CHECK-LABEL: foo:
; CHECK: # %bb.0: # %entry
; CHECK: # %bb.1: # %entry
; CHECK: # %bb.2: # %if.then
; CHECK-NEXT: call bar
; CHECK: .LBB0_3: # %if.then2
; CHECK-NEXT: call bar
; CHECK: .LBB0_4: # %if.end3
; CHECK: tail bar

llvm/test/CodeGen/SystemZ/nomerge.ll

; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 2
; RUN: llc < %s -mtriple=s390x-linux-gnu -o - | FileCheck %s ; RUN: llc < %s -mtriple=s390x-linux-gnu -o - | FileCheck %s
define void @foo(i32 %i) { define void @foo(i32 %i) nounwind {
; CHECK-LABEL: foo:
; CHECK: # %bb.0: # %entry
; CHECK-NEXT: stmg %r14, %r15, 112(%r15)
; CHECK-NEXT: aghi %r15, -160
; CHECK-NEXT: cije %r2, 7, .LBB0_3
; CHECK-NEXT: # %bb.1: # %entry
; CHECK-NEXT: cijlh %r2, 5, .LBB0_4
; CHECK-NEXT: # %bb.2: # %if.then
; CHECK-NEXT: brasl %r14, bar@PLT
; CHECK-NEXT: lmg %r14, %r15, 272(%r15)
; CHECK-NEXT: jg bar@PLT
; CHECK-NEXT: .LBB0_3: # %if.then2
; CHECK-NEXT: brasl %r14, bar@PLT
; CHECK-NEXT: .LBB0_4: # %if.end3
; CHECK-NEXT: lmg %r14, %r15, 272(%r15)
; CHECK-NEXT: jg bar@PLT
entry: entry:
switch i32 %i, label %if.end3 [ switch i32 %i, label %if.end3 [
i32 5, label %if.then i32 5, label %if.then
i32 7, label %if.then2 i32 7, label %if.then2
] ]
if.then: if.then:
tail call void @bar() #0 tail call void @bar() #0
br label %if.end3 br label %if.end3
if.then2: if.then2:
tail call void @bar() #0 tail call void @bar() #0
br label %if.end3 br label %if.end3
if.end3: if.end3:
tail call void @bar() #0 tail call void @bar() #0
ret void ret void
} }
define void @foo_tail(i1 %i) nounwind {
; CHECK-LABEL: foo_tail:
; CHECK: # %bb.0: # %entry
; CHECK-NEXT: tmll %r2, 1
; CHECK-NEXT: jg bar@PLT
entry:
br i1 %i, label %if.then, label %if.else
if.then:
tail call void @bar() #0
br label %if.end
if.else:
tail call void @bar() #0
br label %if.end
if.end:
ret void
}
declare void @bar() declare void @bar()
attributes #0 = { nomerge } attributes #0 = { nomerge }
; CHECK-LABEL: foo:
; CHECK: # %bb.0: # %entry
; CHECK: # %bb.1: # %entry
; CHECK: # %bb.2: # %if.then
; CHECK-NEXT: brasl %r14, bar@PLT
; CHECK: jg bar@PLT
; CHECK: .LBB0_3: # %if.then2
; CHECK: brasl %r14, bar@PLT
; CHECK: .LBB0_4: # %if.end3
; CHECK: jg bar@PLT

llvm/test/CodeGen/X86/nomerge.ll

; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 2
; RUN: llc < %s -mtriple=x86_64 -o - | FileCheck %s ; RUN: llc < %s -mtriple=x86_64 -o - | FileCheck %s
define void @foo(i32 %i) { define void @foo(i32 %i) nounwind {
; CHECK-LABEL: foo:
; CHECK: # %bb.0: # %entry
; CHECK-NEXT: pushq %rax
; CHECK-NEXT: cmpl $7, %edi
; CHECK-NEXT: je .LBB0_3
; CHECK-NEXT: # %bb.1: # %entry
; CHECK-NEXT: cmpl $5, %edi
; CHECK-NEXT: jne .LBB0_4
; CHECK-NEXT: # %bb.2: # %if.then
; CHECK-NEXT: callq bar
; CHECK-NEXT: popq %rax
; CHECK-NEXT: jmp bar # TAILCALL
; CHECK-NEXT: .LBB0_3: # %if.then2
; CHECK-NEXT: callq bar
; CHECK-NEXT: .LBB0_4: # %if.end3
; CHECK-NEXT: popq %rax
; CHECK-NEXT: jmp bar # TAILCALL
entry: entry:
switch i32 %i, label %if.end3 [ switch i32 %i, label %if.end3 [
i32 5, label %if.then i32 5, label %if.then
i32 7, label %if.then2 i32 7, label %if.then2
] ]
if.then: if.then:
tail call void @bar() #0 tail call void @bar() #0
br label %if.end3 br label %if.end3
if.then2: if.then2:
tail call void @bar() #0 tail call void @bar() #0
br label %if.end3 br label %if.end3
if.end3: if.end3:
tail call void @bar() #0 tail call void @bar() #0
ret void ret void
} }
define void @foo_tail(i1 %i) nounwind {
; CHECK-LABEL: foo_tail:
; CHECK: # %bb.0: # %entry
; CHECK-NEXT: testb $1, %dil
; CHECK-NEXT: jmp bar # TAILCALL
entry:
br i1 %i, label %if.then, label %if.else
if.then:
tail call void @bar() #0
br label %if.end
if.else:
tail call void @bar() #0
br label %if.end
if.end:
ret void
}
declare dso_local void @bar() declare dso_local void @bar()
attributes #0 = { nomerge } attributes #0 = { nomerge }
; CHECK-LABEL: foo:
; CHECK: # %bb.0: # %entry
; CHECK: # %bb.1: # %entry
; CHECK: # %bb.2: # %if.then
; CHECK-NEXT: callq bar
; CHECK: jmp bar # TAILCALL
; CHECK: .LBB0_3: # %if.then2
; CHECK: callq bar
; CHECK: .LBB0_4: # %if.end3
; CHECK: jmp bar # TAILCALL