94 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -passes=instcombine -S < %s | FileCheck %s3 4target datalayout = "p:64:64:64-i64:32:32"5 6 7define ptr @test1(ptr %x) {8; CHECK-LABEL: @test1(9; CHECK-NEXT: entry:10; CHECK-NEXT: [[B:%.*]] = load i64, ptr [[X:%.*]], align 411; CHECK-NEXT: [[C:%.*]] = inttoptr i64 [[B]] to ptr12; CHECK-NEXT: ret ptr [[C]]13;14entry:15 %b = load i64, ptr %x16 %c = inttoptr i64 %b to ptr17 18 ret ptr %c19}20 21define ptr @test2(ptr %x) {22; CHECK-LABEL: @test2(23; CHECK-NEXT: entry:24; CHECK-NEXT: [[B:%.*]] = load i32, ptr [[X:%.*]], align 425; CHECK-NEXT: [[TMP0:%.*]] = zext i32 [[B]] to i6426; CHECK-NEXT: [[C:%.*]] = inttoptr i64 [[TMP0]] to ptr27; CHECK-NEXT: ret ptr [[C]]28;29entry:30 %b = load i32, ptr %x31 %c = inttoptr i32 %b to ptr32 33 ret ptr %c34}35 36define ptr @test3(ptr %x) {37; CHECK-LABEL: @test3(38; CHECK-NEXT: entry:39; CHECK-NEXT: [[B:%.*]] = load i32, ptr [[X:%.*]], align 440; CHECK-NEXT: [[TMP0:%.*]] = zext i32 [[B]] to i6441; CHECK-NEXT: [[C:%.*]] = inttoptr i64 [[TMP0]] to ptr42; CHECK-NEXT: ret ptr [[C]]43;44entry:45 %b = load i32, ptr %x46 %c = inttoptr i32 %b to ptr47 48 ret ptr %c49}50 51define i64 @test4(ptr %x) {52; CHECK-LABEL: @test4(53; CHECK-NEXT: entry:54; CHECK-NEXT: [[B:%.*]] = load ptr, ptr [[X:%.*]], align 855; CHECK-NEXT: [[C:%.*]] = ptrtoint ptr [[B]] to i6456; CHECK-NEXT: ret i64 [[C]]57;58entry:59 %b = load ptr, ptr %x60 %c = ptrtoint ptr %b to i6461 62 ret i64 %c63}64 65define i32 @test5(ptr %x) {66; CHECK-LABEL: @test5(67; CHECK-NEXT: entry:68; CHECK-NEXT: [[B:%.*]] = load ptr, ptr [[X:%.*]], align 869; CHECK-NEXT: [[TMP0:%.*]] = ptrtoint ptr [[B]] to i6470; CHECK-NEXT: [[C:%.*]] = trunc i64 [[TMP0]] to i3271; CHECK-NEXT: ret i32 [[C]]72;73entry:74 %b = load ptr, ptr %x75 %c = ptrtoint ptr %b to i3276 77 ret i32 %c78}79 80define i64 @test6(ptr %x) {81; CHECK-LABEL: @test6(82; CHECK-NEXT: entry:83; CHECK-NEXT: [[B:%.*]] = load ptr, ptr [[X:%.*]], align 884; CHECK-NEXT: [[C:%.*]] = ptrtoint ptr [[B]] to i6485; CHECK-NEXT: ret i64 [[C]]86;87entry:88 %b = load ptr, ptr %x89 %c = ptrtoint ptr %b to i6490 91 ret i64 %c92}93 94