1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 2 2; RUN: llc < %s -mtriple=riscv64 -mattr=+a | FileCheck %s 3 4define ptr @cmpxchg_masked_and_branch1(ptr %ptr, i8 signext %cmp, i8 signext %val) nounwind { 5; CHECK-LABEL: cmpxchg_masked_and_branch1: 6; CHECK: # %bb.0: # %do_cmpxchg 7; CHECK-NEXT: andi a3, a0, -4 8; CHECK-NEXT: slli a4, a0, 3 9; CHECK-NEXT: li a5, 255 10; CHECK-NEXT: andi a1, a1, 255 11; CHECK-NEXT: andi a2, a2, 255 12; CHECK-NEXT: sllw a5, a5, a4 13; CHECK-NEXT: sllw a1, a1, a4 14; CHECK-NEXT: sllw a2, a2, a4 15; CHECK-NEXT: .LBB0_3: # %do_cmpxchg 16; CHECK-NEXT: # =>This Inner Loop Header: Depth=1 17; CHECK-NEXT: lr.w.aqrl a4, (a3) 18; CHECK-NEXT: and a6, a4, a5 19; CHECK-NEXT: bne a6, a1, .LBB0_5 20; CHECK-NEXT: # %bb.4: # %do_cmpxchg 21; CHECK-NEXT: # in Loop: Header=BB0_3 Depth=1 22; CHECK-NEXT: xor a6, a4, a2 23; CHECK-NEXT: and a6, a6, a5 24; CHECK-NEXT: xor a6, a4, a6 25; CHECK-NEXT: sc.w.rl a6, a6, (a3) 26; CHECK-NEXT: bnez a6, .LBB0_3 27; CHECK-NEXT: .LBB0_5: # %do_cmpxchg 28; CHECK-NEXT: and a2, a4, a5 29; CHECK-NEXT: bne a1, a2, .LBB0_2 30; CHECK-NEXT: # %bb.1: # %returnptr 31; CHECK-NEXT: xor a1, a1, a2 32; CHECK-NEXT: snez a1, a1 33; CHECK-NEXT: addi a1, a1, -1 34; CHECK-NEXT: and a0, a1, a0 35; CHECK-NEXT: ret 36; CHECK-NEXT: .LBB0_2: # %exit 37; CHECK-NEXT: li a0, 0 38; CHECK-NEXT: ret 39do_cmpxchg: 40 %0 = cmpxchg ptr %ptr, i8 %cmp, i8 %val seq_cst seq_cst 41 %1 = extractvalue { i8, i1 } %0, 1 42 %2 = select i1 %1, ptr %ptr, ptr null 43 br i1 %1, label %returnptr, label %exit 44returnptr: 45 ret ptr %2 46exit: 47 ret ptr null 48} 49