; ModuleID = 'statemate.c'
source_filename = "statemate.c"
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-pc-linux-gnu"
@Bitlist = internal unnamed_addr global [64 x i8] zeroinitializer, align 16
@time = dso_local local_unnamed_addr global i64 0, align 8
@tm_entered_WIEDERHOLSPERRE_FH_TUERMODUL_CTRL = dso_local local_unnamed_addr global i64 0, align 8
@tm_entered_WIEDERHOLSPERRE_FH_TUERMODUL_CTRLexited_BEREIT_FH_TUERMODUL_CTRL = dso_local local_unnamed_addr global i64 0, align 8
@sc_FH_TUERMODUL_CTRL_2375_2 = dso_local local_unnamed_addr global i64 0, align 8
@FH_TUERMODUL__MFHA_copy = dso_local local_unnamed_addr global i8 0, align 1
@sc_FH_TUERMODUL_CTRL_2352_1 = dso_local local_unnamed_addr global i64 0, align 8
@FH_TUERMODUL__MFHZ_copy = dso_local local_unnamed_addr global i8 0, align 1
@sc_FH_TUERMODUL_CTRL_2329_1 = dso_local local_unnamed_addr global i64 0, align 8
@sc_FH_TUERMODUL_CTRL_1781_10 = dso_local local_unnamed_addr global i64 0, align 8
@sc_FH_TUERMODUL_CTRL_1739_10 = dso_local local_unnamed_addr global i64 0, align 8
@BLOCK_ERKENNUNG_CTRL__N = dso_local local_unnamed_addr global i32 0, align 4
@BLOCK_ERKENNUNG_CTRL__N_old = dso_local local_unnamed_addr global i32 0, align 4
@tm_entered_EINSCHALTSTROM_MESSEN_BLOCK_ERKENNUNG_CTRLch_BLOCK_ERKENNUNG_CTRL__N_copy = dso_local local_unnamed_addr global i64 0, align 8
@NICHT_INITIALISIERT_NICHT_INITIALISIERT_next_state = dso_local local_unnamed_addr global i8 0, align 1
@ZENTRAL_KINDERSICHERUNG_CTRL_next_state = dso_local local_unnamed_addr global i8 0, align 1
@MEC_KINDERSICHERUNG_CTRL_next_state = dso_local local_unnamed_addr global i8 0, align 1
@KINDERSICHERUNG_CTRL_KINDERSICHERUNG_CTRL_next_state = dso_local local_unnamed_addr global i8 0, align 1
@B_FH_TUERMODUL_CTRL_next_state = dso_local local_unnamed_addr global i8 0, align 1
@A_FH_TUERMODUL_CTRL_next_state = dso_local local_unnamed_addr global i8 0, align 1
@WIEDERHOLSPERRE_FH_TUERMODUL_CTRL_next_state = dso_local local_unnamed_addr global i8 0, align 1
@INITIALISIERT_FH_TUERMODUL_CTRL_next_state = dso_local local_unnamed_addr global i8 0, align 1
@TIPP_SCHLIESSEN_FH_TUERMODUL_CTRL_next_state = dso_local local_unnamed_addr global i8 0, align 1
@MANUELL_SCHLIESSEN_FH_TUERMODUL_CTRL_next_state = dso_local local_unnamed_addr global i8 0, align 1
@OEFFNEN_FH_TUERMODUL_CTRL_next_state = dso_local local_unnamed_addr global i8 0, align 1
@SCHLIESSEN_FH_TUERMODUL_CTRL_next_state = dso_local local_unnamed_addr global i8 0, align 1
@FH_STEUERUNG_DUMMY_FH_STEUERUNG_DUMMY_next_state = dso_local local_unnamed_addr global i8 0, align 1
@EINKLEMMSCHUTZ_CTRL_EINKLEMMSCHUTZ_CTRL_next_state = dso_local local_unnamed_addr global i8 0, align 1
@BEWEGUNG_BLOCK_ERKENNUNG_CTRL_next_state = dso_local local_unnamed_addr global i8 0, align 1
@BLOCK_ERKENNUNG_CTRL_BLOCK_ERKENNUNG_CTRL_next_state = dso_local local_unnamed_addr global i8 0, align 1
@FH_TUERMODUL__SFHA_ZENTRAL = dso_local local_unnamed_addr global i8 0, align 1
@FH_TUERMODUL__SFHZ_ZENTRAL = dso_local local_unnamed_addr global i8 0, align 1
@stable = dso_local local_unnamed_addr global i8 0, align 1
@FH_TUERMODUL__SFHZ_copy = dso_local local_unnamed_addr global i8 0, align 1
@FH_TUERMODUL__SFHA_copy = dso_local local_unnamed_addr global i8 0, align 1
@FH_TUERMODUL__SFHA_ZENTRAL_old = dso_local local_unnamed_addr global i8 0, align 1
@FH_TUERMODUL__SFHZ_ZENTRAL_old = dso_local local_unnamed_addr global i8 0, align 1
@FH_TUERMODUL__SFHA_MEC = dso_local local_unnamed_addr global i8 0, align 1
@FH_TUERMODUL__SFHZ_MEC = dso_local local_unnamed_addr global i8 0, align 1
@FH_TUERMODUL__SFHA_MEC_old = dso_local local_unnamed_addr global i8 0, align 1
@FH_TUERMODUL__SFHZ_MEC_old = dso_local local_unnamed_addr global i8 0, align 1
@FH_TUERMODUL__KL_50 = dso_local local_unnamed_addr global i8 0, align 1
@FH_TUERMODUL_CTRL__N = dso_local local_unnamed_addr global i32 0, align 4
@FH_TUERMODUL_CTRL__N_old = dso_local local_unnamed_addr global i32 0, align 4
@FH_TUERMODUL__BLOCK = dso_local local_unnamed_addr global i8 0, align 1
@FH_TUERMODUL__BLOCK_old = dso_local local_unnamed_addr global i8 0, align 1
@FH_TUERMODUL__MFHZ = dso_local local_unnamed_addr global i8 0, align 1
@FH_TUERMODUL__SFHZ = dso_local local_unnamed_addr global i8 0, align 1
@FH_TUERMODUL__SFHA = dso_local local_unnamed_addr global i8 0, align 1
@FH_TUERMODUL_CTRL__INREVERS1 = dso_local local_unnamed_addr global i8 0, align 1
@FH_TUERMODUL_CTRL__INREVERS2 = dso_local local_unnamed_addr global i8 0, align 1
@FH_TUERMODUL__MFHA = dso_local local_unnamed_addr global i8 0, align 1
@FH_TUERMODUL__POSITION = dso_local local_unnamed_addr global i32 0, align 4
@FH_TUERMODUL__SFHZ_old = dso_local local_unnamed_addr global i8 0, align 1
@FH_TUERMODUL__SFHA_old = dso_local local_unnamed_addr global i8 0, align 1
@FH_TUERMODUL_CTRL__INREVERS2_copy = dso_local local_unnamed_addr global i8 0, align 1
@FH_TUERMODUL_CTRL__INREVERS1_copy = dso_local local_unnamed_addr global i8 0, align 1
@step = dso_local local_unnamed_addr global i8 0, align 1
@FH_TUERMODUL__EKS_LEISTE_AKTIV = dso_local local_unnamed_addr global i8 0, align 1
@FH_TUERMODUL__EKS_LEISTE_AKTIV_old = dso_local local_unnamed_addr global i8 0, align 1
@FH_TUERMODUL__I_EIN = dso_local local_unnamed_addr global i32 0, align 4
@FH_TUERMODUL__I_EIN_old = dso_local local_unnamed_addr global i32 0, align 4
@FH_TUERMODUL__BLOCK_copy = dso_local local_unnamed_addr global i8 0, align 1
@BLOCK_ERKENNUNG_CTRL__I_EIN_MAX = dso_local local_unnamed_addr global i32 0, align 4
@FH_TUERMODUL__MFHA_old = dso_local local_unnamed_addr global i8 0, align 1
@FH_TUERMODUL__MFHZ_old = dso_local local_unnamed_addr global i8 0, align 1
@FH_DU__MFHZ = dso_local local_unnamed_addr global i8 0, align 1
@FH_DU__MFHZ_old = dso_local local_unnamed_addr global i8 0, align 1
@FH_DU__MFH = dso_local local_unnamed_addr global i32 0, align 4
@FH_DU__MFHA = dso_local local_unnamed_addr global i8 0, align 1
@FH_DU__MFHA_old = dso_local local_unnamed_addr global i8 0, align 1
@FH_DU__S_FH_TMBFZUCAN = dso_local local_unnamed_addr global i8 0, align 1
@FH_DU__S_FH_TMBFZUCAN_old = dso_local local_unnamed_addr global i8 0, align 1
@FH_DU__DOOR_ID = dso_local local_unnamed_addr global i8 0, align 1
@FH_DU__S_FH_FTZU = dso_local local_unnamed_addr global i8 0, align 1
@FH_DU__S_FH_TMBFZUDISC = dso_local local_unnamed_addr global i8 0, align 1
@FH_DU__S_FH_TMBFZUDISC_old = dso_local local_unnamed_addr global i8 0, align 1
@FH_DU__S_FH_TMBFAUFCAN = dso_local local_unnamed_addr global i8 0, align 1
@FH_DU__S_FH_TMBFAUFCAN_old = dso_local local_unnamed_addr global i8 0, align 1
@FH_DU__S_FH_FTAUF = dso_local local_unnamed_addr global i8 0, align 1
@FH_DU__S_FH_TMBFAUFDISC = dso_local local_unnamed_addr global i8 0, align 1
@FH_DU__S_FH_TMBFAUFDISC_old = dso_local local_unnamed_addr global i8 0, align 1
@FH_DU__S_FH_AUFDISC = dso_local local_unnamed_addr global i8 0, align 1
@FH_DU__S_FH_ZUDISC = dso_local local_unnamed_addr global i8 0, align 1
@FH_DU__I_EIN = dso_local local_unnamed_addr global i32 0, align 4
@FH_DU__EKS_LEISTE_AKTIV = dso_local local_unnamed_addr global i8 0, align 1
@FH_DU__POSITION = dso_local local_unnamed_addr global i32 0, align 4
@FH_TUERMODUL__FT = dso_local local_unnamed_addr global i8 0, align 1
@FH_DU__FT = dso_local local_unnamed_addr global i8 0, align 1
@FH_DU__KL_50 = dso_local local_unnamed_addr global i8 0, align 1
@FH_DU__BLOCK = dso_local local_unnamed_addr global i8 0, align 1
@FH_DU__MFH_copy = dso_local local_unnamed_addr global i32 0, align 4
@FH_DU__I_EIN_old = dso_local local_unnamed_addr global i32 0, align 4
@FH_DU__EKS_LEISTE_AKTIV_old = dso_local local_unnamed_addr global i8 0, align 1
@FH_DU__BLOCK_copy = dso_local local_unnamed_addr global i8 0, align 1
@FH_DU__BLOCK_old = dso_local local_unnamed_addr global i8 0, align 1
@FH_DU__MFHZ_copy = dso_local local_unnamed_addr global i8 0, align 1
@FH_DU__MFHA_copy = dso_local local_unnamed_addr global i8 0, align 1
@FH_TUERMODUL_CTRL__N_copy = dso_local local_unnamed_addr global i32 0, align 4
@BLOCK_ERKENNUNG_CTRL__I_EIN_MAX_copy = dso_local local_unnamed_addr global i32 0, align 4
@BLOCK_ERKENNUNG_CTRL__N_copy = dso_local local_unnamed_addr global i32 0, align 4
@FH_TUERMODUL_CTRL__FT = dso_local local_unnamed_addr global i8 0, align 1
@FH_TUERMODUL__COM_OPEN = dso_local local_unnamed_addr global i8 0, align 1
@FH_TUERMODUL__COM_CLOSE = dso_local local_unnamed_addr global i8 0, align 1
@FH_DU__S_FH_TMBFAUFCAN_copy = dso_local local_unnamed_addr global i8 0, align 1
@FH_DU__S_FH_TMBFZUCAN_copy = dso_local local_unnamed_addr global i8 0, align 1
; Function Attrs: mustprogress nofree norecurse nosync nounwind sspstrong uwtable willreturn
define dso_local void @interface() local_unnamed_addr #0 {
%1 = load i8, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 4), align 4, !tbaa !5
%2 = icmp eq i8 %1, 0
br i1 %2, label %5, label %3
3: ; preds = %0
%4 = load i64, i64* @time, align 8, !tbaa !8
store i64 %4, i64* @tm_entered_WIEDERHOLSPERRE_FH_TUERMODUL_CTRL, align 8, !tbaa !8
br label %5
5: ; preds = %3, %0
%6 = load i8, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 6), align 2
%7 = icmp eq i8 %6, 0
%8 = select i1 %2, i1 %7, i1 false
br i1 %8, label %11, label %9
9: ; preds = %5
%10 = load i64, i64* @time, align 8, !tbaa !8
store i64 %10, i64* @tm_entered_WIEDERHOLSPERRE_FH_TUERMODUL_CTRLexited_BEREIT_FH_TUERMODUL_CTRL, align 8, !tbaa !8
br label %11
11: ; preds = %5, %9
%12 = load i64, i64* @sc_FH_TUERMODUL_CTRL_2375_2, align 8, !tbaa !8
%13 = icmp eq i64 %12, 0
%14 = load i64, i64* @time, align 8
%15 = icmp eq i64 %14, %12
%16 = select i1 %13, i1 true, i1 %15
br i1 %16, label %18, label %17
17: ; preds = %11
store i8 0, i8* @FH_TUERMODUL__MFHA_copy, align 1, !tbaa !5
store i64 0, i64* @sc_FH_TUERMODUL_CTRL_2375_2, align 8, !tbaa !8
br label %18
18: ; preds = %17, %11
%19 = load i64, i64* @sc_FH_TUERMODUL_CTRL_2352_1, align 8, !tbaa !8
%20 = icmp eq i64 %19, 0
%21 = icmp eq i64 %14, %19
%22 = select i1 %20, i1 true, i1 %21
br i1 %22, label %24, label %23
23: ; preds = %18
store i8 0, i8* @FH_TUERMODUL__MFHZ_copy, align 1, !tbaa !5
store i64 0, i64* @sc_FH_TUERMODUL_CTRL_2352_1, align 8, !tbaa !8
br label %24
24: ; preds = %23, %18
%25 = load i64, i64* @sc_FH_TUERMODUL_CTRL_2329_1, align 8, !tbaa !8
%26 = icmp eq i64 %25, 0
%27 = icmp eq i64 %14, %25
%28 = select i1 %26, i1 true, i1 %27
br i1 %28, label %30, label %29
29: ; preds = %24
store i8 0, i8* @FH_TUERMODUL__MFHZ_copy, align 1, !tbaa !5
store i64 0, i64* @sc_FH_TUERMODUL_CTRL_2329_1, align 8, !tbaa !8
br label %30
30: ; preds = %29, %24
%31 = load i64, i64* @sc_FH_TUERMODUL_CTRL_1781_10, align 8, !tbaa !8
%32 = icmp eq i64 %31, 0
%33 = icmp eq i64 %14, %31
%34 = select i1 %32, i1 true, i1 %33
br i1 %34, label %36, label %35
35: ; preds = %30
store i64 0, i64* @sc_FH_TUERMODUL_CTRL_1781_10, align 8, !tbaa !8
br label %36
36: ; preds = %35, %30
%37 = load i64, i64* @sc_FH_TUERMODUL_CTRL_1739_10, align 8, !tbaa !8
%38 = icmp eq i64 %37, 0
%39 = icmp eq i64 %14, %37
%40 = select i1 %38, i1 true, i1 %39
br i1 %40, label %42, label %41
41: ; preds = %36
store i64 0, i64* @sc_FH_TUERMODUL_CTRL_1739_10, align 8, !tbaa !8
br label %42
42: ; preds = %41, %36
%43 = load i8, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 0), align 16, !tbaa !5
%44 = icmp eq i8 %43, 0
br i1 %44, label %45, label %49
45: ; preds = %42
%46 = load i32, i32* @BLOCK_ERKENNUNG_CTRL__N, align 4, !tbaa !10
%47 = load i32, i32* @BLOCK_ERKENNUNG_CTRL__N_old, align 4, !tbaa !10
%48 = icmp eq i32 %46, %47
br i1 %48, label %50, label %49
49: ; preds = %45, %42
store i64 %14, i64* @tm_entered_EINSCHALTSTROM_MESSEN_BLOCK_ERKENNUNG_CTRLch_BLOCK_ERKENNUNG_CTRL__N_copy, align 8, !tbaa !8
br label %50
50: ; preds = %49, %45
ret void
}
; Function Attrs: mustprogress nofree norecurse nosync nounwind sspstrong uwtable willreturn writeonly
define dso_local void @init() local_unnamed_addr #1 {
store i64 0, i64* @tm_entered_EINSCHALTSTROM_MESSEN_BLOCK_ERKENNUNG_CTRLch_BLOCK_ERKENNUNG_CTRL__N_copy, align 8, !tbaa !8
store i64 0, i64* @tm_entered_WIEDERHOLSPERRE_FH_TUERMODUL_CTRLexited_BEREIT_FH_TUERMODUL_CTRL, align 8, !tbaa !8
store i64 0, i64* @tm_entered_WIEDERHOLSPERRE_FH_TUERMODUL_CTRL, align 8, !tbaa !8
store i8 0, i8* @NICHT_INITIALISIERT_NICHT_INITIALISIERT_next_state, align 1, !tbaa !5
store i8 0, i8* @ZENTRAL_KINDERSICHERUNG_CTRL_next_state, align 1, !tbaa !5
store i8 0, i8* @MEC_KINDERSICHERUNG_CTRL_next_state, align 1, !tbaa !5
store i8 0, i8* @KINDERSICHERUNG_CTRL_KINDERSICHERUNG_CTRL_next_state, align 1, !tbaa !5
store i8 0, i8* @B_FH_TUERMODUL_CTRL_next_state, align 1, !tbaa !5
store i8 0, i8* @A_FH_TUERMODUL_CTRL_next_state, align 1, !tbaa !5
store i8 0, i8* @WIEDERHOLSPERRE_FH_TUERMODUL_CTRL_next_state, align 1, !tbaa !5
store i8 0, i8* @INITIALISIERT_FH_TUERMODUL_CTRL_next_state, align 1, !tbaa !5
store i8 0, i8* @TIPP_SCHLIESSEN_FH_TUERMODUL_CTRL_next_state, align 1, !tbaa !5
store i8 0, i8* @MANUELL_SCHLIESSEN_FH_TUERMODUL_CTRL_next_state, align 1, !tbaa !5
store i8 0, i8* @OEFFNEN_FH_TUERMODUL_CTRL_next_state, align 1, !tbaa !5
store i8 0, i8* @SCHLIESSEN_FH_TUERMODUL_CTRL_next_state, align 1, !tbaa !5
store i8 0, i8* @FH_STEUERUNG_DUMMY_FH_STEUERUNG_DUMMY_next_state, align 1, !tbaa !5
store i8 0, i8* @EINKLEMMSCHUTZ_CTRL_EINKLEMMSCHUTZ_CTRL_next_state, align 1, !tbaa !5
store i8 0, i8* @BEWEGUNG_BLOCK_ERKENNUNG_CTRL_next_state, align 1, !tbaa !5
store i8 0, i8* @BLOCK_ERKENNUNG_CTRL_BLOCK_ERKENNUNG_CTRL_next_state, align 1, !tbaa !5
ret void
}
; Function Attrs: mustprogress nofree norecurse nosync nounwind sspstrong uwtable willreturn
define dso_local void @generic_KINDERSICHERUNG_CTRL() local_unnamed_addr #0 {
%1 = load i8, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 10), align 2, !tbaa !5
%2 = icmp eq i8 %1, 0
br i1 %2, label %108, label %3
3: ; preds = %0
%4 = load i8, i8* @KINDERSICHERUNG_CTRL_KINDERSICHERUNG_CTRL_next_state, align 1, !tbaa !5
%5 = sext i8 %4 to i32
switch i32 %5, label %107 [
i32 1, label %6
i32 2, label %37
i32 3, label %68
]
6: ; preds = %3
%7 = load i8, i8* @FH_TUERMODUL__SFHA_ZENTRAL, align 1, !tbaa !5
%8 = icmp eq i8 %7, 0
%9 = load i8, i8* @FH_TUERMODUL__SFHZ_ZENTRAL, align 1
%10 = icmp eq i8 %9, 0
%11 = select i1 %8, i1 %10, i1 false
br i1 %11, label %12, label %13
12: ; preds = %6
store i8 0, i8* @stable, align 1, !tbaa !5
store i8 0, i8* @FH_TUERMODUL__SFHZ_copy, align 1, !tbaa !5
store i8 0, i8* @FH_TUERMODUL__SFHA_copy, align 1, !tbaa !5
store i8 3, i8* @KINDERSICHERUNG_CTRL_KINDERSICHERUNG_CTRL_next_state, align 1, !tbaa !5
store i8 0, i8* @ZENTRAL_KINDERSICHERUNG_CTRL_next_state, align 1, !tbaa !5
br label %108
13: ; preds = %6
%14 = load i8, i8* @ZENTRAL_KINDERSICHERUNG_CTRL_next_state, align 1, !tbaa !5
%15 = icmp eq i8 %14, 1
br i1 %15, label %16, label %36
16: ; preds = %13
%17 = load i8, i8* @FH_TUERMODUL__SFHA_ZENTRAL_old, align 1
%18 = icmp ne i8 %17, 0
%19 = select i1 %8, i1 true, i1 %18
br i1 %19, label %21, label %20
20: ; preds = %16
store i8 0, i8* @stable, align 1, !tbaa !5
store i8 1, i8* @FH_TUERMODUL__SFHA_copy, align 1, !tbaa !5
store i8 1, i8* @ZENTRAL_KINDERSICHERUNG_CTRL_next_state, align 1, !tbaa !5
br label %108
21: ; preds = %16
%22 = load i8, i8* @FH_TUERMODUL__SFHZ_ZENTRAL_old, align 1
%23 = icmp ne i8 %22, 0
%24 = select i1 %10, i1 true, i1 %23
br i1 %24, label %26, label %25
25: ; preds = %21
store i8 0, i8* @stable, align 1, !tbaa !5
store i8 1, i8* @FH_TUERMODUL__SFHZ_copy, align 1, !tbaa !5
store i8 1, i8* @ZENTRAL_KINDERSICHERUNG_CTRL_next_state, align 1, !tbaa !5
br label %108
26: ; preds = %21
%27 = icmp ne i8 %7, 0
%28 = icmp eq i8 %17, 0
%29 = select i1 %27, i1 true, i1 %28
br i1 %29, label %31, label %30
30: ; preds = %26
store i8 0, i8* @stable, align 1, !tbaa !5
store i8 0, i8* @FH_TUERMODUL__SFHA_copy, align 1, !tbaa !5
store i8 1, i8* @ZENTRAL_KINDERSICHERUNG_CTRL_next_state, align 1, !tbaa !5
br label %108
31: ; preds = %26
%32 = icmp ne i8 %9, 0
%33 = icmp eq i8 %22, 0
%34 = select i1 %32, i1 true, i1 %33
br i1 %34, label %108, label %35
35: ; preds = %31
store i8 0, i8* @stable, align 1, !tbaa !5
store i8 0, i8* @FH_TUERMODUL__SFHZ_copy, align 1, !tbaa !5
store i8 1, i8* @ZENTRAL_KINDERSICHERUNG_CTRL_next_state, align 1, !tbaa !5
br label %108
36: ; preds = %13
store i8 0, i8* @stable, align 1, !tbaa !5
br label %108
37: ; preds = %3
%38 = load i8, i8* @FH_TUERMODUL__SFHA_MEC, align 1, !tbaa !5
%39 = icmp eq i8 %38, 0
%40 = load i8, i8* @FH_TUERMODUL__SFHZ_MEC, align 1
%41 = icmp eq i8 %40, 0
%42 = select i1 %39, i1 %41, i1 false
br i1 %42, label %43, label %44
43: ; preds = %37
store i8 0, i8* @stable, align 1, !tbaa !5
store i8 0, i8* @FH_TUERMODUL__SFHZ_copy, align 1, !tbaa !5
store i8 0, i8* @FH_TUERMODUL__SFHA_copy, align 1, !tbaa !5
store i8 3, i8* @KINDERSICHERUNG_CTRL_KINDERSICHERUNG_CTRL_next_state, align 1, !tbaa !5
store i8 0, i8* @MEC_KINDERSICHERUNG_CTRL_next_state, align 1, !tbaa !5
br label %108
44: ; preds = %37
%45 = load i8, i8* @MEC_KINDERSICHERUNG_CTRL_next_state, align 1, !tbaa !5
%46 = icmp eq i8 %45, 1
br i1 %46, label %47, label %67
47: ; preds = %44
%48 = load i8, i8* @FH_TUERMODUL__SFHA_MEC_old, align 1
%49 = icmp ne i8 %48, 0
%50 = select i1 %39, i1 true, i1 %49
br i1 %50, label %52, label %51
51: ; preds = %47
store i8 0, i8* @stable, align 1, !tbaa !5
store i8 1, i8* @FH_TUERMODUL__SFHA_copy, align 1, !tbaa !5
store i8 1, i8* @MEC_KINDERSICHERUNG_CTRL_next_state, align 1, !tbaa !5
br label %108
52: ; preds = %47
%53 = load i8, i8* @FH_TUERMODUL__SFHZ_MEC_old, align 1
%54 = icmp ne i8 %53, 0
%55 = select i1 %41, i1 true, i1 %54
br i1 %55, label %57, label %56
56: ; preds = %52
store i8 0, i8* @stable, align 1, !tbaa !5
store i8 1, i8* @FH_TUERMODUL__SFHZ_copy, align 1, !tbaa !5
store i8 1, i8* @MEC_KINDERSICHERUNG_CTRL_next_state, align 1, !tbaa !5
br label %108
57: ; preds = %52
%58 = icmp ne i8 %38, 0
%59 = icmp eq i8 %48, 0
%60 = select i1 %58, i1 true, i1 %59
br i1 %60, label %62, label %61
61: ; preds = %57
store i8 0, i8* @stable, align 1, !tbaa !5
store i8 0, i8* @FH_TUERMODUL__SFHA_copy, align 1, !tbaa !5
store i8 1, i8* @MEC_KINDERSICHERUNG_CTRL_next_state, align 1, !tbaa !5
br label %108
62: ; preds = %57
%63 = icmp ne i8 %40, 0
%64 = icmp eq i8 %53, 0
%65 = select i1 %63, i1 true, i1 %64
br i1 %65, label %108, label %66
66: ; preds = %62
store i8 0, i8* @stable, align 1, !tbaa !5
store i8 0, i8* @FH_TUERMODUL__SFHZ_copy, align 1, !tbaa !5
store i8 1, i8* @MEC_KINDERSICHERUNG_CTRL_next_state, align 1, !tbaa !5
br label %108
67: ; preds = %44
store i8 0, i8* @stable, align 1, !tbaa !5
br label %108
68: ; preds = %3
%69 = load i8, i8* @FH_TUERMODUL__KL_50, align 1, !tbaa !5
%70 = icmp ne i8 %69, 0
%71 = load i8, i8* @FH_TUERMODUL__SFHZ_MEC, align 1
%72 = icmp eq i8 %71, 0
%73 = select i1 %70, i1 true, i1 %72
%74 = load i8, i8* @FH_TUERMODUL__SFHA_MEC, align 1
%75 = icmp eq i8 %74, 0
%76 = select i1 %73, i1 true, i1 %75
br i1 %76, label %78, label %77
77: ; preds = %68
store i8 0, i8* @stable, align 1, !tbaa !5
store i8 1, i8* @FH_TUERMODUL__SFHZ_copy, align 1, !tbaa !5
store i8 1, i8* @FH_TUERMODUL__SFHA_copy, align 1, !tbaa !5
store i8 2, i8* @KINDERSICHERUNG_CTRL_KINDERSICHERUNG_CTRL_next_state, align 1, !tbaa !5
br label %108
78: ; preds = %68
%79 = icmp eq i8 %69, 0
br i1 %79, label %80, label %84
80: ; preds = %78
%81 = icmp ne i8 %74, 0
%82 = select i1 %72, i1 true, i1 %81
br i1 %82, label %84, label %83
83: ; preds = %80
store i8 0, i8* @stable, align 1, !tbaa !5
store i8 1, i8* @FH_TUERMODUL__SFHZ_copy, align 1, !tbaa !5
store i8 2, i8* @KINDERSICHERUNG_CTRL_KINDERSICHERUNG_CTRL_next_state, align 1, !tbaa !5
br label %108
84: ; preds = %80, %78
%85 = icmp ne i8 %71, 0
%86 = select i1 %70, i1 true, i1 %85
%87 = select i1 %86, i1 true, i1 %75
br i1 %87, label %89, label %88
88: ; preds = %84
store i8 0, i8* @stable, align 1, !tbaa !5
store i8 1, i8* @FH_TUERMODUL__SFHA_copy, align 1, !tbaa !5
store i8 2, i8* @KINDERSICHERUNG_CTRL_KINDERSICHERUNG_CTRL_next_state, align 1, !tbaa !5
br label %108
89: ; preds = %84
%90 = load i8, i8* @FH_TUERMODUL__SFHZ_ZENTRAL, align 1, !tbaa !5
%91 = icmp eq i8 %90, 0
br i1 %91, label %92, label %97
92: ; preds = %89
%93 = load i8, i8* @FH_TUERMODUL__SFHA_ZENTRAL, align 1, !tbaa !5
%94 = icmp eq i8 %93, 0
%95 = select i1 %94, i1 true, i1 %70
br i1 %95, label %97, label %96
96: ; preds = %92
store i8 0, i8* @stable, align 1, !tbaa !5
store i8 1, i8* @FH_TUERMODUL__SFHA_copy, align 1, !tbaa !5
store i8 1, i8* @KINDERSICHERUNG_CTRL_KINDERSICHERUNG_CTRL_next_state, align 1, !tbaa !5
br label %108
97: ; preds = %92, %89
%98 = load i8, i8* @FH_TUERMODUL__SFHA_ZENTRAL, align 1
%99 = icmp eq i8 %98, 0
%100 = select i1 %91, i1 true, i1 %99
br i1 %100, label %102, label %101
101: ; preds = %97
store i8 0, i8* @stable, align 1, !tbaa !5
store i8 1, i8* @FH_TUERMODUL__SFHA_copy, align 1, !tbaa !5
store i8 1, i8* @FH_TUERMODUL__SFHZ_copy, align 1, !tbaa !5
store i8 1, i8* @KINDERSICHERUNG_CTRL_KINDERSICHERUNG_CTRL_next_state, align 1, !tbaa !5
br label %108
102: ; preds = %97
%103 = icmp ne i8 %98, 0
%104 = select i1 %91, i1 true, i1 %103
%105 = select i1 %104, i1 true, i1 %70
br i1 %105, label %108, label %106
106: ; preds = %102
store i8 0, i8* @stable, align 1, !tbaa !5
store i8 1, i8* @FH_TUERMODUL__SFHZ_copy, align 1, !tbaa !5
store i8 1, i8* @KINDERSICHERUNG_CTRL_KINDERSICHERUNG_CTRL_next_state, align 1, !tbaa !5
br label %108
107: ; preds = %3
store i8 0, i8* @stable, align 1, !tbaa !5
store i8 3, i8* @KINDERSICHERUNG_CTRL_KINDERSICHERUNG_CTRL_next_state, align 1, !tbaa !5
br label %108
108: ; preds = %12, %43, %77, %83, %88, %96, %101, %106, %107, %31, %36, %35, %30, %25, %20, %62, %67, %66, %61, %56, %51, %102, %0
ret void
}
; Function Attrs: mustprogress nofree norecurse nosync nounwind sspstrong uwtable willreturn
define dso_local void @generic_FH_TUERMODUL_CTRL() local_unnamed_addr #0 {
%1 = load i8, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 13), align 1, !tbaa !5
%2 = icmp eq i8 %1, 0
br i1 %2, label %3, label %11
3: ; preds = %0
%4 = load i8, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 15), align 1, !tbaa !5
%5 = icmp eq i8 %4, 0
%6 = load i8, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 14), align 2
%7 = icmp ne i8 %6, 0
%8 = select i1 %5, i1 true, i1 %7
br i1 %8, label %10, label %9
9: ; preds = %3
store i8 0, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 4), align 4, !tbaa !5
store i8 0, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 6), align 2, !tbaa !5
br label %10
10: ; preds = %9, %3
br i1 %2, label %260, label %11
11: ; preds = %0, %10
%12 = load i8, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 10), align 2, !tbaa !5
%13 = icmp eq i8 %12, 0
br i1 %13, label %14, label %15
14: ; preds = %11
store i8 3, i8* @KINDERSICHERUNG_CTRL_KINDERSICHERUNG_CTRL_next_state, align 1, !tbaa !5
br label %15
15: ; preds = %14, %11
store i8 0, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 11), align 1, !tbaa !5
%16 = load i8, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 19), align 1, !tbaa !5
%17 = icmp eq i8 %16, 0
br i1 %17, label %18, label %19
18: ; preds = %15
store i8 0, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 0), align 16, !tbaa !5
store i8 1, i8* @BLOCK_ERKENNUNG_CTRL_BLOCK_ERKENNUNG_CTRL_next_state, align 1, !tbaa !5
br label %19
19: ; preds = %18, %15
store i8 0, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 20), align 4, !tbaa !5
store i8 1, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 11), align 1, !tbaa !5
store i8 1, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 20), align 4, !tbaa !5
%20 = load i8, i8* @B_FH_TUERMODUL_CTRL_next_state, align 1, !tbaa !5
%21 = sext i8 %20 to i32
switch i32 %21, label %209 [
i32 1, label %22
i32 2, label %29
i32 3, label %60
]
22: ; preds = %19
%23 = load i32, i32* @FH_TUERMODUL_CTRL__N, align 4, !tbaa !10
%24 = icmp ne i32 %23, 59
%25 = load i32, i32* @FH_TUERMODUL_CTRL__N_old, align 4
%26 = icmp eq i32 %25, 59
%27 = select i1 %24, i1 true, i1 %26
br i1 %27, label %210, label %28
28: ; preds = %22
store i8 0, i8* @stable, align 1, !tbaa !5
store i8 3, i8* @B_FH_TUERMODUL_CTRL_next_state, align 1, !tbaa !5
store i8 3, i8* @INITIALISIERT_FH_TUERMODUL_CTRL_next_state, align 1, !tbaa !5
br label %210
29: ; preds = %19
%30 = load i8, i8* @FH_TUERMODUL__BLOCK, align 1, !tbaa !5
%31 = icmp eq i8 %30, 0
%32 = load i8, i8* @FH_TUERMODUL__BLOCK_old, align 1
%33 = icmp ne i8 %32, 0
%34 = select i1 %31, i1 true, i1 %33
%35 = load i8, i8* @FH_TUERMODUL__MFHZ, align 1
%36 = icmp eq i8 %35, 0
%37 = select i1 %34, i1 true, i1 %36
br i1 %37, label %40, label %38
38: ; preds = %29
store i8 0, i8* @stable, align 1, !tbaa !5
store i8 0, i8* @FH_TUERMODUL__MFHZ_copy, align 1, !tbaa !5
%39 = load i64, i64* @time, align 8, !tbaa !8
store i64 %39, i64* @sc_FH_TUERMODUL_CTRL_2329_1, align 8, !tbaa !8
store i8 3, i8* @B_FH_TUERMODUL_CTRL_next_state, align 1, !tbaa !5
store i8 3, i8* @INITIALISIERT_FH_TUERMODUL_CTRL_next_state, align 1, !tbaa !5
br label %210
40: ; preds = %29
%41 = load i8, i8* @NICHT_INITIALISIERT_NICHT_INITIALISIERT_next_state, align 1, !tbaa !5
%42 = sext i8 %41 to i32
switch i32 %42, label %59 [
i32 1, label %43
i32 2, label %47
i32 3, label %51
]
43: ; preds = %40
%44 = load i8, i8* @FH_TUERMODUL__SFHZ, align 1, !tbaa !5
%45 = icmp eq i8 %44, 0
br i1 %45, label %46, label %210
46: ; preds = %43
store i8 0, i8* @stable, align 1, !tbaa !5
store i8 0, i8* @FH_TUERMODUL__MFHZ_copy, align 1, !tbaa !5
store i8 3, i8* @NICHT_INITIALISIERT_NICHT_INITIALISIERT_next_state, align 1, !tbaa !5
br label %210
47: ; preds = %40
%48 = load i8, i8* @FH_TUERMODUL__SFHA, align 1, !tbaa !5
%49 = icmp eq i8 %48, 0
br i1 %49, label %50, label %210
50: ; preds = %47
store i8 0, i8* @stable, align 1, !tbaa !5
store i8 0, i8* @FH_TUERMODUL__MFHA_copy, align 1, !tbaa !5
store i8 3, i8* @NICHT_INITIALISIERT_NICHT_INITIALISIERT_next_state, align 1, !tbaa !5
br label %210
51: ; preds = %40
%52 = load i8, i8* @FH_TUERMODUL__SFHA, align 1, !tbaa !5
%53 = icmp eq i8 %52, 0
br i1 %53, label %55, label %54
54: ; preds = %51
store i8 0, i8* @stable, align 1, !tbaa !5
store i8 1, i8* @FH_TUERMODUL__MFHA_copy, align 1, !tbaa !5
store i8 2, i8* @NICHT_INITIALISIERT_NICHT_INITIALISIERT_next_state, align 1, !tbaa !5
br label %210
55: ; preds = %51
%56 = load i8, i8* @FH_TUERMODUL__SFHZ, align 1, !tbaa !5
%57 = icmp eq i8 %56, 0
br i1 %57, label %210, label %58
58: ; preds = %55
store i8 0, i8* @stable, align 1, !tbaa !5
store i8 1, i8* @FH_TUERMODUL__MFHZ_copy, align 1, !tbaa !5
store i8 1, i8* @NICHT_INITIALISIERT_NICHT_INITIALISIERT_next_state, align 1, !tbaa !5
br label %210
59: ; preds = %40
store i8 0, i8* @stable, align 1, !tbaa !5
store i8 3, i8* @NICHT_INITIALISIERT_NICHT_INITIALISIERT_next_state, align 1, !tbaa !5
br label %210
60: ; preds = %19
%61 = load i32, i32* @FH_TUERMODUL_CTRL__N, align 4, !tbaa !10
%62 = icmp sgt i32 %61, 60
%63 = load i32, i32* @FH_TUERMODUL_CTRL__N_old, align 4
%64 = icmp slt i32 %63, 61
%65 = select i1 %62, i1 %64, i1 false
%66 = load i8, i8* @FH_TUERMODUL_CTRL__INREVERS1, align 1
%67 = icmp eq i8 %66, 0
%68 = select i1 %65, i1 %67, i1 false
%69 = load i8, i8* @FH_TUERMODUL_CTRL__INREVERS2, align 1
%70 = icmp eq i8 %69, 0
%71 = select i1 %68, i1 %70, i1 false
br i1 %71, label %72, label %73
72: ; preds = %60
store i8 0, i8* @stable, align 1, !tbaa !5
store i8 0, i8* @FH_TUERMODUL__MFHZ_copy, align 1, !tbaa !5
store i8 0, i8* @FH_TUERMODUL__MFHA_copy, align 1, !tbaa !5
store i8 1, i8* @B_FH_TUERMODUL_CTRL_next_state, align 1, !tbaa !5
br label %210
73: ; preds = %60
%74 = load i8, i8* @FH_TUERMODUL__BLOCK, align 1, !tbaa !5
%75 = icmp eq i8 %74, 0
%76 = load i8, i8* @FH_TUERMODUL__BLOCK_old, align 1
%77 = icmp ne i8 %76, 0
%78 = select i1 %75, i1 true, i1 %77
%79 = load i8, i8* @FH_TUERMODUL__MFHA, align 1
%80 = icmp eq i8 %79, 0
%81 = select i1 %78, i1 true, i1 %80
br i1 %81, label %84, label %82
82: ; preds = %73
store i8 0, i8* @stable, align 1, !tbaa !5
store i8 0, i8* @FH_TUERMODUL__MFHA_copy, align 1, !tbaa !5
%83 = load i64, i64* @time, align 8, !tbaa !8
store i64 %83, i64* @sc_FH_TUERMODUL_CTRL_2375_2, align 8, !tbaa !8
store i8 2, i8* @B_FH_TUERMODUL_CTRL_next_state, align 1, !tbaa !5
store i8 3, i8* @NICHT_INITIALISIERT_NICHT_INITIALISIERT_next_state, align 1, !tbaa !5
br label %210
84: ; preds = %73
%85 = load i8, i8* @FH_TUERMODUL__MFHZ, align 1
%86 = icmp eq i8 %85, 0
%87 = select i1 %78, i1 true, i1 %86
br i1 %87, label %90, label %88
88: ; preds = %84
store i8 0, i8* @stable, align 1, !tbaa !5
store i8 0, i8* @FH_TUERMODUL__MFHZ_copy, align 1, !tbaa !5
%89 = load i64, i64* @time, align 8, !tbaa !8
store i64 %89, i64* @sc_FH_TUERMODUL_CTRL_2352_1, align 8, !tbaa !8
store i8 2, i8* @B_FH_TUERMODUL_CTRL_next_state, align 1, !tbaa !5
store i8 3, i8* @NICHT_INITIALISIERT_NICHT_INITIALISIERT_next_state, align 1, !tbaa !5
br label %210
90: ; preds = %84
%91 = load i8, i8* @INITIALISIERT_FH_TUERMODUL_CTRL_next_state, align 1, !tbaa !5
%92 = sext i8 %91 to i32
switch i32 %92, label %208 [
i32 1, label %93
i32 2, label %128
i32 3, label %189
]
93: ; preds = %90
%94 = load i32, i32* @FH_TUERMODUL__POSITION, align 4, !tbaa !10
%95 = icmp sgt i32 %94, 404
br i1 %95, label %96, label %97
96: ; preds = %93
store i8 0, i8* @stable, align 1, !tbaa !5
store i8 0, i8* @FH_TUERMODUL__MFHA_copy, align 1, !tbaa !5
store i8 3, i8* @INITIALISIERT_FH_TUERMODUL_CTRL_next_state, align 1, !tbaa !5
br label %210
97: ; preds = %93
%98 = load i8, i8* @OEFFNEN_FH_TUERMODUL_CTRL_next_state, align 1, !tbaa !5
%99 = sext i8 %98 to i32
switch i32 %99, label %127 [
i32 1, label %100
i32 2, label %113
]
100: ; preds = %97
%101 = load i8, i8* @FH_TUERMODUL__SFHZ, align 1, !tbaa !5
%102 = icmp eq i8 %101, 0
%103 = load i8, i8* @FH_TUERMODUL__SFHZ_old, align 1
%104 = icmp ne i8 %103, 0
%105 = select i1 %102, i1 true, i1 %104
br i1 %105, label %106, label %112
106: ; preds = %100
%107 = load i8, i8* @FH_TUERMODUL__SFHA, align 1, !tbaa !5
%108 = icmp eq i8 %107, 0
%109 = load i8, i8* @FH_TUERMODUL__SFHA_old, align 1
%110 = icmp ne i8 %109, 0
%111 = select i1 %108, i1 true, i1 %110
br i1 %111, label %210, label %112
112: ; preds = %106, %100
store i8 0, i8* @stable, align 1, !tbaa !5
store i8 0, i8* @FH_TUERMODUL__MFHA_copy, align 1, !tbaa !5
store i8 3, i8* @INITIALISIERT_FH_TUERMODUL_CTRL_next_state, align 1, !tbaa !5
store i8 0, i8* @OEFFNEN_FH_TUERMODUL_CTRL_next_state, align 1, !tbaa !5
br label %210
113: ; preds = %97
%114 = load i8, i8* @FH_TUERMODUL__SFHZ, align 1, !tbaa !5
%115 = icmp eq i8 %114, 0
%116 = load i8, i8* @FH_TUERMODUL__SFHZ_old, align 1
%117 = icmp ne i8 %116, 0
%118 = select i1 %115, i1 true, i1 %117
br i1 %118, label %120, label %119
119: ; preds = %113
store i8 0, i8* @stable, align 1, !tbaa !5
store i8 1, i8* @OEFFNEN_FH_TUERMODUL_CTRL_next_state, align 1, !tbaa !5
br label %210
120: ; preds = %113
%121 = load i8, i8* @FH_TUERMODUL__SFHA, align 1, !tbaa !5
%122 = icmp ne i8 %121, 0
%123 = load i8, i8* @FH_TUERMODUL__SFHA_old, align 1
%124 = icmp eq i8 %123, 0
%125 = select i1 %122, i1 true, i1 %124
br i1 %125, label %210, label %126
126: ; preds = %120
store i8 0, i8* @stable, align 1, !tbaa !5
store i8 0, i8* @FH_TUERMODUL__MFHA_copy, align 1, !tbaa !5
store i8 3, i8* @INITIALISIERT_FH_TUERMODUL_CTRL_next_state, align 1, !tbaa !5
store i8 0, i8* @OEFFNEN_FH_TUERMODUL_CTRL_next_state, align 1, !tbaa !5
br label %210
127: ; preds = %97
store i8 0, i8* @stable, align 1, !tbaa !5
store i8 2, i8* @OEFFNEN_FH_TUERMODUL_CTRL_next_state, align 1, !tbaa !5
br label %210
128: ; preds = %90
%129 = load i32, i32* @FH_TUERMODUL__POSITION, align 4, !tbaa !10
%130 = icmp slt i32 %129, 1
br i1 %130, label %131, label %132
131: ; preds = %128
store i8 0, i8* @stable, align 1, !tbaa !5
store i8 0, i8* @FH_TUERMODUL__MFHZ_copy, align 1, !tbaa !5
store i8 3, i8* @INITIALISIERT_FH_TUERMODUL_CTRL_next_state, align 1, !tbaa !5
br label %210
132: ; preds = %128
%133 = load i8, i8* @SCHLIESSEN_FH_TUERMODUL_CTRL_next_state, align 1, !tbaa !5
%134 = sext i8 %133 to i32
switch i32 %134, label %188 [
i32 1, label %135
i32 2, label %161
]
135: ; preds = %132
%136 = load i8, i8* @FH_TUERMODUL__SFHA, align 1, !tbaa !5
%137 = icmp eq i8 %136, 0
%138 = load i8, i8* @FH_TUERMODUL__SFHA_old, align 1
%139 = icmp ne i8 %138, 0
%140 = select i1 %137, i1 true, i1 %139
br i1 %140, label %141, label %147
141: ; preds = %135
%142 = load i8, i8* @FH_TUERMODUL__SFHZ, align 1, !tbaa !5
%143 = icmp eq i8 %142, 0
%144 = load i8, i8* @FH_TUERMODUL__SFHZ_old, align 1
%145 = icmp ne i8 %144, 0
%146 = select i1 %143, i1 true, i1 %145
br i1 %146, label %148, label %147
147: ; preds = %141, %135
store i8 0, i8* @stable, align 1, !tbaa !5
store i8 0, i8* @FH_TUERMODUL__MFHZ_copy, align 1, !tbaa !5
store i8 3, i8* @INITIALISIERT_FH_TUERMODUL_CTRL_next_state, align 1, !tbaa !5
br label %210
148: ; preds = %141
%149 = load i8, i8* @TIPP_SCHLIESSEN_FH_TUERMODUL_CTRL_next_state, align 1, !tbaa !5
%150 = sext i8 %149 to i32
switch i32 %150, label %160 [
i32 1, label %151
i32 2, label %155
]
151: ; preds = %148
store i8 0, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 23), align 1, !tbaa !5
%152 = load i8, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 22), align 2, !tbaa !5
%153 = icmp eq i8 %152, 0
br i1 %153, label %210, label %154
154: ; preds = %151
store i8 0, i8* @stable, align 1, !tbaa !5
store i8 1, i8* @FH_TUERMODUL__MFHZ_copy, align 1, !tbaa !5
store i8 0, i8* @FH_TUERMODUL_CTRL__INREVERS2_copy, align 1, !tbaa !5
store i8 2, i8* @TIPP_SCHLIESSEN_FH_TUERMODUL_CTRL_next_state, align 1, !tbaa !5
store i8 0, i8* @FH_TUERMODUL__MFHA_copy, align 1, !tbaa !5
store i8 1, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 17), align 1, !tbaa !5
br label %210
155: ; preds = %148
%156 = load i8, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 24), align 8, !tbaa !5
%157 = icmp eq i8 %156, 0
br i1 %157, label %210, label %158
158: ; preds = %155
store i8 0, i8* @stable, align 1, !tbaa !5
store i8 1, i8* @FH_TUERMODUL_CTRL__INREVERS2_copy, align 1, !tbaa !5
store i8 1, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 23), align 1, !tbaa !5
store i8 1, i8* @TIPP_SCHLIESSEN_FH_TUERMODUL_CTRL_next_state, align 1, !tbaa !5
store i8 0, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 17), align 1, !tbaa !5
store i8 0, i8* @FH_TUERMODUL__MFHZ_copy, align 1, !tbaa !5
%159 = load i64, i64* @time, align 8, !tbaa !8
store i64 %159, i64* @sc_FH_TUERMODUL_CTRL_1781_10, align 8, !tbaa !8
store i8 1, i8* @FH_TUERMODUL__MFHA_copy, align 1, !tbaa !5
br label %210
160: ; preds = %148
store i8 0, i8* @stable, align 1, !tbaa !5
store i8 2, i8* @TIPP_SCHLIESSEN_FH_TUERMODUL_CTRL_next_state, align 1, !tbaa !5
store i8 1, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 17), align 1, !tbaa !5
br label %210
161: ; preds = %132
%162 = load i8, i8* @FH_TUERMODUL__SFHZ, align 1, !tbaa !5
%163 = icmp ne i8 %162, 0
%164 = load i8, i8* @FH_TUERMODUL__SFHZ_old, align 1
%165 = icmp eq i8 %164, 0
%166 = select i1 %163, i1 true, i1 %165
br i1 %166, label %168, label %167
167: ; preds = %161
store i8 0, i8* @stable, align 1, !tbaa !5
store i8 0, i8* @FH_TUERMODUL__MFHZ_copy, align 1, !tbaa !5
store i8 3, i8* @INITIALISIERT_FH_TUERMODUL_CTRL_next_state, align 1, !tbaa !5
br label %210
168: ; preds = %161
%169 = load i8, i8* @MANUELL_SCHLIESSEN_FH_TUERMODUL_CTRL_next_state, align 1, !tbaa !5
%170 = sext i8 %169 to i32
switch i32 %170, label %187 [
i32 1, label %171
i32 2, label %175
]
171: ; preds = %168
store i8 0, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 23), align 1, !tbaa !5
%172 = load i8, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 22), align 2, !tbaa !5
%173 = icmp eq i8 %172, 0
br i1 %173, label %210, label %174
174: ; preds = %171
store i8 0, i8* @stable, align 1, !tbaa !5
store i8 0, i8* @FH_TUERMODUL_CTRL__INREVERS1_copy, align 1, !tbaa !5
store i8 2, i8* @MANUELL_SCHLIESSEN_FH_TUERMODUL_CTRL_next_state, align 1, !tbaa !5
store i8 0, i8* @FH_TUERMODUL__MFHA_copy, align 1, !tbaa !5
store i8 1, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 17), align 1, !tbaa !5
store i8 1, i8* @FH_TUERMODUL__MFHZ_copy, align 1, !tbaa !5
br label %210
175: ; preds = %168
%176 = load i8, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 24), align 8, !tbaa !5
%177 = icmp eq i8 %176, 0
br i1 %177, label %180, label %178
178: ; preds = %175
store i8 0, i8* @stable, align 1, !tbaa !5
store i8 0, i8* @FH_TUERMODUL__MFHZ_copy, align 1, !tbaa !5
store i8 1, i8* @FH_TUERMODUL_CTRL__INREVERS1_copy, align 1, !tbaa !5
store i8 1, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 23), align 1, !tbaa !5
store i8 1, i8* @MANUELL_SCHLIESSEN_FH_TUERMODUL_CTRL_next_state, align 1, !tbaa !5
store i8 0, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 17), align 1, !tbaa !5
%179 = load i64, i64* @time, align 8, !tbaa !8
store i64 %179, i64* @sc_FH_TUERMODUL_CTRL_1739_10, align 8, !tbaa !8
store i8 1, i8* @FH_TUERMODUL__MFHA_copy, align 1, !tbaa !5
br label %210
180: ; preds = %175
%181 = load i8, i8* @FH_TUERMODUL__SFHA, align 1, !tbaa !5
%182 = icmp eq i8 %181, 0
%183 = load i8, i8* @FH_TUERMODUL__SFHA_old, align 1
%184 = icmp ne i8 %183, 0
%185 = select i1 %182, i1 true, i1 %184
br i1 %185, label %210, label %186
186: ; preds = %180
store i8 0, i8* @stable, align 1, !tbaa !5
store i8 1, i8* @SCHLIESSEN_FH_TUERMODUL_CTRL_next_state, align 1, !tbaa !5
store i8 0, i8* @MANUELL_SCHLIESSEN_FH_TUERMODUL_CTRL_next_state, align 1, !tbaa !5
br label %210
187: ; preds = %168
store i8 0, i8* @stable, align 1, !tbaa !5
store i8 2, i8* @MANUELL_SCHLIESSEN_FH_TUERMODUL_CTRL_next_state, align 1, !tbaa !5
store i8 1, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 17), align 1, !tbaa !5
store i8 1, i8* @FH_TUERMODUL__MFHZ_copy, align 1, !tbaa !5
br label %210
188: ; preds = %132
store i8 0, i8* @stable, align 1, !tbaa !5
store i8 2, i8* @SCHLIESSEN_FH_TUERMODUL_CTRL_next_state, align 1, !tbaa !5
store i8 2, i8* @MANUELL_SCHLIESSEN_FH_TUERMODUL_CTRL_next_state, align 1, !tbaa !5
store i8 1, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 17), align 1, !tbaa !5
store i8 1, i8* @FH_TUERMODUL__MFHZ_copy, align 1, !tbaa !5
br label %210
189: ; preds = %90
%190 = load i8, i8* @FH_TUERMODUL__SFHZ, align 1, !tbaa !5
%191 = icmp ne i8 %190, 0
%192 = load i8, i8* @FH_TUERMODUL__SFHZ_old, align 1
%193 = icmp eq i8 %192, 0
%194 = select i1 %191, i1 %193, i1 false
%195 = load i32, i32* @FH_TUERMODUL__POSITION, align 4
%196 = icmp sgt i32 %195, 0
%197 = select i1 %194, i1 %196, i1 false
br i1 %197, label %198, label %199
198: ; preds = %189
store i8 0, i8* @stable, align 1, !tbaa !5
store i8 2, i8* @INITIALISIERT_FH_TUERMODUL_CTRL_next_state, align 1, !tbaa !5
store i8 2, i8* @SCHLIESSEN_FH_TUERMODUL_CTRL_next_state, align 1, !tbaa !5
store i8 2, i8* @MANUELL_SCHLIESSEN_FH_TUERMODUL_CTRL_next_state, align 1, !tbaa !5
store i8 1, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 17), align 1, !tbaa !5
store i8 1, i8* @FH_TUERMODUL__MFHZ_copy, align 1, !tbaa !5
br label %210
199: ; preds = %189
%200 = load i8, i8* @FH_TUERMODUL__SFHA, align 1, !tbaa !5
%201 = icmp ne i8 %200, 0
%202 = load i8, i8* @FH_TUERMODUL__SFHA_old, align 1
%203 = icmp eq i8 %202, 0
%204 = select i1 %201, i1 %203, i1 false
%205 = icmp slt i32 %195, 405
%206 = select i1 %204, i1 %205, i1 false
br i1 %206, label %207, label %210
207: ; preds = %199
store i8 0, i8* @stable, align 1, !tbaa !5
store i8 1, i8* @FH_TUERMODUL__MFHA_copy, align 1, !tbaa !5
store i8 1, i8* @INITIALISIERT_FH_TUERMODUL_CTRL_next_state, align 1, !tbaa !5
store i8 2, i8* @OEFFNEN_FH_TUERMODUL_CTRL_next_state, align 1, !tbaa !5
br label %210
208: ; preds = %90
store i8 0, i8* @stable, align 1, !tbaa !5
store i8 3, i8* @INITIALISIERT_FH_TUERMODUL_CTRL_next_state, align 1, !tbaa !5
br label %210
209: ; preds = %19
store i8 0, i8* @stable, align 1, !tbaa !5
store i8 2, i8* @B_FH_TUERMODUL_CTRL_next_state, align 1, !tbaa !5
br label %210
210: ; preds = %96, %131, %198, %207, %208, %120, %106, %127, %126, %119, %112, %174, %178, %186, %187, %171, %180, %154, %158, %160, %151, %155, %188, %167, %147, %199, %46, %50, %54, %58, %59, %43, %47, %55, %22, %209, %88, %82, %72, %38, %28
%211 = load i8, i8* @A_FH_TUERMODUL_CTRL_next_state, align 1, !tbaa !5
%212 = icmp eq i8 %211, 1
br i1 %212, label %213, label %255
213: ; preds = %210
store i8 0, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 5), align 1, !tbaa !5
%214 = load i8, i8* @step, align 1, !tbaa !5
%215 = icmp eq i8 %214, 1
%216 = load i64, i64* @tm_entered_WIEDERHOLSPERRE_FH_TUERMODUL_CTRLexited_BEREIT_FH_TUERMODUL_CTRL, align 8
%217 = icmp ne i64 %216, 0
%218 = select i1 %215, i1 %217, i1 false
br i1 %218, label %219, label %232
219: ; preds = %213
%220 = load i64, i64* @time, align 8, !tbaa !8
%221 = sub i64 %220, %216
%222 = icmp eq i64 %221, 1
br i1 %222, label %223, label %232
223: ; preds = %219
%224 = load i8, i8* @FH_TUERMODUL__MFHZ, align 1, !tbaa !5
%225 = icmp eq i8 %224, 0
%226 = load i8, i8* @FH_TUERMODUL__MFHA, align 1
%227 = icmp eq i8 %226, 0
%228 = select i1 %225, i1 %227, i1 false
br i1 %228, label %232, label %229
229: ; preds = %223
store i8 0, i8* @stable, align 1, !tbaa !5
%230 = load i32, i32* @FH_TUERMODUL_CTRL__N, align 4, !tbaa !10
%231 = add nsw i32 %230, 1
store i32 %231, i32* @FH_TUERMODUL_CTRL__N, align 4, !tbaa !10
store i8 1, i8* @A_FH_TUERMODUL_CTRL_next_state, align 1, !tbaa !5
store i8 1, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 5), align 1, !tbaa !5
br label %256
232: ; preds = %223, %219, %213
%233 = load i8, i8* @WIEDERHOLSPERRE_FH_TUERMODUL_CTRL_next_state, align 1, !tbaa !5
%234 = icmp eq i8 %233, 1
br i1 %234, label %235, label %254
235: ; preds = %232
%236 = load i64, i64* @tm_entered_WIEDERHOLSPERRE_FH_TUERMODUL_CTRL, align 8
%237 = icmp ne i64 %236, 0
%238 = select i1 %215, i1 %237, i1 false
br i1 %238, label %239, label %257
239: ; preds = %235
%240 = load i64, i64* @time, align 8, !tbaa !8
%241 = sub i64 %240, %236
%242 = icmp eq i64 %241, 3
%243 = load i8, i8* @FH_TUERMODUL__MFHZ, align 1
%244 = icmp eq i8 %243, 0
%245 = select i1 %242, i1 %244, i1 false
br i1 %245, label %246, label %257
246: ; preds = %239
%247 = load i8, i8* @FH_TUERMODUL__MFHA, align 1, !tbaa !5
%248 = icmp eq i8 %247, 0
%249 = load i32, i32* @FH_TUERMODUL_CTRL__N, align 4
%250 = icmp sgt i32 %249, 0
%251 = select i1 %248, i1 %250, i1 false
br i1 %251, label %252, label %257
252: ; preds = %246
store i8 0, i8* @stable, align 1, !tbaa !5
%253 = add nsw i32 %249, -1
store i32 %253, i32* @FH_TUERMODUL_CTRL__N, align 4, !tbaa !10
br label %256
254: ; preds = %232
store i8 0, i8* @stable, align 1, !tbaa !5
store i8 1, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 5), align 1, !tbaa !5
br label %256
255: ; preds = %210
store i8 0, i8* @stable, align 1, !tbaa !5
store i32 0, i32* @FH_TUERMODUL_CTRL__N, align 4, !tbaa !10
store i8 1, i8* @A_FH_TUERMODUL_CTRL_next_state, align 1, !tbaa !5
store i8 1, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 5), align 1, !tbaa !5
br label %256
256: ; preds = %229, %255, %254, %252
store i8 1, i8* @WIEDERHOLSPERRE_FH_TUERMODUL_CTRL_next_state, align 1, !tbaa !5
br label %257
257: ; preds = %256, %246, %239, %235
%258 = load i8, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 4), align 4, !tbaa !5
store i8 %258, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 5), align 1, !tbaa !5
%259 = load i8, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 6), align 2, !tbaa !5
store i8 %259, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 7), align 1, !tbaa !5
br label %260
260: ; preds = %257, %10
ret void
}
; Function Attrs: mustprogress nofree norecurse nosync nounwind sspstrong uwtable willreturn
define dso_local void @generic_EINKLEMMSCHUTZ_CTRL() local_unnamed_addr #0 {
%1 = load i8, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 16), align 16, !tbaa !5
%2 = icmp eq i8 %1, 0
br i1 %2, label %29, label %3
3: ; preds = %0
%4 = load i8, i8* @EINKLEMMSCHUTZ_CTRL_EINKLEMMSCHUTZ_CTRL_next_state, align 1, !tbaa !5
%5 = sext i8 %4 to i32
switch i32 %5, label %26 [
i32 1, label %6
i32 2, label %19
]
6: ; preds = %3
%7 = load i8, i8* @FH_TUERMODUL__EKS_LEISTE_AKTIV, align 1, !tbaa !5
%8 = icmp eq i8 %7, 0
%9 = load i8, i8* @FH_TUERMODUL__EKS_LEISTE_AKTIV_old, align 1
%10 = icmp ne i8 %9, 0
%11 = select i1 %8, i1 true, i1 %10
br i1 %11, label %29, label %12
12: ; preds = %6
%13 = load i8, i8* @FH_TUERMODUL__SFHZ, align 1, !tbaa !5
%14 = icmp eq i8 %13, 0
%15 = load i8, i8* @FH_TUERMODUL__SFHA, align 1
%16 = icmp eq i8 %15, 0
%17 = select i1 %14, i1 true, i1 %16
br i1 %17, label %18, label %29
18: ; preds = %12
store i8 0, i8* @stable, align 1, !tbaa !5
store i8 1, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 24), align 8, !tbaa !5
br label %27
19: ; preds = %3
store i8 0, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 24), align 8, !tbaa !5
%20 = load i8, i8* @FH_TUERMODUL__EKS_LEISTE_AKTIV, align 1, !tbaa !5
%21 = icmp ne i8 %20, 0
%22 = load i8, i8* @FH_TUERMODUL__EKS_LEISTE_AKTIV_old, align 1
%23 = icmp eq i8 %22, 0
%24 = select i1 %21, i1 true, i1 %23
br i1 %24, label %29, label %25
25: ; preds = %19
store i8 0, i8* @stable, align 1, !tbaa !5
br label %27
26: ; preds = %3
store i8 0, i8* @stable, align 1, !tbaa !5
br label %27
27: ; preds = %26, %25, %18
%28 = phi i8 [ 2, %18 ], [ 1, %25 ], [ 1, %26 ]
store i8 %28, i8* @EINKLEMMSCHUTZ_CTRL_EINKLEMMSCHUTZ_CTRL_next_state, align 1, !tbaa !5
br label %29
29: ; preds = %27, %12, %6, %19, %0
ret void
}
; Function Attrs: mustprogress nofree norecurse nosync nounwind sspstrong uwtable willreturn
define dso_local void @generic_BLOCK_ERKENNUNG_CTRL() local_unnamed_addr #0 {
%1 = load i8, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 19), align 1, !tbaa !5
%2 = icmp eq i8 %1, 0
br i1 %2, label %3, label %11
3: ; preds = %0
%4 = load i8, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 21), align 1, !tbaa !5
%5 = icmp eq i8 %4, 0
%6 = load i8, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 20), align 4
%7 = icmp ne i8 %6, 0
%8 = select i1 %5, i1 true, i1 %7
br i1 %8, label %10, label %9
9: ; preds = %3
store i8 0, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 0), align 16, !tbaa !5
br label %10
10: ; preds = %9, %3
br i1 %2, label %52, label %11
11: ; preds = %0, %10
%12 = load i8, i8* @BLOCK_ERKENNUNG_CTRL_BLOCK_ERKENNUNG_CTRL_next_state, align 1, !tbaa !5
%13 = sext i8 %12 to i32
switch i32 %13, label %51 [
i32 1, label %14
i32 2, label %21
]
14: ; preds = %11
%15 = load i32, i32* @FH_TUERMODUL__I_EIN, align 4, !tbaa !10
%16 = load i32, i32* @FH_TUERMODUL__I_EIN_old, align 4, !tbaa !10
%17 = icmp ne i32 %15, %16
%18 = icmp sgt i32 %15, 0
%19 = and i1 %18, %17
br i1 %19, label %20, label %52
20: ; preds = %14
store i8 0, i8* @stable, align 1, !tbaa !5
store i8 0, i8* @FH_TUERMODUL__BLOCK_copy, align 1, !tbaa !5
store i8 2, i8* @BLOCK_ERKENNUNG_CTRL_BLOCK_ERKENNUNG_CTRL_next_state, align 1, !tbaa !5
store i32 0, i32* @BLOCK_ERKENNUNG_CTRL__N, align 4, !tbaa !10
store i32 2, i32* @BLOCK_ERKENNUNG_CTRL__I_EIN_MAX, align 4, !tbaa !10
store i8 3, i8* @BEWEGUNG_BLOCK_ERKENNUNG_CTRL_next_state, align 1, !tbaa !5
store i8 1, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 0), align 16, !tbaa !5
br label %52
21: ; preds = %11
%22 = load i8, i8* @FH_TUERMODUL__MFHA, align 1, !tbaa !5
%23 = icmp ne i8 %22, 0
%24 = load i8, i8* @FH_TUERMODUL__MFHA_old, align 1
%25 = icmp eq i8 %24, 0
%26 = select i1 %23, i1 true, i1 %25
br i1 %26, label %27, label %33
27: ; preds = %21
%28 = load i8, i8* @FH_TUERMODUL__MFHZ, align 1, !tbaa !5
%29 = icmp ne i8 %28, 0
%30 = load i8, i8* @FH_TUERMODUL__MFHZ_old, align 1
%31 = icmp eq i8 %30, 0
%32 = select i1 %29, i1 true, i1 %31
br i1 %32, label %34, label %33
33: ; preds = %27, %21
store i8 0, i8* @stable, align 1, !tbaa !5
store i8 1, i8* @BLOCK_ERKENNUNG_CTRL_BLOCK_ERKENNUNG_CTRL_next_state, align 1, !tbaa !5
store i8 0, i8* @BEWEGUNG_BLOCK_ERKENNUNG_CTRL_next_state, align 1, !tbaa !5
br label %52
34: ; preds = %27
%35 = load i8, i8* @BEWEGUNG_BLOCK_ERKENNUNG_CTRL_next_state, align 1, !tbaa !5
%36 = sext i8 %35 to i32
switch i32 %36, label %50 [
i32 1, label %52
i32 2, label %37
i32 3, label %43
]
37: ; preds = %34
%38 = load i32, i32* @FH_TUERMODUL__I_EIN, align 4, !tbaa !10
%39 = load i32, i32* @BLOCK_ERKENNUNG_CTRL__I_EIN_MAX, align 4, !tbaa !10
%40 = add nsw i32 %39, -2
%41 = icmp sgt i32 %38, %40
br i1 %41, label %42, label %52
42: ; preds = %37
store i8 0, i8* @stable, align 1, !tbaa !5
store i8 1, i8* @FH_TUERMODUL__BLOCK_copy, align 1, !tbaa !5
store i8 1, i8* @BEWEGUNG_BLOCK_ERKENNUNG_CTRL_next_state, align 1, !tbaa !5
br label %52
43: ; preds = %34
store i8 0, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 0), align 16, !tbaa !5
%44 = load i32, i32* @BLOCK_ERKENNUNG_CTRL__N, align 4, !tbaa !10
%45 = icmp ne i32 %44, 11
%46 = load i32, i32* @BLOCK_ERKENNUNG_CTRL__N_old, align 4
%47 = icmp eq i32 %46, 11
%48 = select i1 %45, i1 true, i1 %47
br i1 %48, label %52, label %49
49: ; preds = %43
store i8 0, i8* @stable, align 1, !tbaa !5
store i8 2, i8* @BEWEGUNG_BLOCK_ERKENNUNG_CTRL_next_state, align 1, !tbaa !5
br label %52
50: ; preds = %34
store i8 0, i8* @stable, align 1, !tbaa !5
store i32 0, i32* @BLOCK_ERKENNUNG_CTRL__N, align 4, !tbaa !10
store i32 2, i32* @BLOCK_ERKENNUNG_CTRL__I_EIN_MAX, align 4, !tbaa !10
store i8 3, i8* @BEWEGUNG_BLOCK_ERKENNUNG_CTRL_next_state, align 1, !tbaa !5
store i8 1, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 0), align 16, !tbaa !5
br label %52
51: ; preds = %11
store i8 0, i8* @stable, align 1, !tbaa !5
store i8 1, i8* @BLOCK_ERKENNUNG_CTRL_BLOCK_ERKENNUNG_CTRL_next_state, align 1, !tbaa !5
br label %52
52: ; preds = %43, %20, %33, %51, %14, %37, %34, %50, %49, %42, %10
ret void
}
; Function Attrs: nofree norecurse nosync nounwind sspstrong uwtable
define dso_local void @FH_DU() local_unnamed_addr #2 {
store i64 1, i64* @time, align 8, !tbaa !8
store i8 0, i8* @stable, align 1, !tbaa !5
store i8 0, i8* @step, align 1, !tbaa !5
br label %1
1: ; preds = %0, %134
store i8 1, i8* @stable, align 1, !tbaa !5
%2 = load i8, i8* @step, align 1, !tbaa !5
%3 = add i8 %2, 1
store i8 %3, i8* @step, align 1, !tbaa !5
%4 = load i8, i8* @FH_STEUERUNG_DUMMY_FH_STEUERUNG_DUMMY_next_state, align 1, !tbaa !5
%5 = sext i8 %4 to i32
switch i32 %5, label %30 [
i32 1, label %6
i32 2, label %12
i32 3, label %24
]
6: ; preds = %1
%7 = load i8, i8* @FH_DU__MFHZ, align 1, !tbaa !5
%8 = icmp ne i8 %7, 0
%9 = load i8, i8* @FH_DU__MFHZ_old, align 1
%10 = icmp eq i8 %9, 0
%11 = select i1 %8, i1 true, i1 %10
br i1 %11, label %33, label %30
12: ; preds = %1
%13 = load i8, i8* @FH_DU__MFHZ, align 1, !tbaa !5
%14 = icmp eq i8 %13, 0
%15 = load i8, i8* @FH_DU__MFHZ_old, align 1
%16 = icmp ne i8 %15, 0
%17 = select i1 %14, i1 true, i1 %16
br i1 %17, label %18, label %30
18: ; preds = %12
%19 = load i8, i8* @FH_DU__MFHA, align 1, !tbaa !5
%20 = icmp eq i8 %19, 0
%21 = load i8, i8* @FH_DU__MFHA_old, align 1
%22 = icmp ne i8 %21, 0
%23 = select i1 %20, i1 true, i1 %22
br i1 %23, label %33, label %30
24: ; preds = %1
%25 = load i8, i8* @FH_DU__MFHA, align 1, !tbaa !5
%26 = icmp ne i8 %25, 0
%27 = load i8, i8* @FH_DU__MFHA_old, align 1
%28 = icmp eq i8 %27, 0
%29 = select i1 %26, i1 true, i1 %28
br i1 %29, label %33, label %30
30: ; preds = %1, %24, %18, %12, %6
%31 = phi i32 [ 0, %6 ], [ -100, %12 ], [ 100, %18 ], [ 0, %24 ], [ 0, %1 ]
%32 = phi i8 [ 2, %6 ], [ 1, %12 ], [ 3, %18 ], [ 2, %24 ], [ 2, %1 ]
store i8 0, i8* @stable, align 1, !tbaa !5
store i32 %31, i32* @FH_DU__MFH, align 4, !tbaa !10
store i8 %32, i8* @FH_STEUERUNG_DUMMY_FH_STEUERUNG_DUMMY_next_state, align 1, !tbaa !5
br label %33
33: ; preds = %30, %24, %18, %6
%34 = load i8, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 10), align 2, !tbaa !5
%35 = icmp eq i8 %34, 0
br i1 %35, label %36, label %37
36: ; preds = %33
store i8 3, i8* @KINDERSICHERUNG_CTRL_KINDERSICHERUNG_CTRL_next_state, align 1, !tbaa !5
br label %37
37: ; preds = %36, %33
store i8 0, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 11), align 1, !tbaa !5
%38 = load i8, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 16), align 16, !tbaa !5
%39 = icmp eq i8 %38, 0
br i1 %39, label %40, label %41
40: ; preds = %37
store i8 1, i8* @EINKLEMMSCHUTZ_CTRL_EINKLEMMSCHUTZ_CTRL_next_state, align 1, !tbaa !5
br label %41
41: ; preds = %40, %37
store i8 0, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 17), align 1, !tbaa !5
%42 = load i8, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 19), align 1, !tbaa !5
%43 = icmp eq i8 %42, 0
br i1 %43, label %44, label %45
44: ; preds = %41
store i8 0, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 0), align 16, !tbaa !5
store i8 1, i8* @BLOCK_ERKENNUNG_CTRL_BLOCK_ERKENNUNG_CTRL_next_state, align 1, !tbaa !5
br label %45
45: ; preds = %44, %41
store i8 0, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 20), align 4, !tbaa !5
%46 = load i8, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 13), align 1, !tbaa !5
%47 = icmp eq i8 %46, 0
br i1 %47, label %48, label %49
48: ; preds = %45
store i8 0, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 4), align 4, !tbaa !5
store i8 0, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 6), align 2, !tbaa !5
store i8 2, i8* @B_FH_TUERMODUL_CTRL_next_state, align 1, !tbaa !5
store i32 0, i32* @FH_TUERMODUL_CTRL__N, align 4, !tbaa !10
store i8 1, i8* @A_FH_TUERMODUL_CTRL_next_state, align 1, !tbaa !5
store i8 1, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 5), align 1, !tbaa !5
store i8 1, i8* @WIEDERHOLSPERRE_FH_TUERMODUL_CTRL_next_state, align 1, !tbaa !5
br label %49
49: ; preds = %48, %45
store i8 0, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 14), align 2, !tbaa !5
store i8 1, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 11), align 1, !tbaa !5
store i8 1, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 17), align 1, !tbaa !5
store i8 1, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 20), align 4, !tbaa !5
store i8 1, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 14), align 2, !tbaa !5
%50 = load i8, i8* @FH_DU__S_FH_TMBFZUCAN, align 1, !tbaa !5
%51 = load i8, i8* @FH_DU__S_FH_TMBFZUCAN_old, align 1, !tbaa !5
%52 = icmp eq i8 %50, %51
%53 = load i8, i8* @FH_DU__DOOR_ID, align 1
%54 = icmp ne i8 %53, 0
%55 = select i1 %52, i1 true, i1 %54
br i1 %55, label %57, label %56
56: ; preds = %49
store i8 %50, i8* @FH_DU__S_FH_FTZU, align 1, !tbaa !5
br label %57
57: ; preds = %56, %49
%58 = load i8, i8* @FH_DU__S_FH_TMBFZUDISC, align 1, !tbaa !5
%59 = load i8, i8* @FH_DU__S_FH_TMBFZUDISC_old, align 1, !tbaa !5
%60 = icmp ne i8 %58, %59
%61 = select i1 %60, i1 %54, i1 false
br i1 %61, label %62, label %63
62: ; preds = %57
store i8 %58, i8* @FH_DU__S_FH_TMBFZUCAN, align 1, !tbaa !5
br label %63
63: ; preds = %62, %57
%64 = load i8, i8* @FH_DU__S_FH_TMBFAUFCAN, align 1, !tbaa !5
%65 = load i8, i8* @FH_DU__S_FH_TMBFAUFCAN_old, align 1, !tbaa !5
%66 = icmp eq i8 %64, %65
%67 = select i1 %66, i1 true, i1 %54
br i1 %67, label %69, label %68
68: ; preds = %63
store i8 %64, i8* @FH_DU__S_FH_FTAUF, align 1, !tbaa !5
br label %69
69: ; preds = %68, %63
%70 = load i8, i8* @FH_DU__S_FH_TMBFAUFDISC, align 1, !tbaa !5
%71 = load i8, i8* @FH_DU__S_FH_TMBFAUFDISC_old, align 1, !tbaa !5
%72 = icmp ne i8 %70, %71
%73 = select i1 %72, i1 %54, i1 false
br i1 %73, label %74, label %75
74: ; preds = %69
store i8 %70, i8* @FH_DU__S_FH_TMBFAUFCAN, align 1, !tbaa !5
br label %75
75: ; preds = %74, %69
%76 = load i8, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 12), align 4, !tbaa !5
store i8 %76, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 10), align 2, !tbaa !5
%77 = load i8, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 15), align 1, !tbaa !5
store i8 %77, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 13), align 1, !tbaa !5
%78 = load i8, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 18), align 2, !tbaa !5
store i8 %78, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 16), align 16, !tbaa !5
%79 = load i8, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 21), align 1, !tbaa !5
store i8 %79, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 19), align 1, !tbaa !5
%80 = load i8, i8* @FH_DU__S_FH_AUFDISC, align 1, !tbaa !5
store i8 %80, i8* @FH_TUERMODUL__SFHA_MEC, align 1, !tbaa !5
%81 = load i8, i8* @FH_DU__S_FH_FTAUF, align 1, !tbaa !5
store i8 %81, i8* @FH_TUERMODUL__SFHA_ZENTRAL, align 1, !tbaa !5
%82 = load i8, i8* @FH_DU__S_FH_ZUDISC, align 1, !tbaa !5
store i8 %82, i8* @FH_TUERMODUL__SFHZ_MEC, align 1, !tbaa !5
%83 = load i8, i8* @FH_DU__S_FH_FTZU, align 1, !tbaa !5
store i8 %83, i8* @FH_TUERMODUL__SFHZ_ZENTRAL, align 1, !tbaa !5
call void @generic_KINDERSICHERUNG_CTRL()
%84 = load i8, i8* @FH_TUERMODUL__MFHA, align 1, !tbaa !5
store i8 %84, i8* @FH_DU__MFHA, align 1, !tbaa !5
%85 = load i8, i8* @FH_TUERMODUL__MFHZ, align 1, !tbaa !5
store i8 %85, i8* @FH_DU__MFHZ, align 1, !tbaa !5
%86 = load i32, i32* @FH_TUERMODUL__I_EIN, align 4, !tbaa !10
store i32 %86, i32* @FH_DU__I_EIN, align 4, !tbaa !10
%87 = load i8, i8* @FH_TUERMODUL__EKS_LEISTE_AKTIV, align 1, !tbaa !5
store i8 %87, i8* @FH_DU__EKS_LEISTE_AKTIV, align 1, !tbaa !5
%88 = load i32, i32* @FH_TUERMODUL__POSITION, align 4, !tbaa !10
store i32 %88, i32* @FH_DU__POSITION, align 4, !tbaa !10
%89 = load i8, i8* @FH_TUERMODUL__FT, align 1, !tbaa !5
store i8 %89, i8* @FH_DU__FT, align 1, !tbaa !5
%90 = load i8, i8* @FH_TUERMODUL__SFHA_MEC, align 1, !tbaa !5
store i8 %90, i8* @FH_DU__S_FH_AUFDISC, align 1, !tbaa !5
%91 = load i8, i8* @FH_TUERMODUL__SFHA_ZENTRAL, align 1, !tbaa !5
store i8 %91, i8* @FH_DU__S_FH_FTAUF, align 1, !tbaa !5
%92 = load i8, i8* @FH_TUERMODUL__SFHZ_MEC, align 1, !tbaa !5
store i8 %92, i8* @FH_DU__S_FH_ZUDISC, align 1, !tbaa !5
%93 = load i8, i8* @FH_TUERMODUL__SFHZ_ZENTRAL, align 1, !tbaa !5
store i8 %93, i8* @FH_DU__S_FH_FTZU, align 1, !tbaa !5
%94 = load i8, i8* @FH_TUERMODUL__KL_50, align 1, !tbaa !5
store i8 %94, i8* @FH_DU__KL_50, align 1, !tbaa !5
%95 = load i8, i8* @FH_TUERMODUL__BLOCK, align 1, !tbaa !5
store i8 %95, i8* @FH_DU__BLOCK, align 1, !tbaa !5
call void @generic_FH_TUERMODUL_CTRL()
%96 = load i8, i8* @FH_TUERMODUL__MFHA, align 1, !tbaa !5
store i8 %96, i8* @FH_DU__MFHA, align 1, !tbaa !5
%97 = load i8, i8* @FH_TUERMODUL__MFHZ, align 1, !tbaa !5
store i8 %97, i8* @FH_DU__MFHZ, align 1, !tbaa !5
%98 = load i32, i32* @FH_TUERMODUL__I_EIN, align 4, !tbaa !10
store i32 %98, i32* @FH_DU__I_EIN, align 4, !tbaa !10
%99 = load i8, i8* @FH_TUERMODUL__EKS_LEISTE_AKTIV, align 1, !tbaa !5
store i8 %99, i8* @FH_DU__EKS_LEISTE_AKTIV, align 1, !tbaa !5
%100 = load i32, i32* @FH_TUERMODUL__POSITION, align 4, !tbaa !10
store i32 %100, i32* @FH_DU__POSITION, align 4, !tbaa !10
%101 = load i8, i8* @FH_TUERMODUL__FT, align 1, !tbaa !5
store i8 %101, i8* @FH_DU__FT, align 1, !tbaa !5
%102 = load i8, i8* @FH_TUERMODUL__SFHA_MEC, align 1, !tbaa !5
store i8 %102, i8* @FH_DU__S_FH_AUFDISC, align 1, !tbaa !5
%103 = load i8, i8* @FH_TUERMODUL__SFHA_ZENTRAL, align 1, !tbaa !5
store i8 %103, i8* @FH_DU__S_FH_FTAUF, align 1, !tbaa !5
%104 = load i8, i8* @FH_TUERMODUL__SFHZ_MEC, align 1, !tbaa !5
store i8 %104, i8* @FH_DU__S_FH_ZUDISC, align 1, !tbaa !5
%105 = load i8, i8* @FH_TUERMODUL__SFHZ_ZENTRAL, align 1, !tbaa !5
store i8 %105, i8* @FH_DU__S_FH_FTZU, align 1, !tbaa !5
%106 = load i8, i8* @FH_TUERMODUL__KL_50, align 1, !tbaa !5
store i8 %106, i8* @FH_DU__KL_50, align 1, !tbaa !5
%107 = load i8, i8* @FH_TUERMODUL__BLOCK, align 1, !tbaa !5
store i8 %107, i8* @FH_DU__BLOCK, align 1, !tbaa !5
%108 = load i8, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 16), align 16, !tbaa !5
%109 = icmp eq i8 %108, 0
br i1 %109, label %134, label %110
110: ; preds = %75
%111 = load i8, i8* @EINKLEMMSCHUTZ_CTRL_EINKLEMMSCHUTZ_CTRL_next_state, align 1, !tbaa !5
%112 = sext i8 %111 to i32
switch i32 %112, label %131 [
i32 1, label %113
i32 2, label %125
]
113: ; preds = %110
%114 = icmp eq i8 %99, 0
%115 = load i8, i8* @FH_TUERMODUL__EKS_LEISTE_AKTIV_old, align 1
%116 = icmp ne i8 %115, 0
%117 = select i1 %114, i1 true, i1 %116
br i1 %117, label %134, label %118
118: ; preds = %113
%119 = load i8, i8* @FH_TUERMODUL__SFHZ, align 1, !tbaa !5
%120 = icmp eq i8 %119, 0
%121 = load i8, i8* @FH_TUERMODUL__SFHA, align 1
%122 = icmp eq i8 %121, 0
%123 = select i1 %120, i1 true, i1 %122
br i1 %123, label %124, label %134
124: ; preds = %118
store i8 0, i8* @stable, align 1, !tbaa !5
store i8 1, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 24), align 8, !tbaa !5
br label %132
125: ; preds = %110
store i8 0, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 24), align 8, !tbaa !5
%126 = icmp ne i8 %99, 0
%127 = load i8, i8* @FH_TUERMODUL__EKS_LEISTE_AKTIV_old, align 1
%128 = icmp eq i8 %127, 0
%129 = select i1 %126, i1 true, i1 %128
br i1 %129, label %134, label %130
130: ; preds = %125
store i8 0, i8* @stable, align 1, !tbaa !5
br label %132
131: ; preds = %110
store i8 0, i8* @stable, align 1, !tbaa !5
br label %132
132: ; preds = %131, %130, %124
%133 = phi i8 [ 2, %124 ], [ 1, %130 ], [ 1, %131 ]
store i8 %133, i8* @EINKLEMMSCHUTZ_CTRL_EINKLEMMSCHUTZ_CTRL_next_state, align 1, !tbaa !5
br label %134
134: ; preds = %132, %75, %113, %118, %125
store i8 %96, i8* @FH_DU__MFHA, align 1, !tbaa !5
store i8 %97, i8* @FH_DU__MFHZ, align 1, !tbaa !5
store i32 %98, i32* @FH_DU__I_EIN, align 4, !tbaa !10
store i8 %99, i8* @FH_DU__EKS_LEISTE_AKTIV, align 1, !tbaa !5
store i32 %100, i32* @FH_DU__POSITION, align 4, !tbaa !10
store i8 %101, i8* @FH_DU__FT, align 1, !tbaa !5
store i8 %102, i8* @FH_DU__S_FH_AUFDISC, align 1, !tbaa !5
store i8 %103, i8* @FH_DU__S_FH_FTAUF, align 1, !tbaa !5
store i8 %104, i8* @FH_DU__S_FH_ZUDISC, align 1, !tbaa !5
store i8 %105, i8* @FH_DU__S_FH_FTZU, align 1, !tbaa !5
store i8 %106, i8* @FH_DU__KL_50, align 1, !tbaa !5
store i8 %107, i8* @FH_DU__BLOCK, align 1, !tbaa !5
call void @generic_BLOCK_ERKENNUNG_CTRL()
%135 = load i8, i8* @FH_TUERMODUL__MFHA, align 1, !tbaa !5
store i8 %135, i8* @FH_DU__MFHA, align 1, !tbaa !5
%136 = load i8, i8* @FH_TUERMODUL__MFHZ, align 1, !tbaa !5
store i8 %136, i8* @FH_DU__MFHZ, align 1, !tbaa !5
%137 = load i32, i32* @FH_TUERMODUL__I_EIN, align 4, !tbaa !10
store i32 %137, i32* @FH_DU__I_EIN, align 4, !tbaa !10
%138 = load i8, i8* @FH_TUERMODUL__EKS_LEISTE_AKTIV, align 1, !tbaa !5
store i8 %138, i8* @FH_DU__EKS_LEISTE_AKTIV, align 1, !tbaa !5
%139 = load i32, i32* @FH_TUERMODUL__POSITION, align 4, !tbaa !10
store i32 %139, i32* @FH_DU__POSITION, align 4, !tbaa !10
%140 = load i8, i8* @FH_TUERMODUL__FT, align 1, !tbaa !5
store i8 %140, i8* @FH_DU__FT, align 1, !tbaa !5
%141 = load i8, i8* @FH_TUERMODUL__SFHA_MEC, align 1, !tbaa !5
store i8 %141, i8* @FH_DU__S_FH_AUFDISC, align 1, !tbaa !5
%142 = load i8, i8* @FH_TUERMODUL__SFHA_ZENTRAL, align 1, !tbaa !5
store i8 %142, i8* @FH_DU__S_FH_FTAUF, align 1, !tbaa !5
%143 = load i8, i8* @FH_TUERMODUL__SFHZ_MEC, align 1, !tbaa !5
store i8 %143, i8* @FH_DU__S_FH_ZUDISC, align 1, !tbaa !5
%144 = load i8, i8* @FH_TUERMODUL__SFHZ_ZENTRAL, align 1, !tbaa !5
store i8 %144, i8* @FH_DU__S_FH_FTZU, align 1, !tbaa !5
%145 = load i8, i8* @FH_TUERMODUL__KL_50, align 1, !tbaa !5
store i8 %145, i8* @FH_DU__KL_50, align 1, !tbaa !5
%146 = load i8, i8* @FH_TUERMODUL__BLOCK, align 1, !tbaa !5
store i8 %146, i8* @FH_DU__BLOCK, align 1, !tbaa !5
%147 = load i8, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 10), align 2, !tbaa !5
store i8 %147, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 11), align 1, !tbaa !5
%148 = load i8, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 13), align 1, !tbaa !5
store i8 %148, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 14), align 2, !tbaa !5
%149 = load i8, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 16), align 16, !tbaa !5
store i8 %149, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 17), align 1, !tbaa !5
%150 = load i8, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 19), align 1, !tbaa !5
store i8 %150, i8* getelementptr inbounds ([64 x i8], [64 x i8]* @Bitlist, i64 0, i64 20), align 4, !tbaa !5
%151 = load i32, i32* @FH_TUERMODUL_CTRL__N, align 4, !tbaa !10
store i32 %151, i32* @FH_TUERMODUL_CTRL__N_old, align 4, !tbaa !10
store i32 %137, i32* @FH_TUERMODUL__I_EIN_old, align 4, !tbaa !10
%152 = load i32, i32* @FH_DU__MFH_copy, align 4, !tbaa !10
store i32 %152, i32* @FH_DU__MFH, align 4, !tbaa !10
store i32 %137, i32* @FH_DU__I_EIN_old, align 4, !tbaa !10
%153 = load i32, i32* @BLOCK_ERKENNUNG_CTRL__N, align 4, !tbaa !10
store i32 %153, i32* @BLOCK_ERKENNUNG_CTRL__N_old, align 4, !tbaa !10
store i8 %144, i8* @FH_TUERMODUL__SFHZ_ZENTRAL_old, align 1, !tbaa !5
store i8 %143, i8* @FH_TUERMODUL__SFHZ_MEC_old, align 1, !tbaa !5
store i8 %142, i8* @FH_TUERMODUL__SFHA_ZENTRAL_old, align 1, !tbaa !5
store i8 %141, i8* @FH_TUERMODUL__SFHA_MEC_old, align 1, !tbaa !5
%154 = load i8, i8* @FH_TUERMODUL__BLOCK_copy, align 1, !tbaa !5
store i8 %154, i8* @FH_TUERMODUL__BLOCK, align 1, !tbaa !5
store i8 %154, i8* @FH_TUERMODUL__BLOCK_old, align 1, !tbaa !5
%155 = load i8, i8* @FH_TUERMODUL__SFHZ_copy, align 1, !tbaa !5
store i8 %155, i8* @FH_TUERMODUL__SFHZ, align 1, !tbaa !5
store i8 %155, i8* @FH_TUERMODUL__SFHZ_old, align 1, !tbaa !5
%156 = load i8, i8* @FH_TUERMODUL__SFHA_copy, align 1, !tbaa !5
store i8 %156, i8* @FH_TUERMODUL__SFHA, align 1, !tbaa !5
store i8 %156, i8* @FH_TUERMODUL__SFHA_old, align 1, !tbaa !5
%157 = load i8, i8* @FH_TUERMODUL__MFHZ_copy, align 1, !tbaa !5
store i8 %157, i8* @FH_TUERMODUL__MFHZ, align 1, !tbaa !5
store i8 %157, i8* @FH_TUERMODUL__MFHZ_old, align 1, !tbaa !5
%158 = load i8, i8* @FH_TUERMODUL__MFHA_copy, align 1, !tbaa !5
store i8 %158, i8* @FH_TUERMODUL__MFHA, align 1, !tbaa !5
store i8 %158, i8* @FH_TUERMODUL__MFHA_old, align 1, !tbaa !5
store i8 %138, i8* @FH_TUERMODUL__EKS_LEISTE_AKTIV_old, align 1, !tbaa !5
store i8 %138, i8* @FH_DU__EKS_LEISTE_AKTIV_old, align 1, !tbaa !5
%159 = load i8, i8* @FH_DU__S_FH_TMBFAUFCAN, align 1, !tbaa !5
store i8 %159, i8* @FH_DU__S_FH_TMBFAUFCAN_old, align 1, !tbaa !5
%160 = load i8, i8* @FH_DU__S_FH_TMBFZUCAN, align 1, !tbaa !5
store i8 %160, i8* @FH_DU__S_FH_TMBFZUCAN_old, align 1, !tbaa !5
%161 = load i8, i8* @FH_DU__S_FH_TMBFZUDISC, align 1, !tbaa !5
store i8 %161, i8* @FH_DU__S_FH_TMBFZUDISC_old, align 1, !tbaa !5
%162 = load i8, i8* @FH_DU__S_FH_TMBFAUFDISC, align 1, !tbaa !5
store i8 %162, i8* @FH_DU__S_FH_TMBFAUFDISC_old, align 1, !tbaa !5
%163 = load i8, i8* @FH_DU__BLOCK_copy, align 1, !tbaa !5
store i8 %163, i8* @FH_DU__BLOCK, align 1, !tbaa !5
store i8 %163, i8* @FH_DU__BLOCK_old, align 1, !tbaa !5
%164 = load i8, i8* @FH_DU__MFHZ_copy, align 1, !tbaa !5
store i8 %164, i8* @FH_DU__MFHZ, align 1, !tbaa !5
store i8 %164, i8* @FH_DU__MFHZ_old, align 1, !tbaa !5
%165 = load i8, i8* @FH_DU__MFHA_copy, align 1, !tbaa !5
store i8 %165, i8* @FH_DU__MFHA, align 1, !tbaa !5
store i8 %165, i8* @FH_DU__MFHA_old, align 1, !tbaa !5
%166 = load i8, i8* @stable, align 1, !tbaa !5
%167 = icmp eq i8 %166, 0
br i1 %167, label %1, label %168, !llvm.loop !12
168: ; preds = %134
ret void
}
; Function Attrs: nofree norecurse nosync nounwind sspstrong uwtable
define dso_local i32 @main() local_unnamed_addr #2 {
store i64 0, i64* @tm_entered_EINSCHALTSTROM_MESSEN_BLOCK_ERKENNUNG_CTRLch_BLOCK_ERKENNUNG_CTRL__N_copy, align 8, !tbaa !8
store i64 0, i64* @tm_entered_WIEDERHOLSPERRE_FH_TUERMODUL_CTRLexited_BEREIT_FH_TUERMODUL_CTRL, align 8, !tbaa !8
store i64 0, i64* @tm_entered_WIEDERHOLSPERRE_FH_TUERMODUL_CTRL, align 8, !tbaa !8
store i8 0, i8* @NICHT_INITIALISIERT_NICHT_INITIALISIERT_next_state, align 1, !tbaa !5
store i8 0, i8* @ZENTRAL_KINDERSICHERUNG_CTRL_next_state, align 1, !tbaa !5
store i8 0, i8* @MEC_KINDERSICHERUNG_CTRL_next_state, align 1, !tbaa !5
store i8 0, i8* @KINDERSICHERUNG_CTRL_KINDERSICHERUNG_CTRL_next_state, align 1, !tbaa !5
store i8 0, i8* @B_FH_TUERMODUL_CTRL_next_state, align 1, !tbaa !5
store i8 0, i8* @A_FH_TUERMODUL_CTRL_next_state, align 1, !tbaa !5
store i8 0, i8* @WIEDERHOLSPERRE_FH_TUERMODUL_CTRL_next_state, align 1, !tbaa !5
store i8 0, i8* @INITIALISIERT_FH_TUERMODUL_CTRL_next_state, align 1, !tbaa !5
store i8 0, i8* @TIPP_SCHLIESSEN_FH_TUERMODUL_CTRL_next_state, align 1, !tbaa !5
store i8 0, i8* @MANUELL_SCHLIESSEN_FH_TUERMODUL_CTRL_next_state, align 1, !tbaa !5
store i8 0, i8* @OEFFNEN_FH_TUERMODUL_CTRL_next_state, align 1, !tbaa !5
store i8 0, i8* @SCHLIESSEN_FH_TUERMODUL_CTRL_next_state, align 1, !tbaa !5
store i8 0, i8* @FH_STEUERUNG_DUMMY_FH_STEUERUNG_DUMMY_next_state, align 1, !tbaa !5
store i8 0, i8* @EINKLEMMSCHUTZ_CTRL_EINKLEMMSCHUTZ_CTRL_next_state, align 1, !tbaa !5
store i8 0, i8* @BEWEGUNG_BLOCK_ERKENNUNG_CTRL_next_state, align 1, !tbaa !5
store i8 0, i8* @BLOCK_ERKENNUNG_CTRL_BLOCK_ERKENNUNG_CTRL_next_state, align 1, !tbaa !5
call void @interface()
call void @FH_DU()
ret i32 0
}
attributes #0 = { mustprogress nofree norecurse nosync nounwind sspstrong uwtable willreturn "frame-pointer"="none" "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #1 = { mustprogress nofree norecurse nosync nounwind sspstrong uwtable willreturn writeonly "frame-pointer"="none" "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #2 = { nofree norecurse nosync nounwind sspstrong uwtable "frame-pointer"="none" "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
!llvm.module.flags = !{!0, !1, !2, !3}
!llvm.ident = !{!4}
!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 7, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 1}
!4 = !{!"clang version 13.0.1"}
!5 = !{!6, !6, i64 0}
!6 = !{!"omnipotent char", !7, i64 0}
!7 = !{!"Simple C/C++ TBAA"}
!8 = !{!9, !9, i64 0}
!9 = !{!"long", !6, i64 0}
!10 = !{!11, !11, i64 0}
!11 = !{!"int", !6, i64 0}
!12 = distinct !{!12, !13, !14}
!13 = !{!"llvm.loop.mustprogress"}
!14 = !{!"llvm.loop.unroll.disable"}