# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
# RUN: llc -mtriple=amdgcn-amd-amdhsa -mcpu=gfx900 -run-pass=amdgpu-prelegalizer-combiner -simplify-mir -verify-machineinstrs -o - %s | FileCheck %s
---
name: no_fold_add_into_select_s32_0_multi_use
tracksRegLiveness: true
body: |
bb.0:
liveins: $vgpr0
; CHECK-LABEL: name: no_fold_add_into_select_s32_0_multi_use
; CHECK: liveins: $vgpr0
; CHECK-NEXT: {{ $}}
; CHECK-NEXT: %reg:_(s32) = COPY $vgpr0
; CHECK-NEXT: %zero:_(s32) = G_CONSTANT i32 0
; CHECK-NEXT: %cond:_(s1) = G_ICMP intpred(eq), %reg(s32), %zero
; CHECK-NEXT: %ten:_(s32) = G_CONSTANT i32 10
; CHECK-NEXT: %twenty:_(s32) = G_CONSTANT i32 20
; CHECK-NEXT: %select:_(s32) = G_SELECT %cond(s1), %ten, %twenty
; CHECK-NEXT: %thirty:_(s32) = G_CONSTANT i32 30
; CHECK-NEXT: %add:_(s32) = G_ADD %select, %thirty
; CHECK-NEXT: S_ENDPGM 0, implicit %add(s32), implicit %select(s32)
%reg:_(s32) = COPY $vgpr0
%zero:_(s32) = G_CONSTANT i32 0
%cond:_(s1) = G_ICMP intpred(eq), %reg, %zero
%ten:_(s32) = G_CONSTANT i32 10
%twenty:_(s32) = G_CONSTANT i32 20
%select:_(s32) = G_SELECT %cond, %ten, %twenty
%thirty:_(s32) = G_CONSTANT i32 30
%add:_(s32) = G_ADD %select, %thirty
S_ENDPGM 0, implicit %add, implicit %select
...
---
name: no_fold_add_into_select_s32_1_multi_use
tracksRegLiveness: true
body: |
bb.0:
liveins: $vgpr0
; CHECK-LABEL: name: no_fold_add_into_select_s32_1_multi_use
; CHECK: liveins: $vgpr0
; CHECK-NEXT: {{ $}}
; CHECK-NEXT: %reg:_(s32) = COPY $vgpr0
; CHECK-NEXT: %zero:_(s32) = G_CONSTANT i32 0
; CHECK-NEXT: %cond:_(s1) = G_ICMP intpred(eq), %reg(s32), %zero
; CHECK-NEXT: %ten:_(s32) = G_CONSTANT i32 10
; CHECK-NEXT: %twenty:_(s32) = G_CONSTANT i32 20
; CHECK-NEXT: %select:_(s32) = G_SELECT %cond(s1), %ten, %twenty
; CHECK-NEXT: %thirty:_(s32) = G_CONSTANT i32 30
; CHECK-NEXT: %add:_(s32) = G_ADD %select, %thirty
; CHECK-NEXT: S_ENDPGM 0, implicit %add(s32), implicit %select(s32)
%reg:_(s32) = COPY $vgpr0
%zero:_(s32) = G_CONSTANT i32 0
%cond:_(s1) = G_ICMP intpred(eq), %reg, %zero
%ten:_(s32) = G_CONSTANT i32 10
%twenty:_(s32) = G_CONSTANT i32 20
%select:_(s32) = G_SELECT %cond, %ten, %twenty
%thirty:_(s32) = G_CONSTANT i32 30
%add:_(s32) = G_ADD %thirty, %select
S_ENDPGM 0, implicit %add, implicit %select
...
---
name: no_fold_sub_into_select_s32_nonconst_rhs
tracksRegLiveness: true
body: |
bb.0:
liveins: $vgpr0, $vgpr1
; CHECK-LABEL: name: no_fold_sub_into_select_s32_nonconst_rhs
; CHECK: liveins: $vgpr0, $vgpr1
; CHECK-NEXT: {{ $}}
; CHECK-NEXT: %reg:_(s32) = COPY $vgpr0
; CHECK-NEXT: %variable:_(s32) = COPY $vgpr0
; CHECK-NEXT: %zero:_(s32) = G_CONSTANT i32 0
; CHECK-NEXT: %cond:_(s1) = G_ICMP intpred(eq), %reg(s32), %zero
; CHECK-NEXT: %ten:_(s32) = G_CONSTANT i32 10
; CHECK-NEXT: %twenty:_(s32) = G_CONSTANT i32 20
; CHECK-NEXT: %select:_(s32) = G_SELECT %cond(s1), %ten, %twenty
; CHECK-NEXT: %sub:_(s32) = G_SUB %select, %variable
; CHECK-NEXT: S_ENDPGM 0, implicit %sub(s32)
%reg:_(s32) = COPY $vgpr0
%variable:_(s32) = COPY $vgpr0
%zero:_(s32) = G_CONSTANT i32 0
%cond:_(s1) = G_ICMP intpred(eq), %reg, %zero
%ten:_(s32) = G_CONSTANT i32 10
%twenty:_(s32) = G_CONSTANT i32 20
%select:_(s32) = G_SELECT %cond, %ten, %twenty
%thirty:_(s32) = G_CONSTANT i32 30
%sub:_(s32) = G_SUB %select, %variable
S_ENDPGM 0, implicit %sub
...
---
name: no_fold_sub_into_select_s32_nonconst_lhs
tracksRegLiveness: true
body: |
bb.0:
liveins: $vgpr0, $vgpr1
; CHECK-LABEL: name: no_fold_sub_into_select_s32_nonconst_lhs
; CHECK: liveins: $vgpr0, $vgpr1
; CHECK-NEXT: {{ $}}
; CHECK-NEXT: %reg:_(s32) = COPY $vgpr0
; CHECK-NEXT: %variable:_(s32) = COPY $vgpr0
; CHECK-NEXT: %zero:_(s32) = G_CONSTANT i32 0
; CHECK-NEXT: %cond:_(s1) = G_ICMP intpred(eq), %reg(s32), %zero
; CHECK-NEXT: %ten:_(s32) = G_CONSTANT i32 10
; CHECK-NEXT: %twenty:_(s32) = G_CONSTANT i32 20
; CHECK-NEXT: %select:_(s32) = G_SELECT %cond(s1), %ten, %twenty
; CHECK-NEXT: %sub:_(s32) = G_SUB %variable, %select
; CHECK-NEXT: S_ENDPGM 0, implicit %sub(s32)
%reg:_(s32) = COPY $vgpr0
%variable:_(s32) = COPY $vgpr0
%zero:_(s32) = G_CONSTANT i32 0
%cond:_(s1) = G_ICMP intpred(eq), %reg, %zero
%ten:_(s32) = G_CONSTANT i32 10
%twenty:_(s32) = G_CONSTANT i32 20
%select:_(s32) = G_SELECT %cond, %ten, %twenty
%thirty:_(s32) = G_CONSTANT i32 30
%sub:_(s32) = G_SUB %variable, %select
S_ENDPGM 0, implicit %sub
...
---
name: fold_add_into_select_s32_0
tracksRegLiveness: true
body: |
bb.0:
liveins: $vgpr0
; CHECK-LABEL: name: fold_add_into_select_s32_0
; CHECK: liveins: $vgpr0
; CHECK-NEXT: {{ $}}
; CHECK-NEXT: %reg:_(s32) = COPY $vgpr0
; CHECK-NEXT: %zero:_(s32) = G_CONSTANT i32 0
; CHECK-NEXT: %cond:_(s1) = G_ICMP intpred(eq), %reg(s32), %zero
; CHECK-NEXT: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 40
; CHECK-NEXT: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 50
; CHECK-NEXT: %add:_(s32) = G_SELECT %cond(s1), [[C]], [[C1]]
; CHECK-NEXT: S_ENDPGM 0, implicit %add(s32)
%reg:_(s32) = COPY $vgpr0
%zero:_(s32) = G_CONSTANT i32 0
%cond:_(s1) = G_ICMP intpred(eq), %reg, %zero
%ten:_(s32) = G_CONSTANT i32 10
%twenty:_(s32) = G_CONSTANT i32 20
%select:_(s32) = G_SELECT %cond, %ten, %twenty
%thirty:_(s32) = G_CONSTANT i32 30
%add:_(s32) = G_ADD %select, %thirty
S_ENDPGM 0, implicit %add
...
---
name: fold_add_into_select_s32_1
tracksRegLiveness: true
body: |
bb.0:
liveins: $vgpr0
; CHECK-LABEL: name: fold_add_into_select_s32_1
; CHECK: liveins: $vgpr0
; CHECK-NEXT: {{ $}}
; CHECK-NEXT: %reg:_(s32) = COPY $vgpr0
; CHECK-NEXT: %zero:_(s32) = G_CONSTANT i32 0
; CHECK-NEXT: %cond:_(s1) = G_ICMP intpred(eq), %reg(s32), %zero
; CHECK-NEXT: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 40
; CHECK-NEXT: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 50
; CHECK-NEXT: %add:_(s32) = G_SELECT %cond(s1), [[C]], [[C1]]
; CHECK-NEXT: S_ENDPGM 0, implicit %add(s32)
%reg:_(s32) = COPY $vgpr0
%zero:_(s32) = G_CONSTANT i32 0
%cond:_(s1) = G_ICMP intpred(eq), %reg, %zero
%ten:_(s32) = G_CONSTANT i32 10
%twenty:_(s32) = G_CONSTANT i32 20
%select:_(s32) = G_SELECT %cond, %ten, %twenty
%thirty:_(s32) = G_CONSTANT i32 30
%add:_(s32) = G_ADD %thirty, %select
S_ENDPGM 0, implicit %add
...
---
name: fold_add_into_select_v2s32_splat
tracksRegLiveness: true
body: |
bb.0:
liveins: $vgpr0_vgpr1, $vgpr2_vgpr3
; CHECK-LABEL: name: fold_add_into_select_v2s32_splat
; CHECK: liveins: $vgpr0_vgpr1, $vgpr2_vgpr3
; CHECK-NEXT: {{ $}}
; CHECK-NEXT: %reg0:_(<2 x s32>) = COPY $vgpr0_vgpr1
; CHECK-NEXT: %reg1:_(<2 x s32>) = COPY $vgpr2_vgpr3
; CHECK-NEXT: %cond:_(<2 x s1>) = G_ICMP intpred(eq), %reg0(<2 x s32>), %reg1
; CHECK-NEXT: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 40
; CHECK-NEXT: [[BUILD_VECTOR:%[0-9]+]]:_(<2 x s32>) = G_BUILD_VECTOR [[C]](s32), [[C]](s32)
; CHECK-NEXT: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 50
; CHECK-NEXT: [[BUILD_VECTOR1:%[0-9]+]]:_(<2 x s32>) = G_BUILD_VECTOR [[C1]](s32), [[C1]](s32)
; CHECK-NEXT: %add:_(<2 x s32>) = G_SELECT %cond(<2 x s1>), [[BUILD_VECTOR]], [[BUILD_VECTOR1]]
; CHECK-NEXT: S_ENDPGM 0, implicit %add(<2 x s32>)
%reg0:_(<2 x s32>) = COPY $vgpr0_vgpr1
%reg1:_(<2 x s32>) = COPY $vgpr2_vgpr3
%cond:_(<2 x s1>) = G_ICMP intpred(eq), %reg0, %reg1
%ten:_(s32) = G_CONSTANT i32 10
%twenty:_(s32) = G_CONSTANT i32 20
%ten_vec:_(<2 x s32>) = G_BUILD_VECTOR %ten, %ten
%twenty_vec:_(<2 x s32>) = G_BUILD_VECTOR %twenty, %twenty
%select:_(<2 x s32>) = G_SELECT %cond, %ten_vec, %twenty_vec
%thirty:_(s32) = G_CONSTANT i32 30
%thirty_vec:_(<2 x s32>) = G_BUILD_VECTOR %thirty, %thirty
%add:_(<2 x s32>) = G_ADD %select, %thirty_vec
S_ENDPGM 0, implicit %add
...
---
name: fold_add_into_select_v2s32_nonsplat
tracksRegLiveness: true
body: |
bb.0:
liveins: $vgpr0_vgpr1, $vgpr2_vgpr3
; CHECK-LABEL: name: fold_add_into_select_v2s32_nonsplat
; CHECK: liveins: $vgpr0_vgpr1, $vgpr2_vgpr3
; CHECK-NEXT: {{ $}}
; CHECK-NEXT: %reg0:_(<2 x s32>) = COPY $vgpr0_vgpr1
; CHECK-NEXT: %reg1:_(<2 x s32>) = COPY $vgpr2_vgpr3
; CHECK-NEXT: %cond:_(<2 x s1>) = G_ICMP intpred(eq), %reg0(<2 x s32>), %reg1
; CHECK-NEXT: %twenty:_(s32) = G_CONSTANT i32 20
; CHECK-NEXT: %thirty:_(s32) = G_CONSTANT i32 30
; CHECK-NEXT: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 40
; CHECK-NEXT: [[BUILD_VECTOR:%[0-9]+]]:_(<2 x s32>) = G_BUILD_VECTOR [[C]](s32), %thirty(s32)
; CHECK-NEXT: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 50
; CHECK-NEXT: [[BUILD_VECTOR1:%[0-9]+]]:_(<2 x s32>) = G_BUILD_VECTOR [[C1]](s32), %twenty(s32)
; CHECK-NEXT: %add:_(<2 x s32>) = G_SELECT %cond(<2 x s1>), [[BUILD_VECTOR]], [[BUILD_VECTOR1]]
; CHECK-NEXT: S_ENDPGM 0, implicit %add(<2 x s32>)
%reg0:_(<2 x s32>) = COPY $vgpr0_vgpr1
%reg1:_(<2 x s32>) = COPY $vgpr2_vgpr3
%cond:_(<2 x s1>) = G_ICMP intpred(eq), %reg0, %reg1
%ten:_(s32) = G_CONSTANT i32 10
%twenty:_(s32) = G_CONSTANT i32 20
%const_vec0:_(<2 x s32>) = G_BUILD_VECTOR %ten, %twenty
%const_vec1:_(<2 x s32>) = G_BUILD_VECTOR %twenty, %ten
%select:_(<2 x s32>) = G_SELECT %cond, %const_vec0, %const_vec1
%thirty:_(s32) = G_CONSTANT i32 30
%const_vec3:_(<2 x s32>) = G_BUILD_VECTOR %thirty, %ten
%add:_(<2 x s32>) = G_ADD %select, %const_vec3
S_ENDPGM 0, implicit %add
...
---
name: fold_add_into_select_v2s32_nonsplat_undef
tracksRegLiveness: true
body: |
bb.0:
liveins: $vgpr0_vgpr1, $vgpr2_vgpr3
; CHECK-LABEL: name: fold_add_into_select_v2s32_nonsplat_undef
; CHECK: liveins: $vgpr0_vgpr1, $vgpr2_vgpr3
; CHECK-NEXT: {{ $}}
; CHECK-NEXT: %reg0:_(<2 x s32>) = COPY $vgpr0_vgpr1
; CHECK-NEXT: %reg1:_(<2 x s32>) = COPY $vgpr2_vgpr3
; CHECK-NEXT: %cond:_(<2 x s1>) = G_ICMP intpred(eq), %reg0(<2 x s32>), %reg1
; CHECK-NEXT: %twenty:_(s32) = G_CONSTANT i32 20
; CHECK-NEXT: %undef:_(s32) = G_IMPLICIT_DEF
; CHECK-NEXT: %const_vec0:_(<2 x s32>) = G_BUILD_VECTOR %undef(s32), %twenty(s32)
; CHECK-NEXT: %const_vec1:_(<2 x s32>) = G_BUILD_VECTOR %twenty(s32), %undef(s32)
; CHECK-NEXT: %thirty:_(s32) = G_CONSTANT i32 30
; CHECK-NEXT: %const_vec3:_(<2 x s32>) = G_BUILD_VECTOR %thirty(s32), %undef(s32)
; CHECK-NEXT: [[ADD:%[0-9]+]]:_(<2 x s32>) = G_ADD %const_vec0, %const_vec3
; CHECK-NEXT: [[ADD1:%[0-9]+]]:_(<2 x s32>) = G_ADD %const_vec1, %const_vec3
; CHECK-NEXT: %add:_(<2 x s32>) = G_SELECT %cond(<2 x s1>), [[ADD]], [[ADD1]]
; CHECK-NEXT: S_ENDPGM 0, implicit %add(<2 x s32>)
%reg0:_(<2 x s32>) = COPY $vgpr0_vgpr1
%reg1:_(<2 x s32>) = COPY $vgpr2_vgpr3
%cond:_(<2 x s1>) = G_ICMP intpred(eq), %reg0, %reg1
%ten:_(s32) = G_CONSTANT i32 10
%twenty:_(s32) = G_CONSTANT i32 20
%undef:_(s32) = G_IMPLICIT_DEF
%const_vec0:_(<2 x s32>) = G_BUILD_VECTOR %undef, %twenty
%const_vec1:_(<2 x s32>) = G_BUILD_VECTOR %twenty, %undef
%select:_(<2 x s32>) = G_SELECT %cond, %const_vec0, %const_vec1
%thirty:_(s32) = G_CONSTANT i32 30
%const_vec3:_(<2 x s32>) = G_BUILD_VECTOR %thirty, %undef
%add:_(<2 x s32>) = G_ADD %select, %const_vec3
S_ENDPGM 0, implicit %add
...
---
name: fold_sub_into_select_s32_0
tracksRegLiveness: true
body: |
bb.0:
liveins: $vgpr0
; CHECK-LABEL: name: fold_sub_into_select_s32_0
; CHECK: liveins: $vgpr0
; CHECK-NEXT: {{ $}}
; CHECK-NEXT: %reg:_(s32) = COPY $vgpr0
; CHECK-NEXT: %zero:_(s32) = G_CONSTANT i32 0
; CHECK-NEXT: %cond:_(s1) = G_ICMP intpred(eq), %reg(s32), %zero
; CHECK-NEXT: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 -20
; CHECK-NEXT: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 -10
; CHECK-NEXT: %sub:_(s32) = G_SELECT %cond(s1), [[C]], [[C1]]
; CHECK-NEXT: S_ENDPGM 0, implicit %sub(s32)
%reg:_(s32) = COPY $vgpr0
%zero:_(s32) = G_CONSTANT i32 0
%cond:_(s1) = G_ICMP intpred(eq), %reg, %zero
%ten:_(s32) = G_CONSTANT i32 10
%twenty:_(s32) = G_CONSTANT i32 20
%select:_(s32) = G_SELECT %cond, %ten, %twenty
%thirty:_(s32) = G_CONSTANT i32 30
%sub:_(s32) = G_SUB %select, %thirty
S_ENDPGM 0, implicit %sub
...
---
name: fold_sub_into_select_s32_1
tracksRegLiveness: true
body: |
bb.0:
liveins: $vgpr0
; CHECK-LABEL: name: fold_sub_into_select_s32_1
; CHECK: liveins: $vgpr0
; CHECK-NEXT: {{ $}}
; CHECK-NEXT: %reg:_(s32) = COPY $vgpr0
; CHECK-NEXT: %zero:_(s32) = G_CONSTANT i32 0
; CHECK-NEXT: %cond:_(s1) = G_ICMP intpred(eq), %reg(s32), %zero
; CHECK-NEXT: %ten:_(s32) = G_CONSTANT i32 10
; CHECK-NEXT: %twenty:_(s32) = G_CONSTANT i32 20
; CHECK-NEXT: %sub:_(s32) = G_SELECT %cond(s1), %twenty, %ten
; CHECK-NEXT: S_ENDPGM 0, implicit %sub(s32)
%reg:_(s32) = COPY $vgpr0
%zero:_(s32) = G_CONSTANT i32 0
%cond:_(s1) = G_ICMP intpred(eq), %reg, %zero
%ten:_(s32) = G_CONSTANT i32 10
%twenty:_(s32) = G_CONSTANT i32 20
%select:_(s32) = G_SELECT %cond, %ten, %twenty
%thirty:_(s32) = G_CONSTANT i32 30
%sub:_(s32) = G_SUB %thirty, %select
S_ENDPGM 0, implicit %sub
...
---
name: fold_ptr_add_into_select_p3_0
tracksRegLiveness: true
body: |
bb.0:
liveins: $vgpr0
; CHECK-LABEL: name: fold_ptr_add_into_select_p3_0
; CHECK: liveins: $vgpr0
; CHECK-NEXT: {{ $}}
; CHECK-NEXT: %reg:_(s32) = COPY $vgpr0
; CHECK-NEXT: %zero:_(s32) = G_CONSTANT i32 0
; CHECK-NEXT: %cond:_(s1) = G_ICMP intpred(eq), %reg(s32), %zero
; CHECK-NEXT: [[C:%[0-9]+]]:_(p3) = G_CONSTANT i32 40
; CHECK-NEXT: [[C1:%[0-9]+]]:_(p3) = G_CONSTANT i32 50
; CHECK-NEXT: %ptr_add:_(p3) = G_SELECT %cond(s1), [[C]], [[C1]]
; CHECK-NEXT: S_ENDPGM 0, implicit %ptr_add(p3)
%reg:_(s32) = COPY $vgpr0
%zero:_(s32) = G_CONSTANT i32 0
%cond:_(s1) = G_ICMP intpred(eq), %reg, %zero
%ten:_(p3) = G_CONSTANT i32 10
%twenty:_(p3) = G_CONSTANT i32 20
%select:_(p3) = G_SELECT %cond, %ten, %twenty
%thirty:_(s32) = G_CONSTANT i32 30
%ptr_add:_(p3) = G_PTR_ADD %select, %thirty
S_ENDPGM 0, implicit %ptr_add
...
---
name: fold_ptr_add_into_select_p3_1
tracksRegLiveness: true
body: |
bb.0:
liveins: $vgpr0
; CHECK-LABEL: name: fold_ptr_add_into_select_p3_1
; CHECK: liveins: $vgpr0
; CHECK-NEXT: {{ $}}
; CHECK-NEXT: %reg:_(s32) = COPY $vgpr0
; CHECK-NEXT: %zero:_(s32) = G_CONSTANT i32 0
; CHECK-NEXT: %cond:_(s1) = G_ICMP intpred(eq), %reg(s32), %zero
; CHECK-NEXT: [[C:%[0-9]+]]:_(p3) = G_CONSTANT i32 40
; CHECK-NEXT: [[C1:%[0-9]+]]:_(p3) = G_CONSTANT i32 50
; CHECK-NEXT: %ptr_add:_(p3) = G_SELECT %cond(s1), [[C]], [[C1]]
; CHECK-NEXT: S_ENDPGM 0, implicit %ptr_add(p3)
%reg:_(s32) = COPY $vgpr0
%zero:_(s32) = G_CONSTANT i32 0
%cond:_(s1) = G_ICMP intpred(eq), %reg, %zero
%ten:_(s32) = G_CONSTANT i32 10
%twenty:_(s32) = G_CONSTANT i32 20
%select:_(s32) = G_SELECT %cond, %ten, %twenty
%thirty:_(p3) = G_CONSTANT i32 30
%ptr_add:_(p3) = G_PTR_ADD %thirty, %select
S_ENDPGM 0, implicit %ptr_add
...
---
name: fold_shl_into_select_s64_0
tracksRegLiveness: true
body: |
bb.0:
liveins: $vgpr0
; CHECK-LABEL: name: fold_shl_into_select_s64_0
; CHECK: liveins: $vgpr0
; CHECK-NEXT: {{ $}}
; CHECK-NEXT: %reg:_(s32) = COPY $vgpr0
; CHECK-NEXT: %zero:_(s32) = G_CONSTANT i32 0
; CHECK-NEXT: %cond:_(s1) = G_ICMP intpred(eq), %reg(s32), %zero
; CHECK-NEXT: [[C:%[0-9]+]]:_(s64) = G_CONSTANT i64 1280
; CHECK-NEXT: [[C1:%[0-9]+]]:_(s64) = G_CONSTANT i64 2560
; CHECK-NEXT: %shl:_(s64) = G_SELECT %cond(s1), [[C]], [[C1]]
; CHECK-NEXT: S_ENDPGM 0, implicit %shl(s64)
%reg:_(s32) = COPY $vgpr0
%zero:_(s32) = G_CONSTANT i32 0
%cond:_(s1) = G_ICMP intpred(eq), %reg, %zero
%ten:_(s64) = G_CONSTANT i64 10
%twenty:_(s64) = G_CONSTANT i64 20
%select:_(s64) = G_SELECT %cond, %ten, %twenty
%seven:_(s32) = G_CONSTANT i32 7
%shl:_(s64) = G_SHL %select, %seven
S_ENDPGM 0, implicit %shl
...
---
name: fold_shl_into_select_s64_1
tracksRegLiveness: true
body: |
bb.0:
liveins: $vgpr0
; CHECK-LABEL: name: fold_shl_into_select_s64_1
; CHECK: liveins: $vgpr0
; CHECK-NEXT: {{ $}}
; CHECK-NEXT: %reg:_(s32) = COPY $vgpr0
; CHECK-NEXT: %zero:_(s32) = G_CONSTANT i32 0
; CHECK-NEXT: %cond:_(s1) = G_ICMP intpred(eq), %reg(s32), %zero
; CHECK-NEXT: [[C:%[0-9]+]]:_(s64) = G_CONSTANT i64 8192
; CHECK-NEXT: [[C1:%[0-9]+]]:_(s64) = G_CONSTANT i64 524288
; CHECK-NEXT: %shl:_(s64) = G_SELECT %cond(s1), [[C]], [[C1]]
; CHECK-NEXT: S_ENDPGM 0, implicit %shl(s64)
%reg:_(s32) = COPY $vgpr0
%zero:_(s32) = G_CONSTANT i32 0
%cond:_(s1) = G_ICMP intpred(eq), %reg, %zero
%ten:_(s32) = G_CONSTANT i32 10
%sixteen:_(s32) = G_CONSTANT i32 16
%select:_(s32) = G_SELECT %cond, %ten, %sixteen
%eight:_(s64) = G_CONSTANT i64 8
%shl:_(s64) = G_SHL %eight, %select
S_ENDPGM 0, implicit %shl
...
---
name: fold_and_variable_into_select_zero_neg1_s32
tracksRegLiveness: true
body: |
bb.0:
liveins: $vgpr0, $vgpr1
; CHECK-LABEL: name: fold_and_variable_into_select_zero_neg1_s32
; CHECK: liveins: $vgpr0, $vgpr1
; CHECK-NEXT: {{ $}}
; CHECK-NEXT: %reg:_(s32) = COPY $vgpr0
; CHECK-NEXT: %variable:_(s32) = COPY $vgpr0
; CHECK-NEXT: %zero:_(s32) = G_CONSTANT i32 0
; CHECK-NEXT: %cond:_(s1) = G_ICMP intpred(ne), %reg(s32), %zero
; CHECK-NEXT: %select:_(s32) = G_SEXT %cond(s1)
; CHECK-NEXT: %and:_(s32) = G_AND %select, %variable
; CHECK-NEXT: S_ENDPGM 0, implicit %and(s32)
%reg:_(s32) = COPY $vgpr0
%variable:_(s32) = COPY $vgpr0
%zero:_(s32) = G_CONSTANT i32 0
%cond:_(s1) = G_ICMP intpred(eq), %reg, %zero
%neg1:_(s32) = G_CONSTANT i32 -1
%select:_(s32) = G_SELECT %cond, %zero, %neg1
%and:_(s32) = G_AND %select, %variable
S_ENDPGM 0, implicit %and
...
---
name: fold_and_variable_into_select_neg1_zero_s32
tracksRegLiveness: true
body: |
bb.0:
liveins: $vgpr0, $vgpr1
; CHECK-LABEL: name: fold_and_variable_into_select_neg1_zero_s32
; CHECK: liveins: $vgpr0, $vgpr1
; CHECK-NEXT: {{ $}}
; CHECK-NEXT: %reg:_(s32) = COPY $vgpr0
; CHECK-NEXT: %variable:_(s32) = COPY $vgpr0
; CHECK-NEXT: %zero:_(s32) = G_CONSTANT i32 0
; CHECK-NEXT: %cond:_(s1) = G_ICMP intpred(eq), %reg(s32), %zero
; CHECK-NEXT: %select:_(s32) = G_SEXT %cond(s1)
; CHECK-NEXT: %and:_(s32) = G_AND %select, %variable
; CHECK-NEXT: S_ENDPGM 0, implicit %and(s32)
%reg:_(s32) = COPY $vgpr0
%variable:_(s32) = COPY $vgpr0
%zero:_(s32) = G_CONSTANT i32 0
%cond:_(s1) = G_ICMP intpred(eq), %reg, %zero
%neg1:_(s32) = G_CONSTANT i32 -1
%select:_(s32) = G_SELECT %cond, %neg1, %zero
%and:_(s32) = G_AND %select, %variable
S_ENDPGM 0, implicit %and
...
---
name: fold_or_variable_into_select_zero_neg1_s32
tracksRegLiveness: true
body: |
bb.0:
liveins: $vgpr0, $vgpr1
; CHECK-LABEL: name: fold_or_variable_into_select_zero_neg1_s32
; CHECK: liveins: $vgpr0, $vgpr1
; CHECK-NEXT: {{ $}}
; CHECK-NEXT: %reg:_(s32) = COPY $vgpr0
; CHECK-NEXT: %variable:_(s32) = COPY $vgpr0
; CHECK-NEXT: %zero:_(s32) = G_CONSTANT i32 0
; CHECK-NEXT: %cond:_(s1) = G_ICMP intpred(ne), %reg(s32), %zero
; CHECK-NEXT: %select:_(s32) = G_SEXT %cond(s1)
; CHECK-NEXT: %or:_(s32) = G_OR %select, %variable
; CHECK-NEXT: S_ENDPGM 0, implicit %or(s32)
%reg:_(s32) = COPY $vgpr0
%variable:_(s32) = COPY $vgpr0
%zero:_(s32) = G_CONSTANT i32 0
%cond:_(s1) = G_ICMP intpred(eq), %reg, %zero
%neg1:_(s32) = G_CONSTANT i32 -1
%select:_(s32) = G_SELECT %cond, %zero, %neg1
%or:_(s32) = G_OR %select, %variable
S_ENDPGM 0, implicit %or
...
---
name: fold_or_variable_into_select_neg1_zero_s32
tracksRegLiveness: true
body: |
bb.0:
liveins: $vgpr0, $vgpr1
; CHECK-LABEL: name: fold_or_variable_into_select_neg1_zero_s32
; CHECK: liveins: $vgpr0, $vgpr1
; CHECK-NEXT: {{ $}}
; CHECK-NEXT: %reg:_(s32) = COPY $vgpr0
; CHECK-NEXT: %variable:_(s32) = COPY $vgpr0
; CHECK-NEXT: %zero:_(s32) = G_CONSTANT i32 0
; CHECK-NEXT: %cond:_(s1) = G_ICMP intpred(eq), %reg(s32), %zero
; CHECK-NEXT: %select:_(s32) = G_SEXT %cond(s1)
; CHECK-NEXT: %or:_(s32) = G_OR %select, %variable
; CHECK-NEXT: S_ENDPGM 0, implicit %or(s32)
%reg:_(s32) = COPY $vgpr0
%variable:_(s32) = COPY $vgpr0
%zero:_(s32) = G_CONSTANT i32 0
%cond:_(s1) = G_ICMP intpred(eq), %reg, %zero
%neg1:_(s32) = G_CONSTANT i32 -1
%select:_(s32) = G_SELECT %cond, %neg1, %zero
%or:_(s32) = G_OR %select, %variable
S_ENDPGM 0, implicit %or
...
---
name: fold_and_variable_into_select_undef_neg1_s32
tracksRegLiveness: true
body: |
bb.0:
liveins: $vgpr0, $vgpr1
; CHECK-LABEL: name: fold_and_variable_into_select_undef_neg1_s32
; CHECK: liveins: $vgpr0, $vgpr1
; CHECK-NEXT: {{ $}}
; CHECK-NEXT: %reg:_(s32) = COPY $vgpr0
; CHECK-NEXT: %variable:_(s32) = COPY $vgpr0
; CHECK-NEXT: %zero:_(s32) = G_CONSTANT i32 0
; CHECK-NEXT: %cond:_(s1) = G_ICMP intpred(eq), %reg(s32), %zero
; CHECK-NEXT: %undef:_(s32) = G_IMPLICIT_DEF
; CHECK-NEXT: %neg1:_(s32) = G_CONSTANT i32 -1
; CHECK-NEXT: %select:_(s32) = G_SELECT %cond(s1), %undef, %neg1
; CHECK-NEXT: %and:_(s32) = G_AND %select, %variable
; CHECK-NEXT: S_ENDPGM 0, implicit %and(s32)
%reg:_(s32) = COPY $vgpr0
%variable:_(s32) = COPY $vgpr0
%zero:_(s32) = G_CONSTANT i32 0
%cond:_(s1) = G_ICMP intpred(eq), %reg, %zero
%undef:_(s32) = G_IMPLICIT_DEF
%neg1:_(s32) = G_CONSTANT i32 -1
%select:_(s32) = G_SELECT %cond, %undef, %neg1
%and:_(s32) = G_AND %select, %variable
S_ENDPGM 0, implicit %and
...
---
name: fold_and_variable_into_select_undef_zero_s32
tracksRegLiveness: true
body: |
bb.0:
liveins: $vgpr0, $vgpr1
; CHECK-LABEL: name: fold_and_variable_into_select_undef_zero_s32
; CHECK: liveins: $vgpr0, $vgpr1
; CHECK-NEXT: {{ $}}
; CHECK-NEXT: %reg:_(s32) = COPY $vgpr0
; CHECK-NEXT: %variable:_(s32) = COPY $vgpr0
; CHECK-NEXT: %zero:_(s32) = G_CONSTANT i32 0
; CHECK-NEXT: %cond:_(s1) = G_ICMP intpred(eq), %reg(s32), %zero
; CHECK-NEXT: %undef:_(s32) = G_IMPLICIT_DEF
; CHECK-NEXT: %select:_(s32) = G_SELECT %cond(s1), %undef, %zero
; CHECK-NEXT: %and:_(s32) = G_AND %select, %variable
; CHECK-NEXT: S_ENDPGM 0, implicit %and(s32)
%reg:_(s32) = COPY $vgpr0
%variable:_(s32) = COPY $vgpr0
%zero:_(s32) = G_CONSTANT i32 0
%cond:_(s1) = G_ICMP intpred(eq), %reg, %zero
%undef:_(s32) = G_IMPLICIT_DEF
%select:_(s32) = G_SELECT %cond, %undef, %zero
%and:_(s32) = G_AND %select, %variable
S_ENDPGM 0, implicit %and
...
---
name: fold_or_variable_into_select_neg1_fpzero_s32
tracksRegLiveness: true
body: |
bb.0:
liveins: $vgpr0, $vgpr1
; CHECK-LABEL: name: fold_or_variable_into_select_neg1_fpzero_s32
; CHECK: liveins: $vgpr0, $vgpr1
; CHECK-NEXT: {{ $}}
; CHECK-NEXT: %reg:_(s32) = COPY $vgpr0
; CHECK-NEXT: %variable:_(s32) = COPY $vgpr0
; CHECK-NEXT: %zero:_(s32) = G_CONSTANT i32 0
; CHECK-NEXT: %cond:_(s1) = G_ICMP intpred(eq), %reg(s32), %zero
; CHECK-NEXT: %neg1:_(s32) = G_CONSTANT i32 -1
; CHECK-NEXT: %fpzero:_(s32) = G_FCONSTANT float 0.000000e+00
; CHECK-NEXT: [[OR:%[0-9]+]]:_(s32) = G_OR %fpzero, %variable
; CHECK-NEXT: %or:_(s32) = G_SELECT %cond(s1), %neg1, [[OR]]
; CHECK-NEXT: S_ENDPGM 0, implicit %or(s32)
%reg:_(s32) = COPY $vgpr0
%variable:_(s32) = COPY $vgpr0
%zero:_(s32) = G_CONSTANT i32 0
%cond:_(s1) = G_ICMP intpred(eq), %reg, %zero
%neg1:_(s32) = G_CONSTANT i32 -1
%fpzero:_(s32) = G_FCONSTANT float 0.0
%select:_(s32) = G_SELECT %cond, %neg1, %fpzero
%or:_(s32) = G_OR %select, %variable
S_ENDPGM 0, implicit %or
...
---
name: no_fold_or_variable_into_select_neg1_fpnegzero_s32
tracksRegLiveness: true
body: |
bb.0:
liveins: $vgpr0, $vgpr1
; CHECK-LABEL: name: no_fold_or_variable_into_select_neg1_fpnegzero_s32
; CHECK: liveins: $vgpr0, $vgpr1
; CHECK-NEXT: {{ $}}
; CHECK-NEXT: %reg:_(s32) = COPY $vgpr0
; CHECK-NEXT: %variable:_(s32) = COPY $vgpr0
; CHECK-NEXT: %zero:_(s32) = G_CONSTANT i32 0
; CHECK-NEXT: %cond:_(s1) = G_ICMP intpred(eq), %reg(s32), %zero
; CHECK-NEXT: %neg1:_(s32) = G_CONSTANT i32 -1
; CHECK-NEXT: %fpzero:_(s32) = G_FCONSTANT float -0.000000e+00
; CHECK-NEXT: %select:_(s32) = G_SELECT %cond(s1), %neg1, %fpzero
; CHECK-NEXT: %or:_(s32) = G_OR %select, %variable
; CHECK-NEXT: S_ENDPGM 0, implicit %or(s32)
%reg:_(s32) = COPY $vgpr0
%variable:_(s32) = COPY $vgpr0
%zero:_(s32) = G_CONSTANT i32 0
%cond:_(s1) = G_ICMP intpred(eq), %reg, %zero
%neg1:_(s32) = G_CONSTANT i32 -1
%fpzero:_(s32) = G_FCONSTANT float -0.0
%select:_(s32) = G_SELECT %cond, %neg1, %fpzero
%or:_(s32) = G_OR %select, %variable
S_ENDPGM 0, implicit %or
...
---
name: no_fold_or_variable_into_select_neg1_other_const_s32
tracksRegLiveness: true
body: |
bb.0:
liveins: $vgpr0, $vgpr1
; CHECK-LABEL: name: no_fold_or_variable_into_select_neg1_other_const_s32
; CHECK: liveins: $vgpr0, $vgpr1
; CHECK-NEXT: {{ $}}
; CHECK-NEXT: %reg:_(s32) = COPY $vgpr0
; CHECK-NEXT: %variable:_(s32) = COPY $vgpr0
; CHECK-NEXT: %zero:_(s32) = G_CONSTANT i32 0
; CHECK-NEXT: %cond:_(s1) = G_ICMP intpred(eq), %reg(s32), %zero
; CHECK-NEXT: %otherconst:_(s32) = G_CONSTANT i32 123
; CHECK-NEXT: [[SEXT:%[0-9]+]]:_(s32) = G_SEXT %cond(s1)
; CHECK-NEXT: %select:_(s32) = G_OR [[SEXT]], %otherconst
; CHECK-NEXT: %or:_(s32) = G_OR %select, %variable
; CHECK-NEXT: S_ENDPGM 0, implicit %or(s32)
%reg:_(s32) = COPY $vgpr0
%variable:_(s32) = COPY $vgpr0
%zero:_(s32) = G_CONSTANT i32 0
%cond:_(s1) = G_ICMP intpred(eq), %reg, %zero
%neg1:_(s32) = G_CONSTANT i32 -1
%otherconst:_(s32) = G_CONSTANT i32 123
%select:_(s32) = G_SELECT %cond, %neg1, %otherconst
%or:_(s32) = G_OR %select, %variable
S_ENDPGM 0, implicit %or
...
---
name: fold_xor_into_select_s32_0
tracksRegLiveness: true
body: |
bb.0:
liveins: $vgpr0
; CHECK-LABEL: name: fold_xor_into_select_s32_0
; CHECK: liveins: $vgpr0
; CHECK-NEXT: {{ $}}
; CHECK-NEXT: %reg:_(s32) = COPY $vgpr0
; CHECK-NEXT: %zero:_(s32) = G_CONSTANT i32 0
; CHECK-NEXT: %cond:_(s1) = G_ICMP intpred(eq), %reg(s32), %zero
; CHECK-NEXT: %ten:_(s32) = G_CONSTANT i32 10
; CHECK-NEXT: %twenty:_(s32) = G_CONSTANT i32 20
; CHECK-NEXT: %xor:_(s32) = G_SELECT %cond(s1), %twenty, %ten
; CHECK-NEXT: S_ENDPGM 0, implicit %xor(s32)
%reg:_(s32) = COPY $vgpr0
%zero:_(s32) = G_CONSTANT i32 0
%cond:_(s1) = G_ICMP intpred(eq), %reg, %zero
%ten:_(s32) = G_CONSTANT i32 10
%twenty:_(s32) = G_CONSTANT i32 20
%select:_(s32) = G_SELECT %cond, %ten, %twenty
%thirty:_(s32) = G_CONSTANT i32 30
%xor:_(s32) = G_XOR %select, %thirty
S_ENDPGM 0, implicit %xor
...
---
name: fold_sdiv_into_select_s32_0
tracksRegLiveness: true
body: |
bb.0:
liveins: $vgpr0
; CHECK-LABEL: name: fold_sdiv_into_select_s32_0
; CHECK: liveins: $vgpr0
; CHECK-NEXT: {{ $}}
; CHECK-NEXT: %reg:_(s32) = COPY $vgpr0
; CHECK-NEXT: %zero:_(s32) = G_CONSTANT i32 0
; CHECK-NEXT: %cond:_(s1) = G_ICMP intpred(eq), %reg(s32), %zero
; CHECK-NEXT: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 50
; CHECK-NEXT: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 21
; CHECK-NEXT: %sdiv:_(s32) = G_SELECT %cond(s1), [[C]], [[C1]]
; CHECK-NEXT: S_ENDPGM 0, implicit %sdiv(s32)
%reg:_(s32) = COPY $vgpr0
%zero:_(s32) = G_CONSTANT i32 0
%cond:_(s1) = G_ICMP intpred(eq), %reg, %zero
%hundred:_(s32) = G_CONSTANT i32 100
%fortytwo:_(s32) = G_CONSTANT i32 42
%select:_(s32) = G_SELECT %cond, %hundred, %fortytwo
%two:_(s32) = G_CONSTANT i32 2
%sdiv:_(s32) = G_SDIV %select, %two
S_ENDPGM 0, implicit %sdiv
...
---
name: fold_srem_into_select_s32_0
tracksRegLiveness: true
body: |
bb.0:
liveins: $vgpr0
; CHECK-LABEL: name: fold_srem_into_select_s32_0
; CHECK: liveins: $vgpr0
; CHECK-NEXT: {{ $}}
; CHECK-NEXT: %reg:_(s32) = COPY $vgpr0
; CHECK-NEXT: %zero:_(s32) = G_CONSTANT i32 0
; CHECK-NEXT: %cond:_(s1) = G_ICMP intpred(eq), %reg(s32), %zero
; CHECK-NEXT: %srem:_(s32) = G_ZEXT %cond(s1)
; CHECK-NEXT: S_ENDPGM 0, implicit %srem(s32)
%reg:_(s32) = COPY $vgpr0
%zero:_(s32) = G_CONSTANT i32 0
%cond:_(s1) = G_ICMP intpred(eq), %reg, %zero
%hundred:_(s32) = G_CONSTANT i32 100
%fortytwo:_(s32) = G_CONSTANT i32 42
%select:_(s32) = G_SELECT %cond, %hundred, %fortytwo
%three:_(s32) = G_CONSTANT i32 3
%srem:_(s32) = G_SREM %select, %three
S_ENDPGM 0, implicit %srem
...
---
name: fold_udiv_into_select_s32_0
tracksRegLiveness: true
body: |
bb.0:
liveins: $vgpr0
; CHECK-LABEL: name: fold_udiv_into_select_s32_0
; CHECK: liveins: $vgpr0
; CHECK-NEXT: {{ $}}
; CHECK-NEXT: %reg:_(s32) = COPY $vgpr0
; CHECK-NEXT: %zero:_(s32) = G_CONSTANT i32 0
; CHECK-NEXT: %cond:_(s1) = G_ICMP intpred(eq), %reg(s32), %zero
; CHECK-NEXT: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 50
; CHECK-NEXT: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 21
; CHECK-NEXT: [[SELECT:%[0-9]+]]:_(s32) = G_SELECT %cond(s1), [[C]], [[C1]]
; CHECK-NEXT: S_ENDPGM 0, implicit [[SELECT]](s32)
%reg:_(s32) = COPY $vgpr0
%zero:_(s32) = G_CONSTANT i32 0
%cond:_(s1) = G_ICMP intpred(eq), %reg, %zero
%hundred:_(s32) = G_CONSTANT i32 100
%fortytwo:_(s32) = G_CONSTANT i32 42
%select:_(s32) = G_SELECT %cond, %hundred, %fortytwo
%two:_(s32) = G_CONSTANT i32 2
%udiv:_(s32) = G_UDIV %select, %two
S_ENDPGM 0, implicit %udiv
...
---
name: fold_urem_into_select_s32_0
tracksRegLiveness: true
body: |
bb.0:
liveins: $vgpr0
; CHECK-LABEL: name: fold_urem_into_select_s32_0
; CHECK: liveins: $vgpr0
; CHECK-NEXT: {{ $}}
; CHECK-NEXT: %reg:_(s32) = COPY $vgpr0
; CHECK-NEXT: %zero:_(s32) = G_CONSTANT i32 0
; CHECK-NEXT: %cond:_(s1) = G_ICMP intpred(eq), %reg(s32), %zero
; CHECK-NEXT: %udiv:_(s32) = G_ZEXT %cond(s1)
; CHECK-NEXT: S_ENDPGM 0, implicit %udiv(s32)
%reg:_(s32) = COPY $vgpr0
%zero:_(s32) = G_CONSTANT i32 0
%cond:_(s1) = G_ICMP intpred(eq), %reg, %zero
%hundred:_(s32) = G_CONSTANT i32 100
%fortytwo:_(s32) = G_CONSTANT i32 42
%select:_(s32) = G_SELECT %cond, %hundred, %fortytwo
%three:_(s32) = G_CONSTANT i32 3
%udiv:_(s32) = G_UREM %select, %three
S_ENDPGM 0, implicit %udiv
...
---
name: fold_lshr_into_select_s64_0
tracksRegLiveness: true
body: |
bb.0:
liveins: $vgpr0
; CHECK-LABEL: name: fold_lshr_into_select_s64_0
; CHECK: liveins: $vgpr0
; CHECK-NEXT: {{ $}}
; CHECK-NEXT: %reg:_(s32) = COPY $vgpr0
; CHECK-NEXT: %zero:_(s32) = G_CONSTANT i32 0
; CHECK-NEXT: %cond:_(s1) = G_ICMP intpred(eq), %reg(s32), %zero
; CHECK-NEXT: [[C:%[0-9]+]]:_(s64) = G_CONSTANT i64 2
; CHECK-NEXT: [[C1:%[0-9]+]]:_(s64) = G_CONSTANT i64 5
; CHECK-NEXT: %lshr:_(s64) = G_SELECT %cond(s1), [[C]], [[C1]]
; CHECK-NEXT: S_ENDPGM 0, implicit %lshr(s64)
%reg:_(s32) = COPY $vgpr0
%zero:_(s32) = G_CONSTANT i32 0
%cond:_(s1) = G_ICMP intpred(eq), %reg, %zero
%ten:_(s64) = G_CONSTANT i64 10
%twenty:_(s64) = G_CONSTANT i64 20
%select:_(s64) = G_SELECT %cond, %ten, %twenty
%two:_(s32) = G_CONSTANT i32 2
%lshr:_(s64) = G_LSHR %select, %two
S_ENDPGM 0, implicit %lshr
...
---
name: fold_lshr_into_select_s64_1
tracksRegLiveness: true
body: |
bb.0:
liveins: $vgpr0
; CHECK-LABEL: name: fold_lshr_into_select_s64_1
; CHECK: liveins: $vgpr0
; CHECK-NEXT: {{ $}}
; CHECK-NEXT: %reg:_(s32) = COPY $vgpr0
; CHECK-NEXT: %zero:_(s32) = G_CONSTANT i32 0
; CHECK-NEXT: %cond:_(s1) = G_ICMP intpred(eq), %reg(s32), %zero
; CHECK-NEXT: [[C:%[0-9]+]]:_(s64) = G_CONSTANT i64 1012
; CHECK-NEXT: [[C1:%[0-9]+]]:_(s64) = G_CONSTANT i64 253
; CHECK-NEXT: %lshr:_(s64) = G_SELECT %cond(s1), [[C]], [[C1]]
; CHECK-NEXT: S_ENDPGM 0, implicit %lshr(s64)
%reg:_(s32) = COPY $vgpr0
%zero:_(s32) = G_CONSTANT i32 0
%cond:_(s1) = G_ICMP intpred(eq), %reg, %zero
%three:_(s32) = G_CONSTANT i32 3
%five:_(s32) = G_CONSTANT i32 5
%select:_(s32) = G_SELECT %cond, %three, %five
%val:_(s64) = G_CONSTANT i64 8096
%lshr:_(s64) = G_LSHR %val, %select
S_ENDPGM 0, implicit %lshr
...
---
name: fold_ashr_into_select_s64_0
tracksRegLiveness: true
body: |
bb.0:
liveins: $vgpr0
; CHECK-LABEL: name: fold_ashr_into_select_s64_0
; CHECK: liveins: $vgpr0
; CHECK-NEXT: {{ $}}
; CHECK-NEXT: %reg:_(s32) = COPY $vgpr0
; CHECK-NEXT: %zero:_(s32) = G_CONSTANT i32 0
; CHECK-NEXT: %cond:_(s1) = G_ICMP intpred(eq), %reg(s32), %zero
; CHECK-NEXT: [[C:%[0-9]+]]:_(s64) = G_CONSTANT i64 2
; CHECK-NEXT: [[C1:%[0-9]+]]:_(s64) = G_CONSTANT i64 5
; CHECK-NEXT: %ashr:_(s64) = G_SELECT %cond(s1), [[C]], [[C1]]
; CHECK-NEXT: S_ENDPGM 0, implicit %ashr(s64)
%reg:_(s32) = COPY $vgpr0
%zero:_(s32) = G_CONSTANT i32 0
%cond:_(s1) = G_ICMP intpred(eq), %reg, %zero
%ten:_(s64) = G_CONSTANT i64 10
%twenty:_(s64) = G_CONSTANT i64 20
%select:_(s64) = G_SELECT %cond, %ten, %twenty
%two:_(s32) = G_CONSTANT i32 2
%ashr:_(s64) = G_ASHR %select, %two
S_ENDPGM 0, implicit %ashr
...
---
name: fold_ashr_into_select_s64_1
tracksRegLiveness: true
body: |
bb.0:
liveins: $vgpr0
; CHECK-LABEL: name: fold_ashr_into_select_s64_1
; CHECK: liveins: $vgpr0
; CHECK-NEXT: {{ $}}
; CHECK-NEXT: %reg:_(s32) = COPY $vgpr0
; CHECK-NEXT: %zero:_(s32) = G_CONSTANT i32 0
; CHECK-NEXT: %cond:_(s1) = G_ICMP intpred(eq), %reg(s32), %zero
; CHECK-NEXT: [[C:%[0-9]+]]:_(s64) = G_CONSTANT i64 -1012
; CHECK-NEXT: [[C1:%[0-9]+]]:_(s64) = G_CONSTANT i64 -253
; CHECK-NEXT: %ashr:_(s64) = G_SELECT %cond(s1), [[C]], [[C1]]
; CHECK-NEXT: S_ENDPGM 0, implicit %ashr(s64)
%reg:_(s32) = COPY $vgpr0
%zero:_(s32) = G_CONSTANT i32 0
%cond:_(s1) = G_ICMP intpred(eq), %reg, %zero
%three:_(s32) = G_CONSTANT i32 3
%five:_(s32) = G_CONSTANT i32 5
%select:_(s32) = G_SELECT %cond, %three, %five
%val:_(s64) = G_CONSTANT i64 -8096
%ashr:_(s64) = G_ASHR %val, %select
S_ENDPGM 0, implicit %ashr
...
---
name: fold_smin_into_select_s32_0
tracksRegLiveness: true
body: |
bb.0:
liveins: $vgpr0
; CHECK-LABEL: name: fold_smin_into_select_s32_0
; CHECK: liveins: $vgpr0
; CHECK-NEXT: {{ $}}
; CHECK-NEXT: %reg:_(s32) = COPY $vgpr0
; CHECK-NEXT: %zero:_(s32) = G_CONSTANT i32 0
; CHECK-NEXT: %cond:_(s1) = G_ICMP intpred(eq), %reg(s32), %zero
; CHECK-NEXT: %ten:_(s32) = G_CONSTANT i32 10
; CHECK-NEXT: %twenty:_(s32) = G_CONSTANT i32 20
; CHECK-NEXT: %select:_(s32) = G_SELECT %cond(s1), %ten, %twenty
; CHECK-NEXT: S_ENDPGM 0, implicit %select(s32)
%reg:_(s32) = COPY $vgpr0
%zero:_(s32) = G_CONSTANT i32 0
%cond:_(s1) = G_ICMP intpred(eq), %reg, %zero
%ten:_(s32) = G_CONSTANT i32 10
%twenty:_(s32) = G_CONSTANT i32 20
%select:_(s32) = G_SELECT %cond, %ten, %twenty
%thirty:_(s32) = G_CONSTANT i32 30
%smin:_(s32) = G_SMIN %select, %thirty
S_ENDPGM 0, implicit %smin
...
---
name: fold_smax_into_select_s32_0
tracksRegLiveness: true
body: |
bb.0:
liveins: $vgpr0
; CHECK-LABEL: name: fold_smax_into_select_s32_0
; CHECK: liveins: $vgpr0
; CHECK-NEXT: {{ $}}
; CHECK-NEXT: %thirty:_(s32) = G_CONSTANT i32 30
; CHECK-NEXT: S_ENDPGM 0, implicit %thirty(s32)
%reg:_(s32) = COPY $vgpr0
%zero:_(s32) = G_CONSTANT i32 0
%cond:_(s1) = G_ICMP intpred(eq), %reg, %zero
%ten:_(s32) = G_CONSTANT i32 10
%twenty:_(s32) = G_CONSTANT i32 20
%select:_(s32) = G_SELECT %cond, %ten, %twenty
%thirty:_(s32) = G_CONSTANT i32 30
%smax:_(s32) = G_SMAX %select, %thirty
S_ENDPGM 0, implicit %smax
...
---
name: fold_umin_into_select_s32_0
tracksRegLiveness: true
body: |
bb.0:
liveins: $vgpr0
; CHECK-LABEL: name: fold_umin_into_select_s32_0
; CHECK: liveins: $vgpr0
; CHECK-NEXT: {{ $}}
; CHECK-NEXT: %reg:_(s32) = COPY $vgpr0
; CHECK-NEXT: %zero:_(s32) = G_CONSTANT i32 0
; CHECK-NEXT: %cond:_(s1) = G_ICMP intpred(eq), %reg(s32), %zero
; CHECK-NEXT: %ten:_(s32) = G_CONSTANT i32 10
; CHECK-NEXT: %twenty:_(s32) = G_CONSTANT i32 20
; CHECK-NEXT: %select:_(s32) = G_SELECT %cond(s1), %ten, %twenty
; CHECK-NEXT: S_ENDPGM 0, implicit %select(s32)
%reg:_(s32) = COPY $vgpr0
%zero:_(s32) = G_CONSTANT i32 0
%cond:_(s1) = G_ICMP intpred(eq), %reg, %zero
%ten:_(s32) = G_CONSTANT i32 10
%twenty:_(s32) = G_CONSTANT i32 20
%select:_(s32) = G_SELECT %cond, %ten, %twenty
%thirty:_(s32) = G_CONSTANT i32 30
%umin:_(s32) = G_UMIN %select, %thirty
S_ENDPGM 0, implicit %umin
...
---
name: fold_umax_into_select_s32_0
tracksRegLiveness: true
body: |
bb.0:
liveins: $vgpr0
; CHECK-LABEL: name: fold_umax_into_select_s32_0
; CHECK: liveins: $vgpr0
; CHECK-NEXT: {{ $}}
; CHECK-NEXT: %thirty:_(s32) = G_CONSTANT i32 30
; CHECK-NEXT: S_ENDPGM 0, implicit %thirty(s32)
%reg:_(s32) = COPY $vgpr0
%zero:_(s32) = G_CONSTANT i32 0
%cond:_(s1) = G_ICMP intpred(eq), %reg, %zero
%ten:_(s32) = G_CONSTANT i32 10
%twenty:_(s32) = G_CONSTANT i32 20
%select:_(s32) = G_SELECT %cond, %ten, %twenty
%thirty:_(s32) = G_CONSTANT i32 30
%umax:_(s32) = G_UMAX %select, %thirty
S_ENDPGM 0, implicit %umax
...
---
name: fold_fadd_into_select_s32_0
tracksRegLiveness: true
body: |
bb.0:
liveins: $vgpr0
; CHECK-LABEL: name: fold_fadd_into_select_s32_0
; CHECK: liveins: $vgpr0
; CHECK-NEXT: {{ $}}
; CHECK-NEXT: %reg:_(s32) = COPY $vgpr0
; CHECK-NEXT: %zero:_(s32) = G_CONSTANT i32 0
; CHECK-NEXT: %cond:_(s1) = G_ICMP intpred(eq), %reg(s32), %zero
; CHECK-NEXT: [[C:%[0-9]+]]:_(s32) = G_FCONSTANT float 1.800000e+01
; CHECK-NEXT: [[C1:%[0-9]+]]:_(s32) = G_FCONSTANT float 2.000000e+01
; CHECK-NEXT: %fadd:_(s32) = nnan G_SELECT %cond(s1), [[C]], [[C1]]
; CHECK-NEXT: S_ENDPGM 0, implicit %fadd(s32)
%reg:_(s32) = COPY $vgpr0
%zero:_(s32) = G_CONSTANT i32 0
%cond:_(s1) = G_ICMP intpred(eq), %reg, %zero
%two:_(s32) = G_FCONSTANT float 2.0
%four:_(s32) = G_FCONSTANT float 4.0
%select:_(s32) = G_SELECT %cond, %two, %four
%sixteen:_(s32) = G_FCONSTANT float 16.0
%fadd:_(s32) = nnan G_FADD %select, %sixteen
S_ENDPGM 0, implicit %fadd
...
---
name: fold_fadd_into_select_s32_1
tracksRegLiveness: true
body: |
bb.0:
liveins: $vgpr0
; CHECK-LABEL: name: fold_fadd_into_select_s32_1
; CHECK: liveins: $vgpr0
; CHECK-NEXT: {{ $}}
; CHECK-NEXT: %reg:_(s32) = COPY $vgpr0
; CHECK-NEXT: %zero:_(s32) = G_CONSTANT i32 0
; CHECK-NEXT: %cond:_(s1) = G_ICMP intpred(eq), %reg(s32), %zero
; CHECK-NEXT: [[C:%[0-9]+]]:_(s32) = G_FCONSTANT float 1.800000e+01
; CHECK-NEXT: [[C1:%[0-9]+]]:_(s32) = G_FCONSTANT float 2.000000e+01
; CHECK-NEXT: %fadd:_(s32) = nnan G_SELECT %cond(s1), [[C]], [[C1]]
; CHECK-NEXT: S_ENDPGM 0, implicit %fadd(s32)
%reg:_(s32) = COPY $vgpr0
%zero:_(s32) = G_CONSTANT i32 0
%cond:_(s1) = G_ICMP intpred(eq), %reg, %zero
%two:_(s32) = G_FCONSTANT float 2.0
%four:_(s32) = G_FCONSTANT float 4.0
%select:_(s32) = G_SELECT %cond, %two, %four
%sixteen:_(s32) = G_FCONSTANT float 16.0
%fadd:_(s32) = nnan G_FADD %sixteen, %select
S_ENDPGM 0, implicit %fadd
...
---
name: fold_fsub_into_select_s32_0
tracksRegLiveness: true
body: |
bb.0:
liveins: $vgpr0
; CHECK-LABEL: name: fold_fsub_into_select_s32_0
; CHECK: liveins: $vgpr0
; CHECK-NEXT: {{ $}}
; CHECK-NEXT: %reg:_(s32) = COPY $vgpr0
; CHECK-NEXT: %zero:_(s32) = G_CONSTANT i32 0
; CHECK-NEXT: %cond:_(s1) = G_ICMP intpred(eq), %reg(s32), %zero
; CHECK-NEXT: [[C:%[0-9]+]]:_(s32) = G_FCONSTANT float -1.400000e+01
; CHECK-NEXT: [[C1:%[0-9]+]]:_(s32) = G_FCONSTANT float -1.200000e+01
; CHECK-NEXT: %fsub:_(s32) = nnan G_SELECT %cond(s1), [[C]], [[C1]]
; CHECK-NEXT: S_ENDPGM 0, implicit %fsub(s32)
%reg:_(s32) = COPY $vgpr0
%zero:_(s32) = G_CONSTANT i32 0
%cond:_(s1) = G_ICMP intpred(eq), %reg, %zero
%two:_(s32) = G_FCONSTANT float 2.0
%four:_(s32) = G_FCONSTANT float 4.0
%select:_(s32) = G_SELECT %cond, %two, %four
%sixteen:_(s32) = G_FCONSTANT float 16.0
%fsub:_(s32) = nnan G_FSUB %select, %sixteen
S_ENDPGM 0, implicit %fsub
...
---
name: fold_fmul_into_select_s32_0
tracksRegLiveness: true
body: |
bb.0:
liveins: $vgpr0
; CHECK-LABEL: name: fold_fmul_into_select_s32_0
; CHECK: liveins: $vgpr0
; CHECK-NEXT: {{ $}}
; CHECK-NEXT: %reg:_(s32) = COPY $vgpr0
; CHECK-NEXT: %zero:_(s32) = G_CONSTANT i32 0
; CHECK-NEXT: %cond:_(s1) = G_ICMP intpred(eq), %reg(s32), %zero
; CHECK-NEXT: [[C:%[0-9]+]]:_(s32) = G_FCONSTANT float 3.200000e+01
; CHECK-NEXT: [[C1:%[0-9]+]]:_(s32) = G_FCONSTANT float 6.400000e+01
; CHECK-NEXT: %fmul:_(s32) = nnan G_SELECT %cond(s1), [[C]], [[C1]]
; CHECK-NEXT: S_ENDPGM 0, implicit %fmul(s32)
%reg:_(s32) = COPY $vgpr0
%zero:_(s32) = G_CONSTANT i32 0
%cond:_(s1) = G_ICMP intpred(eq), %reg, %zero
%two:_(s32) = G_FCONSTANT float 2.0
%four:_(s32) = G_FCONSTANT float 4.0
%select:_(s32) = G_SELECT %cond, %two, %four
%sixteen:_(s32) = G_FCONSTANT float 16.0
%fmul:_(s32) = nnan G_FMUL %select, %sixteen
S_ENDPGM 0, implicit %fmul
...
---
name: fold_fdiv_into_select_s32_0
tracksRegLiveness: true
body: |
bb.0:
liveins: $vgpr0
; CHECK-LABEL: name: fold_fdiv_into_select_s32_0
; CHECK: liveins: $vgpr0
; CHECK-NEXT: {{ $}}
; CHECK-NEXT: %reg:_(s32) = COPY $vgpr0
; CHECK-NEXT: %zero:_(s32) = G_CONSTANT i32 0
; CHECK-NEXT: %cond:_(s1) = G_ICMP intpred(eq), %reg(s32), %zero
; CHECK-NEXT: [[C:%[0-9]+]]:_(s32) = G_FCONSTANT float 1.250000e-01
; CHECK-NEXT: [[C1:%[0-9]+]]:_(s32) = G_FCONSTANT float 2.500000e-01
; CHECK-NEXT: %fdiv:_(s32) = nnan G_SELECT %cond(s1), [[C]], [[C1]]
; CHECK-NEXT: S_ENDPGM 0, implicit %fdiv(s32)
%reg:_(s32) = COPY $vgpr0
%zero:_(s32) = G_CONSTANT i32 0
%cond:_(s1) = G_ICMP intpred(eq), %reg, %zero
%two:_(s32) = G_FCONSTANT float 2.0
%four:_(s32) = G_FCONSTANT float 4.0
%select:_(s32) = G_SELECT %cond, %two, %four
%sixteen:_(s32) = G_FCONSTANT float 16.0
%fdiv:_(s32) = nnan G_FDIV %select, %sixteen
S_ENDPGM 0, implicit %fdiv
...
---
name: fold_frem_into_select_s32_0
tracksRegLiveness: true
body: |
bb.0:
liveins: $vgpr0
; CHECK-LABEL: name: fold_frem_into_select_s32_0
; CHECK: liveins: $vgpr0
; CHECK-NEXT: {{ $}}
; CHECK-NEXT: %reg:_(s32) = COPY $vgpr0
; CHECK-NEXT: %zero:_(s32) = G_CONSTANT i32 0
; CHECK-NEXT: %cond:_(s1) = G_ICMP intpred(eq), %reg(s32), %zero
; CHECK-NEXT: %two:_(s32) = G_FCONSTANT float 2.000000e+00
; CHECK-NEXT: %four:_(s32) = G_FCONSTANT float 4.000000e+00
; CHECK-NEXT: %frem:_(s32) = nnan G_SELECT %cond(s1), %two, %four
; CHECK-NEXT: S_ENDPGM 0, implicit %frem(s32)
%reg:_(s32) = COPY $vgpr0
%zero:_(s32) = G_CONSTANT i32 0
%cond:_(s1) = G_ICMP intpred(eq), %reg, %zero
%two:_(s32) = G_FCONSTANT float 2.0
%four:_(s32) = G_FCONSTANT float 4.0
%select:_(s32) = G_SELECT %cond, %two, %four
%sixteen:_(s32) = G_FCONSTANT float 16.0
%frem:_(s32) = nnan G_FREM %select, %sixteen
S_ENDPGM 0, implicit %frem
...
---
name: fold_fpow_into_select_s32_0
tracksRegLiveness: true
body: |
bb.0:
liveins: $vgpr0
; CHECK-LABEL: name: fold_fpow_into_select_s32_0
; CHECK: liveins: $vgpr0
; CHECK-NEXT: {{ $}}
; CHECK-NEXT: %reg:_(s32) = COPY $vgpr0
; CHECK-NEXT: %zero:_(s32) = G_CONSTANT i32 0
; CHECK-NEXT: %cond:_(s1) = G_ICMP intpred(eq), %reg(s32), %zero
; CHECK-NEXT: %two:_(s32) = G_FCONSTANT float 2.000000e+00
; CHECK-NEXT: %four:_(s32) = G_FCONSTANT float 4.000000e+00
; CHECK-NEXT: %select:_(s32) = G_SELECT %cond(s1), %two, %four
; CHECK-NEXT: %sixteen:_(s32) = G_FCONSTANT float 1.600000e+01
; CHECK-NEXT: %fpow:_(s32) = nnan G_FPOW %select, %sixteen
; CHECK-NEXT: S_ENDPGM 0, implicit %fpow(s32)
%reg:_(s32) = COPY $vgpr0
%zero:_(s32) = G_CONSTANT i32 0
%cond:_(s1) = G_ICMP intpred(eq), %reg, %zero
%two:_(s32) = G_FCONSTANT float 2.0
%four:_(s32) = G_FCONSTANT float 4.0
%select:_(s32) = G_SELECT %cond, %two, %four
%sixteen:_(s32) = G_FCONSTANT float 16.0
%fpow:_(s32) = nnan G_FPOW %select, %sixteen
S_ENDPGM 0, implicit %fpow
...
---
name: fold_fminnum_into_select_s32_0
tracksRegLiveness: true
body: |
bb.0:
liveins: $vgpr0
; CHECK-LABEL: name: fold_fminnum_into_select_s32_0
; CHECK: liveins: $vgpr0
; CHECK-NEXT: {{ $}}
; CHECK-NEXT: %reg:_(s32) = COPY $vgpr0
; CHECK-NEXT: %zero:_(s32) = G_CONSTANT i32 0
; CHECK-NEXT: %cond:_(s1) = G_ICMP intpred(eq), %reg(s32), %zero
; CHECK-NEXT: %two:_(s32) = G_FCONSTANT float 2.000000e+00
; CHECK-NEXT: %four:_(s32) = G_FCONSTANT float 4.000000e+00
; CHECK-NEXT: %fminnum:_(s32) = nnan G_SELECT %cond(s1), %two, %four
; CHECK-NEXT: S_ENDPGM 0, implicit %fminnum(s32)
%reg:_(s32) = COPY $vgpr0
%zero:_(s32) = G_CONSTANT i32 0
%cond:_(s1) = G_ICMP intpred(eq), %reg, %zero
%two:_(s32) = G_FCONSTANT float 2.0
%four:_(s32) = G_FCONSTANT float 4.0
%select:_(s32) = G_SELECT %cond, %two, %four
%sixteen:_(s32) = G_FCONSTANT float 16.0
%fminnum:_(s32) = nnan G_FMINNUM %select, %sixteen
S_ENDPGM 0, implicit %fminnum
...
---
name: fold_fminnum_ieee_into_select_s32_0
tracksRegLiveness: true
body: |
bb.0:
liveins: $vgpr0
; CHECK-LABEL: name: fold_fminnum_ieee_into_select_s32_0
; CHECK: liveins: $vgpr0
; CHECK-NEXT: {{ $}}
; CHECK-NEXT: %reg:_(s32) = COPY $vgpr0
; CHECK-NEXT: %zero:_(s32) = G_CONSTANT i32 0
; CHECK-NEXT: %cond:_(s1) = G_ICMP intpred(eq), %reg(s32), %zero
; CHECK-NEXT: %two:_(s32) = G_FCONSTANT float 2.000000e+00
; CHECK-NEXT: %four:_(s32) = G_FCONSTANT float 4.000000e+00
; CHECK-NEXT: %select:_(s32) = G_SELECT %cond(s1), %two, %four
; CHECK-NEXT: %sixteen:_(s32) = G_FCONSTANT float 1.600000e+01
; CHECK-NEXT: %fminnum_ieee:_(s32) = nnan G_FMINNUM_IEEE %select, %sixteen
; CHECK-NEXT: S_ENDPGM 0, implicit %fminnum_ieee(s32)
%reg:_(s32) = COPY $vgpr0
%zero:_(s32) = G_CONSTANT i32 0
%cond:_(s1) = G_ICMP intpred(eq), %reg, %zero
%two:_(s32) = G_FCONSTANT float 2.0
%four:_(s32) = G_FCONSTANT float 4.0
%select:_(s32) = G_SELECT %cond, %two, %four
%sixteen:_(s32) = G_FCONSTANT float 16.0
%fminnum_ieee:_(s32) = nnan G_FMINNUM_IEEE %select, %sixteen
S_ENDPGM 0, implicit %fminnum_ieee
...
---
name: fold_fmaxnum_into_select_s32_0
tracksRegLiveness: true
body: |
bb.0:
liveins: $vgpr0
; CHECK-LABEL: name: fold_fmaxnum_into_select_s32_0
; CHECK: liveins: $vgpr0
; CHECK-NEXT: {{ $}}
; CHECK-NEXT: %reg:_(s32) = COPY $vgpr0
; CHECK-NEXT: %zero:_(s32) = G_CONSTANT i32 0
; CHECK-NEXT: %cond:_(s1) = G_ICMP intpred(eq), %reg(s32), %zero
; CHECK-NEXT: %four:_(s32) = G_FCONSTANT float 4.000000e+00
; CHECK-NEXT: %three:_(s32) = G_FCONSTANT float 3.000000e+00
; CHECK-NEXT: %fmaxnum:_(s32) = nnan G_SELECT %cond(s1), %three, %four
; CHECK-NEXT: S_ENDPGM 0, implicit %fmaxnum(s32)
%reg:_(s32) = COPY $vgpr0
%zero:_(s32) = G_CONSTANT i32 0
%cond:_(s1) = G_ICMP intpred(eq), %reg, %zero
%two:_(s32) = G_FCONSTANT float 2.0
%four:_(s32) = G_FCONSTANT float 4.0
%select:_(s32) = G_SELECT %cond, %two, %four
%three:_(s32) = G_FCONSTANT float 3.0
%fmaxnum:_(s32) = nnan G_FMAXNUM %select, %three
S_ENDPGM 0, implicit %fmaxnum
...
---
name: fold_fmaxnum_ieee_into_select_s32_0
tracksRegLiveness: true
body: |
bb.0:
liveins: $vgpr0
; CHECK-LABEL: name: fold_fmaxnum_ieee_into_select_s32_0
; CHECK: liveins: $vgpr0
; CHECK-NEXT: {{ $}}
; CHECK-NEXT: %reg:_(s32) = COPY $vgpr0
; CHECK-NEXT: %zero:_(s32) = G_CONSTANT i32 0
; CHECK-NEXT: %cond:_(s1) = G_ICMP intpred(eq), %reg(s32), %zero
; CHECK-NEXT: %two:_(s32) = G_FCONSTANT float 2.000000e+00
; CHECK-NEXT: %four:_(s32) = G_FCONSTANT float 4.000000e+00
; CHECK-NEXT: %select:_(s32) = G_SELECT %cond(s1), %two, %four
; CHECK-NEXT: %three:_(s32) = G_FCONSTANT float 3.000000e+00
; CHECK-NEXT: %fmaxnum_ieee:_(s32) = nnan G_FMAXNUM_IEEE %select, %three
; CHECK-NEXT: S_ENDPGM 0, implicit %fmaxnum_ieee(s32)
%reg:_(s32) = COPY $vgpr0
%zero:_(s32) = G_CONSTANT i32 0
%cond:_(s1) = G_ICMP intpred(eq), %reg, %zero
%two:_(s32) = G_FCONSTANT float 2.0
%four:_(s32) = G_FCONSTANT float 4.0
%select:_(s32) = G_SELECT %cond, %two, %four
%three:_(s32) = G_FCONSTANT float 3.0
%fmaxnum_ieee:_(s32) = nnan G_FMAXNUM_IEEE %select, %three
S_ENDPGM 0, implicit %fmaxnum_ieee
...
---
name: fold_fminimum_into_select_s32_0
tracksRegLiveness: true
body: |
bb.0:
liveins: $vgpr0
; CHECK-LABEL: name: fold_fminimum_into_select_s32_0
; CHECK: liveins: $vgpr0
; CHECK-NEXT: {{ $}}
; CHECK-NEXT: %reg:_(s32) = COPY $vgpr0
; CHECK-NEXT: %zero:_(s32) = G_CONSTANT i32 0
; CHECK-NEXT: %cond:_(s1) = G_ICMP intpred(eq), %reg(s32), %zero
; CHECK-NEXT: %two:_(s32) = G_FCONSTANT float 2.000000e+00
; CHECK-NEXT: %four:_(s32) = G_FCONSTANT float 4.000000e+00
; CHECK-NEXT: %fminimum:_(s32) = nnan G_SELECT %cond(s1), %two, %four
; CHECK-NEXT: S_ENDPGM 0, implicit %fminimum(s32)
%reg:_(s32) = COPY $vgpr0
%zero:_(s32) = G_CONSTANT i32 0
%cond:_(s1) = G_ICMP intpred(eq), %reg, %zero
%two:_(s32) = G_FCONSTANT float 2.0
%four:_(s32) = G_FCONSTANT float 4.0
%select:_(s32) = G_SELECT %cond, %two, %four
%sixteen:_(s32) = G_FCONSTANT float 16.0
%fminimum:_(s32) = nnan G_FMINIMUM %select, %sixteen
S_ENDPGM 0, implicit %fminimum
...
---
name: fold_fmaximum_into_select_s32_0
tracksRegLiveness: true
body: |
bb.0:
liveins: $vgpr0
; CHECK-LABEL: name: fold_fmaximum_into_select_s32_0
; CHECK: liveins: $vgpr0
; CHECK-NEXT: {{ $}}
; CHECK-NEXT: %reg:_(s32) = COPY $vgpr0
; CHECK-NEXT: %zero:_(s32) = G_CONSTANT i32 0
; CHECK-NEXT: %cond:_(s1) = G_ICMP intpred(eq), %reg(s32), %zero
; CHECK-NEXT: %four:_(s32) = G_FCONSTANT float 4.000000e+00
; CHECK-NEXT: %three:_(s32) = G_FCONSTANT float 3.000000e+00
; CHECK-NEXT: %fmaximum:_(s32) = nnan G_SELECT %cond(s1), %three, %four
; CHECK-NEXT: S_ENDPGM 0, implicit %fmaximum(s32)
%reg:_(s32) = COPY $vgpr0
%zero:_(s32) = G_CONSTANT i32 0
%cond:_(s1) = G_ICMP intpred(eq), %reg, %zero
%two:_(s32) = G_FCONSTANT float 2.0
%four:_(s32) = G_FCONSTANT float 4.0
%select:_(s32) = G_SELECT %cond, %two, %four
%three:_(s32) = G_FCONSTANT float 3.0
%fmaximum:_(s32) = nnan G_FMAXIMUM %select, %three
S_ENDPGM 0, implicit %fmaximum
...
---
name: fold_fcopysign_into_select_s32_0
tracksRegLiveness: true
body: |
bb.0:
liveins: $vgpr0
; CHECK-LABEL: name: fold_fcopysign_into_select_s32_0
; CHECK: liveins: $vgpr0
; CHECK-NEXT: {{ $}}
; CHECK-NEXT: %reg:_(s32) = COPY $vgpr0
; CHECK-NEXT: %zero:_(s32) = G_CONSTANT i32 0
; CHECK-NEXT: %cond:_(s1) = G_ICMP intpred(eq), %reg(s32), %zero
; CHECK-NEXT: %two:_(s32) = G_FCONSTANT float 2.000000e+00
; CHECK-NEXT: %four:_(s32) = G_FCONSTANT float 4.000000e+00
; CHECK-NEXT: %select:_(s32) = G_SELECT %cond(s1), %two, %four
; CHECK-NEXT: %sixteen:_(s32) = G_FCONSTANT float 1.600000e+01
; CHECK-NEXT: %fcopysign:_(s32) = nnan G_FCOPYSIGN %select, %sixteen(s32)
; CHECK-NEXT: S_ENDPGM 0, implicit %fcopysign(s32)
%reg:_(s32) = COPY $vgpr0
%zero:_(s32) = G_CONSTANT i32 0
%cond:_(s1) = G_ICMP intpred(eq), %reg, %zero
%two:_(s32) = G_FCONSTANT float 2.0
%four:_(s32) = G_FCONSTANT float 4.0
%select:_(s32) = G_SELECT %cond, %two, %four
%sixteen:_(s32) = G_FCONSTANT float 16.0
%fcopysign:_(s32) = nnan G_FCOPYSIGN %select, %sixteen
S_ENDPGM 0, implicit %fcopysign
...
---
name: fold_fcopysign_into_select_s32_s64_0
tracksRegLiveness: true
body: |
bb.0:
liveins: $vgpr0
; CHECK-LABEL: name: fold_fcopysign_into_select_s32_s64_0
; CHECK: liveins: $vgpr0
; CHECK-NEXT: {{ $}}
; CHECK-NEXT: %reg:_(s32) = COPY $vgpr0
; CHECK-NEXT: %zero:_(s32) = G_CONSTANT i32 0
; CHECK-NEXT: %cond:_(s1) = G_ICMP intpred(eq), %reg(s32), %zero
; CHECK-NEXT: %two:_(s32) = G_FCONSTANT float 2.000000e+00
; CHECK-NEXT: %four:_(s32) = G_FCONSTANT float 4.000000e+00
; CHECK-NEXT: %select:_(s32) = G_SELECT %cond(s1), %two, %four
; CHECK-NEXT: %sixteen:_(s64) = G_FCONSTANT double 1.600000e+01
; CHECK-NEXT: %fcopysign:_(s32) = nnan G_FCOPYSIGN %select, %sixteen(s64)
; CHECK-NEXT: S_ENDPGM 0, implicit %fcopysign(s32)
%reg:_(s32) = COPY $vgpr0
%zero:_(s32) = G_CONSTANT i32 0
%cond:_(s1) = G_ICMP intpred(eq), %reg, %zero
%two:_(s32) = G_FCONSTANT float 2.0
%four:_(s32) = G_FCONSTANT float 4.0
%select:_(s32) = G_SELECT %cond, %two, %four
%sixteen:_(s64) = G_FCONSTANT double 16.0
%fcopysign:_(s32) = nnan G_FCOPYSIGN %select, %sixteen
S_ENDPGM 0, implicit %fcopysign
...
---
name: fold_fcopysign_into_select_s64_s32_0
tracksRegLiveness: true
body: |
bb.0:
liveins: $vgpr0
; CHECK-LABEL: name: fold_fcopysign_into_select_s64_s32_0
; CHECK: liveins: $vgpr0
; CHECK-NEXT: {{ $}}
; CHECK-NEXT: %reg:_(s32) = COPY $vgpr0
; CHECK-NEXT: %zero:_(s32) = G_CONSTANT i32 0
; CHECK-NEXT: %cond:_(s1) = G_ICMP intpred(eq), %reg(s32), %zero
; CHECK-NEXT: %two:_(s64) = G_FCONSTANT double 2.000000e+00
; CHECK-NEXT: %four:_(s64) = G_FCONSTANT double 4.000000e+00
; CHECK-NEXT: %select:_(s64) = G_SELECT %cond(s1), %two, %four
; CHECK-NEXT: %sixteen:_(s32) = G_FCONSTANT float 1.600000e+01
; CHECK-NEXT: %fcopysign:_(s64) = nnan G_FCOPYSIGN %select, %sixteen(s32)
; CHECK-NEXT: S_ENDPGM 0, implicit %fcopysign(s64)
%reg:_(s32) = COPY $vgpr0
%zero:_(s32) = G_CONSTANT i32 0
%cond:_(s1) = G_ICMP intpred(eq), %reg, %zero
%two:_(s64) = G_FCONSTANT double 2.0
%four:_(s64) = G_FCONSTANT double 4.0
%select:_(s64) = G_SELECT %cond, %two, %four
%sixteen:_(s32) = G_FCONSTANT float 16.0
%fcopysign:_(s64) = nnan G_FCOPYSIGN %select, %sixteen
S_ENDPGM 0, implicit %fcopysign
...
# Test handling of intermediate copy between add and select.
---
name: fold_add_copy_into_select_s32_0
tracksRegLiveness: true
body: |
bb.0:
liveins: $vgpr0
; CHECK-LABEL: name: fold_add_copy_into_select_s32_0
; CHECK: liveins: $vgpr0
; CHECK-NEXT: {{ $}}
; CHECK-NEXT: %reg:_(s32) = COPY $vgpr0
; CHECK-NEXT: %zero:_(s32) = G_CONSTANT i32 0
; CHECK-NEXT: %cond:_(s1) = G_ICMP intpred(eq), %reg(s32), %zero
; CHECK-NEXT: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 40
; CHECK-NEXT: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 50
; CHECK-NEXT: %add:_(s32) = G_SELECT %cond(s1), [[C]], [[C1]]
; CHECK-NEXT: S_ENDPGM 0, implicit %add(s32)
%reg:_(s32) = COPY $vgpr0
%zero:_(s32) = G_CONSTANT i32 0
%cond:_(s1) = G_ICMP intpred(eq), %reg, %zero
%ten:_(s32) = G_CONSTANT i32 10
%twenty:_(s32) = G_CONSTANT i32 20
%select:_(s32) = G_SELECT %cond, %ten, %twenty
%thirty:_(s32) = G_CONSTANT i32 30
%copy_select:_(s32) = COPY %select
%add:_(s32) = G_ADD %copy_select, %thirty
S_ENDPGM 0, implicit %add
...
---
name: fold_add_copy_into_select_s32_1
tracksRegLiveness: true
body: |
bb.0:
liveins: $vgpr0
; CHECK-LABEL: name: fold_add_copy_into_select_s32_1
; CHECK: liveins: $vgpr0
; CHECK-NEXT: {{ $}}
; CHECK-NEXT: %reg:_(s32) = COPY $vgpr0
; CHECK-NEXT: %zero:_(s32) = G_CONSTANT i32 0
; CHECK-NEXT: %cond:_(s1) = G_ICMP intpred(eq), %reg(s32), %zero
; CHECK-NEXT: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 40
; CHECK-NEXT: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 50
; CHECK-NEXT: %add:_(s32) = G_SELECT %cond(s1), [[C]], [[C1]]
; CHECK-NEXT: S_ENDPGM 0, implicit %add(s32)
%reg:_(s32) = COPY $vgpr0
%zero:_(s32) = G_CONSTANT i32 0
%cond:_(s1) = G_ICMP intpred(eq), %reg, %zero
%ten:_(s32) = G_CONSTANT i32 10
%twenty:_(s32) = G_CONSTANT i32 20
%select:_(s32) = G_SELECT %cond, %ten, %twenty
%thirty:_(s32) = G_CONSTANT i32 30
%copy_select:_(s32) = COPY %select
%add:_(s32) = G_ADD %thirty, %copy_select
S_ENDPGM 0, implicit %add
...
Codebase Browser
llvm