1 ; RUN: opt -analyze -scalar-evolution %s -S | FileCheck %s
3 define i16 @test1(i8 %x) {
5 %B = sext i12 %A to i16
6 ; CHECK: zext i8 %x to i16
10 define i8 @test2(i8 %x) {
11 %A = zext i8 %x to i16
13 %C = trunc i16 %B to i8
18 define i8 @test3(i8 %x) {
19 %A = zext i8 %x to i16
21 %C = trunc i16 %B to i8