llvm/test/CodeGen/PowerPC/branch-on-store-cond.ll

; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
; RUN: llc -verify-machineinstrs -mtriple=powerpc64le-unknown-linux-gnu \
; RUN:   -mcpu=pwr8 < %s | FileCheck %s --check-prefix=CHECK
; RUN: llc -verify-machineinstrs -mtriple=powerpc64-unknown-aix \
; RUN:   -mcpu=pwr8 < %s | FileCheck %s --check-prefix=CHECK-AIX

define dso_local zeroext i8 @test1(ptr noundef %addr, i8 noundef zeroext %newval) local_unnamed_addr #0 {
; CHECK-LABEL: test1:
; CHECK:       # %bb.0: # %entry
; CHECK-NEXT:    stbcx. 4, 0, 3
; CHECK-NEXT:    bne 0, .LBB0_2
; CHECK-NEXT:  # %bb.1: # %if.then
; CHECK-NEXT:    mflr 0
; CHECK-NEXT:    stdu 1, -32(1)
; CHECK-NEXT:    std 0, 48(1)
; CHECK-NEXT:    .cfi_def_cfa_offset 32
; CHECK-NEXT:    .cfi_offset lr, 16
; CHECK-NEXT:    bl dummy
; CHECK-NEXT:    nop
; CHECK-NEXT:    addi 1, 1, 32
; CHECK-NEXT:    ld 0, 16(1)
; CHECK-NEXT:    mtlr 0
; CHECK-NEXT:  .LBB0_2: # %if.end
; CHECK-NEXT:    li 3, 55
; CHECK-NEXT:    blr
;
; CHECK-AIX-LABEL: test1:
; CHECK-AIX:       # %bb.0: # %entry
; CHECK-AIX-NEXT:    stbcx. 4, 0, 3
; CHECK-AIX-NEXT:    bne 0, L..BB0_2
; CHECK-AIX-NEXT:  # %bb.1: # %if.then
; CHECK-AIX-NEXT:    mflr 0
; CHECK-AIX-NEXT:    stdu 1, -112(1)
; CHECK-AIX-NEXT:    std 0, 128(1)
; CHECK-AIX-NEXT:    bl .dummy[PR]
; CHECK-AIX-NEXT:    nop
; CHECK-AIX-NEXT:    addi 1, 1, 112
; CHECK-AIX-NEXT:    ld 0, 16(1)
; CHECK-AIX-NEXT:    mtlr 0
; CHECK-AIX-NEXT:  L..BB0_2: # %if.end
; CHECK-AIX-NEXT:    li 3, 55
; CHECK-AIX-NEXT:    blr
entry:
  %conv = zext i8 %newval to i32
  %0 = tail call i32 @llvm.ppc.stbcx(ptr %addr, i32 %conv)
  %tobool.not = icmp eq i32 %0, 0
  br i1 %tobool.not, label %if.end, label %if.then

if.then:                                          ; preds = %entry
  tail call void @dummy() #3
  br label %if.end

if.end:                                           ; preds = %if.then, %entry
  ret i8 55
}

define dso_local signext i16 @test2(ptr noundef %addr, i16 noundef signext %newval) local_unnamed_addr #0 {
; CHECK-LABEL: test2:
; CHECK:       # %bb.0: # %entry
; CHECK-NEXT:    sthcx. 4, 0, 3
; CHECK-NEXT:    bne 0, .LBB1_2
; CHECK-NEXT:  # %bb.1: # %if.then
; CHECK-NEXT:    mflr 0
; CHECK-NEXT:    stdu 1, -32(1)
; CHECK-NEXT:    std 0, 48(1)
; CHECK-NEXT:    .cfi_def_cfa_offset 32
; CHECK-NEXT:    .cfi_offset lr, 16
; CHECK-NEXT:    bl dummy
; CHECK-NEXT:    nop
; CHECK-NEXT:    addi 1, 1, 32
; CHECK-NEXT:    ld 0, 16(1)
; CHECK-NEXT:    mtlr 0
; CHECK-NEXT:  .LBB1_2: # %if.end
; CHECK-NEXT:    li 3, 55
; CHECK-NEXT:    blr
;
; CHECK-AIX-LABEL: test2:
; CHECK-AIX:       # %bb.0: # %entry
; CHECK-AIX-NEXT:    sthcx. 4, 0, 3
; CHECK-AIX-NEXT:    bne 0, L..BB1_2
; CHECK-AIX-NEXT:  # %bb.1: # %if.then
; CHECK-AIX-NEXT:    mflr 0
; CHECK-AIX-NEXT:    stdu 1, -112(1)
; CHECK-AIX-NEXT:    std 0, 128(1)
; CHECK-AIX-NEXT:    bl .dummy[PR]
; CHECK-AIX-NEXT:    nop
; CHECK-AIX-NEXT:    addi 1, 1, 112
; CHECK-AIX-NEXT:    ld 0, 16(1)
; CHECK-AIX-NEXT:    mtlr 0
; CHECK-AIX-NEXT:  L..BB1_2: # %if.end
; CHECK-AIX-NEXT:    li 3, 55
; CHECK-AIX-NEXT:    blr
entry:
  %0 = sext i16 %newval to i32
  %1 = tail call i32 @llvm.ppc.sthcx(ptr %addr, i32 %0)
  %tobool.not = icmp eq i32 %1, 0
  br i1 %tobool.not, label %if.end, label %if.then

