87 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 42; RUN: opt -S -passes='require<profile-summary>,function(codegenprepare)' %s | FileCheck %s3 4target triple = "x86_64--linux-gnu"5 6@foo = dso_local thread_local(localexec) global i32 0, align 47 8declare void @effect()9declare nonnull ptr @llvm.threadlocal.address.p0(ptr nonnull)10 11define i32 @func0(i32 %arg) {12; CHECK-LABEL: define i32 @func0(13; CHECK-SAME: i32 [[ARG:%.*]]) {14; CHECK-NEXT: entry:15; CHECK-NEXT: [[ADDR:%.*]] = tail call ptr @llvm.threadlocal.address.p0(ptr @foo)16; CHECK-NEXT: [[LOAD0:%.*]] = load i32, ptr [[ADDR]], align 417; CHECK-NEXT: [[COND:%.*]] = icmp eq i32 [[ARG]], 018; CHECK-NEXT: br i1 [[COND]], label [[IF_THEN:%.*]], label [[IF_END:%.*]]19; CHECK: if.then:20; CHECK-NEXT: tail call void @effect()21; CHECK-NEXT: [[TMP0:%.*]] = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @foo)22; CHECK-NEXT: [[LOAD1:%.*]] = load i32, ptr [[TMP0]], align 423; CHECK-NEXT: br label [[IF_END]]24; CHECK: if.end:25; CHECK-NEXT: [[PHI:%.*]] = phi i32 [ [[LOAD1]], [[IF_THEN]] ], [ [[LOAD0]], [[ENTRY:%.*]] ]26; CHECK-NEXT: [[RET:%.*]] = add i32 [[PHI]], [[LOAD0]]27; CHECK-NEXT: ret i32 [[RET]]28;29entry:30 %addr = tail call ptr @llvm.threadlocal.address.p0(ptr @foo)31 %load0 = load i32, ptr %addr, align 432 %cond = icmp eq i32 %arg, 033 br i1 %cond, label %if.then, label %if.end34 35if.then:36 tail call void @effect()37 %load1 = load i32, ptr %addr, align 438 br label %if.end39 40if.end:41 %phi = phi i32 [ %load1, %if.then ], [ %load0, %entry ]42 %ret = add i32 %phi, %load043 ret i32 %ret44}45 46define i32 @func1(i32 %arg0, i32 %arg1) {47; CHECK-LABEL: define i32 @func1(48; CHECK-SAME: i32 [[ARG0:%.*]], i32 [[ARG1:%.*]]) {49; CHECK-NEXT: entry:50; CHECK-NEXT: [[ADDR:%.*]] = tail call ptr @llvm.threadlocal.address.p0(ptr @foo)51; CHECK-NEXT: [[LOAD0:%.*]] = load i32, ptr [[ADDR]], align 452; CHECK-NEXT: [[COND:%.*]] = icmp eq i32 [[ARG0]], 053; CHECK-NEXT: br i1 [[COND]], label [[IF_THEN:%.*]], label [[IF_END:%.*]]54; CHECK: if.then:55; CHECK-NEXT: tail call void @effect()56; CHECK-NEXT: [[X:%.*]] = add i32 [[ARG1]], 4257; CHECK-NEXT: [[X64:%.*]] = sext i32 [[X]] to i6458; CHECK-NEXT: [[TMP0:%.*]] = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @foo)59; CHECK-NEXT: [[SUNKADDR:%.*]] = mul i64 [[X64]], 460; CHECK-NEXT: [[ADDR1:%.*]] = getelementptr inbounds i8, ptr [[TMP0]], i64 [[SUNKADDR]]61; CHECK-NEXT: [[LOAD1:%.*]] = load i32, ptr [[ADDR1]], align 462; CHECK-NEXT: br label [[IF_END]]63; CHECK: if.end:64; CHECK-NEXT: [[PHI:%.*]] = phi i32 [ [[LOAD1]], [[IF_THEN]] ], [ [[LOAD0]], [[ENTRY:%.*]] ]65; CHECK-NEXT: [[RET:%.*]] = add i32 [[PHI]], [[LOAD0]]66; CHECK-NEXT: ret i32 [[RET]]67;68entry:69 %addr = tail call ptr @llvm.threadlocal.address.p0(ptr @foo)70 %load0 = load i32, ptr %addr, align 471 %cond = icmp eq i32 %arg0, 072 br i1 %cond, label %if.then, label %if.end73 74if.then:75 tail call void @effect()76 %x = add i32 %arg1, 4277 %x64 = sext i32 %x to i6478 %addr1 = getelementptr inbounds i32, ptr %addr, i64 %x6479 %load1 = load i32, ptr %addr1, align 480 br label %if.end81 82if.end:83 %phi = phi i32 [ %load1, %if.then ], [ %load0, %entry ]84 %ret = add i32 %phi, %load085 ret i32 %ret86}87