73 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; Test that the isascii library call simplifier works correctly even for3; targets with 16-bit int.4;5; RUN: opt < %s -mtriple=avr-freebsd -passes=instcombine -S | FileCheck %s --check-prefix=AVR6; RUN: opt < %s -mtriple=msp430-linux -passes=instcombine -S | FileCheck %s --check-prefix=MSP4307; REQUIRES: avr-registered-target,msp430-registered-target8 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:%.*]], 12825; AVR-NEXT: [[IC:%.*]] = zext i1 [[ISASCII]] to i1626; AVR-NEXT: call addrspace(1) void @sink(i16 [[IC]])27; AVR-NEXT: ret void28;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:%.*]], 12839; MSP430-NEXT: [[IC:%.*]] = zext i1 [[ISASCII]] to i1640; MSP430-NEXT: call void @sink(i16 [[IC]])41; MSP430-NEXT: ret void42;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 void72}73