test/CodeGen/X86/cmpxchg-i1.ll

   1 ; RUN: llc -mtriple=x86_64 -o - %s | FileCheck %s
   2
   3 define i1 @try_cmpxchg(i32* %addr, i32 %desired, i32 %new) {
   4 ; CHECK-LABEL: try_cmpxchg:
   5 ; CHECK: cmpxchgl
   6 ; CHECK-NOT: cmp
   7 ; CHECK: sete %al
   8 ; CHECK: retq
   9   %pair = cmpxchg i32* %addr, i32 %desired, i32 %new seq_cst seq_cst
  10   %success = extractvalue { i32, i1 } %pair, 1
  11   ret i1 %success
  12 }
  13
  14 define void @cmpxchg_flow(i64* %addr, i64 %desired, i64 %new) {
  15 ; CHECK-LABEL: cmpxchg_flow:
  16 ; CHECK: cmpxchgq
  17 ; CHECK-NOT: cmp
  18 ; CHECK-NOT: set
  19 ; CHECK: {{jne|jeq}}
  20   %pair = cmpxchg i64* %addr, i64 %desired, i64 %new seq_cst seq_cst
  21   %success = extractvalue { i64, i1 } %pair, 1
  22   br i1 %success, label %true, label %false
  23
  24 true:
  25   call void @foo()
  26   ret void
  27
  28 false:
  29   call void @bar()
  30   ret void
  31 }
  32
  33 define i64 @cmpxchg_sext(i32* %addr, i32 %desired, i32 %new) {
  34 ; CHECK-LABEL: cmpxchg_sext:
  35 ; CHECK-DAG: cmpxchgl
  36 ; CHECK-NOT: cmpl
  37 ; CHECK: sete %cl
  38 ; CHECK: retq
  39   %pair = cmpxchg i32* %addr, i32 %desired, i32 %new seq_cst seq_cst
  40   %success = extractvalue { i32, i1 } %pair, 1
  41   %mask = sext i1 %success to i64
  42   ret i64 %mask
  43 }
  44
  45 define i32 @cmpxchg_zext(i32* %addr, i32 %desired, i32 %new) {
  46 ; CHECK-LABEL: cmpxchg_zext:
  47 ; CHECK: xorl %e[[R:[a-z]]]x
  48 ; CHECK: cmpxchgl
  49 ; CHECK-NOT: cmp
  50 ; CHECK: sete %[[R]]l
  51   %pair = cmpxchg i32* %addr, i32 %desired, i32 %new seq_cst seq_cst
  52   %success = extractvalue { i32, i1 } %pair, 1
  53   %mask = zext i1 %success to i32
  54   ret i32 %mask
  55 }
  56
  57
  58 define i32 @cmpxchg_use_eflags_and_val(i32* %addr, i32 %offset) {
  59 ; CHECK-LABEL: cmpxchg_use_eflags_and_val:
  60 ; CHECK: movl (%rdi), %e[[OLDVAL:[a-z0-9]+]]
  61
  62 ; CHECK: [[LOOPBB:.?LBB[0-9]+_[0-9]+]]:
  63 ; CHECK: leal (%r[[OLDVAL]],%rsi), [[NEW:%[a-z0-9]+]]
  64 ; CHECK: cmpxchgl [[NEW]], (%rdi)
  65 ; CHECK-NOT: cmpl
  66 ; CHECK: jne [[LOOPBB]]
  67
  68   ; Result already in %eax
  69 ; CHECK: retq
  70 entry:
  71   %init = load atomic i32, i32* %addr seq_cst, align 4
  72   br label %loop
  73
  74 loop:
  75   %old = phi i32 [%init, %entry], [%oldval, %loop]
  76   %new = add i32 %old, %offset
  77   %pair = cmpxchg i32* %addr, i32 %old, i32 %new seq_cst seq_cst
  78   %oldval = extractvalue { i32, i1 } %pair, 0
  79   %success = extractvalue { i32, i1 } %pair, 1
  80   br i1 %success, label %done, label %loop
  81
  82 done:
  83   ret i32 %oldval
  84 }
  85
  86 declare void @foo()
  87 declare void @bar()