Commit 89564f0b authored by Philip Reames's avatar Philip Reames Committed by Philip Reames
Browse files

Regenerate a set of auto-update tests [nfc] 

To reduce the spurious test delta in an upcoming change.
parent 896749aa

llvm/test/Transforms/InstCombine/adjust-for-minmax.ll

+32 −32
Original line number Diff line number Diff line
@@ -245,8 +245,8 @@ define <2 x i32> @umin4_vec(<2 x i32> %n) { 


define i64 @smax_sext(i32 %a) {

; CHECK-LABEL: @smax_sext(

; CHECK-NEXT:    [[TMP1:%.*]] = call i32 @llvm.smax.i32(i32 [[A:%.*]], i32 0)

; CHECK-NEXT:    [[MAX:%.*]] = zext i32 [[TMP1]] to i64

; CHECK-NEXT:    [[NARROW:%.*]] = call i32 @llvm.smax.i32(i32 [[A:%.*]], i32 0)

; CHECK-NEXT:    [[MAX:%.*]] = zext i32 [[NARROW]] to i64

; CHECK-NEXT:    ret i64 [[MAX]]

;

  %a_ext = sext i32 %a to i64
@@ -257,8 +257,8 @@ define i64 @smax_sext(i32 %a) { 


define <2 x i64> @smax_sext_vec(<2 x i32> %a) {

; CHECK-LABEL: @smax_sext_vec(

; CHECK-NEXT:    [[TMP1:%.*]] = call <2 x i32> @llvm.smax.v2i32(<2 x i32> [[A:%.*]], <2 x i32> zeroinitializer)

; CHECK-NEXT:    [[MAX:%.*]] = zext <2 x i32> [[TMP1]] to <2 x i64>

; CHECK-NEXT:    [[NARROW:%.*]] = call <2 x i32> @llvm.smax.v2i32(<2 x i32> [[A:%.*]], <2 x i32> zeroinitializer)

; CHECK-NEXT:    [[MAX:%.*]] = zext <2 x i32> [[NARROW]] to <2 x i64>

; CHECK-NEXT:    ret <2 x i64> [[MAX]]

;

  %a_ext = sext <2 x i32> %a to <2 x i64>
@@ -269,8 +269,8 @@ define <2 x i64> @smax_sext_vec(<2 x i32> %a) { 


define i64 @smin_sext(i32 %a) {

; CHECK-LABEL: @smin_sext(

; CHECK-NEXT:    [[TMP1:%.*]] = call i32 @llvm.smin.i32(i32 [[A:%.*]], i32 0)

; CHECK-NEXT:    [[MIN:%.*]] = sext i32 [[TMP1]] to i64

; CHECK-NEXT:    [[NARROW:%.*]] = call i32 @llvm.smin.i32(i32 [[A:%.*]], i32 0)

; CHECK-NEXT:    [[MIN:%.*]] = sext i32 [[NARROW]] to i64

; CHECK-NEXT:    ret i64 [[MIN]]

;

  %a_ext = sext i32 %a to i64
@@ -281,8 +281,8 @@ define i64 @smin_sext(i32 %a) { 


define <2 x i64>@smin_sext_vec(<2 x i32> %a) {

; CHECK-LABEL: @smin_sext_vec(

; CHECK-NEXT:    [[TMP1:%.*]] = call <2 x i32> @llvm.smin.v2i32(<2 x i32> [[A:%.*]], <2 x i32> zeroinitializer)

; CHECK-NEXT:    [[MIN:%.*]] = sext <2 x i32> [[TMP1]] to <2 x i64>

; CHECK-NEXT:    [[NARROW:%.*]] = call <2 x i32> @llvm.smin.v2i32(<2 x i32> [[A:%.*]], <2 x i32> zeroinitializer)

; CHECK-NEXT:    [[MIN:%.*]] = sext <2 x i32> [[NARROW]] to <2 x i64>

; CHECK-NEXT:    ret <2 x i64> [[MIN]]

;

  %a_ext = sext <2 x i32> %a to <2 x i64>
@@ -293,8 +293,8 @@ define <2 x i64>@smin_sext_vec(<2 x i32> %a) { 


define i64 @umax_sext(i32 %a) {

; CHECK-LABEL: @umax_sext(

; CHECK-NEXT:    [[TMP1:%.*]] = call i32 @llvm.umax.i32(i32 [[A:%.*]], i32 3)

; CHECK-NEXT:    [[MAX:%.*]] = sext i32 [[TMP1]] to i64

; CHECK-NEXT:    [[NARROW:%.*]] = call i32 @llvm.umax.i32(i32 [[A:%.*]], i32 3)

; CHECK-NEXT:    [[MAX:%.*]] = sext i32 [[NARROW]] to i64

; CHECK-NEXT:    ret i64 [[MAX]]

;

  %a_ext = sext i32 %a to i64
@@ -305,8 +305,8 @@ define i64 @umax_sext(i32 %a) { 


define <2 x i64> @umax_sext_vec(<2 x i32> %a) {

; CHECK-LABEL: @umax_sext_vec(

; CHECK-NEXT:    [[TMP1:%.*]] = call <2 x i32> @llvm.umax.v2i32(<2 x i32> [[A:%.*]], <2 x i32> <i32 3, i32 3>)

; CHECK-NEXT:    [[MAX:%.*]] = sext <2 x i32> [[TMP1]] to <2 x i64>

; CHECK-NEXT:    [[NARROW:%.*]] = call <2 x i32> @llvm.umax.v2i32(<2 x i32> [[A:%.*]], <2 x i32> <i32 3, i32 3>)

; CHECK-NEXT:    [[MAX:%.*]] = sext <2 x i32> [[NARROW]] to <2 x i64>

; CHECK-NEXT:    ret <2 x i64> [[MAX]]

;

  %a_ext = sext <2 x i32> %a to <2 x i64>
@@ -317,8 +317,8 @@ define <2 x i64> @umax_sext_vec(<2 x i32> %a) { 


define i64 @umin_sext(i32 %a) {

; CHECK-LABEL: @umin_sext(

; CHECK-NEXT:    [[TMP1:%.*]] = call i32 @llvm.umin.i32(i32 [[A:%.*]], i32 2)

; CHECK-NEXT:    [[MIN:%.*]] = zext i32 [[TMP1]] to i64

; CHECK-NEXT:    [[NARROW:%.*]] = call i32 @llvm.umin.i32(i32 [[A:%.*]], i32 2)

; CHECK-NEXT:    [[MIN:%.*]] = zext i32 [[NARROW]] to i64

; CHECK-NEXT:    ret i64 [[MIN]]

;

  %a_ext = sext i32 %a to i64
@@ -329,8 +329,8 @@ define i64 @umin_sext(i32 %a) { 


define <2 x i64> @umin_sext_vec(<2 x i32> %a) {

; CHECK-LABEL: @umin_sext_vec(

; CHECK-NEXT:    [[TMP1:%.*]] = call <2 x i32> @llvm.umin.v2i32(<2 x i32> [[A:%.*]], <2 x i32> <i32 2, i32 2>)

; CHECK-NEXT:    [[MIN:%.*]] = zext <2 x i32> [[TMP1]] to <2 x i64>

; CHECK-NEXT:    [[NARROW:%.*]] = call <2 x i32> @llvm.umin.v2i32(<2 x i32> [[A:%.*]], <2 x i32> <i32 2, i32 2>)

; CHECK-NEXT:    [[MIN:%.*]] = zext <2 x i32> [[NARROW]] to <2 x i64>

; CHECK-NEXT:    ret <2 x i64> [[MIN]]

;

  %a_ext = sext <2 x i32> %a to <2 x i64>
@@ -341,8 +341,8 @@ define <2 x i64> @umin_sext_vec(<2 x i32> %a) { 


define i64 @umax_sext2(i32 %a) {

; CHECK-LABEL: @umax_sext2(

; CHECK-NEXT:    [[TMP1:%.*]] = call i32 @llvm.umax.i32(i32 [[A:%.*]], i32 2)

; CHECK-NEXT:    [[MIN:%.*]] = sext i32 [[TMP1]] to i64

; CHECK-NEXT:    [[NARROW:%.*]] = call i32 @llvm.umax.i32(i32 [[A:%.*]], i32 2)

; CHECK-NEXT:    [[MIN:%.*]] = sext i32 [[NARROW]] to i64

; CHECK-NEXT:    ret i64 [[MIN]]

;

  %a_ext = sext i32 %a to i64
@@ -353,8 +353,8 @@ define i64 @umax_sext2(i32 %a) { 


define <2 x i64> @umax_sext2_vec(<2 x i32> %a) {

; CHECK-LABEL: @umax_sext2_vec(

; CHECK-NEXT:    [[TMP1:%.*]] = call <2 x i32> @llvm.umax.v2i32(<2 x i32> [[A:%.*]], <2 x i32> <i32 2, i32 2>)

; CHECK-NEXT:    [[MIN:%.*]] = sext <2 x i32> [[TMP1]] to <2 x i64>

; CHECK-NEXT:    [[NARROW:%.*]] = call <2 x i32> @llvm.umax.v2i32(<2 x i32> [[A:%.*]], <2 x i32> <i32 2, i32 2>)

; CHECK-NEXT:    [[MIN:%.*]] = sext <2 x i32> [[NARROW]] to <2 x i64>

; CHECK-NEXT:    ret <2 x i64> [[MIN]]

;

  %a_ext = sext <2 x i32> %a to <2 x i64>
@@ -365,8 +365,8 @@ define <2 x i64> @umax_sext2_vec(<2 x i32> %a) { 


define i64 @umin_sext2(i32 %a) {

; CHECK-LABEL: @umin_sext2(

; CHECK-NEXT:    [[TMP1:%.*]] = call i32 @llvm.umin.i32(i32 [[A:%.*]], i32 3)

; CHECK-NEXT:    [[MIN:%.*]] = zext i32 [[TMP1]] to i64

; CHECK-NEXT:    [[NARROW:%.*]] = call i32 @llvm.umin.i32(i32 [[A:%.*]], i32 3)

; CHECK-NEXT:    [[MIN:%.*]] = zext i32 [[NARROW]] to i64

; CHECK-NEXT:    ret i64 [[MIN]]

;

  %a_ext = sext i32 %a to i64
@@ -377,8 +377,8 @@ define i64 @umin_sext2(i32 %a) { 


define <2 x i64> @umin_sext2_vec(<2 x i32> %a) {

; CHECK-LABEL: @umin_sext2_vec(

; CHECK-NEXT:    [[TMP1:%.*]] = call <2 x i32> @llvm.umin.v2i32(<2 x i32> [[A:%.*]], <2 x i32> <i32 3, i32 3>)

; CHECK-NEXT:    [[MIN:%.*]] = zext <2 x i32> [[TMP1]] to <2 x i64>

; CHECK-NEXT:    [[NARROW:%.*]] = call <2 x i32> @llvm.umin.v2i32(<2 x i32> [[A:%.*]], <2 x i32> <i32 3, i32 3>)

; CHECK-NEXT:    [[MIN:%.*]] = zext <2 x i32> [[NARROW]] to <2 x i64>

; CHECK-NEXT:    ret <2 x i64> [[MIN]]

;

  %a_ext = sext <2 x i32> %a to <2 x i64>
@@ -389,8 +389,8 @@ define <2 x i64> @umin_sext2_vec(<2 x i32> %a) { 


define i64 @umax_zext(i32 %a) {

; CHECK-LABEL: @umax_zext(

; CHECK-NEXT:    [[TMP1:%.*]] = call i32 @llvm.umax.i32(i32 [[A:%.*]], i32 3)

; CHECK-NEXT:    [[MAX:%.*]] = zext i32 [[TMP1]] to i64

; CHECK-NEXT:    [[NARROW:%.*]] = call i32 @llvm.umax.i32(i32 [[A:%.*]], i32 3)

; CHECK-NEXT:    [[MAX:%.*]] = zext i32 [[NARROW]] to i64

; CHECK-NEXT:    ret i64 [[MAX]]

;

  %a_ext = zext i32 %a to i64
@@ -401,8 +401,8 @@ define i64 @umax_zext(i32 %a) { 


define <2 x i64> @umax_zext_vec(<2 x i32> %a) {

; CHECK-LABEL: @umax_zext_vec(

; CHECK-NEXT:    [[TMP1:%.*]] = call <2 x i32> @llvm.umax.v2i32(<2 x i32> [[A:%.*]], <2 x i32> <i32 3, i32 3>)

; CHECK-NEXT:    [[MAX:%.*]] = zext <2 x i32> [[TMP1]] to <2 x i64>

; CHECK-NEXT:    [[NARROW:%.*]] = call <2 x i32> @llvm.umax.v2i32(<2 x i32> [[A:%.*]], <2 x i32> <i32 3, i32 3>)

; CHECK-NEXT:    [[MAX:%.*]] = zext <2 x i32> [[NARROW]] to <2 x i64>

; CHECK-NEXT:    ret <2 x i64> [[MAX]]

;

  %a_ext = zext <2 x i32> %a to <2 x i64>
@@ -413,8 +413,8 @@ define <2 x i64> @umax_zext_vec(<2 x i32> %a) { 


define i64 @umin_zext(i32 %a) {

; CHECK-LABEL: @umin_zext(

; CHECK-NEXT:    [[TMP1:%.*]] = call i32 @llvm.umin.i32(i32 [[A:%.*]], i32 2)

; CHECK-NEXT:    [[MIN:%.*]] = zext i32 [[TMP1]] to i64

; CHECK-NEXT:    [[NARROW:%.*]] = call i32 @llvm.umin.i32(i32 [[A:%.*]], i32 2)

; CHECK-NEXT:    [[MIN:%.*]] = zext i32 [[NARROW]] to i64

; CHECK-NEXT:    ret i64 [[MIN]]

;

  %a_ext = zext i32 %a to i64
@@ -425,8 +425,8 @@ define i64 @umin_zext(i32 %a) { 


define <2 x i64> @umin_zext_vec(<2 x i32> %a) {

; CHECK-LABEL: @umin_zext_vec(

; CHECK-NEXT:    [[TMP1:%.*]] = call <2 x i32> @llvm.umin.v2i32(<2 x i32> [[A:%.*]], <2 x i32> <i32 2, i32 2>)

; CHECK-NEXT:    [[MIN:%.*]] = zext <2 x i32> [[TMP1]] to <2 x i64>

; CHECK-NEXT:    [[NARROW:%.*]] = call <2 x i32> @llvm.umin.v2i32(<2 x i32> [[A:%.*]], <2 x i32> <i32 2, i32 2>)

; CHECK-NEXT:    [[MIN:%.*]] = zext <2 x i32> [[NARROW]] to <2 x i64>

; CHECK-NEXT:    ret <2 x i64> [[MIN]]

;

  %a_ext = zext <2 x i32> %a to <2 x i64>

llvm/test/Transforms/InstCombine/cast-mul-select.ll

+101 −7
Original line number Diff line number Diff line
@@ -9,17 +9,20 @@ define i32 @mul(i32 %x, i32 %y) { 
; CHECK-NEXT:    [[C:%.*]] = mul i32 [[X:%.*]], [[Y:%.*]]

; CHECK-NEXT:    [[D:%.*]] = and i32 [[C]], 255

; CHECK-NEXT:    ret i32 [[D]]

;

; DBGINFO-LABEL: @mul(

; DBGINFO-NEXT:    call void @llvm.dbg.value(metadata i32 [[X:%.*]], metadata [[META9:![0-9]+]], metadata !DIExpression(DW_OP_LLVM_convert, 32, DW_ATE_unsigned, DW_OP_LLVM_convert, 8, DW_ATE_unsigned, DW_OP_stack_value)), !dbg [[DBG15:![0-9]+]]

; DBGINFO-NEXT:    call void @llvm.dbg.value(metadata i32 [[Y:%.*]], metadata [[META11:![0-9]+]], metadata !DIExpression(DW_OP_LLVM_convert, 32, DW_ATE_unsigned, DW_OP_LLVM_convert, 8, DW_ATE_unsigned, DW_OP_stack_value)), !dbg [[DBG16:![0-9]+]]

; DBGINFO-NEXT:    [[C:%.*]] = mul i32 [[X]], [[Y]], !dbg [[DBG17:![0-9]+]]

; DBGINFO-NEXT:    [[D:%.*]] = and i32 [[C]], 255, !dbg [[DBG18:![0-9]+]]

; DBGINFO-NEXT:    call void @llvm.dbg.value(metadata i32 [[C]], metadata [[META12:![0-9]+]], metadata !DIExpression()), !dbg [[DBG17]]

; DBGINFO-NEXT:    call void @llvm.dbg.value(metadata i32 [[D]], metadata [[META13:![0-9]+]], metadata !DIExpression()), !dbg [[DBG18]]

; DBGINFO-NEXT:    ret i32 [[D]], !dbg [[DBG19:![0-9]+]]

;



; Test that when zext is evaluated in different type

; we preserve the debug information in the resulting

; instruction.

; DBGINFO-LABEL: @mul(

; DBGINFO-NEXT:    call void @llvm.dbg.value(metadata i32 %x, {{.*}} !DIExpression(DW_OP_LLVM_convert, 32, DW_ATE_unsigned, DW_OP_LLVM_convert, 8, DW_ATE_unsigned, DW_OP_stack_value))

; DBGINFO-NEXT:    call void @llvm.dbg.value(metadata i32 %y, {{.*}} !DIExpression(DW_OP_LLVM_convert, 32, DW_ATE_unsigned, DW_OP_LLVM_convert, 8, DW_ATE_unsigned, DW_OP_stack_value))

; DBGINFO-NEXT:    [[C:%.*]] = mul i32 {{.*}}

; DBGINFO-NEXT:    [[D:%.*]] = and i32 {{.*}}

; DBGINFO-NEXT:    call void @llvm.dbg.value(metadata i32 [[C]]

; DBGINFO-NEXT:    call void @llvm.dbg.value(metadata i32 [[D]]



  %A = trunc i32 %x to i8

  %B = trunc i32 %y to i8
@@ -34,6 +37,18 @@ define i32 @select1(i1 %cond, i32 %x, i32 %y, i32 %z) { 
; CHECK-NEXT:    [[E:%.*]] = select i1 [[COND:%.*]], i32 [[Z:%.*]], i32 [[D]]

; CHECK-NEXT:    [[F:%.*]] = and i32 [[E]], 255

; CHECK-NEXT:    ret i32 [[F]]

;

; DBGINFO-LABEL: @select1(

; DBGINFO-NEXT:    call void @llvm.dbg.value(metadata i32 [[X:%.*]], metadata [[META22:![0-9]+]], metadata !DIExpression(DW_OP_LLVM_convert, 32, DW_ATE_unsigned, DW_OP_LLVM_convert, 8, DW_ATE_unsigned, DW_OP_stack_value)), !dbg [[DBG28:![0-9]+]]

; DBGINFO-NEXT:    call void @llvm.dbg.value(metadata i32 [[Y:%.*]], metadata [[META23:![0-9]+]], metadata !DIExpression(DW_OP_LLVM_convert, 32, DW_ATE_unsigned, DW_OP_LLVM_convert, 8, DW_ATE_unsigned, DW_OP_stack_value)), !dbg [[DBG29:![0-9]+]]

; DBGINFO-NEXT:    call void @llvm.dbg.value(metadata i32 [[Z:%.*]], metadata [[META24:![0-9]+]], metadata !DIExpression(DW_OP_LLVM_convert, 32, DW_ATE_unsigned, DW_OP_LLVM_convert, 8, DW_ATE_unsigned, DW_OP_stack_value)), !dbg [[DBG30:![0-9]+]]

; DBGINFO-NEXT:    [[D:%.*]] = add i32 [[X]], [[Y]], !dbg [[DBG31:![0-9]+]]

; DBGINFO-NEXT:    call void @llvm.dbg.value(metadata !DIArgList(i32 [[X]], i32 [[Y]]), metadata [[META25:![0-9]+]], metadata !DIExpression(DW_OP_LLVM_arg, 0, DW_OP_LLVM_convert, 32, DW_ATE_unsigned, DW_OP_LLVM_convert, 8, DW_ATE_unsigned, DW_OP_LLVM_arg, 1, DW_OP_LLVM_convert, 32, DW_ATE_unsigned, DW_OP_LLVM_convert, 8, DW_ATE_unsigned, DW_OP_plus, DW_OP_stack_value)), !dbg [[DBG31]]

; DBGINFO-NEXT:    [[E:%.*]] = select i1 [[COND:%.*]], i32 [[Z]], i32 [[D]], !dbg [[DBG32:![0-9]+]]

; DBGINFO-NEXT:    [[F:%.*]] = and i32 [[E]], 255, !dbg [[DBG33:![0-9]+]]

; DBGINFO-NEXT:    call void @llvm.dbg.value(metadata i32 [[E]], metadata [[META26:![0-9]+]], metadata !DIExpression()), !dbg [[DBG32]]

; DBGINFO-NEXT:    call void @llvm.dbg.value(metadata i32 [[F]], metadata [[META27:![0-9]+]], metadata !DIExpression()), !dbg [[DBG33]]

; DBGINFO-NEXT:    ret i32 [[F]], !dbg [[DBG34:![0-9]+]]

;

  %A = trunc i32 %x to i8

  %B = trunc i32 %y to i8
@@ -49,6 +64,17 @@ define i8 @select2(i1 %cond, i8 %x, i8 %y, i8 %z) { 
; CHECK-NEXT:    [[D:%.*]] = add i8 [[X:%.*]], [[Y:%.*]]

; CHECK-NEXT:    [[E:%.*]] = select i1 [[COND:%.*]], i8 [[Z:%.*]], i8 [[D]]

; CHECK-NEXT:    ret i8 [[E]]

;

; DBGINFO-LABEL: @select2(

; DBGINFO-NEXT:    call void @llvm.dbg.value(metadata i8 [[X:%.*]], metadata [[META37:![0-9]+]], metadata !DIExpression(DW_OP_LLVM_convert, 8, DW_ATE_unsigned, DW_OP_LLVM_convert, 32, DW_ATE_unsigned, DW_OP_stack_value)), !dbg [[DBG43:![0-9]+]]

; DBGINFO-NEXT:    call void @llvm.dbg.value(metadata i8 [[Y:%.*]], metadata [[META38:![0-9]+]], metadata !DIExpression(DW_OP_LLVM_convert, 8, DW_ATE_unsigned, DW_OP_LLVM_convert, 32, DW_ATE_unsigned, DW_OP_stack_value)), !dbg [[DBG44:![0-9]+]]

; DBGINFO-NEXT:    call void @llvm.dbg.value(metadata i8 [[Z:%.*]], metadata [[META39:![0-9]+]], metadata !DIExpression(DW_OP_LLVM_convert, 8, DW_ATE_unsigned, DW_OP_LLVM_convert, 32, DW_ATE_unsigned, DW_OP_stack_value)), !dbg [[DBG45:![0-9]+]]

; DBGINFO-NEXT:    [[D:%.*]] = add i8 [[X]], [[Y]], !dbg [[DBG46:![0-9]+]]

; DBGINFO-NEXT:    call void @llvm.dbg.value(metadata !DIArgList(i8 [[X]], i8 [[Y]]), metadata [[META40:![0-9]+]], metadata !DIExpression(DW_OP_LLVM_arg, 0, DW_OP_LLVM_convert, 8, DW_ATE_unsigned, DW_OP_LLVM_convert, 32, DW_ATE_unsigned, DW_OP_LLVM_arg, 1, DW_OP_LLVM_convert, 8, DW_ATE_unsigned, DW_OP_LLVM_convert, 32, DW_ATE_unsigned, DW_OP_plus, DW_OP_stack_value)), !dbg [[DBG46]]

; DBGINFO-NEXT:    [[E:%.*]] = select i1 [[COND:%.*]], i8 [[Z]], i8 [[D]], !dbg [[DBG47:![0-9]+]]

; DBGINFO-NEXT:    call void @llvm.dbg.value(metadata i32 poison, metadata [[META41:![0-9]+]], metadata !DIExpression()), !dbg [[DBG47]]

; DBGINFO-NEXT:    call void @llvm.dbg.value(metadata i8 [[E]], metadata [[META42:![0-9]+]], metadata !DIExpression()), !dbg [[DBG48:![0-9]+]]

; DBGINFO-NEXT:    ret i8 [[E]], !dbg [[DBG49:![0-9]+]]

;

  %A = zext i8 %x to i32

  %B = zext i8 %y to i32
@@ -69,6 +95,17 @@ define i32 @eval_trunc_multi_use_in_one_inst(i32 %x) { 
; CHECK-NEXT:    [[M:%.*]] = mul i64 [[A]], [[A]]

; CHECK-NEXT:    [[T:%.*]] = trunc i64 [[M]] to i32

; CHECK-NEXT:    ret i32 [[T]]

;

; DBGINFO-LABEL: @eval_trunc_multi_use_in_one_inst(

; DBGINFO-NEXT:    [[Z:%.*]] = zext i32 [[X:%.*]] to i64, !dbg [[DBG57:![0-9]+]]

; DBGINFO-NEXT:    call void @llvm.dbg.value(metadata i64 [[Z]], metadata [[META52:![0-9]+]], metadata !DIExpression()), !dbg [[DBG57]]

; DBGINFO-NEXT:    [[A:%.*]] = add nuw nsw i64 [[Z]], 15, !dbg [[DBG58:![0-9]+]]

; DBGINFO-NEXT:    call void @llvm.dbg.value(metadata i64 [[A]], metadata [[META54:![0-9]+]], metadata !DIExpression()), !dbg [[DBG58]]

; DBGINFO-NEXT:    [[M:%.*]] = mul i64 [[A]], [[A]], !dbg [[DBG59:![0-9]+]]

; DBGINFO-NEXT:    call void @llvm.dbg.value(metadata i64 [[M]], metadata [[META55:![0-9]+]], metadata !DIExpression()), !dbg [[DBG59]]

; DBGINFO-NEXT:    [[T:%.*]] = trunc i64 [[M]] to i32, !dbg [[DBG60:![0-9]+]]

; DBGINFO-NEXT:    call void @llvm.dbg.value(metadata i32 [[T]], metadata [[META56:![0-9]+]], metadata !DIExpression()), !dbg [[DBG60]]

; DBGINFO-NEXT:    ret i32 [[T]], !dbg [[DBG61:![0-9]+]]

;

  %z = zext i32 %x to i64

  %a = add nsw nuw i64 %z, 15
@@ -84,6 +121,17 @@ define i32 @eval_zext_multi_use_in_one_inst(i32 %x) { 
; CHECK-NEXT:    [[M:%.*]] = mul nuw nsw i16 [[A]], [[A]]

; CHECK-NEXT:    [[R:%.*]] = zext i16 [[M]] to i32

; CHECK-NEXT:    ret i32 [[R]]

;

; DBGINFO-LABEL: @eval_zext_multi_use_in_one_inst(

; DBGINFO-NEXT:    [[T:%.*]] = trunc i32 [[X:%.*]] to i16, !dbg [[DBG69:![0-9]+]]

; DBGINFO-NEXT:    call void @llvm.dbg.value(metadata i16 [[T]], metadata [[META64:![0-9]+]], metadata !DIExpression()), !dbg [[DBG69]]

; DBGINFO-NEXT:    [[A:%.*]] = and i16 [[T]], 5, !dbg [[DBG70:![0-9]+]]

; DBGINFO-NEXT:    call void @llvm.dbg.value(metadata i16 [[A]], metadata [[META66:![0-9]+]], metadata !DIExpression()), !dbg [[DBG70]]

; DBGINFO-NEXT:    [[M:%.*]] = mul nuw nsw i16 [[A]], [[A]], !dbg [[DBG71:![0-9]+]]

; DBGINFO-NEXT:    call void @llvm.dbg.value(metadata i16 [[M]], metadata [[META67:![0-9]+]], metadata !DIExpression()), !dbg [[DBG71]]

; DBGINFO-NEXT:    [[R:%.*]] = zext i16 [[M]] to i32, !dbg [[DBG72:![0-9]+]]

; DBGINFO-NEXT:    call void @llvm.dbg.value(metadata i32 [[R]], metadata [[META68:![0-9]+]], metadata !DIExpression()), !dbg [[DBG72]]

; DBGINFO-NEXT:    ret i32 [[R]], !dbg [[DBG73:![0-9]+]]

;

  %t = trunc i32 %x to i16

  %a = and i16 %t, 5
@@ -100,6 +148,19 @@ define i32 @eval_sext_multi_use_in_one_inst(i32 %x) { 
; CHECK-NEXT:    [[O:%.*]] = or i16 [[M]], -32768

; CHECK-NEXT:    [[R:%.*]] = sext i16 [[O]] to i32

; CHECK-NEXT:    ret i32 [[R]]

;

; DBGINFO-LABEL: @eval_sext_multi_use_in_one_inst(

; DBGINFO-NEXT:    [[T:%.*]] = trunc i32 [[X:%.*]] to i16, !dbg [[DBG81:![0-9]+]]

; DBGINFO-NEXT:    call void @llvm.dbg.value(metadata i16 [[T]], metadata [[META76:![0-9]+]], metadata !DIExpression()), !dbg [[DBG81]]

; DBGINFO-NEXT:    [[A:%.*]] = and i16 [[T]], 14, !dbg [[DBG82:![0-9]+]]

; DBGINFO-NEXT:    call void @llvm.dbg.value(metadata i16 [[A]], metadata [[META77:![0-9]+]], metadata !DIExpression()), !dbg [[DBG82]]

; DBGINFO-NEXT:    [[M:%.*]] = mul nuw nsw i16 [[A]], [[A]], !dbg [[DBG83:![0-9]+]]

; DBGINFO-NEXT:    call void @llvm.dbg.value(metadata i16 [[M]], metadata [[META78:![0-9]+]], metadata !DIExpression()), !dbg [[DBG83]]

; DBGINFO-NEXT:    [[O:%.*]] = or i16 [[M]], -32768, !dbg [[DBG84:![0-9]+]]

; DBGINFO-NEXT:    call void @llvm.dbg.value(metadata i16 [[O]], metadata [[META79:![0-9]+]], metadata !DIExpression()), !dbg [[DBG84]]

; DBGINFO-NEXT:    [[R:%.*]] = sext i16 [[O]] to i32, !dbg [[DBG85:![0-9]+]]

; DBGINFO-NEXT:    call void @llvm.dbg.value(metadata i32 [[R]], metadata [[META80:![0-9]+]], metadata !DIExpression()), !dbg [[DBG85]]

; DBGINFO-NEXT:    ret i32 [[R]], !dbg [[DBG86:![0-9]+]]

;

  %t = trunc i32 %x to i16

  %a = and i16 %t, 14
@@ -140,6 +201,39 @@ define void @PR36225(i32 %a, i32 %b, i1 %c1, i3 %v1, i3 %v2) { 
; CHECK:       exit:

; CHECK-NEXT:    unreachable

;

; DBGINFO-LABEL: @PR36225(

; DBGINFO-NEXT:  entry:

; DBGINFO-NEXT:    br label [[WHILE_BODY:%.*]], !dbg [[DBG94:![0-9]+]]

; DBGINFO:       while.body:

; DBGINFO-NEXT:    call void @llvm.dbg.value(metadata i32 [[B:%.*]], metadata [[META89:![0-9]+]], metadata !DIExpression(DW_OP_constu, 0, DW_OP_eq, DW_OP_stack_value)), !dbg [[DBG95:![0-9]+]]

; DBGINFO-NEXT:    br i1 [[C1:%.*]], label [[FOR_BODY3_US:%.*]], label [[FOR_BODY3:%.*]], !dbg [[DBG96:![0-9]+]]

; DBGINFO:       for.body3.us:

; DBGINFO-NEXT:    [[TOBOOL:%.*]] = icmp eq i32 [[B]], 0, !dbg [[DBG95]]

; DBGINFO-NEXT:    call void @llvm.dbg.value(metadata i1 [[TOBOOL]], metadata [[META89]], metadata !DIExpression()), !dbg [[DBG95]]

; DBGINFO-NEXT:    [[SPEC_SELECT:%.*]] = select i1 [[TOBOOL]], i8 0, i8 4, !dbg [[DBG97:![0-9]+]]

; DBGINFO-NEXT:    call void @llvm.dbg.value(metadata i8 [[SPEC_SELECT]], metadata [[META90:![0-9]+]], metadata !DIExpression()), !dbg [[DBG97]]

; DBGINFO-NEXT:    switch i3 [[V1:%.*]], label [[EXIT:%.*]] [

; DBGINFO-NEXT:    i3 0, label [[FOR_END:%.*]]

; DBGINFO-NEXT:    i3 -1, label [[FOR_END]]

; DBGINFO-NEXT:    ], !dbg [[DBG98:![0-9]+]]

; DBGINFO:       for.body3:

; DBGINFO-NEXT:    switch i3 [[V2:%.*]], label [[EXIT]] [

; DBGINFO-NEXT:    i3 0, label [[FOR_END]]

; DBGINFO-NEXT:    i3 -1, label [[FOR_END]]

; DBGINFO-NEXT:    ], !dbg [[DBG99:![0-9]+]]

; DBGINFO:       for.end:

; DBGINFO-NEXT:    [[H:%.*]] = phi i8 [ [[SPEC_SELECT]], [[FOR_BODY3_US]] ], [ [[SPEC_SELECT]], [[FOR_BODY3_US]] ], [ 0, [[FOR_BODY3]] ], [ 0, [[FOR_BODY3]] ], !dbg [[DBG100:![0-9]+]]

; DBGINFO-NEXT:    call void @llvm.dbg.value(metadata i8 [[H]], metadata [[META91:![0-9]+]], metadata !DIExpression()), !dbg [[DBG100]]

; DBGINFO-NEXT:    [[CONV:%.*]] = zext i8 [[H]] to i32, !dbg [[DBG101:![0-9]+]]

; DBGINFO-NEXT:    call void @llvm.dbg.value(metadata i32 [[CONV]], metadata [[META92:![0-9]+]], metadata !DIExpression()), !dbg [[DBG101]]

; DBGINFO-NEXT:    [[CMP:%.*]] = icmp slt i32 [[CONV]], [[A:%.*]], !dbg [[DBG102:![0-9]+]]

; DBGINFO-NEXT:    call void @llvm.dbg.value(metadata i1 [[CMP]], metadata [[META93:![0-9]+]], metadata !DIExpression()), !dbg [[DBG102]]

; DBGINFO-NEXT:    br i1 [[CMP]], label [[EXIT]], label [[EXIT2:%.*]], !dbg [[DBG103:![0-9]+]]

; DBGINFO:       exit2:

; DBGINFO-NEXT:    unreachable, !dbg [[DBG104:![0-9]+]]

; DBGINFO:       exit:

; DBGINFO-NEXT:    unreachable, !dbg [[DBG105:![0-9]+]]

;

entry:

  br label %while.body

llvm/test/Transforms/SLPVectorizer/AArch64/getelementptr.ll

+29 −29
Original line number Diff line number Diff line
@@ -234,42 +234,42 @@ define void @test_i16_extend(ptr %p.1, ptr %p.2, i32 %idx.i32) { 
; CHECK-NEXT:    [[IDX_0:%.*]] = zext i32 [[IDX_I32:%.*]] to i64

; CHECK-NEXT:    [[T53:%.*]] = getelementptr inbounds i16, ptr [[P_1:%.*]], i64 [[IDX_0]]

; CHECK-NEXT:    [[T56:%.*]] = getelementptr inbounds i16, ptr [[P_2:%.*]], i64 [[IDX_0]]

; CHECK-NEXT:    [[TMP2:%.*]] = load <8 x i16>, ptr [[T53]], align 2

; CHECK-NEXT:    [[TMP3:%.*]] = zext <8 x i16> [[TMP2]] to <8 x i32>

; CHECK-NEXT:    [[TMP5:%.*]] = load <8 x i16>, ptr [[T56]], align 2

; CHECK-NEXT:    [[TMP6:%.*]] = zext <8 x i16> [[TMP5]] to <8 x i32>

; CHECK-NEXT:    [[TMP7:%.*]] = sub nsw <8 x i32> [[TMP3]], [[TMP6]]

; CHECK-NEXT:    [[TMP8:%.*]] = extractelement <8 x i32> [[TMP7]], i64 0

; CHECK-NEXT:    [[TMP9:%.*]] = sext i32 [[TMP8]] to i64

; CHECK-NEXT:    [[T60:%.*]] = getelementptr inbounds i32, ptr [[P_0]], i64 [[TMP9]]

; CHECK-NEXT:    [[TMP1:%.*]] = load <8 x i16>, ptr [[T53]], align 2

; CHECK-NEXT:    [[TMP2:%.*]] = zext <8 x i16> [[TMP1]] to <8 x i32>

; CHECK-NEXT:    [[TMP3:%.*]] = load <8 x i16>, ptr [[T56]], align 2

; CHECK-NEXT:    [[TMP4:%.*]] = zext <8 x i16> [[TMP3]] to <8 x i32>

; CHECK-NEXT:    [[TMP5:%.*]] = sub nsw <8 x i32> [[TMP2]], [[TMP4]]

; CHECK-NEXT:    [[TMP6:%.*]] = extractelement <8 x i32> [[TMP5]], i64 0

; CHECK-NEXT:    [[TMP7:%.*]] = sext i32 [[TMP6]] to i64

; CHECK-NEXT:    [[T60:%.*]] = getelementptr inbounds i32, ptr [[P_0]], i64 [[TMP7]]

; CHECK-NEXT:    [[L_1:%.*]] = load i32, ptr [[T60]], align 4

; CHECK-NEXT:    [[TMP10:%.*]] = extractelement <8 x i32> [[TMP7]], i64 1

; CHECK-NEXT:    [[TMP11:%.*]] = sext i32 [[TMP10]] to i64

; CHECK-NEXT:    [[T71:%.*]] = getelementptr inbounds i32, ptr [[P_0]], i64 [[TMP11]]

; CHECK-NEXT:    [[TMP8:%.*]] = extractelement <8 x i32> [[TMP5]], i64 1

; CHECK-NEXT:    [[TMP9:%.*]] = sext i32 [[TMP8]] to i64

; CHECK-NEXT:    [[T71:%.*]] = getelementptr inbounds i32, ptr [[P_0]], i64 [[TMP9]]

; CHECK-NEXT:    [[L_2:%.*]] = load i32, ptr [[T71]], align 4

; CHECK-NEXT:    [[TMP12:%.*]] = extractelement <8 x i32> [[TMP7]], i64 2

; CHECK-NEXT:    [[TMP13:%.*]] = sext i32 [[TMP12]] to i64

; CHECK-NEXT:    [[T82:%.*]] = getelementptr inbounds i32, ptr [[P_0]], i64 [[TMP13]]

; CHECK-NEXT:    [[TMP10:%.*]] = extractelement <8 x i32> [[TMP5]], i64 2

; CHECK-NEXT:    [[TMP11:%.*]] = sext i32 [[TMP10]] to i64

; CHECK-NEXT:    [[T82:%.*]] = getelementptr inbounds i32, ptr [[P_0]], i64 [[TMP11]]

; CHECK-NEXT:    [[L_3:%.*]] = load i32, ptr [[T82]], align 4

; CHECK-NEXT:    [[TMP14:%.*]] = extractelement <8 x i32> [[TMP7]], i64 3

; CHECK-NEXT:    [[TMP15:%.*]] = sext i32 [[TMP14]] to i64

; CHECK-NEXT:    [[T93:%.*]] = getelementptr inbounds i32, ptr [[P_0]], i64 [[TMP15]]

; CHECK-NEXT:    [[TMP12:%.*]] = extractelement <8 x i32> [[TMP5]], i64 3

; CHECK-NEXT:    [[TMP13:%.*]] = sext i32 [[TMP12]] to i64

; CHECK-NEXT:    [[T93:%.*]] = getelementptr inbounds i32, ptr [[P_0]], i64 [[TMP13]]

; CHECK-NEXT:    [[L_4:%.*]] = load i32, ptr [[T93]], align 4

; CHECK-NEXT:    [[TMP16:%.*]] = extractelement <8 x i32> [[TMP7]], i64 4

; CHECK-NEXT:    [[TMP17:%.*]] = sext i32 [[TMP16]] to i64

; CHECK-NEXT:    [[T104:%.*]] = getelementptr inbounds i32, ptr [[P_0]], i64 [[TMP17]]

; CHECK-NEXT:    [[TMP14:%.*]] = extractelement <8 x i32> [[TMP5]], i64 4

; CHECK-NEXT:    [[TMP15:%.*]] = sext i32 [[TMP14]] to i64

; CHECK-NEXT:    [[T104:%.*]] = getelementptr inbounds i32, ptr [[P_0]], i64 [[TMP15]]

; CHECK-NEXT:    [[L_5:%.*]] = load i32, ptr [[T104]], align 4

; CHECK-NEXT:    [[TMP18:%.*]] = extractelement <8 x i32> [[TMP7]], i64 5

; CHECK-NEXT:    [[TMP19:%.*]] = sext i32 [[TMP18]] to i64

; CHECK-NEXT:    [[T115:%.*]] = getelementptr inbounds i32, ptr [[P_0]], i64 [[TMP19]]

; CHECK-NEXT:    [[TMP16:%.*]] = extractelement <8 x i32> [[TMP5]], i64 5

; CHECK-NEXT:    [[TMP17:%.*]] = sext i32 [[TMP16]] to i64

; CHECK-NEXT:    [[T115:%.*]] = getelementptr inbounds i32, ptr [[P_0]], i64 [[TMP17]]

; CHECK-NEXT:    [[L_6:%.*]] = load i32, ptr [[T115]], align 4

; CHECK-NEXT:    [[TMP20:%.*]] = extractelement <8 x i32> [[TMP7]], i64 6

; CHECK-NEXT:    [[TMP21:%.*]] = sext i32 [[TMP20]] to i64

; CHECK-NEXT:    [[T126:%.*]] = getelementptr inbounds i32, ptr [[P_0]], i64 [[TMP21]]

; CHECK-NEXT:    [[TMP18:%.*]] = extractelement <8 x i32> [[TMP5]], i64 6

; CHECK-NEXT:    [[TMP19:%.*]] = sext i32 [[TMP18]] to i64

; CHECK-NEXT:    [[T126:%.*]] = getelementptr inbounds i32, ptr [[P_0]], i64 [[TMP19]]

; CHECK-NEXT:    [[L_7:%.*]] = load i32, ptr [[T126]], align 4

; CHECK-NEXT:    [[TMP22:%.*]] = extractelement <8 x i32> [[TMP7]], i64 7

; CHECK-NEXT:    [[TMP23:%.*]] = sext i32 [[TMP22]] to i64

; CHECK-NEXT:    [[T137:%.*]] = getelementptr inbounds i32, ptr [[P_0]], i64 [[TMP23]]

; CHECK-NEXT:    [[TMP20:%.*]] = extractelement <8 x i32> [[TMP5]], i64 7

; CHECK-NEXT:    [[TMP21:%.*]] = sext i32 [[TMP20]] to i64

; CHECK-NEXT:    [[T137:%.*]] = getelementptr inbounds i32, ptr [[P_0]], i64 [[TMP21]]

; CHECK-NEXT:    [[L_8:%.*]] = load i32, ptr [[T137]], align 4

; CHECK-NEXT:    call void @use(i32 [[L_1]], i32 [[L_2]], i32 [[L_3]], i32 [[L_4]], i32 [[L_5]], i32 [[L_6]], i32 [[L_7]], i32 [[L_8]])

; CHECK-NEXT:    ret void

llvm/test/Transforms/SimpleLoopUnswitch/AMDGPU/uniform-unswitch.ll

+2 −2
Original line number Diff line number Diff line
@@ -19,8 +19,8 @@ 
; SHOULDBE-NEXT: br i1



define amdgpu_kernel void @uniform_unswitch(ptr nocapture %out, i32 %n, i32 %x) {

; CHECK-LABEL: define amdgpu_kernel void @uniform_unswitch

; CHECK-SAME: (ptr nocapture writeonly [[OUT:%.*]], i32 [[N:%.*]], i32 [[X:%.*]]) local_unnamed_addr #[[ATTR0:[0-9]+]] {

; CHECK-LABEL: define amdgpu_kernel void @uniform_unswitch(

; CHECK-SAME: ptr nocapture writeonly [[OUT:%.*]], i32 [[N:%.*]], i32 [[X:%.*]]) local_unnamed_addr #[[ATTR0:[0-9]+]] {

; CHECK-NEXT:  entry:

; CHECK-NEXT:    [[OUT_GLOBAL:%.*]] = addrspacecast ptr [[OUT]] to ptr addrspace(1)

; CHECK-NEXT:    [[CMP6:%.*]] = icmp sgt i32 [[N]], 0