llvm/test/Transforms/InstCombine/invariant.group.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -instcombine -early-cse -earlycse-debug-hash -S < %s | FileCheck %s
   3
   4 define i8* @simplifyNullLaunder() {
   5 ; CHECK-LABEL: @simplifyNullLaunder(
   6 ; CHECK-NEXT:    ret i8* null
   7 ;
   8   %b2 = call i8* @llvm.launder.invariant.group.p0i8(i8* null)
   9   ret i8* %b2
  10 }
  11
  12 define i8* @dontSimplifyNullLaunderNoNullOpt() #0 {
  13 ; CHECK-LABEL: @dontSimplifyNullLaunderNoNullOpt(
  14 ; CHECK-NEXT:    [[B2:%.*]] = call i8* @llvm.launder.invariant.group.p0i8(i8* null)
  15 ; CHECK-NEXT:    ret i8* [[B2]]
  16 ;
  17   %b2 = call i8* @llvm.launder.invariant.group.p0i8(i8* null)
  18   ret i8* %b2
  19 }
  20
  21 define i8 addrspace(42)* @dontsimplifyNullLaunderForDifferentAddrspace() {
  22 ; CHECK-LABEL: @dontsimplifyNullLaunderForDifferentAddrspace(
  23 ; CHECK-NEXT:    [[B2:%.*]] = call i8 addrspace(42)* @llvm.launder.invariant.group.p42i8(i8 addrspace(42)* null)
  24 ; CHECK-NEXT:    ret i8 addrspace(42)* [[B2]]
  25 ;
  26   %b2 = call i8 addrspace(42)* @llvm.launder.invariant.group.p42i8(i8 addrspace(42)* null)
  27   ret i8 addrspace(42)* %b2
  28 }
  29
  30 define i8* @simplifyUndefLaunder() {
  31 ; CHECK-LABEL: @simplifyUndefLaunder(
  32 ; CHECK-NEXT:    ret i8* undef
  33 ;
  34   %b2 = call i8* @llvm.launder.invariant.group.p0i8(i8* undef)
  35   ret i8* %b2
  36 }
  37
  38 define i8 addrspace(42)* @simplifyUndefLaunder2() {
  39 ; CHECK-LABEL: @simplifyUndefLaunder2(
  40 ; CHECK-NEXT:    ret i8 addrspace(42)* undef
  41 ;
  42   %b2 = call i8 addrspace(42)* @llvm.launder.invariant.group.p42i8(i8 addrspace(42)* undef)
  43   ret i8 addrspace(42)* %b2
  44 }
  45
  46 define i8* @simplifyNullStrip() {
  47 ; CHECK-LABEL: @simplifyNullStrip(
  48 ; CHECK-NEXT:    ret i8* null
  49 ;
  50   %b2 = call i8* @llvm.strip.invariant.group.p0i8(i8* null)
  51   ret i8* %b2
  52 }
  53
  54 define i8* @dontSimplifyNullStripNonNullOpt() #0 {
  55 ; CHECK-LABEL: @dontSimplifyNullStripNonNullOpt(
  56 ; CHECK-NEXT:    [[B2:%.*]] = call i8* @llvm.strip.invariant.group.p0i8(i8* null)
  57 ; CHECK-NEXT:    ret i8* [[B2]]
  58 ;
  59   %b2 = call i8* @llvm.strip.invariant.group.p0i8(i8* null)
  60   ret i8* %b2
  61 }
  62
  63 define i8 addrspace(42)* @dontsimplifyNullStripForDifferentAddrspace() {
  64 ; CHECK-LABEL: @dontsimplifyNullStripForDifferentAddrspace(
  65 ; CHECK-NEXT:    [[B2:%.*]] = call i8 addrspace(42)* @llvm.strip.invariant.group.p42i8(i8 addrspace(42)* null)
  66 ; CHECK-NEXT:    ret i8 addrspace(42)* [[B2]]
  67 ;
  68   %b2 = call i8 addrspace(42)* @llvm.strip.invariant.group.p42i8(i8 addrspace(42)* null)
  69   ret i8 addrspace(42)* %b2
  70 }
  71
  72 define i8* @simplifyUndefStrip() {
  73 ; CHECK-LABEL: @simplifyUndefStrip(
  74 ; CHECK-NEXT:    ret i8* undef
  75 ;
  76   %b2 = call i8* @llvm.strip.invariant.group.p0i8(i8* undef)
  77   ret i8* %b2
  78 }
  79
  80 define i8 addrspace(42)* @simplifyUndefStrip2() {
  81 ; CHECK-LABEL: @simplifyUndefStrip2(
  82 ; CHECK-NEXT:    ret i8 addrspace(42)* undef
  83 ;
  84   %b2 = call i8 addrspace(42)* @llvm.strip.invariant.group.p42i8(i8 addrspace(42)* undef)
  85   ret i8 addrspace(42)* %b2
  86 }
  87
  88 define i8* @simplifyLaunderOfLaunder(i8* %a) {
  89 ; CHECK-LABEL: @simplifyLaunderOfLaunder(
  90 ; CHECK-NEXT:    [[TMP1:%.*]] = call i8* @llvm.launder.invariant.group.p0i8(i8* [[A:%.*]])
  91 ; CHECK-NEXT:    ret i8* [[TMP1]]
  92 ;
  93   %a2 = call i8* @llvm.launder.invariant.group.p0i8(i8* %a)
  94   %a3 = call i8* @llvm.launder.invariant.group.p0i8(i8* %a2)
  95   ret i8* %a3
  96 }
  97
  98 define i8* @simplifyStripOfLaunder(i8* %a) {
  99 ; CHECK-LABEL: @simplifyStripOfLaunder(
 100 ; CHECK-NEXT:    [[TMP1:%.*]] = call i8* @llvm.strip.invariant.group.p0i8(i8* [[A:%.*]])
 101 ; CHECK-NEXT:    ret i8* [[TMP1]]
 102 ;
 103   %a2 = call i8* @llvm.launder.invariant.group.p0i8(i8* %a)
 104   %a3 = call i8* @llvm.strip.invariant.group.p0i8(i8* %a2)
 105   ret i8* %a3
 106 }
 107
 108 define i1 @simplifyForCompare(i8* %a) {
 109 ; CHECK-LABEL: @simplifyForCompare(
 110 ; CHECK-NEXT:    [[TMP1:%.*]] = call i8* @llvm.strip.invariant.group.p0i8(i8* [[A:%.*]])
 111 ; CHECK-NEXT:    ret i1 true
 112 ;
 113   %a2 = call i8* @llvm.launder.invariant.group.p0i8(i8* %a)
 114
 115   %a3 = call i8* @llvm.strip.invariant.group.p0i8(i8* %a2)
 116   %b2 = call i8* @llvm.strip.invariant.group.p0i8(i8* %a)
 117   %c = icmp eq i8* %a3, %b2
 118   ret i1 %c
 119 }
 120
 121 define i16* @skipWithDifferentTypes(i8* %a) {
 122 ; CHECK-LABEL: @skipWithDifferentTypes(
 123 ; CHECK-NEXT:    [[TMP1:%.*]] = call i8* @llvm.strip.invariant.group.p0i8(i8* [[A:%.*]])
 124 ; CHECK-NEXT:    [[TMP2:%.*]] = bitcast i8* [[TMP1]] to i16*
 125 ; CHECK-NEXT:    ret i16* [[TMP2]]
 126 ;
 127   %a2 = call i8* @llvm.launder.invariant.group.p0i8(i8* %a)
 128   %c1 = bitcast i8* %a2 to i16*
 129
 130   %a3 = call i16* @llvm.strip.invariant.group.p0i16(i16* %c1)
 131   ret i16* %a3
 132 }
 133
 134 define i16 addrspace(42)* @skipWithDifferentTypesAddrspace(i8 addrspace(42)* %a) {
 135 ; CHECK-LABEL: @skipWithDifferentTypesAddrspace(
 136 ; CHECK-NEXT:    [[TMP1:%.*]] = call i8 addrspace(42)* @llvm.strip.invariant.group.p42i8(i8 addrspace(42)* [[A:%.*]])
 137 ; CHECK-NEXT:    [[TMP2:%.*]] = bitcast i8 addrspace(42)* [[TMP1]] to i16 addrspace(42)*
 138 ; CHECK-NEXT:    ret i16 addrspace(42)* [[TMP2]]
 139 ;
 140   %a2 = call i8 addrspace(42)* @llvm.launder.invariant.group.p42i8(i8 addrspace(42)* %a)
 141   %c1 = bitcast i8 addrspace(42)* %a2 to i16 addrspace(42)*
 142
 143   %a3 = call i16 addrspace(42)* @llvm.strip.invariant.group.p42i16(i16 addrspace(42)* %c1)
 144   ret i16 addrspace(42)* %a3
 145 }
 146
 147 define i16 addrspace(42)* @skipWithDifferentTypesDifferentAddrspace(i8* %a) {
 148 ; CHECK-LABEL: @skipWithDifferentTypesDifferentAddrspace(
 149 ; CHECK-NEXT:    [[TMP1:%.*]] = call i8* @llvm.strip.invariant.group.p0i8(i8* [[A:%.*]])
 150 ; CHECK-NEXT:    [[TMP2:%.*]] = bitcast i8* [[TMP1]] to i16*
 151 ; CHECK-NEXT:    [[TMP3:%.*]] = addrspacecast i16* [[TMP2]] to i16 addrspace(42)*
 152 ; CHECK-NEXT:    ret i16 addrspace(42)* [[TMP3]]
 153 ;
 154   %cast = addrspacecast i8* %a to i8 addrspace(42)*
 155   %a2 = call i8 addrspace(42)* @llvm.launder.invariant.group.p42i8(i8 addrspace(42)* %cast)
 156   %c1 = bitcast i8 addrspace(42)* %a2 to i16 addrspace(42)*
 157
 158   %a3 = call i16 addrspace(42)* @llvm.strip.invariant.group.p42i16(i16 addrspace(42)* %c1)
 159   ret i16 addrspace(42)* %a3
 160 }
 161
 162 define i1 @icmp_null_launder(i8* %a) {
 163 ; CHECK-LABEL: @icmp_null_launder(
 164 ; CHECK-NEXT:    [[R:%.*]] = icmp eq i8* [[A:%.*]], null
 165 ; CHECK-NEXT:    ret i1 [[R]]
 166 ;
 167   %a2 = call i8* @llvm.launder.invariant.group.p0i8(i8* %a)
 168   %r = icmp eq i8* %a2, null
 169   ret i1 %r
 170 }
 171
 172 define i1 @icmp_null_strip(i8* %a) {
 173 ; CHECK-LABEL: @icmp_null_strip(
 174 ; CHECK-NEXT:    [[R:%.*]] = icmp eq i8* [[A:%.*]], null
 175 ; CHECK-NEXT:    ret i1 [[R]]
 176 ;
 177   %a2 = call i8* @llvm.strip.invariant.group.p0i8(i8* %a)
 178   %r = icmp eq i8* %a2, null
 179   ret i1 %r
 180 }
 181
 182 define i1 @icmp_null_launder_valid_null(i8* %a) #0 {
 183 ; CHECK-LABEL: @icmp_null_launder_valid_null(
 184 ; CHECK-NEXT:    [[A2:%.*]] = call i8* @llvm.launder.invariant.group.p0i8(i8* [[A:%.*]])
 185 ; CHECK-NEXT:    [[R:%.*]] = icmp eq i8* [[A2]], null
 186 ; CHECK-NEXT:    ret i1 [[R]]
 187 ;
 188   %a2 = call i8* @llvm.launder.invariant.group.p0i8(i8* %a)
 189   %r = icmp eq i8* %a2, null
 190   ret i1 %r
 191 }
 192
 193 define i1 @icmp_null_strip_valid_null(i8* %a) #0 {
 194 ; CHECK-LABEL: @icmp_null_strip_valid_null(
 195 ; CHECK-NEXT:    [[A2:%.*]] = call i8* @llvm.strip.invariant.group.p0i8(i8* [[A:%.*]])
 196 ; CHECK-NEXT:    [[R:%.*]] = icmp eq i8* [[A2]], null
 197 ; CHECK-NEXT:    ret i1 [[R]]
 198 ;
 199   %a2 = call i8* @llvm.strip.invariant.group.p0i8(i8* %a)
 200   %r = icmp eq i8* %a2, null
 201   ret i1 %r
 202 }
 203
 204 ; Check that null always becomes the RHS
 205 define i1 @icmp_null_launder_lhs(i8* %a) {
 206 ; CHECK-LABEL: @icmp_null_launder_lhs(
 207 ; CHECK-NEXT:    [[R:%.*]] = icmp eq i8* [[A:%.*]], null
 208 ; CHECK-NEXT:    ret i1 [[R]]
 209 ;
 210   %a2 = call i8* @llvm.launder.invariant.group.p0i8(i8* %a)
 211   %r = icmp eq i8* null, %a2
 212   ret i1 %r
 213 }
 214
 215 define i1 @icmp_null_launder_bitcasts(i32* %a) {
 216 ; CHECK-LABEL: @icmp_null_launder_bitcasts(
 217 ; CHECK-NEXT:    [[R:%.*]] = icmp eq i32* [[A:%.*]], null
 218 ; CHECK-NEXT:    ret i1 [[R]]
 219 ;
 220   %a2 = bitcast i32* %a to i8*
 221   %a3 = call i8* @llvm.launder.invariant.group.p0i8(i8* %a2)
 222   %a4 = bitcast i8* %a3 to i32*
 223   %r = icmp eq i32* %a4, null
 224   ret i1 %r
 225 }
 226
 227 declare i8* @llvm.launder.invariant.group.p0i8(i8*)
 228 declare i8 addrspace(42)* @llvm.launder.invariant.group.p42i8(i8 addrspace(42)*)
 229 declare i8* @llvm.strip.invariant.group.p0i8(i8*)
 230 declare i8 addrspace(42)* @llvm.strip.invariant.group.p42i8(i8 addrspace(42)*)
 231 declare i16* @llvm.strip.invariant.group.p0i16(i16* %c1)
 232 declare i16 addrspace(42)* @llvm.strip.invariant.group.p42i16(i16 addrspace(42)* %c1)
 233
 234 attributes #0 = { null_pointer_is_valid }