llvm/test/CodeGen/SystemZ/expand-zext-pseudo.ll

   1 ; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z13 -verify-machineinstrs | FileCheck %s
   2 ;
   3 ; Test that a def operand of super-reg is not dropped during post RA pseudo
   4 ; expansion in expandZExtPseudo().
   5
   6 define void @fun_llvm_stress_reduced(ptr, ptr, ptr, i32) {
   7 ; CHECK: .text
   8 BB:
   9   %A = alloca i32
  10   %Sl24 = select i1 undef, ptr %1, ptr %1
  11   %L26 = load i16, ptr undef
  12   %L32 = load i32, ptr %Sl24
  13   br label %CF847
  14
  15 CF847:                                            ; preds = %CF878, %BB
  16   %L61 = load i16, ptr undef
  17   br label %CF878
  18
  19 CF878:                                            ; preds = %CF847
  20   %Sl67 = select i1 undef, <2 x i32> undef, <2 x i32> undef
  21   %Cmp68 = icmp ugt i32 undef, %3
  22   br i1 %Cmp68, label %CF847, label %CF863
  23
  24 CF863:                                            ; preds = %CF878
  25   %L84 = load i16, ptr undef
  26   br label %CF825
  27
  28 CF825:                                            ; preds = %CF825, %CF863
  29   %Sl105 = select i1 undef, i1 undef, i1 undef
  30   br i1 %Sl105, label %CF825, label %CF856
  31
  32 CF856:                                            ; preds = %CF856, %CF825
  33   %Cmp114 = icmp ult i16 -24837, %L61
  34   br i1 %Cmp114, label %CF856, label %CF875
  35
  36 CF875:                                            ; preds = %CF856
  37   %Shuff124 = shufflevector <2 x i32> undef, <2 x i32> undef, <2 x i32> <i32 1, i32 3>
  38   br label %CF827
  39
  40 CF827:                                            ; preds = %CF923, %CF911, %CF875
  41   %Sl142 = select i1 undef, i64 undef, i64 -1
  42   %B148 = sdiv i32 409071, 409071
  43   %E153 = extractelement <2 x i32> %Shuff124, i32 1
  44   br label %CF911
  45
  46 CF911:                                            ; preds = %CF827
  47   br i1 undef, label %CF827, label %CF867
  48
  49 CF867:                                            ; preds = %CF911
  50   br label %CF870
  51
  52 CF870:                                            ; preds = %CF870, %CF867
  53   store i8 0, ptr %0
  54   %FC176 = fptoui double undef to i1
  55   br i1 %FC176, label %CF870, label %CF923
  56
  57 CF923:                                            ; preds = %CF870
  58   %L179 = load i16, ptr undef
  59   %Sl191 = select i1 undef, ptr %A, ptr %A
  60   br i1 false, label %CF827, label %CF828
  61
  62 CF828:                                            ; preds = %CF905, %CF923
  63   %B205 = urem i16 -7553, undef
  64   %E209 = extractelement <2 x i32> %Sl67, i32 1
  65   %Cmp215 = icmp ugt i16 %L179, 0
  66   br label %CF905
  67
  68 CF905:                                            ; preds = %CF828
  69   %E231 = extractelement <4 x i1> undef, i32 1
  70   br i1 %E231, label %CF828, label %CF829
  71
  72 CF829:                                            ; preds = %CF909, %CF829, %CF905
  73   %B234 = udiv i16 %L26, %L84
  74   br i1 undef, label %CF829, label %CF894
  75
  76 CF894:                                            ; preds = %CF894, %CF829
  77   store i64 %Sl142, ptr %Sl191
  78   %Sl241 = select i1 %Cmp114, i1 false, i1 %Cmp215
  79   br i1 %Sl241, label %CF894, label %CF907
  80
  81 CF907:                                            ; preds = %CF894
  82   %B247 = udiv i32 0, %E153
  83   br label %CF909
  84
  85 CF909:                                            ; preds = %CF907
  86   store i1 %FC176, ptr undef
  87   %Cmp263 = icmp ugt i1 undef, %Sl241
  88   br i1 %Cmp263, label %CF829, label %CF830
  89
  90 CF830:                                            ; preds = %CF909
  91   %B304 = urem i16 %L84, %B205
  92   %I311 = insertelement <2 x i32> %Shuff124, i32 %B247, i32 1
  93   store i8 0, ptr %0
  94   %Sl373 = select i1 %Cmp68, i32 0, i32 %E153
  95   br label %CF833
  96
  97 CF833:                                            ; preds = %CF880, %CF830
  98   br label %CF880
  99
 100 CF880:                                            ; preds = %CF833
 101   %Cmp412 = icmp ne i16 %B234, -18725
 102   br i1 %Cmp412, label %CF833, label %CF865
 103
 104 CF865:                                            ; preds = %CF880
 105   store double 0.000000e+00, ptr %Sl24
 106   br label %CF860
 107
 108 CF860:                                            ; preds = %CF860, %CF865
 109   store i8 0, ptr %2
 110   %Cmp600 = icmp sge i32 %B148, undef
 111   br i1 %Cmp600, label %CF860, label %CF913
 112
 113 CF913:                                            ; preds = %CF860
 114   store i32 %E209, ptr undef
 115   store i32 %Sl373, ptr undef
 116   %Cmp771 = icmp ule i32 undef, %L32
 117   br label %CF842
 118
 119 CF842:                                            ; preds = %CF925, %CF913
 120   br label %CF925
 121
 122 CF925:                                            ; preds = %CF842
 123   %Cmp778 = icmp sgt i1 %Cmp771, %Sl241
 124   br i1 %Cmp778, label %CF842, label %CF898
 125
 126 CF898:                                            ; preds = %CF925
 127   %Sl785 = select i1 %Cmp600, i16 undef, i16 %B304
 128   unreachable
 129 }