; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
; RUN: llc -verify-machineinstrs -mcpu=ppc -mtriple=powerpc64-unknown-unknown \
; RUN:   < %s | FileCheck --check-prefix=CHECK-64 %s
; RUN: llc -verify-machineinstrs -mcpu=ppc -mtriple=powerpc-unknown-unknown \
; RUN:   < %s | FileCheck --check-prefix=CHECK-32 %s

define float @test_add(ptr %ptr, float %incr) {
; CHECK-64-LABEL: test_add:
; CHECK-64:       # %bb.0: # %entry
; CHECK-64-NEXT:    sync
; CHECK-64-NEXT:    lwz 4, 0(3)
; CHECK-64-NEXT:    stw 4, -4(1)
; CHECK-64-NEXT:    lfs 0, -4(1)
; CHECK-64-NEXT:  .LBB0_1: # %atomicrmw.start
; CHECK-64-NEXT:    # =>This Loop Header: Depth=1
; CHECK-64-NEXT:    # Child Loop BB0_2 Depth 2
; CHECK-64-NEXT:    fadds 2, 0, 1
; CHECK-64-NEXT:    stfs 2, -8(1)
; CHECK-64-NEXT:    stfs 0, -12(1)
; CHECK-64-NEXT:    lwz 5, -8(1)
; CHECK-64-NEXT:    lwz 6, -12(1)
; CHECK-64-NEXT:  .LBB0_2: # %cmpxchg.start
; CHECK-64-NEXT:    # Parent Loop BB0_1 Depth=1
; CHECK-64-NEXT:    # => This Inner Loop Header: Depth=2
; CHECK-64-NEXT:    lwarx 4, 0, 3
; CHECK-64-NEXT:    cmplw 4, 6
; CHECK-64-NEXT:    bne- 0, .LBB0_5
; CHECK-64-NEXT:  # %bb.3: # %cmpxchg.fencedstore
; CHECK-64-NEXT:    #
; CHECK-64-NEXT:    stwcx. 5, 0, 3
; CHECK-64-NEXT:    creqv 20, 20, 20
; CHECK-64-NEXT:    bne- 0, .LBB0_2
; CHECK-64-NEXT:  .LBB0_4: # %cmpxchg.end
; CHECK-64-NEXT:    #
; CHECK-64-NEXT:    stw 4, -16(1)
; CHECK-64-NEXT:    lfs 0, -16(1)
; CHECK-64-NEXT:    bc 4, 20, .LBB0_1
; CHECK-64-NEXT:    b .LBB0_6
; CHECK-64-NEXT:  .LBB0_5: # %cmpxchg.nostore
; CHECK-64-NEXT:    #
; CHECK-64-NEXT:    crxor 20, 20, 20
; CHECK-64-NEXT:    b .LBB0_4
; CHECK-64-NEXT:  .LBB0_6: # %atomicrmw.end
; CHECK-64-NEXT:    fmr 1, 0
; CHECK-64-NEXT:    lwsync
; CHECK-64-NEXT:    blr
;
; CHECK-32-LABEL: test_add:
; CHECK-32:       # %bb.0: # %entry
; CHECK-32-NEXT:    stwu 1, -32(1)
; CHECK-32-NEXT:    .cfi_def_cfa_offset 32
; CHECK-32-NEXT:    sync
; CHECK-32-NEXT:    lwz 4, 0(3)
; CHECK-32-NEXT:    stw 4, 28(1)
; CHECK-32-NEXT:    lfs 0, 28(1)
; CHECK-32-NEXT:  .LBB0_1: # %atomicrmw.start
; CHECK-32-NEXT:    # =>This Loop Header: Depth=1
; CHECK-32-NEXT:    # Child Loop BB0_2 Depth 2
; CHECK-32-NEXT:    fadds 2, 0, 1
; CHECK-32-NEXT:    stfs 2, 24(1)
; CHECK-32-NEXT:    stfs 0, 20(1)
; CHECK-32-NEXT:    lwz 5, 24(1)
; CHECK-32-NEXT:    lwz 6, 20(1)
; CHECK-32-NEXT:  .LBB0_2: # %cmpxchg.start
; CHECK-32-NEXT:    # Parent Loop BB0_1 Depth=1
; CHECK-32-NEXT:    # => This Inner Loop Header: Depth=2
; CHECK-32-NEXT:    lwarx 4, 0, 3
; CHECK-32-NEXT:    cmplw 4, 6
; CHECK-32-NEXT:    bne- 0, .LBB0_5
; CHECK-32-NEXT:  # %bb.3: # %cmpxchg.fencedstore
; CHECK-32-NEXT:    #
; CHECK-32-NEXT:    stwcx. 5, 0, 3
; CHECK-32-NEXT:    creqv 20, 20, 20
; CHECK-32-NEXT:    bne- 0, .LBB0_2
; CHECK-32-NEXT:  .LBB0_4: # %cmpxchg.end
; CHECK-32-NEXT:    #
; CHECK-32-NEXT:    stw 4, 16(1)
; CHECK-32-NEXT:    lfs 0, 16(1)
; CHECK-32-NEXT:    bc 4, 20, .LBB0_1
; CHECK-32-NEXT:    b .LBB0_6
; CHECK-32-NEXT:  .LBB0_5: # %cmpxchg.nostore
; CHECK-32-NEXT:    #
; CHECK-32-NEXT:    crxor 20, 20, 20
; CHECK-32-NEXT:    b .LBB0_4
; CHECK-32-NEXT:  .LBB0_6: # %atomicrmw.end
; CHECK-32-NEXT:    fmr 1, 0
; CHECK-32-NEXT:    lwsync
; CHECK-32-NEXT:    addi 1, 1, 32
; CHECK-32-NEXT:    blr
entry:
  %r = atomicrmw fadd ptr %ptr, float %incr seq_cst
  ret float %r
}