test/CodeGen/X86/rd-mod-wr-eflags.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc < %s -mtriple=x86_64-- | FileCheck %s
   3
   4 %struct.obj = type { i64 }
   5
   6 define void @_Z7releaseP3obj(%struct.obj* nocapture %o) nounwind uwtable ssp {
   7 ; CHECK-LABEL: _Z7releaseP3obj:
   8 ; CHECK:       # %bb.0: # %entry
   9 ; CHECK-NEXT:    decq (%rdi)
  10 ; CHECK-NEXT:    je .LBB0_2
  11 ; CHECK-NEXT:  # %bb.1: # %return
  12 ; CHECK-NEXT:    retq
  13 ; CHECK-NEXT:  .LBB0_2: # %if.end
  14 ; CHECK-NEXT:    jmp free # TAILCALL
  15 entry:
  16   %refcnt = getelementptr inbounds %struct.obj, %struct.obj* %o, i64 0, i32 0
  17   %0 = load i64, i64* %refcnt, align 8
  18   %dec = add i64 %0, -1
  19   store i64 %dec, i64* %refcnt, align 8
  20   %tobool = icmp eq i64 %dec, 0
  21   br i1 %tobool, label %if.end, label %return
  22
  23 if.end:                                           ; preds = %entry
  24   %1 = bitcast %struct.obj* %o to i8*
  25   tail call void @free(i8* %1)
  26   br label %return
  27
  28 return:                                           ; preds = %entry, %if.end
  29   ret void
  30 }
  31
  32 @c = common global i64 0, align 8
  33 @a = common global i32 0, align 4
  34 @.str = private unnamed_addr constant [5 x i8] c"%ld\0A\00", align 1
  35 @b = common global i32 0, align 4
  36
  37 define i32 @test() nounwind uwtable ssp {
  38 ; CHECK-LABEL: test:
  39 ; CHECK:       # %bb.0: # %entry
  40 ; CHECK-NEXT:    pushq %rax
  41 ; CHECK-NEXT:    .cfi_def_cfa_offset 16
  42 ; CHECK-NEXT:    movq {{.*}}(%rip), %rsi
  43 ; CHECK-NEXT:    xorl %eax, %eax
  44 ; CHECK-NEXT:    decq %rsi
  45 ; CHECK-NEXT:    movq %rsi, {{.*}}(%rip)
  46 ; CHECK-NEXT:    setne %al
  47 ; CHECK-NEXT:    movl %eax, {{.*}}(%rip)
  48 ; CHECK-NEXT:    movl $.L.str, %edi
  49 ; CHECK-NEXT:    xorl %eax, %eax
  50 ; CHECK-NEXT:    callq printf
  51 ; CHECK-NEXT:    xorl %eax, %eax
  52 ; CHECK-NEXT:    popq %rcx
  53 ; CHECK-NEXT:    .cfi_def_cfa_offset 8
  54 ; CHECK-NEXT:    retq
  55 entry:
  56 %0 = load i64, i64* @c, align 8
  57 %dec.i = add nsw i64 %0, -1
  58 store i64 %dec.i, i64* @c, align 8
  59 %tobool.i = icmp ne i64 %dec.i, 0
  60 %lor.ext.i = zext i1 %tobool.i to i32
  61 store i32 %lor.ext.i, i32* @a, align 4
  62 %call = tail call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str, i64 0, i64 0), i64 %dec.i) nounwind
  63 ret i32 0
  64 }
  65
  66 define i32 @test2() nounwind uwtable ssp {
  67 ; CHECK-LABEL: test2:
  68 ; CHECK:       # %bb.0: # %entry
  69 ; CHECK-NEXT:    pushq %rax
  70 ; CHECK-NEXT:    .cfi_def_cfa_offset 16
  71 ; CHECK-NEXT:    movq {{.*}}(%rip), %rsi
  72 ; CHECK-NEXT:    xorl %eax, %eax
  73 ; CHECK-NEXT:    addq $-1, %rsi
  74 ; CHECK-NEXT:    setb %al
  75 ; CHECK-NEXT:    movq %rsi, {{.*}}(%rip)
  76 ; CHECK-NEXT:    movl %eax, {{.*}}(%rip)
  77 ; CHECK-NEXT:    movl $.L.str, %edi
  78 ; CHECK-NEXT:    xorl %eax, %eax
  79 ; CHECK-NEXT:    callq printf
  80 ; CHECK-NEXT:    xorl %eax, %eax
  81 ; CHECK-NEXT:    popq %rcx
  82 ; CHECK-NEXT:    .cfi_def_cfa_offset 8
  83 ; CHECK-NEXT:    retq
  84 entry:
  85 %0 = load i64, i64* @c, align 8
  86 %dec.i = add nsw i64 %0, -1
  87 store i64 %dec.i, i64* @c, align 8
  88 %tobool.i = icmp ne i64 %0, 0
  89 %lor.ext.i = zext i1 %tobool.i to i32
  90 store i32 %lor.ext.i, i32* @a, align 4
  91 %call = tail call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str, i64 0, i64 0), i64 %dec.i) nounwind
  92 ret i32 0
  93 }
  94
  95 declare i32 @printf(i8* nocapture, ...) nounwind
  96
  97 declare void @free(i8* nocapture) nounwind
  98
  99 %struct.obj2 = type { i64, i32, i16, i8 }
 100
 101 declare void @other(%struct.obj2* ) nounwind;
 102
 103 define void @example_dec(%struct.obj2* %o) nounwind uwtable ssp {
 104 ; 64 bit dec
 105 ; CHECK-LABEL: example_dec:
 106 ; CHECK:       # %bb.0: # %entry
 107 ; CHECK-NEXT:    decq (%rdi)
 108 ; CHECK-NEXT:    jne .LBB3_4
 109 ; CHECK-NEXT:  # %bb.1: # %if.end
 110 ; CHECK-NEXT:    decl 8(%rdi)
 111 ; CHECK-NEXT:    jne .LBB3_4
 112 ; CHECK-NEXT:  # %bb.2: # %if.end1
 113 ; CHECK-NEXT:    decw 12(%rdi)
 114 ; CHECK-NEXT:    jne .LBB3_4
 115 ; CHECK-NEXT:  # %bb.3: # %if.end2
 116 ; CHECK-NEXT:    decb 14(%rdi)
 117 ; CHECK-NEXT:    je .LBB3_5
 118 ; CHECK-NEXT:  .LBB3_4: # %return
 119 ; CHECK-NEXT:    retq
 120 ; CHECK-NEXT:  .LBB3_5: # %if.end4
 121 ; CHECK-NEXT:    jmp other # TAILCALL
 122 entry:
 123   %s64 = getelementptr inbounds %struct.obj2, %struct.obj2* %o, i64 0, i32 0
 124   %0 = load i64, i64* %s64, align 8
 125   %dec = add i64 %0, -1
 126   store i64 %dec, i64* %s64, align 8
 127   %tobool = icmp eq i64 %dec, 0
 128   br i1 %tobool, label %if.end, label %return
 129
 130 ; 32 bit dec
 131 if.end:
 132   %s32 = getelementptr inbounds %struct.obj2, %struct.obj2* %o, i64 0, i32 1
 133   %1 = load i32, i32* %s32, align 4
 134   %dec1 = add i32 %1, -1
 135   store i32 %dec1, i32* %s32, align 4
 136   %tobool2 = icmp eq i32 %dec1, 0
 137   br i1 %tobool2, label %if.end1, label %return
 138
 139 ; 16 bit dec
 140 if.end1:
 141   %s16 = getelementptr inbounds %struct.obj2, %struct.obj2* %o, i64 0, i32 2
 142   %2 = load i16, i16* %s16, align 2
 143   %dec2 = add i16 %2, -1
 144   store i16 %dec2, i16* %s16, align 2
 145   %tobool3 = icmp eq i16 %dec2, 0
 146   br i1 %tobool3, label %if.end2, label %return
 147
 148 ; 8 bit dec
 149 if.end2:
 150   %s8 = getelementptr inbounds %struct.obj2, %struct.obj2* %o, i64 0, i32 3
 151   %3 = load i8, i8* %s8
 152   %dec3 = add i8 %3, -1
 153   store i8 %dec3, i8* %s8
 154   %tobool4 = icmp eq i8 %dec3, 0
 155   br i1 %tobool4, label %if.end4, label %return
 156
 157 if.end4:
 158   tail call void @other(%struct.obj2* %o) nounwind
 159   br label %return
 160
 161 return:                                           ; preds = %if.end4, %if.end, %entry
 162   ret void
 163 }
 164
 165 define void @example_inc(%struct.obj2* %o) nounwind uwtable ssp {
 166 ; 64 bit inc
 167 ; CHECK-LABEL: example_inc:
 168 ; CHECK:       # %bb.0: # %entry
 169 ; CHECK-NEXT:    incq (%rdi)
 170 ; CHECK-NEXT:    jne .LBB4_4
 171 ; CHECK-NEXT:  # %bb.1: # %if.end
 172 ; CHECK-NEXT:    incl 8(%rdi)
 173 ; CHECK-NEXT:    jne .LBB4_4
 174 ; CHECK-NEXT:  # %bb.2: # %if.end1
 175 ; CHECK-NEXT:    incw 12(%rdi)
 176 ; CHECK-NEXT:    jne .LBB4_4
 177 ; CHECK-NEXT:  # %bb.3: # %if.end2
 178 ; CHECK-NEXT:    incb 14(%rdi)
 179 ; CHECK-NEXT:    jne .LBB4_4
 180 ; CHECK-NEXT:  # %bb.5: # %if.end4
 181 ; CHECK-NEXT:    jmp other # TAILCALL
 182 ; CHECK-NEXT:  .LBB4_4: # %return
 183 ; CHECK-NEXT:    retq
 184 entry:
 185   %s64 = getelementptr inbounds %struct.obj2, %struct.obj2* %o, i64 0, i32 0
 186   %0 = load i64, i64* %s64, align 8
 187   %inc = add i64 %0, 1
 188   store i64 %inc, i64* %s64, align 8
 189   %tobool = icmp eq i64 %inc, 0
 190   br i1 %tobool, label %if.end, label %return
 191
 192 ; 32 bit inc
 193 if.end:
 194   %s32 = getelementptr inbounds %struct.obj2, %struct.obj2* %o, i64 0, i32 1
 195   %1 = load i32, i32* %s32, align 4
 196   %inc1 = add i32 %1, 1
 197   store i32 %inc1, i32* %s32, align 4
 198   %tobool2 = icmp eq i32 %inc1, 0
 199   br i1 %tobool2, label %if.end1, label %return
 200
 201 ; 16 bit inc
 202 if.end1:
 203   %s16 = getelementptr inbounds %struct.obj2, %struct.obj2* %o, i64 0, i32 2
 204   %2 = load i16, i16* %s16, align 2
 205   %inc2 = add i16 %2, 1
 206   store i16 %inc2, i16* %s16, align 2
 207   %tobool3 = icmp eq i16 %inc2, 0
 208   br i1 %tobool3, label %if.end2, label %return
 209
 210 ; 8 bit inc
 211 if.end2:
 212   %s8 = getelementptr inbounds %struct.obj2, %struct.obj2* %o, i64 0, i32 3
 213   %3 = load i8, i8* %s8
 214   %inc3 = add i8 %3, 1
 215   store i8 %inc3, i8* %s8
 216   %tobool4 = icmp eq i8 %inc3, 0
 217   br i1 %tobool4, label %if.end4, label %return
 218
 219 if.end4:
 220   tail call void @other(%struct.obj2* %o) nounwind
 221   br label %return
 222
 223 return:
 224   ret void
 225 }
 226
 227 ; Deal with TokenFactor chain
 228 ; rdar://11236106
 229 @foo = external global i64*, align 8
 230
 231 define void @test3() nounwind ssp {
 232 ; CHECK-LABEL: test3:
 233 ; CHECK:       # %bb.0: # %entry
 234 ; CHECK-NEXT:    movq {{.*}}(%rip), %rax
 235 ; CHECK-NEXT:    decq 16(%rax)
 236 ; CHECK-NEXT:    je .LBB5_2
 237 ; CHECK-NEXT:  # %bb.1: # %if.end
 238 ; CHECK-NEXT:    retq
 239 ; CHECK-NEXT:  .LBB5_2: # %if.then
 240 ; CHECK-NEXT:    jmp baz # TAILCALL
 241 entry:
 242   %0 = load i64*, i64** @foo, align 8
 243   %arrayidx = getelementptr inbounds i64, i64* %0, i64 2
 244   %1 = load i64, i64* %arrayidx, align 8
 245   %dec = add i64 %1, -1
 246   store i64 %dec, i64* %arrayidx, align 8
 247   %cmp = icmp eq i64 %dec, 0
 248   br i1 %cmp, label %if.then, label %if.end
 249
 250 if.then:
 251   tail call void @baz() nounwind
 252   br label %if.end
 253
 254 if.end:
 255   ret void
 256 }
 257
 258 declare void @baz()
 259
 260 ; Avoid creating a cycle in the DAG which would trigger an assert in the
 261 ; scheduler.
 262 ; PR12565
 263 ; rdar://11451474
 264 @x = external global i32, align 4
 265 @y = external global i32, align 4
 266 @z = external global i32, align 4
 267
 268 define void @test4() nounwind uwtable ssp {
 269 ; CHECK-LABEL: test4:
 270 ; CHECK:       # %bb.0: # %entry
 271 ; CHECK-NEXT:    xorl %eax, %eax
 272 ; CHECK-NEXT:    decl {{.*}}(%rip)
 273 ; CHECK-NEXT:    je .LBB6_2
 274 ; CHECK-NEXT:  # %bb.1: # %entry
 275 ; CHECK-NEXT:    movl {{.*}}(%rip), %eax
 276 ; CHECK-NEXT:  .LBB6_2: # %entry
 277 ; CHECK-NEXT:    movl %eax, {{.*}}(%rip)
 278 ; CHECK-NEXT:    retq
 279 entry:
 280   %0 = load i32, i32* @x, align 4
 281   %1 = load i32, i32* @y, align 4
 282   %dec = add nsw i32 %1, -1
 283   store i32 %dec, i32* @y, align 4
 284   %tobool.i = icmp ne i32 %dec, 0
 285   %cond.i = select i1 %tobool.i, i32 %0, i32 0
 286   store i32 %cond.i, i32* @z, align 4
 287   ret void
 288 }