51 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc -mtriple=arm64_32-apple-darwin -O0 -fast-isel -verify-machineinstrs \3; RUN: -aarch64-enable-atomic-cfg-tidy=0 -aarch64-enable-collect-loh=0 \4; RUN: < %s | FileCheck %s5 6; FastISel doesn't support cstexprs as operands here, but make7; sure it knows to fallback, at least.8 9define void @atomic_store_cstexpr_addr(i32 %val) #0 {10; CHECK-LABEL: atomic_store_cstexpr_addr:11; CHECK: ; %bb.0:12; CHECK-NEXT: adrp x8, _g@PAGE13; CHECK-NEXT: add x8, x8, _g@PAGEOFF14; CHECK-NEXT: ; kill: def $w1 killed $w8 killed $x815; CHECK-NEXT: adrp x8, _g@PAGE16; CHECK-NEXT: add x8, x8, _g@PAGEOFF17; CHECK-NEXT: stlr w0, [x8]18; CHECK-NEXT: ret19 store atomic i32 %val, ptr inttoptr (i32 ptrtoint (ptr @g to i32) to ptr) release, align 420 ret void21}22 23define i32 @cmpxchg_cstexpr_addr(i32 %cmp, i32 %new, ptr %ps) #0 {24; CHECK-LABEL: cmpxchg_cstexpr_addr:25; CHECK: ; %bb.0:26; CHECK-NEXT: mov w8, w027; CHECK-NEXT: adrp x10, _g@PAGE28; CHECK-NEXT: add x10, x10, _g@PAGEOFF29; CHECK-NEXT: LBB1_1: ; =>This Inner Loop Header: Depth=130; CHECK-NEXT: ldaxr w0, [x10]31; CHECK-NEXT: cmp w0, w832; CHECK-NEXT: b.ne LBB1_333; CHECK-NEXT: ; %bb.2: ; in Loop: Header=BB1_1 Depth=134; CHECK-NEXT: stlxr w9, w1, [x10]35; CHECK-NEXT: cbnz w9, LBB1_136; CHECK-NEXT: LBB1_3:37; CHECK-NEXT: subs w8, w0, w838; CHECK-NEXT: cset w8, eq39; CHECK-NEXT: ; kill: def $w1 killed $w840; CHECK-NEXT: str w8, [x2]41; CHECK-NEXT: ret42 %tmp0 = cmpxchg ptr inttoptr (i32 ptrtoint (ptr @g to i32) to ptr), i32 %cmp, i32 %new seq_cst seq_cst43 %tmp1 = extractvalue { i32, i1 } %tmp0, 044 %tmp2 = extractvalue { i32, i1 } %tmp0, 145 %tmp3 = zext i1 %tmp2 to i3246 store i32 %tmp3, ptr %ps47 ret i32 %tmp148}49 50@g = global i32 051