xref: /llvm-project/llvm/test/Transforms/Scalarizer/global-bug.ll (revision 54608b40eb5032e5b476f4eef2c5dc79291d8574)
1aaf1630aSserge-sans-paille; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2fce44ff5SBjorn Pettersson; RUN: opt < %s -passes='function(scalarizer)' -S | FileCheck %s
3fce44ff5SBjorn Pettersson
4fce44ff5SBjorn Pettersson@a = dso_local global i16 0, align 1
5fce44ff5SBjorn Pettersson@b = dso_local local_unnamed_addr global i16 0, align 1
6fce44ff5SBjorn Pettersson
7fce44ff5SBjorn Pettersson; The scalarizer used to take the name of the extractelement instruction
8fce44ff5SBjorn Pettersson; ("extract") and put that on the extracted value, which in this test case is
9fce44ff5SBjorn Pettersson; the global variable @a. That was wrong, as we must not change the name of
10fce44ff5SBjorn Pettersson; the global variable. So make sure we find "@a" in the ptrtoint.
11fce44ff5SBjorn Petterssondefine dso_local void @test1() local_unnamed_addr {
12fce44ff5SBjorn Pettersson; CHECK-LABEL: @test1(
13fce44ff5SBjorn Pettersson; CHECK-NEXT:  entry:
14*54608b40SBjorn Pettersson; CHECK-NEXT:    [[T0:%.*]] = ptrtoint ptr @a to i16
15*54608b40SBjorn Pettersson; CHECK-NEXT:    store i16 [[T0]], ptr @b, align 1
16fce44ff5SBjorn Pettersson; CHECK-NEXT:    ret void
17fce44ff5SBjorn Pettersson;
18fce44ff5SBjorn Petterssonentry:
19*54608b40SBjorn Pettersson  %extract = extractelement <4 x ptr> <ptr @a, ptr @a, ptr @a, ptr @a>, i32 1
20*54608b40SBjorn Pettersson  %t0 = ptrtoint ptr %extract to i16
21*54608b40SBjorn Pettersson  store i16 %t0, ptr @b, align 1
22fce44ff5SBjorn Pettersson  ret void
23fce44ff5SBjorn Pettersson}
24