test/CodeGen/AMDGPU/si-annotate-cf.ll

   1 ; RUN: llc < %s -march=amdgcn -mcpu=verde -verify-machineinstrs | FileCheck --check-prefix=SI --check-prefix=FUNC %s
   2 ; RUN: llc < %s -march=amdgcn -mcpu=tonga -verify-machineinstrs | FileCheck --check-prefix=SI --check-prefix=FUNC %s
   3
   4 ; FUNC-LABEL: {{^}}break_inserted_outside_of_loop:
   5
   6 ; SI: [[LOOP_LABEL:[A-Z0-9]+]]:
   7 ; Lowered break instructin:
   8 ; SI: s_or_b64
   9 ; Lowered Loop instruction:
  10 ; SI: s_andn2_b64
  11 ; s_cbranch_execnz [[LOOP_LABEL]]
  12 ; SI: s_endpgm
  13 define void @break_inserted_outside_of_loop(i32 addrspace(1)* %out, i32 %a, i32 %b) {
  14 main_body:
  15   %0 = and i32 %a, %b
  16   %1 = trunc i32 %0 to i1
  17   br label %ENDIF
  18
  19 ENDLOOP:
  20   store i32 0, i32 addrspace(1)* %out
  21   ret void
  22
  23 ENDIF:
  24   br i1 %1, label %ENDLOOP, label %ENDIF
  25 }
  26
  27
  28 ; FUNC-LABEL: {{^}}phi_cond_outside_loop:
  29 ; FIXME: This could be folded into the s_or_b64 instruction
  30 ; SI: s_mov_b64 [[ZERO:s\[[0-9]+:[0-9]+\]]], 0
  31 ; SI: [[LOOP_LABEL:[A-Z0-9]+]]
  32 ; SI: v_cmp_ne_i32_e32 vcc, 0, v{{[0-9]+}}
  33
  34 ; SI_IF_BREAK instruction:
  35 ; SI: s_or_b64 [[BREAK:s\[[0-9]+:[0-9]+\]]], vcc, [[ZERO]]
  36
  37 ; SI_LOOP instruction:
  38 ; SI: s_andn2_b64 exec, exec, [[BREAK]]
  39 ; SI: s_cbranch_execnz [[LOOP_LABEL]]
  40 ; SI: s_endpgm
  41
  42 define void @phi_cond_outside_loop(i32 %a, i32 %b) {
  43 entry:
  44   %0 = icmp eq i32 %a , 0
  45   br i1 %0, label %if, label %else
  46
  47 if:
  48   br label %endif
  49
  50 else:
  51   %1 = icmp eq i32 %b, 0
  52   br label %endif
  53
  54 endif:
  55   %2 = phi i1 [0, %if], [%1, %else]
  56   br label %loop
  57
  58 loop:
  59   br i1 %2, label %exit, label %loop
  60
  61 exit:
  62   ret void
  63 }