Compiler Explorer

Source code

; ModuleID = '<source>'
source_filename = "<source>"
target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128"
target triple = "aarch64-unknown-linux-gnu"

; Function Attrs: mustprogress uwtable vscale_range(1,16)
define dso_local noundef i32 @_Z4funciiii(i32 noundef %x, i32 noundef %a, i32 noundef %b, i32 noundef %c) local_unnamed_addr #0 {
entry:
  %call = tail call noundef ptr @_Z10createTypei(i32 noundef %c)
  %rem = srem i32 %x, 1000
  %cmp = icmp eq i32 %rem, 0
  br i1 %cmp, label %if.then, label %if.end

if.then:                                          ; preds = %entry
  %vtable = load ptr, ptr %call, align 8, !tbaa !7
  %vfn = getelementptr inbounds ptr, ptr %vtable, i64 1
  %0 = load ptr, ptr %vfn, align 8
  %call1 = tail call noundef i32 %0(ptr noundef nonnull align 8 dereferenceable(8) %call, i32 noundef %a, i32 noundef %b)
  br label %cleanup

if.end:                                           ; preds = %entry
  %vtable2 = load ptr, ptr %call, align 8, !tbaa !7
  %vfn3 = getelementptr inbounds ptr, ptr %vtable2, i64 2
  %1 = load ptr, ptr %vfn3, align 8
  %call4 = tail call noundef i32 %1(ptr noundef nonnull align 8 dereferenceable(8) %call, i32 noundef %a, i32 noundef %b)
  br label %cleanup

cleanup:                                          ; preds = %if.end, %if.then
  %retval.0 = phi i32 [ %call1, %if.then ], [ %call4, %if.end ]
  ret i32 %retval.0
}

declare noundef ptr @_Z10createTypei(i32 noundef) local_unnamed_addr #1

attributes #0 = { mustprogress uwtable vscale_range(1,16) "frame-pointer"="non-leaf" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="generic" "target-features"="+aes,+bf16,+brbe,+crc,+crypto,+dotprod,+f32mm,+f64mm,+fp-armv8,+fp16fml,+fullfp16,+hbc,+i8mm,+ls64,+lse,+mops,+mte,+neon,+outline-atomics,+rand,+ras,+rcpc,+rdm,+sha2,+sha3,+sm4,+sme,+sme-f64f64,+sme-i16i64,+sme2,+spe,+sve,+sve2,+sve2-aes,+sve2-bitperm,+sve2-sha3,+sve2-sm4,+tme,+v8.1a,+v8.2a,+v8.3a,+v8.4a,+v8.5a,+v8.6a,+v8.7a,+v8.8a,+v8a,-fmv" }
attributes #1 = { "frame-pointer"="non-leaf" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="generic" "target-features"="+aes,+bf16,+brbe,+crc,+crypto,+dotprod,+f32mm,+f64mm,+fp-armv8,+fp16fml,+fullfp16,+hbc,+i8mm,+ls64,+lse,+mops,+mte,+neon,+outline-atomics,+rand,+ras,+rcpc,+rdm,+sha2,+sha3,+sm4,+sme,+sme-f64f64,+sme-i16i64,+sme2,+spe,+sve,+sve2,+sve2-aes,+sve2-bitperm,+sve2-sha3,+sve2-sm4,+tme,+v8.1a,+v8.2a,+v8.3a,+v8.4a,+v8.5a,+v8.6a,+v8.7a,+v8.8a,+v8a,-fmv" }

!llvm.linker.options = !{}
!llvm.module.flags = !{!0, !1, !2, !3, !4, !5}
!llvm.ident = !{!6}

!0 = !{i32 7, !"Dwarf Version", i32 4}
!1 = !{i32 1, !"wchar_size", i32 4}
!2 = !{i32 8, !"PIC Level", i32 2}
!3 = !{i32 7, !"PIE Level", i32 2}
!4 = !{i32 7, !"uwtable", i32 2}
!5 = !{i32 7, !"frame-pointer", i32 1}
!6 = !{!"clang version 17.0.0 (https://github.com/llvm/llvm-project.git 43c307fd690ffa97877f371ff18530fcd0bddd82)"}
!7 = !{!8, !8, i64 0}
!8 = !{!"vtable pointer", !9, i64 0}
!9 = !{!"Simple C++ TBAA"}