1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
2; RUN: llc -verify-machineinstrs -mtriple=powerpc64-unknown-unknown \
3; RUN:   < %s | FileCheck --check-prefix=CHECK-64 %s
4; RUN: llc -verify-machineinstrs -mtriple=powerpc-unknown-unknown \
5; RUN:   < %s | FileCheck --check-prefix=CHECK-32 %s
6
7define float @test_add(float* %ptr, float %incr) {
8; CHECK-64-LABEL: test_add:
9; CHECK-64:       # %bb.0: # %entry
10; CHECK-64-NEXT:    sync
11; CHECK-64-NEXT:    lfs 0, 0(3)
12; CHECK-64-NEXT:    b .LBB0_3
13; CHECK-64-NEXT:  .LBB0_1: # %atomicrmw.start
14; CHECK-64-NEXT:    #
15; CHECK-64-NEXT:    stwcx. 5, 0, 3
16; CHECK-64-NEXT:  .LBB0_2: # %atomicrmw.start
17; CHECK-64-NEXT:    #
18; CHECK-64-NEXT:    stw 5, -4(1)
19; CHECK-64-NEXT:    cmplw 5, 4
20; CHECK-64-NEXT:    lfs 0, -4(1)
21; CHECK-64-NEXT:    beq 0, .LBB0_6
22; CHECK-64-NEXT:  .LBB0_3: # %atomicrmw.start
23; CHECK-64-NEXT:    # =>This Loop Header: Depth=1
24; CHECK-64-NEXT:    # Child Loop BB0_4 Depth 2
25; CHECK-64-NEXT:    fadds 2, 0, 1
26; CHECK-64-NEXT:    stfs 2, -8(1)
27; CHECK-64-NEXT:    stfs 0, -12(1)
28; CHECK-64-NEXT:    lwz 6, -8(1)
29; CHECK-64-NEXT:    lwz 4, -12(1)
30; CHECK-64-NEXT:  .LBB0_4: # %atomicrmw.start
31; CHECK-64-NEXT:    # Parent Loop BB0_3 Depth=1
32; CHECK-64-NEXT:    # => This Inner Loop Header: Depth=2
33; CHECK-64-NEXT:    lwarx 5, 0, 3
34; CHECK-64-NEXT:    cmpw 4, 5
35; CHECK-64-NEXT:    bne 0, .LBB0_1
36; CHECK-64-NEXT:  # %bb.5: # %atomicrmw.start
37; CHECK-64-NEXT:    #
38; CHECK-64-NEXT:    stwcx. 6, 0, 3
39; CHECK-64-NEXT:    bne 0, .LBB0_4
40; CHECK-64-NEXT:    b .LBB0_2
41; CHECK-64-NEXT:  .LBB0_6: # %atomicrmw.end
42; CHECK-64-NEXT:    fmr 1, 0
43; CHECK-64-NEXT:    lwsync
44; CHECK-64-NEXT:    blr
45;
46; CHECK-32-LABEL: test_add:
47; CHECK-32:       # %bb.0: # %entry
48; CHECK-32-NEXT:    stwu 1, -32(1)
49; CHECK-32-NEXT:    .cfi_def_cfa_offset 32
50; CHECK-32-NEXT:    sync
51; CHECK-32-NEXT:    lfs 0, 0(3)
52; CHECK-32-NEXT:    b .LBB0_3
53; CHECK-32-NEXT:  .LBB0_1: # %atomicrmw.start
54; CHECK-32-NEXT:    #
55; CHECK-32-NEXT:    stwcx. 5, 0, 3
56; CHECK-32-NEXT:  .LBB0_2: # %atomicrmw.start
57; CHECK-32-NEXT:    #
58; CHECK-32-NEXT:    stw 5, 28(1)
59; CHECK-32-NEXT:    cmplw 5, 4
60; CHECK-32-NEXT:    lfs 0, 28(1)
61; CHECK-32-NEXT:    beq 0, .LBB0_6
62; CHECK-32-NEXT:  .LBB0_3: # %atomicrmw.start
63; CHECK-32-NEXT:    # =>This Loop Header: Depth=1
64; CHECK-32-NEXT:    # Child Loop BB0_4 Depth 2
65; CHECK-32-NEXT:    fadds 2, 0, 1
66; CHECK-32-NEXT:    stfs 2, 24(1)
67; CHECK-32-NEXT:    stfs 0, 20(1)
68; CHECK-32-NEXT:    lwz 6, 24(1)
69; CHECK-32-NEXT:    lwz 4, 20(1)
70; CHECK-32-NEXT:  .LBB0_4: # %atomicrmw.start
71; CHECK-32-NEXT:    # Parent Loop BB0_3 Depth=1
72; CHECK-32-NEXT:    # => This Inner Loop Header: Depth=2
73; CHECK-32-NEXT:    lwarx 5, 0, 3
74; CHECK-32-NEXT:    cmpw 4, 5
75; CHECK-32-NEXT:    bne 0, .LBB0_1
76; CHECK-32-NEXT:  # %bb.5: # %atomicrmw.start
77; CHECK-32-NEXT:    #
78; CHECK-32-NEXT:    stwcx. 6, 0, 3
79; CHECK-32-NEXT:    bne 0, .LBB0_4
80; CHECK-32-NEXT:    b .LBB0_2
81; CHECK-32-NEXT:  .LBB0_6: # %atomicrmw.end
82; CHECK-32-NEXT:    fmr 1, 0
83; CHECK-32-NEXT:    lwsync
84; CHECK-32-NEXT:    addi 1, 1, 32
85; CHECK-32-NEXT:    blr
86entry:
87  %r = atomicrmw fadd float* %ptr, float %incr seq_cst
88  ret float %r
89}
90