blob: 5f672debd919b8081842ed13142fcf6b1cbc5e8a [file] [log] [blame]
Matt Arsenault5bcefab2013-11-10 01:44:37 +00001; RUN: opt -mergefunc -S < %s | FileCheck %s
2target datalayout = "e-p:32:32:32-p1:16:16:16-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-n8:16:32-S128"
3
4%.qux.2496 = type { i32, %.qux.2497 }
5%.qux.2497 = type { i8, i32 }
6%.qux.2585 = type { i32, i32, i8* }
7
8@g2 = external addrspace(1) constant [9 x i8], align 1
Duncan P. N. Exon Smithb80de102014-05-07 22:57:20 +00009@g3 = internal unnamed_addr constant [1 x i8*] [i8* bitcast (i8* (%.qux.2585 addrspace(1)*)* @func35 to i8*)]
Matt Arsenault5bcefab2013-11-10 01:44:37 +000010
11
Duncan P. N. Exon Smithb80de102014-05-07 22:57:20 +000012define internal i32 @func10(%.qux.2496 addrspace(1)* nocapture %this) align 2 {
Matt Arsenault5bcefab2013-11-10 01:44:37 +000013bb:
David Blaikie79e6c742015-02-27 19:29:02 +000014 %tmp = getelementptr inbounds %.qux.2496, %.qux.2496 addrspace(1)* %this, i32 0, i32 1, i32 1
David Blaikiea79ac142015-02-27 21:17:42 +000015 %tmp1 = load i32, i32 addrspace(1)* %tmp, align 4
Matt Arsenault5bcefab2013-11-10 01:44:37 +000016 ret i32 %tmp1
17}
18
19; Check for pointer bitwidth equal assertion failure
Duncan P. N. Exon Smithb80de102014-05-07 22:57:20 +000020define internal i8* @func35(%.qux.2585 addrspace(1)* nocapture %this) align 2 {
Matt Arsenault5bcefab2013-11-10 01:44:37 +000021bb:
22; CHECK-LABEL: @func35(
23; CHECK: %[[V2:.+]] = bitcast %.qux.2585 addrspace(1)* %{{.*}} to %.qux.2496 addrspace(1)*
24; CHECK: %[[V3:.+]] = tail call i32 @func10(%.qux.2496 addrspace(1)* %[[V2]])
25; CHECK: %{{.*}} = inttoptr i32 %[[V3]] to i8*
David Blaikie79e6c742015-02-27 19:29:02 +000026 %tmp = getelementptr inbounds %.qux.2585, %.qux.2585 addrspace(1)* %this, i32 0, i32 2
David Blaikiea79ac142015-02-27 21:17:42 +000027 %tmp1 = load i8*, i8* addrspace(1)* %tmp, align 4
Matt Arsenault5bcefab2013-11-10 01:44:37 +000028 ret i8* %tmp1
29}