llvm/test/Transforms/FunctionSpecialization/function-specialization-constant-expression3.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -passes="ipsccp<func-spec>" -force-specialization -S < %s | FileCheck %s
   3
   4 define i32 @main() {
   5 ; CHECK-LABEL: @main(
   6 ; CHECK-NEXT:  bb:
   7 ; CHECK-NEXT:    tail call void @wombat.specialized.1(ptr undef, i64 undef, i64 undef, ptr @quux)
   8 ; CHECK-NEXT:    tail call void @wombat.specialized.2(ptr undef, i64 undef, i64 undef, ptr @eggs)
   9 ; CHECK-NEXT:    ret i32 undef
  10 ;
  11 bb:
  12   tail call void @wombat(ptr undef, i64 undef, i64 undef, ptr @quux)
  13   tail call void @wombat(ptr undef, i64 undef, i64 undef, ptr @eggs)
  14   ret i32 undef
  15 }
  16
  17 declare i32 @quux()
  18 declare i32 @eggs()
  19
  20 define internal void @wombat(ptr %arg, i64 %arg1, i64 %arg2, ptr %arg3) {
  21 bb4:
  22   %tmp = tail call i32 %arg3(ptr undef, ptr undef)
  23   ret void
  24 }