if.then:                                          ; preds = %entry
  tail call void @dummy() #3
  br label %if.end

if.end:                                           ; preds = %if.then, %entry
  ret i16 55
}

define dso_local signext i32 @test3(ptr noundef %addr, i32 noundef signext %newval) local_unnamed_addr #0 {
; CHECK-LABEL: test3:
; CHECK:       # %bb.0: # %entry
; CHECK-NEXT:    stwcx. 4, 0, 3
; CHECK-NEXT:    bne 0, .LBB2_2
; CHECK-NEXT:  # %bb.1: # %if.then
; CHECK-NEXT:    mflr 0
; CHECK-NEXT:    stdu 1, -32(1)
; CHECK-NEXT:    std 0, 48(1)
; CHECK-NEXT:    .cfi_def_cfa_offset 32
; CHECK-NEXT:    .cfi_offset lr, 16
; CHECK-NEXT:    bl dummy
; CHECK-NEXT:    nop
; CHECK-NEXT:    addi 1, 1, 32
; CHECK-NEXT:    ld 0, 16(1)
; CHECK-NEXT:    mtlr 0
; CHECK-NEXT:  .LBB2_2: # %if.end
; CHECK-NEXT:    li 3, 55
; CHECK-NEXT:    blr
;
; CHECK-AIX-LABEL: test3:
; CHECK-AIX:       # %bb.0: # %entry
; CHECK-AIX-NEXT:    stwcx. 4, 0, 3
; CHECK-AIX-NEXT:    bne 0, L..BB2_2
; CHECK-AIX-NEXT:  # %bb.1: # %if.then
; CHECK-AIX-NEXT:    mflr 0
; CHECK-AIX-NEXT:    stdu 1, -112(1)
; CHECK-AIX-NEXT:    std 0, 128(1)
; CHECK-AIX-NEXT:    bl .dummy[PR]
; CHECK-AIX-NEXT:    nop
; CHECK-AIX-NEXT:    addi 1, 1, 112
; CHECK-AIX-NEXT:    ld 0, 16(1)
; CHECK-AIX-NEXT:    mtlr 0
; CHECK-AIX-NEXT:  L..BB2_2: # %if.end
; CHECK-AIX-NEXT:    li 3, 55
; CHECK-AIX-NEXT:    blr
entry:
  %0 = tail call i32 @llvm.ppc.stwcx(ptr %addr, i32 %newval)
  %tobool.not = icmp eq i32 %0, 0
  br i1 %tobool.not, label %if.end, label %if.then

if.then:                                          ; preds = %entry
  tail call void @dummy() #3
  br label %if.end

if.end:                                           ; preds = %if.then, %entry
  ret i32 55
}

define dso_local i64 @test4(ptr noundef %addr, i64 noundef %newval) local_unnamed_addr #0 {
; CHECK-LABEL: test4:
; CHECK:       # %bb.0: # %entry
; CHECK-NEXT:    stdcx. 4, 0, 3
; CHECK-NEXT:    bne 0, .LBB3_2
; CHECK-NEXT:  # %bb.1: # %if.then
; CHECK-NEXT:    mflr 0
; CHECK-NEXT:    stdu 1, -32(1)
; CHECK-NEXT:    std 0, 48(1)
; CHECK-NEXT:    .cfi_def_cfa_offset 32
; CHECK-NEXT:    .cfi_offset lr, 16
; CHECK-NEXT:    bl dummy
; CHECK-NEXT:    nop
; CHECK-NEXT:    addi 1, 1, 32
; CHECK-NEXT:    ld 0, 16(1)
; CHECK-NEXT:    mtlr 0
; CHECK-NEXT:  .LBB3_2: # %if.end
; CHECK-NEXT:    li 3, 55
; CHECK-NEXT:    blr
;
; CHECK-AIX-LABEL: test4:
; CHECK-AIX:       # %bb.0: # %entry
; CHECK-AIX-NEXT:    stdcx. 4, 0, 3
; CHECK-AIX-NEXT:    bne 0, L..BB3_2
; CHECK-AIX-NEXT:  # %bb.1: # %if.then
; CHECK-AIX-NEXT:    mflr 0
; CHECK-AIX-NEXT:    stdu 1, -112(1)
; CHECK-AIX-NEXT:    std 0, 128(1)
; CHECK-AIX-NEXT:    bl .dummy[PR]
; CHECK-AIX-NEXT:    nop
; CHECK-AIX-NEXT:    addi 1, 1, 112
; CHECK-AIX-NEXT:    ld 0, 16(1)
; CHECK-AIX-NEXT:    mtlr 0
; CHECK-AIX-NEXT:  L..BB3_2: # %if.end
; CHECK-AIX-NEXT:    li 3, 55
; CHECK-AIX-NEXT:    blr
entry:
  %0 = tail call i32 @llvm.ppc.stdcx(ptr %addr, i64 %newval)
  %tobool.not = icmp eq i32 %0, 0
  br i1 %tobool.not, label %if.end, label %if.then

if.then:                                          ; preds = %entry
  tail call void @dummy() #3
  br label %if.end

if.end:                                           ; preds = %if.then, %entry
  ret i64 55
}

declare i32 @llvm.ppc.stbcx(ptr, i32) #1
declare i32 @llvm.ppc.sthcx(ptr, i32) #1
declare i32 @llvm.ppc.stwcx(ptr, i32) #1
declare i32 @llvm.ppc.stdcx(ptr, i64) #1
declare void @dummy(...) local_unnamed_addr #2