Skip to content

Commit

Permalink
[InstCombine] Regenerate test checks (NFC)
Browse files Browse the repository at this point in the history
  • Loading branch information
@nikic
nikic committed Apr 5, 2023
1 parent 3e7517f commit e5b04e2
Show file tree
Hide file tree
Showing 8 changed files with 451 additions and 170 deletions.
192 changes: 142 additions & 50 deletions llvm/test/Transforms/InstCombine/bitcast-function.ll
View file
Original file line number Diff line number Diff line change
@@ -1,37 +1,73 @@
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 2
; RUN: opt -opaque-pointers=0 -S -passes=instcombine -o - %s | FileCheck %s
target datalayout = "e-p:32:32:32-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v16:16:16-v24:32:32-v32:32:32-v64:64:64-v128:128:128-a0:0:64"

define internal <2 x i32> @func_v2i32(<2 x i32> %v) noinline nounwind {
; CHECK-LABEL: define internal <2 x i32> @func_v2i32
; CHECK-SAME: (<2 x i32> [[V:%.*]]) #[[ATTR0:[0-9]+]] {
; CHECK-NEXT: entry:
; CHECK-NEXT: ret <2 x i32> [[V]]
;
entry:
ret <2 x i32> %v
}

define internal <2 x float> @func_v2f32(<2 x float> %v) noinline nounwind {
; CHECK-LABEL: define internal <2 x float> @func_v2f32
; CHECK-SAME: (<2 x float> [[V:%.*]]) #[[ATTR0]] {
; CHECK-NEXT: entry:
; CHECK-NEXT: ret <2 x float> [[V]]
;
entry:
ret <2 x float> %v
}

define internal <4 x float> @func_v4f32(<4 x float> %v) noinline nounwind {
; CHECK-LABEL: define internal <4 x float> @func_v4f32
; CHECK-SAME: (<4 x float> [[V:%.*]]) #[[ATTR0]] {
; CHECK-NEXT: entry:
; CHECK-NEXT: ret <4 x float> [[V]]
;
entry:
ret <4 x float> %v
}

define internal i32 @func_i32(i32 %v) noinline nounwind {
; CHECK-LABEL: define internal i32 @func_i32
; CHECK-SAME: (i32 [[V:%.*]]) #[[ATTR0]] {
; CHECK-NEXT: entry:
; CHECK-NEXT: ret i32 [[V]]
;
entry:
ret i32 %v
}

define internal i64 @func_i64(i64 %v) noinline nounwind {
; CHECK-LABEL: define internal i64 @func_i64
; CHECK-SAME: (i64 [[V:%.*]]) #[[ATTR0]] {
; CHECK-NEXT: entry:
; CHECK-NEXT: ret i64 [[V]]
;
entry:
ret i64 %v
}

define internal <2 x i64> @func_v2i64(<2 x i64> %v) noinline nounwind {
; CHECK-LABEL: define internal <2 x i64> @func_v2i64
; CHECK-SAME: (<2 x i64> [[V:%.*]]) #[[ATTR0]] {
; CHECK-NEXT: entry:
; CHECK-NEXT: ret <2 x i64> [[V]]
;
entry:
ret <2 x i64> %v
}

