|
150
|
1 ; RUN: opt < %s -codegenprepare -S -mtriple=x86_64-unknown-unknown | FileCheck %s
|
|
|
2 target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
|
|
|
3 target triple = "x86_64-apple-macosx10.13.0"
|
|
|
4
|
|
|
5 declare void @bar(i64)
|
|
|
6
|
|
|
7 @b = global i16 0, align 2
|
|
|
8
|
|
|
9 ; This test case is extracted from PR38125.
|
|
|
10 ; %or is reachable by both a sext and zext that are going to be promoted.
|
|
|
11 ; It ensures correct operation on PromotedInsts.
|
|
|
12
|
|
|
13 ; CHECK: %promoted = trunc i32 %or to i16
|
|
|
14 ; CHECK-NEXT: %c = sext i16 %promoted to i64
|
|
|
15 define i32 @foo(i16 %kkk) {
|
|
|
16 entry:
|
|
252
|
17 %t4 = load i16, ptr @b, align 2
|
|
150
|
18 %conv4 = zext i16 %t4 to i32
|
|
|
19 %or = or i16 %kkk, %t4
|
|
|
20 %c = sext i16 %or to i64
|
|
|
21 call void @bar(i64 %c)
|
|
|
22 %t5 = and i16 %or, 5
|
|
|
23 %z = zext i16 %t5 to i32
|
|
|
24 ret i32 %z
|
|
|
25 }
|
