xref: /llvm-project/llvm/test/CodeGen/AArch64/machine_cse_illegal_hoist.ll (revision ebbfdca586d5543c13617b15d0cdf5b7fdc4fd4a)
1; RUN: llc -O3 < %s | FileCheck %s
2;
3;  Check ADRP instr is not hoisted to entry basic block
4;  which may throw exception.
5;
6; CHECK: adrp
7; CHECK: adrp
8; CHECK: adrp
9
10target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128"
11target triple = "aarch64"
12
13@var = hidden local_unnamed_addr global i32 0, align 4
14@_ZTIi = external dso_local constant ptr
15declare dso_local void @_Z2fnv() local_unnamed_addr #1
16declare dso_local i32 @__gxx_personality_v0(...)
17declare i32 @llvm.eh.typeid.for(ptr) #2
18declare dso_local ptr @__cxa_begin_catch(ptr) local_unnamed_addr
19declare dso_local void @__cxa_end_catch() local_unnamed_addr
20
21define hidden i32 @_Z7examplev() personality ptr @__gxx_personality_v0 {
22entry:
23  invoke void @_Z2fnv() to label %try.cont unwind label %lpad
24
25lpad:                                             ; preds = %entry
26  %0 = landingpad { ptr, i32 }
27          catch ptr @_ZTIi
28          catch ptr null
29  %1 = extractvalue { ptr, i32 } %0, 0
30  %2 = extractvalue { ptr, i32 } %0, 1
31  %3 = tail call i32 @llvm.eh.typeid.for(ptr @_ZTIi)
32  %matches = icmp eq i32 %2, %3
33  %4 = tail call ptr @__cxa_begin_catch(ptr %1)
34  %5 = load i32, ptr @var, align 4
35  br i1 %matches, label %catch1, label %catch
36
37catch1:                                           ; preds = %lpad
38  %or3 = or i32 %5, 4
39  store i32 %or3, ptr @var, align 4
40  tail call void @__cxa_end_catch()
41  br label %try.cont
42
43try.cont:                                         ; preds = %entry, %catch1, %catch
44  %6 = load i32, ptr @var, align 4
45  ret i32 %6
46
47catch:                                            ; preds = %lpad
48  %or = or i32 %5, 8
49  store i32 %or, ptr @var, align 4
50  tail call void @__cxa_end_catch()
51  br label %try.cont
52}
53