define internal <2 x i32*> @func_v2i32p(<2 x i32*> %v) noinline nounwind {
; CHECK-LABEL: define internal <2 x i32*> @func_v2i32p
; CHECK-SAME: (<2 x i32*> [[V:%.*]]) #[[ATTR0]] {
; CHECK-NEXT: entry:
; CHECK-NEXT: ret <2 x i32*> [[V]]
;
entry:
ret <2 x i32*> %v
}
Expand All @@ -41,14 +77,17 @@ entry:
; Test cast between scalars with same bit sizes
; Sizes match, should only bitcast
define void @bitcast_scalar(float* noalias %source, float* noalias %dest) nounwind {
; CHECK-LABEL: define void @bitcast_scalar
; CHECK-SAME: (float* noalias [[SOURCE:%.*]], float* noalias [[DEST:%.*]]) #[[ATTR1:[0-9]+]] {
; CHECK-NEXT: entry:
; CHECK-NEXT: [[TMP0:%.*]] = bitcast float* [[SOURCE]] to i32*
; CHECK-NEXT: [[TMP1:%.*]] = load i32, i32* [[TMP0]], align 8
; CHECK-NEXT: [[CALL:%.*]] = call i32 @func_i32(i32 [[TMP1]]) #[[ATTR1]]
; CHECK-NEXT: [[TMP1:%.*]] = bitcast float* [[DEST]] to i32*
; CHECK-NEXT: store i32 [[CALL]], i32* [[TMP1]], align 8
; CHECK-NEXT: ret void
;
entry:
; CHECK-LABEL: @bitcast_scalar
; CHECK: bitcast float* %source to i32*
; CHECK: load i32, i32*
; CHECK-NOT: fptoui
; CHECK-NOT: uitofp
; CHECK: bitcast float* %dest to i32*
; CHECK: store i32
%tmp = load float, float* %source, align 8
%call = call float bitcast (i32 (i32)* @func_i32 to float (float)*)(float %tmp) nounwind
store float %call, float* %dest, align 8
Expand All @@ -58,14 +97,17 @@ entry:
; Test cast between vectors with same number of elements and bit sizes
; Sizes match, should only bitcast
define void @bitcast_vector(<2 x float>* noalias %source, <2 x float>* noalias %dest) nounwind {
; CHECK-LABEL: define void @bitcast_vector
; CHECK-SAME: (<2 x float>* noalias [[SOURCE:%.*]], <2 x float>* noalias [[DEST:%.*]]) #[[ATTR1]] {
; CHECK-NEXT: entry:
; CHECK-NEXT: [[TMP0:%.*]] = bitcast <2 x float>* [[SOURCE]] to <2 x i32>*
; CHECK-NEXT: [[TMP1:%.*]] = load <2 x i32>, <2 x i32>* [[TMP0]], align 8
; CHECK-NEXT: [[CALL:%.*]] = call <2 x i32> @func_v2i32(<2 x i32> [[TMP1]]) #[[ATTR1]]
; CHECK-NEXT: [[TMP1:%.*]] = bitcast <2 x float>* [[DEST]] to <2 x i32>*
; CHECK-NEXT: store <2 x i32> [[CALL]], <2 x i32>* [[TMP1]], align 8
; CHECK-NEXT: ret void
;
entry:
; CHECK-LABEL: @bitcast_vector
; CHECK: bitcast <2 x float>* %source to <2 x i32>*
; CHECK: load <2 x i32>, <2 x i32>*
; CHECK-NOT: fptoui
; CHECK-NOT: uitofp
; CHECK: bitcast <2 x float>* %dest to <2 x i32>*
; CHECK: store <2 x i32>
%tmp = load <2 x float>, <2 x float>* %source, align 8
%call = call <2 x float> bitcast (<2 x i32> (<2 x i32>)* @func_v2i32 to <2 x float> (<2 x float>)*)(<2 x float> %tmp) nounwind
store <2 x float> %call, <2 x float>* %dest, align 8
Expand All @@ -75,13 +117,17 @@ entry:
; Test cast from vector to scalar with same number of bits
; Sizes match, should only bitcast
define void @bitcast_vector_scalar_same_size(<2 x float>* noalias %source, <2 x float>* noalias %dest) nounwind {
; CHECK-LABEL: define void @bitcast_vector_scalar_same_size
; CHECK-SAME: (<2 x float>* noalias [[SOURCE:%.*]], <2 x float>* noalias [[DEST:%.*]]) #[[ATTR1]] {
; CHECK-NEXT: entry:
; CHECK-NEXT: [[TMP0:%.*]] = bitcast <2 x float>* [[SOURCE]] to i64*
; CHECK-NEXT: [[TMP1:%.*]] = load i64, i64* [[TMP0]], align 8
; CHECK-NEXT: [[CALL:%.*]] = call i64 @func_i64(i64 [[TMP1]]) #[[ATTR1]]
; CHECK-NEXT: [[TMP1:%.*]] = bitcast <2 x float>* [[DEST]] to i64*
; CHECK-NEXT: store i64 [[CALL]], i64* [[TMP1]], align 8
; CHECK-NEXT: ret void
;
entry:
; CHECK-LABEL: @bitcast_vector_scalar_same_size
; CHECK: bitcast <2 x float>* %source to i64*
; CHECK: load i64, i64*
; CHECK: %call = call i64 @func_i64
; CHECK: bitcast <2 x float>* %dest to i64*
; CHECK: store i64
%tmp = load <2 x float>, <2 x float>* %source, align 8
%call = call <2 x float> bitcast (i64 (i64)* @func_i64 to <2 x float> (<2 x float>)*)(<2 x float> %tmp) nounwind
store <2 x float> %call, <2 x float>* %dest, align 8
Expand All @@ -90,13 +136,17 @@ entry:

; Test cast from scalar to vector with same number of bits
define void @bitcast_scalar_vector_same_size(i64* noalias %source, i64* noalias %dest) nounwind {
; CHECK-LABEL: define void @bitcast_scalar_vector_same_size
; CHECK-SAME: (i64* noalias [[SOURCE:%.*]], i64* noalias [[DEST:%.*]]) #[[ATTR1]] {
; CHECK-NEXT: entry:
; CHECK-NEXT: [[TMP0:%.*]] = bitcast i64* [[SOURCE]] to <2 x float>*
; CHECK-NEXT: [[TMP1:%.*]] = load <2 x float>, <2 x float>* [[TMP0]], align 8
; CHECK-NEXT: [[CALL:%.*]] = call <2 x float> @func_v2f32(<2 x float> [[TMP1]]) #[[ATTR1]]
; CHECK-NEXT: [[TMP1:%.*]] = bitcast i64* [[DEST]] to <2 x float>*
; CHECK-NEXT: store <2 x float> [[CALL]], <2 x float>* [[TMP1]], align 8
; CHECK-NEXT: ret void
;
entry:
; CHECK-LABEL: @bitcast_scalar_vector_same_size
; CHECK: bitcast i64* %source to <2 x float>*
; CHECK: load <2 x float>, <2 x float>*
; CHECK: call <2 x float> @func_v2f32
; CHECK: bitcast i64* %dest to <2 x float>*
; CHECK: store <2 x float>
%tmp = load i64, i64* %source, align 8
%call = call i64 bitcast (<2 x float> (<2 x float>)* @func_v2f32 to i64 (i64)*)(i64 %tmp) nounwind
store i64 %call, i64* %dest, align 8
Expand All @@ -105,13 +155,17 @@ entry:

; Test cast between vectors of pointers
define void @bitcast_vector_ptrs_same_size(<2 x i64*>* noalias %source, <2 x i64*>* noalias %dest) nounwind {
; CHECK-LABEL: define void @bitcast_vector_ptrs_same_size
; CHECK-SAME: (<2 x i64*>* noalias [[SOURCE:%.*]], <2 x i64*>* noalias [[DEST:%.*]]) #[[ATTR1]] {
; CHECK-NEXT: entry:
; CHECK-NEXT: [[TMP0:%.*]] = bitcast <2 x i64*>* [[SOURCE]] to <2 x i32*>*
; CHECK-NEXT: [[TMP1:%.*]] = load <2 x i32*>, <2 x i32*>* [[TMP0]], align 8
; CHECK-NEXT: [[CALL:%.*]] = call <2 x i32*> @func_v2i32p(<2 x i32*> [[TMP1]]) #[[ATTR1]]
; CHECK-NEXT: [[TMP1:%.*]] = bitcast <2 x i64*>* [[DEST]] to <2 x i32*>*
; CHECK-NEXT: store <2 x i32*> [[CALL]], <2 x i32*>* [[TMP1]], align 8
; CHECK-NEXT: ret void
;
entry:
; CHECK-LABEL: @bitcast_vector_ptrs_same_size
; CHECK: bitcast <2 x i64*>* %source to <2 x i32*>*
; CHECK: load <2 x i32*>, <2 x i32*>*
; CHECK: call <2 x i32*> @func_v2i32p
; CHECK: bitcast <2 x i64*>* %dest to <2 x i32*>*
; CHECK: store <2 x i32*>
%tmp = load <2 x i64*>, <2 x i64*>* %source, align 8
%call = call <2 x i64*> bitcast (<2 x i32*> (<2 x i32*>)* @func_v2i32p to <2 x i64*> (<2 x i64*>)*)(<2 x i64*> %tmp) nounwind
store <2 x i64*> %call, <2 x i64*>* %dest, align 8
Expand All @@ -122,11 +176,15 @@ entry:

; Test cast between scalars with different bit sizes
define void @bitcast_mismatch_scalar_size(float* noalias %source, float* noalias %dest) nounwind {
; CHECK-LABEL: define void @bitcast_mismatch_scalar_size
; CHECK-SAME: (float* noalias [[SOURCE:%.*]], float* noalias [[DEST:%.*]]) #[[ATTR1]] {
; CHECK-NEXT: entry:
; CHECK-NEXT: [[TMP:%.*]] = load float, float* [[SOURCE]], align 8
; CHECK-NEXT: [[CALL:%.*]] = call float bitcast (i64 (i64)* @func_i64 to float (float)*)(float [[TMP]]) #[[ATTR1]]
; CHECK-NEXT: store float [[CALL]], float* [[DEST]], align 8
; CHECK-NEXT: ret void
;
entry:
; CHECK-LABEL: @bitcast_mismatch_scalar_size
; CHECK-NOT: fptoui
; CHECK: call float bitcast
; CHECK-NOT: uitofp
%tmp = load float, float* %source, align 8
%call = call float bitcast (i64 (i64)* @func_i64 to float (float)*)(float %tmp) nounwind
store float %call, float* %dest, align 8
Expand All @@ -136,11 +194,15 @@ entry:
; Test cast between vectors with different bit sizes but the
; same number of elements
define void @bitcast_mismatch_vector_element_and_bit_size(<2 x float>* noalias %source, <2 x float>* noalias %dest) nounwind {
; CHECK-LABEL: define void @bitcast_mismatch_vector_element_and_bit_size
; CHECK-SAME: (<2 x float>* noalias [[SOURCE:%.*]], <2 x float>* noalias [[DEST:%.*]]) #[[ATTR1]] {
; CHECK-NEXT: entry:
; CHECK-NEXT: [[TMP:%.*]] = load <2 x float>, <2 x float>* [[SOURCE]], align 8
; CHECK-NEXT: [[CALL:%.*]] = call <2 x float> bitcast (<2 x i64> (<2 x i64>)* @func_v2i64 to <2 x float> (<2 x float>)*)(<2 x float> [[TMP]]) #[[ATTR1]]
; CHECK-NEXT: store <2 x float> [[CALL]], <2 x float>* [[DEST]], align 8
; CHECK-NEXT: ret void
;
entry:
; CHECK-LABEL: @bitcast_mismatch_vector_element_and_bit_size
; CHECK-NOT: fptoui <2 x float> %tmp to <2 x i64>
; CHECK: call <2 x float> bitcast
; CHECK-NOT: uitofp <2 x i64> %call to <2 x float>
%tmp = load <2 x float>, <2 x float>* %source, align 8
%call = call <2 x float> bitcast (<2 x i64> (<2 x i64>)* @func_v2i64 to <2 x float> (<2 x float>)*)(<2 x float> %tmp) nounwind
store <2 x float> %call, <2 x float>* %dest, align 8
Expand All @@ -150,9 +212,15 @@ entry:
; Test cast between vectors with same number of bits and different
; numbers of elements
define void @bitcast_vector_mismatched_number_elements(<4 x float>* noalias %source, <4 x float>* noalias %dest) nounwind {
; CHECK-LABEL: define void @bitcast_vector_mismatched_number_elements
; CHECK-SAME: (<4 x float>* noalias [[SOURCE:%.*]], <4 x float>* noalias [[DEST:%.*]]) #[[ATTR1]] {
; CHECK-NEXT: entry:
; CHECK-NEXT: [[TMP:%.*]] = load <4 x float>, <4 x float>* [[SOURCE]], align 8
; CHECK-NEXT: [[CALL:%.*]] = call <4 x float> bitcast (<2 x i32> (<2 x i32>)* @func_v2i32 to <4 x float> (<4 x float>)*)(<4 x float> [[TMP]]) #[[ATTR1]]
; CHECK-NEXT: store <4 x float> [[CALL]], <4 x float>* [[DEST]], align 8
; CHECK-NEXT: ret void
;
entry:
; CHECK-LABEL: @bitcast_vector_mismatched_number_elements
; CHECK: %call = call <4 x float> bitcast
%tmp = load <4 x float>, <4 x float>* %source, align 8
%call = call <4 x float> bitcast (<2 x i32> (<2 x i32>)* @func_v2i32 to <4 x float> (<4 x float>)*)(<4 x float> %tmp) nounwind
store <4 x float> %call, <4 x float>* %dest, align 8
Expand All @@ -161,9 +229,15 @@ entry:

; Test cast between vector and scalar with different number of bits
define void @bitcast_vector_scalar_mismatched_bit_size(<4 x float>* noalias %source, <4 x float>* noalias %dest) nounwind {
; CHECK-LABEL: define void @bitcast_vector_scalar_mismatched_bit_size
; CHECK-SAME: (<4 x float>* noalias [[SOURCE:%.*]], <4 x float>* noalias [[DEST:%.*]]) #[[ATTR1]] {
; CHECK-NEXT: entry:
; CHECK-NEXT: [[TMP:%.*]] = load <4 x float>, <4 x float>* [[SOURCE]], align 8
; CHECK-NEXT: [[CALL:%.*]] = call <4 x float> bitcast (i64 (i64)* @func_i64 to <4 x float> (<4 x float>)*)(<4 x float> [[TMP]]) #[[ATTR1]]
; CHECK-NEXT: store <4 x float> [[CALL]], <4 x float>* [[DEST]], align 8
; CHECK-NEXT: ret void
;
entry:
; CHECK-LABEL: @bitcast_vector_scalar_mismatched_bit_size
; CHECK: %call = call <4 x float> bitcast
%tmp = load <4 x float>, <4 x float>* %source, align 8
%call = call <4 x float> bitcast (i64 (i64)* @func_i64 to <4 x float> (<4 x float>)*)(<4 x float> %tmp) nounwind
store <4 x float> %call, <4 x float>* %dest, align 8
Expand All @@ -172,9 +246,15 @@ entry:

; Test cast between vector of pointers and scalar with different number of bits
define void @bitcast_vector_ptrs_scalar_mismatched_bit_size(<4 x i32*>* noalias %source, <4 x i32*>* noalias %dest) nounwind {
; CHECK-LABEL: define void @bitcast_vector_ptrs_scalar_mismatched_bit_size
; CHECK-SAME: (<4 x i32*>* noalias [[SOURCE:%.*]], <4 x i32*>* noalias [[DEST:%.*]]) #[[ATTR1]] {
; CHECK-NEXT: entry:
; CHECK-NEXT: [[TMP:%.*]] = load <4 x i32*>, <4 x i32*>* [[SOURCE]], align 8
; CHECK-NEXT: [[CALL:%.*]] = call <4 x i32*> bitcast (i64 (i64)* @func_i64 to <4 x i32*> (<4 x i32*>)*)(<4 x i32*> [[TMP]]) #[[ATTR1]]
; CHECK-NEXT: store <4 x i32*> [[CALL]], <4 x i32*>* [[DEST]], align 8
; CHECK-NEXT: ret void
;
entry:
; CHECK-LABEL: @bitcast_vector_ptrs_scalar_mismatched_bit_size
; CHECK: call <4 x i32*> bitcast
%tmp = load <4 x i32*>, <4 x i32*>* %source, align 8
%call = call <4 x i32*> bitcast (i64 (i64)* @func_i64 to <4 x i32*> (<4 x i32*>)*)(<4 x i32*> %tmp) nounwind
store <4 x i32*> %call, <4 x i32*>* %dest, align 8
Expand All @@ -184,9 +264,15 @@ entry:
; Test cast from scalar to vector of pointers with same number of bits
; We don't know the pointer size at this point, so this can't be done
define void @bitcast_scalar_vector_ptrs_same_size(i64* noalias %source, i64* noalias %dest) nounwind {
; CHECK-LABEL: define void @bitcast_scalar_vector_ptrs_same_size
; CHECK-SAME: (i64* noalias [[SOURCE:%.*]], i64* noalias [[DEST:%.*]]) #[[ATTR1]] {
; CHECK-NEXT: entry:
; CHECK-NEXT: [[TMP:%.*]] = load i64, i64* [[SOURCE]], align 8
; CHECK-NEXT: [[CALL:%.*]] = call i64 bitcast (<2 x i32*> (<2 x i32*>)* @func_v2i32p to i64 (i64)*)(i64 [[TMP]]) #[[ATTR1]]
; CHECK-NEXT: store i64 [[CALL]], i64* [[DEST]], align 8
; CHECK-NEXT: ret void
;
entry:
; CHECK-LABEL: @bitcast_scalar_vector_ptrs_same_size
; CHECK: call i64 bitcast
%tmp = load i64, i64* %source, align 8
%call = call i64 bitcast (<2 x i32*> (<2 x i32*>)* @func_v2i32p to i64 (i64)*)(i64 %tmp) nounwind
store i64 %call, i64* %dest, align 8
Expand All @@ -195,9 +281,15 @@ entry:

; Test cast between scalar and vector with different number of bits
define void @bitcast_scalar_vector_mismatched_bit_size(i64* noalias %source, i64* noalias %dest) nounwind {
; CHECK-LABEL: define void @bitcast_scalar_vector_mismatched_bit_size
; CHECK-SAME: (i64* noalias [[SOURCE:%.*]], i64* noalias [[DEST:%.*]]) #[[ATTR1]] {
; CHECK-NEXT: entry:
; CHECK-NEXT: [[TMP:%.*]] = load i64, i64* [[SOURCE]], align 8
; CHECK-NEXT: [[CALL:%.*]] = call i64 bitcast (<4 x float> (<4 x float>)* @func_v4f32 to i64 (i64)*)(i64 [[TMP]]) #[[ATTR1]]
; CHECK-NEXT: store i64 [[CALL]], i64* [[DEST]], align 8
; CHECK-NEXT: ret void
;
entry:
; CHECK-LABEL: @bitcast_scalar_vector_mismatched_bit_size
; CHECK: call i64 bitcast
%tmp = load i64, i64* %source, align 8
%call = call i64 bitcast (<4 x float> (<4 x float>)* @func_v4f32 to i64 (i64)*)(i64 %tmp) nounwind
store i64 %call, i64* %dest, align 8
Expand Down

0 comments on commit e5b04e2

Please sign in to comment.