xref: /llvm-project/llvm/test/Transforms/InstCombine/isascii-i16.ll (revision 1e029cf53bc9fb1894824363634323f0ed51c5a8)
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2; Test that the isascii library call simplifier works correctly even for
3; targets with 16-bit int.
4;
5; RUN: opt < %s -mtriple=avr-freebsd -passes=instcombine -S | FileCheck %s --check-prefix=AVR
6; RUN: opt < %s -mtriple=msp430-linux -passes=instcombine -S | FileCheck %s --check-prefix=MSP430
7; REQUIRES: avr-registered-target,msp430-registered-target
8
9declare i16 @isascii(i16)
10
11declare void @sink(i16)
12
13
14define void @fold_isascii(i16 %c) {
15; AVR-LABEL: @fold_isascii(
16; AVR-NEXT:    call addrspace(1) void @sink(i16 1)
17; AVR-NEXT:    call addrspace(1) void @sink(i16 1)
18; AVR-NEXT:    call addrspace(1) void @sink(i16 1)
19; AVR-NEXT:    call addrspace(1) void @sink(i16 0)
20; AVR-NEXT:    call addrspace(1) void @sink(i16 0)
21; AVR-NEXT:    call addrspace(1) void @sink(i16 0)
22; AVR-NEXT:    call addrspace(1) void @sink(i16 0)
23; AVR-NEXT:    call addrspace(1) void @sink(i16 0)
24; AVR-NEXT:    [[ISASCII:%.*]] = icmp ult i16 [[C:%.*]], 128
25; AVR-NEXT:    [[IC:%.*]] = zext i1 [[ISASCII]] to i16
26; AVR-NEXT:    call addrspace(1) void @sink(i16 [[IC]])
27; AVR-NEXT:    ret void
28;
29; MSP430-LABEL: @fold_isascii(
30; MSP430-NEXT:    call void @sink(i16 1)
31; MSP430-NEXT:    call void @sink(i16 1)
32; MSP430-NEXT:    call void @sink(i16 1)
33; MSP430-NEXT:    call void @sink(i16 0)
34; MSP430-NEXT:    call void @sink(i16 0)
35; MSP430-NEXT:    call void @sink(i16 0)
36; MSP430-NEXT:    call void @sink(i16 0)
37; MSP430-NEXT:    call void @sink(i16 0)
38; MSP430-NEXT:    [[ISASCII:%.*]] = icmp ult i16 [[C:%.*]], 128
39; MSP430-NEXT:    [[IC:%.*]] = zext i1 [[ISASCII]] to i16
40; MSP430-NEXT:    call void @sink(i16 [[IC]])
41; MSP430-NEXT:    ret void
42;
43  %i0 = call i16 @isascii(i16 0)
44  call void @sink(i16 %i0)
45
46  %i1 = call i16 @isascii(i16 1)
47  call void @sink(i16 %i1)
48
49  %i127 = call i16 @isascii(i16 127)
50  call void @sink(i16 %i127)
51
52  %i128 = call i16 @isascii(i16 128)
53  call void @sink(i16 %i128)
54
55  %i255 = call i16 @isascii(i16 255)
56  call void @sink(i16 %i255)
57
58  %i256 = call i16 @isascii(i16 256)
59  call void @sink(i16 %i256)
60
61  ; Fold isascii(INT_MAX) to 0.  The call is valid with all int values.
62  %imax = call i16 @isascii(i16 32767)
63  call void @sink(i16 %imax)
64
65  %uimax = call i16 @isascii(i16 65535)
66  call void @sink(i16 %uimax)
67
68  %ic = call i16 @isascii(i16 %c)
69  call void @sink(i16 %ic)
70
71  ret void
72}
73