| ; RUN: opt -globalopt -S -o - < %s | FileCheck %s |
| |
| @glbl = internal global i8* null |
| |
| define void @test1a() { |
| ; CHECK-LABEL: @test1a( |
| ; CHECK-NOT: store |
| ; CHECK-NEXT: ret void |
| store i8* null, i8** @glbl |
| ret void |
| } |
| |
| define void @test1b(i8* %p) { |
| ; CHECK-LABEL: @test1b( |
| ; CHECK-NEXT: store |
| ; CHECK-NEXT: ret void |
| store i8* %p, i8** @glbl |
| ret void |
| } |
| |
| define void @test2() { |
| ; CHECK-LABEL: @test2( |
| ; CHECK: alloca i8 |
| %txt = alloca i8 |
| call void @foo2(i8* %txt) |
| %call2 = call i8* @strdup(i8* %txt) |
| store i8* %call2, i8** @glbl |
| ret void |
| } |
| declare i8* @strdup(i8*) |
| declare void @foo2(i8*) |
| |
| define void @test3() uwtable personality i32 (i32, i64, i8*, i8*)* @__gxx_personality_v0 { |
| ; CHECK-LABEL: @test3( |
| ; CHECK-NOT: bb1: |
| ; CHECK-NOT: bb2: |
| ; CHECK: invoke |
| %ptr = invoke i8* @_Znwm(i64 1) |
| to label %bb1 unwind label %bb2 |
| bb1: |
| store i8* %ptr, i8** @glbl |
| unreachable |
| bb2: |
| %tmp1 = landingpad { i8*, i32 } |
| cleanup |
| resume { i8*, i32 } %tmp1 |
| } |
| declare i32 @__gxx_personality_v0(i32, i64, i8*, i8*) |
| declare i8* @_Znwm(i64) |
