04a67528d3
The existing pretty printer generates excessive parentheses for MCBinaryExpr expressions. This update removes unnecessary parentheses of MCBinaryExpr with +/- operators and MCUnaryExpr. Since relocatable expressions only use + and -, this change improves readability in most cases. Examples: - (SymA - SymB) + C now prints as SymA - SymB + C. This updates the output of -fexperimental-relative-c++-abi-vtables for AArch64 and x86 to `.long _ZN1B3fooEv@PLT-_ZTV1B-8` - expr + (MCTargetExpr) now prints as expr + MCTargetExpr, with this change primarily affecting AMDGPUMCExpr.
47 lines
1.0 KiB
LLVM
47 lines
1.0 KiB
LLVM
; RUN: llc -mtriple=thumbv7-linux-gnueabihf -relocation-model=pic %s -o - | FileCheck %s
|
|
|
|
@var = thread_local global i32 0, align 4
|
|
|
|
define void @func(i32 %n) {
|
|
; CHECK-LABEL: func:
|
|
; CHECK: ldr [[REF1:r[0-9]+]], [[CP1:.LCPI[0-9]+_[0-9]+]]
|
|
; CHECK: ldr [[REF2:r[0-9]+]], [[CP2:.LCPI[0-9]+_[0-9]+]]
|
|
|
|
; CHECK: [[PCPOS1:.LPC[0-9]+_[0-9]+]]:
|
|
; CHECK-NEXT: add [[REF1]], pc
|
|
|
|
; CHECK: [[PCPOS2:.LPC[0-9]+_[0-9]+]]:
|
|
; CHECK-NEXT: add [[REF2]], pc
|
|
|
|
; CHECK: [[CP1]]:
|
|
; CHECK-NEXT: [[CP1_TMP:.Ltmp[0-9]+]]:
|
|
; CHECK-NEXT: .long var(TLSGD)-([[PCPOS1]]+4-[[CP1_TMP]])
|
|
|
|
; CHECK: [[CP2]]:
|
|
; CHECK-NEXT: [[CP2_TMP:.Ltmp[0-9]+]]:
|
|
; CHECK-NEXT: .long var(TLSGD)-([[PCPOS2]]+4-[[CP2_TMP]])
|
|
|
|
entry:
|
|
br label %loop
|
|
|
|
loop:
|
|
%i = phi i32 [ %inc, %next ], [ 0, %entry ]
|
|
%val = load i32, ptr @var
|
|
%tst = icmp eq i32 %val, 0
|
|
br i1 %tst, label %next, label %call
|
|
|
|
call:
|
|
tail call void @foo(ptr nonnull @var) #2
|
|
br label %next
|
|
|
|
next:
|
|
%inc = add i32 %i, 1
|
|
%stop = icmp eq i32 %inc, %n
|
|
br i1 %stop, label %done, label %loop
|
|
|
|
done:
|
|
ret void
|
|
}
|
|
|
|
declare void @foo(ptr)
|