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