98 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt < %s -passes=instcombine -S | FileCheck %s3 4declare void @use_ptr(ptr)5 6define i1 @inttoptr(i64 %x, i64 %y) {7; CHECK-LABEL: @inttoptr(8; CHECK-NEXT: [[CMP:%.*]] = icmp eq i64 [[X:%.*]], [[Y:%.*]]9; CHECK-NEXT: ret i1 [[CMP]]10;11 %xptr = inttoptr i64 %x to ptr12 %yptr = inttoptr i64 %y to ptr13 %cmp = icmp eq ptr %xptr, %yptr14 ret i1 %cmp15}16 17define i1 @inttoptr_constant(i64 %x) {18; CHECK-LABEL: @inttoptr_constant(19; CHECK-NEXT: [[CMP:%.*]] = icmp eq i64 [[X:%.*]], 4220; CHECK-NEXT: ret i1 [[CMP]]21;22 %xptr = inttoptr i64 %x to ptr23 %cmp = icmp eq ptr %xptr, inttoptr (i64 42 to ptr)24 ret i1 %cmp25}26 27define <2 x i1> @inttoptr_vector(<2 x i64> %x, <2 x i64> %y) {28; CHECK-LABEL: @inttoptr_vector(29; CHECK-NEXT: [[CMP:%.*]] = icmp eq <2 x i64> [[X:%.*]], [[Y:%.*]]30; CHECK-NEXT: ret <2 x i1> [[CMP]]31;32 %xptr = inttoptr <2 x i64> %x to <2 x ptr>33 %yptr = inttoptr <2 x i64> %y to <2 x ptr>34 %cmp = icmp eq <2 x ptr> %xptr, %yptr35 ret <2 x i1> %cmp36}37 38define <2 x i1> @inttoptr_vector_constant(<2 x i64> %x) {39; CHECK-LABEL: @inttoptr_vector_constant(40; CHECK-NEXT: [[CMP:%.*]] = icmp eq <2 x i64> [[X:%.*]], <i64 42, i64 123>41; CHECK-NEXT: ret <2 x i1> [[CMP]]42;43 %xptr = inttoptr <2 x i64> %x to <2 x ptr>44 %cmp = icmp eq <2 x ptr> %xptr, inttoptr (<2 x i64> <i64 42, i64 123> to <2 x ptr>)45 ret <2 x i1> %cmp46}47 48define i1 @inttoptr_size_mismatch(i200 %x, i64 %y) {49; CHECK-LABEL: @inttoptr_size_mismatch(50; CHECK-NEXT: [[TMP1:%.*]] = trunc i200 [[X:%.*]] to i6451; CHECK-NEXT: [[CMP:%.*]] = icmp eq i64 [[Y:%.*]], [[TMP1]]52; CHECK-NEXT: ret i1 [[CMP]]53;54 %xptr = inttoptr i200 %x to ptr55 %yptr = inttoptr i64 %y to ptr56 %cmp = icmp eq ptr %xptr, %yptr57 ret i1 %cmp58}59 60define <2 x i1> @inttoptr_vector_constant_size_mismatch(<2 x i64> %x) {61; CHECK-LABEL: @inttoptr_vector_constant_size_mismatch(62; CHECK-NEXT: [[CMP:%.*]] = icmp eq <2 x i64> [[X:%.*]], <i64 42, i64 123>63; CHECK-NEXT: ret <2 x i1> [[CMP]]64;65 %xptr = inttoptr <2 x i64> %x to <2 x ptr>66 %cmp = icmp eq <2 x ptr> %xptr, inttoptr (<2x i9> <i9 42, i9 123> to <2 x ptr>)67 ret <2 x i1> %cmp68}69 70define i1 @inttoptr_oneside(i64 %x, ptr %y) {71; CHECK-LABEL: @inttoptr_oneside(72; CHECK-NEXT: [[XPTR:%.*]] = inttoptr i64 [[X:%.*]] to ptr73; CHECK-NEXT: [[CMP:%.*]] = icmp eq ptr [[Y:%.*]], [[XPTR]]74; CHECK-NEXT: ret i1 [[CMP]]75;76 %xptr = inttoptr i64 %x to ptr77 %cmp = icmp eq ptr %xptr, %y78 ret i1 %cmp79}80 81define i1 @inttoptr_used(i64 %x, i64 %y) {82; CHECK-LABEL: @inttoptr_used(83; CHECK-NEXT: [[XPTR:%.*]] = inttoptr i64 [[X:%.*]] to ptr84; CHECK-NEXT: [[YPTR:%.*]] = inttoptr i64 [[Y:%.*]] to ptr85; CHECK-NEXT: call void @use_ptr(ptr [[XPTR]])86; CHECK-NEXT: call void @use_ptr(ptr [[YPTR]])87; CHECK-NEXT: [[CMP:%.*]] = icmp ugt i64 [[X]], [[Y]]88; CHECK-NEXT: ret i1 [[CMP]]89;90 %xptr = inttoptr i64 %x to ptr91 %yptr = inttoptr i64 %y to ptr92 call void @use_ptr(ptr %xptr)93 call void @use_ptr(ptr %yptr)94 %cmp = icmp ugt ptr %xptr, %yptr95 ret i1 %cmp96}97 98