64 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -passes=ipsccp -S < %s | FileCheck %s3;4; #include <pthread.h>5;6; ptr GlobalVPtr;7;8; static ptr foo(ptr arg) { return arg; }9; static ptr bar(ptr arg) { return arg; }10;11; int main() {12; pthread_t thread;13; pthread_create(&thread, NULL, foo, NULL);14; pthread_create(&thread, NULL, bar, &GlobalVPtr);15; return 0;16; }17;18; Verify the constant values NULL and &GlobalVPtr are propagated into foo and19; bar, respectively.20;21target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"22 23%union.pthread_attr_t = type { i64, [48 x i8] }24 25@GlobalVPtr = common dso_local global ptr null, align 826 27define dso_local i32 @main() {28; CHECK-LABEL: @main(29; CHECK-NEXT: entry:30; CHECK-NEXT: [[THREAD:%.*]] = alloca i64, align 831; CHECK-NEXT: [[CALL:%.*]] = call i32 @pthread_create(ptr nonnull [[THREAD]], ptr null, ptr nonnull @foo, ptr null)32; CHECK-NEXT: [[CALL1:%.*]] = call i32 @pthread_create(ptr nonnull [[THREAD]], ptr null, ptr nonnull @bar, ptr @GlobalVPtr)33; CHECK-NEXT: ret i32 034;35entry:36 %thread = alloca i64, align 837 %call = call i32 @pthread_create(ptr nonnull %thread, ptr null, ptr nonnull @foo, ptr null)38 %call1 = call i32 @pthread_create(ptr nonnull %thread, ptr null, ptr nonnull @bar, ptr @GlobalVPtr)39 ret i32 040}41 42declare !callback !0 dso_local i32 @pthread_create(ptr, ptr, ptr, ptr)43 44define internal ptr @foo(ptr %arg) {45; CHECK-LABEL: @foo(46; CHECK-NEXT: entry:47; CHECK-NEXT: ret ptr [[ARG:%.*]]48;49entry:50 ret ptr %arg51}52 53define internal ptr @bar(ptr %arg) {54; CHECK-LABEL: @bar(55; CHECK-NEXT: entry:56; CHECK-NEXT: ret ptr [[ARG:%.*]]57;58entry:59 ret ptr %arg60}61 62!1 = !{i64 2, i64 3, i1 false}63!0 = !{!1}64