| ; RUN: llc < %s -verify-machineinstrs |
| ; |
| ; This test is disabled until PPCISelLowering learns to insert proper 64-bit |
| ; code for ATOMIC_CMP_SWAP. Currently, it is inserting 32-bit instructions with |
| ; 64-bit operands which causes the machine code verifier to throw a tantrum. |
| ; |
| ; XFAIL: * |
| |
| target 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" |
| target triple = "powerpc64-unknown-linux-gnu" |
| |
| @sc = common global i8 0 |
| @uc = common global i8 0 |
| @ss = common global i16 0 |
| @us = common global i16 0 |
| @si = common global i32 0 |
| @ui = common global i32 0 |
| @sl = common global i64 0, align 8 |
| @ul = common global i64 0, align 8 |
| @sll = common global i64 0, align 8 |
| @ull = common global i64 0, align 8 |
| |
| define void @test_op_ignore() nounwind { |
| entry: |
| %0 = atomicrmw add ptr @sc, i8 1 monotonic |
| %1 = atomicrmw add ptr @uc, i8 1 monotonic |
| %2 = atomicrmw add ptr @ss, i16 1 monotonic |
| %3 = atomicrmw add ptr @us, i16 1 monotonic |
| %4 = atomicrmw add ptr @si, i32 1 monotonic |
| %5 = atomicrmw add ptr @ui, i32 1 monotonic |
| %6 = atomicrmw add ptr @sl, i64 1 monotonic |
| %7 = atomicrmw add ptr @ul, i64 1 monotonic |
| %8 = atomicrmw sub ptr @sc, i8 1 monotonic |
| %9 = atomicrmw sub ptr @uc, i8 1 monotonic |
| %10 = atomicrmw sub ptr @ss, i16 1 monotonic |
| %11 = atomicrmw sub ptr @us, i16 1 monotonic |
| %12 = atomicrmw sub ptr @si, i32 1 monotonic |
| %13 = atomicrmw sub ptr @ui, i32 1 monotonic |
| %14 = atomicrmw sub ptr @sl, i64 1 monotonic |
| %15 = atomicrmw sub ptr @ul, i64 1 monotonic |
| %16 = atomicrmw or ptr @sc, i8 1 monotonic |
| %17 = atomicrmw or ptr @uc, i8 1 monotonic |
| %18 = atomicrmw or ptr @ss, i16 1 monotonic |
| %19 = atomicrmw or ptr @us, i16 1 monotonic |
| %20 = atomicrmw or ptr @si, i32 1 monotonic |
| %21 = atomicrmw or ptr @ui, i32 1 monotonic |
| %22 = atomicrmw or ptr @sl, i64 1 monotonic |
| %23 = atomicrmw or ptr @ul, i64 1 monotonic |
| %24 = atomicrmw xor ptr @sc, i8 1 monotonic |
| %25 = atomicrmw xor ptr @uc, i8 1 monotonic |
| %26 = atomicrmw xor ptr @ss, i16 1 monotonic |
| %27 = atomicrmw xor ptr @us, i16 1 monotonic |
| %28 = atomicrmw xor ptr @si, i32 1 monotonic |
| %29 = atomicrmw xor ptr @ui, i32 1 monotonic |
| %30 = atomicrmw xor ptr @sl, i64 1 monotonic |
| %31 = atomicrmw xor ptr @ul, i64 1 monotonic |
| %32 = atomicrmw and ptr @sc, i8 1 monotonic |
| %33 = atomicrmw and ptr @uc, i8 1 monotonic |
| %34 = atomicrmw and ptr @ss, i16 1 monotonic |
| %35 = atomicrmw and ptr @us, i16 1 monotonic |
| %36 = atomicrmw and ptr @si, i32 1 monotonic |
| %37 = atomicrmw and ptr @ui, i32 1 monotonic |
| %38 = atomicrmw and ptr @sl, i64 1 monotonic |
| %39 = atomicrmw and ptr @ul, i64 1 monotonic |
| %40 = atomicrmw nand ptr @sc, i8 1 monotonic |
| %41 = atomicrmw nand ptr @uc, i8 1 monotonic |
| %42 = atomicrmw nand ptr @ss, i16 1 monotonic |
| %43 = atomicrmw nand ptr @us, i16 1 monotonic |
| %44 = atomicrmw nand ptr @si, i32 1 monotonic |
| %45 = atomicrmw nand ptr @ui, i32 1 monotonic |
| %46 = atomicrmw nand ptr @sl, i64 1 monotonic |
| %47 = atomicrmw nand ptr @ul, i64 1 monotonic |
| br label %return |
| |
| return: ; preds = %entry |
| ret void |
| } |
| |
| define void @test_fetch_and_op() nounwind { |
| entry: |
| %0 = atomicrmw add ptr @sc, i8 11 monotonic |
| store i8 %0, ptr @sc, align 1 |
| %1 = atomicrmw add ptr @uc, i8 11 monotonic |
| store i8 %1, ptr @uc, align 1 |
| %2 = atomicrmw add ptr @ss, i16 11 monotonic |
| store i16 %2, ptr @ss, align 2 |
| %3 = atomicrmw add ptr @us, i16 11 monotonic |
| store i16 %3, ptr @us, align 2 |
| %4 = atomicrmw add ptr @si, i32 11 monotonic |
| store i32 %4, ptr @si, align 4 |
| %5 = atomicrmw add ptr @ui, i32 11 monotonic |
| store i32 %5, ptr @ui, align 4 |
| %6 = atomicrmw add ptr @sl, i64 11 monotonic |
| store i64 %6, ptr @sl, align 8 |
| %7 = atomicrmw add ptr @ul, i64 11 monotonic |
| store i64 %7, ptr @ul, align 8 |
| %8 = atomicrmw sub ptr @sc, i8 11 monotonic |
| store i8 %8, ptr @sc, align 1 |
| %9 = atomicrmw sub ptr @uc, i8 11 monotonic |
| store i8 %9, ptr @uc, align 1 |
| %10 = atomicrmw sub ptr @ss, i16 11 monotonic |
| store i16 %10, ptr @ss, align 2 |
| %11 = atomicrmw sub ptr @us, i16 11 monotonic |
| store i16 %11, ptr @us, align 2 |
| %12 = atomicrmw sub ptr @si, i32 11 monotonic |
| store i32 %12, ptr @si, align 4 |
| %13 = atomicrmw sub ptr @ui, i32 11 monotonic |
| store i32 %13, ptr @ui, align 4 |
| %14 = atomicrmw sub ptr @sl, i64 11 monotonic |
| store i64 %14, ptr @sl, align 8 |
| %15 = atomicrmw sub ptr @ul, i64 11 monotonic |
| store i64 %15, ptr @ul, align 8 |
| %16 = atomicrmw or ptr @sc, i8 11 monotonic |
| store i8 %16, ptr @sc, align 1 |
| %17 = atomicrmw or ptr @uc, i8 11 monotonic |
| store i8 %17, ptr @uc, align 1 |
| %18 = atomicrmw or ptr @ss, i16 11 monotonic |
| store i16 %18, ptr @ss, align 2 |
| %19 = atomicrmw or ptr @us, i16 11 monotonic |
| store i16 %19, ptr @us, align 2 |
| %20 = atomicrmw or ptr @si, i32 11 monotonic |
| store i32 %20, ptr @si, align 4 |
| %21 = atomicrmw or ptr @ui, i32 11 monotonic |
| store i32 %21, ptr @ui, align 4 |
| %22 = atomicrmw or ptr @sl, i64 11 monotonic |
| store i64 %22, ptr @sl, align 8 |
| %23 = atomicrmw or ptr @ul, i64 11 monotonic |
| store i64 %23, ptr @ul, align 8 |
| %24 = atomicrmw xor ptr @sc, i8 11 monotonic |
| store i8 %24, ptr @sc, align 1 |
| %25 = atomicrmw xor ptr @uc, i8 11 monotonic |
| store i8 %25, ptr @uc, align 1 |
| %26 = atomicrmw xor ptr @ss, i16 11 monotonic |
| store i16 %26, ptr @ss, align 2 |
| %27 = atomicrmw xor ptr @us, i16 11 monotonic |
| store i16 %27, ptr @us, align 2 |
| %28 = atomicrmw xor ptr @si, i32 11 monotonic |
| store i32 %28, ptr @si, align 4 |
| %29 = atomicrmw xor ptr @ui, i32 11 monotonic |
| store i32 %29, ptr @ui, align 4 |
| %30 = atomicrmw xor ptr @sl, i64 11 monotonic |
| store i64 %30, ptr @sl, align 8 |
| %31 = atomicrmw xor ptr @ul, i64 11 monotonic |
| store i64 %31, ptr @ul, align 8 |
| %32 = atomicrmw and ptr @sc, i8 11 monotonic |
| store i8 %32, ptr @sc, align 1 |
| %33 = atomicrmw and ptr @uc, i8 11 monotonic |
| store i8 %33, ptr @uc, align 1 |
| %34 = atomicrmw and ptr @ss, i16 11 monotonic |
| store i16 %34, ptr @ss, align 2 |
| %35 = atomicrmw and ptr @us, i16 11 monotonic |
| store i16 %35, ptr @us, align 2 |
| %36 = atomicrmw and ptr @si, i32 11 monotonic |
| store i32 %36, ptr @si, align 4 |
| %37 = atomicrmw and ptr @ui, i32 11 monotonic |
| store i32 %37, ptr @ui, align 4 |
| %38 = atomicrmw and ptr @sl, i64 11 monotonic |
| store i64 %38, ptr @sl, align 8 |
| %39 = atomicrmw and ptr @ul, i64 11 monotonic |
| store i64 %39, ptr @ul, align 8 |
| %40 = atomicrmw nand ptr @sc, i8 11 monotonic |
| store i8 %40, ptr @sc, align 1 |
| %41 = atomicrmw nand ptr @uc, i8 11 monotonic |
| store i8 %41, ptr @uc, align 1 |
| %42 = atomicrmw nand ptr @ss, i16 11 monotonic |
| store i16 %42, ptr @ss, align 2 |
| %43 = atomicrmw nand ptr @us, i16 11 monotonic |
| store i16 %43, ptr @us, align 2 |
| %44 = atomicrmw nand ptr @si, i32 11 monotonic |
| store i32 %44, ptr @si, align 4 |
| %45 = atomicrmw nand ptr @ui, i32 11 monotonic |
| store i32 %45, ptr @ui, align 4 |
| %46 = atomicrmw nand ptr @sl, i64 11 monotonic |
| store i64 %46, ptr @sl, align 8 |
| %47 = atomicrmw nand ptr @ul, i64 11 monotonic |
| store i64 %47, ptr @ul, align 8 |
| br label %return |
| |
| return: ; preds = %entry |
| ret void |
| } |
| |
| define void @test_op_and_fetch() nounwind { |
| entry: |
| %0 = load i8, ptr @uc, align 1 |
| %1 = atomicrmw add ptr @sc, i8 %0 monotonic |
| %2 = add i8 %1, %0 |
| store i8 %2, ptr @sc, align 1 |
| %3 = load i8, ptr @uc, align 1 |
| %4 = atomicrmw add ptr @uc, i8 %3 monotonic |
| %5 = add i8 %4, %3 |
| store i8 %5, ptr @uc, align 1 |
| %6 = load i8, ptr @uc, align 1 |
| %7 = zext i8 %6 to i16 |
| %8 = atomicrmw add ptr @ss, i16 %7 monotonic |
| %9 = add i16 %8, %7 |
| store i16 %9, ptr @ss, align 2 |
| %10 = load i8, ptr @uc, align 1 |
| %11 = zext i8 %10 to i16 |
| %12 = atomicrmw add ptr @us, i16 %11 monotonic |
| %13 = add i16 %12, %11 |
| store i16 %13, ptr @us, align 2 |
| %14 = load i8, ptr @uc, align 1 |
| %15 = zext i8 %14 to i32 |
| %16 = atomicrmw add ptr @si, i32 %15 monotonic |
| %17 = add i32 %16, %15 |
| store i32 %17, ptr @si, align 4 |
| %18 = load i8, ptr @uc, align 1 |
| %19 = zext i8 %18 to i32 |
| %20 = atomicrmw add ptr @ui, i32 %19 monotonic |
| %21 = add i32 %20, %19 |
| store i32 %21, ptr @ui, align 4 |
| %22 = load i8, ptr @uc, align 1 |
| %23 = zext i8 %22 to i64 |
| %24 = atomicrmw add ptr @sl, i64 %23 monotonic |
| %25 = add i64 %24, %23 |
| store i64 %25, ptr @sl, align 8 |
| %26 = load i8, ptr @uc, align 1 |
| %27 = zext i8 %26 to i64 |
| %28 = atomicrmw add ptr @ul, i64 %27 monotonic |
| %29 = add i64 %28, %27 |
| store i64 %29, ptr @ul, align 8 |
| %30 = load i8, ptr @uc, align 1 |
| %31 = atomicrmw sub ptr @sc, i8 %30 monotonic |
| %32 = sub i8 %31, %30 |
| store i8 %32, ptr @sc, align 1 |
| %33 = load i8, ptr @uc, align 1 |
| %34 = atomicrmw sub ptr @uc, i8 %33 monotonic |
| %35 = sub i8 %34, %33 |
| store i8 %35, ptr @uc, align 1 |
| %36 = load i8, ptr @uc, align 1 |
| %37 = zext i8 %36 to i16 |
| %38 = atomicrmw sub ptr @ss, i16 %37 monotonic |
| %39 = sub i16 %38, %37 |
| store i16 %39, ptr @ss, align 2 |
| %40 = load i8, ptr @uc, align 1 |
| %41 = zext i8 %40 to i16 |
| %42 = atomicrmw sub ptr @us, i16 %41 monotonic |
| %43 = sub i16 %42, %41 |
| store i16 %43, ptr @us, align 2 |
| %44 = load i8, ptr @uc, align 1 |
| %45 = zext i8 %44 to i32 |
| %46 = atomicrmw sub ptr @si, i32 %45 monotonic |
| %47 = sub i32 %46, %45 |
| store i32 %47, ptr @si, align 4 |
| %48 = load i8, ptr @uc, align 1 |
| %49 = zext i8 %48 to i32 |
| %50 = atomicrmw sub ptr @ui, i32 %49 monotonic |
| %51 = sub i32 %50, %49 |
| store i32 %51, ptr @ui, align 4 |
| %52 = load i8, ptr @uc, align 1 |
| %53 = zext i8 %52 to i64 |
| %54 = atomicrmw sub ptr @sl, i64 %53 monotonic |
| %55 = sub i64 %54, %53 |
| store i64 %55, ptr @sl, align 8 |
| %56 = load i8, ptr @uc, align 1 |
| %57 = zext i8 %56 to i64 |
| %58 = atomicrmw sub ptr @ul, i64 %57 monotonic |
| %59 = sub i64 %58, %57 |
| store i64 %59, ptr @ul, align 8 |
| %60 = load i8, ptr @uc, align 1 |
| %61 = atomicrmw or ptr @sc, i8 %60 monotonic |
| %62 = or i8 %61, %60 |
| store i8 %62, ptr @sc, align 1 |
| %63 = load i8, ptr @uc, align 1 |
| %64 = atomicrmw or ptr @uc, i8 %63 monotonic |
| %65 = or i8 %64, %63 |
| store i8 %65, ptr @uc, align 1 |
| %66 = load i8, ptr @uc, align 1 |
| %67 = zext i8 %66 to i16 |
| %68 = atomicrmw or ptr @ss, i16 %67 monotonic |
| %69 = or i16 %68, %67 |
| store i16 %69, ptr @ss, align 2 |
| %70 = load i8, ptr @uc, align 1 |
| %71 = zext i8 %70 to i16 |
| %72 = atomicrmw or ptr @us, i16 %71 monotonic |
| %73 = or i16 %72, %71 |
| store i16 %73, ptr @us, align 2 |
| %74 = load i8, ptr @uc, align 1 |
| %75 = zext i8 %74 to i32 |
| %76 = atomicrmw or ptr @si, i32 %75 monotonic |
| %77 = or i32 %76, %75 |
| store i32 %77, ptr @si, align 4 |
| %78 = load i8, ptr @uc, align 1 |
| %79 = zext i8 %78 to i32 |
| %80 = atomicrmw or ptr @ui, i32 %79 monotonic |
| %81 = or i32 %80, %79 |
| store i32 %81, ptr @ui, align 4 |
| %82 = load i8, ptr @uc, align 1 |
| %83 = zext i8 %82 to i64 |
| %84 = atomicrmw or ptr @sl, i64 %83 monotonic |
| %85 = or i64 %84, %83 |
| store i64 %85, ptr @sl, align 8 |
| %86 = load i8, ptr @uc, align 1 |
| %87 = zext i8 %86 to i64 |
| %88 = atomicrmw or ptr @ul, i64 %87 monotonic |
| %89 = or i64 %88, %87 |
| store i64 %89, ptr @ul, align 8 |
| %90 = load i8, ptr @uc, align 1 |
| %91 = atomicrmw xor ptr @sc, i8 %90 monotonic |
| %92 = xor i8 %91, %90 |
| store i8 %92, ptr @sc, align 1 |
| %93 = load i8, ptr @uc, align 1 |
| %94 = atomicrmw xor ptr @uc, i8 %93 monotonic |
| %95 = xor i8 %94, %93 |
| store i8 %95, ptr @uc, align 1 |
| %96 = load i8, ptr @uc, align 1 |
| %97 = zext i8 %96 to i16 |
| %98 = atomicrmw xor ptr @ss, i16 %97 monotonic |
| %99 = xor i16 %98, %97 |
| store i16 %99, ptr @ss, align 2 |
| %100 = load i8, ptr @uc, align 1 |
| %101 = zext i8 %100 to i16 |
| %102 = atomicrmw xor ptr @us, i16 %101 monotonic |
| %103 = xor i16 %102, %101 |
| store i16 %103, ptr @us, align 2 |
| %104 = load i8, ptr @uc, align 1 |
| %105 = zext i8 %104 to i32 |
| %106 = atomicrmw xor ptr @si, i32 %105 monotonic |
| %107 = xor i32 %106, %105 |
| store i32 %107, ptr @si, align 4 |
| %108 = load i8, ptr @uc, align 1 |
| %109 = zext i8 %108 to i32 |
| %110 = atomicrmw xor ptr @ui, i32 %109 monotonic |
| %111 = xor i32 %110, %109 |
| store i32 %111, ptr @ui, align 4 |
| %112 = load i8, ptr @uc, align 1 |
| %113 = zext i8 %112 to i64 |
| %114 = atomicrmw xor ptr @sl, i64 %113 monotonic |
| %115 = xor i64 %114, %113 |
| store i64 %115, ptr @sl, align 8 |
| %116 = load i8, ptr @uc, align 1 |
| %117 = zext i8 %116 to i64 |
| %118 = atomicrmw xor ptr @ul, i64 %117 monotonic |
| %119 = xor i64 %118, %117 |
| store i64 %119, ptr @ul, align 8 |
| %120 = load i8, ptr @uc, align 1 |
| %121 = atomicrmw and ptr @sc, i8 %120 monotonic |
| %122 = and i8 %121, %120 |
| store i8 %122, ptr @sc, align 1 |
| %123 = load i8, ptr @uc, align 1 |
| %124 = atomicrmw and ptr @uc, i8 %123 monotonic |
| %125 = and i8 %124, %123 |
| store i8 %125, ptr @uc, align 1 |
| %126 = load i8, ptr @uc, align 1 |
| %127 = zext i8 %126 to i16 |
| %128 = atomicrmw and ptr @ss, i16 %127 monotonic |
| %129 = and i16 %128, %127 |
| store i16 %129, ptr @ss, align 2 |
| %130 = load i8, ptr @uc, align 1 |
| %131 = zext i8 %130 to i16 |
| %132 = atomicrmw and ptr @us, i16 %131 monotonic |
| %133 = and i16 %132, %131 |
| store i16 %133, ptr @us, align 2 |
| %134 = load i8, ptr @uc, align 1 |
| %135 = zext i8 %134 to i32 |
| %136 = atomicrmw and ptr @si, i32 %135 monotonic |
| %137 = and i32 %136, %135 |
| store i32 %137, ptr @si, align 4 |
| %138 = load i8, ptr @uc, align 1 |
| %139 = zext i8 %138 to i32 |
| %140 = atomicrmw and ptr @ui, i32 %139 monotonic |
| %141 = and i32 %140, %139 |
| store i32 %141, ptr @ui, align 4 |
| %142 = load i8, ptr @uc, align 1 |
| %143 = zext i8 %142 to i64 |
| %144 = atomicrmw and ptr @sl, i64 %143 monotonic |
| %145 = and i64 %144, %143 |
| store i64 %145, ptr @sl, align 8 |
| %146 = load i8, ptr @uc, align 1 |
| %147 = zext i8 %146 to i64 |
| %148 = atomicrmw and ptr @ul, i64 %147 monotonic |
| %149 = and i64 %148, %147 |
| store i64 %149, ptr @ul, align 8 |
| %150 = load i8, ptr @uc, align 1 |
| %151 = atomicrmw nand ptr @sc, i8 %150 monotonic |
| %152 = xor i8 %151, -1 |
| %153 = and i8 %152, %150 |
| store i8 %153, ptr @sc, align 1 |
| %154 = load i8, ptr @uc, align 1 |
| %155 = atomicrmw nand ptr @uc, i8 %154 monotonic |
| %156 = xor i8 %155, -1 |
| %157 = and i8 %156, %154 |
| store i8 %157, ptr @uc, align 1 |
| %158 = load i8, ptr @uc, align 1 |
| %159 = zext i8 %158 to i16 |
| %160 = atomicrmw nand ptr @ss, i16 %159 monotonic |
| %161 = xor i16 %160, -1 |
| %162 = and i16 %161, %159 |
| store i16 %162, ptr @ss, align 2 |
| %163 = load i8, ptr @uc, align 1 |
| %164 = zext i8 %163 to i16 |
| %165 = atomicrmw nand ptr @us, i16 %164 monotonic |
| %166 = xor i16 %165, -1 |
| %167 = and i16 %166, %164 |
| store i16 %167, ptr @us, align 2 |
| %168 = load i8, ptr @uc, align 1 |
| %169 = zext i8 %168 to i32 |
| %170 = atomicrmw nand ptr @si, i32 %169 monotonic |
| %171 = xor i32 %170, -1 |
| %172 = and i32 %171, %169 |
| store i32 %172, ptr @si, align 4 |
| %173 = load i8, ptr @uc, align 1 |
| %174 = zext i8 %173 to i32 |
| %175 = atomicrmw nand ptr @ui, i32 %174 monotonic |
| %176 = xor i32 %175, -1 |
| %177 = and i32 %176, %174 |
| store i32 %177, ptr @ui, align 4 |
| %178 = load i8, ptr @uc, align 1 |
| %179 = zext i8 %178 to i64 |
| %180 = atomicrmw nand ptr @sl, i64 %179 monotonic |
| %181 = xor i64 %180, -1 |
| %182 = and i64 %181, %179 |
| store i64 %182, ptr @sl, align 8 |
| %183 = load i8, ptr @uc, align 1 |
| %184 = zext i8 %183 to i64 |
| %185 = atomicrmw nand ptr @ul, i64 %184 monotonic |
| %186 = xor i64 %185, -1 |
| %187 = and i64 %186, %184 |
| store i64 %187, ptr @ul, align 8 |
| br label %return |
| |
| return: ; preds = %entry |
| ret void |
| } |
| |
| define void @test_compare_and_swap() nounwind { |
| entry: |
| %0 = load i8, ptr @uc, align 1 |
| %1 = load i8, ptr @sc, align 1 |
| %2 = cmpxchg ptr @sc, i8 %0, i8 %1 monotonic monotonic |
| store i8 %2, ptr @sc, align 1 |
| %3 = load i8, ptr @uc, align 1 |
| %4 = load i8, ptr @sc, align 1 |
| %5 = cmpxchg ptr @uc, i8 %3, i8 %4 monotonic monotonic |
| store i8 %5, ptr @uc, align 1 |
| %6 = load i8, ptr @uc, align 1 |
| %7 = zext i8 %6 to i16 |
| %8 = load i8, ptr @sc, align 1 |
| %9 = sext i8 %8 to i16 |
| %10 = cmpxchg ptr @ss, i16 %7, i16 %9 monotonic monotonic |
| store i16 %10, ptr @ss, align 2 |
| %11 = load i8, ptr @uc, align 1 |
| %12 = zext i8 %11 to i16 |
| %13 = load i8, ptr @sc, align 1 |
| %14 = sext i8 %13 to i16 |
| %15 = cmpxchg ptr @us, i16 %12, i16 %14 monotonic monotonic |
| store i16 %15, ptr @us, align 2 |
| %16 = load i8, ptr @uc, align 1 |
| %17 = zext i8 %16 to i32 |
| %18 = load i8, ptr @sc, align 1 |
| %19 = sext i8 %18 to i32 |
| %20 = cmpxchg ptr @si, i32 %17, i32 %19 monotonic monotonic |
| store i32 %20, ptr @si, align 4 |
| %21 = load i8, ptr @uc, align 1 |
| %22 = zext i8 %21 to i32 |
| %23 = load i8, ptr @sc, align 1 |
| %24 = sext i8 %23 to i32 |
| %25 = cmpxchg ptr @ui, i32 %22, i32 %24 monotonic monotonic |
| store i32 %25, ptr @ui, align 4 |
| %26 = load i8, ptr @uc, align 1 |
| %27 = zext i8 %26 to i64 |
| %28 = load i8, ptr @sc, align 1 |
| %29 = sext i8 %28 to i64 |
| %30 = cmpxchg ptr @sl, i64 %27, i64 %29 monotonic monotonic |
| store i64 %30, ptr @sl, align 8 |
| %31 = load i8, ptr @uc, align 1 |
| %32 = zext i8 %31 to i64 |
| %33 = load i8, ptr @sc, align 1 |
| %34 = sext i8 %33 to i64 |
| %35 = cmpxchg ptr @ul, i64 %32, i64 %34 monotonic monotonic |
| store i64 %35, ptr @ul, align 8 |
| %36 = load i8, ptr @uc, align 1 |
| %37 = load i8, ptr @sc, align 1 |
| %38 = cmpxchg ptr @sc, i8 %36, i8 %37 monotonic monotonic |
| %39 = icmp eq i8 %38, %36 |
| %40 = zext i1 %39 to i8 |
| %41 = zext i8 %40 to i32 |
| store i32 %41, ptr @ui, align 4 |
| %42 = load i8, ptr @uc, align 1 |
| %43 = load i8, ptr @sc, align 1 |
| %44 = cmpxchg ptr @uc, i8 %42, i8 %43 monotonic monotonic |
| %45 = icmp eq i8 %44, %42 |
| %46 = zext i1 %45 to i8 |
| %47 = zext i8 %46 to i32 |
| store i32 %47, ptr @ui, align 4 |
| %48 = load i8, ptr @uc, align 1 |
| %49 = zext i8 %48 to i16 |
| %50 = load i8, ptr @sc, align 1 |
| %51 = sext i8 %50 to i16 |
| %52 = cmpxchg ptr @ss, i16 %49, i16 %51 monotonic monotonic |
| %53 = icmp eq i16 %52, %49 |
| %54 = zext i1 %53 to i8 |
| %55 = zext i8 %54 to i32 |
| store i32 %55, ptr @ui, align 4 |
| %56 = load i8, ptr @uc, align 1 |
| %57 = zext i8 %56 to i16 |
| %58 = load i8, ptr @sc, align 1 |
| %59 = sext i8 %58 to i16 |
| %60 = cmpxchg ptr @us, i16 %57, i16 %59 monotonic monotonic |
| %61 = icmp eq i16 %60, %57 |
| %62 = zext i1 %61 to i8 |
| %63 = zext i8 %62 to i32 |
| store i32 %63, ptr @ui, align 4 |
| %64 = load i8, ptr @uc, align 1 |
| %65 = zext i8 %64 to i32 |
| %66 = load i8, ptr @sc, align 1 |
| %67 = sext i8 %66 to i32 |
| %68 = cmpxchg ptr @si, i32 %65, i32 %67 monotonic monotonic |
| %69 = icmp eq i32 %68, %65 |
| %70 = zext i1 %69 to i8 |
| %71 = zext i8 %70 to i32 |
| store i32 %71, ptr @ui, align 4 |
| %72 = load i8, ptr @uc, align 1 |
| %73 = zext i8 %72 to i32 |
| %74 = load i8, ptr @sc, align 1 |
| %75 = sext i8 %74 to i32 |
| %76 = cmpxchg ptr @ui, i32 %73, i32 %75 monotonic monotonic |
| %77 = icmp eq i32 %76, %73 |
| %78 = zext i1 %77 to i8 |
| %79 = zext i8 %78 to i32 |
| store i32 %79, ptr @ui, align 4 |
| %80 = load i8, ptr @uc, align 1 |
| %81 = zext i8 %80 to i64 |
| %82 = load i8, ptr @sc, align 1 |
| %83 = sext i8 %82 to i64 |
| %84 = cmpxchg ptr @sl, i64 %81, i64 %83 monotonic monotonic |
| %85 = icmp eq i64 %84, %81 |
| %86 = zext i1 %85 to i8 |
| %87 = zext i8 %86 to i32 |
| store i32 %87, ptr @ui, align 4 |
| %88 = load i8, ptr @uc, align 1 |
| %89 = zext i8 %88 to i64 |
| %90 = load i8, ptr @sc, align 1 |
| %91 = sext i8 %90 to i64 |
| %92 = cmpxchg ptr @ul, i64 %89, i64 %91 monotonic monotonic |
| %93 = icmp eq i64 %92, %89 |
| %94 = zext i1 %93 to i8 |
| %95 = zext i8 %94 to i32 |
| store i32 %95, ptr @ui, align 4 |
| br label %return |
| |
| return: ; preds = %entry |
| ret void |
| } |
| |
| define void @test_lock() nounwind { |
| entry: |
| %0 = atomicrmw xchg ptr @sc, i8 1 monotonic |
| store i8 %0, ptr @sc, align 1 |
| %1 = atomicrmw xchg ptr @uc, i8 1 monotonic |
| store i8 %1, ptr @uc, align 1 |
| %2 = atomicrmw xchg ptr @ss, i16 1 monotonic |
| store i16 %2, ptr @ss, align 2 |
| %3 = atomicrmw xchg ptr @us, i16 1 monotonic |
| store i16 %3, ptr @us, align 2 |
| %4 = atomicrmw xchg ptr @si, i32 1 monotonic |
| store i32 %4, ptr @si, align 4 |
| %5 = atomicrmw xchg ptr @ui, i32 1 monotonic |
| store i32 %5, ptr @ui, align 4 |
| %6 = atomicrmw xchg ptr @sl, i64 1 monotonic |
| store i64 %6, ptr @sl, align 8 |
| %7 = atomicrmw xchg ptr @ul, i64 1 monotonic |
| store i64 %7, ptr @ul, align 8 |
| fence seq_cst |
| store volatile i8 0, ptr @sc, align 1 |
| store volatile i8 0, ptr @uc, align 1 |
| store volatile i16 0, ptr @ss, align 2 |
| store volatile i16 0, ptr @us, align 2 |
| store volatile i32 0, ptr @si, align 4 |
| store volatile i32 0, ptr @ui, align 4 |
| store volatile i64 0, ptr @sl, align 8 |
| store volatile i64 0, ptr @ul, align 8 |
| store volatile i64 0, ptr @sll, align 8 |
| store volatile i64 0, ptr @ull, align 8 |
| br label %return |
| |
| return: ; preds = %entry |
| ret void |
| } |