llvm/test/CodeGen/AMDGPU/issue92561-restore-undef-scc-verifier-error.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 5
   2 ; RUN: llc -global-isel=0 -mtriple=amdgcn -mcpu=gfx1100 -verify-machineinstrs < %s | FileCheck -check-prefix=SDAG %s
   3 ; RUN: llc -global-isel=1 -mtriple=amdgcn -mcpu=gfx1100 -verify-machineinstrs < %s | FileCheck -check-prefix=GISEL %s
   4
   5 ; Check for verifier error due to trying to save and restore SCC
   6 ; around a waterfall looop when it was never defined. We have to get
   7 ; an accurate liveness at the use point and cannot rely on an
   8 ; imprecise maybe-live query.
   9
  10 define void @issue92561(ptr addrspace(1) %arg) {
  11 ; SDAG-LABEL: issue92561:
  12 ; SDAG:       ; %bb.0: ; %bb
  13 ; SDAG-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
  14 ; SDAG-NEXT:    s_clause 0x1
  15 ; SDAG-NEXT:    global_load_b128 v[4:7], v[0:1], off offset:16
  16 ; SDAG-NEXT:    global_load_b128 v[0:3], v[0:1], off
  17 ; SDAG-NEXT:    v_mov_b32_e32 v8, 0
  18 ; SDAG-NEXT:    s_mov_b32 s12, 0
  19 ; SDAG-NEXT:    s_mov_b32 s3, exec_lo
  20 ; SDAG-NEXT:    s_mov_b32 s13, s12
  21 ; SDAG-NEXT:    s_mov_b32 s14, s12
  22 ; SDAG-NEXT:    s_mov_b32 s15, s12
  23 ; SDAG-NEXT:    s_waitcnt vmcnt(0)
  24 ; SDAG-NEXT:  .LBB0_1: ; =>This Inner Loop Header: Depth=1
  25 ; SDAG-NEXT:    v_readfirstlane_b32 s4, v0
  26 ; SDAG-NEXT:    v_readfirstlane_b32 s5, v1
  27 ; SDAG-NEXT:    v_readfirstlane_b32 s6, v2
  28 ; SDAG-NEXT:    v_readfirstlane_b32 s7, v3
  29 ; SDAG-NEXT:    v_readfirstlane_b32 s8, v4
  30 ; SDAG-NEXT:    v_readfirstlane_b32 s9, v5
  31 ; SDAG-NEXT:    v_readfirstlane_b32 s10, v6
  32 ; SDAG-NEXT:    v_readfirstlane_b32 s11, v7
  33 ; SDAG-NEXT:    v_cmp_eq_u64_e32 vcc_lo, s[4:5], v[0:1]
  34 ; SDAG-NEXT:    v_cmp_eq_u64_e64 s0, s[6:7], v[2:3]
  35 ; SDAG-NEXT:    v_cmp_eq_u64_e64 s1, s[8:9], v[4:5]
  36 ; SDAG-NEXT:    s_delay_alu instid0(VALU_DEP_4) | instskip(NEXT) | instid1(VALU_DEP_3)
  37 ; SDAG-NEXT:    v_cmp_eq_u64_e64 s2, s[10:11], v[6:7]
  38 ; SDAG-NEXT:    s_and_b32 s0, vcc_lo, s0
  39 ; SDAG-NEXT:    s_delay_alu instid0(VALU_DEP_2) | instid1(SALU_CYCLE_1)
  40 ; SDAG-NEXT:    s_and_b32 s0, s0, s1
  41 ; SDAG-NEXT:    s_delay_alu instid0(VALU_DEP_1) | instid1(SALU_CYCLE_1)
  42 ; SDAG-NEXT:    s_and_b32 s0, s0, s2
  43 ; SDAG-NEXT:    s_delay_alu instid0(SALU_CYCLE_1)
  44 ; SDAG-NEXT:    s_and_saveexec_b32 s0, s0
  45 ; SDAG-NEXT:    image_sample_c_lz v9, [v8, v8, v8, v8], s[4:11], s[12:15] dmask:0x1 dim:SQ_RSRC_IMG_2D_ARRAY
  46 ; SDAG-NEXT:    ; implicit-def: $vgpr0_vgpr1_vgpr2_vgpr3_vgpr4_vgpr5_vgpr6_vgpr7
  47 ; SDAG-NEXT:    ; implicit-def: $vgpr8
  48 ; SDAG-NEXT:    s_xor_b32 exec_lo, exec_lo, s0
  49 ; SDAG-NEXT:    s_cbranch_execnz .LBB0_1
  50 ; SDAG-NEXT:  ; %bb.2:
  51 ; SDAG-NEXT:    s_mov_b32 exec_lo, s3
  52 ; SDAG-NEXT:    v_dual_mov_b32 v0, 0x7fc00000 :: v_dual_mov_b32 v1, 0
  53 ; SDAG-NEXT:    v_mov_b32_e32 v2, 1.0
  54 ; SDAG-NEXT:    s_mov_b32 s0, s12
  55 ; SDAG-NEXT:    s_mov_b32 s1, s12
  56 ; SDAG-NEXT:    s_mov_b32 s2, s12
  57 ; SDAG-NEXT:    s_mov_b32 s3, s12
  58 ; SDAG-NEXT:    s_mov_b32 s4, s12
  59 ; SDAG-NEXT:    s_mov_b32 s5, s12
  60 ; SDAG-NEXT:    s_mov_b32 s6, s12
  61 ; SDAG-NEXT:    s_mov_b32 s7, s12
  62 ; SDAG-NEXT:    s_clause 0x2
  63 ; SDAG-NEXT:    image_sample_c_lz v0, [v1, v1, v0, v1], s[0:7], s[12:15] dmask:0x1 dim:SQ_RSRC_IMG_2D_ARRAY
  64 ; SDAG-NEXT:    image_sample_c_lz v3, [v1, v1, v1, v1], s[0:7], s[12:15] dmask:0x1 dim:SQ_RSRC_IMG_2D_ARRAY
  65 ; SDAG-NEXT:    image_sample_c_lz v2, [v1, v2, v1, v1], s[0:7], s[12:15] dmask:0x1 dim:SQ_RSRC_IMG_2D_ARRAY
  66 ; SDAG-NEXT:    s_waitcnt vmcnt(2)
  67 ; SDAG-NEXT:    v_add_f32_e32 v0, v9, v0
  68 ; SDAG-NEXT:    s_waitcnt vmcnt(0)
  69 ; SDAG-NEXT:    s_delay_alu instid0(VALU_DEP_1) | instskip(SKIP_1) | instid1(VALU_DEP_2)
  70 ; SDAG-NEXT:    v_add_f32_e32 v0, v2, v0
  71 ; SDAG-NEXT:    v_mov_b32_e32 v2, v1
  72 ; SDAG-NEXT:    v_add_f32_e32 v0, v3, v0
  73 ; SDAG-NEXT:    s_delay_alu instid0(VALU_DEP_1)
  74 ; SDAG-NEXT:    v_mul_f32_e32 v0, 0x3e800000, v0
  75 ; SDAG-NEXT:    image_store v[0:2], [v1, v1], s[0:7] dim:SQ_RSRC_IMG_2D unorm
  76 ; SDAG-NEXT:    s_setpc_b64 s[30:31]
  77 ;
  78 ; GISEL-LABEL: issue92561:
  79 ; GISEL:       ; %bb.0: ; %bb
  80 ; GISEL-NEXT:    s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0)
  81 ; GISEL-NEXT:    s_clause 0x1
  82 ; GISEL-NEXT:    global_load_b128 v[2:5], v[0:1], off
  83 ; GISEL-NEXT:    global_load_b128 v[6:9], v[0:1], off offset:16
  84 ; GISEL-NEXT:    v_mov_b32_e32 v0, 0
  85 ; GISEL-NEXT:    s_mov_b32 s20, 0
  86 ; GISEL-NEXT:    s_mov_b32 s3, exec_lo
  87 ; GISEL-NEXT:    s_mov_b32 s21, s20
  88 ; GISEL-NEXT:    s_mov_b32 s22, s20
  89 ; GISEL-NEXT:    s_mov_b32 s23, s20
  90 ; GISEL-NEXT:    s_mov_b32 s4, s20
  91 ; GISEL-NEXT:    s_mov_b32 s5, s20
  92 ; GISEL-NEXT:    s_mov_b32 s6, s20
  93 ; GISEL-NEXT:    s_mov_b32 s7, s20
  94 ; GISEL-NEXT:    s_mov_b32 s8, s20
  95 ; GISEL-NEXT:    s_mov_b32 s9, s20
  96 ; GISEL-NEXT:    s_mov_b32 s10, s20
  97 ; GISEL-NEXT:    s_mov_b32 s11, s20
  98 ; GISEL-NEXT:    s_waitcnt vmcnt(0)
  99 ; GISEL-NEXT:  .LBB0_1: ; =>This Inner Loop Header: Depth=1
 100 ; GISEL-NEXT:    v_readfirstlane_b32 s12, v2
 101 ; GISEL-NEXT:    v_readfirstlane_b32 s13, v3
 102 ; GISEL-NEXT:    v_readfirstlane_b32 s14, v4
 103 ; GISEL-NEXT:    v_readfirstlane_b32 s15, v5
 104 ; GISEL-NEXT:    v_readfirstlane_b32 s16, v6
 105 ; GISEL-NEXT:    v_readfirstlane_b32 s17, v7
 106 ; GISEL-NEXT:    v_readfirstlane_b32 s18, v8
 107 ; GISEL-NEXT:    v_readfirstlane_b32 s19, v9
 108 ; GISEL-NEXT:    v_cmp_eq_u64_e32 vcc_lo, s[12:13], v[2:3]
 109 ; GISEL-NEXT:    v_cmp_eq_u64_e64 s0, s[14:15], v[4:5]
 110 ; GISEL-NEXT:    v_cmp_eq_u64_e64 s1, s[16:17], v[6:7]
 111 ; GISEL-NEXT:    s_delay_alu instid0(VALU_DEP_4) | instskip(NEXT) | instid1(VALU_DEP_3)
 112 ; GISEL-NEXT:    v_cmp_eq_u64_e64 s2, s[18:19], v[8:9]
 113 ; GISEL-NEXT:    s_and_b32 s0, vcc_lo, s0
 114 ; GISEL-NEXT:    s_delay_alu instid0(VALU_DEP_2) | instid1(SALU_CYCLE_1)
 115 ; GISEL-NEXT:    s_and_b32 s0, s0, s1
 116 ; GISEL-NEXT:    s_delay_alu instid0(VALU_DEP_1) | instid1(SALU_CYCLE_1)
 117 ; GISEL-NEXT:    s_and_b32 s0, s0, s2
 118 ; GISEL-NEXT:    s_delay_alu instid0(SALU_CYCLE_1)
 119 ; GISEL-NEXT:    s_and_saveexec_b32 s0, s0
 120 ; GISEL-NEXT:    image_sample_c_lz v1, [v0, v0, v0, v0], s[12:19], s[20:23] dmask:0x1 dim:SQ_RSRC_IMG_2D_ARRAY
 121 ; GISEL-NEXT:    ; implicit-def: $vgpr2_vgpr3_vgpr4_vgpr5_vgpr6_vgpr7_vgpr8_vgpr9
 122 ; GISEL-NEXT:    ; implicit-def: $vgpr0
 123 ; GISEL-NEXT:    s_xor_b32 exec_lo, exec_lo, s0
 124 ; GISEL-NEXT:    s_cbranch_execnz .LBB0_1
 125 ; GISEL-NEXT:  ; %bb.2:
 126 ; GISEL-NEXT:    s_mov_b32 exec_lo, s3
 127 ; GISEL-NEXT:    v_dual_mov_b32 v2, 0 :: v_dual_mov_b32 v3, 1.0
 128 ; GISEL-NEXT:    v_mov_b32_e32 v0, 0x7fc00000
 129 ; GISEL-NEXT:    s_clause 0x2
 130 ; GISEL-NEXT:    image_sample_c_lz v0, [v2, v2, v0, v2], s[4:11], s[20:23] dmask:0x1 dim:SQ_RSRC_IMG_2D_ARRAY
 131 ; GISEL-NEXT:    image_sample_c_lz v3, [v2, v3, v2, v2], s[4:11], s[20:23] dmask:0x1 dim:SQ_RSRC_IMG_2D_ARRAY
 132 ; GISEL-NEXT:    image_sample_c_lz v4, [v2, v2, v2, v2], s[4:11], s[20:23] dmask:0x1 dim:SQ_RSRC_IMG_2D_ARRAY
 133 ; GISEL-NEXT:    s_waitcnt vmcnt(2)
 134 ; GISEL-NEXT:    v_add_f32_e32 v0, v1, v0
 135 ; GISEL-NEXT:    s_waitcnt vmcnt(1)
 136 ; GISEL-NEXT:    s_delay_alu instid0(VALU_DEP_1) | instskip(SKIP_1) | instid1(VALU_DEP_1)
 137 ; GISEL-NEXT:    v_dual_add_f32 v0, v3, v0 :: v_dual_mov_b32 v3, v2
 138 ; GISEL-NEXT:    s_waitcnt vmcnt(0)
 139 ; GISEL-NEXT:    v_add_f32_e32 v0, v4, v0
 140 ; GISEL-NEXT:    s_delay_alu instid0(VALU_DEP_1)
 141 ; GISEL-NEXT:    v_mul_f32_e32 v1, 0x3e800000, v0
 142 ; GISEL-NEXT:    image_store v[1:3], [v2, v2], s[4:11] dim:SQ_RSRC_IMG_2D unorm
 143 ; GISEL-NEXT:    s_setpc_b64 s[30:31]
 144 bb:
 145   %descriptor = load <8 x i32>, ptr addrspace(1) %arg, align 32
 146   %needs.waterfall = call float @llvm.amdgcn.image.sample.c.lz.2darray.f32.f32(i32 1, float 0.0, float 0.0, float 0.0, float 0.0, <8 x i32> %descriptor, <4 x i32> zeroinitializer, i1 false, i32 0, i32 0)
 147   %i2 = call float @llvm.amdgcn.image.sample.c.lz.2darray.f32.f32(i32 1, float 0.0, float 0.0, float 0x7FF8000000000000, float 0.0, <8 x i32> zeroinitializer, <4 x i32> zeroinitializer, i1 false, i32 0, i32 0)
 148   %i3 = fadd float %needs.waterfall, %i2
 149   %i4 = call float @llvm.amdgcn.image.sample.c.lz.2darray.f32.f32(i32 1, float 0.0, float 1.000000e+00, float 0.0, float 0.0, <8 x i32> zeroinitializer, <4 x i32> zeroinitializer, i1 false, i32 0, i32 0)
 150   %i5 = fadd float %i4, %i3
 151   %i6 = call float @llvm.amdgcn.image.sample.c.lz.2darray.f32.f32(i32 1, float 0.0, float 0.0, float 0.0, float 0.0, <8 x i32> zeroinitializer, <4 x i32> zeroinitializer, i1 false, i32 0, i32 0)
 152   %i7 = fadd float %i6, %i5
 153   %i8 = fmul float %i7, 2.500000e-01
 154   %i9 = insertelement <3 x float> zeroinitializer, float %i8, i64 0
 155   call void @llvm.amdgcn.image.store.2d.v3f32.i32(<3 x float> %i9, i32 0, i32 0, i32 0, <8 x i32> zeroinitializer, i32 0, i32 0)
 156   ret void
 157 }