mirror of
https://github.com/Gericom/teak-llvm.git
synced 2025-06-19 19:45:40 -04:00
93d87260f1
Summary: The list of indirect labels should ALWAYS have their blockaddresses as argument operands to the callbr (but not necessarily the other way around). Add an invariant that checks this. The verifier catches a bad test case that was added recently in r368478. I think that was a simple mistake, and the test was made less strict in regards to the precise addresses (as those weren't specifically the point of the test). This invariant will be used to find a reported bug. Link: https://www.spinics.net/lists/arm-kernel/msg753473.html Link: https://github.com/ClangBuiltLinux/linux/issues/649 Reviewers: craig.topper, void, chandlerc Reviewed By: void Subscribers: ychen, lebedev.ri, javed.absar, kristof.beyls, hiraditya, llvm-commits, srhines Tags: #llvm Differential Revision: https://reviews.llvm.org/D67196 llvm-svn: 372923
103 lines
3.2 KiB
LLVM
103 lines
3.2 KiB
LLVM
; RUN: llc < %s -mtriple=aarch64-unknown-linux-gnu -filetype=obj -o - \
|
|
; RUN: | llvm-objdump -triple aarch64-unknown-linux-gnu -d - \
|
|
; RUN: | FileCheck %s
|
|
|
|
%struct.c = type { i1 (...)* }
|
|
|
|
@l = common hidden local_unnamed_addr global i32 0, align 4
|
|
|
|
; CHECK-LABEL: test1:
|
|
; CHECK-LABEL: $d.1:
|
|
; CHECK-LABEL: $x.2:
|
|
; CHECK-NEXT: b #16 <$x.4+0x4>
|
|
; CHECK-LABEL: $x.4:
|
|
; CHECK-NEXT: b #4 <$x.4+0x4>
|
|
; CHECK-NEXT: mov w0, wzr
|
|
; CHECK-NEXT: ldr x30, [sp], #16
|
|
; CHECK-NEXT: ret
|
|
define hidden i32 @test1() {
|
|
%1 = tail call i32 bitcast (i32 (...)* @g to i32 ()*)()
|
|
%2 = icmp eq i32 %1, 0
|
|
br i1 %2, label %3, label %5
|
|
|
|
3: ; preds = %0
|
|
callbr void asm sideeffect "1: nop\0A\09.quad a\0A\09b ${1:l}\0A\09.quad ${0:c}", "i,X"(i32* null, i8* blockaddress(@test1, %7))
|
|
to label %4 [label %7]
|
|
|
|
4: ; preds = %3
|
|
br label %7
|
|
|
|
5: ; preds = %0
|
|
%6 = tail call i32 bitcast (i32 (...)* @i to i32 ()*)()
|
|
br label %7
|
|
|
|
7: ; preds = %3, %4, %5
|
|
%8 = phi i32 [ %6, %5 ], [ 0, %4 ], [ 0, %3 ]
|
|
ret i32 %8
|
|
}
|
|
|
|
declare dso_local i32 @g(...) local_unnamed_addr
|
|
|
|
declare dso_local i32 @i(...) local_unnamed_addr
|
|
|
|
; CHECK-LABEL: test2:
|
|
; CHECK: bl #0 <test2+0x10>
|
|
; CHECK-LABEL: $d.5:
|
|
; CHECK-LABEL: $x.6:
|
|
; CHECK-NEXT: b #16 <$x.8+0x4>
|
|
define hidden i32 @test2() local_unnamed_addr {
|
|
%1 = load i32, i32* @l, align 4
|
|
%2 = icmp eq i32 %1, 0
|
|
br i1 %2, label %10, label %3
|
|
|
|
3: ; preds = %0
|
|
%4 = tail call i32 bitcast (i32 (...)* @g to i32 ()*)()
|
|
%5 = icmp eq i32 %4, 0
|
|
br i1 %5, label %6, label %7
|
|
|
|
6: ; preds = %3
|
|
callbr void asm sideeffect "1: nop\0A\09.quad b\0A\09b ${1:l}\0A\09.quad ${0:c}", "i,X"(i32* null, i8* blockaddress(@test2, %7))
|
|
to label %10 [label %7]
|
|
|
|
7: ; preds = %3
|
|
%8 = tail call i32 bitcast (i32 (...)* @i to i32 ()*)()
|
|
br label %10
|
|
|
|
9: ; preds = %6
|
|
br label %10
|
|
|
|
10: ; preds = %7, %0, %6, %9
|
|
ret i32 undef
|
|
}
|
|
|
|
; CHECK-LABEL: test3:
|
|
; CHECK-LABEL: $d.9:
|
|
; CHECK-LABEL: $x.10:
|
|
; CHECK-NEXT: b #20 <$x.12+0x8>
|
|
; CHECK-LABEL: $x.12:
|
|
; CHECK-NEXT: b #4 <$x.12+0x4>
|
|
; CHECK-NEXT: mov w0, wzr
|
|
; CHECK-NEXT: ldr x30, [sp], #16
|
|
; CHECK-NEXT: ret
|
|
define internal i1 @test3() {
|
|
%1 = tail call i32 bitcast (i32 (...)* @g to i32 ()*)()
|
|
%2 = icmp eq i32 %1, 0
|
|
br i1 %2, label %3, label %5
|
|
|
|
3: ; preds = %0
|
|
callbr void asm sideeffect "1: nop\0A\09.quad c\0A\09b ${1:l}\0A\09.quad ${0:c}", "i,X"(i32* null, i8* blockaddress(@test3, %8))
|
|
to label %4 [label %8]
|
|
|
|
4: ; preds = %3
|
|
br label %8
|
|
|
|
5: ; preds = %0
|
|
%6 = tail call i32 bitcast (i32 (...)* @i to i32 ()*)()
|
|
%7 = icmp ne i32 %6, 0
|
|
br label %8
|
|
|
|
8: ; preds = %3, %4, %5
|
|
%9 = phi i1 [ %7, %5 ], [ false, %4 ], [ false, %3 ]
|
|
ret i1 %9
|
|
}
|