llvm/test/Transforms/InstCombine/modular-format.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; Test that the modular format string library call simplifier works correctly.
;
; RUN: opt < %s -passes=instcombine -S | FileCheck %s

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"

@.str.int = constant [3 x i8] c"%d\00"
@.str.float = constant [3 x i8] c"%f\00"
@.str.multi = constant [6 x i8] c"%f %d\00"
@.str.multifp = constant [6 x i8] c"%f %f\00"
@.str.noargs = constant [1 x i8] c"\00"

; Basic Transformation
define void @test_basic(i32 %arg) {
; CHECK-LABEL: @test_basic(
; CHECK-NEXT:    call void (ptr, ...) @basic_mod(ptr nonnull @.str.int, i32 [[ARG:%.*]])
; CHECK-NEXT:    ret void
;
  call void (ptr, ...) @basic(ptr @.str.int, i32 %arg)
  ret void
}

declare void @basic(ptr, ...) "modular-format"="printf,1,2,basic_mod,basic_impl" 
; "float" Aspect - Present
define void @test_float_present(double %arg) {
; CHECK-LABEL: @test_float_present(
; CHECK-NEXT:    call void (ptr, ...) @float_present_mod(ptr nonnull @.str.float, double [[ARG:%.*]])
; CHECK-NEXT:    call void @llvm.reloc.none(ptr nonnull @basic_impl_float)
; CHECK-NEXT:    ret void
;
  call void (ptr, ...) @float_present(ptr @.str.float, double %arg)
  ret void
}

declare void @float_present(ptr, ...) #0

; Unknown Aspects
define void @test_unknown_aspects(i32 %arg) {
; CHECK-LABEL: @test_unknown_aspects(
; CHECK-NEXT:    call void (ptr, ...) @unknown_aspects_mod(ptr nonnull @.str.int, i32 [[ARG:%.*]])
; CHECK-NEXT:    call void @llvm.reloc.none(ptr nonnull @basic_impl_unknown1)
; CHECK-NEXT:    call void @llvm.reloc.none(ptr nonnull @basic_impl_unknown2)
; CHECK-NEXT:    ret void
;
  call void (ptr, ...) @unknown_aspects(ptr @.str.int, i32 %arg)
  ret void
}

declare void @unknown_aspects(ptr, ...) "modular-format"="printf,1,2,unknown_aspects_mod,basic_impl,unknown1,unknown2"

; Multiple Aspects
define void @test_multiple_aspects(double %arg1, i32 %arg2) {
; CHECK-LABEL: @test_multiple_aspects(
; CHECK-NEXT:    call void (ptr, ...) @multiple_aspects_mod(ptr nonnull @.str.multi, double [[ARG1:%.*]], i32 [[ARG2:%.*]])
; CHECK-NEXT:    call void @llvm.reloc.none(ptr nonnull @basic_impl_float)
; CHECK-NEXT:    call void @llvm.reloc.none(ptr nonnull @basic_impl_unknown)
; CHECK-NEXT:    ret void
;
  call void (ptr, ...) @multiple_aspects(ptr @.str.multi, double %arg1, i32 %arg2)
  ret void
}

declare void @multiple_aspects(ptr, ...) "modular-format"="printf,1,2,multiple_aspects_mod,basic_impl,float,unknown"

; Multiple Floating-Point Arguments
define void @test_multiple_fp_args(double %arg1, float %arg2) {
; CHECK-LABEL: @test_multiple_fp_args(
; CHECK-NEXT:    call void (ptr, ...) @float_present_mod(ptr nonnull @.str.multifp, double [[ARG1:%.*]], float [[ARG2:%.*]])
; CHECK-NEXT:    call void @llvm.reloc.none(ptr nonnull @basic_impl_float)
; CHECK-NEXT:    ret void
;
  call void (ptr, ...) @multiple_fp_args(ptr @.str.multifp, double %arg1, float %arg2)
  ret void
}

declare void @multiple_fp_args(ptr, ...) #0

; No Arguments to Check
define void @test_no_args_to_check() {
; CHECK-LABEL: @test_no_args_to_check(
; CHECK-NEXT:    call void (ptr, ...) @float_present_mod(ptr nonnull @.str.noargs)
; CHECK-NEXT:    ret void
;
  call void (ptr, ...) @no_args_to_check(ptr @.str.noargs)
  ret void
}

declare void @no_args_to_check(ptr, ...) #0

; First argument index != 2
define void @test_first_arg_idx(i32 %ignored, double %arg) {
; CHECK-LABEL: @test_first_arg_idx(
; CHECK-NEXT:    call void (i32, ptr, ...) @first_arg_idx_mod(i32 [[IGNORED:%.*]], ptr nonnull @.str.float, double [[ARG:%.*]])
; CHECK-NEXT:    call void @llvm.reloc.none(ptr nonnull @basic_impl_float)
; CHECK-NEXT:    ret void
;
  call void (i32, ptr, ...) @first_arg_idx(i32 %ignored, ptr @.str.float, double %arg)
  ret void
}

declare void @first_arg_idx(i32, ptr, ...) "modular-format"="printf,2,3,first_arg_idx_mod,basic_impl,float"

attributes #0 = { "modular-format"="printf,1,2,float_present_mod,basic_impl,float" }