[llvm] 17be8e4 - [ConstProp] Add test for bitcast to gep fold; NFC

[Nikita Popov via llvm-commits]

Author: Nikita Popov
Date: 2020-03-04T18:27:20+01:00
New Revision: 17be8e4a6f23d31d8821ab9270562420802e5029

URL: https://github.com/llvm/llvm-project/commit/17be8e4a6f23d31d8821ab9270562420802e5029
DIFF: https://github.com/llvm/llvm-project/commit/17be8e4a6f23d31d8821ab9270562420802e5029.diff

LOG: [ConstProp] Add test for bitcast to gep fold; NFC

Added: 
    

Modified: 
    llvm/test/Transforms/ConstProp/bitcast.ll

Removed: 
    


################################################################################
diff  --git a/llvm/test/Transforms/ConstProp/bitcast.ll b/llvm/test/Transforms/ConstProp/bitcast.ll
index 7b1908bd7ac0..7b07391ee869 100644
--- a/llvm/test/Transforms/ConstProp/bitcast.ll
+++ b/llvm/test/Transforms/ConstProp/bitcast.ll
@@ -71,3 +71,22 @@ define i1 @fcmp_constexpr_one(float %conv) {
   %cmp = fcmp one float bitcast (i32 ptrtoint (i16* @a to i32) to float), bitcast (i32 ptrtoint (i16* @a to i32) to float)
   ret i1 %cmp
 }
+
+%T = type { i8 }
+ at G = external global %T
+
+define i8* @bitcast_to_gep() {
+; CHECK-LABEL: @bitcast_to_gep(
+; CHECK-NEXT:    ret i8* getelementptr inbounds (%T, %T* @G, i32 0, i32 0)
+;
+  %p = bitcast %T* @G to i8*
+  ret i8* %p
+}
+
+define i8 addrspace(1)* @addrspacecast_to_gep() {
+; CHECK-LABEL: @addrspacecast_to_gep(
+; CHECK-NEXT:    ret i8 addrspace(1)* addrspacecast (i8* getelementptr inbounds (%T, %T* @G, i32 0, i32 0) to i8 addrspace(1)*)
+;
+  %p = addrspacecast %T* @G to i8 addrspace(1)*
+  ret i8 addrspace(1)* %p
+}