306 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt < %s -passes=instcombine -S | FileCheck %s3target datalayout = "E-p:64:64:64-p1:64:64:64-a0:0:8-f32:32:32-f64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-v64:64:64-v128:128:128"4 5define i1 @f(i1 %x) {6; CHECK-LABEL: @f(7; CHECK-NEXT: ret i1 false8;9 %c = icmp eq ptr inttoptr (i32 1 to ptr), inttoptr (i32 2 to ptr)10 %b = and i1 %x, %c11 ret i1 %b12}13 14define i1 @f_logical(i1 %x) {15; CHECK-LABEL: @f_logical(16; CHECK-NEXT: ret i1 false17;18 %c = icmp eq ptr inttoptr (i32 1 to ptr), inttoptr (i32 2 to ptr)19 %b = select i1 %x, i1 %c, i1 false20 ret i1 %b21}22 23define i32 @g(i32 %x) {24; CHECK-LABEL: @g(25; CHECK-NEXT: ret i32 [[X:%.*]]26;27 %c = icmp eq ptr inttoptr (i32 1 to ptr), inttoptr (i32 2 to ptr)28 %ext = zext i1 %c to i3229 %b = add i32 %x, %ext30 ret i32 %b31}32 33define i1 @inttoptr_add_ptrtoint_used_by_single_icmp(ptr %src, ptr %p2) {34; CHECK-LABEL: @inttoptr_add_ptrtoint_used_by_single_icmp(35; CHECK-NEXT: [[P2:%.*]] = getelementptr i8, ptr [[SRC:%.*]], i64 1036; CHECK-NEXT: [[C:%.*]] = icmp eq ptr [[P2]], [[P:%.*]]37; CHECK-NEXT: ret i1 [[C]]38;39 %i = ptrtoint ptr %src to i6440 %a = add i64 %i, 1041 %p = inttoptr i64 %a to ptr42 %c = icmp eq ptr %p, %p243 ret i1 %c44}45 46define i1 @inttoptr_add_ptrtoint_used_by_single_icmp_operands_swapped(ptr %src, ptr %p2) {47; CHECK-LABEL: @inttoptr_add_ptrtoint_used_by_single_icmp_operands_swapped(48; CHECK-NEXT: [[P2:%.*]] = getelementptr i8, ptr [[SRC:%.*]], i64 1049; CHECK-NEXT: [[C:%.*]] = icmp eq ptr [[P2]], [[P:%.*]]50; CHECK-NEXT: ret i1 [[C]]51;52 %i = ptrtoint ptr %src to i6453 %a = add i64 10, %i54 %p = inttoptr i64 %a to ptr55 %c = icmp eq ptr %p, %p256 ret i1 %c57}58 59define i1 @inttoptr_add_ptrtoint_used_by_single_icmp_constant_offset(ptr %src, i64 %off, ptr %p2) {60; CHECK-LABEL: @inttoptr_add_ptrtoint_used_by_single_icmp_constant_offset(61; CHECK-NEXT: [[P2:%.*]] = getelementptr i8, ptr [[SRC:%.*]], i64 [[OFF:%.*]]62; CHECK-NEXT: [[C:%.*]] = icmp eq ptr [[P2]], [[P:%.*]]63; CHECK-NEXT: ret i1 [[C]]64;65 %i = ptrtoint ptr %src to i6466 %a = add i64 %i, %off67 %p = inttoptr i64 %a to ptr68 %c = icmp eq ptr %p, %p269 ret i1 %c70}71 72define i1 @inttoptr_add_ptrtoint_used_by_single_icmp_constant_offset_operands_swapped(ptr %src, i64 %off, ptr %p2) {73; CHECK-LABEL: @inttoptr_add_ptrtoint_used_by_single_icmp_constant_offset_operands_swapped(74; CHECK-NEXT: [[P2:%.*]] = getelementptr i8, ptr [[SRC:%.*]], i64 [[OFF:%.*]]75; CHECK-NEXT: [[C:%.*]] = icmp eq ptr [[P2]], [[P:%.*]]76; CHECK-NEXT: ret i1 [[C]]77;78 %i = ptrtoint ptr %src to i6479 %a = add i64 %off, %i80 %p = inttoptr i64 %a to ptr81 %c = icmp eq ptr %p, %p282 ret i1 %c83}84 85define i1 @inttoptr_add_ptrtoint_used_by_single_icmp_different_src_address_spaces(ptr addrspace(1) %src, ptr %p2) {86; CHECK-LABEL: @inttoptr_add_ptrtoint_used_by_single_icmp_different_src_address_spaces(87; CHECK-NEXT: [[I:%.*]] = ptrtoint ptr addrspace(1) [[SRC:%.*]] to i6488; CHECK-NEXT: [[A:%.*]] = add i64 [[I]], 1089; CHECK-NEXT: [[P:%.*]] = inttoptr i64 [[A]] to ptr90; CHECK-NEXT: [[C:%.*]] = icmp eq ptr [[P2:%.*]], [[P]]91; CHECK-NEXT: ret i1 [[C]]92;93 %i = ptrtoint ptr addrspace(1) %src to i6494 %a = add i64 %i, 1095 %p = inttoptr i64 %a to ptr96 %c = icmp eq ptr %p, %p297 ret i1 %c98}99 100define i1 @inttoptr_add_ptrtoint_used_by_single_icmp_different_dst_address_spaces(ptr %src, ptr addrspace(1) %p2) {101; CHECK-LABEL: @inttoptr_add_ptrtoint_used_by_single_icmp_different_dst_address_spaces(102; CHECK-NEXT: [[I:%.*]] = ptrtoint ptr [[SRC:%.*]] to i64103; CHECK-NEXT: [[A:%.*]] = add i64 [[I]], 10104; CHECK-NEXT: [[P:%.*]] = inttoptr i64 [[A]] to ptr addrspace(1)105; CHECK-NEXT: [[C:%.*]] = icmp eq ptr addrspace(1) [[P2:%.*]], [[P]]106; CHECK-NEXT: ret i1 [[C]]107;108 %i = ptrtoint ptr %src to i64109 %a = add i64 %i, 10110 %p = inttoptr i64 %a to ptr addrspace(1)111 %c = icmp eq ptr addrspace(1) %p, %p2112 ret i1 %c113}114 115define i1 @inttoptr_add_ptrtoint_used_by_single_icmp_int_type_does_not_match_ptr_ty(ptr %src, ptr %p2) {116; CHECK-LABEL: @inttoptr_add_ptrtoint_used_by_single_icmp_int_type_does_not_match_ptr_ty(117; CHECK-NEXT: [[TMP1:%.*]] = ptrtoint ptr [[SRC:%.*]] to i64118; CHECK-NEXT: [[I:%.*]] = trunc i64 [[TMP1]] to i8119; CHECK-NEXT: [[A:%.*]] = add i8 [[I]], 10120; CHECK-NEXT: [[TMP2:%.*]] = zext i8 [[A]] to i64121; CHECK-NEXT: [[P:%.*]] = inttoptr i64 [[TMP2]] to ptr122; CHECK-NEXT: [[C:%.*]] = icmp eq ptr [[P2:%.*]], [[P]]123; CHECK-NEXT: ret i1 [[C]]124;125 %i = ptrtoint ptr %src to i8126 %a = add i8 %i, 10127 %p = inttoptr i8 %a to ptr128 %c = icmp eq ptr %p, %p2129 ret i1 %c130}131 132define i1 @inttoptr_add_multiple_users_ptrtoint_used_by_single_icmp(ptr %src, ptr %p2) {133; CHECK-LABEL: @inttoptr_add_multiple_users_ptrtoint_used_by_single_icmp(134; CHECK-NEXT: [[I:%.*]] = ptrtoint ptr [[SRC:%.*]] to i64135; CHECK-NEXT: [[A:%.*]] = add i64 [[I]], 10136; CHECK-NEXT: [[P:%.*]] = inttoptr i64 [[A]] to ptr137; CHECK-NEXT: [[C:%.*]] = icmp eq ptr [[P2:%.*]], [[P]]138; CHECK-NEXT: call void @bar(i64 [[A]])139; CHECK-NEXT: ret i1 [[C]]140;141 %i = ptrtoint ptr %src to i64142 %a = add i64 %i, 10143 %p = inttoptr i64 %a to ptr144 %c = icmp eq ptr %p, %p2145 call void @bar(i64 %a)146 ret i1 %c147}148 149define i1 @multiple_inttoptr_add_ptrtoint_used_by_single_icmp(ptr %src) {150; CHECK-LABEL: @multiple_inttoptr_add_ptrtoint_used_by_single_icmp(151; CHECK-NEXT: ret i1 false152;153 %i = ptrtoint ptr %src to i64154 %a = add i64 %i, 10155 %p = inttoptr i64 %a to ptr156 %a.2 = add i64 %i, 11157 %p.2 = inttoptr i64 %a.2 to ptr158 %c = icmp eq ptr %p, %p.2159 ret i1 %c160}161 162define i1 @multiple_inttoptr_add_ptrtoint_used_by_single_icmp_non_constant_offset(ptr %src, i64 %off.1) {163; CHECK-LABEL: @multiple_inttoptr_add_ptrtoint_used_by_single_icmp_non_constant_offset(164; CHECK-NEXT: ret i1 false165;166 %i = ptrtoint ptr %src to i64167 %a = add i64 %i, 10168 %p = inttoptr i64 %a to ptr169 %a.2 = add i64 %i, 11170 %p.2 = inttoptr i64 %a.2 to ptr171 %c = icmp eq ptr %p, %p.2172 ret i1 %c173}174 175define i1 @multiple_inttoptr_add_ptrtoint_used_by_single_icmp_multiple_non_constant_offset(ptr %src, i64 %off.1, i64 %off.2) {176; CHECK-LABEL: @multiple_inttoptr_add_ptrtoint_used_by_single_icmp_multiple_non_constant_offset(177; CHECK-NEXT: [[C:%.*]] = icmp eq i64 [[OFF_1:%.*]], [[OFF_2:%.*]]178; CHECK-NEXT: ret i1 [[C]]179;180 %i = ptrtoint ptr %src to i64181 %a = add i64 %i, %off.1182 %p = inttoptr i64 %a to ptr183 %a.2 = add i64 %i, %off.2184 %p.2 = inttoptr i64 %a.2 to ptr185 %c = icmp eq ptr %p, %p.2186 ret i1 %c187}188 189define i1 @inttoptr_add_ptrtoint_used_by_single_icmp_in_different_bb(i1 %bc, ptr %src, ptr %p2) {190; CHECK-LABEL: @inttoptr_add_ptrtoint_used_by_single_icmp_in_different_bb(191; CHECK-NEXT: br i1 [[BC:%.*]], label [[THEN:%.*]], label [[ELSE:%.*]]192; CHECK: then:193; CHECK-NEXT: [[P2:%.*]] = getelementptr i8, ptr [[SRC:%.*]], i64 10194; CHECK-NEXT: [[C:%.*]] = icmp eq ptr [[P2]], [[P:%.*]]195; CHECK-NEXT: ret i1 [[C]]196; CHECK: else:197; CHECK-NEXT: ret i1 false198;199 %i = ptrtoint ptr %src to i64200 %a = add i64 %i, 10201 %p = inttoptr i64 %a to ptr202 br i1 %bc, label %then, label %else203 204then:205 %c = icmp eq ptr %p, %p2206 ret i1 %c207 208else:209 ret i1 false210}211 212define i1 @inttoptr_add_ptrtoint_used_by_multiple_icmps(ptr %src, ptr %p2, ptr %p3) {213; CHECK-LABEL: @inttoptr_add_ptrtoint_used_by_multiple_icmps(214; CHECK-NEXT: [[P2:%.*]] = getelementptr i8, ptr [[SRC:%.*]], i64 10215; CHECK-NEXT: [[C_1:%.*]] = icmp eq ptr [[P2]], [[P:%.*]]216; CHECK-NEXT: [[C_2:%.*]] = icmp eq ptr [[P2]], [[P3:%.*]]217; CHECK-NEXT: [[XOR:%.*]] = xor i1 [[C_1]], [[C_2]]218; CHECK-NEXT: ret i1 [[XOR]]219;220 %i = ptrtoint ptr %src to i64221 %a = add i64 %i, 10222 %p = inttoptr i64 %a to ptr223 %c.1 = icmp eq ptr %p, %p2224 %c.2 = icmp eq ptr %p, %p3225 %xor = xor i1 %c.1, %c.2226 ret i1 %xor227}228 229declare void @foo(ptr)230declare void @bar(i64)231 232define i1 @inttoptr_add_ptrtoint_used_by_multiple_icmps_and_other_user(ptr %src, ptr %p2, ptr %p3) {233; CHECK-LABEL: @inttoptr_add_ptrtoint_used_by_multiple_icmps_and_other_user(234; CHECK-NEXT: [[TMP1:%.*]] = ptrtoint ptr [[SRC:%.*]] to i64235; CHECK-NEXT: [[TMP2:%.*]] = add i64 [[TMP1]], 10236; CHECK-NEXT: [[P:%.*]] = inttoptr i64 [[TMP2]] to ptr237; CHECK-NEXT: [[C_1:%.*]] = icmp eq ptr [[P2:%.*]], [[P]]238; CHECK-NEXT: [[C_2:%.*]] = icmp eq ptr [[P3:%.*]], [[P]]239; CHECK-NEXT: [[XOR:%.*]] = xor i1 [[C_1]], [[C_2]]240; CHECK-NEXT: call void @foo(ptr [[P]])241; CHECK-NEXT: ret i1 [[XOR]]242;243 %i = ptrtoint ptr %src to i64244 %a = add i64 %i, 10245 %p = inttoptr i64 %a to ptr246 %c.1 = icmp eq ptr %p, %p2247 %c.2 = icmp eq ptr %p, %p3248 %xor = xor i1 %c.1, %c.2249 call void @foo(ptr %p)250 ret i1 %xor251}252 253define i32 @h(i1 %A, i32 %B) {254; CHECK-LABEL: @h(255; CHECK-NEXT: EntryBlock:256; CHECK-NEXT: [[TMP0:%.*]] = add i32 [[B:%.*]], 2257; CHECK-NEXT: [[OP:%.*]] = select i1 [[A:%.*]], i32 3, i32 [[TMP0]]258; CHECK-NEXT: ret i32 [[OP]]259;260EntryBlock:261 %cf = select i1 %A, i32 1, i32 %B262 %op = add i32 2, %cf263 ret i32 %op264}265 266define <4 x float> @h1(i1 %A, <4 x i32> %B) {267; CHECK-LABEL: @h1(268; CHECK-NEXT: EntryBlock:269; CHECK-NEXT: [[TMP0:%.*]] = bitcast <4 x i32> [[B:%.*]] to <4 x float>270; CHECK-NEXT: [[BC:%.*]] = select i1 [[A:%.*]], <4 x float> splat (float 0x36A0000000000000), <4 x float> [[TMP0]]271; CHECK-NEXT: ret <4 x float> [[BC]]272;273EntryBlock:274 %cf = select i1 %A, <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32> %B275 %bc = bitcast <4 x i32> %cf to <4 x float>276 ret <4 x float> %bc277}278 279define <vscale x 4 x float> @h2(i1 %A, <vscale x 4 x i32> %B) {280; CHECK-LABEL: @h2(281; CHECK-NEXT: EntryBlock:282; CHECK-NEXT: [[TMP0:%.*]] = bitcast <vscale x 4 x i32> [[B:%.*]] to <vscale x 4 x float>283; CHECK-NEXT: [[BC:%.*]] = select i1 [[A:%.*]], <vscale x 4 x float> zeroinitializer, <vscale x 4 x float> [[TMP0]]284; CHECK-NEXT: ret <vscale x 4 x float> [[BC]]285;286EntryBlock:287 %cf = select i1 %A, <vscale x 4 x i32> zeroinitializer, <vscale x 4 x i32> %B288 %bc = bitcast <vscale x 4 x i32> %cf to <vscale x 4 x float>289 ret <vscale x 4 x float> %bc290}291 292define <vscale x 2 x i64> @h3(i1 %A, <vscale x 4 x i32> %B) {293; CHECK-LABEL: @h3(294; CHECK-NEXT: EntryBlock:295; CHECK-NEXT: [[CF:%.*]] = select i1 [[A:%.*]], <vscale x 4 x i32> zeroinitializer, <vscale x 4 x i32> [[B:%.*]]296; CHECK-NEXT: [[BC:%.*]] = bitcast <vscale x 4 x i32> [[CF]] to <vscale x 2 x i64>297; CHECK-NEXT: ret <vscale x 2 x i64> [[BC]]298;299EntryBlock:300 %cf = select i1 %A, <vscale x 4 x i32> zeroinitializer, <vscale x 4 x i32> %B301 %bc = bitcast <vscale x 4 x i32> %cf to <vscale x 2 x i64>302 ret <vscale x 2 x i64> %bc303 304}305 306