llvm/test/Transforms/Scalarizer/global-bug.ll

   1 ; RUN: opt < %s -passes='function(scalarizer)' -S | FileCheck %s
   2
   3 @a = dso_local global i16 0, align 1
   4 @b = dso_local local_unnamed_addr global i16 0, align 1
   5
   6 ; The scalarizer used to take the name of the extractelement instruction
   7 ; ("extract") and put that on the extracted value, which in this test case is
   8 ; the global variable @a. That was wrong, as we must not change the name of
   9 ; the global variable. So make sure we find "@a" in the ptrtoint.
  10 define dso_local void @test1() local_unnamed_addr {
  11 ; CHECK-LABEL: @test1(
  12 ; CHECK-NEXT:  entry:
  13 ; CHECK-NEXT:    [[T0:%.*]] = ptrtoint i16* @a to i16
  14 ; CHECK-NEXT:    store i16 [[T0]], i16* @b, align 1
  15 ; CHECK-NEXT:    ret void
  16 ;
  17 entry:
  18   %extract = extractelement <4 x i16*> <i16* @a, i16* @a, i16* @a, i16* @a>, i32 1
  19   %t0 = ptrtoint i16* %extract to i16
  20   store i16 %t0, i16* @b, align 1
  21   ret void
  22 }