802 lines · plain
1; RUN: llc < %s -mtriple=x86_64-apple-darwin8 > %t.x86-642; RUN: llc < %s -mtriple=i686-apple-darwin8 -mattr=cx16 > %t.x863target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128"4 5@sc = common global i8 06@uc = common global i8 07@ss = common global i16 08@us = common global i16 09@si = common global i32 010@ui = common global i32 011@sl = common global i64 012@ul = common global i64 013@sll = common global i64 014@ull = common global i64 015 16define void @test_op_ignore() nounwind {17entry:18 %0 = atomicrmw add ptr @sc, i8 1 monotonic19 %1 = atomicrmw add ptr @uc, i8 1 monotonic20 %2 = atomicrmw add ptr @ss, i16 1 monotonic21 %3 = atomicrmw add ptr @us, i16 1 monotonic22 %4 = atomicrmw add ptr @si, i32 1 monotonic23 %5 = atomicrmw add ptr @ui, i32 1 monotonic24 %6 = atomicrmw add ptr @sl, i64 1 monotonic25 %7 = atomicrmw add ptr @ul, i64 1 monotonic26 %8 = atomicrmw add ptr @sll, i64 1 monotonic27 %9 = atomicrmw add ptr @ull, i64 1 monotonic28 %10 = atomicrmw sub ptr @sc, i8 1 monotonic29 %11 = atomicrmw sub ptr @uc, i8 1 monotonic30 %12 = atomicrmw sub ptr @ss, i16 1 monotonic31 %13 = atomicrmw sub ptr @us, i16 1 monotonic32 %14 = atomicrmw sub ptr @si, i32 1 monotonic33 %15 = atomicrmw sub ptr @ui, i32 1 monotonic34 %16 = atomicrmw sub ptr @sl, i64 1 monotonic35 %17 = atomicrmw sub ptr @ul, i64 1 monotonic36 %18 = atomicrmw sub ptr @sll, i64 1 monotonic37 %19 = atomicrmw sub ptr @ull, i64 1 monotonic38 %20 = atomicrmw or ptr @sc, i8 1 monotonic39 %21 = atomicrmw or ptr @uc, i8 1 monotonic40 %22 = atomicrmw or ptr @ss, i16 1 monotonic41 %23 = atomicrmw or ptr @us, i16 1 monotonic42 %24 = atomicrmw or ptr @si, i32 1 monotonic43 %25 = atomicrmw or ptr @ui, i32 1 monotonic44 %26 = atomicrmw or ptr @sl, i64 1 monotonic45 %27 = atomicrmw or ptr @ul, i64 1 monotonic46 %28 = atomicrmw or ptr @sll, i64 1 monotonic47 %29 = atomicrmw or ptr @ull, i64 1 monotonic48 %30 = atomicrmw xor ptr @sc, i8 1 monotonic49 %31 = atomicrmw xor ptr @uc, i8 1 monotonic50 %32 = atomicrmw xor ptr @ss, i16 1 monotonic51 %33 = atomicrmw xor ptr @us, i16 1 monotonic52 %34 = atomicrmw xor ptr @si, i32 1 monotonic53 %35 = atomicrmw xor ptr @ui, i32 1 monotonic54 %36 = atomicrmw xor ptr @sl, i64 1 monotonic55 %37 = atomicrmw xor ptr @ul, i64 1 monotonic56 %38 = atomicrmw xor ptr @sll, i64 1 monotonic57 %39 = atomicrmw xor ptr @ull, i64 1 monotonic58 %40 = atomicrmw and ptr @sc, i8 1 monotonic59 %41 = atomicrmw and ptr @uc, i8 1 monotonic60 %42 = atomicrmw and ptr @ss, i16 1 monotonic61 %43 = atomicrmw and ptr @us, i16 1 monotonic62 %44 = atomicrmw and ptr @si, i32 1 monotonic63 %45 = atomicrmw and ptr @ui, i32 1 monotonic64 %46 = atomicrmw and ptr @sl, i64 1 monotonic65 %47 = atomicrmw and ptr @ul, i64 1 monotonic66 %48 = atomicrmw and ptr @sll, i64 1 monotonic67 %49 = atomicrmw and ptr @ull, i64 1 monotonic68 %50 = atomicrmw nand ptr @sc, i8 1 monotonic69 %51 = atomicrmw nand ptr @uc, i8 1 monotonic70 %52 = atomicrmw nand ptr @ss, i16 1 monotonic71 %53 = atomicrmw nand ptr @us, i16 1 monotonic72 %54 = atomicrmw nand ptr @si, i32 1 monotonic73 %55 = atomicrmw nand ptr @ui, i32 1 monotonic74 %56 = atomicrmw nand ptr @sl, i64 1 monotonic75 %57 = atomicrmw nand ptr @ul, i64 1 monotonic76 %58 = atomicrmw nand ptr @sll, i64 1 monotonic77 %59 = atomicrmw nand ptr @ull, i64 1 monotonic78 br label %return79 80return: ; preds = %entry81 ret void82}83 84define void @test_fetch_and_op() nounwind {85entry:86 %0 = atomicrmw add ptr @sc, i8 11 monotonic87 store i8 %0, ptr @sc, align 188 %1 = atomicrmw add ptr @uc, i8 11 monotonic89 store i8 %1, ptr @uc, align 190 %2 = atomicrmw add ptr @ss, i16 11 monotonic91 store i16 %2, ptr @ss, align 292 %3 = atomicrmw add ptr @us, i16 11 monotonic93 store i16 %3, ptr @us, align 294 %4 = atomicrmw add ptr @si, i32 11 monotonic95 store i32 %4, ptr @si, align 496 %5 = atomicrmw add ptr @ui, i32 11 monotonic97 store i32 %5, ptr @ui, align 498 %6 = atomicrmw add ptr @sl, i64 11 monotonic99 store i64 %6, ptr @sl, align 8100 %7 = atomicrmw add ptr @ul, i64 11 monotonic101 store i64 %7, ptr @ul, align 8102 %8 = atomicrmw add ptr @sll, i64 11 monotonic103 store i64 %8, ptr @sll, align 8104 %9 = atomicrmw add ptr @ull, i64 11 monotonic105 store i64 %9, ptr @ull, align 8106 %10 = atomicrmw sub ptr @sc, i8 11 monotonic107 store i8 %10, ptr @sc, align 1108 %11 = atomicrmw sub ptr @uc, i8 11 monotonic109 store i8 %11, ptr @uc, align 1110 %12 = atomicrmw sub ptr @ss, i16 11 monotonic111 store i16 %12, ptr @ss, align 2112 %13 = atomicrmw sub ptr @us, i16 11 monotonic113 store i16 %13, ptr @us, align 2114 %14 = atomicrmw sub ptr @si, i32 11 monotonic115 store i32 %14, ptr @si, align 4116 %15 = atomicrmw sub ptr @ui, i32 11 monotonic117 store i32 %15, ptr @ui, align 4118 %16 = atomicrmw sub ptr @sl, i64 11 monotonic119 store i64 %16, ptr @sl, align 8120 %17 = atomicrmw sub ptr @ul, i64 11 monotonic121 store i64 %17, ptr @ul, align 8122 %18 = atomicrmw sub ptr @sll, i64 11 monotonic123 store i64 %18, ptr @sll, align 8124 %19 = atomicrmw sub ptr @ull, i64 11 monotonic125 store i64 %19, ptr @ull, align 8126 %20 = atomicrmw or ptr @sc, i8 11 monotonic127 store i8 %20, ptr @sc, align 1128 %21 = atomicrmw or ptr @uc, i8 11 monotonic129 store i8 %21, ptr @uc, align 1130 %22 = atomicrmw or ptr @ss, i16 11 monotonic131 store i16 %22, ptr @ss, align 2132 %23 = atomicrmw or ptr @us, i16 11 monotonic133 store i16 %23, ptr @us, align 2134 %24 = atomicrmw or ptr @si, i32 11 monotonic135 store i32 %24, ptr @si, align 4136 %25 = atomicrmw or ptr @ui, i32 11 monotonic137 store i32 %25, ptr @ui, align 4138 %26 = atomicrmw or ptr @sl, i64 11 monotonic139 store i64 %26, ptr @sl, align 8140 %27 = atomicrmw or ptr @ul, i64 11 monotonic141 store i64 %27, ptr @ul, align 8142 %28 = atomicrmw or ptr @sll, i64 11 monotonic143 store i64 %28, ptr @sll, align 8144 %29 = atomicrmw or ptr @ull, i64 11 monotonic145 store i64 %29, ptr @ull, align 8146 %30 = atomicrmw xor ptr @sc, i8 11 monotonic147 store i8 %30, ptr @sc, align 1148 %31 = atomicrmw xor ptr @uc, i8 11 monotonic149 store i8 %31, ptr @uc, align 1150 %32 = atomicrmw xor ptr @ss, i16 11 monotonic151 store i16 %32, ptr @ss, align 2152 %33 = atomicrmw xor ptr @us, i16 11 monotonic153 store i16 %33, ptr @us, align 2154 %34 = atomicrmw xor ptr @si, i32 11 monotonic155 store i32 %34, ptr @si, align 4156 %35 = atomicrmw xor ptr @ui, i32 11 monotonic157 store i32 %35, ptr @ui, align 4158 %36 = atomicrmw xor ptr @sl, i64 11 monotonic159 store i64 %36, ptr @sl, align 8160 %37 = atomicrmw xor ptr @ul, i64 11 monotonic161 store i64 %37, ptr @ul, align 8162 %38 = atomicrmw xor ptr @sll, i64 11 monotonic163 store i64 %38, ptr @sll, align 8164 %39 = atomicrmw xor ptr @ull, i64 11 monotonic165 store i64 %39, ptr @ull, align 8166 %40 = atomicrmw and ptr @sc, i8 11 monotonic167 store i8 %40, ptr @sc, align 1168 %41 = atomicrmw and ptr @uc, i8 11 monotonic169 store i8 %41, ptr @uc, align 1170 %42 = atomicrmw and ptr @ss, i16 11 monotonic171 store i16 %42, ptr @ss, align 2172 %43 = atomicrmw and ptr @us, i16 11 monotonic173 store i16 %43, ptr @us, align 2174 %44 = atomicrmw and ptr @si, i32 11 monotonic175 store i32 %44, ptr @si, align 4176 %45 = atomicrmw and ptr @ui, i32 11 monotonic177 store i32 %45, ptr @ui, align 4178 %46 = atomicrmw and ptr @sl, i64 11 monotonic179 store i64 %46, ptr @sl, align 8180 %47 = atomicrmw and ptr @ul, i64 11 monotonic181 store i64 %47, ptr @ul, align 8182 %48 = atomicrmw and ptr @sll, i64 11 monotonic183 store i64 %48, ptr @sll, align 8184 %49 = atomicrmw and ptr @ull, i64 11 monotonic185 store i64 %49, ptr @ull, align 8186 %50 = atomicrmw nand ptr @sc, i8 11 monotonic187 store i8 %50, ptr @sc, align 1188 %51 = atomicrmw nand ptr @uc, i8 11 monotonic189 store i8 %51, ptr @uc, align 1190 %52 = atomicrmw nand ptr @ss, i16 11 monotonic191 store i16 %52, ptr @ss, align 2192 %53 = atomicrmw nand ptr @us, i16 11 monotonic193 store i16 %53, ptr @us, align 2194 %54 = atomicrmw nand ptr @si, i32 11 monotonic195 store i32 %54, ptr @si, align 4196 %55 = atomicrmw nand ptr @ui, i32 11 monotonic197 store i32 %55, ptr @ui, align 4198 %56 = atomicrmw nand ptr @sl, i64 11 monotonic199 store i64 %56, ptr @sl, align 8200 %57 = atomicrmw nand ptr @ul, i64 11 monotonic201 store i64 %57, ptr @ul, align 8202 %58 = atomicrmw nand ptr @sll, i64 11 monotonic203 store i64 %58, ptr @sll, align 8204 %59 = atomicrmw nand ptr @ull, i64 11 monotonic205 store i64 %59, ptr @ull, align 8206 br label %return207 208return: ; preds = %entry209 ret void210}211 212define void @test_op_and_fetch() nounwind {213entry:214 %0 = load i8, ptr @uc, align 1215 %1 = zext i8 %0 to i32216 %2 = trunc i32 %1 to i8217 %3 = atomicrmw add ptr @sc, i8 %2 monotonic218 %4 = add i8 %3, %2219 store i8 %4, ptr @sc, align 1220 %5 = load i8, ptr @uc, align 1221 %6 = zext i8 %5 to i32222 %7 = trunc i32 %6 to i8223 %8 = atomicrmw add ptr @uc, i8 %7 monotonic224 %9 = add i8 %8, %7225 store i8 %9, ptr @uc, align 1226 %10 = load i8, ptr @uc, align 1227 %11 = zext i8 %10 to i32228 %12 = trunc i32 %11 to i16229 %13 = atomicrmw add ptr @ss, i16 %12 monotonic230 %14 = add i16 %13, %12231 store i16 %14, ptr @ss, align 2232 %15 = load i8, ptr @uc, align 1233 %16 = zext i8 %15 to i32234 %17 = trunc i32 %16 to i16235 %18 = atomicrmw add ptr @us, i16 %17 monotonic236 %19 = add i16 %18, %17237 store i16 %19, ptr @us, align 2238 %20 = load i8, ptr @uc, align 1239 %21 = zext i8 %20 to i32240 %22 = atomicrmw add ptr @si, i32 %21 monotonic241 %23 = add i32 %22, %21242 store i32 %23, ptr @si, align 4243 %24 = load i8, ptr @uc, align 1244 %25 = zext i8 %24 to i32245 %26 = atomicrmw add ptr @ui, i32 %25 monotonic246 %27 = add i32 %26, %25247 store i32 %27, ptr @ui, align 4248 %28 = load i8, ptr @uc, align 1249 %29 = zext i8 %28 to i64250 %30 = atomicrmw add ptr @sl, i64 %29 monotonic251 %31 = add i64 %30, %29252 store i64 %31, ptr @sl, align 8253 %32 = load i8, ptr @uc, align 1254 %33 = zext i8 %32 to i64255 %34 = atomicrmw add ptr @ul, i64 %33 monotonic256 %35 = add i64 %34, %33257 store i64 %35, ptr @ul, align 8258 %36 = load i8, ptr @uc, align 1259 %37 = zext i8 %36 to i64260 %38 = atomicrmw add ptr @sll, i64 %37 monotonic261 %39 = add i64 %38, %37262 store i64 %39, ptr @sll, align 8263 %40 = load i8, ptr @uc, align 1264 %41 = zext i8 %40 to i64265 %42 = atomicrmw add ptr @ull, i64 %41 monotonic266 %43 = add i64 %42, %41267 store i64 %43, ptr @ull, align 8268 %44 = load i8, ptr @uc, align 1269 %45 = zext i8 %44 to i32270 %46 = trunc i32 %45 to i8271 %47 = atomicrmw sub ptr @sc, i8 %46 monotonic272 %48 = sub i8 %47, %46273 store i8 %48, ptr @sc, align 1274 %49 = load i8, ptr @uc, align 1275 %50 = zext i8 %49 to i32276 %51 = trunc i32 %50 to i8277 %52 = atomicrmw sub ptr @uc, i8 %51 monotonic278 %53 = sub i8 %52, %51279 store i8 %53, ptr @uc, align 1280 %54 = load i8, ptr @uc, align 1281 %55 = zext i8 %54 to i32282 %56 = trunc i32 %55 to i16283 %57 = atomicrmw sub ptr @ss, i16 %56 monotonic284 %58 = sub i16 %57, %56285 store i16 %58, ptr @ss, align 2286 %59 = load i8, ptr @uc, align 1287 %60 = zext i8 %59 to i32288 %61 = trunc i32 %60 to i16289 %62 = atomicrmw sub ptr @us, i16 %61 monotonic290 %63 = sub i16 %62, %61291 store i16 %63, ptr @us, align 2292 %64 = load i8, ptr @uc, align 1293 %65 = zext i8 %64 to i32294 %66 = atomicrmw sub ptr @si, i32 %65 monotonic295 %67 = sub i32 %66, %65296 store i32 %67, ptr @si, align 4297 %68 = load i8, ptr @uc, align 1298 %69 = zext i8 %68 to i32299 %70 = atomicrmw sub ptr @ui, i32 %69 monotonic300 %71 = sub i32 %70, %69301 store i32 %71, ptr @ui, align 4302 %72 = load i8, ptr @uc, align 1303 %73 = zext i8 %72 to i64304 %74 = atomicrmw sub ptr @sl, i64 %73 monotonic305 %75 = sub i64 %74, %73306 store i64 %75, ptr @sl, align 8307 %76 = load i8, ptr @uc, align 1308 %77 = zext i8 %76 to i64309 %78 = atomicrmw sub ptr @ul, i64 %77 monotonic310 %79 = sub i64 %78, %77311 store i64 %79, ptr @ul, align 8312 %80 = load i8, ptr @uc, align 1313 %81 = zext i8 %80 to i64314 %82 = atomicrmw sub ptr @sll, i64 %81 monotonic315 %83 = sub i64 %82, %81316 store i64 %83, ptr @sll, align 8317 %84 = load i8, ptr @uc, align 1318 %85 = zext i8 %84 to i64319 %86 = atomicrmw sub ptr @ull, i64 %85 monotonic320 %87 = sub i64 %86, %85321 store i64 %87, ptr @ull, align 8322 %88 = load i8, ptr @uc, align 1323 %89 = zext i8 %88 to i32324 %90 = trunc i32 %89 to i8325 %91 = atomicrmw or ptr @sc, i8 %90 monotonic326 %92 = or i8 %91, %90327 store i8 %92, ptr @sc, align 1328 %93 = load i8, ptr @uc, align 1329 %94 = zext i8 %93 to i32330 %95 = trunc i32 %94 to i8331 %96 = atomicrmw or ptr @uc, i8 %95 monotonic332 %97 = or i8 %96, %95333 store i8 %97, ptr @uc, align 1334 %98 = load i8, ptr @uc, align 1335 %99 = zext i8 %98 to i32336 %100 = trunc i32 %99 to i16337 %101 = atomicrmw or ptr @ss, i16 %100 monotonic338 %102 = or i16 %101, %100339 store i16 %102, ptr @ss, align 2340 %103 = load i8, ptr @uc, align 1341 %104 = zext i8 %103 to i32342 %105 = trunc i32 %104 to i16343 %106 = atomicrmw or ptr @us, i16 %105 monotonic344 %107 = or i16 %106, %105345 store i16 %107, ptr @us, align 2346 %108 = load i8, ptr @uc, align 1347 %109 = zext i8 %108 to i32348 %110 = atomicrmw or ptr @si, i32 %109 monotonic349 %111 = or i32 %110, %109350 store i32 %111, ptr @si, align 4351 %112 = load i8, ptr @uc, align 1352 %113 = zext i8 %112 to i32353 %114 = atomicrmw or ptr @ui, i32 %113 monotonic354 %115 = or i32 %114, %113355 store i32 %115, ptr @ui, align 4356 %116 = load i8, ptr @uc, align 1357 %117 = zext i8 %116 to i64358 %118 = atomicrmw or ptr @sl, i64 %117 monotonic359 %119 = or i64 %118, %117360 store i64 %119, ptr @sl, align 8361 %120 = load i8, ptr @uc, align 1362 %121 = zext i8 %120 to i64363 %122 = atomicrmw or ptr @ul, i64 %121 monotonic364 %123 = or i64 %122, %121365 store i64 %123, ptr @ul, align 8366 %124 = load i8, ptr @uc, align 1367 %125 = zext i8 %124 to i64368 %126 = atomicrmw or ptr @sll, i64 %125 monotonic369 %127 = or i64 %126, %125370 store i64 %127, ptr @sll, align 8371 %128 = load i8, ptr @uc, align 1372 %129 = zext i8 %128 to i64373 %130 = atomicrmw or ptr @ull, i64 %129 monotonic374 %131 = or i64 %130, %129375 store i64 %131, ptr @ull, align 8376 %132 = load i8, ptr @uc, align 1377 %133 = zext i8 %132 to i32378 %134 = trunc i32 %133 to i8379 %135 = atomicrmw xor ptr @sc, i8 %134 monotonic380 %136 = xor i8 %135, %134381 store i8 %136, ptr @sc, align 1382 %137 = load i8, ptr @uc, align 1383 %138 = zext i8 %137 to i32384 %139 = trunc i32 %138 to i8385 %140 = atomicrmw xor ptr @uc, i8 %139 monotonic386 %141 = xor i8 %140, %139387 store i8 %141, ptr @uc, align 1388 %142 = load i8, ptr @uc, align 1389 %143 = zext i8 %142 to i32390 %144 = trunc i32 %143 to i16391 %145 = atomicrmw xor ptr @ss, i16 %144 monotonic392 %146 = xor i16 %145, %144393 store i16 %146, ptr @ss, align 2394 %147 = load i8, ptr @uc, align 1395 %148 = zext i8 %147 to i32396 %149 = trunc i32 %148 to i16397 %150 = atomicrmw xor ptr @us, i16 %149 monotonic398 %151 = xor i16 %150, %149399 store i16 %151, ptr @us, align 2400 %152 = load i8, ptr @uc, align 1401 %153 = zext i8 %152 to i32402 %154 = atomicrmw xor ptr @si, i32 %153 monotonic403 %155 = xor i32 %154, %153404 store i32 %155, ptr @si, align 4405 %156 = load i8, ptr @uc, align 1406 %157 = zext i8 %156 to i32407 %158 = atomicrmw xor ptr @ui, i32 %157 monotonic408 %159 = xor i32 %158, %157409 store i32 %159, ptr @ui, align 4410 %160 = load i8, ptr @uc, align 1411 %161 = zext i8 %160 to i64412 %162 = atomicrmw xor ptr @sl, i64 %161 monotonic413 %163 = xor i64 %162, %161414 store i64 %163, ptr @sl, align 8415 %164 = load i8, ptr @uc, align 1416 %165 = zext i8 %164 to i64417 %166 = atomicrmw xor ptr @ul, i64 %165 monotonic418 %167 = xor i64 %166, %165419 store i64 %167, ptr @ul, align 8420 %168 = load i8, ptr @uc, align 1421 %169 = zext i8 %168 to i64422 %170 = atomicrmw xor ptr @sll, i64 %169 monotonic423 %171 = xor i64 %170, %169424 store i64 %171, ptr @sll, align 8425 %172 = load i8, ptr @uc, align 1426 %173 = zext i8 %172 to i64427 %174 = atomicrmw xor ptr @ull, i64 %173 monotonic428 %175 = xor i64 %174, %173429 store i64 %175, ptr @ull, align 8430 %176 = load i8, ptr @uc, align 1431 %177 = zext i8 %176 to i32432 %178 = trunc i32 %177 to i8433 %179 = atomicrmw and ptr @sc, i8 %178 monotonic434 %180 = and i8 %179, %178435 store i8 %180, ptr @sc, align 1436 %181 = load i8, ptr @uc, align 1437 %182 = zext i8 %181 to i32438 %183 = trunc i32 %182 to i8439 %184 = atomicrmw and ptr @uc, i8 %183 monotonic440 %185 = and i8 %184, %183441 store i8 %185, ptr @uc, align 1442 %186 = load i8, ptr @uc, align 1443 %187 = zext i8 %186 to i32444 %188 = trunc i32 %187 to i16445 %189 = atomicrmw and ptr @ss, i16 %188 monotonic446 %190 = and i16 %189, %188447 store i16 %190, ptr @ss, align 2448 %191 = load i8, ptr @uc, align 1449 %192 = zext i8 %191 to i32450 %193 = trunc i32 %192 to i16451 %194 = atomicrmw and ptr @us, i16 %193 monotonic452 %195 = and i16 %194, %193453 store i16 %195, ptr @us, align 2454 %196 = load i8, ptr @uc, align 1455 %197 = zext i8 %196 to i32456 %198 = atomicrmw and ptr @si, i32 %197 monotonic457 %199 = and i32 %198, %197458 store i32 %199, ptr @si, align 4459 %200 = load i8, ptr @uc, align 1460 %201 = zext i8 %200 to i32461 %202 = atomicrmw and ptr @ui, i32 %201 monotonic462 %203 = and i32 %202, %201463 store i32 %203, ptr @ui, align 4464 %204 = load i8, ptr @uc, align 1465 %205 = zext i8 %204 to i64466 %206 = atomicrmw and ptr @sl, i64 %205 monotonic467 %207 = and i64 %206, %205468 store i64 %207, ptr @sl, align 8469 %208 = load i8, ptr @uc, align 1470 %209 = zext i8 %208 to i64471 %210 = atomicrmw and ptr @ul, i64 %209 monotonic472 %211 = and i64 %210, %209473 store i64 %211, ptr @ul, align 8474 %212 = load i8, ptr @uc, align 1475 %213 = zext i8 %212 to i64476 %214 = atomicrmw and ptr @sll, i64 %213 monotonic477 %215 = and i64 %214, %213478 store i64 %215, ptr @sll, align 8479 %216 = load i8, ptr @uc, align 1480 %217 = zext i8 %216 to i64481 %218 = atomicrmw and ptr @ull, i64 %217 monotonic482 %219 = and i64 %218, %217483 store i64 %219, ptr @ull, align 8484 %220 = load i8, ptr @uc, align 1485 %221 = zext i8 %220 to i32486 %222 = trunc i32 %221 to i8487 %223 = atomicrmw nand ptr @sc, i8 %222 monotonic488 %224 = xor i8 %223, -1489 %225 = and i8 %224, %222490 store i8 %225, ptr @sc, align 1491 %226 = load i8, ptr @uc, align 1492 %227 = zext i8 %226 to i32493 %228 = trunc i32 %227 to i8494 %229 = atomicrmw nand ptr @uc, i8 %228 monotonic495 %230 = xor i8 %229, -1496 %231 = and i8 %230, %228497 store i8 %231, ptr @uc, align 1498 %232 = load i8, ptr @uc, align 1499 %233 = zext i8 %232 to i32500 %234 = trunc i32 %233 to i16501 %235 = atomicrmw nand ptr @ss, i16 %234 monotonic502 %236 = xor i16 %235, -1503 %237 = and i16 %236, %234504 store i16 %237, ptr @ss, align 2505 %238 = load i8, ptr @uc, align 1506 %239 = zext i8 %238 to i32507 %240 = trunc i32 %239 to i16508 %241 = atomicrmw nand ptr @us, i16 %240 monotonic509 %242 = xor i16 %241, -1510 %243 = and i16 %242, %240511 store i16 %243, ptr @us, align 2512 %244 = load i8, ptr @uc, align 1513 %245 = zext i8 %244 to i32514 %246 = atomicrmw nand ptr @si, i32 %245 monotonic515 %247 = xor i32 %246, -1516 %248 = and i32 %247, %245517 store i32 %248, ptr @si, align 4518 %249 = load i8, ptr @uc, align 1519 %250 = zext i8 %249 to i32520 %251 = atomicrmw nand ptr @ui, i32 %250 monotonic521 %252 = xor i32 %251, -1522 %253 = and i32 %252, %250523 store i32 %253, ptr @ui, align 4524 %254 = load i8, ptr @uc, align 1525 %255 = zext i8 %254 to i64526 %256 = atomicrmw nand ptr @sl, i64 %255 monotonic527 %257 = xor i64 %256, -1528 %258 = and i64 %257, %255529 store i64 %258, ptr @sl, align 8530 %259 = load i8, ptr @uc, align 1531 %260 = zext i8 %259 to i64532 %261 = atomicrmw nand ptr @ul, i64 %260 monotonic533 %262 = xor i64 %261, -1534 %263 = and i64 %262, %260535 store i64 %263, ptr @ul, align 8536 %264 = load i8, ptr @uc, align 1537 %265 = zext i8 %264 to i64538 %266 = atomicrmw nand ptr @sll, i64 %265 monotonic539 %267 = xor i64 %266, -1540 %268 = and i64 %267, %265541 store i64 %268, ptr @sll, align 8542 %269 = load i8, ptr @uc, align 1543 %270 = zext i8 %269 to i64544 %271 = atomicrmw nand ptr @ull, i64 %270 monotonic545 %272 = xor i64 %271, -1546 %273 = and i64 %272, %270547 store i64 %273, ptr @ull, align 8548 br label %return549 550return: ; preds = %entry551 ret void552}553 554define void @test_compare_and_swap() nounwind {555entry:556 %0 = load i8, ptr @sc, align 1557 %1 = zext i8 %0 to i32558 %2 = load i8, ptr @uc, align 1559 %3 = zext i8 %2 to i32560 %4 = trunc i32 %3 to i8561 %5 = trunc i32 %1 to i8562 %pair6 = cmpxchg ptr @sc, i8 %4, i8 %5 monotonic monotonic563 %6 = extractvalue { i8, i1 } %pair6, 0564 store i8 %6, ptr @sc, align 1565 %7 = load i8, ptr @sc, align 1566 %8 = zext i8 %7 to i32567 %9 = load i8, ptr @uc, align 1568 %10 = zext i8 %9 to i32569 %11 = trunc i32 %10 to i8570 %12 = trunc i32 %8 to i8571 %pair13 = cmpxchg ptr @uc, i8 %11, i8 %12 monotonic monotonic572 %13 = extractvalue { i8, i1 } %pair13, 0573 store i8 %13, ptr @uc, align 1574 %14 = load i8, ptr @sc, align 1575 %15 = sext i8 %14 to i16576 %16 = zext i16 %15 to i32577 %17 = load i8, ptr @uc, align 1578 %18 = zext i8 %17 to i32579 %19 = trunc i32 %18 to i16580 %20 = trunc i32 %16 to i16581 %pair22 = cmpxchg ptr @ss, i16 %19, i16 %20 monotonic monotonic582 %21 = extractvalue { i16, i1 } %pair22, 0583 store i16 %21, ptr @ss, align 2584 %22 = load i8, ptr @sc, align 1585 %23 = sext i8 %22 to i16586 %24 = zext i16 %23 to i32587 %25 = load i8, ptr @uc, align 1588 %26 = zext i8 %25 to i32589 %27 = trunc i32 %26 to i16590 %28 = trunc i32 %24 to i16591 %pair31 = cmpxchg ptr @us, i16 %27, i16 %28 monotonic monotonic592 %29 = extractvalue { i16, i1 } %pair31, 0593 store i16 %29, ptr @us, align 2594 %30 = load i8, ptr @sc, align 1595 %31 = sext i8 %30 to i32596 %32 = load i8, ptr @uc, align 1597 %33 = zext i8 %32 to i32598 %pair37 = cmpxchg ptr @si, i32 %33, i32 %31 monotonic monotonic599 %34 = extractvalue { i32, i1 } %pair37, 0600 store i32 %34, ptr @si, align 4601 %35 = load i8, ptr @sc, align 1602 %36 = sext i8 %35 to i32603 %37 = load i8, ptr @uc, align 1604 %38 = zext i8 %37 to i32605 %pair43 = cmpxchg ptr @ui, i32 %38, i32 %36 monotonic monotonic606 %39 = extractvalue { i32, i1 } %pair43, 0607 store i32 %39, ptr @ui, align 4608 %40 = load i8, ptr @sc, align 1609 %41 = sext i8 %40 to i64610 %42 = load i8, ptr @uc, align 1611 %43 = zext i8 %42 to i64612 %pair49 = cmpxchg ptr @sl, i64 %43, i64 %41 monotonic monotonic613 %44 = extractvalue { i64, i1 } %pair49, 0614 store i64 %44, ptr @sl, align 8615 %45 = load i8, ptr @sc, align 1616 %46 = sext i8 %45 to i64617 %47 = load i8, ptr @uc, align 1618 %48 = zext i8 %47 to i64619 %pair55 = cmpxchg ptr @ul, i64 %48, i64 %46 monotonic monotonic620 %49 = extractvalue { i64, i1 } %pair55, 0621 store i64 %49, ptr @ul, align 8622 %50 = load i8, ptr @sc, align 1623 %51 = sext i8 %50 to i64624 %52 = load i8, ptr @uc, align 1625 %53 = zext i8 %52 to i64626 %pair61 = cmpxchg ptr @sll, i64 %53, i64 %51 monotonic monotonic627 %54 = extractvalue { i64, i1 } %pair61, 0628 store i64 %54, ptr @sll, align 8629 %55 = load i8, ptr @sc, align 1630 %56 = sext i8 %55 to i64631 %57 = load i8, ptr @uc, align 1632 %58 = zext i8 %57 to i64633 %pair67 = cmpxchg ptr @ull, i64 %58, i64 %56 monotonic monotonic634 %59 = extractvalue { i64, i1 } %pair67, 0635 store i64 %59, ptr @ull, align 8636 %60 = load i8, ptr @sc, align 1637 %61 = zext i8 %60 to i32638 %62 = load i8, ptr @uc, align 1639 %63 = zext i8 %62 to i32640 %64 = trunc i32 %63 to i8641 %65 = trunc i32 %61 to i8642 %pair74 = cmpxchg ptr @sc, i8 %64, i8 %65 monotonic monotonic643 %66 = extractvalue { i8, i1 } %pair74, 0644 %67 = icmp eq i8 %66, %64645 %68 = zext i1 %67 to i8646 %69 = zext i8 %68 to i32647 store i32 %69, ptr @ui, align 4648 %70 = load i8, ptr @sc, align 1649 %71 = zext i8 %70 to i32650 %72 = load i8, ptr @uc, align 1651 %73 = zext i8 %72 to i32652 %74 = trunc i32 %73 to i8653 %75 = trunc i32 %71 to i8654 %pair84 = cmpxchg ptr @uc, i8 %74, i8 %75 monotonic monotonic655 %76 = extractvalue { i8, i1 } %pair84, 0656 %77 = icmp eq i8 %76, %74657 %78 = zext i1 %77 to i8658 %79 = zext i8 %78 to i32659 store i32 %79, ptr @ui, align 4660 %80 = load i8, ptr @sc, align 1661 %81 = sext i8 %80 to i16662 %82 = zext i16 %81 to i32663 %83 = load i8, ptr @uc, align 1664 %84 = zext i8 %83 to i32665 %85 = trunc i32 %84 to i8666 %86 = trunc i32 %82 to i8667 %pair95 = cmpxchg ptr @ss, i8 %85, i8 %86 monotonic monotonic668 %87 = extractvalue { i8, i1 } %pair95, 0669 %88 = icmp eq i8 %87, %85670 %89 = zext i1 %88 to i8671 %90 = zext i8 %89 to i32672 store i32 %90, ptr @ui, align 4673 %91 = load i8, ptr @sc, align 1674 %92 = sext i8 %91 to i16675 %93 = zext i16 %92 to i32676 %94 = load i8, ptr @uc, align 1677 %95 = zext i8 %94 to i32678 %96 = trunc i32 %95 to i8679 %97 = trunc i32 %93 to i8680 %pair106 = cmpxchg ptr @us, i8 %96, i8 %97 monotonic monotonic681 %98 = extractvalue { i8, i1 } %pair106, 0682 %99 = icmp eq i8 %98, %96683 %100 = zext i1 %99 to i8684 %101 = zext i8 %100 to i32685 store i32 %101, ptr @ui, align 4686 %102 = load i8, ptr @sc, align 1687 %103 = sext i8 %102 to i32688 %104 = load i8, ptr @uc, align 1689 %105 = zext i8 %104 to i32690 %106 = trunc i32 %105 to i8691 %107 = trunc i32 %103 to i8692 %pair116 = cmpxchg ptr @si, i8 %106, i8 %107 monotonic monotonic693 %108 = extractvalue { i8, i1 } %pair116, 0694 %109 = icmp eq i8 %108, %106695 %110 = zext i1 %109 to i8696 %111 = zext i8 %110 to i32697 store i32 %111, ptr @ui, align 4698 %112 = load i8, ptr @sc, align 1699 %113 = sext i8 %112 to i32700 %114 = load i8, ptr @uc, align 1701 %115 = zext i8 %114 to i32702 %116 = trunc i32 %115 to i8703 %117 = trunc i32 %113 to i8704 %pair126 = cmpxchg ptr @ui, i8 %116, i8 %117 monotonic monotonic705 %118 = extractvalue { i8, i1 } %pair126, 0706 %119 = icmp eq i8 %118, %116707 %120 = zext i1 %119 to i8708 %121 = zext i8 %120 to i32709 store i32 %121, ptr @ui, align 4710 %122 = load i8, ptr @sc, align 1711 %123 = sext i8 %122 to i64712 %124 = load i8, ptr @uc, align 1713 %125 = zext i8 %124 to i64714 %126 = trunc i64 %125 to i8715 %127 = trunc i64 %123 to i8716 %pair136 = cmpxchg ptr @sl, i8 %126, i8 %127 monotonic monotonic717 %128 = extractvalue { i8, i1 } %pair136, 0718 %129 = icmp eq i8 %128, %126719 %130 = zext i1 %129 to i8720 %131 = zext i8 %130 to i32721 store i32 %131, ptr @ui, align 4722 %132 = load i8, ptr @sc, align 1723 %133 = sext i8 %132 to i64724 %134 = load i8, ptr @uc, align 1725 %135 = zext i8 %134 to i64726 %136 = trunc i64 %135 to i8727 %137 = trunc i64 %133 to i8728 %pair146 = cmpxchg ptr @ul, i8 %136, i8 %137 monotonic monotonic729 %138 = extractvalue { i8, i1 } %pair146, 0730 %139 = icmp eq i8 %138, %136731 %140 = zext i1 %139 to i8732 %141 = zext i8 %140 to i32733 store i32 %141, ptr @ui, align 4734 %142 = load i8, ptr @sc, align 1735 %143 = sext i8 %142 to i64736 %144 = load i8, ptr @uc, align 1737 %145 = zext i8 %144 to i64738 %146 = trunc i64 %145 to i8739 %147 = trunc i64 %143 to i8740 %pair156 = cmpxchg ptr @sll, i8 %146, i8 %147 monotonic monotonic741 %148 = extractvalue { i8, i1 } %pair156, 0742 %149 = icmp eq i8 %148, %146743 %150 = zext i1 %149 to i8744 %151 = zext i8 %150 to i32745 store i32 %151, ptr @ui, align 4746 %152 = load i8, ptr @sc, align 1747 %153 = sext i8 %152 to i64748 %154 = load i8, ptr @uc, align 1749 %155 = zext i8 %154 to i64750 %156 = trunc i64 %155 to i8751 %157 = trunc i64 %153 to i8752 %pair166 = cmpxchg ptr @ull, i8 %156, i8 %157 monotonic monotonic753 %158 = extractvalue { i8, i1 } %pair166, 0754 %159 = icmp eq i8 %158, %156755 %160 = zext i1 %159 to i8756 %161 = zext i8 %160 to i32757 store i32 %161, ptr @ui, align 4758 br label %return759 760return: ; preds = %entry761 ret void762}763 764define void @test_lock() nounwind {765entry:766 %0 = atomicrmw xchg ptr @sc, i8 1 monotonic767 store i8 %0, ptr @sc, align 1768 %1 = atomicrmw xchg ptr @uc, i8 1 monotonic769 store i8 %1, ptr @uc, align 1770 %2 = atomicrmw xchg ptr @ss, i16 1 monotonic771 store i16 %2, ptr @ss, align 2772 %3 = atomicrmw xchg ptr @us, i16 1 monotonic773 store i16 %3, ptr @us, align 2774 %4 = atomicrmw xchg ptr @si, i32 1 monotonic775 store i32 %4, ptr @si, align 4776 %5 = atomicrmw xchg ptr @ui, i32 1 monotonic777 store i32 %5, ptr @ui, align 4778 %6 = atomicrmw xchg ptr @sl, i64 1 monotonic779 store i64 %6, ptr @sl, align 8780 %7 = atomicrmw xchg ptr @ul, i64 1 monotonic781 store i64 %7, ptr @ul, align 8782 %8 = atomicrmw xchg ptr @sll, i64 1 monotonic783 store i64 %8, ptr @sll, align 8784 %9 = atomicrmw xchg ptr @ull, i64 1 monotonic785 store i64 %9, ptr @ull, align 8786 fence seq_cst787 store volatile i8 0, ptr @sc, align 1788 store volatile i8 0, ptr @uc, align 1789 store volatile i16 0, ptr @ss, align 2790 store volatile i16 0, ptr @us, align 2791 store volatile i32 0, ptr @si, align 4792 store volatile i32 0, ptr @ui, align 4793 store volatile i64 0, ptr @sl, align 8794 store volatile i64 0, ptr @ul, align 8795 store volatile i64 0, ptr @sll, align 8796 store volatile i64 0, ptr @ull, align 8797 br label %return798 799return: ; preds = %entry800 ret void801}802