7a91bbbb00
This matches what is done on calls, since cc981d285d1aa33df201605b9a3e22dd2311ead2 (extended for another case in 5a751e747dbf2c267e944aa961e21de7a815e7eb). Apply both those cases on invoke just like is done for call. Also update the preexisting comment which was left without update in 5a751e747dbf2c267e944aa961e21de7a815e7eb. This fixes github issue #61941.
104 lines
2.8 KiB
LLVM
104 lines
2.8 KiB
LLVM
; RUN: llc -mtriple aarch64-unknown-windows-msvc -filetype asm -o - %s | FileCheck %s -check-prefixes=CHECK,DAG-ISEL
|
|
; RUN: llc -mtriple aarch64-unknown-windows-msvc -fast-isel -filetype asm -o - %s | FileCheck %s -check-prefixes=CHECK,FAST-ISEL
|
|
; RUN: llc -mtriple aarch64-unknown-windows-msvc -verify-machineinstrs -O0 -filetype asm -o - %s | FileCheck %s -check-prefixes=CHECK,GLOBAL-ISEL,GLOBAL-ISEL-FALLBACK
|
|
|
|
@var = external dllimport global i32
|
|
@ext = external global i32
|
|
declare dllimport i32 @external()
|
|
declare i32 @internal()
|
|
|
|
define i32 @get_var() {
|
|
%1 = load i32, ptr @var, align 4
|
|
ret i32 %1
|
|
}
|
|
|
|
; CHECK-LABEL: get_var
|
|
; CHECK: adrp x8, __imp_var
|
|
; CHECK: ldr x8, [x8, :lo12:__imp_var]
|
|
; CHECK: ldr w0, [x8]
|
|
; CHECK: ret
|
|
|
|
define i32 @get_ext() {
|
|
%1 = load i32, ptr @ext, align 4
|
|
ret i32 %1
|
|
}
|
|
|
|
; CHECK-LABEL: get_ext
|
|
; CHECK: adrp x8, ext
|
|
; DAG-ISEL: ldr w0, [x8, :lo12:ext]
|
|
; FAST-ISEL: add x8, x8, :lo12:ext
|
|
; FAST-ISEL: ldr w0, [x8]
|
|
; GLOBAL-ISEL-FALLBACK: ldr w0, [x8, :lo12:ext]
|
|
; CHECK: ret
|
|
|
|
define ptr @get_var_pointer() {
|
|
ret ptr @var
|
|
}
|
|
|
|
; CHECK-LABEL: get_var_pointer
|
|
; CHECK: adrp [[REG1:x[0-9]+]], __imp_var
|
|
; CHECK: ldr {{x[0-9]+}}, [[[REG1]], :lo12:__imp_var]
|
|
; CHECK: ret
|
|
|
|
define i32 @call_external() {
|
|
%call = tail call i32 @external()
|
|
ret i32 %call
|
|
}
|
|
|
|
; CHECK-LABEL: call_external
|
|
; CHECK: adrp x0, __imp_external
|
|
; CHECK: ldr x0, [x0, :lo12:__imp_external]
|
|
; CHECK: br x0
|
|
|
|
define i32 @call_internal() {
|
|
%call = tail call i32 @internal()
|
|
ret i32 %call
|
|
}
|
|
|
|
; CHECK-LABEL: call_internal
|
|
; DAG-ISEL: b internal
|
|
; FAST-ISEL: b internal
|
|
; GLOBAL-ISEL: b internal
|
|
|
|
define void @call_try_catch() personality ptr @__gxx_personality_seh0 {
|
|
entry:
|
|
invoke void @myFunc()
|
|
to label %try.cont unwind label %lpad
|
|
|
|
lpad: ; preds = %entry
|
|
%0 = landingpad { ptr, i32 }
|
|
catch ptr @_ZTIi
|
|
%1 = extractvalue { ptr, i32 } %0, 1
|
|
%2 = tail call i32 @llvm.eh.typeid.for(ptr nonnull @_ZTIi) #1
|
|
%matches = icmp eq i32 %1, %2
|
|
br i1 %matches, label %catch, label %eh.resume
|
|
|
|
catch: ; preds = %lpad
|
|
%3 = extractvalue { ptr, i32 } %0, 0
|
|
%4 = tail call ptr @__cxa_begin_catch(ptr %3) #1
|
|
tail call void @__cxa_end_catch() #1
|
|
br label %try.cont
|
|
|
|
try.cont: ; preds = %entry, %catch
|
|
ret void
|
|
|
|
eh.resume: ; preds = %lpad
|
|
resume { ptr, i32 } %0
|
|
}
|
|
|
|
; CHECK-LABEL: call_try_catch
|
|
; CHECK: adrp x8, __imp_myFunc
|
|
; CHECK: ldr x8, [x8, :lo12:__imp_myFunc]
|
|
; CHECK: blr x8
|
|
|
|
declare dllimport void @myFunc()
|
|
|
|
@_ZTIi = external constant ptr
|
|
declare dso_local i32 @__gxx_personality_seh0(...)
|
|
declare i32 @llvm.eh.typeid.for(ptr) #0
|
|
declare dso_local ptr @__cxa_begin_catch(ptr)
|
|
declare dso_local void @__cxa_end_catch()
|
|
|
|
attributes #0 = { nounwind memory(none) }
|
|
attributes #1 = { nounwind }
|