1 ; RUN: opt -instcombine -early-cse -S < %s | FileCheck %s 2 3 4 ; CHECK-LABEL: define i8* @simplifyNullLaunder() 5 define i8* @simplifyNullLaunder() { 6 ; CHECK-NEXT: ret i8* null 7 %b2 = call i8* @llvm.launder.invariant.group.p0i8(i8* null) 8 ret i8* %b2 9 } 10 11 ; CHECK-LABEL: define i8* @dontSimplifyNullLaunderNoNullOpt() 12 define i8* @dontSimplifyNullLaunderNoNullOpt() #0 { 13 ; CHECK-NEXT: call i8* @llvm.launder.invariant.group.p0i8(i8* null) 14 %b2 = call i8* @llvm.launder.invariant.group.p0i8(i8* null) 15 ret i8* %b2 16 } 17 18 ; CHECK-LABEL: define i8 addrspace(42)* @dontsimplifyNullLaunderForDifferentAddrspace() 19 define i8 addrspace(42)* @dontsimplifyNullLaunderForDifferentAddrspace() { 20 ; CHECK: %b2 = call i8 addrspace(42)* @llvm.launder.invariant.group.p42i8(i8 addrspace(42)* null) 21 ; CHECK: ret i8 addrspace(42)* %b2 22 %b2 = call i8 addrspace(42)* @llvm.launder.invariant.group.p42i8(i8 addrspace(42)* null) 23 ret i8 addrspace(42)* %b2 24 } 25 26 ; CHECK-LABEL: define i8* @simplifyUndefLaunder() 27 define i8* @simplifyUndefLaunder() { 28 ; CHECK-NEXT: ret i8* undef 29 %b2 = call i8* @llvm.launder.invariant.group.p0i8(i8* undef) 30 ret i8* %b2 31 } 32 33 ; CHECK-LABEL: define i8 addrspace(42)* @simplifyUndefLaunder2() 34 define i8 addrspace(42)* @simplifyUndefLaunder2() { 35 ; CHECK-NEXT: ret i8 addrspace(42)* undef 36 %b2 = call i8 addrspace(42)* @llvm.launder.invariant.group.p42i8(i8 addrspace(42)* undef) 37 ret i8 addrspace(42)* %b2 38 } 39 40 ; CHECK-LABEL: define i8* @simplifyNullStrip() 41 define i8* @simplifyNullStrip() { 42 ; CHECK-NEXT: ret i8* null 43 %b2 = call i8* @llvm.strip.invariant.group.p0i8(i8* null) 44 ret i8* %b2 45 } 46 47 ; CHECK-LABEL: define i8* @dontSimplifyNullStripNonNullOpt() 48 define i8* @dontSimplifyNullStripNonNullOpt() #0 { 49 ; CHECK-NEXT: call i8* @llvm.strip.invariant.group.p0i8(i8* null) 50 %b2 = call i8* @llvm.strip.invariant.group.p0i8(i8* null) 51 ret i8* %b2 52 } 53 54 ; CHECK-LABEL: define i8 addrspace(42)* @dontsimplifyNullStripForDifferentAddrspace() 55 define i8 addrspace(42)* @dontsimplifyNullStripForDifferentAddrspace() { 56 ; CHECK: %b2 = call i8 addrspace(42)* @llvm.strip.invariant.group.p42i8(i8 addrspace(42)* null) 57 ; CHECK: ret i8 addrspace(42)* %b2 58 %b2 = call i8 addrspace(42)* @llvm.strip.invariant.group.p42i8(i8 addrspace(42)* null) 59 ret i8 addrspace(42)* %b2 60 } 61 62 ; CHECK-LABEL: define i8* @simplifyUndefStrip() 63 define i8* @simplifyUndefStrip() { 64 ; CHECK-NEXT: ret i8* undef 65 %b2 = call i8* @llvm.strip.invariant.group.p0i8(i8* undef) 66 ret i8* %b2 67 } 68 69 ; CHECK-LABEL: define i8 addrspace(42)* @simplifyUndefStrip2() 70 define i8 addrspace(42)* @simplifyUndefStrip2() { 71 ; CHECK-NEXT: ret i8 addrspace(42)* undef 72 %b2 = call i8 addrspace(42)* @llvm.strip.invariant.group.p42i8(i8 addrspace(42)* undef) 73 ret i8 addrspace(42)* %b2 74 } 75 76 ; CHECK-LABEL: define i8* @simplifyLaunderOfLaunder( 77 define i8* @simplifyLaunderOfLaunder(i8* %a) { 78 ; CHECK: call i8* @llvm.launder.invariant.group.p0i8(i8* %a) 79 ; CHECK-NOT: llvm.launder.invariant.group 80 %a2 = call i8* @llvm.launder.invariant.group.p0i8(i8* %a) 81 %a3 = call i8* @llvm.launder.invariant.group.p0i8(i8* %a2) 82 ret i8* %a3 83 } 84 85 ; CHECK-LABEL: define i8* @simplifyStripOfLaunder( 86 define i8* @simplifyStripOfLaunder(i8* %a) { 87 ; CHECK-NOT: llvm.launder.invariant.group 88 ; CHECK: call i8* @llvm.strip.invariant.group.p0i8(i8* %a) 89 %a2 = call i8* @llvm.launder.invariant.group.p0i8(i8* %a) 90 %a3 = call i8* @llvm.strip.invariant.group.p0i8(i8* %a2) 91 ret i8* %a3 92 } 93 94 ; CHECK-LABEL: define i1 @simplifyForCompare( 95 define i1 @simplifyForCompare(i8* %a) { 96 %a2 = call i8* @llvm.launder.invariant.group.p0i8(i8* %a) 97 98 %a3 = call i8* @llvm.strip.invariant.group.p0i8(i8* %a2) 99 %b2 = call i8* @llvm.strip.invariant.group.p0i8(i8* %a) 100 %c = icmp eq i8* %a3, %b2 101 ; CHECK: ret i1 true 102 ret i1 %c 103 } 104 105 ; CHECK-LABEL: define i16* @skipWithDifferentTypes( 106 define i16* @skipWithDifferentTypes(i8* %a) { 107 %a2 = call i8* @llvm.launder.invariant.group.p0i8(i8* %a) 108 %c1 = bitcast i8* %a2 to i16* 109 110 ; CHECK: %[[b:.*]] = call i8* @llvm.strip.invariant.group.p0i8(i8* %a) 111 %a3 = call i16* @llvm.strip.invariant.group.p0i16(i16* %c1) 112 ; CHECK-NEXT: %[[r:.*]] = bitcast i8* %[[b]] to i16* 113 ; CHECK-NEXT: ret i16* %[[r]] 114 ret i16* %a3 115 } 116 117 ; CHECK-LABEL: define i16 addrspace(42)* @skipWithDifferentTypesAddrspace( 118 define i16 addrspace(42)* @skipWithDifferentTypesAddrspace(i8 addrspace(42)* %a) { 119 %a2 = call i8 addrspace(42)* @llvm.launder.invariant.group.p42i8(i8 addrspace(42)* %a) 120 %c1 = bitcast i8 addrspace(42)* %a2 to i16 addrspace(42)* 121 122 ; CHECK: %[[b:.*]] = call i8 addrspace(42)* @llvm.strip.invariant.group.p42i8(i8 addrspace(42)* %a) 123 %a3 = call i16 addrspace(42)* @llvm.strip.invariant.group.p42i16(i16 addrspace(42)* %c1) 124 ; CHECK-NEXT: %[[r:.*]] = bitcast i8 addrspace(42)* %[[b]] to i16 addrspace(42)* 125 ; CHECK-NEXT: ret i16 addrspace(42)* %[[r]] 126 ret i16 addrspace(42)* %a3 127 } 128 129 ; CHECK-LABEL: define i16 addrspace(42)* @skipWithDifferentTypesDifferentAddrspace( 130 define i16 addrspace(42)* @skipWithDifferentTypesDifferentAddrspace(i8* %a) { 131 %cast = addrspacecast i8* %a to i8 addrspace(42)* 132 %a2 = call i8 addrspace(42)* @llvm.launder.invariant.group.p42i8(i8 addrspace(42)* %cast) 133 %c1 = bitcast i8 addrspace(42)* %a2 to i16 addrspace(42)* 134 135 ; CHECK: %[[b:.*]] = call i8* @llvm.strip.invariant.group.p0i8(i8* %a) 136 %a3 = call i16 addrspace(42)* @llvm.strip.invariant.group.p42i16(i16 addrspace(42)* %c1) 137 ; CHECK-NEXT: %[[r:.*]] = bitcast i8* %[[b]] to i16* 138 ; CHECK-NEXT: %[[r2:.*]] = addrspacecast i16* %[[r]] to i16 addrspace(42)* 139 ; CHECK-NEXT: ret i16 addrspace(42)* %[[r2]] 140 ret i16 addrspace(42)* %a3 141 } 142 143 declare i8* @llvm.launder.invariant.group.p0i8(i8*) 144 declare i8 addrspace(42)* @llvm.launder.invariant.group.p42i8(i8 addrspace(42)*) 145 declare i8* @llvm.strip.invariant.group.p0i8(i8*) 146 declare i8 addrspace(42)* @llvm.strip.invariant.group.p42i8(i8 addrspace(42)*) 147 declare i16* @llvm.strip.invariant.group.p0i16(i16* %c1) 148 declare i16 addrspace(42)* @llvm.strip.invariant.group.p42i16(i16 addrspace(42)* %c1) 149 150 attributes #0 = { "null-pointer-is-valid"="true" } 151
