| ; RUN: opt -constmerge %s -S -o - | FileCheck %s | |
| ; Test which corresponding x and y are merged and that unnamed_addr | |
| ; is correctly set. | |
| declare void @zed(%struct.foobar*, %struct.foobar*) | |
| %struct.foobar = type { i32 } | |
| @test1.x = internal constant %struct.foobar { i32 1 } | |
| @test1.y = constant %struct.foobar { i32 1 } | |
| @test2.x = internal constant %struct.foobar { i32 2 } | |
| @test2.y = unnamed_addr constant %struct.foobar { i32 2 } | |
| @test3.x = internal unnamed_addr constant %struct.foobar { i32 3 } | |
| @test3.y = constant %struct.foobar { i32 3 } | |
| @test4.x = internal unnamed_addr constant %struct.foobar { i32 4 } | |
| @test4.y = unnamed_addr constant %struct.foobar { i32 4 } | |
| ; CHECK: %struct.foobar = type { i32 } | |
| ; CHECK-NOT: @ | |
| ; CHECK: @test1.x = internal constant %struct.foobar { i32 1 } | |
| ; CHECK-NEXT: @test1.y = constant %struct.foobar { i32 1 } | |
| ; CHECK-NEXT: @test2.y = constant %struct.foobar { i32 2 } | |
| ; CHECK-NEXT: @test3.y = constant %struct.foobar { i32 3 } | |
| ; CHECK-NEXT: @test4.y = unnamed_addr constant %struct.foobar { i32 4 } | |
| ; CHECK-NOT: @ | |
| ; CHECK: declare void @zed(%struct.foobar*, %struct.foobar*) | |
| define i32 @main() { | |
| entry: | |
| call void @zed(%struct.foobar* @test1.x, %struct.foobar* @test1.y) | |
| call void @zed(%struct.foobar* @test2.x, %struct.foobar* @test2.y) | |
| call void @zed(%struct.foobar* @test3.x, %struct.foobar* @test3.y) | |
| call void @zed(%struct.foobar* @test4.x, %struct.foobar* @test4.y) | |
| ret i32 0 | |
| } | |