---
source: hugr-llvm/src/extension/logic.rs
expression: mod_str
---
; ModuleID = 'test_context'
source_filename = "test_context"
define internal i1 @_hl.main.1(i1 %0, i1 %1) !dbg !3 {
alloca_block:
%"0" = alloca i1, align 1
%"2_0" = alloca i1, align 1
%"2_1" = alloca i1, align 1
%"4_0" = alloca i1, align 1
br label %entry_block
entry_block: ; preds = %alloca_block
store i1 %0, ptr %"2_0", align 1
store i1 %1, ptr %"2_1", align 1
%"2_01" = load i1, ptr %"2_0", align 1
%"2_12" = load i1, ptr %"2_1", align 1
%2 = and i1 %"2_01", %"2_12", !dbg !8
%3 = select i1 %2, i1 true, i1 false, !dbg !8
store i1 %3, ptr %"4_0", align 1, !dbg !8
%"4_03" = load i1, ptr %"4_0", align 1
store i1 %"4_03", ptr %"0", align 1
%"04" = load i1, ptr %"0", align 1
ret i1 %"04"
}
!llvm.module.flags = !{!0}
!llvm.dbg.cu = !{!1}
!0 = !{i32 2, !"Debug Info Version", i32 3}
!1 = distinct !DICompileUnit(language: DW_LANG_Python, file: !2, producer: "hugr_llvm_test", isOptimized: false, runtimeVersion: 0, emissionKind: FullDebug)
!2 = !DIFile(filename: "/cmJrSnVYeXFf/zCkHdtWCCnkJhPKiWSKICgZuRNRvR/mbrfVq.gpy.py", directory: "/lPNzlV/ClAphFG/yrhvZs/eDgUn/eIVwAutKJHaZEPSZwPXPeycUvnujGxZ")
!3 = distinct !DISubprogram(name: "_hl.main.1", linkageName: "_hl.main.1", scope: null, file: !4, line: 25254, type: !5, scopeLine: 25255, spFlags: DISPFlagLocalToUnit | DISPFlagDefinition, unit: !1)
!4 = !DIFile(filename: "/cmJrSnVYeXFf/zCkHdtWCCnkJhPKiWSKICgZuRNRvR/mbrfVq.gpy.py", directory: "")
!5 = !DISubroutineType(types: !6)
!6 = !{!7, !7, !7}
!7 = !DIBasicType(name: "i1", size: 1, encoding: DW_ATE_unsigned)
!8 = !DILocation(line: 27062, column: 402, scope: !3)