1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt -passes=ipsccp -S < %s | FileCheck %s 3; 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 and 19; 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 8 26 27define dso_local i32 @main() { 28; CHECK-LABEL: @main( 29; CHECK-NEXT: entry: 30; CHECK-NEXT: [[THREAD:%.*]] = alloca i64, align 8 31; 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 0 34; 35entry: 36 %thread = alloca i64, align 8 37 %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 0 40} 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 %arg 51} 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 %arg 60} 61 62!1 = !{i64 2, i64 3, i1 false} 63!0 = !{!1} 64