1 ; Test that the exp2 library call simplifier works correctly.
3 ; RUN: opt < %s -instcombine -S | FileCheck %s
4 ; RUN: opt < %s -instcombine -S -mtriple=i386-pc-win32 | FileCheck %s -check-prefix=CHECK-WIN
6 target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128"
8 declare double @exp2(double)
9 declare float @exp2f(float)
11 ; Check exp2(sitofp(x)) -> ldexp(1.0, sext(x)).
13 define double @test_simplify1(i32 %x) {
14 ; CHECK-LABEL: @test_simplify1(
15 %conv = sitofp i32 %x to double
16 %ret = call double @exp2(double %conv)
17 ; CHECK: call double @ldexp
21 define double @test_simplify2(i16 signext %x) {
22 ; CHECK-LABEL: @test_simplify2(
23 %conv = sitofp i16 %x to double
24 %ret = call double @exp2(double %conv)
25 ; CHECK: call double @ldexp
29 define double @test_simplify3(i8 signext %x) {
30 ; CHECK-LABEL: @test_simplify3(
31 %conv = sitofp i8 %x to double
32 %ret = call double @exp2(double %conv)
33 ; CHECK: call double @ldexp
37 define float @test_simplify4(i32 %x) {
38 ; CHECK-LABEL: @test_simplify4(
39 %conv = sitofp i32 %x to float
40 %ret = call float @exp2f(float %conv)
41 ; CHECK: call float @ldexpf
45 ; Check exp2(uitofp(x)) -> ldexp(1.0, zext(x)).
47 define double @test_no_simplify1(i32 %x) {
48 ; CHECK-LABEL: @test_no_simplify1(
49 %conv = uitofp i32 %x to double
50 %ret = call double @exp2(double %conv)
51 ; CHECK: call double @exp2
55 define double @test_simplify6(i16 zeroext %x) {
56 ; CHECK-LABEL: @test_simplify6(
57 %conv = uitofp i16 %x to double
58 %ret = call double @exp2(double %conv)
59 ; CHECK: call double @ldexp
63 define double @test_simplify7(i8 zeroext %x) {
64 ; CHECK-LABEL: @test_simplify7(
65 %conv = uitofp i8 %x to double
66 %ret = call double @exp2(double %conv)
67 ; CHECK: call double @ldexp
71 define float @test_simplify8(i8 zeroext %x) {
72 ; CHECK-LABEL: @test_simplify8(
73 %conv = uitofp i8 %x to float
74 %ret = call float @exp2f(float %conv)
75 ; CHECK: call float @ldexpf
79 declare double @llvm.exp2.f64(double)
80 declare float @llvm.exp2.f32(float)
82 define double @test_simplify9(i8 zeroext %x) {
83 ; CHECK-LABEL: @test_simplify9(
84 ; CHECK-WIN-LABEL: @test_simplify9(
85 %conv = uitofp i8 %x to double
86 %ret = call double @llvm.exp2.f64(double %conv)
87 ; CHECK: call double @ldexp
88 ; CHECK-WIN: call double @ldexp
92 define float @test_simplify10(i8 zeroext %x) {
93 ; CHECK-LABEL: @test_simplify10(
94 ; CHECK-WIN-LABEL: @test_simplify10(
95 %conv = uitofp i8 %x to float
96 %ret = call float @llvm.exp2.f32(float %conv)
97 ; CHECK: call float @ldexpf
98 ; CHECK-WIN-NOT: call float @ldexpf