1*9880d681SAndroid Build Coastguard Worker; Test proper extension of 8-bit/16-bit cmpxchg. 2*9880d681SAndroid Build Coastguard Worker; 3*9880d681SAndroid Build Coastguard Worker; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s 4*9880d681SAndroid Build Coastguard Worker 5*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: f1 6*9880d681SAndroid Build Coastguard Worker; CHECK: crjlh 7*9880d681SAndroid Build Coastguard Worker; CHECK-NOT: llcr 8*9880d681SAndroid Build Coastguard Worker; CHECK-NOT: cr 9*9880d681SAndroid Build Coastguard Worker; CHECK: llgcr %r2, [[RES:%r[0-9]+]] 10*9880d681SAndroid Build Coastguard Worker; CHECK-NOT: llcr 11*9880d681SAndroid Build Coastguard Worker; CHECK-NOT: cr 12*9880d681SAndroid Build Coastguard Workerdefine zeroext i8 @f1(i8* nocapture, i8 zeroext, i8 zeroext) { 13*9880d681SAndroid Build Coastguard Worker %cx = cmpxchg i8* %0, i8 %1, i8 %2 seq_cst seq_cst 14*9880d681SAndroid Build Coastguard Worker %res = extractvalue { i8, i1 } %cx, 0 15*9880d681SAndroid Build Coastguard Worker ret i8 %res 16*9880d681SAndroid Build Coastguard Worker} 17*9880d681SAndroid Build Coastguard Worker 18*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: f2 19*9880d681SAndroid Build Coastguard Worker; CHECK: crjlh 20*9880d681SAndroid Build Coastguard Worker; CHECK-NOT: llhr 21*9880d681SAndroid Build Coastguard Worker; CHECK-NOT: cr 22*9880d681SAndroid Build Coastguard Worker; CHECK: llghr %r2, [[RES:%r[0-9]+]] 23*9880d681SAndroid Build Coastguard Worker; CHECK-NOT: llhr 24*9880d681SAndroid Build Coastguard Worker; CHECK-NOT: cr 25*9880d681SAndroid Build Coastguard Workerdefine zeroext i16 @f2(i16* nocapture, i16 zeroext, i16 zeroext) { 26*9880d681SAndroid Build Coastguard Worker %cx = cmpxchg i16* %0, i16 %1, i16 %2 seq_cst seq_cst 27*9880d681SAndroid Build Coastguard Worker %res = extractvalue { i16, i1 } %cx, 0 28*9880d681SAndroid Build Coastguard Worker ret i16 %res 29*9880d681SAndroid Build Coastguard Worker} 30*9880d681SAndroid Build Coastguard Worker 31*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: f3 32*9880d681SAndroid Build Coastguard Worker; CHECK: crjlh 33*9880d681SAndroid Build Coastguard Worker; CHECK-NOT: llcr 34*9880d681SAndroid Build Coastguard Worker; CHECK-NOT: cr 35*9880d681SAndroid Build Coastguard Worker; CHECK: lgbr %r2, [[RES:%r[0-9]+]] 36*9880d681SAndroid Build Coastguard Worker; CHECK-NOT: llcr 37*9880d681SAndroid Build Coastguard Worker; CHECK-NOT: cr 38*9880d681SAndroid Build Coastguard Workerdefine signext i8 @f3(i8* nocapture, i8 signext, i8 signext) { 39*9880d681SAndroid Build Coastguard Worker %cx = cmpxchg i8* %0, i8 %1, i8 %2 seq_cst seq_cst 40*9880d681SAndroid Build Coastguard Worker %res = extractvalue { i8, i1 } %cx, 0 41*9880d681SAndroid Build Coastguard Worker ret i8 %res 42*9880d681SAndroid Build Coastguard Worker} 43*9880d681SAndroid Build Coastguard Worker 44*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: f4 45*9880d681SAndroid Build Coastguard Worker; CHECK: crjlh 46*9880d681SAndroid Build Coastguard Worker; CHECK-NOT: llhr 47*9880d681SAndroid Build Coastguard Worker; CHECK-NOT: cr 48*9880d681SAndroid Build Coastguard Worker; CHECK: lghr %r2, [[RES:%r[0-9]+]] 49*9880d681SAndroid Build Coastguard Worker; CHECK-NOT: llhr 50*9880d681SAndroid Build Coastguard Worker; CHECK-NOT: cr 51*9880d681SAndroid Build Coastguard Workerdefine signext i16 @f4(i16* nocapture, i16 signext, i16 signext) { 52*9880d681SAndroid Build Coastguard Worker %cx = cmpxchg i16* %0, i16 %1, i16 %2 seq_cst seq_cst 53*9880d681SAndroid Build Coastguard Worker %res = extractvalue { i16, i1 } %cx, 0 54*9880d681SAndroid Build Coastguard Worker ret i16 %res 55*9880d681SAndroid Build Coastguard Worker} 56*9880d681SAndroid Build Coastguard Worker 57*9880d681SAndroid Build Coastguard Worker; Now use the comparison result. 58*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: f5 59*9880d681SAndroid Build Coastguard Worker; CHECK: llcr [[REG:%r[0-9]+]], [[RES:%r[0-9]+]] 60*9880d681SAndroid Build Coastguard Worker; CHECK: cr [[REG]], %r3 61*9880d681SAndroid Build Coastguard Workerdefine zeroext i8 @f5(i8* nocapture, i8 zeroext, i8 zeroext) { 62*9880d681SAndroid Build Coastguard Worker %cx = cmpxchg i8* %0, i8 %1, i8 %2 seq_cst seq_cst 63*9880d681SAndroid Build Coastguard Worker %res = extractvalue { i8, i1 } %cx, 1 64*9880d681SAndroid Build Coastguard Worker %xres = sext i1 %res to i8 65*9880d681SAndroid Build Coastguard Worker ret i8 %xres 66*9880d681SAndroid Build Coastguard Worker} 67*9880d681SAndroid Build Coastguard Worker 68*9880d681SAndroid Build Coastguard Worker; Now use the comparison result and zero-extended old value. 69*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: f6 70*9880d681SAndroid Build Coastguard Worker; CHECK: llcr [[REG:%r[0-9]+]], [[RES:%r[0-9]+]] 71*9880d681SAndroid Build Coastguard Worker; CHECK: st [[REG]], 0(%r5) 72*9880d681SAndroid Build Coastguard Worker; CHECK: cr [[REG]], %r3 73*9880d681SAndroid Build Coastguard Workerdefine zeroext i8 @f6(i8* nocapture, i8 zeroext, i8 zeroext, i32*) { 74*9880d681SAndroid Build Coastguard Worker %cx = cmpxchg i8* %0, i8 %1, i8 %2 seq_cst seq_cst 75*9880d681SAndroid Build Coastguard Worker %old = extractvalue { i8, i1 } %cx, 0 76*9880d681SAndroid Build Coastguard Worker %xold = zext i8 %old to i32 77*9880d681SAndroid Build Coastguard Worker store i32 %xold, i32* %3 78*9880d681SAndroid Build Coastguard Worker %res = extractvalue { i8, i1 } %cx, 1 79*9880d681SAndroid Build Coastguard Worker %xres = sext i1 %res to i8 80*9880d681SAndroid Build Coastguard Worker ret i8 %xres 81*9880d681SAndroid Build Coastguard Worker} 82