[llvm] 6c3c7a0 - [InstSimplify] add tests for freeze(constexpr); NFC

[Sanjay Patel via llvm-commits]

Author: Sanjay Patel
Date: 2020-03-24T11:39:19-04:00
New Revision: 6c3c7a0dd645f4b6e1169dc0f4163f227aca21f4

URL: https://github.com/llvm/llvm-project/commit/6c3c7a0dd645f4b6e1169dc0f4163f227aca21f4
DIFF: https://github.com/llvm/llvm-project/commit/6c3c7a0dd645f4b6e1169dc0f4163f227aca21f4.diff

LOG: [InstSimplify] add tests for freeze(constexpr); NFC

Added: 
    

Modified: 
    llvm/test/Transforms/InstSimplify/freeze.ll

Removed: 
    


################################################################################
diff  --git a/llvm/test/Transforms/InstSimplify/freeze.ll b/llvm/test/Transforms/InstSimplify/freeze.ll
index 52d1f72edacb..c80f19713b1c 100644
--- a/llvm/test/Transforms/InstSimplify/freeze.ll
+++ b/llvm/test/Transforms/InstSimplify/freeze.ll
@@ -110,6 +110,26 @@ define <2 x float> @constvector_FP_noopt() {
   ret <2 x float> %x
 }
 
+ at g = external global i16, align 1
+
+define float @constant_expr() {
+; CHECK-LABEL: @constant_expr(
+; CHECK-NEXT:    [[R:%.*]] = freeze float bitcast (i32 ptrtoint (i16* @g to i32) to float)
+; CHECK-NEXT:    ret float [[R]]
+;
+  %r = freeze float bitcast (i32 ptrtoint (i16* @g to i32) to float)
+  ret float %r
+}
+
+define <2 x i31> @vector_element_constant_expr() {
+; CHECK-LABEL: @vector_element_constant_expr(
+; CHECK-NEXT:    [[R:%.*]] = freeze <2 x i31> <i31 34, i31 ptrtoint (i16* @g to i31)>
+; CHECK-NEXT:    ret <2 x i31> [[R]]
+;
+  %r = freeze <2 x i31> <i31 34, i31 ptrtoint (i16* @g to i31)>
+  ret <2 x i31> %r
+}
+
 define void @alloca() {
 ; CHECK-LABEL: @alloca(
 ; CHECK-NEXT:    [[P:%.*]] = alloca i8