581 lines · plain
1; RUN: llc < %s -verify-machineinstrs2;3; This test is disabled until PPCISelLowering learns to insert proper 64-bit4; code for ATOMIC_CMP_SWAP. Currently, it is inserting 32-bit instructions with5; 64-bit operands which causes the machine code verifier to throw a tantrum.6;7; XFAIL: *8 9target datalayout = "E-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f128:64:128"10target triple = "powerpc64-unknown-linux-gnu"11 12@sc = common global i8 013@uc = common global i8 014@ss = common global i16 015@us = common global i16 016@si = common global i32 017@ui = common global i32 018@sl = common global i64 0, align 819@ul = common global i64 0, align 820@sll = common global i64 0, align 821@ull = common global i64 0, align 822 23define void @test_op_ignore() nounwind {24entry:25 %0 = atomicrmw add ptr @sc, i8 1 monotonic26 %1 = atomicrmw add ptr @uc, i8 1 monotonic27 %2 = atomicrmw add ptr @ss, i16 1 monotonic28 %3 = atomicrmw add ptr @us, i16 1 monotonic29 %4 = atomicrmw add ptr @si, i32 1 monotonic30 %5 = atomicrmw add ptr @ui, i32 1 monotonic31 %6 = atomicrmw add ptr @sl, i64 1 monotonic32 %7 = atomicrmw add ptr @ul, i64 1 monotonic33 %8 = atomicrmw sub ptr @sc, i8 1 monotonic34 %9 = atomicrmw sub ptr @uc, i8 1 monotonic35 %10 = atomicrmw sub ptr @ss, i16 1 monotonic36 %11 = atomicrmw sub ptr @us, i16 1 monotonic37 %12 = atomicrmw sub ptr @si, i32 1 monotonic38 %13 = atomicrmw sub ptr @ui, i32 1 monotonic39 %14 = atomicrmw sub ptr @sl, i64 1 monotonic40 %15 = atomicrmw sub ptr @ul, i64 1 monotonic41 %16 = atomicrmw or ptr @sc, i8 1 monotonic42 %17 = atomicrmw or ptr @uc, i8 1 monotonic43 %18 = atomicrmw or ptr @ss, i16 1 monotonic44 %19 = atomicrmw or ptr @us, i16 1 monotonic45 %20 = atomicrmw or ptr @si, i32 1 monotonic46 %21 = atomicrmw or ptr @ui, i32 1 monotonic47 %22 = atomicrmw or ptr @sl, i64 1 monotonic48 %23 = atomicrmw or ptr @ul, i64 1 monotonic49 %24 = atomicrmw xor ptr @sc, i8 1 monotonic50 %25 = atomicrmw xor ptr @uc, i8 1 monotonic51 %26 = atomicrmw xor ptr @ss, i16 1 monotonic52 %27 = atomicrmw xor ptr @us, i16 1 monotonic53 %28 = atomicrmw xor ptr @si, i32 1 monotonic54 %29 = atomicrmw xor ptr @ui, i32 1 monotonic55 %30 = atomicrmw xor ptr @sl, i64 1 monotonic56 %31 = atomicrmw xor ptr @ul, i64 1 monotonic57 %32 = atomicrmw and ptr @sc, i8 1 monotonic58 %33 = atomicrmw and ptr @uc, i8 1 monotonic59 %34 = atomicrmw and ptr @ss, i16 1 monotonic60 %35 = atomicrmw and ptr @us, i16 1 monotonic61 %36 = atomicrmw and ptr @si, i32 1 monotonic62 %37 = atomicrmw and ptr @ui, i32 1 monotonic63 %38 = atomicrmw and ptr @sl, i64 1 monotonic64 %39 = atomicrmw and ptr @ul, i64 1 monotonic65 %40 = atomicrmw nand ptr @sc, i8 1 monotonic66 %41 = atomicrmw nand ptr @uc, i8 1 monotonic67 %42 = atomicrmw nand ptr @ss, i16 1 monotonic68 %43 = atomicrmw nand ptr @us, i16 1 monotonic69 %44 = atomicrmw nand ptr @si, i32 1 monotonic70 %45 = atomicrmw nand ptr @ui, i32 1 monotonic71 %46 = atomicrmw nand ptr @sl, i64 1 monotonic72 %47 = atomicrmw nand ptr @ul, i64 1 monotonic73 br label %return74 75return: ; preds = %entry76 ret void77}78 79define void @test_fetch_and_op() nounwind {80entry:81 %0 = atomicrmw add ptr @sc, i8 11 monotonic82 store i8 %0, ptr @sc, align 183 %1 = atomicrmw add ptr @uc, i8 11 monotonic84 store i8 %1, ptr @uc, align 185 %2 = atomicrmw add ptr @ss, i16 11 monotonic86 store i16 %2, ptr @ss, align 287 %3 = atomicrmw add ptr @us, i16 11 monotonic88 store i16 %3, ptr @us, align 289 %4 = atomicrmw add ptr @si, i32 11 monotonic90 store i32 %4, ptr @si, align 491 %5 = atomicrmw add ptr @ui, i32 11 monotonic92 store i32 %5, ptr @ui, align 493 %6 = atomicrmw add ptr @sl, i64 11 monotonic94 store i64 %6, ptr @sl, align 895 %7 = atomicrmw add ptr @ul, i64 11 monotonic96 store i64 %7, ptr @ul, align 897 %8 = atomicrmw sub ptr @sc, i8 11 monotonic98 store i8 %8, ptr @sc, align 199 %9 = atomicrmw sub ptr @uc, i8 11 monotonic100 store i8 %9, ptr @uc, align 1101 %10 = atomicrmw sub ptr @ss, i16 11 monotonic102 store i16 %10, ptr @ss, align 2103 %11 = atomicrmw sub ptr @us, i16 11 monotonic104 store i16 %11, ptr @us, align 2105 %12 = atomicrmw sub ptr @si, i32 11 monotonic106 store i32 %12, ptr @si, align 4107 %13 = atomicrmw sub ptr @ui, i32 11 monotonic108 store i32 %13, ptr @ui, align 4109 %14 = atomicrmw sub ptr @sl, i64 11 monotonic110 store i64 %14, ptr @sl, align 8111 %15 = atomicrmw sub ptr @ul, i64 11 monotonic112 store i64 %15, ptr @ul, align 8113 %16 = atomicrmw or ptr @sc, i8 11 monotonic114 store i8 %16, ptr @sc, align 1115 %17 = atomicrmw or ptr @uc, i8 11 monotonic116 store i8 %17, ptr @uc, align 1117 %18 = atomicrmw or ptr @ss, i16 11 monotonic118 store i16 %18, ptr @ss, align 2119 %19 = atomicrmw or ptr @us, i16 11 monotonic120 store i16 %19, ptr @us, align 2121 %20 = atomicrmw or ptr @si, i32 11 monotonic122 store i32 %20, ptr @si, align 4123 %21 = atomicrmw or ptr @ui, i32 11 monotonic124 store i32 %21, ptr @ui, align 4125 %22 = atomicrmw or ptr @sl, i64 11 monotonic126 store i64 %22, ptr @sl, align 8127 %23 = atomicrmw or ptr @ul, i64 11 monotonic128 store i64 %23, ptr @ul, align 8129 %24 = atomicrmw xor ptr @sc, i8 11 monotonic130 store i8 %24, ptr @sc, align 1131 %25 = atomicrmw xor ptr @uc, i8 11 monotonic132 store i8 %25, ptr @uc, align 1133 %26 = atomicrmw xor ptr @ss, i16 11 monotonic134 store i16 %26, ptr @ss, align 2135 %27 = atomicrmw xor ptr @us, i16 11 monotonic136 store i16 %27, ptr @us, align 2137 %28 = atomicrmw xor ptr @si, i32 11 monotonic138 store i32 %28, ptr @si, align 4139 %29 = atomicrmw xor ptr @ui, i32 11 monotonic140 store i32 %29, ptr @ui, align 4141 %30 = atomicrmw xor ptr @sl, i64 11 monotonic142 store i64 %30, ptr @sl, align 8143 %31 = atomicrmw xor ptr @ul, i64 11 monotonic144 store i64 %31, ptr @ul, align 8145 %32 = atomicrmw and ptr @sc, i8 11 monotonic146 store i8 %32, ptr @sc, align 1147 %33 = atomicrmw and ptr @uc, i8 11 monotonic148 store i8 %33, ptr @uc, align 1149 %34 = atomicrmw and ptr @ss, i16 11 monotonic150 store i16 %34, ptr @ss, align 2151 %35 = atomicrmw and ptr @us, i16 11 monotonic152 store i16 %35, ptr @us, align 2153 %36 = atomicrmw and ptr @si, i32 11 monotonic154 store i32 %36, ptr @si, align 4155 %37 = atomicrmw and ptr @ui, i32 11 monotonic156 store i32 %37, ptr @ui, align 4157 %38 = atomicrmw and ptr @sl, i64 11 monotonic158 store i64 %38, ptr @sl, align 8159 %39 = atomicrmw and ptr @ul, i64 11 monotonic160 store i64 %39, ptr @ul, align 8161 %40 = atomicrmw nand ptr @sc, i8 11 monotonic162 store i8 %40, ptr @sc, align 1163 %41 = atomicrmw nand ptr @uc, i8 11 monotonic164 store i8 %41, ptr @uc, align 1165 %42 = atomicrmw nand ptr @ss, i16 11 monotonic166 store i16 %42, ptr @ss, align 2167 %43 = atomicrmw nand ptr @us, i16 11 monotonic168 store i16 %43, ptr @us, align 2169 %44 = atomicrmw nand ptr @si, i32 11 monotonic170 store i32 %44, ptr @si, align 4171 %45 = atomicrmw nand ptr @ui, i32 11 monotonic172 store i32 %45, ptr @ui, align 4173 %46 = atomicrmw nand ptr @sl, i64 11 monotonic174 store i64 %46, ptr @sl, align 8175 %47 = atomicrmw nand ptr @ul, i64 11 monotonic176 store i64 %47, ptr @ul, align 8177 br label %return178 179return: ; preds = %entry180 ret void181}182 183define void @test_op_and_fetch() nounwind {184entry:185 %0 = load i8, ptr @uc, align 1186 %1 = atomicrmw add ptr @sc, i8 %0 monotonic187 %2 = add i8 %1, %0188 store i8 %2, ptr @sc, align 1189 %3 = load i8, ptr @uc, align 1190 %4 = atomicrmw add ptr @uc, i8 %3 monotonic191 %5 = add i8 %4, %3192 store i8 %5, ptr @uc, align 1193 %6 = load i8, ptr @uc, align 1194 %7 = zext i8 %6 to i16195 %8 = atomicrmw add ptr @ss, i16 %7 monotonic196 %9 = add i16 %8, %7197 store i16 %9, ptr @ss, align 2198 %10 = load i8, ptr @uc, align 1199 %11 = zext i8 %10 to i16200 %12 = atomicrmw add ptr @us, i16 %11 monotonic201 %13 = add i16 %12, %11202 store i16 %13, ptr @us, align 2203 %14 = load i8, ptr @uc, align 1204 %15 = zext i8 %14 to i32205 %16 = atomicrmw add ptr @si, i32 %15 monotonic206 %17 = add i32 %16, %15207 store i32 %17, ptr @si, align 4208 %18 = load i8, ptr @uc, align 1209 %19 = zext i8 %18 to i32210 %20 = atomicrmw add ptr @ui, i32 %19 monotonic211 %21 = add i32 %20, %19212 store i32 %21, ptr @ui, align 4213 %22 = load i8, ptr @uc, align 1214 %23 = zext i8 %22 to i64215 %24 = atomicrmw add ptr @sl, i64 %23 monotonic216 %25 = add i64 %24, %23217 store i64 %25, ptr @sl, align 8218 %26 = load i8, ptr @uc, align 1219 %27 = zext i8 %26 to i64220 %28 = atomicrmw add ptr @ul, i64 %27 monotonic221 %29 = add i64 %28, %27222 store i64 %29, ptr @ul, align 8223 %30 = load i8, ptr @uc, align 1224 %31 = atomicrmw sub ptr @sc, i8 %30 monotonic225 %32 = sub i8 %31, %30226 store i8 %32, ptr @sc, align 1227 %33 = load i8, ptr @uc, align 1228 %34 = atomicrmw sub ptr @uc, i8 %33 monotonic229 %35 = sub i8 %34, %33230 store i8 %35, ptr @uc, align 1231 %36 = load i8, ptr @uc, align 1232 %37 = zext i8 %36 to i16233 %38 = atomicrmw sub ptr @ss, i16 %37 monotonic234 %39 = sub i16 %38, %37235 store i16 %39, ptr @ss, align 2236 %40 = load i8, ptr @uc, align 1237 %41 = zext i8 %40 to i16238 %42 = atomicrmw sub ptr @us, i16 %41 monotonic239 %43 = sub i16 %42, %41240 store i16 %43, ptr @us, align 2241 %44 = load i8, ptr @uc, align 1242 %45 = zext i8 %44 to i32243 %46 = atomicrmw sub ptr @si, i32 %45 monotonic244 %47 = sub i32 %46, %45245 store i32 %47, ptr @si, align 4246 %48 = load i8, ptr @uc, align 1247 %49 = zext i8 %48 to i32248 %50 = atomicrmw sub ptr @ui, i32 %49 monotonic249 %51 = sub i32 %50, %49250 store i32 %51, ptr @ui, align 4251 %52 = load i8, ptr @uc, align 1252 %53 = zext i8 %52 to i64253 %54 = atomicrmw sub ptr @sl, i64 %53 monotonic254 %55 = sub i64 %54, %53255 store i64 %55, ptr @sl, align 8256 %56 = load i8, ptr @uc, align 1257 %57 = zext i8 %56 to i64258 %58 = atomicrmw sub ptr @ul, i64 %57 monotonic259 %59 = sub i64 %58, %57260 store i64 %59, ptr @ul, align 8261 %60 = load i8, ptr @uc, align 1262 %61 = atomicrmw or ptr @sc, i8 %60 monotonic263 %62 = or i8 %61, %60264 store i8 %62, ptr @sc, align 1265 %63 = load i8, ptr @uc, align 1266 %64 = atomicrmw or ptr @uc, i8 %63 monotonic267 %65 = or i8 %64, %63268 store i8 %65, ptr @uc, align 1269 %66 = load i8, ptr @uc, align 1270 %67 = zext i8 %66 to i16271 %68 = atomicrmw or ptr @ss, i16 %67 monotonic272 %69 = or i16 %68, %67273 store i16 %69, ptr @ss, align 2274 %70 = load i8, ptr @uc, align 1275 %71 = zext i8 %70 to i16276 %72 = atomicrmw or ptr @us, i16 %71 monotonic277 %73 = or i16 %72, %71278 store i16 %73, ptr @us, align 2279 %74 = load i8, ptr @uc, align 1280 %75 = zext i8 %74 to i32281 %76 = atomicrmw or ptr @si, i32 %75 monotonic282 %77 = or i32 %76, %75283 store i32 %77, ptr @si, align 4284 %78 = load i8, ptr @uc, align 1285 %79 = zext i8 %78 to i32286 %80 = atomicrmw or ptr @ui, i32 %79 monotonic287 %81 = or i32 %80, %79288 store i32 %81, ptr @ui, align 4289 %82 = load i8, ptr @uc, align 1290 %83 = zext i8 %82 to i64291 %84 = atomicrmw or ptr @sl, i64 %83 monotonic292 %85 = or i64 %84, %83293 store i64 %85, ptr @sl, align 8294 %86 = load i8, ptr @uc, align 1295 %87 = zext i8 %86 to i64296 %88 = atomicrmw or ptr @ul, i64 %87 monotonic297 %89 = or i64 %88, %87298 store i64 %89, ptr @ul, align 8299 %90 = load i8, ptr @uc, align 1300 %91 = atomicrmw xor ptr @sc, i8 %90 monotonic301 %92 = xor i8 %91, %90302 store i8 %92, ptr @sc, align 1303 %93 = load i8, ptr @uc, align 1304 %94 = atomicrmw xor ptr @uc, i8 %93 monotonic305 %95 = xor i8 %94, %93306 store i8 %95, ptr @uc, align 1307 %96 = load i8, ptr @uc, align 1308 %97 = zext i8 %96 to i16309 %98 = atomicrmw xor ptr @ss, i16 %97 monotonic310 %99 = xor i16 %98, %97311 store i16 %99, ptr @ss, align 2312 %100 = load i8, ptr @uc, align 1313 %101 = zext i8 %100 to i16314 %102 = atomicrmw xor ptr @us, i16 %101 monotonic315 %103 = xor i16 %102, %101316 store i16 %103, ptr @us, align 2317 %104 = load i8, ptr @uc, align 1318 %105 = zext i8 %104 to i32319 %106 = atomicrmw xor ptr @si, i32 %105 monotonic320 %107 = xor i32 %106, %105321 store i32 %107, ptr @si, align 4322 %108 = load i8, ptr @uc, align 1323 %109 = zext i8 %108 to i32324 %110 = atomicrmw xor ptr @ui, i32 %109 monotonic325 %111 = xor i32 %110, %109326 store i32 %111, ptr @ui, align 4327 %112 = load i8, ptr @uc, align 1328 %113 = zext i8 %112 to i64329 %114 = atomicrmw xor ptr @sl, i64 %113 monotonic330 %115 = xor i64 %114, %113331 store i64 %115, ptr @sl, align 8332 %116 = load i8, ptr @uc, align 1333 %117 = zext i8 %116 to i64334 %118 = atomicrmw xor ptr @ul, i64 %117 monotonic335 %119 = xor i64 %118, %117336 store i64 %119, ptr @ul, align 8337 %120 = load i8, ptr @uc, align 1338 %121 = atomicrmw and ptr @sc, i8 %120 monotonic339 %122 = and i8 %121, %120340 store i8 %122, ptr @sc, align 1341 %123 = load i8, ptr @uc, align 1342 %124 = atomicrmw and ptr @uc, i8 %123 monotonic343 %125 = and i8 %124, %123344 store i8 %125, ptr @uc, align 1345 %126 = load i8, ptr @uc, align 1346 %127 = zext i8 %126 to i16347 %128 = atomicrmw and ptr @ss, i16 %127 monotonic348 %129 = and i16 %128, %127349 store i16 %129, ptr @ss, align 2350 %130 = load i8, ptr @uc, align 1351 %131 = zext i8 %130 to i16352 %132 = atomicrmw and ptr @us, i16 %131 monotonic353 %133 = and i16 %132, %131354 store i16 %133, ptr @us, align 2355 %134 = load i8, ptr @uc, align 1356 %135 = zext i8 %134 to i32357 %136 = atomicrmw and ptr @si, i32 %135 monotonic358 %137 = and i32 %136, %135359 store i32 %137, ptr @si, align 4360 %138 = load i8, ptr @uc, align 1361 %139 = zext i8 %138 to i32362 %140 = atomicrmw and ptr @ui, i32 %139 monotonic363 %141 = and i32 %140, %139364 store i32 %141, ptr @ui, align 4365 %142 = load i8, ptr @uc, align 1366 %143 = zext i8 %142 to i64367 %144 = atomicrmw and ptr @sl, i64 %143 monotonic368 %145 = and i64 %144, %143369 store i64 %145, ptr @sl, align 8370 %146 = load i8, ptr @uc, align 1371 %147 = zext i8 %146 to i64372 %148 = atomicrmw and ptr @ul, i64 %147 monotonic373 %149 = and i64 %148, %147374 store i64 %149, ptr @ul, align 8375 %150 = load i8, ptr @uc, align 1376 %151 = atomicrmw nand ptr @sc, i8 %150 monotonic377 %152 = xor i8 %151, -1378 %153 = and i8 %152, %150379 store i8 %153, ptr @sc, align 1380 %154 = load i8, ptr @uc, align 1381 %155 = atomicrmw nand ptr @uc, i8 %154 monotonic382 %156 = xor i8 %155, -1383 %157 = and i8 %156, %154384 store i8 %157, ptr @uc, align 1385 %158 = load i8, ptr @uc, align 1386 %159 = zext i8 %158 to i16387 %160 = atomicrmw nand ptr @ss, i16 %159 monotonic388 %161 = xor i16 %160, -1389 %162 = and i16 %161, %159390 store i16 %162, ptr @ss, align 2391 %163 = load i8, ptr @uc, align 1392 %164 = zext i8 %163 to i16393 %165 = atomicrmw nand ptr @us, i16 %164 monotonic394 %166 = xor i16 %165, -1395 %167 = and i16 %166, %164396 store i16 %167, ptr @us, align 2397 %168 = load i8, ptr @uc, align 1398 %169 = zext i8 %168 to i32399 %170 = atomicrmw nand ptr @si, i32 %169 monotonic400 %171 = xor i32 %170, -1401 %172 = and i32 %171, %169402 store i32 %172, ptr @si, align 4403 %173 = load i8, ptr @uc, align 1404 %174 = zext i8 %173 to i32405 %175 = atomicrmw nand ptr @ui, i32 %174 monotonic406 %176 = xor i32 %175, -1407 %177 = and i32 %176, %174408 store i32 %177, ptr @ui, align 4409 %178 = load i8, ptr @uc, align 1410 %179 = zext i8 %178 to i64411 %180 = atomicrmw nand ptr @sl, i64 %179 monotonic412 %181 = xor i64 %180, -1413 %182 = and i64 %181, %179414 store i64 %182, ptr @sl, align 8415 %183 = load i8, ptr @uc, align 1416 %184 = zext i8 %183 to i64417 %185 = atomicrmw nand ptr @ul, i64 %184 monotonic418 %186 = xor i64 %185, -1419 %187 = and i64 %186, %184420 store i64 %187, ptr @ul, align 8421 br label %return422 423return: ; preds = %entry424 ret void425}426 427define void @test_compare_and_swap() nounwind {428entry:429 %0 = load i8, ptr @uc, align 1430 %1 = load i8, ptr @sc, align 1431 %2 = cmpxchg ptr @sc, i8 %0, i8 %1 monotonic monotonic432 store i8 %2, ptr @sc, align 1433 %3 = load i8, ptr @uc, align 1434 %4 = load i8, ptr @sc, align 1435 %5 = cmpxchg ptr @uc, i8 %3, i8 %4 monotonic monotonic436 store i8 %5, ptr @uc, align 1437 %6 = load i8, ptr @uc, align 1438 %7 = zext i8 %6 to i16439 %8 = load i8, ptr @sc, align 1440 %9 = sext i8 %8 to i16441 %10 = cmpxchg ptr @ss, i16 %7, i16 %9 monotonic monotonic442 store i16 %10, ptr @ss, align 2443 %11 = load i8, ptr @uc, align 1444 %12 = zext i8 %11 to i16445 %13 = load i8, ptr @sc, align 1446 %14 = sext i8 %13 to i16447 %15 = cmpxchg ptr @us, i16 %12, i16 %14 monotonic monotonic448 store i16 %15, ptr @us, align 2449 %16 = load i8, ptr @uc, align 1450 %17 = zext i8 %16 to i32451 %18 = load i8, ptr @sc, align 1452 %19 = sext i8 %18 to i32453 %20 = cmpxchg ptr @si, i32 %17, i32 %19 monotonic monotonic454 store i32 %20, ptr @si, align 4455 %21 = load i8, ptr @uc, align 1456 %22 = zext i8 %21 to i32457 %23 = load i8, ptr @sc, align 1458 %24 = sext i8 %23 to i32459 %25 = cmpxchg ptr @ui, i32 %22, i32 %24 monotonic monotonic460 store i32 %25, ptr @ui, align 4461 %26 = load i8, ptr @uc, align 1462 %27 = zext i8 %26 to i64463 %28 = load i8, ptr @sc, align 1464 %29 = sext i8 %28 to i64465 %30 = cmpxchg ptr @sl, i64 %27, i64 %29 monotonic monotonic466 store i64 %30, ptr @sl, align 8467 %31 = load i8, ptr @uc, align 1468 %32 = zext i8 %31 to i64469 %33 = load i8, ptr @sc, align 1470 %34 = sext i8 %33 to i64471 %35 = cmpxchg ptr @ul, i64 %32, i64 %34 monotonic monotonic472 store i64 %35, ptr @ul, align 8473 %36 = load i8, ptr @uc, align 1474 %37 = load i8, ptr @sc, align 1475 %38 = cmpxchg ptr @sc, i8 %36, i8 %37 monotonic monotonic476 %39 = icmp eq i8 %38, %36477 %40 = zext i1 %39 to i8478 %41 = zext i8 %40 to i32479 store i32 %41, ptr @ui, align 4480 %42 = load i8, ptr @uc, align 1481 %43 = load i8, ptr @sc, align 1482 %44 = cmpxchg ptr @uc, i8 %42, i8 %43 monotonic monotonic483 %45 = icmp eq i8 %44, %42484 %46 = zext i1 %45 to i8485 %47 = zext i8 %46 to i32486 store i32 %47, ptr @ui, align 4487 %48 = load i8, ptr @uc, align 1488 %49 = zext i8 %48 to i16489 %50 = load i8, ptr @sc, align 1490 %51 = sext i8 %50 to i16491 %52 = cmpxchg ptr @ss, i16 %49, i16 %51 monotonic monotonic492 %53 = icmp eq i16 %52, %49493 %54 = zext i1 %53 to i8494 %55 = zext i8 %54 to i32495 store i32 %55, ptr @ui, align 4496 %56 = load i8, ptr @uc, align 1497 %57 = zext i8 %56 to i16498 %58 = load i8, ptr @sc, align 1499 %59 = sext i8 %58 to i16500 %60 = cmpxchg ptr @us, i16 %57, i16 %59 monotonic monotonic501 %61 = icmp eq i16 %60, %57502 %62 = zext i1 %61 to i8503 %63 = zext i8 %62 to i32504 store i32 %63, ptr @ui, align 4505 %64 = load i8, ptr @uc, align 1506 %65 = zext i8 %64 to i32507 %66 = load i8, ptr @sc, align 1508 %67 = sext i8 %66 to i32509 %68 = cmpxchg ptr @si, i32 %65, i32 %67 monotonic monotonic510 %69 = icmp eq i32 %68, %65511 %70 = zext i1 %69 to i8512 %71 = zext i8 %70 to i32513 store i32 %71, ptr @ui, align 4514 %72 = load i8, ptr @uc, align 1515 %73 = zext i8 %72 to i32516 %74 = load i8, ptr @sc, align 1517 %75 = sext i8 %74 to i32518 %76 = cmpxchg ptr @ui, i32 %73, i32 %75 monotonic monotonic519 %77 = icmp eq i32 %76, %73520 %78 = zext i1 %77 to i8521 %79 = zext i8 %78 to i32522 store i32 %79, ptr @ui, align 4523 %80 = load i8, ptr @uc, align 1524 %81 = zext i8 %80 to i64525 %82 = load i8, ptr @sc, align 1526 %83 = sext i8 %82 to i64527 %84 = cmpxchg ptr @sl, i64 %81, i64 %83 monotonic monotonic528 %85 = icmp eq i64 %84, %81529 %86 = zext i1 %85 to i8530 %87 = zext i8 %86 to i32531 store i32 %87, ptr @ui, align 4532 %88 = load i8, ptr @uc, align 1533 %89 = zext i8 %88 to i64534 %90 = load i8, ptr @sc, align 1535 %91 = sext i8 %90 to i64536 %92 = cmpxchg ptr @ul, i64 %89, i64 %91 monotonic monotonic537 %93 = icmp eq i64 %92, %89538 %94 = zext i1 %93 to i8539 %95 = zext i8 %94 to i32540 store i32 %95, ptr @ui, align 4541 br label %return542 543return: ; preds = %entry544 ret void545}546 547define void @test_lock() nounwind {548entry:549 %0 = atomicrmw xchg ptr @sc, i8 1 monotonic550 store i8 %0, ptr @sc, align 1551 %1 = atomicrmw xchg ptr @uc, i8 1 monotonic552 store i8 %1, ptr @uc, align 1553 %2 = atomicrmw xchg ptr @ss, i16 1 monotonic554 store i16 %2, ptr @ss, align 2555 %3 = atomicrmw xchg ptr @us, i16 1 monotonic556 store i16 %3, ptr @us, align 2557 %4 = atomicrmw xchg ptr @si, i32 1 monotonic558 store i32 %4, ptr @si, align 4559 %5 = atomicrmw xchg ptr @ui, i32 1 monotonic560 store i32 %5, ptr @ui, align 4561 %6 = atomicrmw xchg ptr @sl, i64 1 monotonic562 store i64 %6, ptr @sl, align 8563 %7 = atomicrmw xchg ptr @ul, i64 1 monotonic564 store i64 %7, ptr @ul, align 8565 fence seq_cst566 store volatile i8 0, ptr @sc, align 1567 store volatile i8 0, ptr @uc, align 1568 store volatile i16 0, ptr @ss, align 2569 store volatile i16 0, ptr @us, align 2570 store volatile i32 0, ptr @si, align 4571 store volatile i32 0, ptr @ui, align 4572 store volatile i64 0, ptr @sl, align 8573 store volatile i64 0, ptr @ul, align 8574 store volatile i64 0, ptr @sll, align 8575 store volatile i64 0, ptr @ull, align 8576 br label %return577 578return: ; preds = %entry579 ret void580}581