67 lines
2.6 KiB
LLVM
67 lines
2.6 KiB
LLVM
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
|
;
|
|
; RUN: opt < %s -mtriple=avr-freebsd -passes=instcombine -S | FileCheck %s
|
|
; RUN: opt < %s -mtriple=msp430-linux -passes=instcombine -S | FileCheck %s
|
|
;
|
|
; Verify that the puts to putchar transformation works correctly even for
|
|
; targets with 16-bit int.
|
|
|
|
declare i16 @putchar(i16)
|
|
declare i16 @puts(ptr)
|
|
|
|
@s1 = constant [2 x i8] c"\01\00"
|
|
@s7f = constant [2 x i8] c"\7f\00"
|
|
@s80 = constant [2 x i8] c"\80\00"
|
|
@sff = constant [2 x i8] c"\ff\00"
|
|
|
|
@pcnt_c = constant [3 x i8] c"%c\00"
|
|
@pcnt_s = constant [3 x i8] c"%s\00"
|
|
|
|
declare i16 @printf(ptr, ...)
|
|
|
|
; Verfify that the three printf to putchar transformations all result
|
|
; in the same output for calls with equivalent arguments.
|
|
|
|
define void @xform_printf(i8 %c8, i16 %c16) {
|
|
; CHECK-LABEL: @xform_printf(
|
|
; CHECK-NEXT: [[PUTCHAR:%.*]] = call i16 @putchar(i16 1)
|
|
; CHECK-NEXT: [[PUTCHAR1:%.*]] = call i16 @putchar(i16 1)
|
|
; CHECK-NEXT: [[PUTCHAR2:%.*]] = call i16 @putchar(i16 1)
|
|
; CHECK-NEXT: [[PUTCHAR3:%.*]] = call i16 @putchar(i16 127)
|
|
; CHECK-NEXT: [[PUTCHAR4:%.*]] = call i16 @putchar(i16 127)
|
|
; CHECK-NEXT: [[PUTCHAR5:%.*]] = call i16 @putchar(i16 127)
|
|
; CHECK-NEXT: [[PUTCHAR6:%.*]] = call i16 @putchar(i16 128)
|
|
; CHECK-NEXT: [[PUTCHAR7:%.*]] = call i16 @putchar(i16 128)
|
|
; CHECK-NEXT: [[PUTCHAR8:%.*]] = call i16 @putchar(i16 128)
|
|
; CHECK-NEXT: [[PUTCHAR9:%.*]] = call i16 @putchar(i16 255)
|
|
; CHECK-NEXT: [[PUTCHAR10:%.*]] = call i16 @putchar(i16 255)
|
|
; CHECK-NEXT: [[PUTCHAR11:%.*]] = call i16 @putchar(i16 255)
|
|
; CHECK-NEXT: [[TMP1:%.*]] = zext i8 [[C8:%.*]] to i16
|
|
; CHECK-NEXT: [[PUTCHAR12:%.*]] = call i16 @putchar(i16 [[TMP1]])
|
|
; CHECK-NEXT: [[PUTCHAR13:%.*]] = call i16 @putchar(i16 [[C16:%.*]])
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
|
|
call i16 (ptr, ...) @printf(ptr @s1)
|
|
call i16 (ptr, ...) @printf(ptr @pcnt_c, i16 1)
|
|
call i16 (ptr, ...) @printf(ptr @pcnt_s, ptr @s1)
|
|
|
|
call i16 (ptr, ...) @printf(ptr @s7f)
|
|
call i16 (ptr, ...) @printf(ptr @pcnt_c, i16 127)
|
|
call i16 (ptr, ...) @printf(ptr @pcnt_s, ptr @s7f)
|
|
|
|
call i16 (ptr, ...) @printf(ptr @s80)
|
|
call i16 (ptr, ...) @printf(ptr @pcnt_c, i16 128)
|
|
call i16 (ptr, ...) @printf(ptr @pcnt_s, ptr @s80)
|
|
|
|
call i16 (ptr, ...) @printf(ptr @sff)
|
|
call i16 (ptr, ...) @printf(ptr @pcnt_c, i16 255)
|
|
call i16 (ptr, ...) @printf(ptr @pcnt_s, ptr @sff)
|
|
|
|
; The i8 argument to printf can be either zero-extended or sign-extended
|
|
; when passed to putchar which then converts it to unsigned char.
|
|
call i16 (ptr, ...) @printf(ptr @pcnt_c, i8 %c8)
|
|
call i16 (ptr, ...) @printf(ptr @pcnt_c, i16 %c16)
|
|
ret void
|
|
}
|