bugpoint-reduced-simplified.ll

; ModuleID = 'bugpoint-reduced-simplified.bc'
source_filename = "bugpoint-output-679c617.bc"
target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n32-S64"
target triple = "thumbv7m-none--eabi"

define void @"_ZN50_$LT$u32$u20$as$u20$core..num..bignum..FullOps$GT$12full_mul_add17h71cf046dadd25babE"({ i32, i32 }* noalias nocapture sret dereferenceable(8), i32, i32, i32, i32) unnamed_addr {
entry-block:
  %5 = zext i32 %1 to i64
  %6 = zext i32 %2 to i64
  %7 = mul nuw i64 %6, %5
  %8 = zext i32 %3 to i64
  %9 = add i64 %7, %8
  %10 = zext i32 %4 to i64
  %11 = add i64 %9, %10
  %12 = lshr i64 %11, 32
  %13 = trunc i64 %12 to i32
  %14 = getelementptr inbounds { i32, i32 }, { i32, i32 }* %0, i32 0, i32 0
  store i32 %13, i32* %14, align 4
  ret void
}