1; RUN: llc -verify-machineinstrs -mtriple=powerpc64le-unknown-linux-gnu \ 2; RUN: -ppc-asm-full-reg-names -ppc-vsr-nums-as-vr < %s | FileCheck %s 3; RUN: llc -verify-machineinstrs -mtriple=powerpc64-unknown-linux-gnu -mcpu=pwr8 \ 4; RUN: -ppc-asm-full-reg-names -ppc-vsr-nums-as-vr < %s | FileCheck %s 5; RUN: llc -verify-machineinstrs -mtriple=powerpc64le-unknown-linux-gnu -ppc-late-peephole=false \ 6; RUN: -ppc-asm-full-reg-names -ppc-vsr-nums-as-vr < %s | FileCheck %s \ 7; RUN: --implicit-check-not creqv --implicit-check-not crxor 8 9 10; For known CRBit spills, CRSET/CRUNSET, it is more efficient to just load and 11; spill the known value. These tests verify that for CRSET and CRUNSET spills 12; we do not extract the bit for spilling. 13 14%struct.anon = type { i32 } 15 16@b = common dso_local global ptr null, align 8 17@a = common dso_local global i64 0, align 8 18 19; Function Attrs: nounwind 20define dso_local signext i32 @spillCRSET(i32 signext %p1, i32 signext %p2) { 21; CHECK-LABEL: spillCRSET: 22; CHECK: # %bb.2: 23; CHECK-DAG: crnot [[CREG:.*]]*cr5+lt, eq 24; CHECK-DAG: mfocrf [[REG2:.*]], [[CREG]] 25; CHECK-DAG: rlwinm [[REG2]], [[REG2]] 26; CHECK: .LBB0_3: 27; CHECK-NOT: #UNENCODED_NOP 28; CHECK: lis [[REG1:.*]], -32768 29; CHECK: .LBB0_4: 30; CHECK-NOT: mfocrf [[REG2:.*]], [[CREG]] 31; CHECK-NOT: rlwinm [[REG2]], [[REG2]] 32; CHECK: stw [[REG1]] 33; CHECK: # %bb.5: 34 35entry: 36 %tobool = icmp eq i32 %p2, 0 37 %tobool2 = icmp eq i32 %p1, 0 38 br label %redo_first_pass 39 40redo_first_pass: ; preds = %for.end, %entry 41 br i1 %tobool, label %if.end, label %if.then 42 43if.then: ; preds = %redo_first_pass 44 %call = tail call signext i32 @fn2() #2 45 %tobool1 = icmp ne i32 %call, 0 46 br label %if.end 47 48if.end: ; preds = %redo_first_pass, %if.then 49 %c.1.off0 = phi i1 [ %tobool1, %if.then ], [ true, %redo_first_pass ] 50 br i1 %tobool2, label %if.end4, label %if.then3 51 52if.then3: ; preds = %if.end 53 %0 = load ptr, ptr @b, align 8 54 store i32 1, ptr %0, align 4 55 br label %if.end4 56 57if.end4: ; preds = %if.end, %if.then3 58 tail call void asm sideeffect "#DO_NOTHING", "~{cr0},~{cr1},~{cr2},~{cr3},~{cr4},~{cr5},~{cr6},~{cr7}"() 59 br i1 %c.1.off0, label %if.then6, label %if.end13 60 61if.then6: ; preds = %if.end4 62 %1 = load i64, ptr @a, align 8 63 %cmp21 = icmp eq i64 %1, 0 64 br i1 %cmp21, label %if.end13, label %for.body 65 66for.body: ; preds = %if.then6, %for.body 67 %s.122 = phi i64 [ %inc, %for.body ], [ 0, %if.then6 ] 68 %call7 = tail call signext i32 @fn3() 69 %inc = add nuw i64 %s.122, 1 70 %exitcond = icmp eq i64 %inc, %1 71 br i1 %exitcond, label %for.end, label %for.body 72 73for.end: ; preds = %for.body 74 br i1 %cmp21, label %if.end13, label %redo_first_pass 75 76if.end13: ; preds = %if.then6, %for.end, %if.end4 77 ret i32 0 78} 79 80%struct.p5rx = type { i32 } 81 82; Function Attrs: nounwind 83define dso_local signext i32 @spillCRUNSET(ptr readonly %p1, i32 signext %p2, i32 signext %p3) { 84; CHECK-LABEL: spillCRUNSET: 85; CHECK: # %bb.0: # %entry 86; CHECK-DAG: li [[REG1:.*]], 0 87; CHECK-NOT: #UNENCODED_NOP 88; CHECK-NOT: mfocrf [[REG2:.*]], [[CREG]] 89; CHECK-NOT: rlwinm [[REG2]], [[REG2]] 90; CHECK: stw [[REG1]] 91; CHECK: .LBB1_1: 92entry: 93 %and = and i32 %p3, 128 94 %tobool = icmp eq i32 %and, 0 95 %tobool2 = icmp eq ptr %p1, null 96 %tobool12 = icmp eq i32 %p2, 0 97 br label %redo_first_pass 98 99redo_first_pass: ; preds = %if.end11, %entry 100 %a.0.off0 = phi i1 [ false, %entry ], [ %a.1.off0, %if.end11 ] 101 br i1 %tobool, label %if.end, label %if.then 102 103if.then: ; preds = %redo_first_pass 104 %call = tail call signext i32 @fn2() 105 %tobool1 = icmp ne i32 %call, 0 106 br label %if.end 107 108if.end: ; preds = %redo_first_pass, %if.then 109 %a.1.off0 = phi i1 [ %tobool1, %if.then ], [ %a.0.off0, %redo_first_pass ] 110 tail call void asm sideeffect "#DO_NOTHING", "~{cr0},~{cr1},~{cr2},~{cr3},~{cr4},~{cr5},~{cr6},~{cr7}"() 111 br i1 %tobool2, label %if.end11, label %land.lhs.true 112 113land.lhs.true: ; preds = %if.end 114 %call3 = tail call signext i32 @fn3() 115 %tobool4 = icmp eq i32 %call3, 0 116 br i1 %tobool4, label %if.end11, label %land.lhs.true5 117 118land.lhs.true5: ; preds = %land.lhs.true 119 %0 = load i32, ptr %p1, align 4 120 %tobool6 = icmp eq i32 %0, 0 121 %a.1.off0.not = xor i1 %a.1.off0, true 122 %brmerge = or i1 %tobool6, %a.1.off0.not 123 br i1 %brmerge, label %if.end11, label %if.then9 124 125if.then9: ; preds = %land.lhs.true5 126 %call10 = tail call signext i32 @fn4() 127 br label %if.end11 128 129if.end11: ; preds = %land.lhs.true5, %land.lhs.true, %if.end, %if.then9 130 br i1 %tobool12, label %if.end14, label %redo_first_pass 131 132if.end14: ; preds = %if.end11 133 ret i32 0 134} 135 136declare signext i32 @fn2(...) 137declare signext i32 @fn3(...) 138declare signext i32 @fn4(...) 139