1 ; RUN: llc -mtriple=aarch64-none-linux-gnu < %s | FileCheck %s 2 3 ; This test checks that LLVM can do basic stripping and reapplying of branches 4 ; to basic blocks. 5 6 declare void @test_true() 7 declare void @test_false() 8 9 ; !0 corresponds to a branch being taken, !1 to not being takne. 10 !0 = !{!"branch_weights", i32 64, i32 4} 11 !1 = !{!"branch_weights", i32 4, i32 64} 12 13 define void @test_Bcc_fallthrough_taken(i32 %in) nounwind { 14 ; CHECK-LABEL: test_Bcc_fallthrough_taken: 15 %tst = icmp eq i32 %in, 42 16 br i1 %tst, label %true, label %false, !prof !0 17 18 ; CHECK: cmp {{w[0-9]+}}, #42 19 20 ; CHECK: b.ne [[FALSE:.LBB[0-9]+_[0-9]+]] 21 ; CHECK-NEXT: // BB# 22 ; CHECK-NEXT: bl test_true 23 24 ; CHECK: [[FALSE]]: 25 ; CHECK: bl test_false 26 27 true: 28 call void @test_true() 29 ret void 30 31 false: 32 call void @test_false() 33 ret void 34 } 35 36 define void @test_Bcc_fallthrough_nottaken(i32 %in) nounwind { 37 ; CHECK-LABEL: test_Bcc_fallthrough_nottaken: 38 %tst = icmp eq i32 %in, 42 39 br i1 %tst, label %true, label %false, !prof !1 40 41 ; CHECK: cmp {{w[0-9]+}}, #42 42 43 ; CHECK: b.eq [[TRUE:.LBB[0-9]+_[0-9]+]] 44 ; CHECK-NEXT: // BB# 45 ; CHECK-NEXT: bl test_false 46 47 ; CHECK: [[TRUE]]: 48 ; CHECK: bl test_true 49 50 true: 51 call void @test_true() 52 ret void 53 54 false: 55 call void @test_false() 56 ret void 57 } 58 59 define void @test_CBZ_fallthrough_taken(i32 %in) nounwind { 60 ; CHECK-LABEL: test_CBZ_fallthrough_taken: 61 %tst = icmp eq i32 %in, 0 62 br i1 %tst, label %true, label %false, !prof !0 63 64 ; CHECK: cbnz {{w[0-9]+}}, [[FALSE:.LBB[0-9]+_[0-9]+]] 65 ; CHECK-NEXT: // BB# 66 ; CHECK-NEXT: bl test_true 67 68 ; CHECK: [[FALSE]]: 69 ; CHECK: bl test_false 70 71 true: 72 call void @test_true() 73 ret void 74 75 false: 76 call void @test_false() 77 ret void 78 } 79 80 define void @test_CBZ_fallthrough_nottaken(i64 %in) nounwind { 81 ; CHECK-LABEL: test_CBZ_fallthrough_nottaken: 82 %tst = icmp eq i64 %in, 0 83 br i1 %tst, label %true, label %false, !prof !1 84 85 ; CHECK: cbz {{x[0-9]+}}, [[TRUE:.LBB[0-9]+_[0-9]+]] 86 ; CHECK-NEXT: // BB# 87 ; CHECK-NEXT: bl test_false 88 89 ; CHECK: [[TRUE]]: 90 ; CHECK: bl test_true 91 92 true: 93 call void @test_true() 94 ret void 95 96 false: 97 call void @test_false() 98 ret void 99 } 100 101 define void @test_CBNZ_fallthrough_taken(i32 %in) nounwind { 102 ; CHECK-LABEL: test_CBNZ_fallthrough_taken: 103 %tst = icmp ne i32 %in, 0 104 br i1 %tst, label %true, label %false, !prof !0 105 106 ; CHECK: cbz {{w[0-9]+}}, [[FALSE:.LBB[0-9]+_[0-9]+]] 107 ; CHECK-NEXT: // BB# 108 ; CHECK-NEXT: bl test_true 109 110 ; CHECK: [[FALSE]]: 111 ; CHECK: bl test_false 112 113 true: 114 call void @test_true() 115 ret void 116 117 false: 118 call void @test_false() 119 ret void 120 } 121 122 define void @test_CBNZ_fallthrough_nottaken(i64 %in) nounwind { 123 ; CHECK-LABEL: test_CBNZ_fallthrough_nottaken: 124 %tst = icmp ne i64 %in, 0 125 br i1 %tst, label %true, label %false, !prof !1 126 127 ; CHECK: cbnz {{x[0-9]+}}, [[TRUE:.LBB[0-9]+_[0-9]+]] 128 ; CHECK-NEXT: // BB# 129 ; CHECK-NEXT: bl test_false 130 131 ; CHECK: [[TRUE]]: 132 ; CHECK: bl test_true 133 134 true: 135 call void @test_true() 136 ret void 137 138 false: 139 call void @test_false() 140 ret void 141 } 142 143 define void @test_TBZ_fallthrough_taken(i32 %in) nounwind { 144 ; CHECK-LABEL: test_TBZ_fallthrough_taken: 145 %bit = and i32 %in, 32768 146 %tst = icmp eq i32 %bit, 0 147 br i1 %tst, label %true, label %false, !prof !0 148 149 ; CHECK: tbnz {{w[0-9]+}}, #15, [[FALSE:.LBB[0-9]+_[0-9]+]] 150 ; CHECK-NEXT: // BB# 151 ; CHECK-NEXT: bl test_true 152 153 ; CHECK: [[FALSE]]: 154 ; CHECK: bl test_false 155 156 true: 157 call void @test_true() 158 ret void 159 160 false: 161 call void @test_false() 162 ret void 163 } 164 165 define void @test_TBZ_fallthrough_nottaken(i64 %in) nounwind { 166 ; CHECK-LABEL: test_TBZ_fallthrough_nottaken: 167 %bit = and i64 %in, 32768 168 %tst = icmp eq i64 %bit, 0 169 br i1 %tst, label %true, label %false, !prof !1 170 171 ; CHECK: tbz {{[wx][0-9]+}}, #15, [[TRUE:.LBB[0-9]+_[0-9]+]] 172 ; CHECK-NEXT: // BB# 173 ; CHECK-NEXT: bl test_false 174 175 ; CHECK: [[TRUE]]: 176 ; CHECK: bl test_true 177 178 true: 179 call void @test_true() 180 ret void 181 182 false: 183 call void @test_false() 184 ret void 185 } 186 187 188 define void @test_TBNZ_fallthrough_taken(i32 %in) nounwind { 189 ; CHECK-LABEL: test_TBNZ_fallthrough_taken: 190 %bit = and i32 %in, 32768 191 %tst = icmp ne i32 %bit, 0 192 br i1 %tst, label %true, label %false, !prof !0 193 194 ; CHECK: tbz {{w[0-9]+}}, #15, [[FALSE:.LBB[0-9]+_[0-9]+]] 195 ; CHECK-NEXT: // BB# 196 ; CHECK-NEXT: bl test_true 197 198 ; CHECK: [[FALSE]]: 199 ; CHECK: bl test_false 200 201 true: 202 call void @test_true() 203 ret void 204 205 false: 206 call void @test_false() 207 ret void 208 } 209 210 define void @test_TBNZ_fallthrough_nottaken(i64 %in) nounwind { 211 ; CHECK-LABEL: test_TBNZ_fallthrough_nottaken: 212 %bit = and i64 %in, 32768 213 %tst = icmp ne i64 %bit, 0 214 br i1 %tst, label %true, label %false, !prof !1 215 216 ; CHECK: tbnz {{[wx][0-9]+}}, #15, [[TRUE:.LBB[0-9]+_[0-9]+]] 217 ; CHECK-NEXT: // BB# 218 ; CHECK-NEXT: bl test_false 219 220 ; CHECK: [[TRUE]]: 221 ; CHECK: bl test_true 222 223 true: 224 call void @test_true() 225 ret void 226 227 false: 228 call void @test_false() 229 ret void 230 } 231 232
